Audits

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

Contents

• Correctness and Path Legitimacy
• Countermodel Repair Underdetermination
• Domain Immunization Audit
• Incomplete Test Coverage
• Ledger Integrity and Input Veracity
• Minimum Audit Set Cover
• Outcome Correctness Without Procedure Auditability
• Outcome Log Accountability Completion
• Partial Tests Leave a Defect
• Procedure-Derived Correct Outcome
• Target-Conditioned Admission Audit
• Target-Relative Commitment Protection