DagSemantics

Navigation page for Blueprint/D5/S3/ConceptDynamics/DagSemantics/ at upstream snapshot c1e1716ef741bf4822ce02313bbd7922b2bfd763.

Contents

• Birth Stage Filtration
• Conservative DAG Embedding
• Cycle Collapse Projection
• Dependency Aggregate
• Executable Frontier
• Fiber-Internal Paths
• Finite Ready Existence
• Frontier Extension Closure
• Knowledge Along Dependency
• Prerequisite Closure
• Strict Dependency Coordinate
• Typed Definition Graph Slice
• Well-Founded Recursive Closure