project-tiny-context-harness 0.8.4 → 0.8.6

package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json

@@ -4,20 +4,47 @@
     "title": "Single-Goal Delivery Contract V2",
     "type": "object",
     "additionalProperties": false,
-    "required": ["schema_version", "task", "source_claims", "stages", "risk", "global"],
+    "required": [
+        "schema_version",
+        "semantic_fact_manifest",
+        "task",
+        "source_claims",
+        "stages",
+        "risk",
+        "global"
+    ],
     "properties": {
         "schema_version": { "const": "long-task-delivery-v2" },
+        "semantic_fact_manifest": {
+            "$ref": "#/$defs/semanticFactManifestRef"
+        },
         "task": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["id", "title", "goal", "target_profile", "execution_targets", "source_paths", "context_refs"],
+            "required": [
+                "id",
+                "title",
+                "goal",
+                "target_profile",
+                "execution_targets",
+                "source_paths",
+                "context_refs"
+            ],
             "properties": {
                 "id": { "$ref": "#/$defs/key" },
                 "title": { "$ref": "#/$defs/nonEmpty" },
                 "goal": { "$ref": "#/$defs/nonEmpty" },
                 "target_profile": { "$ref": "#/$defs/targetProfile" },
-                "execution_targets": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/executionTarget" } },
-                "source_paths": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/nonEmpty" } },
+                "execution_targets": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/executionTarget" }
+                },
+                "source_paths": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/nonEmpty" }
+                },
                 "context_refs": { "$ref": "#/$defs/nonEmptyStrings" },
                 "context_snapshot_mode": { "const": "full", "default": "full" }
             }
@@ -27,10 +54,18 @@
             "minItems": 1,
             "items": { "$ref": "#/$defs/sourceClaim" }
         },
-        "stages": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/stage" } },
+        "stages": {
+            "type": "array",
+            "minItems": 1,
+            "items": { "$ref": "#/$defs/stage" }
+        },
         "risk": { "$ref": "#/$defs/risk" },
         "global": { "$ref": "#/$defs/global" },
-        "outcomes": { "type": "array", "items": { "$ref": "#/$defs/outcome" }, "minItems": 1 },
+        "outcomes": {
+            "type": "array",
+            "items": { "$ref": "#/$defs/outcome" },
+            "minItems": 1
+        },
         "outcome_files": { "$ref": "#/$defs/nonEmptyStrings" }
     },
     "oneOf": [
@@ -40,32 +75,218 @@
     "$defs": {
         "key": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
         "designFactKey": { "type": "string", "pattern": "^[a-z0-9][a-z0-9._-]*$" },
-        "designFactRefs": { "type": "array", "items": { "$ref": "#/$defs/designFactKey" }, "uniqueItems": true },
+        "designFactRefs": {
+            "type": "array",
+            "items": { "$ref": "#/$defs/designFactKey" },
+            "uniqueItems": true
+        },
+        "semanticRef": {
+            "type": "string",
+            "pattern": "^[a-z0-9][a-z0-9._:-]*$"
+        },
+        "semanticFactManifestRef": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["key", "source_path", "sha256"],
+            "properties": {
+                "key": { "$ref": "#/$defs/semanticRef" },
+                "source_path": { "$ref": "#/$defs/nonEmpty" },
+                "sha256": { "$ref": "#/$defs/sha256" }
+            }
+        },
+        "semanticFactBindings": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["manifest_ref", "facts", "proofs"],
+            "properties": {
+                "manifest_ref": { "$ref": "#/$defs/semanticRef" },
+                "facts": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": {
+                        "type": "object",
+                        "additionalProperties": false,
+                        "required": ["fact_ref", "claim_ref", "applicability_ref"],
+                        "properties": {
+                            "fact_ref": { "$ref": "#/$defs/semanticRef" },
+                            "claim_ref": { "$ref": "#/$defs/semanticRef" },
+                            "applicability_ref": { "$ref": "#/$defs/semanticRef" }
+                        }
+                    }
+                },
+                "proofs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": {
+                        "oneOf": [
+                            {
+                                "type": "object",
+                                "additionalProperties": false,
+                                "required": [
+                                    "proof_ref",
+                                    "fact_ref",
+                                    "method",
+                                    "proof_surface",
+                                    "evidence_capabilities",
+                                    "authority",
+                                    "check_ref",
+                                    "assertion_ref"
+                                ],
+                                "properties": {
+                                    "proof_ref": { "$ref": "#/$defs/semanticRef" },
+                                    "fact_ref": { "$ref": "#/$defs/semanticRef" },
+                                    "method": { "$ref": "#/$defs/semanticRef" },
+                                    "proof_surface": { "$ref": "#/$defs/proofSurface" },
+                                    "evidence_capabilities": {
+                                        "type": "array",
+                                        "minItems": 1,
+                                        "uniqueItems": true,
+                                        "items": { "$ref": "#/$defs/evidenceCapability" }
+                                    },
+                                    "authority": { "const": "machine" },
+                                    "check_ref": { "$ref": "#/$defs/semanticRef" },
+                                    "assertion_ref": { "$ref": "#/$defs/semanticRef" }
+                                }
+                            },
+                            {
+                                "type": "object",
+                                "additionalProperties": false,
+                                "required": [
+                                    "proof_ref",
+                                    "fact_ref",
+                                    "method",
+                                    "proof_surface",
+                                    "evidence_capabilities",
+                                    "authority",
+                                    "confirmation_ref"
+                                ],
+                                "properties": {
+                                    "proof_ref": { "$ref": "#/$defs/semanticRef" },
+                                    "fact_ref": { "$ref": "#/$defs/semanticRef" },
+                                    "method": { "$ref": "#/$defs/semanticRef" },
+                                    "proof_surface": { "$ref": "#/$defs/proofSurface" },
+                                    "evidence_capabilities": {
+                                        "type": "array",
+                                        "minItems": 1,
+                                        "uniqueItems": true,
+                                        "items": { "$ref": "#/$defs/evidenceCapability" }
+                                    },
+                                    "authority": { "const": "external_confirmation" },
+                                    "confirmation_ref": { "$ref": "#/$defs/semanticRef" }
+                                }
+                            }
+                        ]
+                    }
+                }
+            }
+        },
+        "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
         "nonEmpty": { "type": "string", "minLength": 1 },
-        "nonEmptyStrings": { "type": "array", "items": { "$ref": "#/$defs/nonEmpty" } },
-        "executionTargetCapability": { "enum": ["browser-runtime", "native-runtime", "desktop-runtime", "service-runtime", "process-runtime", "external-runtime", "cold-start", "production-root", "pointer-input", "keyboard-input", "touch-input", "viewport-control", "pixel-density-observation", "safe-area-observation", "motion-observation", "reduced-motion", "color-scheme-control", "text-scale-control", "assistive-technology", "screen-reader", "physical-device", "device-orientation", "sensor-input", "camera-input", "haptic-output", "thermal-observation", "power-mode-control", "persistent-storage", "network-boundary"] },
+        "nonEmptyStrings": {
+            "type": "array",
+            "items": { "$ref": "#/$defs/nonEmpty" }
+        },
+        "executionTargetCapability": {
+            "enum": [
+                "browser-runtime",
+                "native-runtime",
+                "desktop-runtime",
+                "service-runtime",
+                "process-runtime",
+                "external-runtime",
+                "cold-start",
+                "production-root",
+                "pointer-input",
+                "keyboard-input",
+                "touch-input",
+                "viewport-control",
+                "pixel-density-observation",
+                "safe-area-observation",
+                "motion-observation",
+                "reduced-motion",
+                "color-scheme-control",
+                "text-scale-control",
+                "localization-control",
+                "rtl-control",
+                "assistive-technology",
+                "screen-reader",
+                "physical-device",
+                "device-orientation",
+                "sensor-input",
+                "camera-input",
+                "haptic-output",
+                "audio-output",
+                "reduced-transparency",
+                "increased-contrast",
+                "bold-text-control",
+                "button-shapes-control",
+                "system-ui-observation",
+                "ime-control",
+                "permission-control",
+                "network-state-control",
+                "lifecycle-control",
+                "window-state-control",
+                "fold-state-control",
+                "thermal-observation",
+                "power-mode-control",
+                "persistent-storage",
+                "network-boundary"
+            ]
+        },
         "targetProfile": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "description", "required_state", "required_target_refs"],
+            "required": [
+                "key",
+                "description",
+                "required_state",
+                "required_target_refs"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "description": { "$ref": "#/$defs/nonEmpty" },
-                "required_state": { "enum": ["implementation_complete", "target_profile_usable", "production_release_ready"] },
+                "required_state": {
+                    "enum": [
+                        "implementation_complete",
+                        "target_profile_usable",
+                        "production_release_ready"
+                    ]
+                },
                 "required_target_refs": { "$ref": "#/$defs/keys" }
             }
         },
         "executionTarget": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "description", "role", "runtime_family", "root_entrypoint", "capabilities"],
+            "required": [
+                "key",
+                "description",
+                "role",
+                "runtime_family",
+                "root_entrypoint",
+                "capabilities"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "description": { "$ref": "#/$defs/nonEmpty" },
                 "role": { "enum": ["product", "support", "observer"] },
-                "runtime_family": { "enum": ["browser", "native", "desktop", "service", "process", "external"] },
+                "runtime_family": {
+                    "enum": [
+                        "browser",
+                        "native",
+                        "desktop",
+                        "service",
+                        "process",
+                        "external"
+                    ]
+                },
                 "root_entrypoint": { "$ref": "#/$defs/nonEmpty" },
-                "capabilities": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/executionTargetCapability" } }
+                "capabilities": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/executionTargetCapability" }
+                }
             }
         },
         "stage": {
@@ -83,7 +304,10 @@
             "type": "object",
             "additionalProperties": false,
             "required": ["key", "statement"],
-            "properties": { "key": { "$ref": "#/$defs/key" }, "statement": { "$ref": "#/$defs/nonEmpty" } }
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "statement": { "$ref": "#/$defs/nonEmpty" }
+            }
         },
         "applicableStatement": {
             "type": "object",
@@ -92,27 +316,72 @@
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "statement": { "$ref": "#/$defs/nonEmpty" },
-                "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } }
+                "applicability_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                }
             }
         },
         "claimApplicability": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "target_ref", "journey_role", "dimensions", "given_refs", "when_refs"],
+            "required": [
+                "key",
+                "target_ref",
+                "journey_role",
+                "dimensions",
+                "given_refs",
+                "when_refs"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "target_ref": { "$ref": "#/$defs/key" },
-                "journey_role": { "enum": ["success", "degradation", "recovery", "stage_gate", "conformance"] },
-                "dimensions": { "type": "array", "minItems": 1, "items": { "type": "object", "additionalProperties": false, "required": ["key", "value"], "properties": { "key": { "$ref": "#/$defs/key" }, "value": { "$ref": "#/$defs/key" } } } },
-                "given_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } },
-                "when_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } }
+                "journey_role": {
+                    "enum": [
+                        "success",
+                        "degradation",
+                        "recovery",
+                        "stage_gate",
+                        "conformance"
+                    ]
+                },
+                "dimensions": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": {
+                        "type": "object",
+                        "additionalProperties": false,
+                        "required": ["key", "value"],
+                        "properties": {
+                            "key": { "$ref": "#/$defs/semanticRef" },
+                            "value": { "$ref": "#/$defs/semanticRef" }
+                        }
+                    }
+                },
+                "given_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                },
+                "when_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                }
             }
         },
         "keyedPath": {
             "type": "object",
             "additionalProperties": false,
             "required": ["key", "path"],
-            "properties": { "key": { "$ref": "#/$defs/key" }, "path": { "$ref": "#/$defs/nonEmpty" } }
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "path": { "$ref": "#/$defs/nonEmpty" }
+            }
         },
         "sourceClaim": {
             "type": "object",
@@ -124,10 +393,54 @@
                 "statement": { "$ref": "#/$defs/nonEmpty" },
                 "disposition": {
                     "oneOf": [
-                        { "type": "object", "additionalProperties": false, "required": ["type", "refs"], "properties": { "type": { "enum": ["claim", "global_constraint", "risk_fact", "external_confirmation"] }, "refs": { "$ref": "#/$defs/nonEmptyStrings" } } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "refs"], "properties": { "type": { "const": "acceptance" }, "refs": { "type": "array", "minItems": 1, "maxItems": 1, "items": { "$ref": "#/$defs/nonEmpty" } } } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "ref"], "properties": { "type": { "const": "outcome_result" }, "ref": { "$ref": "#/$defs/nonEmpty" } } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "reason"], "properties": { "type": { "const": "decision_required" }, "reason": { "$ref": "#/$defs/nonEmpty" } } }
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "refs"],
+                            "properties": {
+                                "type": {
+                                    "enum": [
+                                        "claim",
+                                        "global_constraint",
+                                        "risk_fact",
+                                        "external_confirmation"
+                                    ]
+                                },
+                                "refs": { "$ref": "#/$defs/nonEmptyStrings" }
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "refs"],
+                            "properties": {
+                                "type": { "const": "acceptance" },
+                                "refs": {
+                                    "type": "array",
+                                    "minItems": 1,
+                                    "maxItems": 1,
+                                    "items": { "$ref": "#/$defs/nonEmpty" }
+                                }
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "ref"],
+                            "properties": {
+                                "type": { "const": "outcome_result" },
+                                "ref": { "$ref": "#/$defs/nonEmpty" }
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "reason"],
+                            "properties": {
+                                "type": { "const": "decision_required" },
+                                "reason": { "$ref": "#/$defs/nonEmpty" }
+                            }
+                        }
                     ]
                 }
             }
@@ -137,39 +450,91 @@
             "additionalProperties": false,
             "required": ["facts"],
             "properties": {
-                "requested_level": { "enum": ["auto", "standard", "strict"], "default": "auto" },
+                "requested_level": {
+                    "enum": ["auto", "standard", "strict"],
+                    "default": "auto"
+                },
                 "facts": {
                     "type": "object",
                     "additionalProperties": false,
                     "properties": {
-                        "public_api_or_schema_change": { "$ref": "#/$defs/keys", "default": [] },
+                        "public_api_or_schema_change": {
+                            "$ref": "#/$defs/keys",
+                            "default": []
+                        },
                         "persistent_data_change": { "$ref": "#/$defs/keys", "default": [] },
                         "data_migration": { "$ref": "#/$defs/keys", "default": [] },
-                        "security_boundary_change": { "$ref": "#/$defs/keys", "default": [] },
-                        "permission_boundary_change": { "$ref": "#/$defs/keys", "default": [] },
-                        "irreversible_external_effect": { "$ref": "#/$defs/keys", "default": [] },
+                        "security_boundary_change": {
+                            "$ref": "#/$defs/keys",
+                            "default": []
+                        },
+                        "permission_boundary_change": {
+                            "$ref": "#/$defs/keys",
+                            "default": []
+                        },
+                        "irreversible_external_effect": {
+                            "$ref": "#/$defs/keys",
+                            "default": []
+                        },
                         "critical_user_path": { "$ref": "#/$defs/keys", "default": [] },
-                        "full_population_operation": { "$ref": "#/$defs/keys", "default": [] },
-                        "multi_repository_change": { "$ref": "#/$defs/keys", "default": [] },
+                        "full_population_operation": {
+                            "$ref": "#/$defs/keys",
+                            "default": []
+                        },
+                        "multi_repository_change": {
+                            "$ref": "#/$defs/keys",
+                            "default": []
+                        },
                         "weak_observability": { "$ref": "#/$defs/keys", "default": [] }
                     }
                 }
             }
         },
-        "keys": { "type": "array", "items": { "$ref": "#/$defs/key" }, "uniqueItems": true },
+        "keys": {
+            "type": "array",
+            "items": { "$ref": "#/$defs/key" },
+            "uniqueItems": true
+        },
         "global": {
             "type": "object",
             "additionalProperties": false,
             "properties": {
-                "applicability": { "type": "array", "items": { "$ref": "#/$defs/claimApplicability" }, "default": [] },
-                "product": { "type": "object", "additionalProperties": false, "properties": { "non_goals": { "type": "array", "items": { "$ref": "#/$defs/applicableStatement" }, "default": [] } }, "default": {} },
+                "applicability": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/claimApplicability" },
+                    "default": []
+                },
+                "product": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "properties": {
+                        "non_goals": {
+                            "type": "array",
+                            "items": { "$ref": "#/$defs/applicableStatement" },
+                            "default": []
+                        }
+                    },
+                    "default": {}
+                },
                 "technical": {
                     "type": "object",
                     "additionalProperties": false,
                     "properties": {
-                        "constraints": { "type": "array", "items": { "$ref": "#/$defs/applicableStatement" }, "default": [] },
-                        "forbidden_paths": { "type": "array", "items": { "$ref": "#/$defs/keyedPath" }, "default": [] },
-                        "forbidden_shortcuts": { "type": "array", "items": { "$ref": "#/$defs/applicableStatement" }, "default": [] }
+                        "constraints": {
+                            "type": "array",
+                            "items": { "$ref": "#/$defs/applicableStatement" },
+                            "default": []
+                        },
+                        "forbidden_paths": {
+                            "type": "array",
+                            "items": { "$ref": "#/$defs/keyedPath" },
+                            "default": []
+                        },
+                        "forbidden_shortcuts": {
+                            "type": "array",
+                            "items": { "$ref": "#/$defs/applicableStatement" },
+                            "default": []
+                        }
                     },
                     "default": {}
                 },
@@ -177,9 +542,53 @@
                     "type": "object",
                     "additionalProperties": false,
                     "properties": {
-                        "checks": { "type": "array", "items": { "$ref": "#/$defs/check" }, "default": [] },
-                        "counterfactual_controls": { "type": "array", "items": { "$ref": "#/$defs/globalCounterfactual" }, "default": [] },
-                        "external_confirmations": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["key", "description", "owner", "kind", "impact_claims", "blocks_target"], "properties": { "key": { "$ref": "#/$defs/key" }, "description": { "$ref": "#/$defs/nonEmpty" }, "owner": { "$ref": "#/$defs/nonEmpty" }, "kind": { "enum": ["functional_prerequisite", "field_validation", "production_release_gate", "commercial_activation", "expert_authority"] }, "impact_claims": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/nonEmpty" } }, "blocks_target": { "type": "boolean" } } }, "default": [] }
+                        "checks": {
+                            "type": "array",
+                            "items": { "$ref": "#/$defs/check" },
+                            "default": []
+                        },
+                        "counterfactual_controls": {
+                            "type": "array",
+                            "items": { "$ref": "#/$defs/globalCounterfactual" },
+                            "default": []
+                        },
+                        "external_confirmations": {
+                            "type": "array",
+                            "items": {
+                                "type": "object",
+                                "additionalProperties": false,
+                                "required": [
+                                    "key",
+                                    "description",
+                                    "owner",
+                                    "kind",
+                                    "impact_claims",
+                                    "blocks_target"
+                                ],
+                                "properties": {
+                                    "key": { "$ref": "#/$defs/key" },
+                                    "description": { "$ref": "#/$defs/nonEmpty" },
+                                    "owner": { "$ref": "#/$defs/nonEmpty" },
+                                    "kind": {
+                                        "enum": [
+                                            "functional_prerequisite",
+                                            "field_validation",
+                                            "production_release_gate",
+                                            "commercial_activation",
+                                            "expert_authority"
+                                        ]
+                                    },
+                                    "impact_claims": {
+                                        "type": "array",
+                                        "minItems": 1,
+                                        "uniqueItems": true,
+                                        "items": { "$ref": "#/$defs/nonEmpty" }
+                                    },
+                                    "blocks_target": { "type": "boolean" }
+                                }
+                            },
+                            "default": []
+                        }
                     },
                     "default": {}
                 }
@@ -188,13 +597,29 @@
         "outcome": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "title", "stage", "applicability", "product", "technical", "acceptance"],
+            "required": [
+                "key",
+                "title",
+                "stage",
+                "applicability",
+                "semantic_fact_bindings",
+                "product",
+                "technical",
+                "acceptance"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "title": { "$ref": "#/$defs/nonEmpty" },
                 "stage": { "$ref": "#/$defs/key" },
                 "depends_on": { "$ref": "#/$defs/keys", "default": [] },
-                "applicability": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/claimApplicability" } },
+                "applicability": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/claimApplicability" }
+                },
+                "semantic_fact_bindings": {
+                    "$ref": "#/$defs/semanticFactBindings"
+                },
                 "product": { "$ref": "#/$defs/product" },
                 "technical": { "$ref": "#/$defs/technical" },
                 "acceptance": { "$ref": "#/$defs/acceptance" }
@@ -203,73 +628,317 @@
         "product": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["observable_result", "result_applicability_refs", "success_path_required", "degradation_path_required", "owner", "control_relation_closure"],
+            "required": [
+                "observable_result",
+                "result_applicability_refs",
+                "success_path_required",
+                "degradation_path_required",
+                "owner",
+                "control_relation_closure"
+            ],
             "properties": {
                 "observable_result": { "$ref": "#/$defs/nonEmpty" },
-                "result_applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } },
+                "result_applicability_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                },
                 "success_path_required": { "type": "boolean" },
                 "degradation_path_required": { "type": "boolean" },
-                "owner": { "type": "object", "additionalProperties": false, "required": ["label", "context_refs", "path_globs"], "properties": { "label": { "$ref": "#/$defs/nonEmpty" }, "context_refs": { "$ref": "#/$defs/nonEmptyStrings" }, "path_globs": { "$ref": "#/$defs/nonEmptyStrings" } } },
-                "requirements": { "type": "array", "items": { "$ref": "#/$defs/requirement" }, "default": [] },
+                "owner": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["label", "context_refs", "path_globs"],
+                    "properties": {
+                        "label": { "$ref": "#/$defs/nonEmpty" },
+                        "context_refs": { "$ref": "#/$defs/nonEmptyStrings" },
+                        "path_globs": { "$ref": "#/$defs/nonEmptyStrings" }
+                    }
+                },
+                "requirements": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/requirement" },
+                    "default": []
+                },
                 "owner_surfaces": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
-                "controls": { "type": "array", "items": { "$ref": "#/$defs/control" }, "default": [] },
-                "control_relation_closure": { "$ref": "#/$defs/controlRelationClosure" },
-                "control_relations": { "type": "array", "items": { "$ref": "#/$defs/controlRelation" }, "default": [] },
-                "surface_bindings": { "type": "array", "items": { "$ref": "#/$defs/surfaceBinding" }, "default": [] },
-                "non_completing_outcomes": { "type": "array", "items": { "$ref": "#/$defs/applicableStatement" }, "default": [] }
+                "controls": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/control" },
+                    "default": []
+                },
+                "control_relation_closure": {
+                    "$ref": "#/$defs/controlRelationClosure"
+                },
+                "control_relations": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/controlRelation" },
+                    "default": []
+                },
+                "surface_bindings": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/surfaceBinding" },
+                    "default": []
+                },
+                "non_completing_outcomes": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/applicableStatement" },
+                    "default": []
+                }
             },
             "allOf": [
                 {
-                    "if": { "required": ["controls"], "properties": { "controls": { "minItems": 1 } } },
-                    "then": { "required": ["surface_bindings"], "properties": { "surface_bindings": { "minItems": 1 } } }
+                    "if": {
+                        "required": ["controls"],
+                        "properties": { "controls": { "minItems": 1 } }
+                    },
+                    "then": {
+                        "required": ["surface_bindings"],
+                        "properties": { "surface_bindings": { "minItems": 1 } }
+                    }
                 }
             ]
         },
         "requirement": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "statement", "required_proof_surfaces", "applicability_refs"],
-            "properties": { "key": { "$ref": "#/$defs/key" }, "statement": { "$ref": "#/$defs/nonEmpty" }, "required_proof_surfaces": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/proofSurface" } }, "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } } }
+            "required": [
+                "key",
+                "statement",
+                "required_proof_surfaces",
+                "applicability_refs"
+            ],
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "statement": { "$ref": "#/$defs/nonEmpty" },
+                "required_proof_surfaces": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/proofSurface" }
+                },
+                "applicability_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                }
+            }
         },
         "control": {
             "type": "object",
             "additionalProperties": false,
             "required": ["key", "field_coverage"],
-            "properties": { "key": { "$ref": "#/$defs/key" }, "surface": { "type": "string", "default": "" }, "region": { "type": "string", "default": "" }, "location": { "type": "string", "default": "" }, "control_type": { "type": "string", "default": "" }, "label_content": { "type": "string", "default": "" }, "user_task": { "type": "string", "default": "" }, "visibility": { "type": "string", "default": "" }, "availability": { "type": "string", "default": "" }, "trigger": { "type": "string", "default": "" }, "input": { "type": "string", "default": "" }, "validation": { "type": "string", "default": "" }, "default_value": { "type": "string", "default": "" }, "interaction": { "type": "string", "default": "" }, "navigation_result": { "type": "string", "default": "" }, "loading_state": { "type": "string", "default": "" }, "empty_state": { "type": "string", "default": "" }, "success_state": { "type": "string", "default": "" }, "failure_state": { "type": "string", "default": "" }, "recovery": { "type": "string", "default": "" }, "permission": { "type": "string", "default": "" }, "feedback": { "type": "string", "default": "" }, "accessibility": { "type": "string", "default": "" }, "field_coverage": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/controlFieldCoverage" } } }
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "surface": { "type": "string", "default": "" },
+                "region": { "type": "string", "default": "" },
+                "location": { "type": "string", "default": "" },
+                "control_type": { "type": "string", "default": "" },
+                "label_content": { "type": "string", "default": "" },
+                "user_task": { "type": "string", "default": "" },
+                "visibility": { "type": "string", "default": "" },
+                "availability": { "type": "string", "default": "" },
+                "trigger": { "type": "string", "default": "" },
+                "input": { "type": "string", "default": "" },
+                "validation": { "type": "string", "default": "" },
+                "default_value": { "type": "string", "default": "" },
+                "interaction": { "type": "string", "default": "" },
+                "navigation_result": { "type": "string", "default": "" },
+                "loading_state": { "type": "string", "default": "" },
+                "empty_state": { "type": "string", "default": "" },
+                "success_state": { "type": "string", "default": "" },
+                "failure_state": { "type": "string", "default": "" },
+                "recovery": { "type": "string", "default": "" },
+                "permission": { "type": "string", "default": "" },
+                "feedback": { "type": "string", "default": "" },
+                "accessibility": { "type": "string", "default": "" },
+                "field_coverage": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/controlFieldCoverage" }
+                }
+            }
         },
         "controlField": {
-            "enum": ["surface", "region", "location", "control_type", "label_content", "user_task", "visibility", "availability", "trigger", "input", "validation", "default_value", "interaction", "navigation_result", "loading_state", "empty_state", "success_state", "failure_state", "recovery", "permission", "feedback", "accessibility"]
+            "enum": [
+                "surface",
+                "region",
+                "location",
+                "control_type",
+                "label_content",
+                "user_task",
+                "visibility",
+                "availability",
+                "trigger",
+                "input",
+                "validation",
+                "default_value",
+                "interaction",
+                "navigation_result",
+                "loading_state",
+                "empty_state",
+                "success_state",
+                "failure_state",
+                "recovery",
+                "permission",
+                "feedback",
+                "accessibility"
+            ]
         },
         "controlFieldCoverage": {
             "oneOf": [
-                { "type": "object", "additionalProperties": false, "required": ["fields", "state", "applicability_refs"], "properties": { "fields": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/controlField" } }, "state": { "const": "specified" }, "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } } } },
-                { "type": "object", "additionalProperties": false, "required": ["fields", "state", "statement", "applicability_refs"], "properties": { "fields": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/controlField" } }, "state": { "const": "not_applicable" }, "statement": { "$ref": "#/$defs/nonEmpty" }, "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } } } },
-                { "type": "object", "additionalProperties": false, "required": ["fields", "state", "statement"], "properties": { "fields": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/controlField" } }, "state": { "const": "unresolved" }, "statement": { "$ref": "#/$defs/nonEmpty" }, "applicability_refs": { "type": "array", "maxItems": 0 } } }
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["fields", "state", "applicability_refs"],
+                    "properties": {
+                        "fields": {
+                            "type": "array",
+                            "minItems": 1,
+                            "uniqueItems": true,
+                            "items": { "$ref": "#/$defs/controlField" }
+                        },
+                        "state": { "const": "specified" },
+                        "applicability_refs": {
+                            "type": "array",
+                            "minItems": 1,
+                            "uniqueItems": true,
+                            "items": { "$ref": "#/$defs/key" }
+                        }
+                    }
+                },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["fields", "state", "statement", "applicability_refs"],
+                    "properties": {
+                        "fields": {
+                            "type": "array",
+                            "minItems": 1,
+                            "uniqueItems": true,
+                            "items": { "$ref": "#/$defs/controlField" }
+                        },
+                        "state": { "const": "not_applicable" },
+                        "statement": { "$ref": "#/$defs/nonEmpty" },
+                        "applicability_refs": {
+                            "type": "array",
+                            "minItems": 1,
+                            "uniqueItems": true,
+                            "items": { "$ref": "#/$defs/key" }
+                        }
+                    }
+                },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["fields", "state", "statement"],
+                    "properties": {
+                        "fields": {
+                            "type": "array",
+                            "minItems": 1,
+                            "uniqueItems": true,
+                            "items": { "$ref": "#/$defs/controlField" }
+                        },
+                        "state": { "const": "unresolved" },
+                        "statement": { "$ref": "#/$defs/nonEmpty" },
+                        "applicability_refs": { "type": "array", "maxItems": 0 }
+                    }
+                }
             ]
         },
         "controlRelationClosure": {
             "oneOf": [
-                { "type": "object", "additionalProperties": false, "required": ["state", "statement", "applicability_refs"], "properties": { "state": { "const": "specified" }, "statement": { "$ref": "#/$defs/nonEmpty" }, "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } } } },
-                { "type": "object", "additionalProperties": false, "required": ["state", "statement", "applicability_refs"], "properties": { "state": { "const": "not_applicable" }, "statement": { "$ref": "#/$defs/nonEmpty" }, "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } } } },
-                { "type": "object", "additionalProperties": false, "required": ["state", "statement"], "properties": { "state": { "const": "unresolved" }, "statement": { "$ref": "#/$defs/nonEmpty" }, "applicability_refs": { "type": "array", "maxItems": 0 } } }
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["state", "statement", "applicability_refs"],
+                    "properties": {
+                        "state": { "const": "specified" },
+                        "statement": { "$ref": "#/$defs/nonEmpty" },
+                        "applicability_refs": {
+                            "type": "array",
+                            "minItems": 1,
+                            "uniqueItems": true,
+                            "items": { "$ref": "#/$defs/key" }
+                        }
+                    }
+                },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["state", "statement", "applicability_refs"],
+                    "properties": {
+                        "state": { "const": "not_applicable" },
+                        "statement": { "$ref": "#/$defs/nonEmpty" },
+                        "applicability_refs": {
+                            "type": "array",
+                            "minItems": 1,
+                            "uniqueItems": true,
+                            "items": { "$ref": "#/$defs/key" }
+                        }
+                    }
+                },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["state", "statement"],
+                    "properties": {
+                        "state": { "const": "unresolved" },
+                        "statement": { "$ref": "#/$defs/nonEmpty" },
+                        "applicability_refs": { "type": "array", "maxItems": 0 }
+                    }
+                }
             ]
         },
         "controlRelation": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "statement", "control_refs", "required_proof_surfaces", "applicability_refs"],
+            "required": [
+                "key",
+                "statement",
+                "control_refs",
+                "required_proof_surfaces",
+                "applicability_refs"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "statement": { "$ref": "#/$defs/nonEmpty" },
-                "control_refs": { "type": "array", "minItems": 2, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } },
-                "required_proof_surfaces": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/proofSurface" } },
-                "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } }
+                "control_refs": {
+                    "type": "array",
+                    "minItems": 2,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                },
+                "required_proof_surfaces": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/proofSurface" }
+                },
+                "applicability_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                }
             }
         },
         "surfaceBinding": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "surface_ref", "target_ref", "control_refs", "route_binding_ref", "component_binding_refs", "root_journey_check_ref", "entry_action_ref", "design_targets", "acceptance_blockers"],
+            "required": [
+                "key",
+                "surface_ref",
+                "target_ref",
+                "control_refs",
+                "route_binding_ref",
+                "component_binding_refs",
+                "root_journey_check_ref",
+                "entry_action_ref",
+                "design_targets",
+                "acceptance_blockers"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "surface_ref": { "$ref": "#/$defs/nonEmpty" },
@@ -279,14 +948,31 @@
                 "component_binding_refs": { "$ref": "#/$defs/keys" },
                 "root_journey_check_ref": { "$ref": "#/$defs/key" },
                 "entry_action_ref": { "$ref": "#/$defs/key" },
-                "design_targets": { "type": "array", "items": { "$ref": "#/$defs/designTarget" } },
-                "acceptance_blockers": { "type": "array", "items": { "$ref": "#/$defs/designAcceptanceBlocker" } }
+                "design_targets": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/designTarget" }
+                },
+                "acceptance_blockers": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/designAcceptanceBlocker" }
+                }
             }
         },
         "designTarget": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "interpretation", "source_paths", "condition_keys", "claim_refs", "conformance_check_ref", "conformance_assertion_ref", "verification_method_bindings", "actual_artifact_path", "comparison_artifact_path"],
+            "required": [
+                "key",
+                "interpretation",
+                "source_paths",
+                "condition_keys",
+                "claim_refs",
+                "conformance_check_ref",
+                "conformance_assertion_ref",
+                "verification_method_bindings",
+                "actual_artifact_path",
+                "comparison_artifact_path"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "interpretation": { "enum": ["exact_target", "constraint"] },
@@ -306,7 +992,32 @@
                         "properties": {
                             "method": { "$ref": "#/$defs/designVerificationMethod" },
                             "assertion_ref": { "$ref": "#/$defs/key" },
-                            "evidence_artifacts": { "type": "array", "minItems": 1, "items": { "type": "object", "additionalProperties": false, "required": ["condition_key", "path", "observation_path", "fact_refs"], "properties": { "condition_key": { "$ref": "#/$defs/key" }, "path": { "$ref": "#/$defs/nonEmpty" }, "observation_path": { "$ref": "#/$defs/nonEmpty" }, "fact_refs": { "$ref": "#/$defs/designFactRefs" } } } }
+                            "evidence_artifacts": {
+                                "type": "array",
+                                "minItems": 1,
+                                "items": {
+                                    "type": "object",
+                                    "additionalProperties": false,
+                                    "required": [
+                                        "condition_key",
+                                        "path",
+                                        "observation_path",
+                                        "fact_refs",
+                                        "fact_expectations"
+                                    ],
+                                    "properties": {
+                                        "condition_key": { "$ref": "#/$defs/key" },
+                                        "path": { "$ref": "#/$defs/nonEmpty" },
+                                        "observation_path": { "$ref": "#/$defs/nonEmpty" },
+                                        "fact_refs": { "$ref": "#/$defs/designFactRefs" },
+                                        "fact_expectations": {
+                                            "type": "array",
+                                            "minItems": 1,
+                                            "items": { "$ref": "#/$defs/designFactExpectation" }
+                                        }
+                                    }
+                                }
+                            }
                         }
                     }
                 },
@@ -314,17 +1025,146 @@
                 "comparison_artifact_path": { "$ref": "#/$defs/nonEmpty" }
             }
         },
+        "designTypedLocator": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["resource_ref", "kind", "value"],
+            "properties": {
+                "resource_ref": { "$ref": "#/$defs/designFactKey" },
+                "kind": {
+                    "enum": [
+                        "html_selector",
+                        "html_inner_html",
+                        "markdown_anchor",
+                        "json_pointer",
+                        "css_selector",
+                        "css_custom_property",
+                        "html_attribute",
+                        "css_declaration",
+                        "javascript_export",
+                        "svg_selector",
+                        "svg_inner_xml",
+                        "svg_attribute",
+                        "whole_resource"
+                    ]
+                },
+                "value": { "$ref": "#/$defs/nonEmpty" }
+            }
+        },
+        "designLocatedDigest": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["locator", "sha256"],
+            "properties": {
+                "locator": { "$ref": "#/$defs/designTypedLocator" },
+                "sha256": { "$ref": "#/$defs/sha256" }
+            }
+        },
+        "designFactExpectation": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "fact_ref",
+                "subject_ref",
+                "variation_ref",
+                "property_ref",
+                "observation_sensitivity",
+                "expected",
+                "comparison",
+                "oracle",
+                "environment"
+            ],
+            "properties": {
+                "fact_ref": { "$ref": "#/$defs/designFactKey" },
+                "subject_ref": { "$ref": "#/$defs/designFactKey" },
+                "variation_ref": { "$ref": "#/$defs/designFactKey" },
+                "property_ref": { "$ref": "#/$defs/designFactKey" },
+                "observation_sensitivity": { "enum": ["plain", "protected"] },
+                "expected": { "$ref": "#/$defs/designLocatedDigest" },
+                "comparison": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["comparator", "mode", "parameters", "tolerance", "mask"],
+                    "properties": {
+                        "comparator": {
+                            "type": "string",
+                            "pattern": "^(?:exact_value|numeric_delta|geometry_delta|pixel_diff|token_resolution|content_equal|state_equal|trace_equal|timeline_equal|reflow_equal|semantic_equal|asset_equal|custom\\.[a-z0-9][a-z0-9._-]*)$"
+                        },
+                        "mode": { "enum": ["exact", "tolerance"] },
+                        "parameters": { "$ref": "#/$defs/designLocatedDigest" },
+                        "tolerance": {
+                            "oneOf": [
+                                { "type": "null" },
+                                { "$ref": "#/$defs/designLocatedDigest" }
+                            ]
+                        },
+                        "mask": {
+                            "oneOf": [
+                                { "type": "null" },
+                                { "$ref": "#/$defs/designLocatedDigest" }
+                            ]
+                        }
+                    }
+                },
+                "oracle": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["key", "trust", "identity", "version", "sha256"],
+                    "properties": {
+                        "key": { "$ref": "#/$defs/designFactKey" },
+                        "trust": { "enum": ["frozen_executable", "named_external_tcb"] },
+                        "identity": { "$ref": "#/$defs/nonEmpty" },
+                        "version": { "$ref": "#/$defs/nonEmpty" },
+                        "sha256": {
+                            "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/sha256" }]
+                        }
+                    }
+                },
+                "environment": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["key", "identity", "definition"],
+                    "properties": {
+                        "key": { "$ref": "#/$defs/designFactKey" },
+                        "identity": { "$ref": "#/$defs/nonEmpty" },
+                        "definition": { "$ref": "#/$defs/designLocatedDigest" }
+                    }
+                }
+            }
+        },
         "designAcceptanceBlocker": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "status", "refs", "source_item_refs", "verification_methods", "required_capabilities", "rationale"],
+            "required": [
+                "key",
+                "status",
+                "refs",
+                "source_item_refs",
+                "verification_methods",
+                "required_capabilities",
+                "rationale"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "status": { "enum": ["machine_claim", "external_confirmation"] },
-                "refs": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/nonEmpty" } },
+                "refs": {
+                    "type": "array",
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/nonEmpty" }
+                },
                 "source_item_refs": { "$ref": "#/$defs/nonEmptyStrings" },
-                "verification_methods": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/designVerificationMethod" } },
-                "required_capabilities": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/executionTargetCapability" } },
+                "verification_methods": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/designVerificationMethod" }
+                },
+                "required_capabilities": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/executionTargetCapability" }
+                },
                 "rationale": { "$ref": "#/$defs/nonEmpty" }
             }
         },
@@ -340,6 +1180,14 @@
                 "responsive_reflow",
                 "input_method",
                 "accessibility_semantics",
+                "accessibility_navigation",
+                "accessibility_visual",
+                "gesture_trace",
+                "scroll_navigation",
+                "localization",
+                "system_ui",
+                "haptic_feedback",
+                "sound_feedback",
                 "asset_integrity"
             ]
         },
@@ -348,33 +1196,92 @@
             "additionalProperties": false,
             "required": ["expected_change_paths"],
             "properties": {
-                "obligations": { "type": "array", "items": { "$ref": "#/$defs/obligation" }, "default": [] },
+                "obligations": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/obligation" },
+                    "default": []
+                },
                 "expected_change_paths": { "$ref": "#/$defs/nonEmptyStrings" },
-                "allowed_support_paths": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
+                "allowed_support_paths": {
+                    "$ref": "#/$defs/nonEmptyStrings",
+                    "default": []
+                },
                 "forbidden_paths": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
-                "forbidden_shortcuts": { "type": "array", "items": { "$ref": "#/$defs/applicableStatement" }, "default": [] },
-                "bindings": { "type": "array", "items": { "$ref": "#/$defs/binding" }, "default": [] },
-                "rollback_and_recovery": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/rollback" }], "default": null }
+                "forbidden_shortcuts": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/applicableStatement" },
+                    "default": []
+                },
+                "bindings": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/binding" },
+                    "default": []
+                },
+                "rollback_and_recovery": {
+                    "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/rollback" }],
+                    "default": null
+                }
             }
         },
         "obligation": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "statement", "required_proof_surfaces", "applicability_refs"],
-            "properties": { "key": { "$ref": "#/$defs/key" }, "statement": { "$ref": "#/$defs/nonEmpty" }, "required_proof_surfaces": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/proofSurface" } }, "applicability_refs": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/key" } } }
+            "required": [
+                "key",
+                "statement",
+                "required_proof_surfaces",
+                "applicability_refs"
+            ],
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "statement": { "$ref": "#/$defs/nonEmpty" },
+                "required_proof_surfaces": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/proofSurface" }
+                },
+                "applicability_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/key" }
+                }
+            }
+        },
+        "proofSurface": {
+            "enum": [
+                "ui_browser",
+                "runtime_behavior",
+                "api_contract",
+                "data_state",
+                "security_boundary",
+                "population_coverage",
+                "implementation_structure"
+            ]
         },
-        "proofSurface": { "enum": ["ui_browser", "runtime_behavior", "api_contract", "data_state", "security_boundary", "population_coverage", "implementation_structure"] },
         "binding": {
             "type": "object",
             "additionalProperties": false,
             "required": ["key", "kind", "target", "carrier_paths"],
-            "properties": { "key": { "$ref": "#/$defs/key" }, "kind": { "enum": ["file", "path_glob", "verified"] }, "target": { "$ref": "#/$defs/nonEmpty" }, "carrier_paths": { "$ref": "#/$defs/nonEmptyStrings" }, "existence": { "enum": ["existing", "planned"] }, "verification_check_key": { "$ref": "#/$defs/key" } }
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "kind": { "enum": ["file", "path_glob", "verified"] },
+                "target": { "$ref": "#/$defs/nonEmpty" },
+                "carrier_paths": { "$ref": "#/$defs/nonEmptyStrings" },
+                "existence": { "enum": ["existing", "planned"] },
+                "verification_check_key": { "$ref": "#/$defs/key" }
+            }
         },
         "rollback": {
             "type": "object",
             "additionalProperties": false,
             "required": ["rollback", "recovery", "verification_check_keys"],
-            "properties": { "rollback": { "$ref": "#/$defs/nonEmpty" }, "recovery": { "$ref": "#/$defs/nonEmpty" }, "verification_check_keys": { "$ref": "#/$defs/keys" } }
+            "properties": {
+                "rollback": { "$ref": "#/$defs/nonEmpty" },
+                "recovery": { "$ref": "#/$defs/nonEmpty" },
+                "verification_check_keys": { "$ref": "#/$defs/keys" }
+            }
         },
         "acceptance": {
             "type": "object",
@@ -382,28 +1289,79 @@
             "required": ["checks"],
             "properties": {
                 "checks": { "type": "array", "items": { "$ref": "#/$defs/check" } },
-                "population": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/population" }], "default": null },
-                "counterfactual_controls": { "type": "array", "items": { "$ref": "#/$defs/counterfactual" }, "default": [] }
+                "population": {
+                    "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/population" }],
+                    "default": null
+                },
+                "counterfactual_controls": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/counterfactual" },
+                    "default": []
+                }
             }
         },
         "check": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "journey_roles", "execution_target", "scenario", "proof_surface", "runner", "verification_inputs"],
+            "required": [
+                "key",
+                "journey_roles",
+                "execution_target",
+                "scenario",
+                "proof_surface",
+                "runner",
+                "verification_inputs"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
-                "journey_roles": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "enum": ["success", "degradation", "recovery", "stage_gate", "conformance"] } },
-                "execution_target": { "type": "object", "additionalProperties": false, "required": ["target_ref", "entrypoint"], "properties": { "target_ref": { "$ref": "#/$defs/key" }, "entrypoint": { "enum": ["root", "internal"] } } },
+                "journey_roles": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": {
+                        "enum": [
+                            "success",
+                            "degradation",
+                            "recovery",
+                            "stage_gate",
+                            "conformance"
+                        ]
+                    }
+                },
+                "execution_target": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["target_ref", "entrypoint"],
+                    "properties": {
+                        "target_ref": { "$ref": "#/$defs/key" },
+                        "entrypoint": { "enum": ["root", "internal"] }
+                    }
+                },
                 "scenario": { "$ref": "#/$defs/scenario" },
                 "proof_surface": { "$ref": "#/$defs/proofSurface" },
                 "runner": { "$ref": "#/$defs/runner" },
                 "verification_inputs": { "$ref": "#/$defs/nonEmptyStrings" },
                 "input_paths": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
-                "expected_output_paths": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
+                "expected_output_paths": {
+                    "$ref": "#/$defs/nonEmptyStrings",
+                    "default": []
+                },
                 "artifact_globs": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
-                "positive_assertions": { "type": "array", "items": { "$ref": "#/$defs/assertion" }, "default": [] },
-                "negative_assertions": { "type": "array", "items": { "$ref": "#/$defs/assertion" }, "default": [] },
-                "environment_requirements": { "type": "array", "items": { "$ref": "#/$defs/environment" }, "default": [] }
+                "positive_assertions": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/assertion" },
+                    "default": []
+                },
+                "negative_assertions": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/assertion" },
+                    "default": []
+                },
+                "environment_requirements": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/environment" },
+                    "default": []
+                }
             }
         },
         "runner": {
@@ -411,28 +1369,73 @@
             "additionalProperties": false,
             "required": ["type", "target", "effect"],
             "properties": {
-                "type": { "enum": ["package_script", "project_binary", "node_oracle", "playwright_test"] },
+                "type": {
+                    "enum": [
+                        "package_script",
+                        "project_binary",
+                        "node_oracle",
+                        "playwright_test"
+                    ]
+                },
                 "target": { "$ref": "#/$defs/nonEmpty" },
                 "argv": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
                 "cwd": { "$ref": "#/$defs/nonEmpty", "default": "." },
-                "timeout_ms": { "type": "integer", "minimum": 100, "maximum": 3600000, "default": 30000 },
+                "timeout_ms": {
+                    "type": "integer",
+                    "minimum": 100,
+                    "maximum": 3600000,
+                    "default": 30000
+                },
                 "effect": { "enum": ["read_only", "test_sandbox"] },
-                "retry_policy": { "enum": ["none", "transient_once"], "default": "none" },
+                "retry_policy": {
+                    "enum": ["none", "transient_once"],
+                    "default": "none"
+                },
                 "idempotent": { "type": "boolean", "default": false }
             }
         },
         "assertion": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "claims", "observation", "operator", "evidence_capabilities"],
+            "required": [
+                "key",
+                "claims",
+                "observation",
+                "operator",
+                "evidence_capabilities"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "criterion": { "$ref": "#/$defs/nonEmpty" },
                 "claims": { "$ref": "#/$defs/nonEmptyStrings" },
                 "applicability_ref": { "$ref": "#/$defs/key" },
                 "observation": { "$ref": "#/$defs/nonEmpty" },
-                "evidence_capabilities": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/evidenceCapability" } },
-                "operator": { "enum": ["equals", "not_equals", "contains", "not_contains", "matches", "not_matches", "greater_than", "greater_or_equal", "less_than", "less_or_equal", "truthy", "falsy", "exists", "set_equals", "subset_of", "superset_of"] },
+                "evidence_capabilities": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/evidenceCapability" }
+                },
+                "operator": {
+                    "enum": [
+                        "equals",
+                        "not_equals",
+                        "contains",
+                        "not_contains",
+                        "matches",
+                        "not_matches",
+                        "greater_than",
+                        "greater_or_equal",
+                        "less_than",
+                        "less_or_equal",
+                        "truthy",
+                        "falsy",
+                        "exists",
+                        "set_equals",
+                        "subset_of",
+                        "superset_of"
+                    ]
+                },
                 "expected": true
             },
             "allOf": [
@@ -442,23 +1445,68 @@
                     "else": { "not": { "required": ["applicability_ref"] } }
                 },
                 {
-                    "if": { "properties": { "operator": { "enum": ["equals", "not_equals", "contains", "not_contains", "matches", "not_matches", "greater_than", "greater_or_equal", "less_than", "less_or_equal", "set_equals", "subset_of", "superset_of"] } } },
+                    "if": {
+                        "properties": {
+                            "operator": {
+                                "enum": [
+                                    "equals",
+                                    "not_equals",
+                                    "contains",
+                                    "not_contains",
+                                    "matches",
+                                    "not_matches",
+                                    "greater_than",
+                                    "greater_or_equal",
+                                    "less_than",
+                                    "less_or_equal",
+                                    "set_equals",
+                                    "subset_of",
+                                    "superset_of"
+                                ]
+                            }
+                        }
+                    },
                     "then": { "required": ["expected"] }
                 },
                 {
-                    "if": { "properties": { "operator": { "enum": ["exists", "truthy", "falsy"] } } },
+                    "if": {
+                        "properties": {
+                            "operator": { "enum": ["exists", "truthy", "falsy"] }
+                        }
+                    },
                     "then": { "not": { "required": ["expected"] } }
                 },
                 {
-                    "if": { "properties": { "operator": { "enum": ["matches", "not_matches"] } } },
-                    "then": { "properties": { "expected": { "type": "string", "format": "regex" } } }
+                    "if": {
+                        "properties": { "operator": { "enum": ["matches", "not_matches"] } }
+                    },
+                    "then": {
+                        "properties": {
+                            "expected": { "type": "string", "format": "regex" }
+                        }
+                    }
                 },
                 {
-                    "if": { "properties": { "operator": { "enum": ["greater_than", "greater_or_equal", "less_than", "less_or_equal"] } } },
+                    "if": {
+                        "properties": {
+                            "operator": {
+                                "enum": [
+                                    "greater_than",
+                                    "greater_or_equal",
+                                    "less_than",
+                                    "less_or_equal"
+                                ]
+                            }
+                        }
+                    },
                     "then": { "properties": { "expected": { "type": "number" } } }
                 },
                 {
-                    "if": { "properties": { "operator": { "enum": ["set_equals", "subset_of", "superset_of"] } } },
+                    "if": {
+                        "properties": {
+                            "operator": { "enum": ["set_equals", "subset_of", "superset_of"] }
+                        }
+                    },
                     "then": { "properties": { "expected": { "type": "array" } } }
                 }
             ]
@@ -468,31 +1516,72 @@
             "additionalProperties": false,
             "required": ["given", "when"],
             "properties": {
-                "given": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/keyedStatement" } },
-                "when": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/keyedStatement" } }
+                "given": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/keyedStatement" }
+                },
+                "when": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/keyedStatement" }
+                }
             }
         },
-        "evidenceCapability": { "enum": ["presence", "interaction_trace", "state_delta", "cross_surface_consistency", "durable_readback", "boundary_invocation", "external_side_effect", "failure_injection", "visual_render", "design_conformance", "design_method", "target_runtime", "input_variation"] },
+        "evidenceCapability": {
+            "enum": [
+                "presence",
+                "interaction_trace",
+                "state_delta",
+                "cross_surface_consistency",
+                "durable_readback",
+                "boundary_invocation",
+                "external_side_effect",
+                "failure_injection",
+                "visual_render",
+                "design_conformance",
+                "design_method",
+                "semantic_fact",
+                "target_runtime",
+                "input_variation"
+            ]
+        },
         "environment": {
             "oneOf": [
                 {
                     "type": "object",
                     "additionalProperties": false,
                     "required": ["key", "kind", "target"],
-                    "properties": { "key": { "$ref": "#/$defs/key" }, "kind": { "enum": ["executable", "file", "directory", "env_var"] }, "target": { "$ref": "#/$defs/nonEmpty" } }
+                    "properties": {
+                        "key": { "$ref": "#/$defs/key" },
+                        "kind": { "enum": ["executable", "file", "directory", "env_var"] },
+                        "target": { "$ref": "#/$defs/nonEmpty" }
+                    }
                 },
                 {
                     "type": "object",
                     "additionalProperties": false,
                     "required": ["key", "kind", "host", "port", "timeout_ms"],
-                    "properties": { "key": { "$ref": "#/$defs/key" }, "kind": { "const": "loopback_tcp" }, "host": { "enum": ["127.0.0.1", "::1", "localhost"] }, "port": { "type": "integer", "minimum": 1, "maximum": 65535 }, "timeout_ms": { "type": "integer", "minimum": 10, "maximum": 60000 } }
+                    "properties": {
+                        "key": { "$ref": "#/$defs/key" },
+                        "kind": { "const": "loopback_tcp" },
+                        "host": { "enum": ["127.0.0.1", "::1", "localhost"] },
+                        "port": { "type": "integer", "minimum": 1, "maximum": 65535 },
+                        "timeout_ms": { "type": "integer", "minimum": 10, "maximum": 60000 }
+                    }
                 }
             ]
         },
         "population": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["check_key", "universe_binding_key", "claims", "observations", "exclusion_rules"],
+            "required": [
+                "check_key",
+                "universe_binding_key",
+                "claims",
+                "observations",
+                "exclusion_rules"
+            ],
             "properties": {
                 "check_key": { "$ref": "#/$defs/key" },
                 "universe_binding_key": { "$ref": "#/$defs/key" },
@@ -500,16 +1589,36 @@
                 "observations": {
                     "type": "object",
                     "additionalProperties": false,
-                    "required": ["universe_ids", "eligible_ids", "observed_ids", "excluded_items"],
-                    "properties": { "universe_ids": { "$ref": "#/$defs/nonEmpty" }, "eligible_ids": { "$ref": "#/$defs/nonEmpty" }, "observed_ids": { "$ref": "#/$defs/nonEmpty" }, "excluded_items": { "$ref": "#/$defs/nonEmpty" } }
+                    "required": [
+                        "universe_ids",
+                        "eligible_ids",
+                        "observed_ids",
+                        "excluded_items"
+                    ],
+                    "properties": {
+                        "universe_ids": { "$ref": "#/$defs/nonEmpty" },
+                        "eligible_ids": { "$ref": "#/$defs/nonEmpty" },
+                        "observed_ids": { "$ref": "#/$defs/nonEmpty" },
+                        "excluded_items": { "$ref": "#/$defs/nonEmpty" }
+                    }
                 },
-                "exclusion_rules": { "type": "array", "items": { "$ref": "#/$defs/keyedStatement" } }
+                "exclusion_rules": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/keyedStatement" }
+                }
             }
         },
         "counterfactual": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "binding_key", "claims", "check_key", "mutation", "expected_assertion_failures"],
+            "required": [
+                "key",
+                "binding_key",
+                "claims",
+                "check_key",
+                "mutation",
+                "expected_assertion_failures"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "binding_key": { "$ref": "#/$defs/key" },
@@ -519,10 +1628,50 @@
                 "preserved_assertions": { "$ref": "#/$defs/keys", "default": [] },
                 "mutation": {
                     "oneOf": [
-                        { "type": "object", "additionalProperties": false, "required": ["type", "paths"], "properties": { "type": { "const": "remove_paths" }, "paths": { "$ref": "#/$defs/nonEmptyStrings" } } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "path", "fixture_path"], "properties": { "type": { "const": "replace_file" }, "path": { "$ref": "#/$defs/nonEmpty" }, "fixture_path": { "$ref": "#/$defs/nonEmpty" } } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "path", "pointer", "value"], "properties": { "type": { "const": "replace_json_value" }, "path": { "$ref": "#/$defs/nonEmpty" }, "pointer": { "type": "string", "pattern": "^/(?:[^~/]|~[01])+(?:/(?:[^~/]|~[01])+)*$" }, "value": true } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "path", "match", "replacement"], "properties": { "type": { "const": "replace_text" }, "path": { "$ref": "#/$defs/nonEmpty" }, "match": { "$ref": "#/$defs/nonEmpty" }, "replacement": { "type": "string" } } }
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "paths"],
+                            "properties": {
+                                "type": { "const": "remove_paths" },
+                                "paths": { "$ref": "#/$defs/nonEmptyStrings" }
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "path", "fixture_path"],
+                            "properties": {
+                                "type": { "const": "replace_file" },
+                                "path": { "$ref": "#/$defs/nonEmpty" },
+                                "fixture_path": { "$ref": "#/$defs/nonEmpty" }
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "path", "pointer", "value"],
+                            "properties": {
+                                "type": { "const": "replace_json_value" },
+                                "path": { "$ref": "#/$defs/nonEmpty" },
+                                "pointer": {
+                                    "type": "string",
+                                    "pattern": "^/(?:[^~/]|~[01])+(?:/(?:[^~/]|~[01])+)*$"
+                                },
+                                "value": true
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "path", "match", "replacement"],
+                            "properties": {
+                                "type": { "const": "replace_text" },
+                                "path": { "$ref": "#/$defs/nonEmpty" },
+                                "match": { "$ref": "#/$defs/nonEmpty" },
+                                "replacement": { "type": "string" }
+                            }
+                        }
                     ]
                 }
             }
@@ -530,20 +1679,79 @@
         "globalCounterfactual": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "binding_ref", "claims", "check_key", "mutation", "expected_assertion_failures"],
+            "required": [
+                "key",
+                "binding_ref",
+                "claims",
+                "check_key",
+                "mutation",
+                "expected_assertion_failures"
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
-                "binding_ref": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*\\.[a-z0-9][a-z0-9-]*$" },
-                "claims": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/nonEmpty" } },
+                "binding_ref": {
+                    "type": "string",
+                    "pattern": "^[a-z0-9][a-z0-9-]*\\.[a-z0-9][a-z0-9-]*$"
+                },
+                "claims": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/nonEmpty" }
+                },
                 "check_key": { "$ref": "#/$defs/key" },
-                "expected_assertion_failures": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/key" }, "uniqueItems": true },
+                "expected_assertion_failures": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/key" },
+                    "uniqueItems": true
+                },
                 "preserved_assertions": { "$ref": "#/$defs/keys", "default": [] },
                 "mutation": {
                     "oneOf": [
-                        { "type": "object", "additionalProperties": false, "required": ["type", "paths"], "properties": { "type": { "const": "remove_paths" }, "paths": { "$ref": "#/$defs/nonEmptyStrings" } } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "path", "fixture_path"], "properties": { "type": { "const": "replace_file" }, "path": { "$ref": "#/$defs/nonEmpty" }, "fixture_path": { "$ref": "#/$defs/nonEmpty" } } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "path", "pointer", "value"], "properties": { "type": { "const": "replace_json_value" }, "path": { "$ref": "#/$defs/nonEmpty" }, "pointer": { "type": "string", "pattern": "^/(?:[^~/]|~[01])+(?:/(?:[^~/]|~[01])+)*$" }, "value": true } },
-                        { "type": "object", "additionalProperties": false, "required": ["type", "path", "match", "replacement"], "properties": { "type": { "const": "replace_text" }, "path": { "$ref": "#/$defs/nonEmpty" }, "match": { "$ref": "#/$defs/nonEmpty" }, "replacement": { "type": "string" } } }
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "paths"],
+                            "properties": {
+                                "type": { "const": "remove_paths" },
+                                "paths": { "$ref": "#/$defs/nonEmptyStrings" }
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "path", "fixture_path"],
+                            "properties": {
+                                "type": { "const": "replace_file" },
+                                "path": { "$ref": "#/$defs/nonEmpty" },
+                                "fixture_path": { "$ref": "#/$defs/nonEmpty" }
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "path", "pointer", "value"],
+                            "properties": {
+                                "type": { "const": "replace_json_value" },
+                                "path": { "$ref": "#/$defs/nonEmpty" },
+                                "pointer": {
+                                    "type": "string",
+                                    "pattern": "^/(?:[^~/]|~[01])+(?:/(?:[^~/]|~[01])+)*$"
+                                },
+                                "value": true
+                            }
+                        },
+                        {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "path", "match", "replacement"],
+                            "properties": {
+                                "type": { "const": "replace_text" },
+                                "path": { "$ref": "#/$defs/nonEmpty" },
+                                "match": { "$ref": "#/$defs/nonEmpty" },
+                                "replacement": { "type": "string" }
+                            }
+                        }
                     ]
                 }
             }