Certificates / CONCEPT
Exact rational compression replay
A finite elimination trace is replayed against current weights. Every successful step preserves the same moments and removes support; the final dimension-dependent bound is checked separately.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH3
DOCUMENT LINKS1
Trace-wide invariants
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Canonical Causal Response Signaturesstructural-affinity · Closed
- Capped Coupling Certificate Replaystructural-affinity · Closed
- Certified omitted-query residual envelopesstructural-affinity · Closed
- Complete checked sparse causal witnessesstructural-affinity · Closed
- Finite Linear Causal Identificationstructural-affinity · Closed
- Moment ambiguity and exact contact certificatesstructural-affinity · Closed
- Rational support elimination certificatesstructural-affinity · Closed
- RationalSTCutCertificatestructural-affinity · Closed
- Support-local affine moment reconstructionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance