CHALLENGE_ORACLE.json

{
  "attack_surface": [
    "model-format-structure"
  ],
  "control_type": "negative",
  "corpus_id": "LF-CH-FMTX-0012",
  "difficulty": "intermediate",
  "expected_decision": "PASS",
  "ground_truth": "synthetic-generated",
  "layerfault_rule_expectations": {
    "candidate_rules": [],
    "expected_rules": [
      "LF-TFLITE-STRUCT-VALID"
    ],
    "must_not_rules": []
  },
  "oracle_ids": [
    "LF-ORACLE-FMTX-0012"
  ],
  "related_cases": [],
  "repo_name": "format-tflite-clean-control",
  "safe_fixture": true,
  "schema": 2,
  "severity": "informational",
  "techniques": [
    "tflite",
    "control"
  ],
  "transformations": []
}