{"version":1,"checkpoint":1635,"id":"c129-155","title":"Finite 17K squares, P6 boundary and one residual","start":129,"end":155,"count":27,"description":"Tests which source roles support 20K/17K/13K claims, exhausts the selected 5×6 square family and shows how a single residual links exact Flood midpoint, Creation prefix and 529-grid conditions.","topicIds":["mirror-529"],"primaryTopicId":"mirror-529","entrypoints":[{"id":"c155","title":"C155 — A single residual connects the finite Mirror constructions","textURL":"/read/c155.html","jsonURL":"/documents/c155.json","download":"/sources/a0688805a3817f87ace1c6144ee23a9d475449ddf7821c59eb0a8c848fdd9232.md","filename":"490d_C155_529_Mirror_Bounded_Step_20260923.md","sha256":"a0688805a3817f87ace1c6144ee23a9d475449ddf7821c59eb0a8c848fdd9232","role":"Research action"},{"id":"c132","title":"C132 — Which source attachments sustain the 20K, 17K, and 13K Mirror claims?","textURL":"/read/c132.html","jsonURL":"/documents/c132.json","download":"/sources/2ff692c0deca08675e6172eafe792d8f810fb97b3c8af8330758504ebd1e8518.md","filename":"490d_C132_Finite_Source_Incidence_Deletions_20260922.md","sha256":"2ff692c0deca08675e6172eafe792d8f810fb97b3c8af8330758504ebd1e8518","role":"Research action"},{"id":"c145","title":"C145 — One alignment condition links the 10K, 13K and 17K constructions","textURL":"/read/c145.html","jsonURL":"/documents/c145.json","download":"/sources/181daccd79b697ad7dd4763d415ce18c05c4568b355dee400a63638361cd2ebf.md","filename":"490d_C145_529_Mirror_Bounded_Step_20260923.md","sha256":"181daccd79b697ad7dd4763d415ce18c05c4568b355dee400a63638361cd2ebf","role":"Research action"}],"sourceIds":[{"id":"d-68301ab760bfbe2e","title":"File_18 — Chronological Data Tables","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File_09 — Cumulative Architecture","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}],"cycle":{"id":"early-129","title":"Finite 17K squares, P6 boundary and one residual","start":129,"end":155},"textURL":"/research/campaigns/c129-155.html","jsonURL":"/research/campaigns/c129-155.json","retrieval":{"currentAccount":{"id":"synthesis","title":"How the chronological families fit together","textURL":"/read/synthesis.html","jsonURL":"/documents/synthesis.json","download":"/sources/ba66fb0bf2403c72e020b065a0f1d1c775eb493af49c4676bb256a8113ee2dc7.md","filename":"490d_Chronological_Families_Explanation_Through_C1634_Portable.md","sha256":"ba66fb0bf2403c72e020b065a0f1d1c775eb493af49c4676bb256a8113ee2dc7","role":"Synthesis"},"sourceGuideURL":"/study-documents/index.html","sourceGuideMarkdownURL":"/study-documents/source-guide.md","fullCatalogURL":"/catalog.json","instructions":["Read the current explanation, then select the topic matching your question. A topic may join several separate research campaigns.","Read the selected Start here documents before opening a complete numbered-record list. Follow their cited source editions and evidence links as needed.","Use a campaign for one contiguous line of study; use a topic to find related work revisited across campaigns. The topic and campaign JSON lists contain links and edition hashes, not document bodies.","Original numbered records retain their historical scope and source assumptions. Later corrections, accepted source decisions and the current synthesis govern the present account.","If a subject is absent from the published Knowledge Catalog, consult Study documents and the source guide for supporting studies used or referenced in the C-series research."],"classificationNote":"These sections are an editorial navigation map of preserved research. Classification does not revalidate arithmetic or promote every historical finding to an accepted conclusion."},"members":[{"id":"c129","step":129,"title":"C129 — Are the two 3×529 legs the same source construction?","textURL":"/read/c129.html","jsonURL":"/documents/c129.json","download":"/sources/b6209527ade4b4c025779508804fc5b93f656b5ba39c3731bf018fdfa7991810.md","sha256":"b6209527ade4b4c025779508804fc5b93f656b5ba39c3731bf018fdfa7991810","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c130","step":130,"title":"C130 — The N02/N04 20K midpoint and 17K circuit close dependently","textURL":"/read/c130.html","jsonURL":"/documents/c130.json","download":"/sources/cd10d87fa832c055b4a45f49dcda470a19147cd57ef9284e1edac2e4db572161.md","sha256":"cd10d87fa832c055b4a45f49dcda470a19147cd57ef9284e1edac2e4db572161","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c131","step":131,"title":"C131 — Flood-close rows complete the four-member doubled-offset ladder","textURL":"/read/c131.html","jsonURL":"/documents/c131.json","download":"/sources/be39a5f5e0d2deee64b40c8dc83529e3522990e1da863d1a7ce26dfb45144a96.md","sha256":"be39a5f5e0d2deee64b40c8dc83529e3522990e1da863d1a7ce26dfb45144a96","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c132","step":132,"title":"C132 — Which source attachments sustain the 20K, 17K, and 13K Mirror claims?","textURL":"/read/c132.html","jsonURL":"/documents/c132.json","download":"/sources/2ff692c0deca08675e6172eafe792d8f810fb97b3c8af8330758504ebd1e8518.md","sha256":"2ff692c0deca08675e6172eafe792d8f810fb97b3c8af8330758504ebd1e8518","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c133","step":133,"title":"C133 — Five direct 13K edges, with a correction to their boundary alignment","textURL":"/read/c133.html","jsonURL":"/documents/c133.json","download":"/sources/9f12b5524783a946b3eb936e666b6d017d714db3c4b8bd5333b557f165c29ad1.md","sha256":"9f12b5524783a946b3eb936e666b6d017d714db3c4b8bd5333b557f165c29ad1","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c134","step":134,"title":"C134 — P6 retains both 3K comparisons and the 3+8 prefix","textURL":"/read/c134.html","jsonURL":"/documents/c134.json","download":"/sources/dfc432541c3c39cac6d000d238c1a7d3e8a29c91188df6329c51b7273f47ae0b.md","sha256":"dfc432541c3c39cac6d000d238c1a7d3e8a29c91188df6329c51b7273f47ae0b","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c135","step":135,"title":"C135 — P6's sourced 17K route retains a −1/+1 Flood subdivision","textURL":"/read/c135.html","jsonURL":"/documents/c135.json","download":"/sources/0ead64f5ead2f086f7119d0a68b75ac9989cc4f45dc9aeb5601725242803f56e.md","sha256":"0ead64f5ead2f086f7119d0a68b75ac9989cc4f45dc9aeb5601725242803f56e","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"},{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c136","step":136,"title":"C136 — P6 admits a 1059-sided 17K square","textURL":"/read/c136.html","jsonURL":"/documents/c136.json","download":"/sources/3a755724286f5b671da707f7af6e78d567b38067082a51d45fd4990c8759e715.md","sha256":"3a755724286f5b671da707f7af6e78d567b38067082a51d45fd4990c8759e715","evidenceLinks":[]},{"id":"c137","step":137,"title":"C137 — The nearest admitted P6 correction is unique","textURL":"/read/c137.html","jsonURL":"/documents/c137.json","download":"/sources/e9b76d59bcb514daccc9ab38ab98f9d23c731db54aca3095967d740298d3c79a.md","sha256":"e9b76d59bcb514daccc9ab38ab98f9d23c731db54aca3095967d740298d3c79a","evidenceLinks":[]},{"id":"c138","step":138,"title":"C138 — Six source-qualified P6 comparison squares","textURL":"/read/c138.html","jsonURL":"/documents/c138.json","download":"/sources/943df36b8b2f272fba4af82b349f4d46c4de5de4bb3498fc6b48f1ae875969cd.md","sha256":"943df36b8b2f272fba4af82b349f4d46c4de5de4bb3498fc6b48f1ae875969cd","evidenceLinks":[]},{"id":"c139","step":139,"title":"C139 — Source-field membership does not require a stored graph node","textURL":"/read/c139.html","jsonURL":"/documents/c139.json","download":"/sources/46e3f232f6de8abc98a9688f42fb14dececd9ec022253725b029328aa57f0116.md","sha256":"46e3f232f6de8abc98a9688f42fb14dececd9ec022253725b029328aa57f0116","evidenceLinks":[{"id":"d-68301ab760bfbe2e","title":"File 18","textURL":"/read/d-68301ab760bfbe2e.html","jsonURL":"/documents/d-68301ab760bfbe2e.json","download":"/sources/68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5.md","filename":"38-File_18.Chronological_Data_Tables-20260919-141048-.md","sha256":"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5","role":"Source"}]},{"id":"c140","step":140,"title":"C140 — P6 has a bounded residual family δ=1…6","textURL":"/read/c140.html","jsonURL":"/documents/c140.json","download":"/sources/14c8e121b3b1fd6a78e3f061eee7a6cc9910f5be1aad1962301894cfac024796.md","sha256":"14c8e121b3b1fd6a78e3f061eee7a6cc9910f5be1aad1962301894cfac024796","evidenceLinks":[]},{"id":"c141","step":141,"title":"C141 — A finite 5×6 family of equal-diagonal comparisons","textURL":"/read/c141.html","jsonURL":"/documents/c141.json","download":"/sources/0dcb15dddbb80381fffb510c69ae792bb49fd7fee54c5c0d15925ddae8ef5f47.md","sha256":"0dcb15dddbb80381fffb510c69ae792bb49fd7fee54c5c0d15925ddae8ef5f47","evidenceLinks":[]},{"id":"c142","step":142,"title":"C142 — Exactly four of the thirty lie entirely on the 529 grid","textURL":"/read/c142.html","jsonURL":"/documents/c142.json","download":"/sources/896b2dfa26cf3be0e575e631a90ccbd6e9fc0af431bf525e26625256c25e86e0.md","sha256":"896b2dfa26cf3be0e575e631a90ccbd6e9fc0af431bf525e26625256c25e86e0","evidenceLinks":[]},{"id":"c143","step":143,"title":"C143 — The square residual also controls the Creation-to-Flood 13K span","textURL":"/read/c143.html","jsonURL":"/documents/c143.json","download":"/sources/543b699457789b6d8cce3fcab30a81eee79671665df7ebbda1aabd657fbeb3d4.md","sha256":"543b699457789b6d8cce3fcab30a81eee79671665df7ebbda1aabd657fbeb3d4","evidenceLinks":[]},{"id":"c144","step":144,"title":"C144 — Opposite residuals cancel throughout the finite 17K routes","textURL":"/read/c144.html","jsonURL":"/documents/c144.json","download":"/sources/f0463e8a10b339613c56a099da00583214f5a6f18dfeb68098702a491a09eb29.md","sha256":"f0463e8a10b339613c56a099da00583214f5a6f18dfeb68098702a491a09eb29","evidenceLinks":[]},{"id":"c145","step":145,"title":"C145 — One alignment condition links the 10K, 13K and 17K constructions","textURL":"/read/c145.html","jsonURL":"/documents/c145.json","download":"/sources/181daccd79b697ad7dd4763d415ce18c05c4568b355dee400a63638361cd2ebf.md","sha256":"181daccd79b697ad7dd4763d415ce18c05c4568b355dee400a63638361cd2ebf","evidenceLinks":[]},{"id":"c146","step":146,"title":"C146 — The equal 3K and 8K relations survive every Flood selector","textURL":"/read/c146.html","jsonURL":"/documents/c146.json","download":"/sources/87cff2ed691a428b8e982b783835e889b8ce61fa85dce75730b6a1ed5d0b88e0.md","sha256":"87cff2ed691a428b8e982b783835e889b8ce61fa85dce75730b6a1ed5d0b88e0","evidenceLinks":[]},{"id":"c147","step":147,"title":"C147 — A local affine model has two selector freedoms","textURL":"/read/c147.html","jsonURL":"/documents/c147.json","download":"/sources/12d1e7e7ac9e9ac109aff218e7a37f5eca1c41a0c5cd8423d881cde68f8d1881.md","sha256":"12d1e7e7ac9e9ac109aff218e7a37f5eca1c41a0c5cd8423d881cde68f8d1881","evidenceLinks":[]},{"id":"c148","step":148,"title":"C148 — Exact partitions share dependencies rather than independent confirmations","textURL":"/read/c148.html","jsonURL":"/documents/c148.json","download":"/sources/9613efd9ce0737af443ec5bf2481d7e925ac884e47c0f0534bc41650b0d0baaa.md","sha256":"9613efd9ce0737af443ec5bf2481d7e925ac884e47c0f0534bc41650b0d0baaa","evidenceLinks":[]},{"id":"c149","step":149,"title":"C149 — The exact rows pair Noah with the next Flood Gear","textURL":"/read/c149.html","jsonURL":"/documents/c149.json","download":"/sources/4f633b8134b8b1d12cdad7f97728f1bfc2c944c9b9af1f2664dc1e1d4e6d1c45.md","sha256":"4f633b8134b8b1d12cdad7f97728f1bfc2c944c9b9af1f2664dc1e1d4e6d1c45","evidenceLinks":[]},{"id":"c150","step":150,"title":"C150 — Paired reflection preserves the finite residual square","textURL":"/read/c150.html","jsonURL":"/documents/c150.json","download":"/sources/83e909348b7712b079d04fa7791f717163140f981516a9ede4e3618977474b12.md","sha256":"83e909348b7712b079d04fa7791f717163140f981516a9ede4e3618977474b12","evidenceLinks":[{"id":"d-45851004c5864229","title":"File 09","textURL":"/read/d-45851004c5864229.html","jsonURL":"/documents/d-45851004c5864229.json","download":"/sources/45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e.md","filename":"30-File_09.Cumulative_Architecture-9-.md","sha256":"45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e","role":"Source"}]},{"id":"c151","step":151,"title":"C151 — The one-year source residual is not a phase-counting artifact","textURL":"/read/c151.html","jsonURL":"/documents/c151.json","download":"/sources/13b15dfadc7d793aa14c25ab93c14478ba3c8468cfe50392cc5a299ca0db40a0.md","sha256":"13b15dfadc7d793aa14c25ab93c14478ba3c8468cfe50392cc5a299ca0db40a0","evidenceLinks":[]},{"id":"c152","step":152,"title":"C152 — Residual-preserving shifts are partial source correspondences","textURL":"/read/c152.html","jsonURL":"/documents/c152.json","download":"/sources/f530db7fa4f2f7591f6c30c7cd48ec11122d116bd53d9ffb7f2b753d62e2a717.md","sha256":"f530db7fa4f2f7591f6c30c7cd48ec11122d116bd53d9ffb7f2b753d62e2a717","evidenceLinks":[]},{"id":"c153","step":153,"title":"C153 — Thirty squares reuse eleven typed diagonal comparisons","textURL":"/read/c153.html","jsonURL":"/documents/c153.json","download":"/sources/6a7ffec838eb77f03896d51ea3f4dff007f6669ea5cf5229b987073a2a00bc48.md","sha256":"6a7ffec838eb77f03896d51ea3f4dff007f6669ea5cf5229b987073a2a00bc48","evidenceLinks":[]},{"id":"c154","step":154,"title":"C154 — Source intersections explain the nested seven, five and four counts","textURL":"/read/c154.html","jsonURL":"/documents/c154.json","download":"/sources/2ade28d8cf6418b59f3b7901063a281e6a2d3f3f319d89c471bcd4f0c7b3439e.md","sha256":"2ade28d8cf6418b59f3b7901063a281e6a2d3f3f319d89c471bcd4f0c7b3439e","evidenceLinks":[]},{"id":"c155","step":155,"title":"C155 — A single residual connects the finite Mirror constructions","textURL":"/read/c155.html","jsonURL":"/documents/c155.json","download":"/sources/a0688805a3817f87ace1c6144ee23a9d475449ddf7821c59eb0a8c848fdd9232.md","sha256":"a0688805a3817f87ace1c6144ee23a9d475449ddf7821c59eb0a8c848fdd9232","evidenceLinks":[]}]}