m23-b4-5a4M235A^4B4claimed

Search a medium Nielsen class shard for admissible covers

Scan a medium rectangle in the 5A^4 Nielsen class and report closed or threshold-exceeded inner braid orbits.

Verified chunk progress

20%

3 completed · 12 remaining

What the computation does

1Load M23 in GAP or the configured computation backend.
2Load the Atlas class 5A.
3Fix the first branch-cycle representative a.
4Enumerate (b, c) in the assigned chunk rectangle.
5Set d = (a*b*c)^-1.
6Keep tuples where d is in class 5A.
7Check that the generated group is M23.
8Compute the inner braid orbit under Hurwitz moves.
9Canonicalize using the fixed first representative and centralizer quotient.
10Stop when the orbit closes or exceeds threshold + 1.
11Emit a structured JSON packet with hashes and scope caveats.

Use ChatGPT Pro

Copy one prompt. Upload a redacted transcript as review credit only.

Run in Colab

Download the notebook, open it in Colab, and click Run All.

Download notebook

Cloud workspace

Use a preconfigured web IDE when the public repo is connected.

Open Codespaces

Run locally

Copy one command. It prints the task before doing any work.

Safety task card

Public inputs

Shard id and input hash.
Compressed public candidate list.
Verifier version.

Expected outputs

Admissible and rejected counts.
Certificate hashes for any positive candidates.
Runtime and environment digest.

Data submitted

Counts, hashes, command, logs hash, environment digest.

Data never requested

Machine login credentials.
Cloud provider tokens.
Private notebooks.

Prohibited actions

Do not run with nondeterministic flags unless they are declared.
Do not upload raw data outside the declared shard.

AI scope

AI should not be needed for this shard.
AI can summarize logs locally but cannot replace deterministic verification.

Terminal worker

No AI provider is called. The worker prints the task card and scope caveat before computation.

node public/m23/worker.mjs --work-unit m23-nielsen-0184 --i-understand-task

Local AI or A2A

Keys stay local. The command stops unless the explicit AI acknowledgement is present.

M23_AI_ENDPOINT=http://localhost:11434/v1/chat/completions node public/m23/worker.mjs --work-unit m23-nielsen-0184 --run-ai --i-understand-ai-task

node public/m23/worker.mjs --work-unit m23-nielsen-0184 --agent a2a --endpoint http://localhost:41241 --i-understand-ai-task

Upload result packet

Paste the JSON packet printed by the notebook or worker. It will be pending until another person reproduces it.

{
  "workUnitId": "m23-nielsen-0184",
  "contributorName": "Notebook contributor",
  "packetKind": "notebook_packet",
  "caseId": "m23-b4-5a4",
  "routeId": "m23-b4-5a4",
  "taskCardHash": "sha256:0184f5a45a4b4b4b0184f5a45a4b4b4b0184f5a45a4b4b4b0184f5a45a4b4b4b",
  "scriptHash": "sha256:1111111111111111111111111111111111111111111111111111111111111111",
  "commandOrNotebook": "m23-nielsen-0184-m23-run-all.ipynb",
  "resultPayload": {
    "caseId": "m23-b4-5a4",
    "routeId": "m23-b4-5a4",
    "workUnitId": "m23-nielsen-0184",
    "status": "not_run",
    "orbitSize": null,
    "threshold": 30400,
    "tupleSummary": {
      "chunk": {
        "bStart": 184,
        "bEnd": 224,
        "cStart": 0,
        "cEnd": 456,
        "maxOrbitRuns": 24
      },
      "note": "Replace with real run output."
    },
    "inputHashes": {
      "workUnitInput": "sha256:4bd5fc184f04ecf89c225d2c802bd1fef3ef2f5786300ddc5f9fe9e8390a0184",
      "taskCard": "sha256:0184f5a45a4b4b4b0184f5a45a4b4b4b0184f5a45a4b4b4b0184f5a45a4b4b4b"
    },
    "outputHashes": {
      "packet": "sha256:2222222222222222222222222222222222222222222222222222222222222222"
    },
    "notes": "This is a sample pending packet. Independent reproduction is required."
  },
  "codeArtifact": "browser notebook generated from m23isgalois.com",
  "logsHash": "sha256:3333333333333333333333333333333333333333333333333333333333333333",
  "environmentDigest": "sha256:4444444444444444444444444444444444444444444444444444444444444444",
  "inputHash": "sha256:4bd5fc184f04ecf89c225d2c802bd1fef3ef2f5786300ddc5f9fe9e8390a0184",
  "outputHash": "sha256:2222222222222222222222222222222222222222222222222222222222222222",
  "runtimeSeconds": 1,
  "safetyAcknowledgement": {
    "confirmed": true,
    "statement": "I read the public task card. No API keys, cookies, private files, or secrets are included."
  },
  "scopeCaveatAck": {
    "confirmed": true,
    "statement": "This result covers only the assigned chunk and does not prove the M23/Q question by itself."
  },
  "artifactIds": []
}

ChatGPT Pro review

Copy the prompt into ChatGPT Pro, redact the transcript, then upload it as review context. This earns review credit only.

I am contributing to m23isgalois.com.
Please review this public mathematical compute task. Do not ask for secrets, keys, cookies, private files, or account data.
Work unit: m23-nielsen-0184
Title: Search a medium Nielsen class shard for admissible covers
Route: m23-b4-5a4
Task card hash: sha256:0184f5a45a4b4b4b0184f5a45a4b4b4b0184f5a45a4b4b4b0184f5a45a4b4b4b
Task: Scan a medium rectangle in the 5A^4 Nielsen class and report closed or threshold-exceeded inner braid orbits.
Expected packet schema: { caseId, routeId, workUnitId, status, orbitSize, threshold, tupleSummary, inputHashes, outputHashes, notes }
Scope caveat: This result covers only the assigned chunk and does not prove the M23/Q question by itself.
Your job: explain what this task does, list what evidence a valid packet would provide, and list what it would not prove.
Return concise review notes. This review is not a proof and does not replace independent reproduction.

Submissions

No submissions yet.

Reviews

No ChatGPT Pro reviews yet.

Verifications

No reproduction record yet.