{
  "scope": "C Python controls on supplied raw; no formal acceptance",
  "formal_original_credit": 0,
  "engine_runs": 0,
  "results": [
    {
      "control": "native_ownership_supplied_raw",
      "result": "pass"
    },
    {
      "control": "native_saves_supplied_raw",
      "result": "pass"
    },
    {
      "control": "native_ledger_supplied_raw",
      "result": "pass"
    },
    {
      "control": "supplied_applicability",
      "result": "pass"
    },
    {
      "control": "verify_native_supplied_raw",
      "result": "pass",
      "details": {
        "service_id": "service_00000001",
        "transaction_id": "ledger_00000081",
        "receipt_rows": 8,
        "formal_original_credit": 0,
        "production_commit": "5f6bc11d6bb6e92d22d787989b219fef3a435bc1",
        "owned_processes": 10,
        "verified_conditions": [
          "dependency_stop",
          "recovery_completion",
          "paused_midnight"
        ]
      }
    },
    {
      "control": "signature_line_sha",
      "result": "rejected",
      "error": "native ordering bytes",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "trailing_comment_excluded_sha",
      "result": "rejected",
      "error": "native ordering bytes",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "one_byte_raw",
      "result": "rejected",
      "error": "native SHA: actual-native/repro/stdout.log",
      "manifest_hashes_refreshed": false
    },
    {
      "control": "missing_member",
      "result": "rejected",
      "error": "missing/outside file: dependency-formal-native/formal-packages/reader/paused/world.bin",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "writer_reader_same_pid",
      "result": "rejected",
      "error": "native writer reader PID binding",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "writer_reader_same_profile",
      "result": "rejected",
      "error": "native writer reader profile reused",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "abnormal_ended",
      "result": "rejected",
      "error": "native process bindings",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "process_pid_changed",
      "result": "rejected",
      "error": "native PID chain",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "cleanup_missing",
      "result": "rejected",
      "error": "native owned cleanup binding",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "execution_owned_pid_deleted",
      "result": "rejected",
      "error": "native execution cleanup membership",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "reader_receipt_row_duplicated",
      "result": "rejected",
      "error": "native duplicate receipt row",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "reader_receipt_row_deleted",
      "result": "rejected",
      "error": "native reader receipt delta",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "observation_receipt_deleted",
      "result": "rejected",
      "error": "native ledger receipt delta",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "paused_sale_injected",
      "result": "rejected",
      "error": "native ledger receipt delta",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "paused_sale_joined_ledger_wallet",
      "result": "rejected",
      "error": "native PAUSED sale/progress/reason",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "reservation_orphaned",
      "result": "rejected",
      "error": "native reservation snapshot binding",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "reservation_orphaned_both_snapshots",
      "result": "rejected",
      "error": "native orphan reservation relation",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "wallet_wrong",
      "result": "rejected",
      "error": "native wallet delta",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "idempotency_wrong_transaction",
      "result": "rejected",
      "error": "native sale service join",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "production_commit_mismatch",
      "result": "rejected",
      "error": "native production commit mismatch",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "current_source_pin_mismatch",
      "result": "rejected",
      "error": "native current_source_pins mismatch",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "input_source_pin_mismatch",
      "result": "rejected",
      "error": "native input source pin mismatch",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "original_member_changed",
      "result": "rejected",
      "error": "native original members changed",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "typed_var_changed",
      "result": "rejected",
      "error": "native typed SHA mismatch",
      "manifest_hashes_refreshed": true
    },
    {
      "control": "self_reported_scalar_true",
      "result": "rejected",
      "error": "native reader receipt delta",
      "manifest_hashes_refreshed": true
    }
  ],
  "previous_validation": {
    "scope": "C Python controls only; synthetic corrected applicability is not native proof",
    "formal_original_credit": 0,
    "engine_runs": 0,
    "results": [
      {
        "control": "native_ownership_supplied_raw",
        "result": "pass"
      },
      {
        "control": "native_saves_supplied_raw",
        "result": "pass"
      },
      {
        "control": "native_ledger_supplied_raw",
        "result": "pass"
      },
      {
        "control": "supplied_applicability",
        "result": "rejected",
        "error": "native ordering bytes"
      },
      {
        "control": "synthetic_corrected_applicability_composition",
        "result": "pass",
        "native_acceptance": false
      },
      {
        "control": "one_byte_raw",
        "result": "rejected",
        "error": "native SHA: actual-native/repro/stdout.log",
        "manifest_hashes_refreshed": false
      },
      {
        "control": "missing_member",
        "result": "rejected",
        "error": "missing/outside file: dependency-formal-native/formal-packages/reader/paused/world.bin",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "writer_reader_same_pid",
        "result": "rejected",
        "error": "native writer reader PID binding",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "writer_reader_same_profile",
        "result": "rejected",
        "error": "native writer reader profile reused",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "abnormal_ended",
        "result": "rejected",
        "error": "native process bindings",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "process_pid_changed",
        "result": "rejected",
        "error": "native PID chain",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "cleanup_missing",
        "result": "rejected",
        "error": "native owned cleanup binding",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "execution_owned_pid_deleted",
        "result": "rejected",
        "error": "native execution cleanup membership",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "reader_receipt_row_duplicated",
        "result": "rejected",
        "error": "native duplicate receipt row",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "reader_receipt_row_deleted",
        "result": "rejected",
        "error": "native reader receipt delta",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "observation_receipt_deleted",
        "result": "rejected",
        "error": "native ledger receipt delta",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "paused_sale_injected",
        "result": "rejected",
        "error": "native ledger receipt delta",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "paused_sale_joined_ledger_wallet",
        "result": "rejected",
        "error": "native PAUSED sale/progress/reason",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "reservation_orphaned",
        "result": "rejected",
        "error": "native reservation snapshot binding",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "reservation_orphaned_both_snapshots",
        "result": "rejected",
        "error": "native orphan reservation relation",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "wallet_wrong",
        "result": "rejected",
        "error": "native wallet delta",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "idempotency_wrong_transaction",
        "result": "rejected",
        "error": "native sale service join",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "production_commit_mismatch",
        "result": "rejected",
        "error": "native production commit mismatch",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "current_source_pin_mismatch",
        "result": "rejected",
        "error": "native current_source_pins mismatch",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "input_source_pin_mismatch",
        "result": "rejected",
        "error": "native input source pin mismatch",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "original_member_changed",
        "result": "rejected",
        "error": "native original members changed",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "typed_var_changed",
        "result": "rejected",
        "error": "native typed SHA mismatch",
        "manifest_hashes_refreshed": true
      },
      {
        "control": "self_reported_scalar_true",
        "result": "rejected",
        "error": "native reader receipt delta",
        "manifest_hashes_refreshed": true
      }
    ],
    "validated_source_sha256": {
      "tools/check_p04_order_evidence.py": "98b2692c604055d7b970e6ef9e3ad1795f35823c3c19d1acad5b80ad2ec7a378",
      "docs/plans/original-completion-2026-10-02/execution/p04-01/checker_native_fixtures.py": "26bbdcee483816b8bc60c250bbc63bf0a72a194dce2ba9b690abace9b6b17bbc"
    },
    "supplied_bundle_pins": {
      "SOURCE_MANIFEST.json": "381b439fb1d4ee5f30e21243b03ad755c3ab654a9e414af5648004054d67b5f4",
      "OWNERSHIP_RAW_PROVENANCE.json": "51d746879b4197445a09cd44a88dd918c365fa98025d9cd652a740cee09a9040",
      "POST_P18_CURRENT_SOURCE_APPLICABILITY.json": "ecb92215b7bfb4368ddeb6d44dcd467d13e97d677ca2f29df3ab9684f6c757c7"
    },
    "whole_native_status": "blocked: supplied applicability body hashes exclude four function bodies",
    "whole_gate_executed": false
  },
  "whole_native_status": "pass: corrected supplied bundle; strict full raw SHA",
  "whole_gate_executed": false,
  "validation_invocations": {
    "native": 1,
    "existing_fixtures": 1,
    "applicability_ab": 1
  },
  "existing_fixtures": {
    "scope": "A/B and optional C applicability controls; no native acceptance",
    "results": [
      {
        "control": "registered_equals_tested",
        "revision": "deb1bcb2374eb378b840ca345db952bd8572cb6e",
        "changed_units": 0,
        "result": "pass"
      },
      {
        "control": "line_shift_resolves",
        "revision": "deb1bcb2374eb378b840ca345db952bd8572cb6e",
        "result": "pass"
      },
      {
        "control": "legal_delta",
        "revision": "5f6bc11d6bb6e92d22d787989b219fef3a435bc1",
        "changed_units": 25,
        "result": "pass"
      },
      {
        "control": "line_shift_resolves",
        "revision": "5f6bc11d6bb6e92d22d787989b219fef3a435bc1",
        "result": "pass"
      },
      {
        "control": "undeclared_delta",
        "result": "rejected",
        "error": "git diff/applicability_delta mismatch"
      },
      {
        "control": "missing_boundary_case",
        "result": "rejected",
        "error": "boundary delta coverage: autoload/simulation_runtime.gd:_build_facility_precheck"
      },
      {
        "control": "wrong_tested_revision",
        "result": "rejected",
        "error": "version roles"
      },
      {
        "control": "native_applicability",
        "result": "pass"
      }
    ]
  },
  "applicability_ab": {
    "scope": "Synthetic checker checks only; no engine evidence or formal acceptance",
    "py_compile": true,
    "results": [
      {
        "fixture": "synthetic_scalar_only_rejected",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "native bundle required; self-reported scalar evidence is insufficient"
        }
      },
      {
        "fixture": "forged_registered_pin",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "registered pin declaration"
        }
      },
      {
        "fixture": "false_delta",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "git diff/applicability_delta mismatch"
        }
      },
      {
        "fixture": "wrong_reach_anchor",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "unknown reachability anchor"
        }
      },
      {
        "fixture": "missing_index",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "missing/outside file: index.json"
        }
      },
      {
        "fixture": "duplicate_key",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "duplicate JSON key: schema_version"
        }
      },
      {
        "fixture": "symlink",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "symlink: stdout.json"
        }
      },
      {
        "fixture": "hash_mismatch",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "artifact hash: stdout"
        }
      },
      {
        "fixture": "stale_pin",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "stale pin: autoload/simulation_runtime.gd"
        }
      },
      {
        "fixture": "unexecuted_receipt",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "unexecuted/incomplete receipt"
        }
      },
      {
        "fixture": "pending_authority",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "pending/missing authority"
        }
      },
      {
        "fixture": "missing_condition",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "mandatory conditions missing/unknown"
        }
      },
      {
        "fixture": "unsupported_reach_false",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "unsupported reach=false: transport"
        }
      },
      {
        "fixture": "owner_hash_mismatch",
        "exit_code": 1,
        "result": {
          "task_id": "P04-01",
          "machine_verified": false,
          "formal_acceptance": false,
          "error": "owner approval hash mismatch"
        }
      }
    ]
  },
  "validated_source_sha256": {
    "tools/check_p04_order_evidence.py": "afe8c7cc3d3b511bacdaa1965fb06a0eefd1b204b7e9b930eb29767c4d320824",
    "docs/plans/original-completion-2026-10-02/execution/p04-01/checker_native_fixtures.py": "634b5e3a3491cdcdab549ed5d812935f73c2958d8cca008ce35c80b6ebb298e4"
  },
  "supplied_bundle_pins": {
    "SOURCE_MANIFEST.json": "dbaab3c293c191eb5f3aff34854945e2d564f824df50a92802b3a7eda55321a8",
    "OWNERSHIP_RAW_PROVENANCE.json": "51d746879b4197445a09cd44a88dd918c365fa98025d9cd652a740cee09a9040",
    "POST_P18_CURRENT_SOURCE_APPLICABILITY.json": "46e0cc35cb95496d5f26d3cab7d3a31cb29faacaa16714daab3aefdf65b420a3"
  }
}