{
  "schema_version": "look-twice.additive-decision-dynamics-recovery-v2-provenance-review/v1",
  "generated_at_utc": "2026-08-04T16:55:19Z",
  "review_class": "post_run_independent_scope_audit",
  "scientific_result_validated": true,
  "report_sha256": "1501e31bdc1bc353d56224f76f0a0f58de574e6c436980bc9c22a7c33104bd99",
  "formal_verifier_passed": true,
  "independent_strict_json_and_numeric_recalculation_errors": 0,
  "observed_execution_ledger": {
    "attempt_lines": 60,
    "completed_events": 30,
    "checkpoint_sealed_events": 30,
    "fixed_seed_order_complete": true,
    "attempt_numbers_observed": [1],
    "worker_exit_codes_observed": [0],
    "extra_trial_files_observed": 0,
    "missing_trial_files_observed": 0,
    "nonfinite_numbers_observed": 0,
    "result_conditioned_retry_observed": false,
    "seed_replacement_observed": false
  },
  "proof_scope_findings": [
    {
      "finding": "The formal SHA256SUMS covers SOURCE_BINDING.json, all 30 trial checkpoints, and REPORT.json, but not ATTEMPTS.jsonl, PROGRESS.json, or WORKER_LOGS.",
      "impact": "The archived ledger shows exactly one successful attempt per seed, but the original formal checksum index alone is not a cryptographic proof that no additional unsealed attempt ever existed.",
      "preserved_current_hashes": {
        "ATTEMPTS.jsonl": "949b3735e3b4ae8b3554e170d4647270f3bb949e0bf9f796fbbae9d6d4bc5418",
        "PROGRESS.json": "0d99cce3caddeaeb81b0d3d7b4f43a7add69f21d5d68aaf0d794208bc5b14bae",
        "SHA256SUMS": "dae4f7f694e3db14db9731e6292d2d7e28f98b6540eca485be9666947273d5be"
      },
      "submission_language": "The retained attempt ledger and logs show 30 first-attempt worker completions with no retry or replacement."
    },
    {
      "finding": "SOURCE_BINDING.json lists ten key artifacts but omits the directly imported runtime dependency src/v4_motion.py. The fixed protocol's phrase 'every executable source' therefore exceeds the literal manifest coverage.",
      "impact": "The formal binding proves the listed files and clean commit identity, but is not a complete import-closure attestation.",
      "omitted_dependency_sha256": {
        "path": "src/v4_motion.py",
        "working_tree": "fd94a2d7b89cc3118e3ccf4ae2545f95c84e6596b48c7e79bf52f352935d0772",
        "commit_b0c4f0d": "fd94a2d7b89cc3118e3ccf4ae2545f95c84e6596b48c7e79bf52f352935d0772"
      },
      "submission_language": "The run was tied to clean commit b0c4f0d and a source-binding manifest for the protocol, runner, verifier, inputs, assets, scenario, and helper code; a post-run tree audit found no source difference."
    }
  ],
  "post_run_remote_tree_audit": {
    "audited_commit": "b0c4f0d33b0a2d0c647dda0b2b3b7c03279a511a",
    "tracked_files": 2419,
    "git_status_porcelain": "",
    "working_tree_diff_exit_code": 0,
    "index_diff_exit_code": 0,
    "writable_non_git_files": [],
    "v4_motion_worktree_matches_commit": true,
    "limitation": "This post-run check and the launch-time clean/read-only checks are strong corroborating evidence, not a signed continuous-attestation system."
  },
  "integrity_conclusion": "No actual retry, omission, replacement, non-finite value, source difference, or result-selection behavior was found. The 30/30 scientific result is internally consistent and independently recomputed. Public claims must describe the observed ledger and clean source snapshot without upgrading the two proof-scope gaps into cryptographic guarantees.",
  "required_boundary": {
    "archived_decision_replay": true,
    "independent_serial_scenes": 30,
    "simultaneous_90_body_execution": false,
    "live_perception_policy_rerun": false,
    "dynamic_obstacle_evidence": false,
    "real_robot_evidence": false,
    "sim_to_real_evidence": false,
    "throughput_or_energy_evidence": false,
    "safety_certification": false,
    "formal_result_eligible": false
  }
}