Signal Reconstruction

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 {
2   "status": "FINAL_PUBLICATION_EDITION_WITH_SCOPED_EVIDENCE",
3   "title": "Signal Reconstruction: Polyphase Sampling, Unknown Edges, and Self-Calibration",
4   "author": "Komorebi P.",
5   "edition": "2026-10-06",
6   "documents": {
7     "traditional": {
8       "path": "traditional/Signal_Reconstruction_Traditional.pdf",
9       "pages": 31,
10       "bytes": 553357,
11       "sha256": "00e86f7bbfd5e881749de2d8cd914ce68616e2cfae9e124d99784440bc7fc440",
12       "tex_inputs": [
13         "traditional/Signal_Reconstruction_Traditional.tex"
14       ],
15       "labels": 46,
16       "references": 0,
17       "markdown_bytes": 84623
18     },
19     "visual": {
20       "path": "visual/Signal_Reconstruction_Visual_Guide.pdf",
21       "pages": 29,
22       "bytes": 786243,
23       "sha256": "1e373ff0d204c3c67b92da55b89065c76844cd892bedd791eae34ab307a00ab3",
24       "tex_inputs": [
25         "visual/Signal_Reconstruction_Visual_Guide.tex"
26       ],
27       "labels": 33,
28       "references": 0,
29       "markdown_bytes": 62368
30     },
31     "lean": {
32       "path": "lean/Signal_Reconstruction_Lean_Guide.pdf",
33       "pages": 24,
34       "bytes": 466125,
35       "sha256": "b6010a6c7bd988ea9323073f5c953fca60ad7d39768a7317f131a10b963a257a",
36       "tex_inputs": [
37         "lean/Signal_Reconstruction_Lean_Guide.tex"
38       ],
39       "labels": 32,
40       "references": 0,
41       "markdown_bytes": 57203
42     }
43   },
44   "total_pdf_pages": 84,
45   "principal_result_groups": 46,
46   "visual_figures": 21,
47   "markdown_companions_included": true,
48   "source_verification": {
49     "active_scoped_suites": 10,
50     "recorded_checks": 288,
51     "deduplicated_checks": 281,
52     "observed_identification_failures": [
53       {
54         "case": "bursts_6_jump",
55         "true_order": 6,
56         "inferred_order": 9,
57         "scope": "Complex burst stress model; invalid location/jump comparisons; finite reconstructed error does not establish parameter recovery"
58       },
59       {
60         "case": "rank_ratio_boundary",
61         "true_order": 3,
62         "native_inferred_order": 2,
63         "supplied_threshold_inferred_order": 3,
64         "scope": "Native largest-ratio heuristic fails despite known Weyl-gap hypotheses for an independent threshold selector"
65       }
66     ],
67     "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."
68   },
69   "visual_finite_controls": {
70     "recorded_checks": 333,
71     "counts_merged_with_source_verification": false
72   },
73   "evidence_record_validation": {
74     "status": "PASS",
75     "record_count": 16,
76     "records": [
77       {
78         "manifest": "verification/runs/release_20261006_complex_seed_metadata/complex_benchmark/manifest.json",
79         "manifest_sha256": "e37f2ef58aacfd2651d3fe2b22e769e1a0c86f32482ef7c7829d254d7c553c91",
80         "validation_root": ".",
81         "classification": "current_or_retained_record",
82         "returncode": 0,
83         "stdout": "valid evidence record; mathematical interpretation requires review",
84         "stderr": ""
85       },
86       {
87         "manifest": "verification/runs/release_20261006_exact/exact_invariants/manifest.json",
88         "manifest_sha256": "fc8e0ad88bc9f5923064994df5d651b53a8a0682f214e1c996340e994dab5fce",
89         "validation_root": ".",
90         "classification": "current_or_retained_record",
91         "returncode": 0,
92         "stdout": "valid evidence record; mathematical interpretation requires review",
93         "stderr": ""
94       },
95       {
96         "manifest": "verification/runs/release_20261006_initial/complex_benchmark/manifest.json",
97         "manifest_sha256": "ffa73f103a2d4fea770f745a26e410f067ef3783ee0fe99debfa09e21cf9b125",
98         "validation_root": ".",
99         "classification": "current_or_retained_record",
100         "returncode": 0,
101         "stdout": "valid evidence record; mathematical interpretation requires review",
102         "stderr": ""
103       },
104       {
105         "manifest": "verification/runs/release_20261006_initial/exact_invariants/manifest.json",
106         "manifest_sha256": "c60b447e4d0dba8c218d279f0f095b818c0313dadac857c9e62fbab8d3dfe43f",
107         "validation_root": ".",
108         "classification": "current_or_retained_record",
109         "returncode": 0,
110         "stdout": "valid evidence record; mathematical interpretation requires review",
111         "stderr": ""
112       },
113       {
114         "manifest": "verification/runs/release_20261006_initial/gibbs_case/manifest.json",
115         "manifest_sha256": "60528fc17fa4615f334bdefdbd08554e982a864d2ec6e6223b8ecefceee65579",
116         "validation_root": ".",
117         "classification": "current_or_retained_record",
118         "returncode": 0,
119         "stdout": "valid evidence record; mathematical interpretation requires review",
120         "stderr": ""
121       },
122       {
123         "manifest": "verification/runs/release_20261006_initial/infinite_packet/manifest.json",
124         "manifest_sha256": "9dc2716c56006fe9ff24260287df70d00c6a739d69a4889ccf5f4c5aef0500df",
125         "validation_root": ".",
126         "classification": "current_or_retained_record",
127         "returncode": 0,
128         "stdout": "valid evidence record; mathematical interpretation requires review",
129         "stderr": ""
130       },
131       {
132         "manifest": "verification/runs/release_20261006_initial/infinite_packet_spd/manifest.json",
133         "manifest_sha256": "c93870b57b1f2e5a40ee81f73961f0c0fe828f05d19c643f4b9f24aeff0e3ecc",
134         "validation_root": ".",
135         "classification": "current_or_retained_record",
136         "returncode": 0,
137         "stdout": "valid evidence record; mathematical interpretation requires review",
138         "stderr": ""
139       },
140       {
141         "manifest": "verification/runs/release_20261006_initial/self_calibration/manifest.json",
142         "manifest_sha256": "796a7c2710cdba4a05369b0e5ef6634f0bd847acd6b09c6aa5b216acaa7193a8",
143         "validation_root": ".",
144         "classification": "current_or_retained_record",
145         "returncode": 0,
146         "stdout": "valid evidence record; mathematical interpretation requires review",
147         "stderr": ""
148       },
149       {
150         "manifest": "verification/runs/release_20261006_initial/singularity_dictionary/manifest.json",
151         "manifest_sha256": "97e18f5d50180ded5ac7ddeb0d0b04c1a37cd8ad98af722089eb83814039cc6b",
152         "validation_root": ".",
153         "classification": "current_or_retained_record",
154         "returncode": 0,
155         "stdout": "valid evidence record; mathematical interpretation requires review",
156         "stderr": ""
157       },
158       {
159         "manifest": "verification/runs/release_20261006_initial/unknown_edge/manifest.json",
160         "manifest_sha256": "137eeceb0ced10c658bc51a7efdf0c2f9e679b8503b397013eec753337e314b7",
161         "validation_root": ".",
162         "classification": "current_or_retained_record",
163         "returncode": 0,
164         "stdout": "valid evidence record; mathematical interpretation requires review",
165         "stderr": ""
166       },
167       {
168         "manifest": "verification/runs/release_20261006_rank_controls/rank_aware_execution_copy/manifest.json",
169         "manifest_sha256": "c1b11b7c98dbd0415180b9705c6c23664c562dd2d2c9e7ef35f5d4cd0e458daa",
170         "validation_root": ".",
171         "classification": "current_or_retained_record",
172         "returncode": 0,
173         "stdout": "valid evidence record; mathematical interpretation requires review",
174         "stderr": ""
175       },
176       {
177         "manifest": "verification/runs/release_20261006_rank_ratio/rank_ratio_boundary/manifest.json",
178         "manifest_sha256": "30c3849adc5a2ddf965cf12d76bd258838a997235465c17bdd145b286445b327",
179         "validation_root": ".",
180         "classification": "current_or_retained_record",
181         "returncode": 0,
182         "stdout": "valid evidence record; mathematical interpretation requires review",
183         "stderr": ""
184       },
185       {
186         "manifest": "verification/runs/release_20261006_scoped_followup/complex_benchmark/manifest.json",
187         "manifest_sha256": "a522a2df83d6b8e4172732891b471561741b3619b433b185e340e3fbe7cf6390",
188         "validation_root": ".",
189         "classification": "current_or_retained_record",
190         "returncode": 0,
191         "stdout": "valid evidence record; mathematical interpretation requires review",
192         "stderr": ""
193       },
194       {
195         "manifest": "verification/runs/release_20261006_self_seed_metadata/self_calibration/manifest.json",
196         "manifest_sha256": "54e3a60abf103cfa536572c8c923e5b42efeb6d0fe3abe0b4c63c3ec350eb6eb",
197         "validation_root": ".",
198         "classification": "current_or_retained_record",
199         "returncode": 0,
200         "stdout": "valid evidence record; mathematical interpretation requires review",
201         "stderr": ""
202       },
203       {
204         "manifest": "visual/validation/visual_run_20261006/manifest.json",
205         "manifest_sha256": "be8a0e98129e08bd28638fe8959960a8d67bcb3f24fb6fff54e20ca15bd8dd58",
206         "validation_root": "visual/validation/historical_snapshot_20261006",
207         "classification": "superseded_historical_snapshot",
208         "returncode": 0,
209         "stdout": "valid evidence record; mathematical interpretation requires review",
210         "stderr": ""
211       },
212       {
213         "manifest": "visual/validation/visual_run_final_20261006/manifest.json",
214         "manifest_sha256": "04f9d9c0ef3f37a374ad81667a60dca55535b6a3c7b799f8489d4c834f5ec95c",
215         "validation_root": ".",
216         "classification": "current_or_retained_record",
217         "returncode": 0,
218         "stdout": "valid evidence record; mathematical interpretation requires review",
219         "stderr": ""
220       }
221     ],
222     "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.",
223     "historical_root_declaration_sha256": "cdebde03cce2a8457f360578d758f111c091649df2a9e81829a52d0b50c97132"
224   },
225   "source_payloads_preserved": 765,
226   "related_formal_payloads_preserved": 100,
227   "related_formal_inventory": {
228     "schema": "komorebi.signal.related-lean-text-inventory.v1",
229     "method": "Comment/string-masked textual scan, including noncomputable declarations; no elaboration",
230     "production_modules": 23,
231     "total_lean_files": 25,
232     "explicit_declarations": 349,
233     "kinds": {
234       "inductive": 9,
235       "def": 107,
236       "theorem": 225,
237       "abbrev": 7,
238       "structure": 1
239     },
240     "contract_targets": 225,
241     "all_contract_source_names_files_lines_match": true,
242     "root_imports_match": true,
243     "evidence": "Fresh static inspection of preserved Paper V v1.1.0 checkpoint",
244     "fresh_signal_lean_check": false
245   },
246   "fresh_signal_lean": {
247     "scope": "Current Signal release PATH probe only; no new Lean build was attempted. Related Paper V build records are inherited.",
248     "lean_on_path": null,
249     "lake_on_path": null,
250     "fresh_signal_lean_check": false
251   },
252   "full_signal_claims_formally_covered": 0,
253   "mathematical_review": "proved as written",
254   "mathematical_review_limit": "The 46 printed implications under their explicit hypotheses; no global novelty or unconditional algorithm reliability claim.",
255   "visual_review": "clean_within_declared_scope",
256   "lean_correspondence_review": "PASS_SOURCE_CORRESPONDENCE_AND_SCOPED_INTERPRETATION",
257   "later_paper_v_archive": "Two downloaded copies failed ZIP validation; checked v1.1.0 checkpoint supplies related sources.",
258   "external_repository_publication": false,
259   "machine_native_edition": "deferred"
260 }

Back to source controls

Back to Signal Reconstruction