{ "$schema": "../../schemas/W_FIXTURE_CASE.schema.json", "schema": "AGLA_W_FIXTURE_SUITE_v0.1.0", "version": "0.1.0", "status": "EXECUTABLE_CANDIDATE_FIXTURES_NON_RUNTIME", "runtime_posture": "CANDIDATE_NON_RUNTIME", "authority_effect": "NONE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "polarity": "ADVERSE", "decision_reference_transition_map": { "PASS_REFERENCE": false, "ADMIT_REFERENCE": true, "ADMIT_REFERENCE_WITH_FLAGS": true, "BLOCK": false, "REJECT": false, "NO_W_INVOCATION": false, "FIXTURE_INVALID": false }, "cases": [ { "fixture_id": "W-FX-A001", "title": "Missing current TENET evidence blocks admission", "polarity": "ADVERSE", "scenario_type": "MISSING_TENET_EVIDENCE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "tenet_present": false }, "evaluation_contract": { "rule_id": "W-FXR-MISSING_TENET_EVIDENCE", "combinator": "ALL", "predicates": [ { "fact": "tenet_present", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "MISSING_CURRENT_TENET_EVIDENCE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "MISSING_CURRENT_TENET_EVIDENCE" ], "assertions": [ { "assertion_id": "W-FXA-A001-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A001-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A001-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "MISSING_CURRENT_TENET_EVIDENCE" }, { "assertion_id": "W-FXA-A001-FACT-1", "subject": "input.facts.tenet_present", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A002", "title": "Stale TENET evidence blocks admission", "polarity": "ADVERSE", "scenario_type": "STALE_TENET_EVIDENCE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "tenet_present": true, "tenet_status": "STALE" }, "evaluation_contract": { "rule_id": "W-FXR-STALE_TENET_EVIDENCE", "combinator": "ALL", "predicates": [ { "fact": "tenet_present", "operator": "EQUALS", "expected": true }, { "fact": "tenet_status", "operator": "EQUALS", "expected": "STALE" } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "STALE_TENET_EVIDENCE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "STALE_TENET_EVIDENCE" ], "assertions": [ { "assertion_id": "W-FXA-A002-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A002-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A002-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "STALE_TENET_EVIDENCE" }, { "assertion_id": "W-FXA-A002-FACT-1", "subject": "input.facts.tenet_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A002-FACT-2", "subject": "input.facts.tenet_status", "operator": "EQUALS", "expected": "STALE" } ] } }, { "fixture_id": "W-FX-A003", "title": "Missing current ROTAS evidence blocks admission", "polarity": "ADVERSE", "scenario_type": "MISSING_ROTAS_EVIDENCE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "rotas_present": false }, "evaluation_contract": { "rule_id": "W-FXR-MISSING_ROTAS_EVIDENCE", "combinator": "ALL", "predicates": [ { "fact": "rotas_present", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "MISSING_CURRENT_ROTAS_EVIDENCE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "MISSING_CURRENT_ROTAS_EVIDENCE" ], "assertions": [ { "assertion_id": "W-FXA-A003-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A003-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A003-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "MISSING_CURRENT_ROTAS_EVIDENCE" }, { "assertion_id": "W-FXA-A003-FACT-1", "subject": "input.facts.rotas_present", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A004", "title": "Stale ROTAS evidence blocks admission", "polarity": "ADVERSE", "scenario_type": "STALE_ROTAS_EVIDENCE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "rotas_present": true, "rotas_status": "STALE" }, "evaluation_contract": { "rule_id": "W-FXR-STALE_ROTAS_EVIDENCE", "combinator": "ALL", "predicates": [ { "fact": "rotas_present", "operator": "EQUALS", "expected": true }, { "fact": "rotas_status", "operator": "EQUALS", "expected": "STALE" } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "STALE_ROTAS_EVIDENCE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "STALE_ROTAS_EVIDENCE" ], "assertions": [ { "assertion_id": "W-FXA-A004-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A004-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A004-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "STALE_ROTAS_EVIDENCE" }, { "assertion_id": "W-FXA-A004-FACT-1", "subject": "input.facts.rotas_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A004-FACT-2", "subject": "input.facts.rotas_status", "operator": "EQUALS", "expected": "STALE" } ] } }, { "fixture_id": "W-FX-A005", "title": "TENET, ROTAS, and admission epochs must agree", "polarity": "ADVERSE", "scenario_type": "INVOCATION_EPOCH_MISMATCH", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "tenet_epoch": "EPOCH_A", "rotas_epoch": "EPOCH_B", "admission_epoch": "EPOCH_A", "epochs_match": false }, "evaluation_contract": { "rule_id": "W-FXR-INVOCATION_EPOCH_MISMATCH", "combinator": "ALL", "predicates": [ { "fact": "tenet_epoch", "operator": "EQUALS", "expected": "EPOCH_A" }, { "fact": "rotas_epoch", "operator": "EQUALS", "expected": "EPOCH_B" }, { "fact": "admission_epoch", "operator": "EQUALS", "expected": "EPOCH_A" }, { "fact": "epochs_match", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "INVOCATION_EPOCH_MISMATCH" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "INVOCATION_EPOCH_MISMATCH" ], "assertions": [ { "assertion_id": "W-FXA-A005-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A005-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A005-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "INVOCATION_EPOCH_MISMATCH" }, { "assertion_id": "W-FXA-A005-FACT-1", "subject": "input.facts.tenet_epoch", "operator": "EQUALS", "expected": "EPOCH_A" }, { "assertion_id": "W-FXA-A005-FACT-2", "subject": "input.facts.rotas_epoch", "operator": "EQUALS", "expected": "EPOCH_B" }, { "assertion_id": "W-FXA-A005-FACT-3", "subject": "input.facts.admission_epoch", "operator": "EQUALS", "expected": "EPOCH_A" }, { "assertion_id": "W-FXA-A005-FACT-4", "subject": "input.facts.epochs_match", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A006", "title": "Subject mismatch invalidates invocation evidence", "polarity": "ADVERSE", "scenario_type": "SUBJECT_MISMATCH", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "tenet_subject_ref": "SUBJECT_A", "request_subject_ref": "SUBJECT_B", "subject_match": false }, "evaluation_contract": { "rule_id": "W-FXR-SUBJECT_MISMATCH", "combinator": "ALL", "predicates": [ { "fact": "tenet_subject_ref", "operator": "EQUALS", "expected": "SUBJECT_A" }, { "fact": "request_subject_ref", "operator": "EQUALS", "expected": "SUBJECT_B" }, { "fact": "subject_match", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "SUBJECT_MISMATCH" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "SUBJECT_MISMATCH" ], "assertions": [ { "assertion_id": "W-FXA-A006-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A006-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A006-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "SUBJECT_MISMATCH" }, { "assertion_id": "W-FXA-A006-FACT-1", "subject": "input.facts.tenet_subject_ref", "operator": "EQUALS", "expected": "SUBJECT_A" }, { "assertion_id": "W-FXA-A006-FACT-2", "subject": "input.facts.request_subject_ref", "operator": "EQUALS", "expected": "SUBJECT_B" }, { "assertion_id": "W-FXA-A006-FACT-3", "subject": "input.facts.subject_match", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A007", "title": "Scope mismatch invalidates invocation evidence", "polarity": "ADVERSE", "scenario_type": "SCOPE_MISMATCH", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "tenet_scope_ref": "SCOPE_A", "request_scope_ref": "SCOPE_B", "scope_match": false }, "evaluation_contract": { "rule_id": "W-FXR-SCOPE_MISMATCH", "combinator": "ALL", "predicates": [ { "fact": "tenet_scope_ref", "operator": "EQUALS", "expected": "SCOPE_A" }, { "fact": "request_scope_ref", "operator": "EQUALS", "expected": "SCOPE_B" }, { "fact": "scope_match", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "SCOPE_MISMATCH" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "SCOPE_MISMATCH" ], "assertions": [ { "assertion_id": "W-FXA-A007-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A007-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A007-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "SCOPE_MISMATCH" }, { "assertion_id": "W-FXA-A007-FACT-1", "subject": "input.facts.tenet_scope_ref", "operator": "EQUALS", "expected": "SCOPE_A" }, { "assertion_id": "W-FXA-A007-FACT-2", "subject": "input.facts.request_scope_ref", "operator": "EQUALS", "expected": "SCOPE_B" }, { "assertion_id": "W-FXA-A007-FACT-3", "subject": "input.facts.scope_match", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A008", "title": "Provider status cannot be erased by a consumer", "polarity": "ADVERSE", "scenario_type": "PROVIDER_STATUS_ERASURE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "provider_status_present_in_source": true, "provider_status_present_in_projection": false, "provider_status_erased": true }, "evaluation_contract": { "rule_id": "W-FXR-PROVIDER_STATUS_ERASURE", "combinator": "ALL", "predicates": [ { "fact": "provider_status_present_in_source", "operator": "EQUALS", "expected": true }, { "fact": "provider_status_present_in_projection", "operator": "EQUALS", "expected": false }, { "fact": "provider_status_erased", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "PROVIDER_STATUS_ERASURE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "PROVIDER_STATUS_ERASURE" ], "assertions": [ { "assertion_id": "W-FXA-A008-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A008-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A008-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "PROVIDER_STATUS_ERASURE" }, { "assertion_id": "W-FXA-A008-FACT-1", "subject": "input.facts.provider_status_present_in_source", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A008-FACT-2", "subject": "input.facts.provider_status_present_in_projection", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A008-FACT-3", "subject": "input.facts.provider_status_erased", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A009", "title": "Every source identity requires path, version or immutable hash evidence", "polarity": "ADVERSE", "scenario_type": "SOURCE_IDENTITY_INCOMPLETE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "source_path_present": true, "source_version_or_hash_present": false, "source_identity_complete": false }, "evaluation_contract": { "rule_id": "W-FXR-SOURCE_IDENTITY_INCOMPLETE", "combinator": "ALL", "predicates": [ { "fact": "source_path_present", "operator": "EQUALS", "expected": true }, { "fact": "source_version_or_hash_present", "operator": "EQUALS", "expected": false }, { "fact": "source_identity_complete", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "SOURCE_IDENTITY_INCOMPLETE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "SOURCE_IDENTITY_INCOMPLETE" ], "assertions": [ { "assertion_id": "W-FXA-A009-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A009-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A009-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "SOURCE_IDENTITY_INCOMPLETE" }, { "assertion_id": "W-FXA-A009-FACT-1", "subject": "input.facts.source_path_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A009-FACT-2", "subject": "input.facts.source_version_or_hash_present", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A009-FACT-3", "subject": "input.facts.source_identity_complete", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A010", "title": "An unresolved effective ROTA blocks admission", "polarity": "ADVERSE", "scenario_type": "EFFECTIVE_ROTA_UNRESOLVED", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "declared_rota_set_present": true, "effective_rota_resolved": false }, "evaluation_contract": { "rule_id": "W-FXR-EFFECTIVE_ROTA_UNRESOLVED", "combinator": "ALL", "predicates": [ { "fact": "declared_rota_set_present", "operator": "EQUALS", "expected": true }, { "fact": "effective_rota_resolved", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "EFFECTIVE_ROTA_UNRESOLVED" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "EFFECTIVE_ROTA_UNRESOLVED" ], "assertions": [ { "assertion_id": "W-FXA-A010-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A010-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A010-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "EFFECTIVE_ROTA_UNRESOLVED" }, { "assertion_id": "W-FXA-A010-FACT-1", "subject": "input.facts.declared_rota_set_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A010-FACT-2", "subject": "input.facts.effective_rota_resolved", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A011", "title": "AREPO alone cannot impersonate a five-class stack", "polarity": "ADVERSE", "scenario_type": "AREPO_SATOR_INCOMPLETE_AREPO_ONLY", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "loaded_classes": [ "AREPO" ], "five_class_complete": false }, "evaluation_contract": { "rule_id": "W-FXR-AREPO_SATOR_INCOMPLETE_AREPO_ONLY", "combinator": "ALL", "predicates": [ { "fact": "loaded_classes", "operator": "EQUALS", "expected": [ "AREPO" ] }, { "fact": "five_class_complete", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "FIVE_CLASS_INCOMPLETE", "AREPO_ONLY_CANNOT_EXECUTE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "FIVE_CLASS_INCOMPLETE", "AREPO_ONLY_CANNOT_EXECUTE" ], "assertions": [ { "assertion_id": "W-FXA-A011-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A011-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A011-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "FIVE_CLASS_INCOMPLETE" }, { "assertion_id": "W-FXA-A011-REASON-2", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "AREPO_ONLY_CANNOT_EXECUTE" }, { "assertion_id": "W-FXA-A011-FACT-1", "subject": "input.facts.loaded_classes", "operator": "EQUALS", "expected": [ "AREPO" ] }, { "assertion_id": "W-FXA-A011-FACT-2", "subject": "input.facts.five_class_complete", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A012", "title": "SATOR alone cannot impersonate a five-class stack", "polarity": "ADVERSE", "scenario_type": "AREPO_SATOR_INCOMPLETE_SATOR_ONLY", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "loaded_classes": [ "SATOR" ], "five_class_complete": false }, "evaluation_contract": { "rule_id": "W-FXR-AREPO_SATOR_INCOMPLETE_SATOR_ONLY", "combinator": "ALL", "predicates": [ { "fact": "loaded_classes", "operator": "EQUALS", "expected": [ "SATOR" ] }, { "fact": "five_class_complete", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "FIVE_CLASS_INCOMPLETE", "SATOR_ONLY_CANNOT_EXECUTE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "FIVE_CLASS_INCOMPLETE", "SATOR_ONLY_CANNOT_EXECUTE" ], "assertions": [ { "assertion_id": "W-FXA-A012-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A012-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A012-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "FIVE_CLASS_INCOMPLETE" }, { "assertion_id": "W-FXA-A012-REASON-2", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "SATOR_ONLY_CANNOT_EXECUTE" }, { "assertion_id": "W-FXA-A012-FACT-1", "subject": "input.facts.loaded_classes", "operator": "EQUALS", "expected": [ "SATOR" ] }, { "assertion_id": "W-FXA-A012-FACT-2", "subject": "input.facts.five_class_complete", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A013", "title": "Admission evidence from a prior invocation cannot be reused", "polarity": "ADVERSE", "scenario_type": "PRIOR_ADMISSION_REUSE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "admission_epoch": "EPOCH_PRIOR", "request_epoch": "EPOCH_CURRENT", "prior_admission_reused": true }, "evaluation_contract": { "rule_id": "W-FXR-PRIOR_ADMISSION_REUSE", "combinator": "ALL", "predicates": [ { "fact": "admission_epoch", "operator": "EQUALS", "expected": "EPOCH_PRIOR" }, { "fact": "request_epoch", "operator": "EQUALS", "expected": "EPOCH_CURRENT" }, { "fact": "prior_admission_reused", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "PRIOR_ADMISSION_REUSE_FORBIDDEN" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "PRIOR_ADMISSION_REUSE_FORBIDDEN" ], "assertions": [ { "assertion_id": "W-FXA-A013-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A013-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A013-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "PRIOR_ADMISSION_REUSE_FORBIDDEN" }, { "assertion_id": "W-FXA-A013-FACT-1", "subject": "input.facts.admission_epoch", "operator": "EQUALS", "expected": "EPOCH_PRIOR" }, { "assertion_id": "W-FXA-A013-FACT-2", "subject": "input.facts.request_epoch", "operator": "EQUALS", "expected": "EPOCH_CURRENT" }, { "assertion_id": "W-FXA-A013-FACT-3", "subject": "input.facts.prior_admission_reused", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A014", "title": "An isolated act cannot be promoted to a stable habit", "polarity": "ADVERSE", "scenario_type": "ISOLATED_ACT_TO_HABIT", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "mapping_target": "ACT", "isolated_observation": true, "stable_habit_asserted": true }, "evaluation_contract": { "rule_id": "W-FXR-ISOLATED_ACT_TO_HABIT", "combinator": "ALL", "predicates": [ { "fact": "mapping_target", "operator": "EQUALS", "expected": "ACT" }, { "fact": "isolated_observation", "operator": "EQUALS", "expected": true }, { "fact": "stable_habit_asserted", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "ACT_TO_HABIT_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "ACT_TO_HABIT_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A014-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A014-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A014-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "ACT_TO_HABIT_COLLAPSE" }, { "assertion_id": "W-FXA-A014-FACT-1", "subject": "input.facts.mapping_target", "operator": "EQUALS", "expected": "ACT" }, { "assertion_id": "W-FXA-A014-FACT-2", "subject": "input.facts.isolated_observation", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A014-FACT-3", "subject": "input.facts.stable_habit_asserted", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A015", "title": "An act or habit cannot be collapsed into the person", "polarity": "ADVERSE", "scenario_type": "ACT_OR_HABIT_TO_PERSON", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "mapping_target": "HABIT", "person_identity_asserted": true }, "evaluation_contract": { "rule_id": "W-FXR-ACT_OR_HABIT_TO_PERSON", "combinator": "ALL", "predicates": [ { "fact": "mapping_target", "operator": "EQUALS", "expected": "HABIT" }, { "fact": "person_identity_asserted", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "HABIT_TO_PERSON_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "HABIT_TO_PERSON_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A015-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A015-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A015-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "HABIT_TO_PERSON_COLLAPSE" }, { "assertion_id": "W-FXA-A015-FACT-1", "subject": "input.facts.mapping_target", "operator": "EQUALS", "expected": "HABIT" }, { "assertion_id": "W-FXA-A015-FACT-2", "subject": "input.facts.person_identity_asserted", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A016", "title": "A sign cannot entail a habit without further support", "polarity": "ADVERSE", "scenario_type": "SIGN_TO_HABIT", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "observed_kind": "SIGN", "habit_entailment_asserted": true, "additional_support_present": false }, "evaluation_contract": { "rule_id": "W-FXR-SIGN_TO_HABIT", "combinator": "ALL", "predicates": [ { "fact": "observed_kind", "operator": "EQUALS", "expected": "SIGN" }, { "fact": "habit_entailment_asserted", "operator": "EQUALS", "expected": true }, { "fact": "additional_support_present", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "SIGN_TO_HABIT_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "SIGN_TO_HABIT_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A016-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A016-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A016-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "SIGN_TO_HABIT_COLLAPSE" }, { "assertion_id": "W-FXA-A016-FACT-1", "subject": "input.facts.observed_kind", "operator": "EQUALS", "expected": "SIGN" }, { "assertion_id": "W-FXA-A016-FACT-2", "subject": "input.facts.habit_entailment_asserted", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A016-FACT-3", "subject": "input.facts.additional_support_present", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A017", "title": "Virtue cannot imply permission", "polarity": "ADVERSE", "scenario_type": "VIRTUE_TO_PERMISSION", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "w_term_role": "VIRTUE", "permission_inferred": true }, "evaluation_contract": { "rule_id": "W-FXR-VIRTUE_TO_PERMISSION", "combinator": "ALL", "predicates": [ { "fact": "w_term_role", "operator": "EQUALS", "expected": "VIRTUE" }, { "fact": "permission_inferred", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "VIRTUE_PERMISSION_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "VIRTUE_PERMISSION_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A017-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A017-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A017-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "VIRTUE_PERMISSION_COLLAPSE" }, { "assertion_id": "W-FXA-A017-FACT-1", "subject": "input.facts.w_term_role", "operator": "EQUALS", "expected": "VIRTUE" }, { "assertion_id": "W-FXA-A017-FACT-2", "subject": "input.facts.permission_inferred", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A018", "title": "Virtue cannot imply reward", "polarity": "ADVERSE", "scenario_type": "VIRTUE_TO_REWARD", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "w_term_role": "VIRTUE", "reward_inferred": true }, "evaluation_contract": { "rule_id": "W-FXR-VIRTUE_TO_REWARD", "combinator": "ALL", "predicates": [ { "fact": "w_term_role", "operator": "EQUALS", "expected": "VIRTUE" }, { "fact": "reward_inferred", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "VIRTUE_REWARD_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "VIRTUE_REWARD_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A018-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A018-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A018-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "VIRTUE_REWARD_COLLAPSE" }, { "assertion_id": "W-FXA-A018-FACT-1", "subject": "input.facts.w_term_role", "operator": "EQUALS", "expected": "VIRTUE" }, { "assertion_id": "W-FXA-A018-FACT-2", "subject": "input.facts.reward_inferred", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A019", "title": "Vice cannot imply prohibition", "polarity": "ADVERSE", "scenario_type": "VICE_TO_PROHIBITION", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "w_term_role": "VICE", "prohibition_inferred": true }, "evaluation_contract": { "rule_id": "W-FXR-VICE_TO_PROHIBITION", "combinator": "ALL", "predicates": [ { "fact": "w_term_role", "operator": "EQUALS", "expected": "VICE" }, { "fact": "prohibition_inferred", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "VICE_PROHIBITION_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "VICE_PROHIBITION_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A019-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A019-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A019-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "VICE_PROHIBITION_COLLAPSE" }, { "assertion_id": "W-FXA-A019-FACT-1", "subject": "input.facts.w_term_role", "operator": "EQUALS", "expected": "VICE" }, { "assertion_id": "W-FXA-A019-FACT-2", "subject": "input.facts.prohibition_inferred", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A020", "title": "Vice cannot imply punishment", "polarity": "ADVERSE", "scenario_type": "VICE_TO_PUNISHMENT", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "w_term_role": "VICE", "punishment_inferred": true }, "evaluation_contract": { "rule_id": "W-FXR-VICE_TO_PUNISHMENT", "combinator": "ALL", "predicates": [ { "fact": "w_term_role", "operator": "EQUALS", "expected": "VICE" }, { "fact": "punishment_inferred", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "VICE_PUNISHMENT_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "VICE_PUNISHMENT_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A020-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A020-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A020-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "VICE_PUNISHMENT_COLLAPSE" }, { "assertion_id": "W-FXA-A020-FACT-1", "subject": "input.facts.w_term_role", "operator": "EQUALS", "expected": "VICE" }, { "assertion_id": "W-FXA-A020-FACT-2", "subject": "input.facts.punishment_inferred", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A021", "title": "Scalar morality scoring is forbidden", "polarity": "ADVERSE", "scenario_type": "SCALAR_SCORE_REQUEST", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "scalar_score_requested": true, "authorized_scoring_artifact_present": false }, "evaluation_contract": { "rule_id": "W-FXR-SCALAR_SCORE_REQUEST", "combinator": "ALL", "predicates": [ { "fact": "scalar_score_requested", "operator": "EQUALS", "expected": true }, { "fact": "authorized_scoring_artifact_present", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "SCALAR_SCORING_FORBIDDEN" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "SCALAR_SCORING_FORBIDDEN" ], "assertions": [ { "assertion_id": "W-FXA-A021-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A021-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A021-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "SCALAR_SCORING_FORBIDDEN" }, { "assertion_id": "W-FXA-A021-FACT-1", "subject": "input.facts.scalar_score_requested", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A021-FACT-2", "subject": "input.facts.authorized_scoring_artifact_present", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A022", "title": "A hidden mapping target blocks admission", "polarity": "ADVERSE", "scenario_type": "HIDDEN_MAPPING_TARGET", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "mapping_target_declared": false }, "evaluation_contract": { "rule_id": "W-FXR-HIDDEN_MAPPING_TARGET", "combinator": "ALL", "predicates": [ { "fact": "mapping_target_declared", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "MAPPING_TARGET_REQUIRED" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "MAPPING_TARGET_REQUIRED" ], "assertions": [ { "assertion_id": "W-FXA-A022-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A022-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A022-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "MAPPING_TARGET_REQUIRED" }, { "assertion_id": "W-FXA-A022-FACT-1", "subject": "input.facts.mapping_target_declared", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A023", "title": "Missing A trace blocks candidate comparison", "polarity": "ADVERSE", "scenario_type": "MISSING_A_TRACE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "a_trace_present": false, "t_trace_present": true }, "evaluation_contract": { "rule_id": "W-FXR-MISSING_A_TRACE", "combinator": "ALL", "predicates": [ { "fact": "a_trace_present", "operator": "EQUALS", "expected": false }, { "fact": "t_trace_present", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "A_TRACE_REQUIRED" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "A_TRACE_REQUIRED" ], "assertions": [ { "assertion_id": "W-FXA-A023-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A023-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A023-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "A_TRACE_REQUIRED" }, { "assertion_id": "W-FXA-A023-FACT-1", "subject": "input.facts.a_trace_present", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A023-FACT-2", "subject": "input.facts.t_trace_present", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A024", "title": "Missing T trace blocks candidate comparison", "polarity": "ADVERSE", "scenario_type": "MISSING_T_TRACE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "a_trace_present": true, "t_trace_present": false }, "evaluation_contract": { "rule_id": "W-FXR-MISSING_T_TRACE", "combinator": "ALL", "predicates": [ { "fact": "a_trace_present", "operator": "EQUALS", "expected": true }, { "fact": "t_trace_present", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "T_TRACE_REQUIRED" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "T_TRACE_REQUIRED" ], "assertions": [ { "assertion_id": "W-FXA-A024-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A024-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A024-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "T_TRACE_REQUIRED" }, { "assertion_id": "W-FXA-A024-FACT-1", "subject": "input.facts.a_trace_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A024-FACT-2", "subject": "input.facts.t_trace_present", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A025", "title": "Implicit provider fallback is forbidden", "polarity": "ADVERSE", "scenario_type": "PROVIDER_FALLBACK", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "requested_provider_exact": false, "fallback_provider_used": true }, "evaluation_contract": { "rule_id": "W-FXR-PROVIDER_FALLBACK", "combinator": "ALL", "predicates": [ { "fact": "requested_provider_exact", "operator": "EQUALS", "expected": false }, { "fact": "fallback_provider_used", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "PROVIDER_FALLBACK_FORBIDDEN" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "PROVIDER_FALLBACK_FORBIDDEN" ], "assertions": [ { "assertion_id": "W-FXA-A025-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A025-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A025-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "PROVIDER_FALLBACK_FORBIDDEN" }, { "assertion_id": "W-FXA-A025-FACT-1", "subject": "input.facts.requested_provider_exact", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A025-FACT-2", "subject": "input.facts.fallback_provider_used", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A026", "title": "W cannot create a tenth subject", "polarity": "ADVERSE", "scenario_type": "TENTH_SUBJECT_CREATION", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "subject_count_before": 9, "subject_count_after": 10, "w_address_promoted_to_subject": true }, "evaluation_contract": { "rule_id": "W-FXR-TENTH_SUBJECT_CREATION", "combinator": "ALL", "predicates": [ { "fact": "subject_count_before", "operator": "EQUALS", "expected": 9 }, { "fact": "subject_count_after", "operator": "EQUALS", "expected": 10 }, { "fact": "w_address_promoted_to_subject", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "TENTH_SUBJECT_FORBIDDEN" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "TENTH_SUBJECT_FORBIDDEN" ], "assertions": [ { "assertion_id": "W-FXA-A026-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A026-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A026-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "TENTH_SUBJECT_FORBIDDEN" }, { "assertion_id": "W-FXA-A026-FACT-1", "subject": "input.facts.subject_count_before", "operator": "EQUALS", "expected": 9 }, { "assertion_id": "W-FXA-A026-FACT-2", "subject": "input.facts.subject_count_after", "operator": "EQUALS", "expected": 10 }, { "assertion_id": "W-FXA-A026-FACT-3", "subject": "input.facts.w_address_promoted_to_subject", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A027", "title": "W_PROFILE cannot recurse through S/K into W", "polarity": "ADVERSE", "scenario_type": "RECURSIVE_W_SK_W_LOOP", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "w_profile_sent_as_sk_subject": true, "sk_reinvokes_w": true, "recursion_detected": true }, "evaluation_contract": { "rule_id": "W-FXR-RECURSIVE_W_SK_W_LOOP", "combinator": "ALL", "predicates": [ { "fact": "w_profile_sent_as_sk_subject", "operator": "EQUALS", "expected": true }, { "fact": "sk_reinvokes_w", "operator": "EQUALS", "expected": true }, { "fact": "recursion_detected", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "RECURSION_FORBIDDEN" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "RECURSION_FORBIDDEN" ], "assertions": [ { "assertion_id": "W-FXA-A027-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A027-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A027-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "RECURSION_FORBIDDEN" }, { "assertion_id": "W-FXA-A027-FACT-1", "subject": "input.facts.w_profile_sent_as_sk_subject", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A027-FACT-2", "subject": "input.facts.sk_reinvokes_w", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A027-FACT-3", "subject": "input.facts.recursion_detected", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A028", "title": "Current OPERA G cannot be required upstream", "polarity": "ADVERSE", "scenario_type": "G_REQUIRED_UPSTREAM", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "g_provider_required_upstream": true }, "evaluation_contract": { "rule_id": "W-FXR-G_REQUIRED_UPSTREAM", "combinator": "ALL", "predicates": [ { "fact": "g_provider_required_upstream", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "G_NOT_W_UPSTREAM_PROVIDER" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "G_NOT_W_UPSTREAM_PROVIDER" ], "assertions": [ { "assertion_id": "W-FXA-A028-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A028-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A028-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "G_NOT_W_UPSTREAM_PROVIDER" }, { "assertion_id": "W-FXA-A028-FACT-1", "subject": "input.facts.g_provider_required_upstream", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A029", "title": "A direct source token cannot be collapsed with an explanatory alias or gloss", "polarity": "ADVERSE", "scenario_type": "SOURCE_ALIAS_COLLAPSE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "primary_source_form": "Pietas", "typed_surface": "Compassio", "surface_relation": "TRANSLATION_OR_OPERATIONAL_GLOSS", "identity_collapsed": true }, "evaluation_contract": { "rule_id": "W-FXR-SOURCE_ALIAS_COLLAPSE", "combinator": "ALL", "predicates": [ { "fact": "primary_source_form", "operator": "EQUALS", "expected": "Pietas" }, { "fact": "typed_surface", "operator": "EQUALS", "expected": "Compassio" }, { "fact": "surface_relation", "operator": "EQUALS", "expected": "TRANSLATION_OR_OPERATIONAL_GLOSS" }, { "fact": "identity_collapsed", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "SOURCE_ALIAS_NON_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "SOURCE_ALIAS_NON_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A029-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A029-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A029-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "SOURCE_ALIAS_NON_COLLAPSE" }, { "assertion_id": "W-FXA-A029-FACT-1", "subject": "input.facts.primary_source_form", "operator": "EQUALS", "expected": "Pietas" }, { "assertion_id": "W-FXA-A029-FACT-2", "subject": "input.facts.typed_surface", "operator": "EQUALS", "expected": "Compassio" }, { "assertion_id": "W-FXA-A029-FACT-3", "subject": "input.facts.surface_relation", "operator": "EQUALS", "expected": "TRANSLATION_OR_OPERATIONAL_GLOSS" }, { "assertion_id": "W-FXA-A029-FACT-4", "subject": "input.facts.identity_collapsed", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A030", "title": "Evidence classes cannot be upgraded or collapsed", "polarity": "ADVERSE", "scenario_type": "EVIDENCE_CLASS_COLLAPSE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "direct_source_and_reconstruction_same_class": true }, "evaluation_contract": { "rule_id": "W-FXR-EVIDENCE_CLASS_COLLAPSE", "combinator": "ALL", "predicates": [ { "fact": "direct_source_and_reconstruction_same_class", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "EVIDENCE_CLASS_NON_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "EVIDENCE_CLASS_NON_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A030-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A030-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A030-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "EVIDENCE_CLASS_NON_COLLAPSE" }, { "assertion_id": "W-FXA-A030-FACT-1", "subject": "input.facts.direct_source_and_reconstruction_same_class", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A031", "title": "Term identity cannot be collapsed with structural address identity", "polarity": "ADVERSE", "scenario_type": "ADDRESS_TERM_IDENTITY_COLLAPSE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "term_identity_equals_address_identity": true }, "evaluation_contract": { "rule_id": "W-FXR-ADDRESS_TERM_IDENTITY_COLLAPSE", "combinator": "ALL", "predicates": [ { "fact": "term_identity_equals_address_identity", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "TERM_ADDRESS_NON_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "TERM_ADDRESS_NON_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A031-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A031-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A031-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "TERM_ADDRESS_NON_COLLAPSE" }, { "assertion_id": "W-FXA-A031-FACT-1", "subject": "input.facts.term_identity_equals_address_identity", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A032", "title": "Carrier co-indexing cannot create semantic support", "polarity": "ADVERSE", "scenario_type": "CARRIER_INDEX_SEMANTIC_MATCH", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "carrier_alignment": "INDEX_ONLY", "automatic_semantic_match_asserted": true }, "evaluation_contract": { "rule_id": "W-FXR-CARRIER_INDEX_SEMANTIC_MATCH", "combinator": "ALL", "predicates": [ { "fact": "carrier_alignment", "operator": "EQUALS", "expected": "INDEX_ONLY" }, { "fact": "automatic_semantic_match_asserted", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "CARRIER_INDEX_NOT_SEMANTIC_EVIDENCE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "CARRIER_INDEX_NOT_SEMANTIC_EVIDENCE" ], "assertions": [ { "assertion_id": "W-FXA-A032-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A032-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A032-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "CARRIER_INDEX_NOT_SEMANTIC_EVIDENCE" }, { "assertion_id": "W-FXA-A032-FACT-1", "subject": "input.facts.carrier_alignment", "operator": "EQUALS", "expected": "INDEX_ONLY" }, { "assertion_id": "W-FXA-A032-FACT-2", "subject": "input.facts.automatic_semantic_match_asserted", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A033", "title": "Natural K cannot invoke W implicitly", "polarity": "ADVERSE", "scenario_type": "NATURAL_K_IMPLICIT_W", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "instrumental_subregime": "NATURAL", "explicit_w_invocation": false, "w_provider_called": true }, "evaluation_contract": { "rule_id": "W-FXR-NATURAL_K_IMPLICIT_W", "combinator": "ALL", "predicates": [ { "fact": "instrumental_subregime", "operator": "EQUALS", "expected": "NATURAL" }, { "fact": "explicit_w_invocation", "operator": "EQUALS", "expected": false }, { "fact": "w_provider_called", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "W_IMPLICIT_INVOCATION_FORBIDDEN" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "W_IMPLICIT_INVOCATION_FORBIDDEN" ], "assertions": [ { "assertion_id": "W-FXA-A033-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A033-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A033-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "W_IMPLICIT_INVOCATION_FORBIDDEN" }, { "assertion_id": "W-FXA-A033-FACT-1", "subject": "input.facts.instrumental_subregime", "operator": "EQUALS", "expected": "NATURAL" }, { "assertion_id": "W-FXA-A033-FACT-2", "subject": "input.facts.explicit_w_invocation", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A033-FACT-3", "subject": "input.facts.w_provider_called", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A034", "title": "Plural compatible addresses cannot be forced to one winner", "polarity": "ADVERSE", "scenario_type": "PLURAL_FORCED_SINGLE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "compatible_address_count": 3, "returned_address_count": 1, "forced_single_winner": true }, "evaluation_contract": { "rule_id": "W-FXR-PLURAL_FORCED_SINGLE", "combinator": "ALL", "predicates": [ { "fact": "compatible_address_count", "operator": "EQUALS", "expected": 3 }, { "fact": "returned_address_count", "operator": "EQUALS", "expected": 1 }, { "fact": "forced_single_winner", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "PLURALITY_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "PLURALITY_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A034-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A034-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A034-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "PLURALITY_COLLAPSE" }, { "assertion_id": "W-FXA-A034-FACT-1", "subject": "input.facts.compatible_address_count", "operator": "EQUALS", "expected": 3 }, { "assertion_id": "W-FXA-A034-FACT-2", "subject": "input.facts.returned_address_count", "operator": "EQUALS", "expected": 1 }, { "assertion_id": "W-FXA-A034-FACT-3", "subject": "input.facts.forced_single_winner", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A035", "title": "Moral vocabulary cannot serve as AREPO admission criterion", "polarity": "ADVERSE", "scenario_type": "MORAL_VOCABULARY_ADMISSION_CRITERION", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "admission_based_on_moral_vocabulary": true, "a_t_trace_based_admission": false }, "evaluation_contract": { "rule_id": "W-FXR-MORAL_VOCABULARY_ADMISSION_CRITERION", "combinator": "ALL", "predicates": [ { "fact": "admission_based_on_moral_vocabulary", "operator": "EQUALS", "expected": true }, { "fact": "a_t_trace_based_admission", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "MORAL_VOCABULARY_NOT_ADMISSION_CRITERION" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "MORAL_VOCABULARY_NOT_ADMISSION_CRITERION" ], "assertions": [ { "assertion_id": "W-FXA-A035-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A035-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A035-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "MORAL_VOCABULARY_NOT_ADMISSION_CRITERION" }, { "assertion_id": "W-FXA-A035-FACT-1", "subject": "input.facts.admission_based_on_moral_vocabulary", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A035-FACT-2", "subject": "input.facts.a_t_trace_based_admission", "operator": "EQUALS", "expected": false } ] } }, { "fixture_id": "W-FX-A036", "title": "Historical conformity cannot serve as epistemic proof", "polarity": "ADVERSE", "scenario_type": "HISTORICAL_CONFORMITY_PROOF", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "historical_conformity_used_as_proof": true }, "evaluation_contract": { "rule_id": "W-FXR-HISTORICAL_CONFORMITY_PROOF", "combinator": "ALL", "predicates": [ { "fact": "historical_conformity_used_as_proof", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "HISTORICAL_CONFORMITY_NOT_EPISTEMIC_PROOF" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "HISTORICAL_CONFORMITY_NOT_EPISTEMIC_PROOF" ], "assertions": [ { "assertion_id": "W-FXA-A036-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A036-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A036-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "HISTORICAL_CONFORMITY_NOT_EPISTEMIC_PROOF" }, { "assertion_id": "W-FXA-A036-FACT-1", "subject": "input.facts.historical_conformity_used_as_proof", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A037", "title": "Missing conservative claim support remains unresolved, not contradicted", "polarity": "ADVERSE", "scenario_type": "MISSING_CLAIM_AS_CONTRADICTION", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "term_claim_present": false, "trace_present": true, "marked_contradicted": true }, "evaluation_contract": { "rule_id": "W-FXR-MISSING_CLAIM_AS_CONTRADICTION", "combinator": "ALL", "predicates": [ { "fact": "term_claim_present", "operator": "EQUALS", "expected": false }, { "fact": "trace_present", "operator": "EQUALS", "expected": true }, { "fact": "marked_contradicted", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "MISSING_CLAIM_IS_UNRESOLVED_NOT_CONTRADICTION" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "MISSING_CLAIM_IS_UNRESOLVED_NOT_CONTRADICTION" ], "assertions": [ { "assertion_id": "W-FXA-A037-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A037-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A037-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "MISSING_CLAIM_IS_UNRESOLVED_NOT_CONTRADICTION" }, { "assertion_id": "W-FXA-A037-FACT-1", "subject": "input.facts.term_claim_present", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A037-FACT-2", "subject": "input.facts.trace_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A037-FACT-3", "subject": "input.facts.marked_contradicted", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A038", "title": "A gloss cannot become identity merely through placement", "polarity": "ADVERSE", "scenario_type": "GLOSS_TO_IDENTITY", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "surface_relation": "EXPLANATORY_GLOSS", "identity_equivalent_declared": true }, "evaluation_contract": { "rule_id": "W-FXR-GLOSS_TO_IDENTITY", "combinator": "ALL", "predicates": [ { "fact": "surface_relation", "operator": "EQUALS", "expected": "EXPLANATORY_GLOSS" }, { "fact": "identity_equivalent_declared", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "REJECT", "reason_codes": [ "GLOSS_IDENTITY_COLLAPSE" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "REJECT", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "GLOSS_IDENTITY_COLLAPSE" ], "assertions": [ { "assertion_id": "W-FXA-A038-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "REJECT" }, { "assertion_id": "W-FXA-A038-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A038-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "GLOSS_IDENTITY_COLLAPSE" }, { "assertion_id": "W-FXA-A038-FACT-1", "subject": "input.facts.surface_relation", "operator": "EQUALS", "expected": "EXPLANATORY_GLOSS" }, { "assertion_id": "W-FXA-A038-FACT-2", "subject": "input.facts.identity_equivalent_declared", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A039", "title": "An incomplete exact T selector set blocks comparison", "polarity": "ADVERSE", "scenario_type": "T_SELECTOR_INCOMPLETE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "t_x_ref_present": true, "t_y_ref_present": false, "t_frame_present": true, "t_genus_selectors_present": true }, "evaluation_contract": { "rule_id": "W-FXR-T_SELECTOR_INCOMPLETE", "combinator": "ALL", "predicates": [ { "fact": "t_x_ref_present", "operator": "EQUALS", "expected": true }, { "fact": "t_y_ref_present", "operator": "EQUALS", "expected": false }, { "fact": "t_frame_present", "operator": "EQUALS", "expected": true }, { "fact": "t_genus_selectors_present", "operator": "EQUALS", "expected": true } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "T_EXACT_X_Y_FRAME_GENUS_REQUIRED" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "T_EXACT_X_Y_FRAME_GENUS_REQUIRED" ], "assertions": [ { "assertion_id": "W-FXA-A039-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A039-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A039-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "T_EXACT_X_Y_FRAME_GENUS_REQUIRED" }, { "assertion_id": "W-FXA-A039-FACT-1", "subject": "input.facts.t_x_ref_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A039-FACT-2", "subject": "input.facts.t_y_ref_present", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A039-FACT-3", "subject": "input.facts.t_frame_present", "operator": "EQUALS", "expected": true }, { "assertion_id": "W-FXA-A039-FACT-4", "subject": "input.facts.t_genus_selectors_present", "operator": "EQUALS", "expected": true } ] } }, { "fixture_id": "W-FX-A040", "title": "A non-L2 or carrier-free A result blocks comparison", "polarity": "ADVERSE", "scenario_type": "A_RESULT_SHAPE_INCOMPLETE", "profile_kind": "SYNTHETIC_INTERFACE_REFERENCE", "execution_claim": "NO_UPSTREAM_OPERA_EXECUTED", "input": { "facts": { "a_result_level": "L1", "a_carrier_results_present": false }, "evaluation_contract": { "rule_id": "W-FXR-A_RESULT_SHAPE_INCOMPLETE", "combinator": "ALL", "predicates": [ { "fact": "a_result_level", "operator": "EQUALS", "expected": "L1" }, { "fact": "a_carrier_results_present", "operator": "EQUALS", "expected": false } ], "when_satisfied": { "decision": "BLOCK", "reason_codes": [ "A_L2_CARRIER_RESULTS_REQUIRED" ] }, "when_unsatisfied": { "decision": "FIXTURE_INVALID", "reason_codes": [ "FIXTURE_FACTS_DO_NOT_REPRODUCE_DECLARED_SCENARIO" ] } } }, "expected": { "decision": "BLOCK", "candidate_reference_transition_allowed": false, "runtime_execution_allowed": false, "reason_codes": [ "A_L2_CARRIER_RESULTS_REQUIRED" ], "assertions": [ { "assertion_id": "W-FXA-A040-DECISION", "subject": "derived.decision", "operator": "EQUALS", "expected": "BLOCK" }, { "assertion_id": "W-FXA-A040-EXECUTION", "subject": "derived.candidate_reference_transition_allowed", "operator": "EQUALS", "expected": false }, { "assertion_id": "W-FXA-A040-REASON-1", "subject": "derived.reason_codes", "operator": "CONTAINS", "expected": "A_L2_CARRIER_RESULTS_REQUIRED" }, { "assertion_id": "W-FXA-A040-FACT-1", "subject": "input.facts.a_result_level", "operator": "EQUALS", "expected": "L1" }, { "assertion_id": "W-FXA-A040-FACT-2", "subject": "input.facts.a_carrier_results_present", "operator": "EQUALS", "expected": false } ] } } ] }