Combinatorics / CONCEPT
The first LOWER selector on the attained physical bank
A supported first LOWER selector with paid SMALL costs and an exact depleted complement.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES0
PROOF DEPTH9
DOCUMENT LINKS0
Literal supported selection and the next physical prefix
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- A full physical bank at the LOWER T prefixtruth-dependency · Closed
- Binary selection with actual depleted supporttruth-dependency · Closed
- Complete strip ordering from conservation and two large occurrencestruth-dependency · Closed
- Original physical rows of an M5 centered sourcetruth-dependency · Closed
- Seven physical row roles and exact T depletiontruth-dependency · Closed
- Supported-mask selection arithmetictruth-dependency · Closed
- Uniform factors of original centered-source rowstruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
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
- Complete strip ordering from conservation and two large occurrencesstructural-affinity · Closed
- Original physical rows of an M5 centered sourcestructural-affinity · Closed
- Restricted halfpower source rigiditystructural-affinity · Closed
- Seven physical row roles and exact T depletionstructural-affinity · Closed
- Supported-mask selection arithmeticstructural-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