Back to work unit
Run in Colabm23-b4-5a4M235A^4

Browser notebook for m23-replay-0006

This path is for contributors who do not want a terminal. The notebook shows the public task before it prints an upload packet. It does not ask for API keys, cookies, private files, or secrets.

What this proves

The notebook produces a pending packet. It is not verified progress until another person reproduces it.

Three clicks, then copy the packet.

1

Download .ipynb

This file is generated for the exact work unit and contains the public task card.

2

Open Colab

In Colab, upload the notebook file and choose Runtime, Run all.

3

Upload packet

Copy the JSON printed after Upload packet and paste it back into this site.

Download .ipynbOpen ColabUpload packet

What the notebook does

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

Scope caveat

This result covers only the assigned chunk and does not prove the M23/Q question by itself.

A completed chunk is evidence for that chunk only. A large orbit or threshold exceedance is not a proof by itself.