{
  "status": "FINAL_PUBLICATION_EDITION_WITH_SCOPED_EVIDENCE",
  "title": "Signal Reconstruction: Polyphase Sampling, Unknown Edges, and Self-Calibration",
  "author": "Komorebi P.",
  "edition": "2026-10-06",
  "documents": {
    "traditional": {
      "path": "traditional/Signal_Reconstruction_Traditional.pdf",
      "pages": 31,
      "bytes": 553357,
      "sha256": "00e86f7bbfd5e881749de2d8cd914ce68616e2cfae9e124d99784440bc7fc440",
      "tex_inputs": [
        "traditional/Signal_Reconstruction_Traditional.tex"
      ],
      "labels": 46,
      "references": 0,
      "markdown_bytes": 84623
    },
    "visual": {
      "path": "visual/Signal_Reconstruction_Visual_Guide.pdf",
      "pages": 29,
      "bytes": 786243,
      "sha256": "1e373ff0d204c3c67b92da55b89065c76844cd892bedd791eae34ab307a00ab3",
      "tex_inputs": [
        "visual/Signal_Reconstruction_Visual_Guide.tex"
      ],
      "labels": 33,
      "references": 0,
      "markdown_bytes": 62368
    },
    "lean": {
      "path": "lean/Signal_Reconstruction_Lean_Guide.pdf",
      "pages": 24,
      "bytes": 466125,
      "sha256": "b6010a6c7bd988ea9323073f5c953fca60ad7d39768a7317f131a10b963a257a",
      "tex_inputs": [
        "lean/Signal_Reconstruction_Lean_Guide.tex"
      ],
      "labels": 32,
      "references": 0,
      "markdown_bytes": 57203
    }
  },
  "total_pdf_pages": 84,
  "principal_result_groups": 46,
  "visual_figures": 21,
  "markdown_companions_included": true,
  "source_verification": {
    "active_scoped_suites": 10,
    "recorded_checks": 288,
    "deduplicated_checks": 281,
    "observed_identification_failures": [
      {
        "case": "bursts_6_jump",
        "true_order": 6,
        "inferred_order": 9,
        "scope": "Complex burst stress model; invalid location/jump comparisons; finite reconstructed error does not establish parameter recovery"
      },
      {
        "case": "rank_ratio_boundary",
        "true_order": 3,
        "native_inferred_order": 2,
        "supplied_threshold_inferred_order": 3,
        "scope": "Native largest-ratio heuristic fails despite known Weyl-gap hypotheses for an independent threshold selector"
      }
    ],
    "interpretation": "One recorded explicit Boolean assertion per named whole-vector/scalar check. SPD variant repeated seven checks excluded; native diagnostic fields, native reported16groups, repeated runs, tested family sizes, archived records and artifact hashes not added. These are not counts of independent theorems."
  },
  "visual_finite_controls": {
    "recorded_checks": 333,
    "counts_merged_with_source_verification": false
  },
  "evidence_record_validation": {
    "status": "PASS",
    "record_count": 16,
    "records": [
      {
        "manifest": "verification/runs/release_20261006_complex_seed_metadata/complex_benchmark/manifest.json",
        "manifest_sha256": "e37f2ef58aacfd2651d3fe2b22e769e1a0c86f32482ef7c7829d254d7c553c91",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_exact/exact_invariants/manifest.json",
        "manifest_sha256": "fc8e0ad88bc9f5923064994df5d651b53a8a0682f214e1c996340e994dab5fce",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/complex_benchmark/manifest.json",
        "manifest_sha256": "ffa73f103a2d4fea770f745a26e410f067ef3783ee0fe99debfa09e21cf9b125",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/exact_invariants/manifest.json",
        "manifest_sha256": "c60b447e4d0dba8c218d279f0f095b818c0313dadac857c9e62fbab8d3dfe43f",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/gibbs_case/manifest.json",
        "manifest_sha256": "60528fc17fa4615f334bdefdbd08554e982a864d2ec6e6223b8ecefceee65579",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/infinite_packet/manifest.json",
        "manifest_sha256": "9dc2716c56006fe9ff24260287df70d00c6a739d69a4889ccf5f4c5aef0500df",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/infinite_packet_spd/manifest.json",
        "manifest_sha256": "c93870b57b1f2e5a40ee81f73961f0c0fe828f05d19c643f4b9f24aeff0e3ecc",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/self_calibration/manifest.json",
        "manifest_sha256": "796a7c2710cdba4a05369b0e5ef6634f0bd847acd6b09c6aa5b216acaa7193a8",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/singularity_dictionary/manifest.json",
        "manifest_sha256": "97e18f5d50180ded5ac7ddeb0d0b04c1a37cd8ad98af722089eb83814039cc6b",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_initial/unknown_edge/manifest.json",
        "manifest_sha256": "137eeceb0ced10c658bc51a7efdf0c2f9e679b8503b397013eec753337e314b7",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_rank_controls/rank_aware_execution_copy/manifest.json",
        "manifest_sha256": "c1b11b7c98dbd0415180b9705c6c23664c562dd2d2c9e7ef35f5d4cd0e458daa",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_rank_ratio/rank_ratio_boundary/manifest.json",
        "manifest_sha256": "30c3849adc5a2ddf965cf12d76bd258838a997235465c17bdd145b286445b327",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_scoped_followup/complex_benchmark/manifest.json",
        "manifest_sha256": "a522a2df83d6b8e4172732891b471561741b3619b433b185e340e3fbe7cf6390",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "verification/runs/release_20261006_self_seed_metadata/self_calibration/manifest.json",
        "manifest_sha256": "54e3a60abf103cfa536572c8c923e5b42efeb6d0fe3abe0b4c63c3ec350eb6eb",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "visual/validation/visual_run_20261006/manifest.json",
        "manifest_sha256": "be8a0e98129e08bd28638fe8959960a8d67bcb3f24fb6fff54e20ca15bd8dd58",
        "validation_root": "visual/validation/historical_snapshot_20261006",
        "classification": "superseded_historical_snapshot",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      },
      {
        "manifest": "visual/validation/visual_run_final_20261006/manifest.json",
        "manifest_sha256": "04f9d9c0ef3f37a374ad81667a60dca55535b6a3c7b799f8489d4c834f5ec95c",
        "validation_root": ".",
        "classification": "current_or_retained_record",
        "returncode": 0,
        "stdout": "valid evidence record; mathematical interpretation requires review",
        "stderr": ""
      }
    ],
    "scope": "Schema and input/output hashes only, including the declared snapshot root for superseded visual history. Failed scientific records remain failed; superseded records remain superseded. No universal proof or Lean check inferred.",
    "historical_root_declaration_sha256": "cdebde03cce2a8457f360578d758f111c091649df2a9e81829a52d0b50c97132"
  },
  "source_payloads_preserved": 765,
  "related_formal_payloads_preserved": 100,
  "related_formal_inventory": {
    "schema": "komorebi.signal.related-lean-text-inventory.v1",
    "method": "Comment/string-masked textual scan, including noncomputable declarations; no elaboration",
    "production_modules": 23,
    "total_lean_files": 25,
    "explicit_declarations": 349,
    "kinds": {
      "inductive": 9,
      "def": 107,
      "theorem": 225,
      "abbrev": 7,
      "structure": 1
    },
    "contract_targets": 225,
    "all_contract_source_names_files_lines_match": true,
    "root_imports_match": true,
    "evidence": "Fresh static inspection of preserved Paper V v1.1.0 checkpoint",
    "fresh_signal_lean_check": false
  },
  "fresh_signal_lean": {
    "scope": "Current Signal release PATH probe only; no new Lean build was attempted. Related Paper V build records are inherited.",
    "lean_on_path": null,
    "lake_on_path": null,
    "fresh_signal_lean_check": false
  },
  "full_signal_claims_formally_covered": 0,
  "mathematical_review": "proved as written",
  "mathematical_review_limit": "The 46 printed implications under their explicit hypotheses; no global novelty or unconditional algorithm reliability claim.",
  "visual_review": "clean_within_declared_scope",
  "lean_correspondence_review": "PASS_SOURCE_CORRESPONDENCE_AND_SCOPED_INTERPRETATION",
  "later_paper_v_archive": "Two downloaded copies failed ZIP validation; checked v1.1.0 checkpoint supplies related sources.",
  "external_repository_publication": false,
  "machine_native_edition": "deferred"
}