{
  "candidate_rules": [],
  "corpus_id": "LF-CORPUS-ET-0003",
  "description": "ExecuTorch header with root table offset beyond EOF.",
  "expected_rules": [
    "LF-EXECUTORCH-BOUNDS"
  ],
  "generator": "formats.executorch_bounds",
  "ground_truth": "synthetic-generated",
  "must_not_rules": [],
  "repo_name": "executorch-root-bounds",
  "repo_type": "model",
  "safety": "inert/canary-only",
  "schema": 1,
  "validation": {
    "kind": "inspect",
    "target": "model.pte"
  }
}