Combinatorics / CONCEPT
Canonical Opposite Selected Orders
The two recursive marked orders are tied by one canonical exchange of the last two selected labels. Their earlier selected positions, base, terminal and child-base rotation retain exact literal identities.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES2
PROOF DEPTH11
DOCUMENT LINKS0
The Protected Labels Exchange Positions
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
- Advance Both Actual Native Boundary Templates on One Cyclestructural-affinity · Closed
- Arbitrary Native J2 Frame Identificationstructural-affinity · Closed
- Classify Every Retained and New Native c Edgestructural-affinity · Closed
- Exact Native Marked Cut Setsstructural-affinity · Closed
- Literal Native Domains for the Same Recursive Cyclestructural-affinity · Closed
- Opposite Native Marked Portsstructural-affinity · Closed
- The Complete Actual Induction Statestructural-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