{
  "generated_utc": "2026-10-08T18:10:07.028379+00:00",
  "status": "BLOCKED",
  "fresh_lean_compiler_invocations": 0,
  "historical_replay_relabelled_as_fresh": false,
  "lean_path": null,
  "lake_path": null,
  "elan_path": null,
  "python": "3.12.14",
  "platform": "Linux-6.18.44-x86_64-with-glibc2.39",
  "local_kit_absent": true,
  "required_lean_commit": "6a10ac8c22beadecabdbb0919c2b50214762f91d",
  "required_mathlib_commit": "aeb72f1e9981b6d35b426b16dca7759be3e7ba06",
  "matching_kit_parts_found": 7,
  "kit_download_attempt": {
    "status": "FAIL",
    "process_returncode": 1,
    "error": "library download request failed: download failed with HTTP status 403",
    "files_materialized": 0,
    "failure_kind": "dependency byte access failure, not Lean proof failure"
  },
  "bounded_wrapper_attempt": {
    "started_utc": "2026-10-08T18:10:06.689514+00:00",
    "scope": "Seven new v0.38 modules plus all-named-constant axiom audit; pinned Mathlib cache reused",
    "parent_freshly_replayed": false,
    "archive": "/workspace/scratch/fd5253a691e7/strong_artin_sources/Strong_Artin_Lean_v0.38.0_Effective_Matrix_Hensel_Checked.zip",
    "kit": "/mnt/data/lean_runtime/Komorebi_Portable_Lean_4.34.0-rc2",
    "status": "BLOCKED",
    "archive_sha256": "d5f065bcb05ee02465082804dfb14800f82b86f43a8838eded2e3d3519abcb9a",
    "failure": "Matching Lean binary is absent",
    "fresh_lean_replay": false,
    "finished_utc": "2026-10-08T18:10:06.729487+00:00",
    "runtime_seconds": 0.04037749700000859
  },
  "authentication_status": "PASS",
  "authenticated_unique_archives": 30,
  "current_v038_payload_hashes_verified": 126,
  "historical_manifest_entries_verified": 3004,
  "current_historical_replay_source_match": true,
  "static_forbidden_source_markers": 0,
  "development_failures": [
    {
      "action": "First archive authentication",
      "failure": "Parser treated normalized relative paths beginning ./ and historical absolute paths as missing ZIP members, producing 512 false missing-file findings",
      "repair": "Normalize relative paths and resolve historical absolute paths against each manifest directory; preserved original output and reran successfully"
    },
    {
      "action": "Second archive authentication",
      "failure": "Traversal initially omitted the standalone embedded v0.9 archive outside a base directory, yielding 29 rather than30 unique nodes",
      "repair": "Traverse all embedded ZIP archive children, deduplicate by SHA256; final count30 with all hashes valid"
    }
  ],
  "non_claims": [
    "No fresh Lean compile",
    "No full combined historical-source replay",
    "No new Strong Artin proof"
  ]
}