DefinitionEscapeAdjudication

Navigation page for Blueprint/D5/S3/ConceptDynamics/DefinitionEscapeAdjudication/ at upstream snapshot 535a6648df930c3bfdca8a945bfcebdb0d0e1ec7.

Contents

• Adjudication Stop Target Correctness
• Dependency-Closure Admission Antitonicity
• Explicit Finite Pareto Quotient
• Gain Difference Cocycle
• Decidable Symmetric Pareto Kernel
• Symmetric Pareto Kernel and Vector Equality
• Pareto Frontier Does Not Determine Stop
• OP5 Pareto Stop Equivalences Are Refuted
• Pareto Weak Dominance Preorder
• Decidable Weak Pareto Order on the Finite Quotient
• Retrospective Lookup Failure
• Role-Ledger Prefix Stability
• Scoped Orientation Specification
• Settle Stop Input Conservation
• Target-Change Settlement Conservation