ConceptDynamics / CONCEPT
Proposition Leak Lower Bound
A transcript deciding a nonconstant Boolean proposition must reveal a distinction, and the proposition itself realizes exact leakage.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS1
A nonconstant proposition forces a transcript distinction
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Answerability Criterionstructural-affinity · Closed
- Boundary-Relative Agencystructural-affinity · Closed
- Budget Knowledge Fiber Stabilitystructural-affinity · Closed
- Control Descent and Fiber Defectsstructural-affinity · Closed
- Experiment Identifiabilitystructural-affinity · Closed
- Noncanonical and Deterministic Agency Countermodelsstructural-affinity · Closed
- Partition Manipulationstructural-affinity · Closed
- Rule Constraint and Arbitrary Differencesstructural-affinity · Closed
- Self-Formation and the Boundary of Free Willstructural-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