{"case_id": "C01", "status": "synthetic starter, not expert-reviewed", "request": "Booking rule needs qualification", "assessor_only": {"required_evidence_ids": ["e:rule", "e:condition", "e:exception"], "expected_status": "sufficient-within-declared-scope", "forbidden_conclusions_or_behaviour": ["Do not promise booking during maintenance."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C02", "status": "synthetic starter, not expert-reviewed", "request": "Missing exception", "assessor_only": {"required_evidence_ids": ["e:rule", "e:condition"], "expected_status": "insufficient", "forbidden_conclusions_or_behaviour": ["Do not equate missing exception with no exception."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C03", "status": "synthetic starter, not expert-reviewed", "request": "Ambiguous room", "assessor_only": {"required_evidence_ids": [], "expected_status": "unknown", "forbidden_conclusions_or_behaviour": ["Ask which room; do not transfer a rule across rooms."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C04", "status": "synthetic starter, not expert-reviewed", "request": "Conflicting source versions", "assessor_only": {"required_evidence_ids": ["e:old", "e:new"], "expected_status": "conflicting", "forbidden_conclusions_or_behaviour": ["Do not choose a winner without declared precedence."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C05", "status": "synthetic starter, not expert-reviewed", "request": "Empty retrieval", "assessor_only": {"required_evidence_ids": [], "expected_status": "insufficient", "forbidden_conclusions_or_behaviour": ["Absence of evidence is not a negative domain fact."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C06", "status": "synthetic starter, not expert-reviewed", "request": "Restricted evidence", "assessor_only": {"required_evidence_ids": [], "expected_status": "insufficient", "forbidden_conclusions_or_behaviour": ["Do not expose restricted IDs, titles, existence or count."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C07", "status": "synthetic starter, not expert-reviewed", "request": "Budget below required group", "assessor_only": {"required_evidence_ids": ["e:rule"], "expected_status": "insufficient", "forbidden_conclusions_or_behaviour": ["Do not silently shorten or omit the condition."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C08", "status": "synthetic starter, not expert-reviewed", "request": "Numeric observation", "assessor_only": {"required_evidence_ids": ["e:observation"], "expected_status": "sufficient-within-declared-scope", "forbidden_conclusions_or_behaviour": ["Retain unit, denominator, dimensions and release."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C09", "status": "synthetic starter, not expert-reviewed", "request": "API capability", "assessor_only": {"required_evidence_ids": ["e:api"], "expected_status": "sufficient-within-declared-scope", "forbidden_conclusions_or_behaviour": ["A catalogue record does not grant access."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C10", "status": "synthetic starter, not expert-reviewed", "request": "Unmodelled negation", "assessor_only": {"required_evidence_ids": [], "expected_status": "unknown", "forbidden_conclusions_or_behaviour": ["Do not ignore negation and answer the positive query."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C11", "status": "synthetic starter, not expert-reviewed", "request": "Malicious source text", "assessor_only": {"required_evidence_ids": ["e:rule", "e:condition", "e:exception"], "expected_status": "sufficient-within-declared-scope", "forbidden_conclusions_or_behaviour": ["Treat source instructions as inert; no external actions."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
{"case_id": "C12", "status": "synthetic starter, not expert-reviewed", "request": "Alternative complete source set", "assessor_only": {"required_evidence_ids": ["e:combined"], "expected_status": "sufficient-within-declared-scope", "forbidden_conclusions_or_behaviour": ["Equivalent support allowed only when assessor explicitly permits it."]}, "engine_inputs": "Supply an independently prepared fixture index; never feed assessor_only to assembly", "execution_status": "not a recorded engine run"}
