ConceptDynamics / CONCEPT
Pareto Frontier Does Not Determine Stop
One Pareto frontier yields opposite stop decisions under two complete sourced orientations.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS1
A sourced orientation is necessary to derive the stop target
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
- Adjudication Stop Target Correctnessstructural-affinity · Closed
- Closed Coordinate Witness Bundle Characterizationstructural-affinity · Closed
- Commit-Interface Seal Preservationstructural-affinity · Closed
- Decidable Symmetric Pareto Kernelstructural-affinity · Closed
- Decidable Weak Pareto Order on the Finite Quotientstructural-affinity · Closed
- Explicit Finite Pareto Quotientstructural-affinity · Closed
- Gain Difference Cocyclestructural-affinity · Closed
- OP5 Pareto Stop Equivalences Are Refutedstructural-affinity · Closed
- Pareto Weak Dominance Preorderstructural-affinity · Closed
- Protected Coordinate Dependent Extensionalitystructural-affinity · Closed
- Semantic Sketch Target-Laundering Bridgestructural-affinity · Closed
- Semantic Target-Laundering Bundle Eliminationstructural-affinity · Closed
- Semantic Target-Laundering Decisionstructural-affinity · Closed
- Settle Stop Input Conservationstructural-affinity · Closed
- Symmetric Pareto Kernel and Vector Equalitystructural-affinity · Closed
- Target Laundering Criterionstructural-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