Paper V: Polyphase Signal Calculus

Download original file

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

Read the typeset paper

1 {
2   "schema": "komorebi.scoped_series_status.v2",
3   "edition_date": "2026-10-20",
4   "scope": "Current Paper V only. Other papers were not modified or rechecked in this work. Earlier series snapshots are retained as dated provenance.",
5   "papers": [
6     {
7       "paper": "V",
8       "traditional": "finalized",
9       "visual_guide": "finalized",
10       "lean_guide": "finalized",
11       "documents": [
12         {
13           "role": "traditional",
14           "title": "Traditional monograph",
15           "path": "papers/Paper_V_Traditional_Final.pdf",
16           "pages": 131,
17           "bytes": 1899920,
18           "sha256": "fac98850eb07c5258c62f09773218d16f3213f12733a38944d4d73812e7c93f0"
19         },
20         {
21           "role": "visual_guide",
22           "title": "Visual guide",
23           "path": "papers/Paper_V_Visual_Guide_Final.pdf",
24           "pages": 43,
25           "bytes": 272525,
26           "sha256": "f3a84216d2fb02169d026cbfafb62a623a87b95e88c7cad35c85160a41739bca"
27         },
28         {
29           "role": "lean_guide",
30           "title": "Lean and evidence guide",
31           "path": "papers/Paper_V_Lean_Guide_Final.pdf",
32           "pages": 60,
33           "bytes": 239599,
34           "sha256": "66c394f637ea526be68f47f36b93c24d14fde5876734fe86e272b223a86c3ec9"
35         }
36       ],
37       "total_pages": 234,
38       "mathematical_branches": 2,
39       "numbered_records": 119,
40       "proof_records": 83,
41       "formal_core_results": 20,
42       "inherited_theorem_targets": 225,
43       "fresh_lean_execution": false,
44       "release_version": "1.2.0",
45       "status": "CLOSED_WITHIN_STATED_SCOPE"
46     }
47   ]
48 }

Back to source controls

Back to Paper V: Polyphase Signal Calculus