{
  "experiment": "PASS",
  "proofVersion": "repeated-failure-enforcement-proof/v1",
  "generatedAt": "2026-07-20T03:17:27.082Z",
  "command": "node scripts/experiments/turn-ai-failures-into-enforced-rules.mjs --write",
  "isolation": "Two fresh Node processes in separate temporary working directories; deterministic synthetic data only; minimal child environment; no network, real logs, provider calls, credentials, customer data, or outside actions; temporary directories removed in finally.",
  "artifactRecord": {
    "schema": "synthetic-proof-artifact/v1",
    "artifactId": "synthetic-empty-source-summary-2026-07-19",
    "phase": "VERIFIED",
    "phaseAt": "2026-07-20T03:17:27.082Z",
    "deterministicArtifactSha256": "bb92e0df95fb3ff4499383a22951d6a3d055fac99b154aaaba3026cd69521659",
    "sourceScript": {
      "path": "scripts/experiments/turn-ai-failures-into-enforced-rules.mjs",
      "sha256": "08ac85828fc7cda711b696ece9cdffb824f9b80ae2673e0135669b4c3c1e74a7"
    },
    "runtime": {
      "platform": "win32",
      "architecture": "x64",
      "nodeVersion": "v24.16.0",
      "publicEntrypoint": "syntheticSourceSummary.run/v1",
      "consumer": "synthetic-local-validator/v1"
    },
    "limitations": [
      "The fixture proves one deterministic local validator changed behavior for one synthetic failure class in this run. It does not prove production reliability, safety, security, or universal rule quality.",
      "Three matching events establish repetition in the fixture, not real-world causation. A human approval is still required.",
      "The rule matches one public entrypoint, workflow, action, source kind, and source-count predicate. It says nothing about other inputs, tools, providers, or workflows.",
      "The near-match covers one changed discriminator only. It does not prove the rule has no other false positives.",
      "The expiry cases prove fixed-clock consumer decisions before, at, and after reviewBy. They do not prove a scheduler, notification, or reviewer acted.",
      "The rollback case has no prior rule, so it enters HUMAN_REVIEW_REQUIRED instead of silently allowing the bad case. It does not test restoration of an earlier version.",
      "The fixture uses no real logs, private prompts, incidents, customer data, credentials, provider calls, or outside actions."
    ],
    "artifactRecordSha256": "ac6cb6ffb2953159a7932ed4d61db3b62a63c7547d67430c56da67f97538cb9f"
  },
  "freshProcessReproduction": {
    "runs": [
      {
        "run": 1,
        "freshProcess": true,
        "isolatedWorkingDirectory": true,
        "exitCode": 0,
        "stdoutBytes": 55373,
        "stdoutSha256": "bb92e0df95fb3ff4499383a22951d6a3d055fac99b154aaaba3026cd69521659",
        "stderrSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      {
        "run": 2,
        "freshProcess": true,
        "isolatedWorkingDirectory": true,
        "exitCode": 0,
        "stdoutBytes": 55373,
        "stdoutSha256": "bb92e0df95fb3ff4499383a22951d6a3d055fac99b154aaaba3026cd69521659",
        "stderrSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    ],
    "byteIdentical": true,
    "deterministicArtifactSha256": "bb92e0df95fb3ff4499383a22951d6a3d055fac99b154aaaba3026cd69521659",
    "temporaryDirectoriesRemoved": true
  },
  "artifact": {
    "proofVersion": "repeated-failure-enforcement-proof/v1",
    "fixtureClock": {
      "firstFailureAt": "2026-06-01T09:00:00.000Z",
      "ruleApprovedAt": "2026-06-03T11:00:00.000Z",
      "ruleEffectiveFrom": "2026-06-03T12:00:00.000Z",
      "ruleReviewBy": "2026-07-18T23:59:59.000Z",
      "rollbackAt": "2026-07-19T09:05:00.000Z",
      "reviewCompletedAt": "2026-07-19T09:10:00.000Z"
    },
    "runtime": {
      "platform": "win32",
      "architecture": "x64",
      "nodeVersion": "v24.16.0",
      "publicEntrypoint": "syntheticSourceSummary.run/v1",
      "consumer": "synthetic-local-validator/v1"
    },
    "fixtureContract": {
      "proofVersion": "repeated-failure-enforcement-proof/v1",
      "fixtureId": "synthetic-empty-source-summary-2026-07-19",
      "purpose": "Test one synthetic evidence-to-rule transaction without reading real logs or taking an outside action.",
      "immutableBadInputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
      "publicEntrypoint": "syntheticSourceSummary.run/v1",
      "admission": {
        "requiredSignal": "SAME_INPUT_SAME_ERROR",
        "requiredErrorCode": "EMPTY_SOURCE_BLOCK_EMITTED",
        "minimumDistinctSupportEvents": 3,
        "rejectDuplicateSupportIds": true,
        "requireExactObservedPredicate": true,
        "requireNamedOwner": true,
        "requireNamedRuntimeConsumer": true,
        "requireHumanApproval": true,
        "requireReviewBy": true,
        "requireSafeRollbackPointer": true
      },
      "runtime": {
        "requiredInputFields": [
          "workflowId",
          "action",
          "sourceKind",
          "sourceCount"
        ],
        "decisions": [
          "ALLOW",
          "BLOCK",
          "REVIEW_REQUIRED",
          "HUMAN_REVIEW_REQUIRED"
        ],
        "expiryBoundary": "The rule requires review at reviewBy and after reviewBy.",
        "missingFieldBoundary": "A missing required input field returns HUMAN_REVIEW_REQUIRED and suppresses execution."
      },
      "permissions": {
        "network": "none",
        "realLogs": "none",
        "providerCalls": "none",
        "outsideActions": "none",
        "durableWrites": [
          "The named JSON report, and only when --write is supplied."
        ]
      },
      "limits": {
        "failureClasses": 1,
        "candidateRuleFamilies": 1,
        "activeRules": 1,
        "runtimeConsumers": 1,
        "automaticPromotion": false,
        "automaticRenewal": false,
        "automaticRollback": false
      },
      "independentReviewer": "deterministic-rule-proof-reviewer/v1"
    },
    "failureEvidence": {
      "classification": "SAME_INPUT_SAME_ERROR",
      "stableInputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
      "stableErrorCode": "EMPTY_SOURCE_BLOCK_EMITTED",
      "events": [
        {
          "schema": "synthetic-failure-event/v1",
          "eventId": "SYN-FAIL-001",
          "occurredAt": "2026-06-01T09:00:00.000Z",
          "signal": "SAME_INPUT_SAME_ERROR",
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "input": {
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set",
            "sourceCount": 0
          },
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "error": {
            "code": "EMPTY_SOURCE_BLOCK_EMITTED",
            "stage": "pre-output-validation"
          },
          "output": {
            "resultKind": "synthetic-empty-source-block",
            "citationsAttached": 0,
            "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
          },
          "outputSha256": "ab9b463d77ce093682781c6afe46b72d2be228c9bbb339b75bd981ff2774c558",
          "dataClass": "synthetic-only",
          "eventSha256": "832cdc22ac8ae66ec74eca559e259525d1faa787d7e818fd8b5a5cf5a2888994"
        },
        {
          "schema": "synthetic-failure-event/v1",
          "eventId": "SYN-FAIL-002",
          "occurredAt": "2026-06-02T09:00:00.000Z",
          "signal": "SAME_INPUT_SAME_ERROR",
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "input": {
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set",
            "sourceCount": 0
          },
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "error": {
            "code": "EMPTY_SOURCE_BLOCK_EMITTED",
            "stage": "pre-output-validation"
          },
          "output": {
            "resultKind": "synthetic-empty-source-block",
            "citationsAttached": 0,
            "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
          },
          "outputSha256": "ab9b463d77ce093682781c6afe46b72d2be228c9bbb339b75bd981ff2774c558",
          "dataClass": "synthetic-only",
          "eventSha256": "64f2e7e918fa0cc491bd0902ea69cff01fbe0643081a95d92b297ec8f1bfa95e"
        },
        {
          "schema": "synthetic-failure-event/v1",
          "eventId": "SYN-FAIL-003",
          "occurredAt": "2026-06-03T09:00:00.000Z",
          "signal": "SAME_INPUT_SAME_ERROR",
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "input": {
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set",
            "sourceCount": 0
          },
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "error": {
            "code": "EMPTY_SOURCE_BLOCK_EMITTED",
            "stage": "pre-output-validation"
          },
          "output": {
            "resultKind": "synthetic-empty-source-block",
            "citationsAttached": 0,
            "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
          },
          "outputSha256": "ab9b463d77ce093682781c6afe46b72d2be228c9bbb339b75bd981ff2774c558",
          "dataClass": "synthetic-only",
          "eventSha256": "ebb9dba546bd1cfb26bac7760655593254eecae1d177400fec93774fbeac8268"
        }
      ]
    },
    "promotionCases": {
      "duplicateUnderSupported": {
        "candidate": {
          "schema": "synthetic-rule-candidate/v1",
          "candidateId": "CANDIDATE-SYNTHETIC-EMPTY-SOURCE",
          "createdAt": "2026-06-03T10:30:00.000Z",
          "proposedRule": {
            "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
            "version": 1,
            "supersedes": null
          },
          "failureClass": {
            "signal": "SAME_INPUT_SAME_ERROR",
            "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
            "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
          },
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-001",
            "SYN-FAIL-002"
          ],
          "scope": {
            "publicEntrypoint": "syntheticSourceSummary.run/v1",
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set"
          },
          "predicate": {
            "field": "sourceCount",
            "operator": "equals",
            "value": 0
          },
          "effect": {
            "decision": "BLOCK",
            "executionDirective": "SUPPRESS"
          },
          "governance": {
            "owner": "fixture-policy-owner",
            "runtimeConsumer": "synthetic-local-validator/v1",
            "approval": {
              "status": "APPROVED",
              "approvedBy": "fixture-human-reviewer",
              "approvedAt": "2026-06-03T11:00:00.000Z"
            },
            "effectiveFrom": "2026-06-03T12:00:00.000Z",
            "reviewBy": "2026-07-18T23:59:59.000Z",
            "rollbackPointer": {
              "priorRule": null,
              "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
              "silentAllowPermitted": false
            }
          },
          "rationale": "Three distinct synthetic events share one immutable input fingerprint and one error code."
        },
        "candidateSha256": "eb3312053142bc592da835788dbcf21774f61be35f3ef72884f59a60753b1391",
        "admission": {
          "reviewer": "deterministic-rule-proof-reviewer/v1",
          "checkedAt": "2026-06-03T11:30:00.000Z",
          "checks": {
            "noDuplicateSupportIds": false,
            "minimumDistinctSupport": false,
            "allSupportEventsExist": true,
            "sameStableFailure": true,
            "exactObservedPredicate": true,
            "namedOwner": true,
            "namedRuntimeConsumer": true,
            "humanApproval": true,
            "validReviewWindow": true,
            "safeRollbackPointer": true
          },
          "rawSupportCount": 3,
          "distinctSupportCount": 2,
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-002"
          ],
          "errors": [
            "DUPLICATE_SUPPORT_EVENT_IDS",
            "INSUFFICIENT_DISTINCT_SUPPORT"
          ],
          "verdict": "REJECT"
        }
      },
      "supportedUnapproved": {
        "candidate": {
          "schema": "synthetic-rule-candidate/v1",
          "candidateId": "CANDIDATE-SYNTHETIC-EMPTY-SOURCE",
          "createdAt": "2026-06-03T10:30:00.000Z",
          "proposedRule": {
            "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
            "version": 1,
            "supersedes": null
          },
          "failureClass": {
            "signal": "SAME_INPUT_SAME_ERROR",
            "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
            "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
          },
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-002",
            "SYN-FAIL-003"
          ],
          "scope": {
            "publicEntrypoint": "syntheticSourceSummary.run/v1",
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set"
          },
          "predicate": {
            "field": "sourceCount",
            "operator": "equals",
            "value": 0
          },
          "effect": {
            "decision": "BLOCK",
            "executionDirective": "SUPPRESS"
          },
          "governance": {
            "owner": "fixture-policy-owner",
            "runtimeConsumer": "synthetic-local-validator/v1",
            "approval": {
              "status": "PENDING",
              "approvedBy": null,
              "approvedAt": null
            },
            "effectiveFrom": "2026-06-03T12:00:00.000Z",
            "reviewBy": "2026-07-18T23:59:59.000Z",
            "rollbackPointer": {
              "priorRule": null,
              "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
              "silentAllowPermitted": false
            }
          },
          "rationale": "Three distinct synthetic events share one immutable input fingerprint and one error code."
        },
        "candidateSha256": "28b3d32b9528bc4fa38c8c22b84fed56efbc548a140fca431bd636043429ae61",
        "admission": {
          "reviewer": "deterministic-rule-proof-reviewer/v1",
          "checkedAt": "2026-06-03T11:30:00.000Z",
          "checks": {
            "noDuplicateSupportIds": true,
            "minimumDistinctSupport": true,
            "allSupportEventsExist": true,
            "sameStableFailure": true,
            "exactObservedPredicate": true,
            "namedOwner": true,
            "namedRuntimeConsumer": true,
            "humanApproval": false,
            "validReviewWindow": true,
            "safeRollbackPointer": true
          },
          "rawSupportCount": 3,
          "distinctSupportCount": 3,
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-002",
            "SYN-FAIL-003"
          ],
          "errors": [
            "MISSING_APPROVAL"
          ],
          "verdict": "REJECT"
        }
      },
      "overbroad": {
        "candidate": {
          "schema": "synthetic-rule-candidate/v1",
          "candidateId": "CANDIDATE-SYNTHETIC-EMPTY-SOURCE",
          "createdAt": "2026-06-03T10:30:00.000Z",
          "proposedRule": {
            "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
            "version": 1,
            "supersedes": null
          },
          "failureClass": {
            "signal": "SAME_INPUT_SAME_ERROR",
            "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
            "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
          },
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-002",
            "SYN-FAIL-003"
          ],
          "scope": {
            "publicEntrypoint": "syntheticSourceSummary.run/v1",
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set"
          },
          "predicate": {
            "field": "sourceCount",
            "operator": "lessThanOrEqual",
            "value": 1
          },
          "effect": {
            "decision": "BLOCK",
            "executionDirective": "SUPPRESS"
          },
          "governance": {
            "owner": "fixture-policy-owner",
            "runtimeConsumer": "synthetic-local-validator/v1",
            "approval": {
              "status": "APPROVED",
              "approvedBy": "fixture-human-reviewer",
              "approvedAt": "2026-06-03T11:00:00.000Z"
            },
            "effectiveFrom": "2026-06-03T12:00:00.000Z",
            "reviewBy": "2026-07-18T23:59:59.000Z",
            "rollbackPointer": {
              "priorRule": null,
              "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
              "silentAllowPermitted": false
            }
          },
          "rationale": "Three distinct synthetic events share one immutable input fingerprint and one error code."
        },
        "candidateSha256": "c8af1c98832033bbb2d59ba95c89fb1ef39cb7992a41831c1e9b1e8373aca76b",
        "admission": {
          "reviewer": "deterministic-rule-proof-reviewer/v1",
          "checkedAt": "2026-06-03T11:30:00.000Z",
          "checks": {
            "noDuplicateSupportIds": true,
            "minimumDistinctSupport": true,
            "allSupportEventsExist": true,
            "sameStableFailure": true,
            "exactObservedPredicate": false,
            "namedOwner": true,
            "namedRuntimeConsumer": true,
            "humanApproval": true,
            "validReviewWindow": true,
            "safeRollbackPointer": true
          },
          "rawSupportCount": 3,
          "distinctSupportCount": 3,
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-002",
            "SYN-FAIL-003"
          ],
          "errors": [
            "OVERBROAD_PREDICATE"
          ],
          "verdict": "REJECT"
        }
      },
      "approved": {
        "candidate": {
          "schema": "synthetic-rule-candidate/v1",
          "candidateId": "CANDIDATE-SYNTHETIC-EMPTY-SOURCE",
          "createdAt": "2026-06-03T10:30:00.000Z",
          "proposedRule": {
            "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
            "version": 1,
            "supersedes": null
          },
          "failureClass": {
            "signal": "SAME_INPUT_SAME_ERROR",
            "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
            "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
          },
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-002",
            "SYN-FAIL-003"
          ],
          "scope": {
            "publicEntrypoint": "syntheticSourceSummary.run/v1",
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set"
          },
          "predicate": {
            "field": "sourceCount",
            "operator": "equals",
            "value": 0
          },
          "effect": {
            "decision": "BLOCK",
            "executionDirective": "SUPPRESS"
          },
          "governance": {
            "owner": "fixture-policy-owner",
            "runtimeConsumer": "synthetic-local-validator/v1",
            "approval": {
              "status": "APPROVED",
              "approvedBy": "fixture-human-reviewer",
              "approvedAt": "2026-06-03T11:00:00.000Z"
            },
            "effectiveFrom": "2026-06-03T12:00:00.000Z",
            "reviewBy": "2026-07-18T23:59:59.000Z",
            "rollbackPointer": {
              "priorRule": null,
              "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
              "silentAllowPermitted": false
            }
          },
          "rationale": "Three distinct synthetic events share one immutable input fingerprint and one error code."
        },
        "candidateSha256": "c9c6e3559e3a521a9c933ecb69bc8087a4956d94fe9ec2d8f611c8b6c230103d",
        "admission": {
          "reviewer": "deterministic-rule-proof-reviewer/v1",
          "checkedAt": "2026-06-03T11:30:00.000Z",
          "checks": {
            "noDuplicateSupportIds": true,
            "minimumDistinctSupport": true,
            "allSupportEventsExist": true,
            "sameStableFailure": true,
            "exactObservedPredicate": true,
            "namedOwner": true,
            "namedRuntimeConsumer": true,
            "humanApproval": true,
            "validReviewWindow": true,
            "safeRollbackPointer": true
          },
          "rawSupportCount": 3,
          "distinctSupportCount": 3,
          "supportEventIds": [
            "SYN-FAIL-001",
            "SYN-FAIL-002",
            "SYN-FAIL-003"
          ],
          "errors": [],
          "verdict": "APPROVE"
        }
      }
    },
    "approvedRule": {
      "schema": "synthetic-runtime-rule/v1",
      "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
      "version": 1,
      "supersedes": null,
      "phase": "ACTIVE",
      "createdAt": "2026-06-03T10:30:00.000Z",
      "approvedAt": "2026-06-03T11:00:00.000Z",
      "effectiveFrom": "2026-06-03T12:00:00.000Z",
      "reviewBy": "2026-07-18T23:59:59.000Z",
      "scope": {
        "publicEntrypoint": "syntheticSourceSummary.run/v1",
        "workflowId": "synthetic-source-summary",
        "action": "produce-cited-summary",
        "sourceKind": "synthetic-reference-set"
      },
      "predicate": {
        "field": "sourceCount",
        "operator": "equals",
        "value": 0
      },
      "effect": {
        "decision": "BLOCK",
        "executionDirective": "SUPPRESS"
      },
      "owner": "fixture-policy-owner",
      "approvedBy": "fixture-human-reviewer",
      "runtimeConsumer": "synthetic-local-validator/v1",
      "failureEvidence": {
        "failureClass": {
          "signal": "SAME_INPUT_SAME_ERROR",
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
        },
        "supportEventIds": [
          "SYN-FAIL-001",
          "SYN-FAIL-002",
          "SYN-FAIL-003"
        ],
        "distinctSupportCount": 3,
        "evidenceSetSha256": "32a371cdce5756aba97b4d27fed7fd3fdb18a585de69c0c0011f80d6fd7b89a2"
      },
      "rollbackPointer": {
        "priorRule": null,
        "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
        "silentAllowPermitted": false
      },
      "rationale": "Three distinct synthetic events share one immutable input fingerprint and one error code.",
      "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714"
    },
    "registry": {
      "schema": "synthetic-rule-registry/v1",
      "activePointer": {
        "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
        "version": 1
      },
      "rules": [
        {
          "schema": "synthetic-runtime-rule/v1",
          "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
          "version": 1,
          "supersedes": null,
          "phase": "ACTIVE",
          "createdAt": "2026-06-03T10:30:00.000Z",
          "approvedAt": "2026-06-03T11:00:00.000Z",
          "effectiveFrom": "2026-06-03T12:00:00.000Z",
          "reviewBy": "2026-07-18T23:59:59.000Z",
          "scope": {
            "publicEntrypoint": "syntheticSourceSummary.run/v1",
            "workflowId": "synthetic-source-summary",
            "action": "produce-cited-summary",
            "sourceKind": "synthetic-reference-set"
          },
          "predicate": {
            "field": "sourceCount",
            "operator": "equals",
            "value": 0
          },
          "effect": {
            "decision": "BLOCK",
            "executionDirective": "SUPPRESS"
          },
          "owner": "fixture-policy-owner",
          "approvedBy": "fixture-human-reviewer",
          "runtimeConsumer": "synthetic-local-validator/v1",
          "failureEvidence": {
            "failureClass": {
              "signal": "SAME_INPUT_SAME_ERROR",
              "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
              "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
            },
            "supportEventIds": [
              "SYN-FAIL-001",
              "SYN-FAIL-002",
              "SYN-FAIL-003"
            ],
            "distinctSupportCount": 3,
            "evidenceSetSha256": "32a371cdce5756aba97b4d27fed7fd3fdb18a585de69c0c0011f80d6fd7b89a2"
          },
          "rollbackPointer": {
            "priorRule": null,
            "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
            "silentAllowPermitted": false
          },
          "rationale": "Three distinct synthetic events share one immutable input fingerprint and one error code.",
          "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714"
        }
      ],
      "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
    },
    "tests": {
      "redBefore": {
        "testId": "red-before-no-guard",
        "expectedDecision": "BLOCK",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-06-03T10:00:00.000Z",
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "guard": {
            "decision": "ALLOW",
            "reason": "NO_GUARD_CONFIGURED",
            "executionDirective": "EXECUTE",
            "receipt": null
          },
          "execution": "EXECUTED",
          "sideEffects": [
            {
              "schema": "synthetic-entrypoint-execution/v1",
              "executedAt": "2026-06-03T10:00:00.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
              "output": {
                "resultKind": "synthetic-empty-source-block",
                "citationsAttached": 0,
                "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
              },
              "outputSha256": "ab9b463d77ce093682781c6afe46b72d2be228c9bbb339b75bd981ff2774c558",
              "dataClass": "synthetic-only",
              "executionSha256": "dca3d93511856e821e4c986cf2b4dbcfd777b89414edbbbf86838af468bb579a"
            }
          ]
        },
        "verdict": "FAIL"
      },
      "recurrenceBlocked": {
        "testId": "green-after-block-recurrence",
        "expectedDecision": "BLOCK",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-06-03T12:05:00.000Z",
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "guard": {
            "decision": "BLOCK",
            "reason": "APPROVED_RULE_MATCHED",
            "executionDirective": "SUPPRESS",
            "receipt": {
              "schema": "synthetic-enforcement-receipt/v1",
              "receiptId": "RECEIPT-e1dd270db639d650",
              "emittedAt": "2026-06-03T12:05:00.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "consumer": {
                "id": "synthetic-local-validator/v1",
                "activeVersionLoaded": true,
                "loadError": null,
                "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
              },
              "rule": {
                "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
                "version": 1,
                "phase": "ACTIVE",
                "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
                "owner": "fixture-policy-owner",
                "approvedBy": "fixture-human-reviewer",
                "effectiveFrom": "2026-06-03T12:00:00.000Z",
                "reviewBy": "2026-07-18T23:59:59.000Z"
              },
              "input": {
                "sha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
                "missingRequiredFields": []
              },
              "evaluation": {
                "scopeMatched": true,
                "predicateMatched": true,
                "temporalState": "WITHIN_REVIEW_WINDOW",
                "decision": "BLOCK",
                "reason": "APPROVED_RULE_MATCHED",
                "executionDirective": "SUPPRESS"
              },
              "receiptSha256": "38ff1b514d0b64f0861cab097139af28f377fd5a59741d6bcb8672666def8b27"
            }
          },
          "execution": "SUPPRESSED_BY_GUARD",
          "sideEffects": []
        },
        "verdict": "PASS"
      },
      "changedInputAllowed": {
        "testId": "green-after-allow-changed-input",
        "expectedDecision": "ALLOW",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-06-03T12:06:00.000Z",
          "inputSha256": "c835d7e3ebd4206d7d5afddd3abcf898ff52a3bdbb2909e7ec9dee4b4a540426",
          "guard": {
            "decision": "ALLOW",
            "reason": "VALID_COUNTEREXAMPLE_DID_NOT_MATCH",
            "executionDirective": "EXECUTE",
            "receipt": {
              "schema": "synthetic-enforcement-receipt/v1",
              "receiptId": "RECEIPT-ce6434f26307797c",
              "emittedAt": "2026-06-03T12:06:00.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "consumer": {
                "id": "synthetic-local-validator/v1",
                "activeVersionLoaded": true,
                "loadError": null,
                "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
              },
              "rule": {
                "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
                "version": 1,
                "phase": "ACTIVE",
                "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
                "owner": "fixture-policy-owner",
                "approvedBy": "fixture-human-reviewer",
                "effectiveFrom": "2026-06-03T12:00:00.000Z",
                "reviewBy": "2026-07-18T23:59:59.000Z"
              },
              "input": {
                "sha256": "c835d7e3ebd4206d7d5afddd3abcf898ff52a3bdbb2909e7ec9dee4b4a540426",
                "missingRequiredFields": []
              },
              "evaluation": {
                "scopeMatched": true,
                "predicateMatched": false,
                "temporalState": "WITHIN_REVIEW_WINDOW",
                "decision": "ALLOW",
                "reason": "VALID_COUNTEREXAMPLE_DID_NOT_MATCH",
                "executionDirective": "EXECUTE"
              },
              "receiptSha256": "4c127a92c4cb3bb01609591b61993fc48decc42c4cac485b0a851a2be8505df9"
            }
          },
          "execution": "EXECUTED",
          "sideEffects": [
            {
              "schema": "synthetic-entrypoint-execution/v1",
              "executedAt": "2026-06-03T12:06:00.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "inputSha256": "c835d7e3ebd4206d7d5afddd3abcf898ff52a3bdbb2909e7ec9dee4b4a540426",
              "output": {
                "resultKind": "synthetic-cited-summary",
                "citationsAttached": 1,
                "errorCode": null
              },
              "outputSha256": "ea39c22de9173b8c28b233bf3b3a124ec04fdd432b58d7a031d2a4e7cf306a30",
              "dataClass": "synthetic-only",
              "executionSha256": "bc2490c11197acbc53d8641639e41bae6c82112b74f25e59904ac018ed02106e"
            }
          ]
        },
        "verdict": "PASS"
      },
      "missingField": {
        "testId": "missing-field-human-review-required",
        "expectedDecision": "HUMAN_REVIEW_REQUIRED",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-06-03T12:07:00.000Z",
          "inputSha256": "0f7c3dbe6022c7a60787b172677b9279c7bf5613ac28cae76bb0b3c6b1d2ecb8",
          "guard": {
            "decision": "HUMAN_REVIEW_REQUIRED",
            "reason": "MISSING_REQUIRED_INPUT_FIELDS",
            "executionDirective": "SUPPRESS",
            "receipt": {
              "schema": "synthetic-enforcement-receipt/v1",
              "receiptId": "RECEIPT-bb16070defec3e3b",
              "emittedAt": "2026-06-03T12:07:00.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "consumer": {
                "id": "synthetic-local-validator/v1",
                "activeVersionLoaded": true,
                "loadError": null,
                "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
              },
              "rule": {
                "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
                "version": 1,
                "phase": "ACTIVE",
                "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
                "owner": "fixture-policy-owner",
                "approvedBy": "fixture-human-reviewer",
                "effectiveFrom": "2026-06-03T12:00:00.000Z",
                "reviewBy": "2026-07-18T23:59:59.000Z"
              },
              "input": {
                "sha256": "0f7c3dbe6022c7a60787b172677b9279c7bf5613ac28cae76bb0b3c6b1d2ecb8",
                "missingRequiredFields": [
                  "sourceCount"
                ]
              },
              "evaluation": {
                "scopeMatched": false,
                "predicateMatched": false,
                "temporalState": "NOT_EVALUATED",
                "decision": "HUMAN_REVIEW_REQUIRED",
                "reason": "MISSING_REQUIRED_INPUT_FIELDS",
                "executionDirective": "SUPPRESS"
              },
              "receiptSha256": "5e7758e076a6853e3b2b1a603eee4d760bcb8ad5576e91e69f69ca61d1738a54"
            }
          },
          "execution": "SUPPRESSED_BY_GUARD",
          "sideEffects": []
        },
        "verdict": "PASS"
      },
      "justBeforeExpiry": {
        "testId": "fixed-clock-just-before-review-by",
        "expectedDecision": "BLOCK",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-07-18T23:59:58.999Z",
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "guard": {
            "decision": "BLOCK",
            "reason": "APPROVED_RULE_MATCHED",
            "executionDirective": "SUPPRESS",
            "receipt": {
              "schema": "synthetic-enforcement-receipt/v1",
              "receiptId": "RECEIPT-769a152a62bb062b",
              "emittedAt": "2026-07-18T23:59:58.999Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "consumer": {
                "id": "synthetic-local-validator/v1",
                "activeVersionLoaded": true,
                "loadError": null,
                "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
              },
              "rule": {
                "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
                "version": 1,
                "phase": "ACTIVE",
                "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
                "owner": "fixture-policy-owner",
                "approvedBy": "fixture-human-reviewer",
                "effectiveFrom": "2026-06-03T12:00:00.000Z",
                "reviewBy": "2026-07-18T23:59:59.000Z"
              },
              "input": {
                "sha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
                "missingRequiredFields": []
              },
              "evaluation": {
                "scopeMatched": true,
                "predicateMatched": true,
                "temporalState": "WITHIN_REVIEW_WINDOW",
                "decision": "BLOCK",
                "reason": "APPROVED_RULE_MATCHED",
                "executionDirective": "SUPPRESS"
              },
              "receiptSha256": "ab2b4ca37014f2828944ad22f43b78eb62301d051d0192d277ecfe053e1ef36f"
            }
          },
          "execution": "SUPPRESSED_BY_GUARD",
          "sideEffects": []
        },
        "verdict": "PASS"
      },
      "atExpiry": {
        "testId": "fixed-clock-at-review-by",
        "expectedDecision": "REVIEW_REQUIRED",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-07-18T23:59:59.000Z",
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "guard": {
            "decision": "REVIEW_REQUIRED",
            "reason": "RULE_REVIEW_DUE",
            "executionDirective": "SUPPRESS",
            "receipt": {
              "schema": "synthetic-enforcement-receipt/v1",
              "receiptId": "RECEIPT-f9346c7112c480e6",
              "emittedAt": "2026-07-18T23:59:59.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "consumer": {
                "id": "synthetic-local-validator/v1",
                "activeVersionLoaded": true,
                "loadError": null,
                "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
              },
              "rule": {
                "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
                "version": 1,
                "phase": "ACTIVE",
                "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
                "owner": "fixture-policy-owner",
                "approvedBy": "fixture-human-reviewer",
                "effectiveFrom": "2026-06-03T12:00:00.000Z",
                "reviewBy": "2026-07-18T23:59:59.000Z"
              },
              "input": {
                "sha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
                "missingRequiredFields": []
              },
              "evaluation": {
                "scopeMatched": true,
                "predicateMatched": true,
                "temporalState": "AT_REVIEW_BY",
                "decision": "REVIEW_REQUIRED",
                "reason": "RULE_REVIEW_DUE",
                "executionDirective": "SUPPRESS"
              },
              "receiptSha256": "617d3c1422c0b8ff243bd45810a1af6aac751609942c96e4d18d195fac900091"
            }
          },
          "execution": "SUPPRESSED_BY_GUARD",
          "sideEffects": []
        },
        "verdict": "PASS"
      },
      "afterExpiry": {
        "testId": "fixed-clock-after-review-by",
        "expectedDecision": "REVIEW_REQUIRED",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-07-18T23:59:59.001Z",
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "guard": {
            "decision": "REVIEW_REQUIRED",
            "reason": "RULE_REVIEW_DUE",
            "executionDirective": "SUPPRESS",
            "receipt": {
              "schema": "synthetic-enforcement-receipt/v1",
              "receiptId": "RECEIPT-8f551266b665b10e",
              "emittedAt": "2026-07-18T23:59:59.001Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "consumer": {
                "id": "synthetic-local-validator/v1",
                "activeVersionLoaded": true,
                "loadError": null,
                "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
              },
              "rule": {
                "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
                "version": 1,
                "phase": "ACTIVE",
                "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
                "owner": "fixture-policy-owner",
                "approvedBy": "fixture-human-reviewer",
                "effectiveFrom": "2026-06-03T12:00:00.000Z",
                "reviewBy": "2026-07-18T23:59:59.000Z"
              },
              "input": {
                "sha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
                "missingRequiredFields": []
              },
              "evaluation": {
                "scopeMatched": true,
                "predicateMatched": true,
                "temporalState": "PAST_REVIEW_BY",
                "decision": "REVIEW_REQUIRED",
                "reason": "RULE_REVIEW_DUE",
                "executionDirective": "SUPPRESS"
              },
              "receiptSha256": "29ce944e917fab75c56767c1a2fedc13f46ec8d812e24491b4ad61cea12da508"
            }
          },
          "execution": "SUPPRESSED_BY_GUARD",
          "sideEffects": []
        },
        "verdict": "PASS"
      },
      "afterRollback": {
        "testId": "rollback-to-human-review-required",
        "expectedDecision": "HUMAN_REVIEW_REQUIRED",
        "observed": {
          "publicEntrypoint": "syntheticSourceSummary.run/v1",
          "observedAt": "2026-07-19T09:06:00.000Z",
          "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
          "guard": {
            "decision": "HUMAN_REVIEW_REQUIRED",
            "reason": "ROLLED_BACK_WITHOUT_PRIOR_RULE",
            "executionDirective": "SUPPRESS",
            "receipt": {
              "schema": "synthetic-enforcement-receipt/v1",
              "receiptId": "RECEIPT-cdab6ef53052760f",
              "emittedAt": "2026-07-19T09:06:00.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "consumer": {
                "id": "synthetic-local-validator/v1",
                "activeVersionLoaded": false,
                "loadError": "ROLLED_BACK_TO_SAFE_STATE",
                "registrySha256": null
              },
              "rule": null,
              "input": {
                "sha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
                "missingRequiredFields": []
              },
              "evaluation": {
                "scopeMatched": null,
                "predicateMatched": null,
                "temporalState": "ROLLED_BACK",
                "decision": "HUMAN_REVIEW_REQUIRED",
                "reason": "ROLLED_BACK_WITHOUT_PRIOR_RULE",
                "executionDirective": "SUPPRESS"
              },
              "receiptSha256": "0fa624b92c8b2c8cfb29d9a2bfcd4716a0029e9eb8d604b233436cb81cd625f1"
            }
          },
          "execution": "SUPPRESSED_BY_GUARD",
          "sideEffects": []
        },
        "verdict": "PASS"
      }
    },
    "rollback": {
      "schema": "synthetic-rule-rollback/v1",
      "rollbackId": "ROLLBACK-SYNTHETIC-EMPTY-SOURCE-V1",
      "rolledBackAt": "2026-07-19T09:05:00.000Z",
      "rolledBackRule": {
        "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
        "version": 1,
        "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714"
      },
      "approvedBy": "fixture-human-reviewer",
      "reason": "Synthetic expiry review selected the sealed safe fallback.",
      "pointer": {
        "priorRule": null,
        "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
        "silentAllowPermitted": false
      },
      "resultingActiveRule": null,
      "resultingPolicyState": "HUMAN_REVIEW_REQUIRED",
      "rollbackSha256": "4a49ba7b2aac67ecbc34ba09836af984758cee30bad154e836376890691a2bca"
    },
    "hashes": {
      "fixtureContractSha256": "147780dae05f54b94ed87cb986139aa0ac7f6cffedbd3b0691c2cb9503f6e00e",
      "failureEvidenceSha256": "32a371cdce5756aba97b4d27fed7fd3fdb18a585de69c0c0011f80d6fd7b89a2",
      "badInputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
      "changedInputSha256": "c835d7e3ebd4206d7d5afddd3abcf898ff52a3bdbb2909e7ec9dee4b4a540426",
      "approvedCandidateSha256": "c9c6e3559e3a521a9c933ecb69bc8087a4956d94fe9ec2d8f611c8b6c230103d",
      "approvedRuleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
      "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18",
      "rollbackSha256": "4a49ba7b2aac67ecbc34ba09836af984758cee30bad154e836376890691a2bca"
    },
    "privacy": {
      "syntheticInputOnly": true,
      "realLogsRead": false,
      "networkUsed": false,
      "providerCallsMade": false,
      "outsideActionsTaken": false,
      "secretsPersisted": false,
      "customerDataPersisted": false,
      "rawPromptsPersisted": false
    },
    "limits": [
      "The fixture proves one deterministic local validator changed behavior for one synthetic failure class in this run. It does not prove production reliability, safety, security, or universal rule quality.",
      "Three matching events establish repetition in the fixture, not real-world causation. A human approval is still required.",
      "The rule matches one public entrypoint, workflow, action, source kind, and source-count predicate. It says nothing about other inputs, tools, providers, or workflows.",
      "The near-match covers one changed discriminator only. It does not prove the rule has no other false positives.",
      "The expiry cases prove fixed-clock consumer decisions before, at, and after reviewBy. They do not prove a scheduler, notification, or reviewer acted.",
      "The rollback case has no prior rule, so it enters HUMAN_REVIEW_REQUIRED instead of silently allowing the bad case. It does not test restoration of an earlier version.",
      "The fixture uses no real logs, private prompts, incidents, customer data, credentials, provider calls, or outside actions."
    ],
    "independentSelfChecks": {
      "reviewer": "deterministic-rule-proof-reviewer/v1",
      "checkedAt": "2026-07-19T09:10:00.000Z",
      "expectedCaseMatrix": {
        "matrixVersion": "independent-expected-case-matrix/v1",
        "results": [
          {
            "caseId": "admission-duplicate-under-support",
            "passed": true,
            "expected": {
              "caseId": "admission-duplicate-under-support",
              "path": "promotionCases.duplicateUnderSupported",
              "expectedVerdict": "REJECT",
              "expectedErrors": [
                "DUPLICATE_SUPPORT_EVENT_IDS",
                "INSUFFICIENT_DISTINCT_SUPPORT"
              ]
            },
            "actual": {
              "verdict": "REJECT",
              "errors": [
                "DUPLICATE_SUPPORT_EVENT_IDS",
                "INSUFFICIENT_DISTINCT_SUPPORT"
              ]
            }
          },
          {
            "caseId": "admission-supported-unapproved",
            "passed": true,
            "expected": {
              "caseId": "admission-supported-unapproved",
              "path": "promotionCases.supportedUnapproved",
              "expectedVerdict": "REJECT",
              "expectedErrors": [
                "MISSING_APPROVAL"
              ]
            },
            "actual": {
              "verdict": "REJECT",
              "errors": [
                "MISSING_APPROVAL"
              ]
            }
          },
          {
            "caseId": "admission-overbroad-rule",
            "passed": true,
            "expected": {
              "caseId": "admission-overbroad-rule",
              "path": "promotionCases.overbroad",
              "expectedVerdict": "REJECT",
              "expectedErrors": [
                "OVERBROAD_PREDICATE"
              ]
            },
            "actual": {
              "verdict": "REJECT",
              "errors": [
                "OVERBROAD_PREDICATE"
              ]
            }
          },
          {
            "caseId": "admission-scoped-approved",
            "passed": true,
            "expected": {
              "caseId": "admission-scoped-approved",
              "path": "promotionCases.approved",
              "expectedVerdict": "APPROVE",
              "expectedErrors": []
            },
            "actual": {
              "verdict": "APPROVE",
              "errors": []
            }
          },
          {
            "caseId": "red-before",
            "passed": true,
            "expected": {
              "caseId": "red-before",
              "path": "tests.redBefore",
              "expectedDecision": "ALLOW",
              "expectedTestVerdict": "FAIL",
              "expectedExecution": "EXECUTED"
            },
            "actual": {
              "decision": "ALLOW",
              "testVerdict": "FAIL",
              "execution": "EXECUTED"
            }
          },
          {
            "caseId": "green-block-recurrence",
            "passed": true,
            "expected": {
              "caseId": "green-block-recurrence",
              "path": "tests.recurrenceBlocked",
              "expectedDecision": "BLOCK",
              "expectedTestVerdict": "PASS",
              "expectedExecution": "SUPPRESSED_BY_GUARD"
            },
            "actual": {
              "decision": "BLOCK",
              "testVerdict": "PASS",
              "execution": "SUPPRESSED_BY_GUARD"
            }
          },
          {
            "caseId": "green-allow-near-match",
            "passed": true,
            "expected": {
              "caseId": "green-allow-near-match",
              "path": "tests.changedInputAllowed",
              "expectedDecision": "ALLOW",
              "expectedTestVerdict": "PASS",
              "expectedExecution": "EXECUTED"
            },
            "actual": {
              "decision": "ALLOW",
              "testVerdict": "PASS",
              "execution": "EXECUTED"
            }
          },
          {
            "caseId": "missing-field-fails-safe",
            "passed": true,
            "expected": {
              "caseId": "missing-field-fails-safe",
              "path": "tests.missingField",
              "expectedDecision": "HUMAN_REVIEW_REQUIRED",
              "expectedTestVerdict": "PASS",
              "expectedExecution": "SUPPRESSED_BY_GUARD"
            },
            "actual": {
              "decision": "HUMAN_REVIEW_REQUIRED",
              "testVerdict": "PASS",
              "execution": "SUPPRESSED_BY_GUARD"
            }
          },
          {
            "caseId": "just-before-expiry",
            "passed": true,
            "expected": {
              "caseId": "just-before-expiry",
              "path": "tests.justBeforeExpiry",
              "expectedDecision": "BLOCK",
              "expectedTestVerdict": "PASS",
              "expectedExecution": "SUPPRESSED_BY_GUARD"
            },
            "actual": {
              "decision": "BLOCK",
              "testVerdict": "PASS",
              "execution": "SUPPRESSED_BY_GUARD"
            }
          },
          {
            "caseId": "at-expiry",
            "passed": true,
            "expected": {
              "caseId": "at-expiry",
              "path": "tests.atExpiry",
              "expectedDecision": "REVIEW_REQUIRED",
              "expectedTestVerdict": "PASS",
              "expectedExecution": "SUPPRESSED_BY_GUARD"
            },
            "actual": {
              "decision": "REVIEW_REQUIRED",
              "testVerdict": "PASS",
              "execution": "SUPPRESSED_BY_GUARD"
            }
          },
          {
            "caseId": "after-expiry",
            "passed": true,
            "expected": {
              "caseId": "after-expiry",
              "path": "tests.afterExpiry",
              "expectedDecision": "REVIEW_REQUIRED",
              "expectedTestVerdict": "PASS",
              "expectedExecution": "SUPPRESSED_BY_GUARD"
            },
            "actual": {
              "decision": "REVIEW_REQUIRED",
              "testVerdict": "PASS",
              "execution": "SUPPRESSED_BY_GUARD"
            }
          },
          {
            "caseId": "rollback-safe-state",
            "passed": true,
            "expected": {
              "caseId": "rollback-safe-state",
              "path": "tests.afterRollback",
              "expectedDecision": "HUMAN_REVIEW_REQUIRED",
              "expectedTestVerdict": "PASS",
              "expectedExecution": "SUPPRESSED_BY_GUARD"
            },
            "actual": {
              "decision": "HUMAN_REVIEW_REQUIRED",
              "testVerdict": "PASS",
              "execution": "SUPPRESSED_BY_GUARD"
            }
          }
        ],
        "passed": 12,
        "total": 12,
        "overall": "PASS"
      },
      "checks": [
        {
          "id": "fixture-contract-hash-recomputes",
          "passed": true,
          "evidence": "147780dae05f54b94ed87cb986139aa0ac7f6cffedbd3b0691c2cb9503f6e00e"
        },
        {
          "id": "immutable-bad-input-reused-at-public-entrypoint",
          "passed": true,
          "evidence": {
            "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
            "publicEntrypoint": "syntheticSourceSummary.run/v1"
          }
        },
        {
          "id": "baseline-side-effect-proves-bad-case-executes",
          "passed": true,
          "evidence": [
            {
              "schema": "synthetic-entrypoint-execution/v1",
              "executedAt": "2026-06-03T10:00:00.000Z",
              "publicEntrypoint": "syntheticSourceSummary.run/v1",
              "inputSha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
              "output": {
                "resultKind": "synthetic-empty-source-block",
                "citationsAttached": 0,
                "errorCode": "EMPTY_SOURCE_BLOCK_EMITTED"
              },
              "outputSha256": "ab9b463d77ce093682781c6afe46b72d2be228c9bbb339b75bd981ff2774c558",
              "dataClass": "synthetic-only",
              "executionSha256": "dca3d93511856e821e4c986cf2b4dbcfd777b89414edbbbf86838af468bb579a"
            }
          ]
        },
        {
          "id": "same-input-same-error-events",
          "passed": true,
          "evidence": {
            "signals": [
              "SAME_INPUT_SAME_ERROR"
            ],
            "inputHashes": [
              "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375"
            ],
            "errorCodes": [
              "EMPTY_SOURCE_BLOCK_EMITTED"
            ]
          }
        },
        {
          "id": "failure-event-hashes-recompute",
          "passed": true,
          "evidence": {
            "hashes": [
              "832cdc22ac8ae66ec74eca559e259525d1faa787d7e818fd8b5a5cf5a2888994",
              "64f2e7e918fa0cc491bd0902ea69cff01fbe0643081a95d92b297ec8f1bfa95e",
              "ebb9dba546bd1cfb26bac7760655593254eecae1d177400fec93774fbeac8268"
            ]
          }
        },
        {
          "id": "approved-rule-is-versioned-owned-consumed-and-hashed",
          "passed": true,
          "evidence": {
            "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
            "version": 1,
            "phase": "ACTIVE",
            "owner": "fixture-policy-owner",
            "approvedBy": "fixture-human-reviewer",
            "runtimeConsumer": "synthetic-local-validator/v1"
          }
        },
        {
          "id": "named-consumer-loaded-active-version-and-emitted-rich-receipt",
          "passed": true,
          "evidence": {
            "schema": "synthetic-enforcement-receipt/v1",
            "receiptId": "RECEIPT-e1dd270db639d650",
            "emittedAt": "2026-06-03T12:05:00.000Z",
            "publicEntrypoint": "syntheticSourceSummary.run/v1",
            "consumer": {
              "id": "synthetic-local-validator/v1",
              "activeVersionLoaded": true,
              "loadError": null,
              "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
            },
            "rule": {
              "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
              "version": 1,
              "phase": "ACTIVE",
              "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
              "owner": "fixture-policy-owner",
              "approvedBy": "fixture-human-reviewer",
              "effectiveFrom": "2026-06-03T12:00:00.000Z",
              "reviewBy": "2026-07-18T23:59:59.000Z"
            },
            "input": {
              "sha256": "7154470c8aa90aec222455f9080b5ddda5fd4b16c9b7da0c5ce748044c0d3375",
              "missingRequiredFields": []
            },
            "evaluation": {
              "scopeMatched": true,
              "predicateMatched": true,
              "temporalState": "WITHIN_REVIEW_WINDOW",
              "decision": "BLOCK",
              "reason": "APPROVED_RULE_MATCHED",
              "executionDirective": "SUPPRESS"
            },
            "receiptSha256": "38ff1b514d0b64f0861cab097139af28f377fd5a59741d6bcb8672666def8b27"
          }
        },
        {
          "id": "near-match-differs-only-by-intended-discriminator",
          "passed": true,
          "evidence": {
            "changedKeys": [
              "sourceCount"
            ],
            "decision": "ALLOW"
          }
        },
        {
          "id": "missing-field-fails-to-human-review",
          "passed": true,
          "evidence": {
            "schema": "synthetic-enforcement-receipt/v1",
            "receiptId": "RECEIPT-bb16070defec3e3b",
            "emittedAt": "2026-06-03T12:07:00.000Z",
            "publicEntrypoint": "syntheticSourceSummary.run/v1",
            "consumer": {
              "id": "synthetic-local-validator/v1",
              "activeVersionLoaded": true,
              "loadError": null,
              "registrySha256": "8a54f80069ab220bc539d908f364276be75b2b403cccf288d5be2d0dd8e4ce18"
            },
            "rule": {
              "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
              "version": 1,
              "phase": "ACTIVE",
              "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714",
              "owner": "fixture-policy-owner",
              "approvedBy": "fixture-human-reviewer",
              "effectiveFrom": "2026-06-03T12:00:00.000Z",
              "reviewBy": "2026-07-18T23:59:59.000Z"
            },
            "input": {
              "sha256": "0f7c3dbe6022c7a60787b172677b9279c7bf5613ac28cae76bb0b3c6b1d2ecb8",
              "missingRequiredFields": [
                "sourceCount"
              ]
            },
            "evaluation": {
              "scopeMatched": false,
              "predicateMatched": false,
              "temporalState": "NOT_EVALUATED",
              "decision": "HUMAN_REVIEW_REQUIRED",
              "reason": "MISSING_REQUIRED_INPUT_FIELDS",
              "executionDirective": "SUPPRESS"
            },
            "receiptSha256": "5e7758e076a6853e3b2b1a603eee4d760bcb8ad5576e91e69f69ca61d1738a54"
          }
        },
        {
          "id": "fixed-clock-covers-before-at-and-after-expiry",
          "passed": true,
          "evidence": {
            "before": "BLOCK",
            "at": "REVIEW_REQUIRED",
            "after": "REVIEW_REQUIRED"
          }
        },
        {
          "id": "rollback-pointer-fails-safe-never-silent-allows",
          "passed": true,
          "evidence": {
            "schema": "synthetic-rule-rollback/v1",
            "rollbackId": "ROLLBACK-SYNTHETIC-EMPTY-SOURCE-V1",
            "rolledBackAt": "2026-07-19T09:05:00.000Z",
            "rolledBackRule": {
              "ruleId": "RULE-SYNTHETIC-EMPTY-SOURCE",
              "version": 1,
              "ruleSha256": "67a13b0039bba53e8ee10924d747966ba311f4522b48b00adf530bece0390714"
            },
            "approvedBy": "fixture-human-reviewer",
            "reason": "Synthetic expiry review selected the sealed safe fallback.",
            "pointer": {
              "priorRule": null,
              "safeFallbackState": "HUMAN_REVIEW_REQUIRED",
              "silentAllowPermitted": false
            },
            "resultingActiveRule": null,
            "resultingPolicyState": "HUMAN_REVIEW_REQUIRED",
            "rollbackSha256": "4a49ba7b2aac67ecbc34ba09836af984758cee30bad154e836376890691a2bca"
          }
        },
        {
          "id": "all-consumer-receipt-hashes-recompute",
          "passed": true,
          "evidence": {
            "receiptCount": 7
          }
        },
        {
          "id": "independent-expected-case-matrix-passes",
          "passed": true,
          "evidence": {
            "passed": 12,
            "total": 12
          }
        },
        {
          "id": "privacy-scan-clear",
          "passed": true,
          "evidence": {
            "absoluteWindowsPathFound": false,
            "emailAddressFound": false,
            "secretLikePrefixFound": false,
            "bearerCredentialFound": false
          }
        }
      ],
      "passed": 14,
      "total": 14,
      "overall": "PASS"
    },
    "mutationCatch": {
      "mutation": "Changed the recurrence result from BLOCK to ALLOW without changing the expected matrix.",
      "caught": true,
      "failedCaseIds": [
        "green-block-recurrence"
      ]
    }
  }
}