project-tiny-context-harness 0.8.17 → 0.12.0

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

@@ -1,2190 +0,0 @@
-{
-    "$schema": "https://json-schema.org/draft/2020-12/schema",
-    "$id": "https://github.com/Seven128/project-tiny-context-harness/schemas/long-task-delivery-v2.schema.json",
-    "title": "Single-Goal Delivery Contract V2",
-    "type": "object",
-    "additionalProperties": false,
-    "required": [
-        "schema_version",
-        "semantic_fact_manifest",
-        "task",
-        "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"
-            ],
-            "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" }
-                },
-                "context_refs": { "$ref": "#/$defs/nonEmptyStrings" },
-                "context_snapshot_mode": { "const": "full", "default": "full" }
-            }
-        },
-        "source_claims": {
-            "type": "array",
-            "minItems": 1,
-            "items": { "$ref": "#/$defs/sourceClaim" }
-        },
-        "compact_semantic_carrier": {
-            "$ref": "#/$defs/longTaskCompactCarrier"
-        },
-        "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
-        },
-        "outcome_files": { "$ref": "#/$defs/nonEmptyStrings" }
-    },
-    "allOf": [
-        {
-            "oneOf": [
-                {
-                    "required": ["source_claims"],
-                    "not": { "required": ["compact_semantic_carrier"] }
-                },
-                {
-                    "required": ["compact_semantic_carrier", "outcomes"],
-                    "not": {
-                        "anyOf": [
-                            { "required": ["source_claims"] },
-                            { "required": ["outcome_files"] }
-                        ]
-                    }
-                }
-            ]
-        },
-        {
-            "oneOf": [
-                { "required": ["outcomes"], "not": { "required": ["outcome_files"] } },
-                { "required": ["outcome_files"], "not": { "required": ["outcomes"] } }
-            ]
-        }
-    ],
-    "$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
-        },
-        "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" }
-            }
-        },
-        "compactTable": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["defaults", "columns", "rows"],
-            "properties": {
-                "defaults": { "type": "object" },
-                "columns": {
-                    "type": "array",
-                    "uniqueItems": true,
-                    "items": { "type": "string", "pattern": "^[a-z][a-z0-9_]*$" }
-                },
-                "rows": {
-                    "type": "array",
-                    "items": { "type": "array" }
-                }
-            }
-        },
-        "compactFactSet": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["key", "defaults", "columns", "rows"],
-            "properties": {
-                "key": { "$ref": "#/$defs/semanticRef" },
-                "defaults": { "type": "object" },
-                "columns": {
-                    "type": "array",
-                    "uniqueItems": true,
-                    "items": { "type": "string", "pattern": "^[a-z][a-z0-9_]*$" }
-                },
-                "rows": {
-                    "type": "array",
-                    "items": { "type": "array" }
-                }
-            }
-        },
-        "longTaskCompactCapacityCounts": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "claims",
-                "claim_projections",
-                "selector_members",
-                "structure_families",
-                "structure_references",
-                "structure_arguments",
-                "facts",
-                "obligations",
-                "assertions",
-                "canonical_bytes"
-            ],
-            "properties": {
-                "claims": { "type": "integer", "minimum": 0, "maximum": 1000000 },
-                "claim_projections": {
-                    "type": "integer",
-                    "minimum": 0,
-                    "maximum": 2000000
-                },
-                "selector_members": {
-                    "type": "integer",
-                    "minimum": 0,
-                    "maximum": 5000000
-                },
-                "structure_families": {
-                    "type": "integer",
-                    "minimum": 0,
-                    "maximum": 1000000
-                },
-                "structure_references": {
-                    "type": "integer",
-                    "minimum": 0,
-                    "maximum": 10000000
-                },
-                "structure_arguments": {
-                    "type": "integer",
-                    "minimum": 0,
-                    "maximum": 50000000
-                },
-                "facts": { "type": "integer", "minimum": 0, "maximum": 1000000 },
-                "obligations": { "type": "integer", "minimum": 0, "maximum": 2000000 },
-                "assertions": { "type": "integer", "minimum": 0, "maximum": 5000000 },
-                "canonical_bytes": {
-                    "type": "integer",
-                    "minimum": 0,
-                    "maximum": 268435456
-                }
-            }
-        },
-        "longTaskCompactCarrier": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "schema_version",
-                "capacity",
-                "selectors",
-                "shared_structures",
-                "claim_catalog",
-                "claim_projections",
-                "fact_sets",
-                "proof_templates",
-                "obligations",
-                "assertion_projections",
-                "exceptions"
-            ],
-            "properties": {
-                "schema_version": { "const": "long-task-compact-carrier-v1" },
-                "capacity": {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["theoretical_ground_universe", "measured", "maximum"],
-                    "properties": {
-                        "theoretical_ground_universe": { "const": "not_materialized" },
-                        "measured": { "$ref": "#/$defs/longTaskCompactCapacityCounts" },
-                        "maximum": { "$ref": "#/$defs/longTaskCompactCapacityCounts" }
-                    }
-                },
-                "selectors": {
-                    "type": "array",
-                    "items": {
-                        "type": "object",
-                        "additionalProperties": false,
-                        "required": ["key", "members"],
-                        "properties": {
-                            "key": { "$ref": "#/$defs/semanticRef" },
-                            "members": {
-                                "type": "array",
-                                "uniqueItems": true,
-                                "items": { "$ref": "#/$defs/semanticRef" }
-                            }
-                        }
-                    }
-                },
-                "shared_structures": {
-                    "type": "array",
-                    "items": {
-                        "type": "object",
-                        "additionalProperties": false,
-                        "required": [
-                            "key",
-                            "digest",
-                            "boundary",
-                            "parameter_count",
-                            "template"
-                        ],
-                        "properties": {
-                            "key": {
-                                "type": "string",
-                                "pattern": "^structure\\.[a-f0-9]{24}$"
-                            },
-                            "digest": { "$ref": "#/$defs/sha256" },
-                            "boundary": { "$ref": "#/$defs/semanticRef" },
-                            "parameter_count": { "type": "integer", "minimum": 0 },
-                            "template": {}
-                        }
-                    }
-                },
-                "claim_catalog": { "$ref": "#/$defs/compactTable" },
-                "claim_projections": { "$ref": "#/$defs/compactTable" },
-                "fact_sets": {
-                    "type": "array",
-                    "items": { "$ref": "#/$defs/compactFactSet" }
-                },
-                "proof_templates": {
-                    "type": "array",
-                    "items": {
-                        "type": "object",
-                        "additionalProperties": false,
-                        "required": ["key", "binding"],
-                        "properties": {
-                            "key": { "$ref": "#/$defs/semanticRef" },
-                            "binding": { "type": "object" }
-                        }
-                    }
-                },
-                "obligations": { "$ref": "#/$defs/compactTable" },
-                "assertion_projections": { "$ref": "#/$defs/compactTable" },
-                "exceptions": {
-                    "type": "array",
-                    "items": {
-                        "type": "object",
-                        "additionalProperties": false,
-                        "required": ["key", "target_ref", "rationale"],
-                        "properties": {
-                            "key": { "$ref": "#/$defs/semanticRef" },
-                            "target_ref": { "$ref": "#/$defs/semanticRef" },
-                            "rationale": { "$ref": "#/$defs/nonEmpty" }
-                        }
-                    }
-                }
-            }
-        },
-        "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" },
-                            "fact_revision_digest": { "$ref": "#/$defs/sha256" },
-                            "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" },
-                                    "obligation_revision_digest": { "$ref": "#/$defs/sha256" },
-                                    "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" },
-                                    "obligation_revision_digest": { "$ref": "#/$defs/sha256" },
-                                    "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",
-                "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"
-            ],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "description": { "$ref": "#/$defs/nonEmpty" },
-                "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"
-            ],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "description": { "$ref": "#/$defs/nonEmpty" },
-                "role": { "enum": ["product", "support", "observer"] },
-                "runtime_family": {
-                    "enum": [
-                        "browser",
-                        "native",
-                        "desktop",
-                        "service",
-                        "process",
-                        "external"
-                    ]
-                },
-                "root_entrypoint": { "$ref": "#/$defs/nonEmpty" },
-                "root_argv": {
-                    "type": "array",
-                    "items": { "type": "string", "pattern": "^[^\\u0000]*$" }
-                },
-                "capabilities": {
-                    "type": "array",
-                    "minItems": 1,
-                    "uniqueItems": true,
-                    "items": { "$ref": "#/$defs/executionTargetCapability" }
-                }
-            }
-        },
-        "stage": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["key", "title", "depends_on", "gate_outcome"],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "title": { "$ref": "#/$defs/nonEmpty" },
-                "depends_on": { "$ref": "#/$defs/keys" },
-                "gate_outcome": { "$ref": "#/$defs/key" }
-            }
-        },
-        "keyedStatement": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["key", "statement"],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "statement": { "$ref": "#/$defs/nonEmpty" }
-            }
-        },
-        "applicableStatement": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["key", "statement", "applicability_refs"],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "statement": { "$ref": "#/$defs/nonEmpty" },
-                "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"
-            ],
-            "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/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" }
-            }
-        },
-        "sourceClaim": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["key", "source_ref", "statement", "disposition"],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "source_ref": { "type": "string", "pattern": "^[^#]+(?:#[^#]+)?$" },
-                "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" }
-                            }
-                        }
-                    ]
-                }
-            }
-        },
-        "risk": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["facts"],
-            "properties": {
-                "requested_level": {
-                    "enum": ["auto", "standard", "strict"],
-                    "default": "auto"
-                },
-                "facts": {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "properties": {
-                        "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": []
-                        },
-                        "critical_user_path": { "$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
-        },
-        "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": {}
-                },
-                "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": []
-                        }
-                    },
-                    "default": {}
-                },
-                "acceptance": {
-                    "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": []
-                        }
-                    },
-                    "default": {}
-                }
-            }
-        },
-        "outcome": {
-            "type": "object",
-            "additionalProperties": false,
-            "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" }
-                },
-                "semantic_fact_bindings": {
-                    "$ref": "#/$defs/semanticFactBindings"
-                },
-                "product": { "$ref": "#/$defs/product" },
-                "technical": { "$ref": "#/$defs/technical" },
-                "acceptance": { "$ref": "#/$defs/acceptance" }
-            }
-        },
-        "product": {
-            "type": "object",
-            "additionalProperties": false,
-            "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" }
-                },
-                "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_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": []
-                }
-            },
-            "allOf": [
-                {
-                    "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" }
-                }
-            }
-        },
-        "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" }
-                }
-            }
-        },
-        "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"
-            ]
-        },
-        "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 }
-                    }
-                }
-            ]
-        },
-        "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 }
-                    }
-                }
-            ]
-        },
-        "controlRelation": {
-            "type": "object",
-            "additionalProperties": false,
-            "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" }
-                }
-            }
-        },
-        "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"
-            ],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "surface_ref": { "$ref": "#/$defs/nonEmpty" },
-                "target_ref": { "$ref": "#/$defs/key" },
-                "control_refs": { "$ref": "#/$defs/keys" },
-                "route_binding_ref": { "$ref": "#/$defs/key" },
-                "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" }
-                }
-            }
-        },
-        "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"
-            ],
-            "oneOf": [
-                {
-                    "not": {
-                        "anyOf": [
-                            { "required": ["fact_model"] },
-                            { "required": ["symbolic_method_bindings"] },
-                            { "required": ["symbolic_certificate_binding"] }
-                        ]
-                    },
-                    "properties": {
-                        "verification_method_bindings": { "minItems": 1 }
-                    }
-                },
-                {
-                    "required": [
-                        "fact_model",
-                        "symbolic_method_bindings",
-                        "symbolic_certificate_binding"
-                    ],
-                    "properties": {
-                        "fact_model": { "const": "symbolic_rules_v2" },
-                        "verification_method_bindings": { "maxItems": 0 },
-                        "symbolic_method_bindings": { "minItems": 1 }
-                    }
-                }
-            ],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "fact_model": { "const": "symbolic_rules_v2" },
-                "interpretation": { "enum": ["exact_target", "constraint"] },
-                "source_paths": { "$ref": "#/$defs/nonEmptyStrings" },
-                "condition_keys": { "$ref": "#/$defs/keys" },
-                "claim_refs": { "$ref": "#/$defs/nonEmptyStrings" },
-                "conformance_check_ref": { "$ref": "#/$defs/key" },
-                "conformance_assertion_ref": { "$ref": "#/$defs/key" },
-                "verification_method_bindings": {
-                    "type": "array",
-                    "uniqueItems": true,
-                    "items": {
-                        "type": "object",
-                        "additionalProperties": false,
-                        "required": ["method", "assertion_ref", "evidence_artifacts"],
-                        "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",
-                                        "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" }
-                                        }
-                                    }
-                                }
-                            }
-                        }
-                    }
-                },
-                "symbolic_method_bindings": {
-                    "type": "array",
-                    "uniqueItems": true,
-                    "items": { "$ref": "#/$defs/designSymbolicVerificationBinding" }
-                },
-                "symbolic_certificate_binding": {
-                    "$ref": "#/$defs/designSymbolicCertificateBinding"
-                },
-                "actual_artifact_path": { "$ref": "#/$defs/nonEmpty" },
-                "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" }
-                    }
-                }
-            }
-        },
-        "designQuantifier": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["kind", "minimum", "maximum"],
-            "properties": {
-                "kind": {
-                    "enum": [
-                        "one",
-                        "all",
-                        "any",
-                        "none",
-                        "exactly",
-                        "at_least",
-                        "at_most",
-                        "range"
-                    ]
-                },
-                "minimum": {
-                    "oneOf": [{ "type": "null" }, { "type": "integer", "minimum": 0 }]
-                },
-                "maximum": {
-                    "oneOf": [{ "type": "null" }, { "type": "integer", "minimum": 0 }]
-                }
-            }
-        },
-        "designSymbolicRuleExpectation": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "obligation_ref",
-                "fact_rule_ref",
-                "region_sha256",
-                "subject_or_relation_ref",
-                "property_ref",
-                "population_ref",
-                "quantifier",
-                "observation_sensitivity",
-                "expected",
-                "proof_surface",
-                "observation_boundary",
-                "comparison",
-                "oracle",
-                "environment",
-                "protected_value_policy",
-                "completion_effect"
-            ],
-            "properties": {
-                "obligation_ref": { "$ref": "#/$defs/designFactKey" },
-                "fact_rule_ref": { "$ref": "#/$defs/designFactKey" },
-                "region_sha256": { "$ref": "#/$defs/sha256" },
-                "subject_or_relation_ref": { "$ref": "#/$defs/designFactKey" },
-                "property_ref": { "$ref": "#/$defs/designFactKey" },
-                "population_ref": {
-                    "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/designFactKey" }]
-                },
-                "quantifier": { "$ref": "#/$defs/designQuantifier" },
-                "observation_sensitivity": { "enum": ["plain", "protected"] },
-                "expected": { "$ref": "#/$defs/designLocatedDigest" },
-                "proof_surface": { "$ref": "#/$defs/nonEmpty" },
-                "observation_boundary": { "$ref": "#/$defs/nonEmpty" },
-                "comparison": {
-                    "$ref": "#/$defs/designFactExpectation/properties/comparison"
-                },
-                "oracle": {
-                    "$ref": "#/$defs/designFactExpectation/properties/oracle"
-                },
-                "environment": {
-                    "$ref": "#/$defs/designFactExpectation/properties/environment"
-                },
-                "protected_value_policy": { "$ref": "#/$defs/nonEmpty" },
-                "completion_effect": { "$ref": "#/$defs/nonEmpty" }
-            }
-        },
-        "designSymbolicVerificationBinding": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "method",
-                "assertion_ref",
-                "artifact_path",
-                "observation_path",
-                "rule_expectations"
-            ],
-            "properties": {
-                "method": { "$ref": "#/$defs/designVerificationMethod" },
-                "assertion_ref": { "$ref": "#/$defs/key" },
-                "artifact_path": { "$ref": "#/$defs/nonEmpty" },
-                "observation_path": { "$ref": "#/$defs/nonEmpty" },
-                "rule_expectations": {
-                    "type": "array",
-                    "minItems": 1,
-                    "items": { "$ref": "#/$defs/designSymbolicRuleExpectation" }
-                }
-            }
-        },
-        "designSymbolicCertificateExpectation": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "certificate_ref",
-                "fact_rule_refs",
-                "omitted_axis_refs",
-                "dependency_edge_refs",
-                "canonical_rule_dag_sha256"
-            ],
-            "properties": {
-                "certificate_ref": { "$ref": "#/$defs/designFactKey" },
-                "fact_rule_refs": { "$ref": "#/$defs/designFactRefs" },
-                "omitted_axis_refs": { "$ref": "#/$defs/designFactRefs" },
-                "dependency_edge_refs": { "$ref": "#/$defs/designFactRefs" },
-                "canonical_rule_dag_sha256": { "$ref": "#/$defs/sha256" },
-                "source_noninterference_proof_sha256": { "$ref": "#/$defs/sha256" },
-                "production_noninterference_proof_sha256": { "$ref": "#/$defs/sha256" }
-            }
-        },
-        "designSymbolicCertificateBinding": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["assertion_ref", "artifact_path", "expectations", "metrics"],
-            "properties": {
-                "assertion_ref": { "$ref": "#/$defs/key" },
-                "artifact_path": { "$ref": "#/$defs/nonEmpty" },
-                "expectations": {
-                    "type": "array",
-                    "minItems": 1,
-                    "items": {
-                        "$ref": "#/$defs/designSymbolicCertificateExpectation"
-                    }
-                },
-                "metrics": {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": [
-                        "semantic_obligations",
-                        "certificate_obligations",
-                        "certificate_covered_omitted_axes",
-                        "certificate_covered_dependency_edges",
-                        "canonical_dag_nodes",
-                        "canonical_partition_edges",
-                        "canonical_bytes",
-                        "theoretical_ground_cardinality"
-                    ],
-                    "properties": {
-                        "semantic_obligations": { "type": "integer", "minimum": 0 },
-                        "certificate_obligations": { "type": "integer", "minimum": 0 },
-                        "certificate_covered_omitted_axes": {
-                            "type": "integer",
-                            "minimum": 0
-                        },
-                        "certificate_covered_dependency_edges": {
-                            "type": "integer",
-                            "minimum": 0
-                        },
-                        "canonical_dag_nodes": { "type": "integer", "minimum": 0 },
-                        "canonical_partition_edges": {
-                            "type": "integer",
-                            "minimum": 0
-                        },
-                        "canonical_bytes": { "type": "integer", "minimum": 0 },
-                        "theoretical_ground_cardinality": {
-                            "type": "string",
-                            "pattern": "^[1-9][0-9]*$"
-                        }
-                    }
-                }
-            }
-        },
-        "designAcceptanceBlocker": {
-            "type": "object",
-            "additionalProperties": false,
-            "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" }
-                },
-                "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" }
-                },
-                "rationale": { "$ref": "#/$defs/nonEmpty" }
-            }
-        },
-        "designVerificationMethod": {
-            "enum": [
-                "layout_geometry",
-                "visual_pixel",
-                "design_token",
-                "content",
-                "component_state",
-                "interaction_trace",
-                "motion_timeline",
-                "responsive_reflow",
-                "input_method",
-                "accessibility_semantics",
-                "accessibility_navigation",
-                "accessibility_visual",
-                "gesture_trace",
-                "scroll_navigation",
-                "localization",
-                "system_ui",
-                "haptic_feedback",
-                "sound_feedback",
-                "asset_integrity"
-            ]
-        },
-        "technical": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["expected_change_paths"],
-            "properties": {
-                "obligations": {
-                    "type": "array",
-                    "items": { "$ref": "#/$defs/obligation" },
-                    "default": []
-                },
-                "expected_change_paths": { "$ref": "#/$defs/nonEmptyStrings" },
-                "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
-                }
-            }
-        },
-        "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" }
-                }
-            }
-        },
-        "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" }
-            }
-        },
-        "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" }
-            }
-        },
-        "acceptance": {
-            "type": "object",
-            "additionalProperties": false,
-            "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": []
-                }
-            }
-        },
-        "check": {
-            "type": "object",
-            "additionalProperties": false,
-            "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"] }
-                    }
-                },
-                "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": []
-                },
-                "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": []
-                }
-            }
-        },
-        "runner": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["type", "target", "effect"],
-            "properties": {
-                "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
-                },
-                "effect": { "enum": ["read_only", "test_sandbox"] },
-                "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"
-            ],
-            "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"
-                    ]
-                },
-                "expected": true
-            },
-            "allOf": [
-                {
-                    "if": { "properties": { "claims": { "minItems": 1 } } },
-                    "then": { "required": ["applicability_ref"] },
-                    "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"
-                                ]
-                            }
-                        }
-                    },
-                    "then": { "required": ["expected"] }
-                },
-                {
-                    "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": [
-                                    "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"] }
-                        }
-                    },
-                    "then": { "properties": { "expected": { "type": "array" } } }
-                }
-            ]
-        },
-        "scenario": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["given", "when"],
-            "properties": {
-                "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",
-                "design_symbolic_certificate",
-                "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" }
-                    }
-                },
-                {
-                    "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 }
-                    }
-                }
-            ]
-        },
-        "population": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "check_key",
-                "universe_binding_key",
-                "claims",
-                "observations",
-                "exclusion_rules"
-            ],
-            "properties": {
-                "check_key": { "$ref": "#/$defs/key" },
-                "universe_binding_key": { "$ref": "#/$defs/key" },
-                "claims": { "$ref": "#/$defs/nonEmptyStrings" },
-                "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" }
-                    }
-                },
-                "exclusion_rules": {
-                    "type": "array",
-                    "items": { "$ref": "#/$defs/keyedStatement" }
-                }
-            }
-        },
-        "counterfactual": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "key",
-                "binding_key",
-                "claims",
-                "check_key",
-                "mutation",
-                "expected_assertion_failures"
-            ],
-            "properties": {
-                "key": { "$ref": "#/$defs/key" },
-                "binding_key": { "$ref": "#/$defs/key" },
-                "claims": { "$ref": "#/$defs/nonEmptyStrings" },
-                "check_key": { "$ref": "#/$defs/key" },
-                "expected_assertion_failures": { "$ref": "#/$defs/keys" },
-                "preserved_assertions": { "$ref": "#/$defs/keys", "default": [] },
-                "allowed_fanout_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" }
-                            }
-                        }
-                    ]
-                }
-            }
-        },
-        "globalCounterfactual": {
-            "type": "object",
-            "additionalProperties": false,
-            "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" }
-                },
-                "check_key": { "$ref": "#/$defs/key" },
-                "expected_assertion_failures": {
-                    "type": "array",
-                    "minItems": 1,
-                    "items": { "$ref": "#/$defs/key" },
-                    "uniqueItems": true
-                },
-                "preserved_assertions": { "$ref": "#/$defs/keys", "default": [] },
-                "allowed_fanout_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" }
-                            }
-                        }
-                    ]
-                }
-            }
-        }
-    }
-}