| { | |
| "attack_surface": [ | |
| "performance-bounds" | |
| ], | |
| "control_type": "negative", | |
| "corpus_id": "LF-CH-BND-0001", | |
| "difficulty": "basic", | |
| "expected_decision": "PASS", | |
| "ground_truth": "synthetic-generated", | |
| "layerfault_rule_expectations": { | |
| "candidate_rules": [], | |
| "expected_rules": [], | |
| "must_not_rules": [] | |
| }, | |
| "oracle_ids": [ | |
| "LF-ORACLE-BND-0001" | |
| ], | |
| "related_cases": [], | |
| "repo_name": "bounds-clean-small-control", | |
| "safe_fixture": true, | |
| "schema": 2, | |
| "severity": "informational", | |
| "techniques": [ | |
| "bounds", | |
| "control" | |
| ], | |
| "transformations": [] | |
| } | |