Combinatorics / CONCEPT
Actual J2 Half-Cut Restoration
Restoring the opposite three actual J2 cuts earns both native one-frame three-component partitions, including the literal barred exception.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH18
DOCUMENT LINKS0
Both Actual Native Three-Component Partitions Exhaust F2 Exactly Once
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
- Actual J2 Complete Circle Rowsstructural-affinity · Closed
- Actual J2 Short Circle Rowsstructural-affinity · Closed
- Actual Native Half Partitionsstructural-affinity · Closed
- Five Actual Surviving J2 Path Componentsstructural-affinity · Closed
- One Actual Frame Cycle With All Inventoriesstructural-affinity · Closed
- One Actual Seed for Both Native Ordersstructural-affinity · Closed
- Same-Cycle Native Joint Componentsstructural-affinity · Closed
- Selected Terminal Labels of the Same Actual c Edgesstructural-affinity · Closed
- The Complete Actual J2 Component Partitionstructural-affinity · Closed
- The Sixth Actual J2 Path Componentstructural-affinity · Closed
- Unconditional Native Two-Label Parent Constructionstructural-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