LAYERFAULT_CORPUS.json

{
  "candidate_rules": [],
  "challenge": {
    "attack_surface": [
      "parser-differential"
    ],
    "control_type": "negative",
    "difficulty": "intermediate",
    "expected_decision": "PASS",
    "oracle_ids": [
      "LF-ORACLE-DIFF-0007"
    ],
    "related_cases": [],
    "severity": "informational",
    "techniques": [
      "zero",
      "padding",
      "control"
    ],
    "transformations": []
  },
  "corpus_id": "LF-CH-DIFF-0007",
  "description": "Differential zero padding control.",
  "expected_rules": [],
  "generator": "challenges.generate_challenge",
  "ground_truth": "synthetic-generated",
  "must_not_rules": [],
  "repo_name": "differential-zero-padding-control",
  "repo_type": "model",
  "safe_fixture": true,
  "safety": "inert/canary-only",
  "schema": 1,
  "validation": {
    "kind": "verify-package",
    "target": "artifact.bin"
  }
}