Quantum / CONCEPT
Local cache soundness for the actual EJM score
Exact local cache updates preserve the full projected assignment and bound the unchanged EJM score.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES0
PROOF DEPTH10
DOCUMENT LINKS0
A triangle row remains associated after a fill
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Actual local-action and block-projection lawstruth-dependency · Closed
- Complete singleton mirror and transition kernel receiptstruth-dependency · Closed
- Complete triangle mirror and transition kernel receiptstruth-dependency · Closed
- Exact original scores, structural checks and all numerical premises meettruth-dependency · Closed
- Thirty-two exact local cache proposalstruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Actual local-action and block-projection lawsstructural-affinity · Closed
- Complete singleton mirror and transition kernel receiptsstructural-affinity · Closed
- Complete triangle mirror and transition kernel receiptsstructural-affinity · Closed
- Every actual row and every value branch is structurally checkedstructural-affinity · Closed
- Exact original scores, structural checks and all numerical premises meetstructural-affinity · Closed
- Original singleton mirror receipts on rows 0 through 4095structural-affinity · Closed
- Original singleton mirror receipts on rows 4096 through 8191structural-affinity · Closed
- Thirty-two exact local cache proposalsstructural-affinity · Closed
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 archiveCertified provenance