Skip to content

Construct and price cyclic H6 partial-frame networks #4260

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 1 commit into from
Oct 21, 2026
Merged

Construct and price cyclic H6 partial-frame networks #4260

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
251 changes: 251 additions & 0 deletions research/h6-partial-frame-networks/CORE-SNAPSHOT.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,251 @@
{
"created_utc": "2026-10-20T21:56:25.102245+00:00",
"files": {
"FROZEN-SHA256.json": {
"bytes": 5591,
"sha256": "73c279f7f25a1e707fe1e3cd42e7d945c6c077d61dd252d54b70a5674361494c"
},
"LICENSE": {
"bytes": 11357,
"sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
},
"ORIGINS.json": {
"bytes": 13177,
"sha256": "9b2de4b3353bc6bba6e336301b93034d6d935f3e769967f2b96932279e0d9126"
},
"README.md": {
"bytes": 6952,
"sha256": "89a686562a54b7618f4418764d080456cd65d7ab737aa94c7c9faa2aa836e45c"
},
"SOURCE-AUDIT.md": {
"bytes": 2121,
"sha256": "3d97ef7b57ec19840445506d8670cc48374b76b53369efab19f4228105699c6e"
},
"SOURCES.json": {
"bytes": 3346,
"sha256": "1ec090de5cb3f24ede03b366aacc130bf2f0f785fada4a944d73aa087a7d6be6"
},
"TASK.json": {
"bytes": 6361,
"sha256": "bb9cdf900a2b72dbf4bb26c87b3e9328226bc030cc0202df6a8a0ced7c5749e2"
},
"VERIFY.json": {
"bytes": 1692,
"sha256": "cd4a861561b7ba5897a55cc1808d3513664b4bdb0d20515b3335cf219b9323a2"
},
"controls.py": {
"bytes": 29074,
"sha256": "b7430ed6716b7d9cc3a0b340b6a9234e091c7a53df3c58379989ca6e627bc0de"
},
"cyclic/CHECKS.json.gz": {
"bytes": 585779,
"sha256": "d3d514082425e82c8d133921b78b1ae62c158cb963f7059e93df3bd2106255e4"
},
"cyclic/ORIGINS.json": {
"bytes": 6579,
"sha256": "e31a8c9f7372d5b3c97bad95a02492ee00f8ebf3e694019ea51bc2c7e7c27617"
},
"cyclic/OUTPUT-INVENTORY.json": {
"bytes": 3764,
"sha256": "fc95fed56a591960a14e787ac9438a5eea92dcfa266c22386f7e8db56ebc97fe"
},
"cyclic/PACKAGE-FILES.json": {
"bytes": 1086,
"sha256": "1a80361230d10680487b5ec0f23b3dad93cc6e76a6435a2b016665e1b65ea723"
},
"cyclic/PROOF-CYCLIC.md": {
"bytes": 17734,
"sha256": "1151cbf936040255969532590ee0c426e7035fc63e3ec7e9ee743031db31c830"
},
"cyclic/VALIDATION.json": {
"bytes": 983,
"sha256": "4b21d22b09ccd1e6e4b7f689e84c25720ad2e4b68feaca59f092b6762029e02c"
},
"cyclic/check.py": {
"bytes": 24562,
"sha256": "0a4d71209788476bc6ca8dfda051d2913adcd5fe584ea03be90e04e80123578e"
},
"cyclic/frozen/CONTINUATION.md": {
"bytes": 12614,
"sha256": "7ba7f0806ea9d35912f736864d3e7696314e075faac6a6bb979789cb765151df"
},
"cyclic/frozen/CYCLIC-MIXED-RESULT.json.gz": {
"bytes": 26040,
"sha256": "01ecc1e1011ad69f20a11c350d0e1b41a95ce20ed827ef9a9113159b9d53ff44"
},
"cyclic/frozen/DYNAMIC-CYCLIC-RESULT.json.gz": {
"bytes": 157656,
"sha256": "d955d3545dcceb65cb3a3fda32c44e423a5a1169e6accea662d6ee5da6e7ee34"
},
"cyclic/frozen/EXTENSION.md": {
"bytes": 14486,
"sha256": "e3856b2872bf51cccb533d1d57111f8e18aada4ae94c7d23034aaff0b78590b7"
},
"cyclic/frozen/K-RESULT.json": {
"bytes": 5462,
"sha256": "da53bec0e3a8d027249e5bdfed341bd503d50502ddb63f1777afa5dc97739841"
},
"cyclic/frozen/MIXED-RECTANGLE-RESULT.json": {
"bytes": 23470,
"sha256": "fb78f1fe52de77105eee210331b8ba70d733251735ae4855e8c011826ee06ac8"
},
"cyclic/frozen/MODULE-TILING-RESULT.json": {
"bytes": 22079,
"sha256": "d84d0ce9bde632b5312072b02814771a66d8e399ec8e394cc3dd8ac8cebf2590"
},
"cyclic/frozen/OPTIMISTIC-BUDGET-RESULT.json.gz": {
"bytes": 144986,
"sha256": "ecf3d10f7ae770aab5a00486ddf002d3faea619c1ad0a43de0cc200bf81bbed3"
},
"cyclic/frozen/WALSH-RESULTS.json": {
"bytes": 10270,
"sha256": "f2be149a84a424682f756e66c7556aa10b7d9604357a83c79c6b652fe60544d4"
},
"cyclic/frozen/cyclic_mixed.py": {
"bytes": 8944,
"sha256": "ae3f62ce0026d5e85120ad6b75569c15fb2e41bae3f849ac7be14b9d9495e51a"
},
"cyclic/frozen/dynamic_cyclic.py": {
"bytes": 8619,
"sha256": "8b97368264eff933191b05d80c78c3c72cb7d23b810303d085b194240dd818df"
},
"cyclic/frozen/e8_cubed.py": {
"bytes": 16408,
"sha256": "ce24f397053c0ef5b26881bb7ccfab53fb0a3d762f2de04086fed8f7b41e8234"
},
"cyclic/frozen/invoice.py": {
"bytes": 15168,
"sha256": "9081aaf27e05c9ce09a3fcb451104c87682114b9759c30680091308f286c44ef"
},
"cyclic/frozen/mixed_rectangle.py": {
"bytes": 12779,
"sha256": "544d6b7d4ea92134b1016ce359f01b7a33ebb2ba0d986bf5b9accc47a3ec600c"
},
"cyclic/frozen/module_tiling.py": {
"bytes": 14507,
"sha256": "c7ea13441daabed63860e8ae464293f4a16af20be331941fc8edd12412e8d73d"
},
"cyclic/frozen/optimistic_budget.py": {
"bytes": 8995,
"sha256": "ee7e28eab6bc5b48fa4d646040cf7e0697666d317f22d29404c8c855363ccf12"
},
"cyclic/frozen/pricing.py": {
"bytes": 17909,
"sha256": "56f273853bd7089c3721bc023713993ac79e961d535694624cbb60dd7dcdd454"
},
"independent/CHECKS.json.gz": {
"bytes": 27080,
"sha256": "40fe76390c36d4c9692f964804359aecfa3ce039b74ef77c909ffbf8a2011ddc"
},
"independent/INDEPENDENT-INVENTORY.json": {
"bytes": 910,
"sha256": "1dd5f8673a3e2069ef7c6b4b5f7f640fe9b61d67a2808e87aabe0f9232f3ccbd"
},
"independent/PROOF-INDEPENDENT.md": {
"bytes": 8868,
"sha256": "a933c6f3d89ac3ba648aea33453b6b1789719a5f42fc30b96de92afb38bb86c0"
},
"independent/independent_operator.py": {
"bytes": 31769,
"sha256": "744271322bd42775571f462fefe9a8b6cf40a8600a2dbcbfaef27a7b69bc7382"
},
"notices/niemeier-NOTICE": {
"bytes": 4431,
"sha256": "a5085b5f46ef649f493cb7447ab3cb4885873e30fa72196e3286e95ed13c9562"
},
"pauli/CHECKS.json.gz": {
"bytes": 265297,
"sha256": "8e87b99cbab046151357691f7b891f25daf4aba5f2ad6c6bedda3342d003bce4"
},
"pauli/ORIGINS.json": {
"bytes": 8671,
"sha256": "b4235680bf13f22e9bc408f074ad704b860dfee965876dfd005c4155d2d22382"
},
"pauli/OUTPUT-INVENTORY.json": {
"bytes": 3104,
"sha256": "e298c71472382495463ff06cb423458c2c96fd7644dd87910ace3a687c7d3987"
},
"pauli/PACKAGE-FILES.json": {
"bytes": 1005,
"sha256": "de43b271434680161972186463a7e57e8e9c20a230431c129fe393d268cc1fe4"
},
"pauli/PROOF.md": {
"bytes": 20174,
"sha256": "74e81020d348b57f21bb857ce25f1d68efd822d6c7a4e1e97219d80f1eb8ed9c"
},
"pauli/VALIDATION.json": {
"bytes": 2246,
"sha256": "da0f04c3415a432c6c235983789e6911bee467ab5dde80475d24e47e93e89184"
},
"pauli/check.py": {
"bytes": 28675,
"sha256": "97b97531bd312ccae4da4ce2e7a767f32c749db2eb7408eb38b517699f970a66"
},
"pauli/frozen/CONTINUATION.md": {
"bytes": 12614,
"sha256": "7ba7f0806ea9d35912f736864d3e7696314e075faac6a6bb979789cb765151df"
},
"pauli/frozen/PARTIAL-PAULI-RESULT.json": {
"bytes": 29269,
"sha256": "048830fbb42141a07a946fc3e32f5c666100a5265a69db5600c432595bb364d0"
},
"pauli/frozen/PARTIAL-PAULI-REVIEW.json": {
"bytes": 16729,
"sha256": "0a56ac6aedc39787ef228a14354741077c44df2b33d174765a8c4478ee84301c"
},
"pauli/frozen/PAULI-FIXED-SUPPORT.json": {
"bytes": 685,
"sha256": "344af488229ebc64485132bf316813c4242ddaee35a2ea5878a10b2fc5d671b9"
},
"pauli/frozen/dynamic_cyclic.py": {
"bytes": 8619,
"sha256": "8b97368264eff933191b05d80c78c3c72cb7d23b810303d085b194240dd818df"
},
"pauli/frozen/e8_cubed.py": {
"bytes": 16408,
"sha256": "ce24f397053c0ef5b26881bb7ccfab53fb0a3d762f2de04086fed8f7b41e8234"
},
"pauli/frozen/e8_sections.py": {
"bytes": 19735,
"sha256": "19b05280ad59f2938c2c9a4ffef213712a65af75d7c111fa304fdc2868d13f55"
},
"pauli/frozen/mixed_rectangle.py": {
"bytes": 12779,
"sha256": "544d6b7d4ea92134b1016ce359f01b7a33ebb2ba0d986bf5b9accc47a3ec600c"
},
"pauli/frozen/module_tiling.py": {
"bytes": 14507,
"sha256": "c7ea13441daabed63860e8ae464293f4a16af20be331941fc8edd12412e8d73d"
},
"pauli/frozen/partial_pauli.py": {
"bytes": 12954,
"sha256": "774d876402be6066121a982f0c149b924b53c72bc53f6bfd13d96f751600b8bd"
},
"pauli/frozen/pauli_partial_review.py": {
"bytes": 15451,
"sha256": "01d5a2e002545de95823b220be73debc298a73c7f96ac4d4b0486e1cb578efad"
},
"pauli/geometry.py": {
"bytes": 4858,
"sha256": "05d23eeb09cd04785b28d5337f0c2e19de3bf1cd7e54a26c219cb10c9a3daf25"
},
"reviews/CONTROLS.json": {
"bytes": 26205,
"sha256": "89c6364cfb3fa73ce1fb3f2c693c8e90a8ff171097e28bf383e88eeb6de2c2ac"
},
"reviews/CROSS-REVIEW-PAULI-CHECK.json": {
"bytes": 2264,
"sha256": "569ac24b666e6260e5efab3f9a718c28e4e16a702ea1f7dcb22010fedafbfc8c"
},
"reviews/CROSS-REVIEW-PAULI.md": {
"bytes": 8376,
"sha256": "64495b2300a2cc26aae124d156247f2e4d76f18595787b40529ca47dcf2f2974"
},
"verify.py": {
"bytes": 7145,
"sha256": "db07043a36beac98813b35a9380cb2799dd0507348ab4aa62200ce65f9513c1b"
}
},
"schema_version": 1,
"scope": "Publication candidate snapshot; mathematical and source-control reviews bind their declared source subsets. This record excludes itself and later review reports, to avoid circular hashes."
}
58 changes: 58 additions & 0 deletions research/h6-partial-frame-networks/FROZEN-SHA256.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,58 @@
{
"LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
"README.md": "89a686562a54b7618f4418764d080456cd65d7ab737aa94c7c9faa2aa836e45c",
"SOURCE-AUDIT.md": "3d97ef7b57ec19840445506d8670cc48374b76b53369efab19f4228105699c6e",
"SOURCES.json": "1ec090de5cb3f24ede03b366aacc130bf2f0f785fada4a944d73aa087a7d6be6",
"TASK.json": "bb9cdf900a2b72dbf4bb26c87b3e9328226bc030cc0202df6a8a0ced7c5749e2",
"VERIFY.json": "cd4a861561b7ba5897a55cc1808d3513664b4bdb0d20515b3335cf219b9323a2",
"controls.py": "b7430ed6716b7d9cc3a0b340b6a9234e091c7a53df3c58379989ca6e627bc0de",
"cyclic/CHECKS.json.gz": "d3d514082425e82c8d133921b78b1ae62c158cb963f7059e93df3bd2106255e4",
"cyclic/ORIGINS.json": "e31a8c9f7372d5b3c97bad95a02492ee00f8ebf3e694019ea51bc2c7e7c27617",
"cyclic/OUTPUT-INVENTORY.json": "fc95fed56a591960a14e787ac9438a5eea92dcfa266c22386f7e8db56ebc97fe",
"cyclic/PACKAGE-FILES.json": "1a80361230d10680487b5ec0f23b3dad93cc6e76a6435a2b016665e1b65ea723",
"cyclic/PROOF-CYCLIC.md": "1151cbf936040255969532590ee0c426e7035fc63e3ec7e9ee743031db31c830",
"cyclic/VALIDATION.json": "4b21d22b09ccd1e6e4b7f689e84c25720ad2e4b68feaca59f092b6762029e02c",
"cyclic/check.py": "0a4d71209788476bc6ca8dfda051d2913adcd5fe584ea03be90e04e80123578e",
"cyclic/frozen/CONTINUATION.md": "7ba7f0806ea9d35912f736864d3e7696314e075faac6a6bb979789cb765151df",
"cyclic/frozen/CYCLIC-MIXED-RESULT.json.gz": "01ecc1e1011ad69f20a11c350d0e1b41a95ce20ed827ef9a9113159b9d53ff44",
"cyclic/frozen/DYNAMIC-CYCLIC-RESULT.json.gz": "d955d3545dcceb65cb3a3fda32c44e423a5a1169e6accea662d6ee5da6e7ee34",
"cyclic/frozen/EXTENSION.md": "e3856b2872bf51cccb533d1d57111f8e18aada4ae94c7d23034aaff0b78590b7",
"cyclic/frozen/K-RESULT.json": "da53bec0e3a8d027249e5bdfed341bd503d50502ddb63f1777afa5dc97739841",
"cyclic/frozen/MIXED-RECTANGLE-RESULT.json": "fb78f1fe52de77105eee210331b8ba70d733251735ae4855e8c011826ee06ac8",
"cyclic/frozen/MODULE-TILING-RESULT.json": "d84d0ce9bde632b5312072b02814771a66d8e399ec8e394cc3dd8ac8cebf2590",
"cyclic/frozen/OPTIMISTIC-BUDGET-RESULT.json.gz": "ecf3d10f7ae770aab5a00486ddf002d3faea619c1ad0a43de0cc200bf81bbed3",
"cyclic/frozen/WALSH-RESULTS.json": "f2be149a84a424682f756e66c7556aa10b7d9604357a83c79c6b652fe60544d4",
"cyclic/frozen/cyclic_mixed.py": "ae3f62ce0026d5e85120ad6b75569c15fb2e41bae3f849ac7be14b9d9495e51a",
"cyclic/frozen/dynamic_cyclic.py": "8b97368264eff933191b05d80c78c3c72cb7d23b810303d085b194240dd818df",
"cyclic/frozen/e8_cubed.py": "ce24f397053c0ef5b26881bb7ccfab53fb0a3d762f2de04086fed8f7b41e8234",
"cyclic/frozen/invoice.py": "9081aaf27e05c9ce09a3fcb451104c87682114b9759c30680091308f286c44ef",
"cyclic/frozen/mixed_rectangle.py": "544d6b7d4ea92134b1016ce359f01b7a33ebb2ba0d986bf5b9accc47a3ec600c",
"cyclic/frozen/module_tiling.py": "c7ea13441daabed63860e8ae464293f4a16af20be331941fc8edd12412e8d73d",
"cyclic/frozen/optimistic_budget.py": "ee7e28eab6bc5b48fa4d646040cf7e0697666d317f22d29404c8c855363ccf12",
"cyclic/frozen/pricing.py": "56f273853bd7089c3721bc023713993ac79e961d535694624cbb60dd7dcdd454",
"independent/CHECKS.json.gz": "40fe76390c36d4c9692f964804359aecfa3ce039b74ef77c909ffbf8a2011ddc",
"independent/INDEPENDENT-INVENTORY.json": "1dd5f8673a3e2069ef7c6b4b5f7f640fe9b61d67a2808e87aabe0f9232f3ccbd",
"independent/PROOF-INDEPENDENT.md": "a933c6f3d89ac3ba648aea33453b6b1789719a5f42fc30b96de92afb38bb86c0",
"independent/independent_operator.py": "744271322bd42775571f462fefe9a8b6cf40a8600a2dbcbfaef27a7b69bc7382",
"notices/niemeier-NOTICE": "a5085b5f46ef649f493cb7447ab3cb4885873e30fa72196e3286e95ed13c9562",
"pauli/CHECKS.json.gz": "8e87b99cbab046151357691f7b891f25daf4aba5f2ad6c6bedda3342d003bce4",
"pauli/ORIGINS.json": "b4235680bf13f22e9bc408f074ad704b860dfee965876dfd005c4155d2d22382",
"pauli/OUTPUT-INVENTORY.json": "e298c71472382495463ff06cb423458c2c96fd7644dd87910ace3a687c7d3987",
"pauli/PACKAGE-FILES.json": "de43b271434680161972186463a7e57e8e9c20a230431c129fe393d268cc1fe4",
"pauli/PROOF.md": "74e81020d348b57f21bb857ce25f1d68efd822d6c7a4e1e97219d80f1eb8ed9c",
"pauli/VALIDATION.json": "da0f04c3415a432c6c235983789e6911bee467ab5dde80475d24e47e93e89184",
"pauli/check.py": "97b97531bd312ccae4da4ce2e7a767f32c749db2eb7408eb38b517699f970a66",
"pauli/frozen/CONTINUATION.md": "7ba7f0806ea9d35912f736864d3e7696314e075faac6a6bb979789cb765151df",
"pauli/frozen/PARTIAL-PAULI-RESULT.json": "048830fbb42141a07a946fc3e32f5c666100a5265a69db5600c432595bb364d0",
"pauli/frozen/PARTIAL-PAULI-REVIEW.json": "0a56ac6aedc39787ef228a14354741077c44df2b33d174765a8c4478ee84301c",
"pauli/frozen/PAULI-FIXED-SUPPORT.json": "344af488229ebc64485132bf316813c4242ddaee35a2ea5878a10b2fc5d671b9",
"pauli/frozen/dynamic_cyclic.py": "8b97368264eff933191b05d80c78c3c72cb7d23b810303d085b194240dd818df",
"pauli/frozen/e8_cubed.py": "ce24f397053c0ef5b26881bb7ccfab53fb0a3d762f2de04086fed8f7b41e8234",
"pauli/frozen/e8_sections.py": "19b05280ad59f2938c2c9a4ffef213712a65af75d7c111fa304fdc2868d13f55",
"pauli/frozen/mixed_rectangle.py": "544d6b7d4ea92134b1016ce359f01b7a33ebb2ba0d986bf5b9accc47a3ec600c",
"pauli/frozen/module_tiling.py": "c7ea13441daabed63860e8ae464293f4a16af20be331941fc8edd12412e8d73d",
"pauli/frozen/partial_pauli.py": "774d876402be6066121a982f0c149b924b53c72bc53f6bfd13d96f751600b8bd",
"pauli/frozen/pauli_partial_review.py": "01d5a2e002545de95823b220be73debc298a73c7f96ac4d4b0486e1cb578efad",
"pauli/geometry.py": "05d23eeb09cd04785b28d5337f0c2e19de3bf1cd7e54a26c219cb10c9a3daf25",
"verify.py": "db07043a36beac98813b35a9380cb2799dd0507348ab4aa62200ce65f9513c1b"
}
Loading