D01 PASS valid exact write
D02 PASS spent grant after reopening domain
D03 PASS changed value
D04 PASS different target
D05 PASS wrong authenticated actor
D06 PASS already expired
D07 PASS expiry while waiting for the lock
D08 PASS clock below protected history
D09 PASS prepared request expires
D10 PASS prepared bytes changed
D11 PASS database rollback with witness retained
D12 PASS missing witness
D13 PASS two simultaneous callers
D14 PASS forged actor in envelope
D15 PASS unapproved enforcement code
D16 PASS revoked permission
D17 PASS lost reply after finalized write
D18 PASS pending witness after gate death
{
  "kind": "EZA-Deployment-001-local-source-review",
  "status": "PASS",
  "composition_checks": {
    "passed": 13,
    "total": 13
  },
  "chronology_checks": {
    "passed": 12,
    "total": 12
  },
  "consistency_checks": {
    "passed": 102,
    "total": 102
  },
  "older_claim_checks": {
    "passed": 30,
    "total": 30
  },
  "evidence_relationship_checks": {
    "passed": 20,
    "total": 20
  },
  "evidence_closure_checks": {
    "passed": 32,
    "total": 32
  },
  "history_consistency_checks": {
    "passed": 28,
    "total": 28
  },
  "evidence_handling_checks": {
    "passed": 20,
    "total": 20
  },
  "resume_evidence_checks": {
    "passed": 10,
    "total": 10
  },
  "post_write_outcome_checks": {
    "passed": 4,
    "total": 4
  },
  "activation_interval_checks": {
    "passed": 2,
    "total": 2
  },
  "synthetic_storage_cases": {
    "passed": 18,
    "total": 18
  },
  "synthetic_clock_regressions": {
    "passed": 8,
    "total": 8
  },
  "focused_tests": {
    "run": 18,
    "failures": 0,
    "errors": 0
  },
  "clock_defect_control": "Removing late guards caused the forbidden synthetic write and was detected.",
  "source_unchanged_during_tests": true,
  "source_kernel_from_frozen_release": "85990e23e5a188f087a2b01958173ae64d3a27bed66ab3dbd24b5b2f26c4bad3",
  "code_change": "Evidence.13 validates the assembled current report using captured versions and unchanged reader limits. Unsupported reports produce separate diagnostics. Execution controls unchanged.",
  "native_mac_checks": "NOT_RUN_HERE",
  "real_deployment": "NOT_RUN",
  "new_model_turns": 0,
  "new_authoring_independence_trial": false,
  "coverage_limits": [
    "Local gate processes use the host runtime without the Mac sandbox.",
    "Controller replacement and native requester/replica checks are required by Mac --check.",
    "Launcher guard tests mock native setup; they do not certify a full native activation.",
    "Clock fault tests control time in the test process; production request messages cannot select a clock."
  ],
  "development_finding": "Unchanged reviewer script reproduced ordinary ninth-resume, flat-history and unsupported-filename failures on frozen Evidence 012. Thirteen new fixtures exercise normal publication or explicit blocked diagnostics across thirty resumes, including aggregate work and composed-size limits.",
  "production_readiness": "NOT_ESTABLISHED"
}
