{"id":"plan-to-implementation-correspondence-is-verifiable","text":"Prescriptive plans specify exact signatures and data models, and design reviews document known gaps — together they should create a verifiable plan-to-implementation correspondence where deviations are traceable — but the absence of divergence annotations means actual implementation deviations are invisible post-implementation, making the correspondence unauditable.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["plans-are-prescriptive","plan-review-documents-known-gaps"],"outlist":["no-divergence-annotations"],"label":"The plan-review pipeline predicts implementation faithfully, but zero TODO/FIXME/HACK annotations mean actual deviations cannot be traced back to plans"}],"dependents":["design-to-verification-traceability"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"plan-to-implementation-correspondence-is-verifiable","truth_value":"IN","reason":"SL justification valid","antecedents":["plans-are-prescriptive","plan-review-documents-known-gaps"],"label":"The plan-review pipeline predicts implementation faithfully, but zero TODO/FIXME/HACK annotations mean actual deviations cannot be traced back to plans","outlist":["no-divergence-annotations"]},{"node":"plans-are-prescriptive","truth_value":"IN","reason":"premise"},{"node":"plan-review-documents-known-gaps","truth_value":"IN","reason":"premise"}]}}