Hafner/Seguin braid-orbit route for M23 with class vector 5A^4
Reproducibly compute assigned inner braid-orbit chunks and separate closed orbits from threshold exceedances.
- Verified units
- 8
- Remaining
- 34
- Pending
- 0
- Rejected
- 0
Updated 6/3/2026, 9:00:00 AM
Work queue
Pick one concrete unit.
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.
AI-assisted branch tuple pruning for an M23 candidate family
Ask an AI assistant to inspect the public 5A^4 task card and propose pruning invariants, then submit only reproducible local artifacts.
Generate final certificate bundle for accepted positive shards
Package independently reproduced route chunks into a certificate bundle only after the verification gate is met.
Check Frobenius trace consistency for positive candidates
Check a surviving chunk against Frobenius-style consistency filters before the route spends more orbit time.
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.
Contribution paths
Start without complex software.
Use ChatGPT Pro
Copy a task prompt, ask for scope review, upload a redacted transcript. Review credit only.
Open prompt
Run in Colab
Download a notebook from a task page, open it in Colab, click Run All, upload the JSON packet.
Open notebook path
Cloud workspace
For users comfortable with a browser IDE and preconfigured dependencies.
Open workspace path
Run locally
Advanced users copy one command. It prints the task before computing.
Open command
Recent submissions
No public submissions yet.
Recent verifications
No reproduction records yet.