{
  "suite": "cain42.e42.verifier_assurance.v1",
  "cases": 15,
  "passed": 15,
  "failed": [],
  "note": "'caught' means the verifier produced the expected rejection / explicit NOT_ESTABLISHED / UNSUPPORTED result and did not award a behavioural pass. Counterexamples are retained, not hidden.",
  "results": [
    {
      "case": "valid_positive",
      "description": "the real bundle, unmutated",
      "expected": "clean baseline",
      "actual": "result=NO_FAILURES behavioural_pass=False",
      "caught": true
    },
    {
      "case": "field_mutation",
      "description": "decision body changed after signing",
      "expected": "SCHEMA:fail",
      "actual": "SCHEMA has fail=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "removed_field",
      "description": "receipt 'evidence' field removed",
      "expected": "SCHEMA:fail",
      "actual": "SCHEMA has fail=2; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "unknown_enum",
      "description": "decision enum set to MAYBE",
      "expected": "SCHEMA:fail",
      "actual": "SCHEMA has fail=2; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "unknown_fixture_class",
      "description": "fixture class not in the known set",
      "expected": "UNSUPPORTED:unsupported",
      "actual": "UNSUPPORTED has unsupported=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "empty_arrays",
      "description": "abi_envelopes emptied",
      "expected": "REPORT_CONSISTENCY:fail",
      "actual": "REPORT_CONSISTENCY has fail=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "inflated_totals",
      "description": "scenarios inflated to 999999",
      "expected": "REPORT_CONSISTENCY:fail",
      "actual": "REPORT_CONSISTENCY has fail=2; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "fake_success_flags",
      "description": "top-level ok=true while every step is false",
      "expected": "REPORT_CONSISTENCY:fail",
      "actual": "REPORT_CONSISTENCY has fail=21; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "mismatched_raw_summary",
      "description": "master digest replaced",
      "expected": "SEMANTIC_RECOMPUTATION:fail",
      "actual": "SEMANTIC_RECOMPUTATION has fail=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "replaced_signer_key",
      "description": "decision public key replaced",
      "expected": "SCHEMA:fail",
      "actual": "SCHEMA has fail=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "corrupted_signature",
      "description": "one signature byte changed",
      "expected": "SCHEMA:fail",
      "actual": "SCHEMA has fail=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "unsupported_abi",
      "description": "ABI version 9.9",
      "expected": "UNSUPPORTED:unsupported",
      "actual": "UNSUPPORTED has unsupported=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "altered_auth_path",
      "description": "auth_path reversed",
      "expected": "SCHEMA:fail",
      "actual": "SCHEMA has fail=1; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "fabricated_authority",
      "description": "authority set to a non-empty string",
      "expected": "UNSUPPORTED:not_established",
      "actual": "UNSUPPORTED has not_established=2; behavioural_pass=False",
      "caught": true
    },
    {
      "case": "signed_but_false_report",
      "description": "all report booleans set true",
      "expected": "clean baseline",
      "actual": "behavioural_pass=False; behavioural_pass=False",
      "caught": true
    }
  ]
}