ConceptDynamics / CONCEPT
Enabled Paths and Adjacent Exchanges
Enabled paths between lower sets of a finite poset are precisely linear extensions of their difference and are connected by legal adjacent incomparable exchanges.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES3
PROOF DEPTH0
DOCUMENT LINKS1
Correspondence, existence, and legal swap connectivity
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Configurations and rooted transportstructural-affinity · Closed
- Disjoint quantum ports and topological-order independencestructural-affinity · Closed
- Finite instruments as a fixed quantum relation graphstructural-affinity · Closed
- Legal configuration readoutsstructural-affinity · Closed
- Native endpoint causal orderstructural-affinity · Closed
- Native endpoint event idealsstructural-affinity · Closed
- Native fresh sensor growthstructural-affinity · Closed
- Native guarded leaf repair frontiersstructural-affinity · Closed
- Native post-clock inversestructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance