ibex 0.2.0 → 0.4.0

data/schema/construction-profile-v1.schema.json

@@ -0,0 +1,779 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/construction-profile-v1.schema.json",
+  "title": "Ibex parser construction profile v1",
+  "type": "object",
+  "required": ["ibex_report", "schema_version", "trust", "environment", "provenance", "measurement_policy", "cohorts", "decisions", "limitations"],
+  "properties": {
+    "ibex_report": { "const": "construction_profile" },
+    "schema_version": { "const": 1 },
+    "trust": { "const": "internal_local_observation" },
+    "environment": { "$ref": "#/$defs/environment" },
+    "provenance": { "$ref": "#/$defs/provenance" },
+    "measurement_policy": { "$ref": "#/$defs/measurement_policy" },
+    "cohorts": {
+      "type": "array",
+      "prefixItems": [
+        { "$ref": "#/$defs/synthetic_cohort" },
+        { "$ref": "#/$defs/real_cohort" }
+      ],
+      "items": false,
+      "minItems": 2,
+      "maxItems": 2
+    },
+    "decisions": {
+      "type": "array",
+      "prefixItems": [
+        {
+          "allOf": [
+            { "$ref": "#/$defs/decision" },
+            { "properties": { "feature": { "const": "direct-ielr" } } }
+          ]
+        },
+        { "$ref": "#/$defs/direct_multi_entry_decision" }
+      ],
+      "items": false,
+      "minItems": 2,
+      "maxItems": 2
+    },
+    "limitations": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 },
+      "minItems": 1,
+      "uniqueItems": true
+    }
+  },
+  "additionalProperties": false,
+  "$defs": {
+    "environment": {
+      "type": "object",
+      "required": ["observation_role", "ruby_engine", "ruby_version", "ruby_patchlevel", "ruby_description", "ruby_platform", "rubyopt", "yjit_enabled", "host_os", "host_cpu", "kernel_name", "kernel_release", "kernel_version", "kernel_machine", "logical_processors"],
+      "properties": {
+        "observation_role": { "const": "host_bound_not_regression_golden" },
+        "ruby_engine": { "type": "string", "minLength": 1 },
+        "ruby_version": { "type": "string", "minLength": 1 },
+        "ruby_patchlevel": { "type": "integer" },
+        "ruby_description": { "type": "string", "minLength": 1 },
+        "ruby_platform": { "type": "string", "minLength": 1 },
+        "rubyopt": { "type": ["string", "null"] },
+        "yjit_enabled": { "type": "boolean" },
+        "host_os": { "type": "string", "minLength": 1 },
+        "host_cpu": { "type": "string", "minLength": 1 },
+        "kernel_name": { "type": "string", "minLength": 1 },
+        "kernel_release": { "type": "string", "minLength": 1 },
+        "kernel_version": { "type": "string", "minLength": 1 },
+        "kernel_machine": { "type": "string", "minLength": 1 },
+        "logical_processors": { "type": "integer", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "bound_path": {
+      "type": "object",
+      "required": ["path", "sha256", "git_state", "base_sha256"],
+      "properties": {
+        "path": { "type": "string", "minLength": 1 },
+        "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "git_state": { "enum": ["base", "modified", "untracked"] },
+        "base_sha256": {
+          "oneOf": [
+            { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+            { "type": "null" }
+          ]
+        }
+      },
+      "additionalProperties": false,
+      "allOf": [
+        {
+          "if": { "properties": { "git_state": { "const": "untracked" } } },
+          "then": { "properties": { "base_sha256": { "type": "null" } } },
+          "else": { "properties": { "base_sha256": { "type": "string" } } }
+        }
+      ]
+    },
+    "provenance": {
+      "type": "object",
+      "required": ["base_revision", "base_revision_role", "capture_worktree_clean", "capture_worktree_status", "capture_worktree_status_sha256", "bound_paths", "bound_paths_sha256", "implementation_sha256", "environment_observation_sha256", "measurement_policy_sha256", "evidence_path", "evidence_exclusion_reason"],
+      "properties": {
+        "base_revision": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
+        "base_revision_role": { "const": "Git base only; modified and untracked bound paths are identified separately" },
+        "capture_worktree_clean": { "type": "boolean" },
+        "capture_worktree_status": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 3 },
+          "uniqueItems": true
+        },
+        "capture_worktree_status_sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "bound_paths": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/bound_path" },
+          "minItems": 1
+        },
+        "bound_paths_sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "implementation_sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "environment_observation_sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "measurement_policy_sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "evidence_path": { "const": "tool/profile/evidence/construction-profile-v1.json" },
+        "evidence_exclusion_reason": {
+          "const": "the evidence file is excluded from its own digest to avoid circularity"
+        }
+      },
+      "additionalProperties": false
+    },
+    "unsupported_measurement": {
+      "type": "object",
+      "required": ["status", "reason"],
+      "properties": {
+        "status": { "enum": ["not_supported", "not_measured"] },
+        "reason": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "measurement_policy": {
+      "type": "object",
+      "required": ["wall_seconds_per_run", "wall_time_role", "state_limit", "memory_limit", "peak_retained_objects", "item_counting"],
+      "properties": {
+        "wall_seconds_per_run": { "type": "number", "exclusiveMinimum": 0 },
+        "wall_time_role": { "const": "observation_only" },
+        "state_limit": { "$ref": "#/$defs/unsupported_measurement" },
+        "memory_limit": { "$ref": "#/$defs/unsupported_measurement" },
+        "peak_retained_objects": { "$ref": "#/$defs/unsupported_measurement" },
+        "item_counting": {
+          "type": "object",
+          "required": ["lr0_items", "canonical_items", "final_items", "final_lookahead_items"],
+          "properties": {
+            "lr0_items": { "type": "string", "minLength": 1 },
+            "canonical_items": { "type": "string", "minLength": 1 },
+            "final_items": { "type": "string", "minLength": 1 },
+            "final_lookahead_items": { "type": "string", "minLength": 1 }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
+    "grammar": {
+      "type": "object",
+      "required": ["identity", "path", "revision", "sha256"],
+      "properties": {
+        "identity": { "type": "string", "minLength": 1 },
+        "path": { "type": "string", "minLength": 1 },
+        "revision": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
+        "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" }
+      },
+      "additionalProperties": false
+    },
+    "availability": {
+      "type": "object",
+      "required": ["status", "reason"],
+      "properties": {
+        "status": { "enum": ["verified_repository_source", "verified_generated_fixture", "verified_public_checkout", "not_run"] },
+        "reason": { "type": ["string", "null"] }
+      },
+      "additionalProperties": false
+    },
+    "entries": {
+      "type": "object",
+      "required": ["count", "names"],
+      "properties": {
+        "count": { "type": "integer", "minimum": 1 },
+        "names": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 },
+          "minItems": 1,
+          "uniqueItems": true
+        }
+      },
+      "additionalProperties": false
+    },
+    "measured": {
+      "type": "object",
+      "required": ["status", "value"],
+      "properties": {
+        "status": { "const": "measured" },
+        "value": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "not_applicable": {
+      "type": "object",
+      "required": ["status", "reason"],
+      "properties": {
+        "status": { "const": "not_applicable" },
+        "reason": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "not_measured": {
+      "type": "object",
+      "required": ["status", "reason"],
+      "properties": {
+        "status": { "const": "not_measured" },
+        "reason": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "measurement": {
+      "oneOf": [
+        { "$ref": "#/$defs/measured" },
+        { "$ref": "#/$defs/not_applicable" },
+        { "$ref": "#/$defs/not_measured" }
+      ]
+    },
+    "structural": {
+      "type": "object",
+      "required": ["lr0_states", "lr0_items", "canonical_states", "canonical_items", "final_states", "final_items", "final_lookahead_items", "propagation_edges", "ielr_initial_partitions", "ielr_final_partitions"],
+      "properties": {
+        "lr0_states": { "$ref": "#/$defs/measurement" },
+        "lr0_items": { "$ref": "#/$defs/measurement" },
+        "canonical_states": { "$ref": "#/$defs/measurement" },
+        "canonical_items": { "$ref": "#/$defs/measurement" },
+        "final_states": { "$ref": "#/$defs/measurement" },
+        "final_items": { "$ref": "#/$defs/measurement" },
+        "final_lookahead_items": { "$ref": "#/$defs/measurement" },
+        "propagation_edges": { "$ref": "#/$defs/measurement" },
+        "ielr_initial_partitions": { "$ref": "#/$defs/measurement" },
+        "ielr_final_partitions": { "$ref": "#/$defs/measurement" },
+        "ielr_annotations": { "$ref": "#/$defs/measurement" },
+        "ielr_annotated_states": { "$ref": "#/$defs/measurement" },
+        "ielr_inadequacies": { "$ref": "#/$defs/measurement" },
+        "ielr_split_stable_discarded": { "$ref": "#/$defs/measurement" },
+        "ielr_lalr_states": { "$ref": "#/$defs/measurement" },
+        "ielr_split_states": { "$ref": "#/$defs/measurement" },
+        "ielr_unreachable_removed": { "$ref": "#/$defs/measurement" },
+        "ielr_remergeable_candidates": { "$ref": "#/$defs/measurement" }
+      },
+      "additionalProperties": false
+    },
+    "direct_lalr_structural": {
+      "type": "object",
+      "required": ["lr0_states", "lr0_items", "canonical_states", "canonical_items", "final_states", "final_items", "final_lookahead_items", "propagation_edges", "ielr_initial_partitions", "ielr_final_partitions"],
+      "properties": {
+        "lr0_states": { "$ref": "#/$defs/measured" },
+        "lr0_items": { "$ref": "#/$defs/measured" },
+        "canonical_states": { "$ref": "#/$defs/not_applicable" },
+        "canonical_items": { "$ref": "#/$defs/not_applicable" },
+        "final_states": { "$ref": "#/$defs/measured" },
+        "final_items": { "$ref": "#/$defs/measured" },
+        "final_lookahead_items": { "$ref": "#/$defs/measured" },
+        "propagation_edges": { "$ref": "#/$defs/measured" },
+        "ielr_initial_partitions": { "$ref": "#/$defs/not_applicable" },
+        "ielr_final_partitions": { "$ref": "#/$defs/not_applicable" },
+        "ielr_annotations": { "$ref": "#/$defs/not_applicable" },
+        "ielr_annotated_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_inadequacies": { "$ref": "#/$defs/not_applicable" },
+        "ielr_split_stable_discarded": { "$ref": "#/$defs/not_applicable" },
+        "ielr_lalr_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_split_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_unreachable_removed": { "$ref": "#/$defs/not_applicable" },
+        "ielr_remergeable_candidates": { "$ref": "#/$defs/not_applicable" }
+      },
+      "additionalProperties": false
+    },
+    "ielr_structural": {
+      "type": "object",
+      "required": ["lr0_states", "lr0_items", "canonical_states", "canonical_items", "final_states", "final_items", "final_lookahead_items", "propagation_edges", "ielr_initial_partitions", "ielr_final_partitions"],
+      "properties": {
+        "lr0_states": { "$ref": "#/$defs/measured" },
+        "lr0_items": { "$ref": "#/$defs/measured" },
+        "canonical_states": { "$ref": "#/$defs/measured" },
+        "canonical_items": { "$ref": "#/$defs/measured" },
+        "final_states": { "$ref": "#/$defs/measured" },
+        "final_items": { "$ref": "#/$defs/measured" },
+        "final_lookahead_items": { "$ref": "#/$defs/measured" },
+        "propagation_edges": { "$ref": "#/$defs/not_applicable" },
+        "ielr_initial_partitions": { "$ref": "#/$defs/measured" },
+        "ielr_final_partitions": { "$ref": "#/$defs/measured" },
+        "ielr_annotations": { "$ref": "#/$defs/not_applicable" },
+        "ielr_annotated_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_inadequacies": { "$ref": "#/$defs/not_applicable" },
+        "ielr_split_stable_discarded": { "$ref": "#/$defs/not_applicable" },
+        "ielr_lalr_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_split_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_unreachable_removed": { "$ref": "#/$defs/not_applicable" },
+        "ielr_remergeable_candidates": { "$ref": "#/$defs/not_applicable" }
+      },
+      "additionalProperties": false
+    },
+    "ielr_direct_structural": {
+      "type": "object",
+      "required": ["lr0_states", "lr0_items", "canonical_states", "canonical_items", "final_states", "final_items", "final_lookahead_items", "propagation_edges", "ielr_initial_partitions", "ielr_final_partitions"],
+      "properties": {
+        "lr0_states": { "$ref": "#/$defs/measured" },
+        "lr0_items": { "$ref": "#/$defs/measured" },
+        "canonical_states": { "$ref": "#/$defs/not_applicable" },
+        "canonical_items": { "$ref": "#/$defs/not_applicable" },
+        "final_states": { "$ref": "#/$defs/measured" },
+        "final_items": { "$ref": "#/$defs/measured" },
+        "final_lookahead_items": { "$ref": "#/$defs/measured" },
+        "propagation_edges": { "$ref": "#/$defs/measured" },
+        "ielr_initial_partitions": { "$ref": "#/$defs/not_applicable" },
+        "ielr_final_partitions": { "$ref": "#/$defs/not_applicable" },
+        "ielr_annotations": { "$ref": "#/$defs/measured" },
+        "ielr_annotated_states": { "$ref": "#/$defs/measured" },
+        "ielr_inadequacies": { "$ref": "#/$defs/measured" },
+        "ielr_split_stable_discarded": { "$ref": "#/$defs/not_applicable" },
+        "ielr_lalr_states": { "$ref": "#/$defs/measured" },
+        "ielr_split_states": { "$ref": "#/$defs/measured" },
+        "ielr_unreachable_removed": { "$ref": "#/$defs/measured" },
+        "ielr_remergeable_candidates": { "$ref": "#/$defs/not_applicable" }
+      },
+      "additionalProperties": false
+    },
+    "canonical_lalr_structural": {
+      "type": "object",
+      "required": ["lr0_states", "lr0_items", "canonical_states", "canonical_items", "final_states", "final_items", "final_lookahead_items", "propagation_edges", "ielr_initial_partitions", "ielr_final_partitions"],
+      "properties": {
+        "lr0_states": { "$ref": "#/$defs/measured" },
+        "lr0_items": { "$ref": "#/$defs/measured" },
+        "canonical_states": { "$ref": "#/$defs/measured" },
+        "canonical_items": { "$ref": "#/$defs/measured" },
+        "final_states": { "$ref": "#/$defs/measured" },
+        "final_items": { "$ref": "#/$defs/measured" },
+        "final_lookahead_items": { "$ref": "#/$defs/measured" },
+        "propagation_edges": { "$ref": "#/$defs/not_applicable" },
+        "ielr_initial_partitions": { "$ref": "#/$defs/not_applicable" },
+        "ielr_final_partitions": { "$ref": "#/$defs/not_applicable" },
+        "ielr_annotations": { "$ref": "#/$defs/not_applicable" },
+        "ielr_annotated_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_inadequacies": { "$ref": "#/$defs/not_applicable" },
+        "ielr_split_stable_discarded": { "$ref": "#/$defs/not_applicable" },
+        "ielr_lalr_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_split_states": { "$ref": "#/$defs/not_applicable" },
+        "ielr_unreachable_removed": { "$ref": "#/$defs/not_applicable" },
+        "ielr_remergeable_candidates": { "$ref": "#/$defs/not_applicable" }
+      },
+      "additionalProperties": false
+    },
+    "not_measured_structural": {
+      "type": "object",
+      "required": ["lr0_states", "lr0_items", "canonical_states", "canonical_items", "final_states", "final_items", "final_lookahead_items", "propagation_edges", "ielr_initial_partitions", "ielr_final_partitions"],
+      "properties": {
+        "lr0_states": { "$ref": "#/$defs/not_measured" },
+        "lr0_items": { "$ref": "#/$defs/not_measured" },
+        "canonical_states": { "$ref": "#/$defs/not_measured" },
+        "canonical_items": { "$ref": "#/$defs/not_measured" },
+        "final_states": { "$ref": "#/$defs/not_measured" },
+        "final_items": { "$ref": "#/$defs/not_measured" },
+        "final_lookahead_items": { "$ref": "#/$defs/not_measured" },
+        "propagation_edges": { "$ref": "#/$defs/not_measured" },
+        "ielr_initial_partitions": { "$ref": "#/$defs/not_measured" },
+        "ielr_final_partitions": { "$ref": "#/$defs/not_measured" },
+        "ielr_annotations": { "$ref": "#/$defs/not_measured" },
+        "ielr_annotated_states": { "$ref": "#/$defs/not_measured" },
+        "ielr_inadequacies": { "$ref": "#/$defs/not_measured" },
+        "ielr_split_stable_discarded": { "$ref": "#/$defs/not_measured" },
+        "ielr_lalr_states": { "$ref": "#/$defs/not_measured" },
+        "ielr_split_states": { "$ref": "#/$defs/not_measured" },
+        "ielr_unreachable_removed": { "$ref": "#/$defs/not_measured" },
+        "ielr_remergeable_candidates": { "$ref": "#/$defs/not_measured" }
+      },
+      "additionalProperties": false
+    },
+    "conflicts": {
+      "type": "object",
+      "required": ["shift_reduce", "reduce_reduce"],
+      "properties": {
+        "shift_reduce": { "type": "integer", "minimum": 0 },
+        "reduce_reduce": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "elapsed": {
+      "type": "object",
+      "required": ["status", "value", "release_gate"],
+      "properties": {
+        "status": { "const": "observation" },
+        "value": { "type": "number", "minimum": 0 },
+        "release_gate": { "const": false }
+      },
+      "additionalProperties": false
+    },
+    "exhaustion": {
+      "type": "object",
+      "required": ["status", "resource", "limit"],
+      "properties": {
+        "status": { "enum": ["not_observed", "observed"] },
+        "resource": { "type": ["string", "null"] },
+        "limit": { "type": ["number", "null"], "exclusiveMinimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "failure": {
+      "type": "object",
+      "required": ["resource", "message"],
+      "properties": {
+        "resource": { "type": "string", "minLength": 1 },
+        "message": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "run": {
+      "type": "object",
+      "required": ["algorithm", "entry_mode", "entries", "entry_names", "status", "strategy", "structural", "conflicts", "observations", "exhaustion", "failure"],
+      "properties": {
+        "algorithm": { "enum": ["lalr", "ielr"] },
+        "entry_mode": { "enum": ["shared", "isolated"] },
+        "entries": { "type": "integer", "minimum": 1 },
+        "entry_names": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 },
+          "minItems": 1,
+          "uniqueItems": true
+        },
+        "status": { "enum": ["completed", "limit_exceeded", "resource_exhausted", "failed"] },
+        "strategy": { "type": ["string", "null"] },
+        "structural": { "$ref": "#/$defs/structural" },
+        "conflicts": { "oneOf": [{ "$ref": "#/$defs/conflicts" }, { "type": "null" }] },
+        "observations": {
+          "type": "object",
+          "required": ["elapsed_seconds"],
+          "properties": { "elapsed_seconds": { "$ref": "#/$defs/elapsed" } },
+          "additionalProperties": false
+        },
+        "exhaustion": { "$ref": "#/$defs/exhaustion" },
+        "failure": { "oneOf": [{ "$ref": "#/$defs/failure" }, { "type": "null" }] }
+      },
+      "additionalProperties": false,
+      "allOf": [
+        {
+          "oneOf": [
+            {
+              "properties": {
+                "status": { "const": "completed" },
+                "strategy": { "type": "string", "minLength": 1 },
+                "conflicts": { "$ref": "#/$defs/conflicts" },
+                "exhaustion": {
+                  "properties": {
+                    "status": { "const": "not_observed" },
+                    "resource": { "type": "null" },
+                    "limit": { "type": "null" }
+                  }
+                },
+                "failure": { "type": "null" }
+              },
+              "allOf": [
+                {
+                  "oneOf": [
+                    {
+                      "properties": {
+                        "algorithm": { "const": "lalr" },
+                        "strategy": { "const": "direct_lalr" },
+                        "structural": { "$ref": "#/$defs/direct_lalr_structural" }
+                      }
+                    },
+                    {
+                      "properties": {
+                        "algorithm": { "const": "lalr" },
+                        "strategy": { "enum": ["canonical_merge_multi_entry", "entry_isolation"] },
+                        "structural": { "$ref": "#/$defs/canonical_lalr_structural" }
+                      }
+                    },
+                    {
+                      "properties": {
+                        "algorithm": { "const": "ielr" },
+                        "strategy": { "enum": ["ielr_partition", "entry_isolation"] },
+                        "structural": { "$ref": "#/$defs/ielr_structural" }
+                      }
+                    },
+                    {
+                      "properties": {
+                        "algorithm": { "const": "ielr" },
+                        "strategy": { "const": "ielr_direct" },
+                        "structural": { "$ref": "#/$defs/ielr_direct_structural" }
+                      }
+                    },
+                    {
+                      "properties": {
+                        "algorithm": { "const": "ielr" },
+                        "strategy": { "const": "entry_isolation" },
+                        "structural": { "$ref": "#/$defs/ielr_direct_structural" }
+                      }
+                    }
+                  ]
+                }
+              ]
+            },
+            {
+              "properties": {
+                "status": { "const": "limit_exceeded" },
+                "strategy": { "type": "null" },
+                "structural": { "$ref": "#/$defs/not_measured_structural" },
+                "conflicts": { "type": "null" },
+                "exhaustion": {
+                  "properties": {
+                    "status": { "const": "observed" },
+                    "resource": { "const": "wall_time" },
+                    "limit": { "type": "number", "exclusiveMinimum": 0 }
+                  }
+                },
+                "failure": {
+                  "allOf": [
+                    { "$ref": "#/$defs/failure" },
+                    { "properties": { "resource": { "const": "wall_time" } } }
+                  ]
+                }
+              }
+            },
+            {
+              "properties": {
+                "status": { "const": "resource_exhausted" },
+                "strategy": { "type": "null" },
+                "structural": { "$ref": "#/$defs/not_measured_structural" },
+                "conflicts": { "type": "null" },
+                "exhaustion": {
+                  "properties": {
+                    "status": { "const": "observed" },
+                    "resource": { "enum": ["memory", "stack"] },
+                    "limit": { "type": "null" }
+                  }
+                },
+                "failure": { "$ref": "#/$defs/failure" }
+              },
+              "allOf": [
+                {
+                  "oneOf": [
+                    {
+                      "properties": {
+                        "exhaustion": { "properties": { "resource": { "const": "memory" } } },
+                        "failure": { "properties": { "resource": { "const": "memory" } } }
+                      }
+                    },
+                    {
+                      "properties": {
+                        "exhaustion": { "properties": { "resource": { "const": "stack" } } },
+                        "failure": { "properties": { "resource": { "const": "stack" } } }
+                      }
+                    }
+                  ]
+                }
+              ]
+            },
+            {
+              "properties": {
+                "status": { "const": "failed" },
+                "strategy": { "type": "null" },
+                "structural": { "$ref": "#/$defs/not_measured_structural" },
+                "conflicts": { "type": "null" },
+                "exhaustion": {
+                  "properties": {
+                    "status": { "const": "not_observed" },
+                    "resource": { "const": "construction" },
+                    "limit": { "type": "null" }
+                  }
+                },
+                "failure": {
+                  "allOf": [
+                    { "$ref": "#/$defs/failure" },
+                    { "properties": { "resource": { "const": "construction" } } }
+                  ]
+                }
+              }
+            }
+          ]
+        }
+      ]
+    },
+    "workload": {
+      "type": "object",
+      "required": ["id", "classification", "grammar", "registry_status", "availability", "entries", "runs"],
+      "properties": {
+        "id": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
+        "classification": { "enum": ["repository_synthetic", "repository_real", "public_real"] },
+        "grammar": { "$ref": "#/$defs/grammar" },
+        "registry_status": { "enum": ["registered", "unregistered_diagnostic"] },
+        "availability": { "$ref": "#/$defs/availability" },
+        "entries": { "oneOf": [{ "$ref": "#/$defs/entries" }, { "type": "null" }] },
+        "runs": { "type": "array", "items": { "$ref": "#/$defs/run" } }
+      },
+      "additionalProperties": false,
+      "allOf": [
+        {
+          "oneOf": [
+            {
+              "properties": {
+                "availability": {
+                  "properties": {
+                    "status": { "enum": ["verified_repository_source", "verified_generated_fixture", "verified_public_checkout"] },
+                    "reason": { "type": "null" }
+                  }
+                },
+                "entries": { "$ref": "#/$defs/entries" },
+                "runs": { "minItems": 2 }
+              }
+            },
+            {
+              "properties": {
+                "availability": {
+                  "properties": {
+                    "status": { "const": "not_run" },
+                    "reason": { "type": "string", "minLength": 1 }
+                  }
+                },
+                "entries": { "type": "null" },
+                "runs": { "maxItems": 0 }
+              }
+            }
+          ]
+        }
+      ]
+    },
+    "synthetic_workload": {
+      "allOf": [
+        { "$ref": "#/$defs/workload" },
+        {
+          "properties": {
+            "classification": { "const": "repository_synthetic" },
+            "availability": {
+              "properties": {
+                "status": { "enum": ["verified_repository_source", "verified_generated_fixture"] }
+              }
+            }
+          }
+        }
+      ]
+    },
+    "repository_real_workload": {
+      "allOf": [
+        { "$ref": "#/$defs/workload" },
+        {
+          "properties": {
+            "classification": { "const": "repository_real" },
+            "registry_status": { "const": "registered" },
+            "availability": { "properties": { "status": { "const": "verified_repository_source" } } }
+          }
+        }
+      ]
+    },
+    "public_real_workload": {
+      "allOf": [
+        { "$ref": "#/$defs/workload" },
+        {
+          "properties": {
+            "classification": { "const": "public_real" },
+            "registry_status": { "const": "registered" },
+            "availability": {
+              "properties": { "status": { "enum": ["verified_public_checkout", "not_run"] } }
+            }
+          }
+        }
+      ]
+    },
+    "synthetic_cohort": {
+      "type": "object",
+      "required": ["kind", "workloads"],
+      "properties": {
+        "kind": { "const": "synthetic" },
+        "workloads": { "type": "array", "items": { "$ref": "#/$defs/synthetic_workload" }, "minItems": 1 }
+      },
+      "additionalProperties": false
+    },
+    "real_cohort": {
+      "type": "object",
+      "required": ["kind", "workloads"],
+      "properties": {
+        "kind": { "const": "real" },
+        "workloads": {
+          "type": "array",
+          "items": {
+            "oneOf": [
+              { "$ref": "#/$defs/repository_real_workload" },
+              { "$ref": "#/$defs/public_real_workload" }
+            ]
+          },
+          "minItems": 1
+        }
+      },
+      "additionalProperties": false
+    },
+    "threshold": {
+      "type": "object",
+      "required": ["id", "target", "observed", "satisfied"],
+      "properties": {
+        "id": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
+        "target": { "type": "string", "minLength": 1 },
+        "observed": { "type": "string", "minLength": 1 },
+        "satisfied": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "decision": {
+      "type": "object",
+      "required": ["feature", "decision", "thresholds", "reason", "counterevidence_required"],
+      "properties": {
+        "feature": { "enum": ["direct-ielr", "direct-multi-entry"] },
+        "decision": { "enum": ["GO", "NO-GO", "MORE DATA"] },
+        "thresholds": { "type": "array", "items": { "$ref": "#/$defs/threshold" }, "minItems": 1 },
+        "reason": { "type": "string", "minLength": 1 },
+        "counterevidence_required": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 },
+          "minItems": 1,
+          "uniqueItems": true
+        }
+      },
+      "additionalProperties": false
+    },
+    "direct_multi_entry_decision": {
+      "allOf": [
+        { "$ref": "#/$defs/decision" },
+        {
+          "properties": {
+            "feature": { "const": "direct-multi-entry" },
+            "thresholds": {
+              "type": "array",
+              "prefixItems": [
+                {
+                  "allOf": [
+                    { "$ref": "#/$defs/threshold" },
+                    {
+                      "properties": {
+                        "id": { "const": "representative-real-multi-entry" },
+                        "target": { "const": "at least 2 verified real grammars with multiple entries" }
+                      }
+                    }
+                  ]
+                },
+                {
+                  "allOf": [
+                    { "$ref": "#/$defs/threshold" },
+                    {
+                      "properties": {
+                        "id": { "const": "material-canonical-fallback-cost" },
+                        "target": { "const": "canonical fallback exhaustion or >=2x structural overhead on verified real inputs" }
+                      }
+                    }
+                  ]
+                },
+                {
+                  "allOf": [
+                    { "$ref": "#/$defs/threshold" },
+                    {
+                      "properties": {
+                        "id": { "const": "clear-shared-benefit-over-isolation" },
+                        "target": { "const": "shared construction materially improves over isolation on verified real inputs" }
+                      }
+                    }
+                  ]
+                },
+                {
+                  "allOf": [
+                    { "$ref": "#/$defs/threshold" },
+                    {
+                      "properties": {
+                        "id": { "const": "conflict-attribution-preservation" },
+                        "target": { "const": "adversarial conflicting fixtures preserve per-entry attribution against an independent semantic oracle" }
+                      }
+                    }
+                  ]
+                }
+              ],
+              "items": false,
+              "minItems": 4,
+              "maxItems": 4
+            }
+          }
+        }
+      ]
+    }
+  }
+}