{
  "schema": "DA-EX-001/reproduction/v1",
  "case_id": "DA-EX-001",
  "verdict": "PASS",
  "started_at": "2026-10-12T10:17:50.365948+00:00",
  "finished_at": "2026-10-12T10:17:50.573565+00:00",
  "execution_class": "same_author_clean_directory_reproduction",
  "independent_external_audit": false,
  "executor": "Codex in the same site-authoring workflow",
  "environment_isolation": "New extraction and temporary database directories on the same execution host; no separate machine or OS network isolation claimed.",
  "package_sha256": "4dba2dd9b34e0e39bbc859e5ac7f4cd9bb8b42ab12246736edbdafe919de57da",
  "manifest_sha256": "797f9a0c63a718c324f25f58b12a70c3441675358321b4d3c505b078c14954c0",
  "artifact_id": "924bcddb97a58f886a7e4bdd8b3165aae6e05a4ca3b8f91184ce559ab4e9a07b",
  "runner_sha256": "d6313c98ebd18a3aa2b62548a6c0743034949b81da5d537eba6f5f854ec47d89",
  "command": [
    "node",
    "verify.mjs",
    "--report",
    "../verification.local.json"
  ],
  "exit_code": 0,
  "environment": {
    "node": "v24.19.0",
    "sqlite": "3.53.3",
    "platform": "linux",
    "architecture": "x64",
    "transport": "in-process Request/Response",
    "database": "real SQLite: fresh memory databases and a temporary disk database",
    "dependencies": "Node.js built-ins only",
    "production_requests": 0
  },
  "handler_requests": 347,
  "assertions": 1773,
  "initial_assertions": 1763,
  "additional_manifest_checks": 10,
  "preserved_files": 11,
  "checks": {
    "zip_matches_published_sha256": true,
    "manifest_matches_published_sha256": true,
    "same_artifact": true,
    "same_source_files": true,
    "successful_process": true,
    "successful_verifier": true,
    "same_request_count": true,
    "same_scenario_groups": true,
    "same_visible_observations": true,
    "same_full_journal_observations": true,
    "manifest_checks_accounted_for": true,
    "original_files_unchanged": true,
    "no_extra_package_files": true
  },
  "comparison_exclusions": [
    "Execution start/finish times and receipt createdAt values differ between runs. Receipt consistency within each run is still checked by the unmodified verifier.",
    "The winning request index in the concurrent group is not guaranteed. Compare its HTTP-status multiset and stored-row count. All sequential observations retain their order."
  ],
  "limits": [
    "Bounded input classes and sequences, not all possible HTTP requests.",
    "Concurrent promises share one process and one SQLite connection; distributed concurrency is not established.",
    "Clean database reopen is not a crash, power-loss or recovery test.",
    "Cloudflare D1 and the deployed endpoint were not exercised.",
    "Receipt identity is not delivery, human review or an external physical action.",
    "Verification was authored and executed in the site editing workflow; no independent audit.",
    "Package hashes bind bytes but are not a publisher signature or an independent trust anchor."
  ]
}