Combinatorics / CONCEPT
Supported-mask selection arithmetic
Consumed arithmetic for supported LOWER masks and source-funded prepayment.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS0
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
- A full physical bank at the LOWER T prefixstructural-affinity · Closed
- A Robust Selector Obstruction on the Physical Circlestructural-affinity · Closed
- Binary selection with actual depleted supportstructural-affinity · Closed
- Exact T depletion and the final complementstructural-affinity · Closed
- Physical occurrences and the W_J prefixstructural-affinity · Closed
- Seven physical row roles and exact T depletionstructural-affinity · Closed
- The first LOWER selector on the attained physical bankstructural-affinity · Closed
- The original M5 source-to-word implicationstructural-affinity · Closed
- The original source-to-row bridgestructural-affinity · Closed
- Uniform factors of original centered-source rowsstructural-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