{"id":"full-scale-design-verification-bounded","text":"The GoF's doubly grounded full-scale design — backed by both spatiotemporal infrastructure and LSP's type governance — achieves verified correctness at all scales only while behavioral subtyping remains decidable for the properties under consideration.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["infrastructure-backs-full-scale-design","lsp-type-governance-enables-full-scale-design"],"outlist":["lsp-behavioral-subtyping-undecidable"],"label":"The type-governance leg depends on LSP verification, which hits a fundamental decidability limit for general behavioral properties"}],"dependents":[],"metadata":{"source_type":"derived"},"created_at":"2026-06-17T19:08:16+00:00","updated_at":"2026-06-17T19:08:16+00:00","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"full-scale-design-verification-bounded","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["infrastructure-backs-full-scale-design","lsp-type-governance-enables-full-scale-design"],"label":"The type-governance leg depends on LSP verification, which hits a fundamental decidability limit for general behavioral properties","violated_outlist":["lsp-behavioral-subtyping-undecidable"]}]}}