m23-b4-5a4M235A^4B4open

Replay a verified branch certificate on a small Nielsen class

Replay a small deterministic branch-cycle certificate as a safe first packet before the full 5A^4 route accepts heavier chunks.

Verified chunk progress

33%

1 completed · 2 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.

Open prompt

Run in Colab

Open the notebook guide, download the .ipynb, and click Run All in Colab.

Download notebook guide

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.

Open command

Safety task card

Public inputs

A small branch-cycle tuple encoded in JSON.
A deterministic checker version and expected input hash.
A public output schema.

Expected outputs

Certificate status: reproduced, mismatch, or inconclusive.
Output hash and runtime.
Short notes explaining the local environment.

Data submitted

Result JSON packet.
Code or command used.
Task card hash, input hash, output hash, runtime, logs hash, environment digest.

Data never requested

AI API keys.
Private files.
Browser cookies.
SSH keys.
Payment or wallet credentials.

Prohibited actions

Do not run code downloaded from an untrusted third-party URL.
Do not upload secrets or full local logs containing secrets.
Do not mark the task verified from a single unreproduced run.

AI scope

AI is optional and should only explain the public task or generate local helper code.
AI must not receive private keys, credentials, or private files.

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-replay-0006 --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-replay-0006 --run-ai --i-understand-ai-task

node public/m23/worker.mjs --work-unit m23-replay-0006 --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.

Storage status: Demo storage

This deployment can demonstrate the workflow, but submissions are not durable until DATABASE_URL or BLOB_READ_WRITE_TOKEN is configured.

Treat uploads on this deployment as demo records until durable storage is connected.

{
  "workUnitId": "m23-replay-0006",
  "contributorName": "Notebook contributor",
  "packetKind": "notebook_packet",
  "caseId": "m23-b4-5a4",
  "routeId": "m23-b4-5a4",
  "taskCardHash": "sha256:0006f5a45a4b4b4b0006f5a45a4b4b4b0006f5a45a4b4b4b0006f5a45a4b4b4b",
  "scriptHash": "sha256:1111111111111111111111111111111111111111111111111111111111111111",
  "commandOrNotebook": "m23-replay-0006-m23-run-all.ipynb",
  "resultPayload": {
    "caseId": "m23-b4-5a4",
    "routeId": "m23-b4-5a4",
    "workUnitId": "m23-replay-0006",
    "status": "not_run",
    "orbitSize": null,
    "threshold": 30400,
    "tupleSummary": {
      "chunk": {
        "bStart": 0,
        "bEnd": 3,
        "cStart": 0,
        "cEnd": 1,
        "maxOrbitRuns": 3
      },
      "note": "Replace with real run output."
    },
    "inputHashes": {
      "workUnitInput": "sha256:8e7fb5c81d7f39f5f0b44e0e66f3d8bd642c11d2605b8d5d3a93a4f94a8d0006",
      "taskCard": "sha256:0006f5a45a4b4b4b0006f5a45a4b4b4b0006f5a45a4b4b4b0006f5a45a4b4b4b"
    },
    "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:8e7fb5c81d7f39f5f0b44e0e66f3d8bd642c11d2605b8d5d3a93a4f94a8d0006",
  "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-replay-0006
Title: Replay a verified branch certificate on a small Nielsen class
Route: m23-b4-5a4
Task card hash: sha256:0006f5a45a4b4b4b0006f5a45a4b4b4b0006f5a45a4b4b4b0006f5a45a4b4b4b
Task: Replay a small deterministic branch-cycle certificate as a safe first packet before the full 5A^4 route accepts heavier chunks.
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.