Combinatorics / CONCEPT
Actual Native F2 Edge Inventory
The independent native-circle catalog is exactly the actual F2 a/b edge set, and one actual Hamilton cycle retains precisely its uncut edges.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH9
DOCUMENT LINKS0
Catalog Equals Actual Native Edges on the Full F2 Domain
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 Marked Edges in One F2 Hamilton Witnessstructural-affinity · Closed
- Actual J2 Seam Coordinatesstructural-affinity · Closed
- Actual Native J2 Marked Portsstructural-affinity · Closed
- Closed Actual F2 Native Edge Classificationstructural-affinity · Closed
- Complete Actual F2 Edge Inventorystructural-affinity · Closed
- Complete Native T Deleted Edge Classificationstructural-affinity · Closed
- Literal F2 Cut Generators and Endpoint Labelsstructural-affinity · Closed
- Nonbacktracking Leaf Walks Exhaust Their Componentsstructural-affinity · Closed
- The Actual F2 Six-Cut Graphstructural-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