{"version":1,"checkpoint":1635,"id":"key-domains","title":"Calendar Key grids, domains and order","start":872,"end":889,"count":18,"description":"States exact grid-domain rules for E, P and J, full source-field tests, stagewise integrality and held-anchor order effects.","topicIds":["calendar-keys"],"primaryTopicId":"calendar-keys","entrypoints":[{"id":"c873","title":"C873 — Derive the exact lattice-preservation criterion","textURL":"/read/c873.html","jsonURL":"/documents/c873.json","download":"/sources/4c7ea2e1dc1b648f9591eb4e63c4e1796d511379a0749f3c6c2cb1e6ba6863a5.md","filename":"C873.md","sha256":"4c7ea2e1dc1b648f9591eb4e63c4e1796d511379a0749f3c6c2cb1e6ba6863a5","role":"Research action"},{"id":"c877","title":"C877 — Derive the quarter-family divisibility law","textURL":"/read/c877.html","jsonURL":"/documents/c877.json","download":"/sources/e505eb92538e5ecc9865e01dfb8aeb2eeeb5ef931cac8160f6559545c6dbbdca.md","filename":"C877.md","sha256":"e505eb92538e5ecc9865e01dfb8aeb2eeeb5ef931cac8160f6559545c6dbbdca","role":"Research action"},{"id":"c880","title":"C880 — Derive the prefix-denominator theorem","textURL":"/read/c880.html","jsonURL":"/documents/c880.json","download":"/sources/d2959a3c5e3b07f9686a3864cbb358b3827642e4a8726e56ef7fab0faef08f53.md","filename":"C880.md","sha256":"d2959a3c5e3b07f9686a3864cbb358b3827642e4a8726e56ef7fab0faef08f53","role":"Research action"},{"id":"c882","title":"C882 — Isolate the partial-action order asymmetry","textURL":"/read/c882.html","jsonURL":"/documents/c882.json","download":"/sources/f2d3b0c5674d4b888d5c09fa0c3200a3ad18eb7fa75b2f1487e71f659be95d73.md","filename":"C882.md","sha256":"f2d3b0c5674d4b888d5c09fa0c3200a3ad18eb7fa75b2f1487e71f659be95d73","role":"Research action"}],"sourceIds":[{"id":"d-18e8c54ff1663fb1","title":"File_46 — Harmonic Expansion Protocols","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"},{"id":"d-180803601a2db301","title":"File_63 — The Scale-Neutral `480/483/490` Carrier","textURL":"/read/d-180803601a2db301.html","jsonURL":"/documents/d-180803601a2db301.json","download":"/sources/180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35.md","filename":"09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md","sha256":"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35","role":"Source"},{"id":"d-d8aa38afb2a2df8f","title":"The Rounded Scaffold — Mod-5 Architecture Underlying Biblical Chronology","textURL":"/read/d-d8aa38afb2a2df8f.html","jsonURL":"/documents/d-d8aa38afb2a2df8f.json","download":"/sources/d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c.md","filename":"File_51a.Rounded_Scaffold_Mod5_Architecture.md","sha256":"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c","role":"Source"},{"id":"d-9a1eff41920cd0f8","title":"File_12 — Calendrical Physics","textURL":"/read/d-9a1eff41920cd0f8.html","jsonURL":"/documents/d-9a1eff41920cd0f8.json","download":"/sources/9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8.md","filename":"16-File_12.Calendrical_Physics-20260907-192303-.md","sha256":"9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8","role":"Source"}],"cycle":{"id":"whole-family-transfer","title":"Whole-family transfers, NT displays, Keys and carriers","start":832,"end":931},"textURL":"/research/campaigns/key-domains.html","jsonURL":"/research/campaigns/key-domains.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":"c872","step":872,"title":"C872 — Freeze the complete operator-domain packet","textURL":"/read/c872.html","jsonURL":"/documents/c872.json","download":"/sources/1cb7ea9a6bf48e5309193100c55ffe7807bd7cf2a8bd298d3a615f2b48f84afc.md","sha256":"1cb7ea9a6bf48e5309193100c55ffe7807bd7cf2a8bd298d3a615f2b48f84afc","evidenceLinks":[{"id":"d-fbed103853494c21","title":"model/operator_inputs.json","textURL":"/read/d-fbed103853494c21.html","jsonURL":"/documents/d-fbed103853494c21.json","download":"/sources/fbed103853494c21cb6fa7e37ef4e47e21d9de8d9b4348cea817505001fff8e3.json","filename":"operator_inputs.json","sha256":"fbed103853494c21cb6fa7e37ef4e47e21d9de8d9b4348cea817505001fff8e3","role":"Evidence"},{"id":"d-180803601a2db301","title":"File 63","textURL":"/read/d-180803601a2db301.html","jsonURL":"/documents/d-180803601a2db301.json","download":"/sources/180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35.md","filename":"09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md","sha256":"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35","role":"Source"},{"id":"d-9a1eff41920cd0f8","title":"File 12","textURL":"/read/d-9a1eff41920cd0f8.html","jsonURL":"/documents/d-9a1eff41920cd0f8.json","download":"/sources/9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8.md","filename":"16-File_12.Calendrical_Physics-20260907-192303-.md","sha256":"9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8","role":"Source"},{"id":"d-d8aa38afb2a2df8f","title":"File 51a","textURL":"/read/d-d8aa38afb2a2df8f.html","jsonURL":"/documents/d-d8aa38afb2a2df8f.json","download":"/sources/d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c.md","filename":"File_51a.Rounded_Scaffold_Mod5_Architecture.md","sha256":"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c","role":"Source"},{"id":"d-18e8c54ff1663fb1","title":"File 46","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"}]},{"id":"c873","step":873,"title":"C873 — Derive the exact lattice-preservation criterion","textURL":"/read/c873.html","jsonURL":"/documents/c873.json","download":"/sources/4c7ea2e1dc1b648f9591eb4e63c4e1796d511379a0749f3c6c2cb1e6ba6863a5.md","sha256":"4c7ea2e1dc1b648f9591eb4e63c4e1796d511379a0749f3c6c2cb1e6ba6863a5","evidenceLinks":[{"id":"d-99ef73648f71a47a","title":"model/one_key_grid_theorem.json","textURL":"/read/d-99ef73648f71a47a.html","jsonURL":"/documents/d-99ef73648f71a47a.json","download":"/sources/99ef73648f71a47a6a4c02ada19ea51bdd1db7db3bd5264862b0864719ee7a34.json","filename":"one_key_grid_theorem.json","sha256":"99ef73648f71a47a6a4c02ada19ea51bdd1db7db3bd5264862b0864719ee7a34","role":"Evidence"}]},{"id":"c874","step":874,"title":"C874 — Classify all one-Key integer and Rounded domains","textURL":"/read/c874.html","jsonURL":"/documents/c874.json","download":"/sources/773a11e9bc2c9b6c00ffec33ad193a5e819fa989959d5d3980fa7b46605ed885.md","sha256":"773a11e9bc2c9b6c00ffec33ad193a5e819fa989959d5d3980fa7b46605ed885","evidenceLinks":[{"id":"d-db9630b099b86ca6","title":"model/one_key_domains.json","textURL":"/read/d-db9630b099b86ca6.html","jsonURL":"/documents/d-db9630b099b86ca6.json","download":"/sources/db9630b099b86ca6a4011d5fdd5af153f007f4a19ee315fc73351c12bd5ead50.json","filename":"one_key_domains.json","sha256":"db9630b099b86ca6a4011d5fdd5af153f007f4a19ee315fc73351c12bd5ead50","role":"Evidence"},{"id":"d-d8aa38afb2a2df8f","title":"File 51a","textURL":"/read/d-d8aa38afb2a2df8f.html","jsonURL":"/documents/d-d8aa38afb2a2df8f.json","download":"/sources/d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c.md","filename":"File_51a.Rounded_Scaffold_Mod5_Architecture.md","sha256":"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c","role":"Source"}]},{"id":"c875","step":875,"title":"C875 — Explain the existing completions by domain membership","textURL":"/read/c875.html","jsonURL":"/documents/c875.json","download":"/sources/6ba32f684df54aa52bb5334cc0b20a368a519e765d54ab5a3254a2e5fa57f26e.md","sha256":"6ba32f684df54aa52bb5334cc0b20a368a519e765d54ab5a3254a2e5fa57f26e","evidenceLinks":[{"id":"d-f60bf0b288ce5e0e","title":"model/existing_key_profiles.json","textURL":"/read/d-f60bf0b288ce5e0e.html","jsonURL":"/documents/d-f60bf0b288ce5e0e.json","download":"/sources/f60bf0b288ce5e0edc4f6928749c64bacca0016149bfab9f40dbe827cccc2b6f.json","filename":"existing_key_profiles.json","sha256":"f60bf0b288ce5e0edc4f6928749c64bacca0016149bfab9f40dbe827cccc2b6f","role":"Evidence"},{"id":"d-180803601a2db301","title":"File 63","textURL":"/read/d-180803601a2db301.html","jsonURL":"/documents/d-180803601a2db301.json","download":"/sources/180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35.md","filename":"09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md","sha256":"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35","role":"Source"},{"id":"d-18e8c54ff1663fb1","title":"File 46","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"}]},{"id":"c876","step":876,"title":"C876 — Evaluate the complete quarter-carrier image family","textURL":"/read/c876.html","jsonURL":"/documents/c876.json","download":"/sources/20020d6e3653bed421307e62323f9379799b85bd664ac16ba69d1de660061499.md","sha256":"20020d6e3653bed421307e62323f9379799b85bd664ac16ba69d1de660061499","evidenceLinks":[{"id":"d-a3c62680ece3c724","title":"model/quarter_carrier_images.json","textURL":"/read/d-a3c62680ece3c724.html","jsonURL":"/documents/d-a3c62680ece3c724.json","download":"/sources/a3c62680ece3c724c3d999d4cdcc62792ad8db27c9dc0a0496e88292813c3387.json","filename":"quarter_carrier_images.json","sha256":"a3c62680ece3c724c3d999d4cdcc62792ad8db27c9dc0a0496e88292813c3387","role":"Evidence"},{"id":"d-180803601a2db301","title":"File 63","textURL":"/read/d-180803601a2db301.html","jsonURL":"/documents/d-180803601a2db301.json","download":"/sources/180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35.md","filename":"09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md","sha256":"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35","role":"Source"}]},{"id":"c877","step":877,"title":"C877 — Derive the quarter-family divisibility law","textURL":"/read/c877.html","jsonURL":"/documents/c877.json","download":"/sources/e505eb92538e5ecc9865e01dfb8aeb2eeeb5ef931cac8160f6559545c6dbbdca.md","sha256":"e505eb92538e5ecc9865e01dfb8aeb2eeeb5ef931cac8160f6559545c6dbbdca","evidenceLinks":[{"id":"d-ca5bfffc2493bf2b","title":"model/quarter_multiplier_law.json","textURL":"/read/d-ca5bfffc2493bf2b.html","jsonURL":"/documents/d-ca5bfffc2493bf2b.json","download":"/sources/ca5bfffc2493bf2b6fdb41f0f8d6a5c203fc730d0372a1cf7cce21c17ab9afd2.json","filename":"quarter_multiplier_law.json","sha256":"ca5bfffc2493bf2b6fdb41f0f8d6a5c203fc730d0372a1cf7cce21c17ab9afd2","role":"Evidence"},{"id":"d-18e8c54ff1663fb1","title":"File 46","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"}]},{"id":"c878","step":878,"title":"C878 — Transform the complete File46 head field","textURL":"/read/c878.html","jsonURL":"/documents/c878.json","download":"/sources/97ddfe6e13989ad4fa2ada0246749d8fb731b349b89df03ae6f9843b315e324c.md","sha256":"97ddfe6e13989ad4fa2ada0246749d8fb731b349b89df03ae6f9843b315e324c","evidenceLinks":[{"id":"d-8cba8fea255e7d92","title":"model/File46_full_head_image.json","textURL":"/read/d-8cba8fea255e7d92.html","jsonURL":"/documents/d-8cba8fea255e7d92.json","download":"/sources/8cba8fea255e7d925916785e2833f4e080f1d4c067198eace368b3e8951492a2.json","filename":"File46_full_head_image.json","sha256":"8cba8fea255e7d925916785e2833f4e080f1d4c067198eace368b3e8951492a2","role":"Evidence"},{"id":"d-18e8c54ff1663fb1","title":"File 46","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"}]},{"id":"c879","step":879,"title":"C879 — Prove the whole-field integer obstruction","textURL":"/read/c879.html","jsonURL":"/documents/c879.json","download":"/sources/780a6321747c78ea0e34e3025388e5367b301b2442251c575a3a20bb55563aec.md","sha256":"780a6321747c78ea0e34e3025388e5367b301b2442251c575a3a20bb55563aec","evidenceLinks":[{"id":"d-5b51b11b5cdba7e6","title":"model/File46_integer_obstruction.json","textURL":"/read/d-5b51b11b5cdba7e6.html","jsonURL":"/documents/d-5b51b11b5cdba7e6.json","download":"/sources/5b51b11b5cdba7e6ceec0e04132f39ab96d0d32cbb46300872e0800f792cc495.json","filename":"File46_integer_obstruction.json","sha256":"5b51b11b5cdba7e6ceec0e04132f39ab96d0d32cbb46300872e0800f792cc495","role":"Evidence"},{"id":"d-18e8c54ff1663fb1","title":"File 46","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"}]},{"id":"c880","step":880,"title":"C880 — Derive the prefix-denominator theorem","textURL":"/read/c880.html","jsonURL":"/documents/c880.json","download":"/sources/d2959a3c5e3b07f9686a3864cbb358b3827642e4a8726e56ef7fab0faef08f53.md","sha256":"d2959a3c5e3b07f9686a3864cbb358b3827642e4a8726e56ef7fab0faef08f53","evidenceLinks":[{"id":"d-9e8fc429be24813a","title":"model/key_word_domain_theorem.json","textURL":"/read/d-9e8fc429be24813a.html","jsonURL":"/documents/d-9e8fc429be24813a.json","download":"/sources/9e8fc429be24813a422a5cbe2e49b519cb624e2b33a35d21147754afe10f1623.json","filename":"key_word_domain_theorem.json","sha256":"9e8fc429be24813a422a5cbe2e49b519cb624e2b33a35d21147754afe10f1623","role":"Evidence"}]},{"id":"c881","step":881,"title":"C881 — Classify all nine two-Key grid domains","textURL":"/read/c881.html","jsonURL":"/documents/c881.json","download":"/sources/8b4d1805e1805279c0be32eee5d6180c8ea4de97c9e3a91e4348f062a0ed0f16.md","sha256":"8b4d1805e1805279c0be32eee5d6180c8ea4de97c9e3a91e4348f062a0ed0f16","evidenceLinks":[{"id":"d-2dc016baa528ed00","title":"model/two_key_domains.json","textURL":"/read/d-2dc016baa528ed00.html","jsonURL":"/documents/d-2dc016baa528ed00.json","download":"/sources/2dc016baa528ed002f1d353d53f91d2e5c971f0e0bb4222bf778e008349f1a58.json","filename":"two_key_domains.json","sha256":"2dc016baa528ed002f1d353d53f91d2e5c971f0e0bb4222bf778e008349f1a58","role":"Evidence"}]},{"id":"c882","step":882,"title":"C882 — Isolate the partial-action order asymmetry","textURL":"/read/c882.html","jsonURL":"/documents/c882.json","download":"/sources/f2d3b0c5674d4b888d5c09fa0c3200a3ad18eb7fa75b2f1487e71f659be95d73.md","sha256":"f2d3b0c5674d4b888d5c09fa0c3200a3ad18eb7fa75b2f1487e71f659be95d73","evidenceLinks":[{"id":"d-f1644a7da917c0ef","title":"model/PJ_order_witness.json","textURL":"/read/d-f1644a7da917c0ef.html","jsonURL":"/documents/d-f1644a7da917c0ef.json","download":"/sources/f1644a7da917c0ef52021aa12b1875a3ef07a331da682dbed989250b1edf6a0e.json","filename":"PJ_order_witness.json","sha256":"f1644a7da917c0ef52021aa12b1875a3ef07a331da682dbed989250b1edf6a0e","role":"Evidence"},{"id":"d-d8aa38afb2a2df8f","title":"File 51a","textURL":"/read/d-d8aa38afb2a2df8f.html","jsonURL":"/documents/d-d8aa38afb2a2df8f.json","download":"/sources/d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c.md","filename":"File_51a.Rounded_Scaffold_Mod5_Architecture.md","sha256":"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c","role":"Source"}]},{"id":"c883","step":883,"title":"C883 — Explain the authorized File51a Key chains","textURL":"/read/c883.html","jsonURL":"/documents/c883.json","download":"/sources/7a5b89f888791c825b566a4bc92b1424b69bcdf1566cdc893c5bfe1e0c06e9aa.md","sha256":"7a5b89f888791c825b566a4bc92b1424b69bcdf1566cdc893c5bfe1e0c06e9aa","evidenceLinks":[{"id":"d-164285d8a6e23e20","title":"model/File51a_authorized_key_chains.json","textURL":"/read/d-164285d8a6e23e20.html","jsonURL":"/documents/d-164285d8a6e23e20.json","download":"/sources/164285d8a6e23e20bbf840fa4de7a8c12dd5f5467fd650e8021a0ede0778a34c.json","filename":"File51a_authorized_key_chains.json","sha256":"164285d8a6e23e20bbf840fa4de7a8c12dd5f5467fd650e8021a0ede0778a34c","role":"Evidence"},{"id":"d-d8aa38afb2a2df8f","title":"File 51a","textURL":"/read/d-d8aa38afb2a2df8f.html","jsonURL":"/documents/d-d8aa38afb2a2df8f.json","download":"/sources/d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c.md","filename":"File_51a.Rounded_Scaffold_Mod5_Architecture.md","sha256":"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c","role":"Source"}]},{"id":"c884","step":884,"title":"C884 — Keep civil counts distinct from Rounded widths","textURL":"/read/c884.html","jsonURL":"/documents/c884.json","download":"/sources/015a12ee38c2ea139e879cee83df45969cf77ed12d9f1da1d9c9b6e807a977b2.md","sha256":"015a12ee38c2ea139e879cee83df45969cf77ed12d9f1da1d9c9b6e807a977b2","evidenceLinks":[{"id":"d-2818366718815ab4","title":"model/civil_Rounded_input_distinction.json","textURL":"/read/d-2818366718815ab4.html","jsonURL":"/documents/d-2818366718815ab4.json","download":"/sources/2818366718815ab42ed4bfa9fed56973a9eca69ecd8a361434b9b59ddeead1ca.json","filename":"civil_Rounded_input_distinction.json","sha256":"2818366718815ab42ed4bfa9fed56973a9eca69ecd8a361434b9b59ddeead1ca","role":"Evidence"},{"id":"d-d8aa38afb2a2df8f","title":"File 51a","textURL":"/read/d-d8aa38afb2a2df8f.html","jsonURL":"/documents/d-d8aa38afb2a2df8f.json","download":"/sources/d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c.md","filename":"File_51a.Rounded_Scaffold_Mod5_Architecture.md","sha256":"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c","role":"Source"}]},{"id":"c885","step":885,"title":"C885 — Close the fixed three-distinct-Key inventory","textURL":"/read/c885.html","jsonURL":"/documents/c885.json","download":"/sources/bd14c19450bd51d7110eac5c00815bfd271fbd7996d6bcf10a15f941e288a318.md","sha256":"bd14c19450bd51d7110eac5c00815bfd271fbd7996d6bcf10a15f941e288a318","evidenceLinks":[{"id":"d-396e93451a0634f8","title":"model/three_distinct_key_domains.json","textURL":"/read/d-396e93451a0634f8.html","jsonURL":"/documents/d-396e93451a0634f8.json","download":"/sources/396e93451a0634f82f1679a9fa96b483eab9ab4be5d902e76818129e324f851b.json","filename":"three_distinct_key_domains.json","sha256":"396e93451a0634f82f1679a9fa96b483eab9ab4be5d902e76818129e324f851b","role":"Evidence"}]},{"id":"c886","step":886,"title":"C886 — Derive the held-anchor order displacement","textURL":"/read/c886.html","jsonURL":"/documents/c886.json","download":"/sources/1068f5ca311c65ffdba4d046f265bf07206024bcf451b2046327c4a46e3416f5.md","sha256":"1068f5ca311c65ffdba4d046f265bf07206024bcf451b2046327c4a46e3416f5","evidenceLinks":[{"id":"d-35567eeb0a0f76c5","title":"model/anchor_order_identity.json","textURL":"/read/d-35567eeb0a0f76c5.html","jsonURL":"/documents/d-35567eeb0a0f76c5.json","download":"/sources/35567eeb0a0f76c5555bd5cfa2aef64f2b742fde4914394a2cc772025e8c0713.json","filename":"anchor_order_identity.json","sha256":"35567eeb0a0f76c5555bd5cfa2aef64f2b742fde4914394a2cc772025e8c0713","role":"Evidence"},{"id":"d-18e8c54ff1663fb1","title":"File 46","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"}]},{"id":"c887","step":887,"title":"C887 — Verify the anchored order law on a complete source field","textURL":"/read/c887.html","jsonURL":"/documents/c887.json","download":"/sources/672b0e06f419675fd2a615b6cc9bb8e8885ecceefda1b080db364612ebafb22b.md","sha256":"672b0e06f419675fd2a615b6cc9bb8e8885ecceefda1b080db364612ebafb22b","evidenceLinks":[{"id":"d-881c7fc4043aa06a","title":"model/complete_anchor_order_field.json","textURL":"/read/d-881c7fc4043aa06a.html","jsonURL":"/documents/d-881c7fc4043aa06a.json","download":"/sources/881c7fc4043aa06a0d2d2579462aecf169d0e70f9c8c36784dd6f1ca63c9271a.json","filename":"complete_anchor_order_field.json","sha256":"881c7fc4043aa06a0d2d2579462aecf169d0e70f9c8c36784dd6f1ca63c9271a","role":"Evidence"},{"id":"d-18e8c54ff1663fb1","title":"File 46","textURL":"/read/d-18e8c54ff1663fb1.html","jsonURL":"/documents/d-18e8c54ff1663fb1.json","download":"/sources/18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b.md","filename":"20-File_46.Harmonic_Expansion_Protocols-1-.md","sha256":"18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b","role":"Source"}]},{"id":"c888","step":888,"title":"C888 — Join the NT lattice to the general Key domain theorem","textURL":"/read/c888.html","jsonURL":"/documents/c888.json","download":"/sources/d89de03165d2817c8dee072a1cddf45fba2f45553c430a414a26e7cef52d812d.md","sha256":"d89de03165d2817c8dee072a1cddf45fba2f45553c430a414a26e7cef52d812d","evidenceLinks":[{"id":"d-8dab8c8f0f0df505","title":"model/NT_grid_domain_transfer.json","textURL":"/read/d-8dab8c8f0f0df505.html","jsonURL":"/documents/d-8dab8c8f0f0df505.json","download":"/sources/8dab8c8f0f0df5055ecf650a69e8f256eeac08bfc956fd91e82019e7da83e1f8.json","filename":"NT_grid_domain_transfer.json","sha256":"8dab8c8f0f0df5055ecf650a69e8f256eeac08bfc956fd91e82019e7da83e1f8","role":"Evidence"}]},{"id":"c889","step":889,"title":"C889 — Integrate Keys as partial actions on measured paths","textURL":"/read/c889.html","jsonURL":"/documents/c889.json","download":"/sources/a740db6d0e8600998933950dc4cb9c9efaf566929a0789a202b1d1ea614b6672.md","sha256":"a740db6d0e8600998933950dc4cb9c9efaf566929a0789a202b1d1ea614b6672","evidenceLinks":[{"id":"d-64dbdc45c798c924","title":"model/operator_module_summary.json","textURL":"/read/d-64dbdc45c798c924.html","jsonURL":"/documents/d-64dbdc45c798c924.json","download":"/sources/64dbdc45c798c9244bbb69c9b15405cb4711f7ef6a942e5564b189621450624b.json","filename":"operator_module_summary.json","sha256":"64dbdc45c798c9244bbb69c9b15405cb4711f7ef6a942e5564b189621450624b","role":"Evidence"}]}]}