trureturingGitHub MATHEMATICAL ATLAS

Quantum / CONCEPT

Local symmetry edges in the finite bound DAG

Faithful transport of actual partial EJM block events.

Closed Authored exposition
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES46
PROOF DEPTH5
DOCUMENT LINKS0
THEOREM

Compatibility follows the exact event action

RELATIONSHIP ATLAS

Every connection, in context.

Explore in 3D
Direct recorded relationships
Every actual row field remains available to the checkerEvery actual row field remainsavailable to the checkerLocal coordinate permutations and outcome relabelingsLocal coordinate permutationsand outcome relabelingsLocal symmetry edges in the finite bound DAGLocal symmetry edges in thefinite bound DAGGlobal EJM action and score orbitGlobal EJM action and scoreorbitCompact actual local-row and action dataCompact actual local-row andaction dataActual singleton structural row interval 0 to 1024Actual singleton structural rowinterval 0 to 1024Actual singleton structural row interval 1024 to 2048Actual singleton structural rowinterval 1024 to 2048Actual singleton structural row interval 2048 to 3072Actual singleton structural rowinterval 2048 to 3072Actual singleton structural row interval 3072 to 4096Actual singleton structural rowinterval 3072 to 4096Actual singleton structural row interval 4096 to 5120Actual singleton structural rowinterval 4096 to 5120Actual singleton structural row interval 5120 to 6144Actual singleton structural rowinterval 5120 to 6144Actual singleton structural row interval 6144 to 7168Actual singleton structural rowinterval 6144 to 7168Actual singleton structural row interval 7168 to 8192Actual singleton structural rowinterval 7168 to 8192Actual singleton structural row interval 8192 to 8689Actual singleton structural rowinterval 8192 to 8689Actual triangle structural row interval 0 to 4096Actual triangle structural rowinterval 0 to 4096Actual triangle structural row interval 4096 to 6144Actual triangle structural rowinterval 4096 to 6144Actual triangle structural row interval 17408 to 18432Actual triangle structural rowinterval 17408 to 18432Actual triangle structural row interval 18432 to 19456Actual triangle structural rowinterval 18432 to 19456Actual triangle structural row interval 19456 to 20480Actual triangle structural rowinterval 19456 to 20480Actual triangle structural row interval 20480 to 21504Actual triangle structural rowinterval 20480 to 21504Actual triangle structural row interval 21504 to 22528Actual triangle structural rowinterval 21504 to 22528Actual triangle structural row interval 22528 to 23552Actual triangle structural rowinterval 22528 to 23552Actual triangle structural row interval 23552 to 24576Actual triangle structural rowinterval 23552 to 24576Actual triangle structural row interval 24576 to 25600Actual triangle structural rowinterval 24576 to 25600Actual triangle structural row interval 25600 to 26624Actual triangle structural rowinterval 25600 to 26624Actual triangle structural row interval 26624 to 27648Actual triangle structural rowinterval 26624 to 27648Actual triangle structural row interval 6144 to 8192Actual triangle structural rowinterval 6144 to 8192Actual triangle structural row interval 27648 to 28672Actual triangle structural rowinterval 27648 to 28672Actual triangle structural row interval 28672 to 29696Actual triangle structural rowinterval 28672 to 29696Actual triangle structural row interval 29696 to 30720Actual triangle structural rowinterval 29696 to 30720Actual triangle structural row interval 30720 to 31744Actual triangle structural rowinterval 30720 to 31744Actual triangle structural row interval 31744 to 32768Actual triangle structural rowinterval 31744 to 32768Actual triangle structural row interval 32768 to 33792Actual triangle structural rowinterval 32768 to 33792Actual triangle structural row interval 33792 to 34816Actual triangle structural rowinterval 33792 to 34816Actual triangle structural row interval 34816 to 35840Actual triangle structural rowinterval 34816 to 35840Actual triangle structural row interval 35840 to 36864Actual triangle structural rowinterval 35840 to 36864Actual triangle structural row interval 36864 to 37888Actual triangle structural rowinterval 36864 to 37888Actual triangle structural row interval 8192 to 10240Actual triangle structural rowinterval 8192 to 10240Actual triangle structural row interval 37888 to 38912Actual triangle structural rowinterval 37888 to 38912Actual triangle structural row interval 38912 to 39936Actual triangle structural rowinterval 38912 to 39936Actual triangle structural row interval 39936 to 40960Actual triangle structural rowinterval 39936 to 40960Actual triangle structural row interval 40960 to 41294Actual triangle structural rowinterval 40960 to 41294Actual triangle structural row interval 10240 to 12288Actual triangle structural rowinterval 10240 to 12288Actual triangle structural row interval 12288 to 13312Actual triangle structural rowinterval 12288 to 13312Actual triangle structural row interval 13312 to 14336Actual triangle structural rowinterval 13312 to 14336Actual triangle structural row interval 14336 to 15360Actual triangle structural rowinterval 14336 to 15360Actual triangle structural row interval 15360 to 16384Actual triangle structural rowinterval 15360 to 16384Actual triangle structural row interval 16384 to 17408Actual triangle structural rowinterval 16384 to 17408The original complete row remains the object of every terminal checkThe original complete rowremains the object of everyterminal check
Proof dependencyStructural affinityDocument link

Certified topology / UPSTREAM

Prerequisites

Certified topology / DOWNSTREAM

Consequences

RELATED KNOWLEDGE

Structural connections

Documents & exposition

None recorded in this release.

Other authored & advisory relationships

None recorded in this release.

LIBRARY / RELEASE VERSIONS

Content history

Loading release versions...
Browse the archive

Certified provenance

Exact release coordinate

Lean sourceResearch workspace
Status
Closed
Depth
5
Layer
D5/S3
Domain
Quantum
Node ID
D5/S3/Quantum/Entanglement/EJM/EJMPartialBoundTransport
Repository path
D5/S3/Quantum/Entanglement/EJM/EJMPartialBoundTransport.lean
Truth release
sha256:76a8db6a0f78609b1b9d4a959c8392f2752f2daaddc1930e046e34ce07d0f608
Source commit
b52262a023c4db9bb30a128ebfd80ea4ef4c1a53
Source tree
37a24ddf3b9983bdabf0acbfd9b32b06c35c28d3

Authority boundary

Dependency edges, status, and source coordinates come from the verified release and certified topology. Blueprint exposition is labeled separately. A fallback title carries no additional mathematical authority.