ConceptDynamics / CONCEPT
Executable Frontier
The executable frontier consists of pending nodes whose direct prerequisites are complete.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES4
PROOF DEPTH2
DOCUMENT LINKS1
The complement frontier is exactly the ready pending set
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
- Consequence Closurestructural-affinity · Closed
- Dependency-Closed Filtrationstructural-affinity · Closed
- Finite Acyclic Judging Graph Rootstructural-affinity · Closed
- Finite Ready Existencestructural-affinity · Closed
- Frontier Antichainstructural-affinity · Closed
- Frontier Extension Closurestructural-affinity · Closed
- Prerequisite Closurestructural-affinity · Closed
- Reachability Projection Invariancestructural-affinity · Closed
- Reachability-Conservative Embeddingstructural-affinity · Closed
- Strict Dependency Coordinatestructural-affinity · Closed
- Strong Component Quotientstructural-affinity · Closed
- Typed Definition Graph Slicestructural-affinity · Closed
- Well-Founded Frontierstructural-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