README_V06.md
Streaming Polyphase Factor Decomposition / SKAT
README_V06.md
1 # Streaming Polyphase Factor Decomposition v0.6
2
3 This checkpoint adds a certified phase-pair scheduler on top of the approximate
4 light-cone transfer bounds.
5
6 New files:
7 - `budget_scheduler.py`
8 - `test_budget_scheduler.py`
9 - `BUDGET_SCHEDULER_THEOREM.tex`
10 - `PROOF_AUDIT_BUDGET_SCHEDULER.md`
11 - `budget_scheduler_large.csv`
12 - `budget_scheduler_bruteforce_audit.csv`
13 - `weighted_communication_schedule.csv`
14 - `double_buffer_model.csv`
15 - `edge_risk_vs_block_norm.csv`
16 - `VERIFICATION_V06.md`
17
18 Main new results:
19 1. edge-additive phase-risk majorant;
20 2. globally cardinality-optimal equal-cost pruning under the scalar additive certificate;
21 3. certified exact-envelope refinement;
22 4. unequal-cost 0-1 knapsack formulation;
23 5. ideal asynchronous double-buffer timing and memory model.
24
25 Run:
26 ```bash
27 python test_streaming_skat.py
28 python test_formal_v02.py
29 python test_approximate_lightcone.py
30 python test_budget_scheduler.py
31 pdflatex -interaction=nonstopmode -halt-on-error FINAL_MANUSCRIPT.tex
32 pdflatex -interaction=nonstopmode -halt-on-error FINAL_MANUSCRIPT.tex
33 ```