DagSemantics

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

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