ConceptDynamics / CONCEPT
Refinement Monotonicity of Target Risk
Factor-map refinement monotonically shrinks target risk.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH3
DOCUMENT LINKS1
Refinement monotonically shrinks target risk
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Budgeted Escape Rate Bounds and Antitonicitystructural-affinity · Closed
- Closure, Method Stop, and Three-Parameter Completion/Reopeningstructural-affinity · Closed
- Complete History-Sensitive Outcome Reductionstructural-affinity · Closed
- Domain Immunization Auditstructural-affinity · Closed
- Minimum Audit Set Coverstructural-affinity · Closed
- Redundant Appeal and Defect Persistencestructural-affinity · Closed
- Refinement, Target Risk, and Coststructural-affinity · Closed
- Residual Join Lawstructural-affinity · Closed
- Target-Conditioned Admission Auditstructural-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