EJM

Navigation page for Blueprint/D5/S3/Quantum/Entanglement/EJM/ at upstream snapshot 880384c42100f2d04436d97c4ac862e91b4bba85.

Contents

• CacheReceipts
• Actual local-action and block-projection laws
• Local cache soundness for the actual EJM score
• Thirty-two exact local cache proposals
• The actual coefficient functions used by every certificate consumer
• Original head sums at every stored tail representative
• Stored contraction proposals require the original-function equality receipts
• Tail contractions inherit the earned centered-score symmetries
• Global EJM action and score orbit
• Exact original scores, structural checks and all numerical premises meet
• Compact actual local-row and action data
• Averaging a real event conflict over the original source actions
• An exact conflict in the original EJM inflation supports
• Every actual row field remains available to the checker
• Local symmetry edges in the finite bound DAG
• Local coordinate permutations and outcome relabelings
• Untrusted singleton cache mirrors and all unknown-coordinate transitions
• Complete singleton mirror and transition kernel receipts
• All 192 original source actions
• Every actual row and every value branch is structurally checked
• Actual singleton structural row interval 0 to 1024
• Actual singleton structural row interval 1024 to 2048
• Actual singleton structural row interval 2048 to 3072
• Actual singleton structural row interval 3072 to 4096
• Actual singleton structural row interval 4096 to 5120
• Actual singleton structural row interval 5120 to 6144
• Actual singleton structural row interval 6144 to 7168
• Actual singleton structural row interval 7168 to 8192
• Actual singleton structural row interval 8192 to 8689
• Actual triangle structural row interval 0 to 4096
• Actual triangle structural row interval 4096 to 6144
• Actual triangle structural row interval 17408 to 18432
• Actual triangle structural row interval 18432 to 19456
• Actual triangle structural row interval 19456 to 20480
• Actual triangle structural row interval 20480 to 21504
• Actual triangle structural row interval 21504 to 22528
• Actual triangle structural row interval 22528 to 23552
• Actual triangle structural row interval 23552 to 24576
• Actual triangle structural row interval 24576 to 25600
• Actual triangle structural row interval 25600 to 26624
• Actual triangle structural row interval 26624 to 27648
• Actual triangle structural row interval 6144 to 8192
• Actual triangle structural row interval 27648 to 28672
• Actual triangle structural row interval 28672 to 29696
• Actual triangle structural row interval 29696 to 30720
• Actual triangle structural row interval 30720 to 31744
• Actual triangle structural row interval 31744 to 32768
• Actual triangle structural row interval 32768 to 33792
• Actual triangle structural row interval 33792 to 34816
• Actual triangle structural row interval 34816 to 35840
• Actual triangle structural row interval 35840 to 36864
• Actual triangle structural row interval 36864 to 37888
• Actual triangle structural row interval 8192 to 10240
• Actual triangle structural row interval 37888 to 38912
• Actual triangle structural row interval 38912 to 39936
• Actual triangle structural row interval 39936 to 40960
• Actual triangle structural row interval 40960 to 41294
• Actual triangle structural row interval 10240 to 12288
• Actual triangle structural row interval 12288 to 13312
• Actual triangle structural row interval 13312 to 14336
• Actual triangle structural row interval 14336 to 15360
• Actual triangle structural row interval 15360 to 16384
• Actual triangle structural row interval 16384 to 17408
• The original complete row remains the object of every terminal check
• Terminal inequalities require the earned original contractions
• Literal terminal events, transport witnesses and scaled inequalities
• Untrusted triangle cache mirrors and all unknown-coordinate transitions
• Complete triangle mirror and transition kernel receipts