{
  "schema_version": 1,
  "kind": "pml_d1_post_native_independent_audit_verdict",
  "status": "passed",
  "audit_version": "pml-d1-post-result-audit-v1-20261021",
  "source_schema_support": "passed",
  "independent_saved_array_solver_contract": "passed",
  "files_manifest_and_member_hashes": "passed",
  "quality_measured": false,
  "approved_for_quality": false,
  "adoption_decision": false,
  "F0_truth_verified": false,
  "native_resynthesis_independently_verified": false,
  "old_study_approved_for_quality": false,
  "main120_complete": false,
  "limitations": [
    "Saved-array system consistency, not an independent exact/high-precision solver or rounding enclosure.",
    "No candidate/PML import, waveform reanalysis/resynthesis, old filter replay, or quality metrics.",
    "Source, Library and execution receipts are consistency-checked, not independently attested.",
    "Only the parent may approve quality; the old exit2 experiment remains a failure."
  ],
  "audit_source_manifest_sha256": "60735cfa2775f3dea56b4033e0576f4ba4c1a8c5e61a7c524d1d08bef7049129",
  "audit_source_receipt_sha256": "1ceac8ba29a371789d659a1efbb8df1bbfad9f8d8796737892ff7de94b85f58b",
  "audit_source_library": {
    "library_file_id": "libfile_1c4dd7f01c788191a9d641c39d3dd79b",
    "version_number": 0,
    "file_id": "file_00000000100c81f880966af9320da62b"
  },
  "native_files_sha256": "738d265e054bd955c24fa29abdd582c290e9d60f93b8709d54c514d93303249f",
  "old_native_provenance": {
    "envelope": {
      "bytes": 19922354,
      "sha256": "a78bc6019de20a8ff702165b60121c5263324cb0c8c47514a1777498149d0a7a"
    },
    "native_archive": {
      "bytes": 19911267,
      "sha256": "8c402790d826825d87dbadcc7cd908d7747e629c2ea9342dc9408d2c5264dc96"
    },
    "actual_exit_code": 2,
    "scientific_status": "native_incomplete_scientific_failures",
    "approved_for_quality": false,
    "failure_verdict_sha256": "59beafbf8b432896dc6ea352c7d4801cd31e655c052deeb5b3b017c6ba8d146a",
    "prior_source_manifest_sha256": "06b86cbafc3556e5bee25752ee1f592d592554298524a2762264483e97e38eae",
    "all_prior_members_verified": 210
  },
  "records": [
    {
      "id": "librispeech_1089-134686-0008",
      "n_samples": 96000,
      "branches": {
        "pml": {
          "frames": 1194,
          "body_sha256": "4b5bae0da58794a119ce0f2ee19673e7dec59cebcaa93d35885f70351819179d",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "prior_byte_reuse",
          "timing_scope": "prior_reference_not_new_measurement",
          "native_sha256": "66fa9fe6bb6e0880a2213e700ec59f6dd8af48283c5c350d980d948bf12644f6",
          "saved_solver": {
            "status": "prior_byte_reference_not_replayed"
          }
        },
        "R_d1": {
          "frames": 1194,
          "body_sha256": "5b4fbbbc8bcd83f90078762186e59f8d0312638c40c45811bc7bac1715697af4",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "f1a2e3a29af1fa6e3c02d564e2c53b54e249e6cbebb50c8caf0460608b8e63de",
          "saved_solver": {
            "internal_samples": 2388,
            "post_frames": 1194,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 1.7053025658242404e-13,
            "A_linf": 7.828427124746192,
            "scale": 1378.0237038570408,
            "budget": 1.9582894649616958e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        },
        "L_d1": {
          "frames": 1200,
          "body_sha256": "8d98bdfd55c05df542134fc4044efee3417cb903540f7717e2a18f0a0eeb6389",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "94f1a8fb9e953a5c76cd9d0156f88ce214ed410a9f56f0c7bbd0e7c8d98aaac6",
          "saved_solver": {
            "internal_samples": 2398,
            "post_frames": 1200,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 4.547473508864641e-13,
            "A_linf": 7.828427124746192,
            "scale": 4234.740234967183,
            "budget": 6.017927823573903e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        },
        "F_d1": {
          "frames": 1200,
          "body_sha256": "d44956efde1a10bba37078c4a7368d50de03ea66d485c03eef8107156abfe154",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "b5c28d238b4850043be3385825d680960b5423ffdec4672234ba7161879380f3",
          "saved_solver": {
            "internal_samples": 2398,
            "post_frames": 1200,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 4.547473508864641e-13,
            "A_linf": 7.828427124746192,
            "scale": 4216.235619532705,
            "budget": 5.991631183423898e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        }
      }
    },
    {
      "id": "librispeech_1089-134686-0011",
      "n_samples": 96000,
      "branches": {
        "pml": {
          "frames": 1195,
          "body_sha256": "e0d6e102b12f4609270aa0b507fee6bd93cc5e3944e06800582b39ebda51a826",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "prior_byte_reuse",
          "timing_scope": "prior_reference_not_new_measurement",
          "native_sha256": "19db23acecafc5665e49ab0037adf2647aeebbadcee67b34b6cc67c48641b7c2",
          "saved_solver": {
            "status": "prior_byte_reference_not_replayed"
          }
        },
        "R_d1": {
          "frames": 1195,
          "body_sha256": "6af145a63787fc4a4f9329a5da6d2f0b11a75fbff7cfc35edffe79417b595555",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "ff203ac787be80ea07c27236fd049fef936f4531772abc35dc2d3acf81e94049",
          "saved_solver": {
            "internal_samples": 2390,
            "post_frames": 1195,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 1.7053025658242404e-13,
            "A_linf": 7.828427124746192,
            "scale": 1335.5520924593964,
            "budget": 1.8979336750524515e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        },
        "L_d1": {
          "frames": 1200,
          "body_sha256": "ae330f7f0d276e5a6dbeb643a6222c42eecdc466a6291d92aedc84e579ef5982",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "5f8a2164530c908da794ef63b5f790f752bb21c3a81b3f93e89b2b4f412de1aa",
          "saved_solver": {
            "internal_samples": 2398,
            "post_frames": 1200,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 3.410605131648481e-13,
            "A_linf": 7.828427124746192,
            "scale": 4327.339689568475,
            "budget": 6.149519563178493e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        },
        "F_d1": {
          "frames": 1200,
          "body_sha256": "eab538e7642aa1212a98a752a8ac44cb292b32f2e22bf30d3ca92a22b3e89a17",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "13df9011b3ca46927d7409373d036396e815b2d28cbe06e4878374e0976d8cb1",
          "saved_solver": {
            "internal_samples": 2398,
            "post_frames": 1200,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 4.547473508864641e-13,
            "A_linf": 7.828427124746192,
            "scale": 4290.458209119027,
            "budget": 6.097107827143627e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        }
      }
    },
    {
      "id": "librispeech_1089-134686-0032",
      "n_samples": 65440,
      "branches": {
        "pml": {
          "frames": 814,
          "body_sha256": "49f9f585e70737d3d335037734ef05204d432d18b7bf1b097f123b3105dd1647",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "prior_byte_reuse",
          "timing_scope": "prior_reference_not_new_measurement",
          "native_sha256": "80bf274d7883bff30b22f1eae1ea2a40cb7d3f7fdc0bc75162dc90e44faa6cc8",
          "saved_solver": {
            "status": "prior_byte_reference_not_replayed"
          }
        },
        "R_d1": {
          "frames": 814,
          "body_sha256": "182282a9b7c3d7a0051339d2f55d4029def5d04e98daf2e9fccd421b35b6a45d",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "b1bb3ebcb3ca010abe72b49cf1991ab1b14a1f70fa43c475fed8ce8776f9c619",
          "saved_solver": {
            "internal_samples": 1627,
            "post_frames": 814,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 1.4210854715202004e-13,
            "A_linf": 7.828427124746192,
            "scale": 1259.953221658961,
            "budget": 1.79050121809462e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        },
        "L_d1": {
          "frames": 818,
          "body_sha256": "96dd24d591f05393bb974e5a69219dd331958221e4ae0f1cb4a122b9bcd9c811",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "dc012f5a1dc457b6244de0d2ed5f8a34207002b95bb6907a2100164316e2d049",
          "saved_solver": {
            "internal_samples": 1634,
            "post_frames": 818,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 3.410605131648481e-13,
            "A_linf": 7.828427124746192,
            "scale": 4169.867154871181,
            "budget": 5.925737631956708e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        },
        "F_d1": {
          "frames": 818,
          "body_sha256": "ad3288f316e2d06a916596ff82832a309af2e518d711051bb8b9479a6199c2b1",
          "seed": 0,
          "FWCEP60_float32_finite": true,
          "NM_little_bitorder_padding_valid": true,
          "execution_kind": "new_d1_analysis_save_load_decode",
          "timing_scope": "this new D1 branch only",
          "native_sha256": "c67e0b7749002677c1d9375b73daddcb0c302b8166583a5726f3c40e8587f680",
          "saved_solver": {
            "internal_samples": 1634,
            "post_frames": 818,
            "raw_prep_internal_and_post_return": "bitwise_matched_canonical_operators",
            "residual_linf": 2.2737367544323206e-13,
            "A_linf": 7.828427124746192,
            "scale": 4168.803042724387,
            "budget": 5.924225437644831e-11,
            "factor": 64,
            "policy": "ordinary_float64_scaled_residual_not_rigorous_rounding_enclosure",
            "independent_exact_or_high_precision_solution": false
          }
        }
      }
    }
  ],
  "materialized_receipt_sha256": "343db4bea2175b9caeca4624d3fec27fd17ec7bcf79de3be46b0c5c66419d0f8",
  "delivery_envelope": {
    "bytes": 18504522,
    "sha256": "43ffc10cdcdd739fb6f0583287af787a39d17050f09a801abe1aa1bd4ec0a21f"
  },
  "library_receipt": {
    "library_file_id": "libfile_ad3e7afeb8748191be023f2d42480714",
    "version_number": 0,
    "file_id": "file_00000000cf6881fd80c760f819ceefc3"
  },
  "actual_execution": {
    "actual_exit_code": 0,
    "argv": [
      "/workspace/check-nonml-saikyo-vocoder/.venv/bin/python",
      "-B",
      "/workspace/check-nonml-saikyo-vocoder/runs/pml-d1-post-first-speaker-20261021-v1/source/run_saved_first3_post.py",
      "--prior-envelope",
      "/workspace/check-nonml-saikyo-vocoder/runs/pml-candidate-sequence-first-speaker-20261021-v1/delivery.zip",
      "--prior-materialized-receipt",
      "/workspace/check-nonml-saikyo-vocoder/runs/pml-d1-post-first-speaker-20261021-v1/launch-receipts/prior-materialized-receipt.json",
      "--failure-verdict",
      "/workspace/check-nonml-saikyo-vocoder/runs/pml-d1-post-first-speaker-20261021-v1/launch-receipts/failure-verdict.json",
      "--reuse-authorization",
      "/workspace/check-nonml-saikyo-vocoder/runs/pml-d1-post-first-speaker-20261021-v1/launch-receipts/reuse-authorization.json",
      "--source-receipt",
      "/workspace/check-nonml-saikyo-vocoder/runs/pml-d1-post-first-speaker-20261021-v1/launch-receipts/source-receipt.json",
      "--speaker",
      "librispeech_1089",
      "--output",
      "/workspace/check-nonml-saikyo-vocoder/runs/pml-d1-post-first-speaker-20261021-v1/native"
    ],
    "elapsed_seconds": 32.31123198499998,
    "evidence_ref": "execution/launcher-result.json",
    "finished_at_utc": "2026-10-21T01:28:47.248121+00:00",
    "kind": "actual_tool_receipt",
    "limits": {
      "address_space_bytes": 4294967296,
      "observed_rss_stage_budget_bytes": 3221225472,
      "terminate_grace_seconds": 10,
      "threads": 1,
      "wall_seconds": 1800
    },
    "max_rss_kib": 257456,
    "native_archive": {
      "bytes": 18493180,
      "sha256": "b674091fdc09072d7c2c8844cc61cfb2f0730c9410c6914a20329082f028b404"
    },
    "packing_status": "succeeded",
    "reaped_by_launcher": true,
    "schema_version": 1,
    "scientific_status": "d1_native_succeeded",
    "signal": null,
    "started_at_utc": "2026-10-21T01:28:14.936949+00:00",
    "stderr": {
      "bytes": 0,
      "complete": true,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    "stdout": {
      "bytes": 361,
      "complete": true,
      "sha256": "1f0f6e3f67434091ae72128dbdc720468a8ebba8f1838db66e7eeec73abfd8fc"
    },
    "timed_out": false,
    "tool": "exec_command"
  },
  "source_manifest_sha256": "ddc57eb6a29a7b4b074de47ca71e4d65f45260bbf23a4f30e192b6c18538a480",
  "delivery_manifest_sha256": "d08ef169bd039f5c9976095196fcbc504550db941dbc743f5fc8ef46d10f6104",
  "outer_members": 6,
  "native_archive": {
    "bytes": 18493180,
    "sha256": "b674091fdc09072d7c2c8844cc61cfb2f0730c9410c6914a20329082f028b404"
  },
  "record_ids": [
    "librispeech_1089-134686-0008",
    "librispeech_1089-134686-0011",
    "librispeech_1089-134686-0032"
  ],
  "recorded_at_utc": "2026-10-21T01:31:41.099314+00:00"
}