CHALLENGE_ORACLE.json

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