diff --git a/research/p104-record13-capacity-ceiling/CAPSULE-MAP.json b/research/p104-record13-capacity-ceiling/CAPSULE-MAP.json new file mode 100644 index 0000000000..2f1a4ca584 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/CAPSULE-MAP.json @@ -0,0 +1,310 @@ +{ + "WORD_decompressed_by_preparer": false, + "executed_path": "Only v2 check.py in the isolated child; original absolute guard command and v1 are unrun provenance.", + "external_inputs": 42, + "files": { + "outputs/continuous-kappa-process-20261026/dyadic-capacity-verification-review-5615/INPUT-OBLIGATION-MAP.json": { + "bytes": 6376, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/dyadic-capacity-verification-review-5615/INPUT-OBLIGATION-MAP.json", + "original_input": true, + "sha256": "1ac7ae57a3c556a9578fe22e549017577c11c33f33e23dbfde59c89c4507363c" + }, + "outputs/continuous-kappa-process-20261026/guarded/coordination/run_guarded.py": { + "bytes": 3857, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/guarded/coordination/run_guarded.py", + "original_input": false, + "sha256": "720153b7491acede2c66bdc2dfd3174653195fa3222ec3589d0671c406a5bad8" + }, + "outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.json": { + "bytes": 22301, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.json", + "original_input": true, + "sha256": "7b0239ad6f3516a82078ff53fbbe995c7171b0d34f15d33bcd384b83ceba24b6" + }, + "outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.md": { + "bytes": 7538, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.md", + "original_input": true, + "sha256": "251f1d2354efa3e7353b96f8f504589baa6ae7110237b4a0c62530eb0dc4dee3" + }, + "outputs/continuous-kappa-process-20261026/successor-strategy/post-funding-reassessment.json": { + "bytes": 18375, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/post-funding-reassessment.json", + "original_input": true, + "sha256": "b7890517ee2e9034b0d13d070a0a90bb2372e561bfb3582481ab449c868a716e" + }, + "outputs/continuous-kappa-process-20261026/successor-strategy/post-jensen-physical-feasibility.json": { + "bytes": 19432, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/post-jensen-physical-feasibility.json", + "original_input": true, + "sha256": "5823a65284f5ea1711db1a2986bb9527b5dcaa1ec1042bf4c8ffdef25cab4c99" + }, + "outputs/continuous-kappa-process-20261026/upstream/addenda/20261025T235049Z-one-record13-scope/SCOPE-DISPOSITION.json": { + "bytes": 2488, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/addenda/20261025T235049Z-one-record13-scope/SCOPE-DISPOSITION.json", + "original_input": true, + "sha256": "cbf168b6932ea6f546460f069dbea0cb38875b54c27dd5995d7fdd976b3a4834" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T232223Z-pr5615-capacity-release/PROOF.md": { + "bytes": 5697, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T232223Z-pr5615-capacity-release/PROOF.md", + "original_input": true, + "sha256": "b258a217f2cd0fc48461285fe8ae24de26b0c5963668d9d8f0955fc6e759e929" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T232223Z-pr5615-capacity-release/capacity.py": { + "bytes": 3635, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T232223Z-pr5615-capacity-release/capacity.py", + "original_input": true, + "sha256": "1cd82b0beab7983d955cfc1d1e562af490f90bcaad6e3ec7d07e0c5a33608834" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/DESCRIPTOR.json": { + "bytes": 1361, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/DESCRIPTOR.json", + "original_input": true, + "sha256": "54a3ed8da75dfecedce177c3423a2a0f8dcc10f27cd1d8ce800b5fc9d494a9af" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/FINAL-CUSTODY.json": { + "bytes": 25679, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/FINAL-CUSTODY.json", + "original_input": true, + "sha256": "a71094497841be5b602c962754d595a4b69109a2ed9c9325a0585b127b01d657" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/PR5612-coupled_frames.py": { + "bytes": 2397, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/PR5612-coupled_frames.py", + "original_input": true, + "sha256": "0fee57e994a7ad51b14ce0c3c0e40312a79fe1540ccda3f2eccdd4bf938e09f1" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/PR5612-prepare.py": { + "bytes": 3051, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/PR5612-prepare.py", + "original_input": true, + "sha256": "b7bc6a83da71c0a383f7d48b0f3b97a9b11e6191309cd651e59ff2a39aa92dd6" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/STAGE-CUSTODY.md": { + "bytes": 4948, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/STAGE-CUSTODY.md", + "original_input": true, + "sha256": "656506baf795d849c02823eb856faa39a8a86ec46c4433e97396ffc55e726fbd" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/.research-export.json": { + "bytes": 5200, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/.research-export.json", + "original_input": true, + "sha256": "a5eb7d7bec9bdc9563651c3ef943d327fb383f9d7e9a0c8484399c7f16270aaf" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/LITERAL-CHANGES.diff": { + "bytes": 1691, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/LITERAL-CHANGES.diff", + "original_input": true, + "sha256": "82854aef2086c0e14b1dd6bc475a56b80a1b29dba40a825f48af32a9db73f08c" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/PROOF.md": { + "bytes": 4319, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/PROOF.md", + "original_input": true, + "sha256": "b6b6dbf4a4a61ac4b126f9198f9716c78c1e630993343cbe07ffb1d6b8d55226" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/README.md": { + "bytes": 6905, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/README.md", + "original_input": true, + "sha256": "2db451596fb734167312f7a58954adf6eac1f4ae0d0521f00a67a69510b3db6a" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/RESULT.json": { + "bytes": 13353, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/RESULT.json", + "original_input": true, + "sha256": "c0a90d3091e3f23868194b32d186f9439d21e42613462b32846432588b8555a6" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/SOURCES.json": { + "bytes": 9641, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/SOURCES.json", + "original_input": true, + "sha256": "58f34513fba462f41b23eb9bb2a5cfaafb4d6571709a63c3a036f7053e79ff32" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/SPLITS.json": { + "bytes": 5745, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/SPLITS.json", + "original_input": true, + "sha256": "d99ead7351ca9f263acafcc87798125d3d05af9a5b02e4a70272b52ba66315b1" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/TASK.json": { + "bytes": 7044, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/TASK.json", + "original_input": true, + "sha256": "5ac9df6a45fe0d0d6c07c1aabe0a53684435f2c3ed50241550b6072eaeb0f63d" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/VERIFY.json": { + "bytes": 1956, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/VERIFY.json", + "original_input": true, + "sha256": "1782cc1ec117d6ab470303ff0022c8937fe5e138c5c066917159acac2a2058d2" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/WORD.json.gz": { + "bytes": 106769, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/WORD.json.gz", + "original_input": true, + "sha256": "963b92e195cb0bbe6f3ffcfdbb7897cafd7df9bd0eb414614897b0ac0587715f" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/common.py": { + "bytes": 2344, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/common.py", + "original_input": true, + "sha256": "e7c1bd9bfc0060d2d55da5c6e61cd3fae756e0fc8facacc2a074061d2f73c800" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/construct.py": { + "bytes": 3765, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/construct.py", + "original_input": true, + "sha256": "772025f1a6a77f5204ae7ffde666acad05b64108231d2a645f9f15643490e19e" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5545-source-closure.tar.gz": { + "bytes": 469619, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5545-source-closure.tar.gz", + "original_input": true, + "sha256": "59768da554e11b11fae52d07f520f50684cc7a9ee0bec2873edbcd6b63814837" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5565-WORD.json.gz": { + "bytes": 105088, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5565-WORD.json.gz", + "original_input": true, + "sha256": "3d62828f53e654e3db218bf4611a47aed4a677d48043713dc004db0f8a32990d" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5565-construct.py": { + "bytes": 5903, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5565-construct.py", + "original_input": true, + "sha256": "7e36f4e8413943ea9f76ce789529aa51d983c6048aba50474083610bdd7c7ef1" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5580-WORD.json.gz": { + "bytes": 105115, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5580-WORD.json.gz", + "original_input": true, + "sha256": "b2a98c4bd0dbe86c09e9d15ee060dcf1aab09dbef90aa1e2127676f4039f406b" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-SPLITS.json": { + "bytes": 6392, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-SPLITS.json", + "original_input": true, + "sha256": "9ab3ff3ef83d74aae3ae43e8c622d70c81879d1e9881cbe623e71c389b5e7bc5" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-WORD.json.gz": { + "bytes": 108157, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-WORD.json.gz", + "original_input": true, + "sha256": "4924640fa7fcbb3895a43bf5f07e7274260feac06ecc95285f77dd8eaee30fa1" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-construct.py": { + "bytes": 6230, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-construct.py", + "original_input": true, + "sha256": "8e1a674ebed7bffb9fd6995555895a9925b665c2dec0e91f2876ff043901006f" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-local.py": { + "bytes": 9208, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-local.py", + "original_input": true, + "sha256": "ef430511ce36fc658ab711bd84cd2d7b484b8af173238ff89cbfec6139fefbad" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-pricing.py": { + "bytes": 9722, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-pricing.py", + "original_input": true, + "sha256": "473e10cbd92b06736d33d80c0ef742f12f2d08cfeba9e698b1de6c3648bbb217" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5605-WORD.json.gz": { + "bytes": 105214, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5605-WORD.json.gz", + "original_input": true, + "sha256": "4568dce630de3b75db5037b1e7e123b6759c2fa5c1122680be1b9801ee512667" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5605-construct.py": { + "bytes": 2478, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5605-construct.py", + "original_input": true, + "sha256": "5831eb6f88cd6ed8200f32d2794dd9535ea06aa0d3ae6dd111a58bc01b611cbd" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/pricing.py": { + "bytes": 9722, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/pricing.py", + "original_input": true, + "sha256": "57b912f1d475bb825a0d8d1be1f7ffeb929d8638551c340414c59f9e8f79022a" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/verify.py": { + "bytes": 7845, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/verify.py", + "original_input": true, + "sha256": "cd5b770d448663691cc3041d0cafd3793d78c4bb8cddb0a5fbdd8108a72acf49" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/RESULT.json": { + "bytes": 12940, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/RESULT.json", + "original_input": true, + "sha256": "f180b266c464722f56f1c2e71eaf0f75cd79ed1de91f48b2e420166d2d2f3b17" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/SPLITS.json": { + "bytes": 5745, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/SPLITS.json", + "original_input": true, + "sha256": "fc18571561c53db849ef2ba78b51ce79411a1f751e5d169f614d4f2da9784cfc" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/delayed.py": { + "bytes": 2940, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/delayed.py", + "original_input": true, + "sha256": "fcb8b97785ae05db6f60c38d8d75ee4fe856ea41a1327b772eff7a6ee388b3c8" + }, + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/verify.py": { + "bytes": 6507, + "internal_path": "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/verify.py", + "original_input": true, + "sha256": "afb7a5f8bb5e40572127d78d73fbbf621b4c35b9a6a01f523521b903b9e99138" + }, + "outputs/cut-capacity-feasibility-round-20261026/qualification/CONTRACT.md": { + "bytes": 5449, + "internal_path": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/CONTRACT.md", + "original_input": false, + "sha256": "a2829f3fb6b4ff3e58c94bde3c57482c205e9de2f22b3146bb9f88bb8d2a6c4c" + }, + "outputs/cut-capacity-feasibility-round-20261026/qualification/INPUTS.json": { + "bytes": 10095, + "internal_path": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/INPUTS.json", + "original_input": false, + "sha256": "6444717b29b80f81d8ee08e0bc875b9c64beea9340975d51ae202e3ffa616726" + }, + "outputs/cut-capacity-feasibility-round-20261026/qualification/PROOF-AND-REVIEW.md": { + "bytes": 5366, + "internal_path": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/PROOF-AND-REVIEW.md", + "original_input": false, + "sha256": "283d10356d46d4accd3754ee9cd53195902ecae3c3b99b8ca0db49cc10dd2fce" + }, + "outputs/cut-capacity-feasibility-round-20261026/qualification/SOURCE-IMPORT-REVIEW.md": { + "bytes": 2897, + "internal_path": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/SOURCE-IMPORT-REVIEW.md", + "original_input": false, + "sha256": "1c45bd7f40d8d4cc911b2d2ce69b5805dede51839d98b61fe5d09bbbffadddc5" + }, + "outputs/cut-capacity-feasibility-round-20261026/qualification/check.py": { + "bytes": 20995, + "internal_path": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/check.py", + "original_input": false, + "sha256": "385a0b1f588d9d170785fb34b5860719332b6121f10f2083cf94369bd35c6156" + }, + "outputs/cut-capacity-feasibility-round-20261026/qualification/run_pair.py": { + "bytes": 3107, + "internal_path": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/run_pair.py", + "original_input": false, + "sha256": "a7f1b25963db4bb91b2d759cce0781ee355d51adb92a5590c9f450fe9f7ceb54" + } + }, + "original_checker": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/check.py", + "original_project_root_mapping": "capsule/", + "original_request_sha256": "58ba6570966c3af66822dca90d78a815c3d73bf7fa6fccef0b7a21e52b715994", + "original_runner": "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/run_pair.py", + "path_text_rewrites": 0, + "request_pins": 49, + "schema": "record13-capacity-exact-source-root-map/v1", + "scientific_algorithms_changed": false, + "uncalled_closure": "Complete 24-file export and all 49 pins retained. Authentication does not authorize native/pricing/full source verifier calls." +} diff --git a/research/p104-record13-capacity-ceiling/CURRENT-CONTEXT.json b/research/p104-record13-capacity-ceiling/CURRENT-CONTEXT.json new file mode 100644 index 0000000000..81a593bdd2 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/CURRENT-CONTEXT.json @@ -0,0 +1,47 @@ +{ + "active_work": "Active helper-quotient read substitution/cleanup and changed global caller work remain separate; no new construction or scan is authorized.", + "bounded_overlap": "Bounded changed PR/body/comment/direct discussion refresh plus exact title/body searches; source packages checked only where relevant. Search absence is not proof of global novelty; private/unpublished claims unavailable.", + "comparison_source_files": [ + { + "git_blob": "594b26982f6f81037e8649ba30da01221ee3bd58", + "head": "ed4dc88a09a7d201971f6603b8c2074e95dd9c32", + "path": "presentation/PR5627-PROOF.md", + "sha256": "85c2fc0e87c129b3f5cb9b3c6ee6a0ad64b35f04cd58af912d500b37c2913da2", + "url": "https://github.com/aliromman/integer-mult-bounds/blob/ed4dc88a09a7d201971f6603b8c2074e95dd9c32/research/p104-helper-subspace-splits/PROOF.md" + }, + { + "git_blob": "1e90afdd0372980c68c1a444a6c0fe5f1e7da7c2", + "head": "ed4dc88a09a7d201971f6603b8c2074e95dd9c32", + "path": "presentation/PR5627-RESULT.json", + "sha256": "f24925b2f549dce6ff404bd9d35fb0a19e5ebc5fa5cbf67996fd4064e450137b", + "url": "https://github.com/aliromman/integer-mult-bounds/blob/ed4dc88a09a7d201971f6603b8c2074e95dd9c32/research/p104-helper-subspace-splits/RESULT.json" + } + ], + "different_object": "PR 5627 cut 12603 belongs to a different nine-split changed-boundary word; this certificate fixes historical pre-record-13 cut 12626 and E6.", + "economic_distinction": "PR 5627 removes 72 H5 from both paid and target invoices, retaining the signed recursive moment; its tiny gain concerns funding/headroom, not a new raw crossing.", + "fresh_canonical_main": "6cf7a683f447b9f1e2333791907fd92be5009a63", + "fresh_gate_sha256": "28ac74d56ab876b18c92a094926c020c3432a13f4d7c88dc4103f2cbe4052088", + "gate_decision": "CLEAR_FOCUSED_PUBLICATION_OF_EXACT_FROZEN_RESTRICTED_SUPPORT_CEILING", + "latest_comparison": { + "P": 66546, + "T": 12958, + "hosted_conclusion": "success", + "hosted_run": 40247590574, + "latest_complete_released_claim": ".00310440546, PR5627 exacted4dc88a...", + "latest_local_only": "5125 neutral boundary cleanup on5613 raw floating estimate.00310626336, native/compiler/portable pending; not a certified comparison.", + "no_auto_transfer": true, + "raw_interval": [ + ".00310440547057", + ".00310440547058" + ], + "selected": ".003027288235", + "surplus": 760, + "tested": ".003104405465" + }, + "new_kappa": null, + "publication_base": "32890bc5de034ab8fc93ac88ead7279a6a416d04", + "same_literal_witness": "PR 5627 repeats the same pivot 225/frame 267 a,b,c,d; this package does not claim that witness or the split method.", + "schema": "record13-capacity-publication-context/v1", + "stronger_than_current_claim": false, + "transfer": false +} diff --git a/research/p104-record13-capacity-ceiling/LICENSE b/research/p104-record13-capacity-ceiling/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/p104-record13-capacity-ceiling/LICENSE @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/research/p104-record13-capacity-ceiling/PAYLOAD-INVENTORY.json b/research/p104-record13-capacity-ceiling/PAYLOAD-INVENTORY.json new file mode 100644 index 0000000000..d1f827a020 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/PAYLOAD-INVENTORY.json @@ -0,0 +1,389 @@ +{ + "files": { + "CAPSULE-MAP.json": { + "bytes": 23778, + "sha256": "34aa3a45b942f4c04e419a69f5258cc41fb42b9805a156963e088cd46dedd5b9" + }, + "CURRENT-CONTEXT.json": { + "bytes": 2807, + "sha256": "6aa8001c6f168b084bba72f22816507736823fb65b3b10cf352e66f191b32d1d" + }, + "LICENSE": { + "bytes": 11357, + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4" + }, + "PROVENANCE.json": { + "bytes": 1360, + "sha256": "1a89962508e0ded848400c5df20074654092ae3d3d1737e1b322195c6e0fcea3" + }, + "README.md": { + "bytes": 10413, + "sha256": "44dcc73b36b7f01c1407ba7599ee8c5ed0229d12811375a0f3223a120f1da626" + }, + "SOURCES.json": { + "bytes": 1189, + "sha256": "4cbf978f6ba2beeb37a9f4c146fd00279e5bb7714f66ca4500d88e04db717028" + }, + "TASK.json": { + "bytes": 5425, + "sha256": "8c2fc73e4663031ceab8138f610bb4d167112462ebc0c4f9425afd91ccd87ad6" + }, + "VERIFY.json": { + "bytes": 961, + "sha256": "04917dfb5ca632d129b9b61cdcee3ca585f85791ac2a842be54a0cc8e24cdac5" + }, + "capsule/outputs/continuous-kappa-process-20261026/dyadic-capacity-verification-review-5615/INPUT-OBLIGATION-MAP.json": { + "bytes": 6376, + "sha256": "1ac7ae57a3c556a9578fe22e549017577c11c33f33e23dbfde59c89c4507363c" + }, + "capsule/outputs/continuous-kappa-process-20261026/guarded/coordination/run_guarded.py": { + "bytes": 3857, + "sha256": "720153b7491acede2c66bdc2dfd3174653195fa3222ec3589d0671c406a5bad8" + }, + "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.json": { + "bytes": 22301, + "sha256": "7b0239ad6f3516a82078ff53fbbe995c7171b0d34f15d33bcd384b83ceba24b6" + }, + "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.md": { + "bytes": 7538, + "sha256": "251f1d2354efa3e7353b96f8f504589baa6ae7110237b4a0c62530eb0dc4dee3" + }, + "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/post-funding-reassessment.json": { + "bytes": 18375, + "sha256": "b7890517ee2e9034b0d13d070a0a90bb2372e561bfb3582481ab449c868a716e" + }, + "capsule/outputs/continuous-kappa-process-20261026/successor-strategy/post-jensen-physical-feasibility.json": { + "bytes": 19432, + "sha256": "5823a65284f5ea1711db1a2986bb9527b5dcaa1ec1042bf4c8ffdef25cab4c99" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/addenda/20261025T235049Z-one-record13-scope/SCOPE-DISPOSITION.json": { + "bytes": 2488, + "sha256": "cbf168b6932ea6f546460f069dbea0cb38875b54c27dd5995d7fdd976b3a4834" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T232223Z-pr5615-capacity-release/PROOF.md": { + "bytes": 5697, + "sha256": "b258a217f2cd0fc48461285fe8ae24de26b0c5963668d9d8f0955fc6e759e929" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T232223Z-pr5615-capacity-release/capacity.py": { + "bytes": 3635, + "sha256": "1cd82b0beab7983d955cfc1d1e562af490f90bcaad6e3ec7d07e0c5a33608834" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/DESCRIPTOR.json": { + "bytes": 1361, + "sha256": "54a3ed8da75dfecedce177c3423a2a0f8dcc10f27cd1d8ce800b5fc9d494a9af" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/FINAL-CUSTODY.json": { + "bytes": 25679, + "sha256": "a71094497841be5b602c962754d595a4b69109a2ed9c9325a0585b127b01d657" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/PR5612-coupled_frames.py": { + "bytes": 2397, + "sha256": "0fee57e994a7ad51b14ce0c3c0e40312a79fe1540ccda3f2eccdd4bf938e09f1" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/PR5612-prepare.py": { + "bytes": 3051, + "sha256": "b7bc6a83da71c0a383f7d48b0f3b97a9b11e6191309cd651e59ff2a39aa92dd6" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/STAGE-CUSTODY.md": { + "bytes": 4948, + "sha256": "656506baf795d849c02823eb856faa39a8a86ec46c4433e97396ffc55e726fbd" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/.research-export.json": { + "bytes": 5200, + "sha256": "a5eb7d7bec9bdc9563651c3ef943d327fb383f9d7e9a0c8484399c7f16270aaf" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/LITERAL-CHANGES.diff": { + "bytes": 1691, + "sha256": "82854aef2086c0e14b1dd6bc475a56b80a1b29dba40a825f48af32a9db73f08c" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/PROOF.md": { + "bytes": 4319, + "sha256": "b6b6dbf4a4a61ac4b126f9198f9716c78c1e630993343cbe07ffb1d6b8d55226" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/README.md": { + "bytes": 6905, + "sha256": "2db451596fb734167312f7a58954adf6eac1f4ae0d0521f00a67a69510b3db6a" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/RESULT.json": { + "bytes": 13353, + "sha256": "c0a90d3091e3f23868194b32d186f9439d21e42613462b32846432588b8555a6" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/SOURCES.json": { + "bytes": 9641, + "sha256": "58f34513fba462f41b23eb9bb2a5cfaafb4d6571709a63c3a036f7053e79ff32" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/SPLITS.json": { + "bytes": 5745, + "sha256": "d99ead7351ca9f263acafcc87798125d3d05af9a5b02e4a70272b52ba66315b1" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/TASK.json": { + "bytes": 7044, + "sha256": "5ac9df6a45fe0d0d6c07c1aabe0a53684435f2c3ed50241550b6072eaeb0f63d" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/VERIFY.json": { + "bytes": 1956, + "sha256": "1782cc1ec117d6ab470303ff0022c8937fe5e138c5c066917159acac2a2058d2" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/WORD.json.gz": { + "bytes": 106769, + "sha256": "963b92e195cb0bbe6f3ffcfdbb7897cafd7df9bd0eb414614897b0ac0587715f" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/common.py": { + "bytes": 2344, + "sha256": "e7c1bd9bfc0060d2d55da5c6e61cd3fae756e0fc8facacc2a074061d2f73c800" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/construct.py": { + "bytes": 3765, + "sha256": "772025f1a6a77f5204ae7ffde666acad05b64108231d2a645f9f15643490e19e" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5545-source-closure.tar.gz": { + "bytes": 469619, + "sha256": "59768da554e11b11fae52d07f520f50684cc7a9ee0bec2873edbcd6b63814837" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5565-WORD.json.gz": { + "bytes": 105088, + "sha256": "3d62828f53e654e3db218bf4611a47aed4a677d48043713dc004db0f8a32990d" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5565-construct.py": { + "bytes": 5903, + "sha256": "7e36f4e8413943ea9f76ce789529aa51d983c6048aba50474083610bdd7c7ef1" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5580-WORD.json.gz": { + "bytes": 105115, + "sha256": "b2a98c4bd0dbe86c09e9d15ee060dcf1aab09dbef90aa1e2127676f4039f406b" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-SPLITS.json": { + "bytes": 6392, + "sha256": "9ab3ff3ef83d74aae3ae43e8c622d70c81879d1e9881cbe623e71c389b5e7bc5" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-WORD.json.gz": { + "bytes": 108157, + "sha256": "4924640fa7fcbb3895a43bf5f07e7274260feac06ecc95285f77dd8eaee30fa1" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-construct.py": { + "bytes": 6230, + "sha256": "8e1a674ebed7bffb9fd6995555895a9925b665c2dec0e91f2876ff043901006f" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-local.py": { + "bytes": 9208, + "sha256": "ef430511ce36fc658ab711bd84cd2d7b484b8af173238ff89cbfec6139fefbad" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-pricing.py": { + "bytes": 9722, + "sha256": "473e10cbd92b06736d33d80c0ef742f12f2d08cfeba9e698b1de6c3648bbb217" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5605-WORD.json.gz": { + "bytes": 105214, + "sha256": "4568dce630de3b75db5037b1e7e123b6759c2fa5c1122680be1b9801ee512667" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5605-construct.py": { + "bytes": 2478, + "sha256": "5831eb6f88cd6ed8200f32d2794dd9535ea06aa0d3ae6dd111a58bc01b611cbd" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/pricing.py": { + "bytes": 9722, + "sha256": "57b912f1d475bb825a0d8d1be1f7ffeb929d8638551c340414c59f9e8f79022a" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/verify.py": { + "bytes": 7845, + "sha256": "cd5b770d448663691cc3041d0cafd3793d78c4bb8cddb0a5fbdd8108a72acf49" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/RESULT.json": { + "bytes": 12940, + "sha256": "f180b266c464722f56f1c2e71eaf0f75cd79ed1de91f48b2e420166d2d2f3b17" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/SPLITS.json": { + "bytes": 5745, + "sha256": "fc18571561c53db849ef2ba78b51ce79411a1f751e5d169f614d4f2da9784cfc" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/delayed.py": { + "bytes": 2940, + "sha256": "fcb8b97785ae05db6f60c38d8d75ee4fe856ea41a1327b772eff7a6ee388b3c8" + }, + "capsule/outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/verify.py": { + "bytes": 6507, + "sha256": "afb7a5f8bb5e40572127d78d73fbbf621b4c35b9a6a01f523521b903b9e99138" + }, + "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/CONTRACT.md": { + "bytes": 5449, + "sha256": "a2829f3fb6b4ff3e58c94bde3c57482c205e9de2f22b3146bb9f88bb8d2a6c4c" + }, + "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/INPUTS.json": { + "bytes": 10095, + "sha256": "6444717b29b80f81d8ee08e0bc875b9c64beea9340975d51ae202e3ffa616726" + }, + "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/PROOF-AND-REVIEW.md": { + "bytes": 5366, + "sha256": "283d10356d46d4accd3754ee9cd53195902ecae3c3b99b8ca0db49cc10dd2fce" + }, + "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/REQUEST.json": { + "bytes": 13165, + "sha256": "58ba6570966c3af66822dca90d78a815c3d73bf7fa6fccef0b7a21e52b715994" + }, + "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/SOURCE-IMPORT-REVIEW.md": { + "bytes": 2897, + "sha256": "1c45bd7f40d8d4cc911b2d2ce69b5805dede51839d98b61fe5d09bbbffadddc5" + }, + "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/check.py": { + "bytes": 20995, + "sha256": "385a0b1f588d9d170785fb34b5860719332b6121f10f2083cf94369bd35c6156" + }, + "capsule/outputs/cut-capacity-feasibility-round-20261026/qualification/run_pair.py": { + "bytes": 3107, + "sha256": "a7f1b25963db4bb91b2d759cce0781ee355d51adb92a5590c9f450fe9f7ceb54" + }, + "guidance/.github/pull_request_template.md": { + "bytes": 1505, + "sha256": "6fffbdcc80d32daa5d6940b21f4c0e61df7e5f588a120374269ff28dac26c562" + }, + "guidance/AGENTS.md": { + "bytes": 5963, + "sha256": "fbee67ab9e0ae4629a35fd9dba69c8f7e29e4a15392eb2d0f75d8768ffb65f40" + }, + "guidance/CONTRIBUTING.md": { + "bytes": 7505, + "sha256": "fcd1a8d0e52342a23b8ffa9e905e85ccc539fb084145ef016dfc93cedfb3d924" + }, + "guidance/CUSTODY.json": { + "bytes": 954, + "sha256": "3018a880261c9b47a47b81b005ffdfc34c9b61c88afcc77abf30ad2068aefcae" + }, + "original-evidence/CLOSEOUT.json": { + "bytes": 1528, + "sha256": "898d50e81b2088dc7d2ddd13ccda6b7dbb14f7897309308c5208d291773caa21" + }, + "original-evidence/GUARD-RECEIPT.json": { + "bytes": 702, + "sha256": "206419d153ccc710171a7e76c8eaa0f59671bd9a8742a89b19f0a12b9c41518a" + }, + "original-evidence/PAIR-RECEIPT.json": { + "bytes": 404, + "sha256": "81c486ac382156619223a255e48b60c3d7408615fd9ea9d6f9bedd02151e6e28" + }, + "original-evidence/RESULT-normal.json": { + "bytes": 15894, + "sha256": "ca4b71b20a3c1cf35aa0985cb6d4aeed05385bceaf66f1c1a5d5e8e21ad5db90" + }, + "original-evidence/RESULT-optimized.json": { + "bytes": 15894, + "sha256": "ca4b71b20a3c1cf35aa0985cb6d4aeed05385bceaf66f1c1a5d5e8e21ad5db90" + }, + "original-evidence/RESULTS.md": { + "bytes": 2770, + "sha256": "58f71cb1dce647e8e28e0108d95047abbc3cb839045a5c318cd9b3a6f8de7aee" + }, + "original-evidence/ROOT-ACCEPTANCE.json": { + "bytes": 938, + "sha256": "908c3bccfcaa43c1f0afe15432804b45cbe6262aa4ea9bc5f14eef5b5abd2f4e" + }, + "original-evidence/RUNNER-STDOUT.log": { + "bytes": 371, + "sha256": "5d9df5c8562d3f03298ba16d15af19d74f07099a4d81f0e892007248e8804543" + }, + "original-evidence/STDERR-normal.txt": { + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "original-evidence/STDERR-optimized.txt": { + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "presentation/PR5627-PROOF.md": { + "bytes": 14244, + "sha256": "85c2fc0e87c129b3f5cb9b3c6ee6a0ad64b35f04cd58af912d500b37c2913da2" + }, + "presentation/PR5627-RESULT.json": { + "bytes": 15990, + "sha256": "f24925b2f549dce6ff404bd9d35fb0a19e5ebc5fa5cbf67996fd4064e450137b" + }, + "presentation/PUBLICATION-GATE.json": { + "bytes": 4591, + "sha256": "28ac74d56ab876b18c92a094926c020c3432a13f4d7c88dc4103f2cbe4052088" + }, + "presentation/SOURCE-MANIFEST.json": { + "bytes": 1710, + "sha256": "8e4165abef0bce30e9335762f1f34d3c591ed92fa4aeb6cdf52099e68036677e" + }, + "provenance/AUTHORITY.json": { + "bytes": 2389, + "sha256": "c0a5121676805d9da8c47b297fc995908fa34ad2d0136c93924f8e23649a289c" + }, + "provenance/NOMINATION-ACCEPTANCE.json": { + "bytes": 1404, + "sha256": "4790fd7c5d52e3fda88d832b72af4f5a785dc9989f2a9c1a86fbf11f675a4be1" + }, + "provenance/SOURCE-SCOPE-ACCEPTANCE.json": { + "bytes": 734, + "sha256": "ff295a950bc80881dc873443cff79bbefe7065e0193f159d22cff37aa9198b28" + }, + "provenance/STATIC-REVISION.json": { + "bytes": 1053, + "sha256": "fc47dffe79e1d98f02775352723ece93f69e475174a563bedec468f361d01e5a" + }, + "provenance/V1-TO-V2.diff": { + "bytes": 20674, + "sha256": "af134d0d903d3b49fdec2c647346e73a62a709f155bda2675874bbe44b33f2dc" + }, + "provenance/v1-unrun/CONTRACT.md": { + "bytes": 4861, + "sha256": "fa0871045d5001c57bf238551a152a9ec4bfa24579ac9d1d9c8de30a59885162" + }, + "provenance/v1-unrun/HANDOFF.md": { + "bytes": 3907, + "sha256": "ea8f113bc7743065352a8d86f5c272f70fc86c54d60995cda14507d84300e93e" + }, + "provenance/v1-unrun/INPUTS.json": { + "bytes": 10095, + "sha256": "6444717b29b80f81d8ee08e0bc875b9c64beea9340975d51ae202e3ffa616726" + }, + "provenance/v1-unrun/PROOF-AND-REVIEW.md": { + "bytes": 4545, + "sha256": "87cc210ce674955fe34d95a9671e2890ab617efdffb8fa2ce7be6b9a0e9f1236" + }, + "provenance/v1-unrun/REQUEST.json": { + "bytes": 12680, + "sha256": "e53a7b9e0d90b3ad9ace7d50a242e5e611e1463dd58711cc89910b051ced13f8" + }, + "provenance/v1-unrun/SOURCE-IMPORT-REVIEW.md": { + "bytes": 2897, + "sha256": "1c45bd7f40d8d4cc911b2d2ce69b5805dede51839d98b61fe5d09bbbffadddc5" + }, + "provenance/v1-unrun/UNRUN.md": { + "bytes": 876, + "sha256": "07dc3e8406e0f3e649976471d9effe567ccf65cc2701ecc0c57410a7492abaa1" + }, + "provenance/v1-unrun/check.py": { + "bytes": 21711, + "sha256": "5c3f31abf198fc05ab49fbb6aa07f0fc958da64d1021b40094b3db5089701e1b" + }, + "provenance/v1-unrun/run_pair.py": { + "bytes": 3107, + "sha256": "a7f1b25963db4bb91b2d759cce0781ee355d51adb92a5590c9f450fe9f7ceb54" + }, + "reviews/DISPOSITION.json": { + "bytes": 1810, + "sha256": "64e6330c8bc2a1e112d7644f759d4678b52abedf12be95922fd4a07d2699e5f9" + }, + "reviews/FINAL-ACCEPT-v2.md": { + "bytes": 3265, + "sha256": "6f07b853af1c59e1971f12aaec5322ba0ed7fe81a9f2635e659b50399d2c17c2" + }, + "reviews/POST-RESULT-DISPOSITION.json": { + "bytes": 2458, + "sha256": "4a26523706bb8f520165e41dbe2c391a45d089d99e6ec43b3275a7af8a0458da" + }, + "reviews/POST-RESULT-DISPOSITION.md": { + "bytes": 7641, + "sha256": "d4cb89c9db8918a13008eefe00a0ed90d73d35d22c427dc919bb8979307c13ec" + }, + "reviews/REVIEW.md": { + "bytes": 6810, + "sha256": "be4dcd26934cef9cc6876a10ddcd6b491b2943212b053bb50f175c6da556dac7" + }, + "verify.py": { + "bytes": 7302, + "sha256": "4dda6aa533dd1e275abe449bd7b7a84c97c1ec92e18d140229df2699ab63c1d5" + } + }, + "schema": "record13-capacity-portable-inventory/v1" +} diff --git a/research/p104-record13-capacity-ceiling/PROVENANCE.json b/research/p104-record13-capacity-ceiling/PROVENANCE.json new file mode 100644 index 0000000000..9e460e3b74 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/PROVENANCE.json @@ -0,0 +1,23 @@ +{ + "fresh_canonical_main": "6cf7a683f447b9f1e2333791907fd92be5009a63", + "fresh_publication_gate_sha256": "28ac74d56ab876b18c92a094926c020c3432a13f4d7c88dc4103f2cbe4052088", + "fresh_publication_overlap_gate": "presentation/PUBLICATION-GATE.json; exact frozen restricted ceiling cleared within bounded coverage.", + "new_kappa": null, + "original_pair_elapsed_seconds": 9.576948022993747, + "original_request_sha256": "58ba6570966c3af66822dca90d78a815c3d73bf7fa6fccef0b7a21e52b715994", + "original_result_sha256": "ca4b71b20a3c1cf35aa0985cb6d4aeed05385bceaf66f1c1a5d5e8e21ad5db90", + "original_result_status": "NO_ADDITIONAL_RESTRICTED_CHANNEL_STOP_THIS_OBJECT", + "original_sampled_rss_bytes": 60301312, + "portable_replay_status": "UNRUN_BY_PREPARER", + "preparer_WORD_decompression": false, + "preparer_commit": false, + "preparer_external_write": false, + "preparer_fetch": false, + "preparer_scientific_execution": false, + "preparer_source_import": false, + "publication_base": "32890bc5de034ab8fc93ac88ead7279a6a416d04", + "recorded_canonical_checkpoint": "5e0052ca0aa3036a3afa8b0438927377c8d97d53", + "schema": "record13-capacity-publication-provenance/v1", + "stage_sha256": "0ba81142bc47457490996c88d88c74849c7648922ff696e496f95bfb7afcf801", + "v1_status": "UNRUN provenance; v2 changes failure classification only and is the sole replay target." +} diff --git a/research/p104-record13-capacity-ceiling/README.md b/research/p104-record13-capacity-ceiling/README.md new file mode 100644 index 0000000000..b0cf612b33 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/README.md @@ -0,0 +1,185 @@ +# Record 13 exhausts one restricted helper-cut interface + +## Result and exact scope + +The exact historical pre-record-13 stage of [PR #5612](https://github.com/CrocSwap/integer-mult-bounds/pull/5612) has dyadic capacity +**exactly one** on the fixed support +$E=(57,81,92,224,225,234)$ at frame 267, after zero-based event 12626. +The already published record 13 channel attains that capacity. The residual +left module is zero, so this bounded test earns **no additional independent +channel, target credit, paid saving, P–T gain or kappa**. + +The source is [PR #5612](https://github.com/CrocSwap/integer-mult-bounds/pull/5612) head +`faa9f6dbe6b8cc4a996d3edeca71823056453e1a`. Reconstruction applies the +published parent preparation, delayed preparation and exactly the first +12 splits. Its canonical stage SHA256 is +`0ba81142bc47457490996c88d88c74849c7648922ff696e496f95bfb7afcf801`. +This stage has 747 public inputs and 25,492 events. It precedes record 13 +and later contact/source changes; no result is transferred to final [PR #5613](https://github.com/CrocSwap/integer-mult-bounds/pull/5613). + +The helper group $H$ is the full original same-boundary non-main public group +of carrier 225, with boundary frames 3 and 127. Both fixed carriers 225 and +224 lie in that group and at the common cut frame. The replay-derived gates +check chart nesting, split ranks $(8,1)$, an empty owned cut, arbitrary-input +endpoints and the known normalized prefix/suffix channel before capacity. +This is a restricted source-bound ceiling, not a whole-bank or global no-go. + +The complete fixed-caller invoice distinguishes actual and comparison data: + +| Invoice | Paid jobs | Target fields | Status | +|---|---:|---:|---| +| Reconstructed pre-record-13 stage | 66,690 | 13,030 | Actual replay-derived bill | +| After the already published record 13 split | 66,690 | 13,048 | One-channel comparison | +| One additional optimistic channel | 66,690 | 13,066 | Unrealized comparison; not earned | + +Paid and target rank masses are 241,268 and 242,028, with surplus 760. +The two comparison invoices preserve rank mass. They are not two newly +constructed successor words. The existing record 13 split is not refuted. + +## Certificate and short proof + +Work over $D=\mathbb Z[1/2]$, in the displayed order of $E$. Let $L$ be all +rows supported on $E$ whose prefix image is supported on $H$. Five stored +original independent prefix constraints, cleared by the unit denominator 2, +give $Cx^T=0$, where + +$$ +C=\begin{pmatrix} +-2&-2&2&-2&0&0\\ +-2&-2&2&2&0&1\\ +-2&2&2&-2&0&-1\\ +2&-2&2&-2&2&0\\ +2&-2&2&2&0&0 +\end{pmatrix}. +$$ + +The first and fifth equations imply $x_4=-x_1$ and $x_3=x_2$. The second +then gives $x_6=4x_1$, the third gives $x_2=x_1$, and the fourth gives +$x_5=-2x_1$. Only powers of two are divided out. Hence + +$$L\subseteq Dq,\qquad q=(1,1,1,-1,-2,4).$$ + +The source-bound known row is $a_0=q/4$, with prefix image $e_{227}$ in $H$. +Thus $q\in L$, giving $L=Dq$. The checker also verifies that every original +constraint annihilates the full saturated kernel, and checks integer +unimodular Smith transforms. The selected constraint diagonal is +$(1,2,2,4,4)$; its free column is $q$. The full right module has dimension 5. +The induced pairing is $(1,1,-1,-2,4)$, with unit Smith factor $(1)$. + +Any normalized $t$-channel interface selects its left rows from the rank-one +module $L$, so its pairing cannot equal $I_t$ when $t\ge2$. The existing +right column $b_0=-2e_{225}$ satisfies $a_0b_0=1$, attaining capacity one. +Moreover $qb_0=4$ is a unit in $D$. If $x=sq$ is orthogonal to $b_0$, then +$4s=0$, hence $x=0$. The residual left module and residual capacity are zero. +Rescaling or rediscovering the old channel cannot produce a second credit. + +The general capacity theorem and Smith implementation are credited to +released [PR #5615](https://github.com/CrocSwap/integer-mult-bounds/pull/5615) head `d914f77d948ac377bdb9823daca93d08913c3fa7`. +This contribution binds that classical rank/Smith argument to one concrete +historical source cut. It supplies neither a new general theorem nor an +independent human or proof-kernel acceptance. + +## Reproduction and evidence + +The original root-owned normal and optimized pair completed in +9.576948022993747 seconds, with 60,301,312 bytes sampled peak descendant RSS, +under the 150-second/512-MiB serial guard. Complete result bytes matched with +zero fields excluded. The result status is +`NO_ADDITIONAL_RESTRICTED_CHANNEL_STOP_THIS_OBJECT`. +Its SHA256 is +`ca4b71b20a3c1cf35aa0985cb6d4aeed05385bceaf66f1c1a5d5e8e21ad5db90`. + +Five rejecting algebraic sanity controls address odd denominator, nonunit +transform, rational rank versus dyadic capacity, double credit and truncated +product width. One positive saturation control verifies a full kernel basis. +These are not a source-mutation campaign or independent physical experiments. +Static v2 review and the post-result readable proof are preserved in `reviews/`. +The latter inspected stored evidence without rerunning reconstruction or Smith. + +```sh +python3 -B scripts/research_package.py --package research/p104-record13-capacity-ceiling +``` + +`VERIFY.json` registers normal and optimized wrappers. Each authenticates the +whole payload, all 49 original request pins and all 42 external inputs before +launching the unchanged v2 checker in a private isolated child. The original +relative tree is retained under `capsule/`; its root replaces the original +project root, with no source-path text rewrite or algorithm change. The +original absolute guard command is preserved as provenance and is not invoked. + +The child repeats only the originally authorized reconstruction, sole endpoint +replay, known-channel gate and restricted capacity certificate. It does not +invoke full source verifiers, native/framework routines, pricing or other cuts. +The complete 24-file source export remains intact because its hashes are part +of the original closure. Uncalled sources and archives are not execution authority. +Version 1 is retained as explicitly **unrun provenance** and is never executed. + +For a relocated, read-only, Git-free export, including an empty PATH: + +```sh +/usr/bin/python3 -I -O -B research/p104-record13-capacity-ceiling/verify.py +``` + +Expected marker: `PASS_P104_RECORD13_RESTRICTED_CAPACITY_CEILING`. +Portable checks are **UNRUN_BY_PREPARER** and remain separate from the +completed original run. Each child has a 60-second timeout and 512-MiB +address-space bound. Root alone performs validation under the shared guard; +no retries, cap increases or source repins follow a failure. + +## Sources and credit + +The package preserves the original request, acceptance, runner/checker, inputs, +full result pair, guard/runner receipts, v2 review and post-result proof. +`CAPSULE-MAP.json` records every original-path-to-internal-path binding. +All runtime sources are internal committed bytes; no network, foreign Git +object or writable source package is needed. Publication uses available +ancestor base `32890bc5de034ab8fc93ac88ead7279a6a416d04`, distinct from the +fresh canonical main `6cf7a683f447b9f1e2333791907fd92be5009a63`. +The sealed publication gate in `presentation/` clears this exact restricted +ceiling within its stated bounded coverage; no global novelty claim follows. + +Credit Ali Romman for [PR #5599](https://github.com/CrocSwap/integer-mult-bounds/pull/5599), +[PR #5602](https://github.com/CrocSwap/integer-mult-bounds/pull/5602) and +[PR #5615](https://github.com/CrocSwap/integer-mult-bounds/pull/5615) and the source-word lineage; +flyingviper for [PR #5612](https://github.com/CrocSwap/integer-mult-bounds/pull/5612) and +[PR #5608](https://github.com/CrocSwap/integer-mult-bounds/pull/5608); +Hexapode for [PR #5565](https://github.com/CrocSwap/integer-mult-bounds/pull/5565); and all retained +private-word, controller, compiler, native, precision and analytic contributors. +The rank and Smith-normal-form mathematics is classical. The bounded +source-bound qualification, static review and portable packaging were prepared +for Chris R/Clear1nsight with substantial OpenAI Codex/Astra assistance. +Apache-2.0 notices and source-specific attribution remain unchanged. + +No new physical basis/split program, native all-width phases, ordinary cost +cap, complete compiler/outer/BIT admission or full multiplication theorem is +claimed. Those positive realization obligations do not weaken the negative +rank-one upper bound within this precisely fixed interface. + +The latest complete author comparison is [PR #5627](https://github.com/CrocSwap/integer-mult-bounds/pull/5627) head +`ed4dc88a09a7d201971f6603b8c2074e95dd9c32`, claiming conditional +$\kappa=.00310440546$, tested $.003104405465$, with 66,546 paid jobs +and 12,958 target fields. Its hosted run 40247590574 was recorded successful; +it is not selected or independently admitted. It removes 72 H5 from both +paid and target invoices, preserving the signed recursive moment; the small +endpoint gain concerns funding/headroom, not a new raw crossing. + +[PR #5627](https://github.com/CrocSwap/integer-mult-bounds/pull/5627) repeats the **same literal** pivot 225/frame 267 $a,b,c,d$ witness, +but at cut 12603 on a different nine-split changed-boundary word. Neither +that witness nor the split method is claimed here. Our contribution is the +exhausted restricted module at the exact historical pre-record-13 stage. +There is no transfer of this ceiling to [PR #5627](https://github.com/CrocSwap/integer-mult-bounds/pull/5627), final [PR #5613](https://github.com/CrocSwap/integer-mult-bounds/pull/5613) or another +support. `CURRENT-CONTEXT.json` preserves exact comparison source links, +Git blobs and the fresh bounded overlap decision. + +## Open next questions + +- No further construction is justified on this unchanged $E_6$ object: its + published channel exhausts the restricted interface. Do not automatically + scan more vectors, rescale the known pair or repeat the same test. +- A larger support, different cut, helper group, source or changed boundary + would be a new object. Its relevance is whether the rank-one constraint + changes; the first step is a fresh source-bound nomination and ownership + gate. This package grants no scan or construction authority. +- Independent human or formal review can inspect the five-row elimination, + known channel and stage-to-constraint binding. The blocker is a separate + review or formalization, not another execution of the same certificate. diff --git a/research/p104-record13-capacity-ceiling/SOURCES.json b/research/p104-record13-capacity-ceiling/SOURCES.json new file mode 100644 index 0000000000..167bf0fd0c --- /dev/null +++ b/research/p104-record13-capacity-ceiling/SOURCES.json @@ -0,0 +1,26 @@ +{ + "base_commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04", + "capacity_theorem_head": "d914f77d948ac377bdb9823daca93d08913c3fa7", + "capacity_theorem_pr": 5615, + "files": [ + { + "git_blob": "fc3d4ba105e1f097d0d7d051a308281e86ab1446", + "path": "certificates/selected-result.json", + "sha256": "66974efdced4083c00025f97d95d83909a226cdf801edb9301c195c6641f6903", + "usage": "provenance" + }, + { + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "path": "docs/research/agent-task-catalog.json", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72", + "usage": "provenance" + } + ], + "original_request_sha256": "58ba6570966c3af66822dca90d78a815c3d73bf7fa6fccef0b7a21e52b715994", + "original_result_sha256": "ca4b71b20a3c1cf35aa0985cb6d4aeed05385bceaf66f1c1a5d5e8e21ad5db90", + "runtime_source_policy": "Every reconstruction, theorem and engine byte is internal authenticated payload; no foreign cached Git object, network, source text rewrite or altered algorithm.", + "schema_version": 1, + "source_head": "faa9f6dbe6b8cc4a996d3edeca71823056453e1a", + "source_map": "CAPSULE-MAP.json", + "source_pr": 5612 +} diff --git a/research/p104-record13-capacity-ceiling/TASK.json b/research/p104-record13-capacity-ceiling/TASK.json new file mode 100644 index 0000000000..3b79fcea14 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/TASK.json @@ -0,0 +1,73 @@ +{ + "actual_scope": "Exact restricted dyadic capacity one for the historical PR 5612 pre-record-13 E6 cut; no additional channel beyond the published one.", + "ai_assistance": "Substantial OpenAI Codex/Astra assistance in bounded qualification, static review, readable proof and portable packaging. Released capacity implementation and source reconstruction retain predecessor credit.", + "author": "Chris R (Clear1nsight), with substantial OpenAI Codex assistance", + "base_commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04", + "bottleneck_link": "Avoid double-crediting the existing channel: restricted capacity one yields no additional productive target or P\u2013T gain.", + "budget_minutes": null, + "evidence": "Unchanged v2 checker/request, both complete results, pair/guard/root acceptance, static v2 review and post-result direct proof.", + "open_questions": [ + { + "blocked_by": "No residual independent channel exists in the fixed left module.", + "first_step": "Stop this exact object; inspect the preserved source-bound proof before proposing anything else.", + "question": "Is any further construction justified on this unchanged six-element interface?", + "why_it_matters": "Its existing channel already attains the exact restricted capacity one." + }, + { + "blocked_by": "This package grants no new scan, construction or automatic follow-up authority.", + "first_step": "Prepare a fresh exact-source nomination and ownership gate with explicit changed hypotheses.", + "question": "Would a changed support, cut or boundary define a genuinely different capacity object?", + "why_it_matters": "The restricted ceiling is not a global or whole-bank obstruction." + } + ], + "original_card": { + "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "allowed_variations": [ + "Narrow to one changed boundary or helper type with explicit counts.", + "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope." + ], + "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.", + "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.", + "first_step": { + "command": [ + "python3", + "-B", + "research/complex-local-word-ceiling/verify.py" + ], + "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING", + "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.", + "scope": "Positive control and planning budget only; this is not a new construction or full cold replay." + }, + "id": "complex-new-helper-inventory", + "methods": [ + "Propose a changed helper inventory and derive an optimistic exact moment.", + "Design a small completed instance and independently verify its endpoint and rank bill." + ], + "overlap_terms": [ + "helper inventory", + "heterogeneous-owner", + "mutable leaver" + ], + "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?", + "scope_change_triggers": [ + "Mixing only providers already inside the pinned catalogue.", + "Only changing helper terminal subspaces and monotone frames within the fixed scalar word, entrances and cleanup contract already covered by #1995/#2013.", + "Continuing a partial cost improvement while leaving the same unpriced consumer, restoration or central-readout obligation unresolved; refresh the family expansion decision first. Local product-retiming evidence has a narrow scope and is not a ban on changed graphs or contracts." + ], + "starting_points": [ + "docs/research/research-family-status.md", + "research/complex-local-word-ceiling/README.md", + "research/heterogeneous-owner-assembly/README.md", + "certificates/selected-result.json", + "research/selected-k8-unrestricted-ends/README.md" + ] + }, + "outcome": "negative-result", + "priority_revision": 7, + "schema_version": 1, + "scope_change_reason": "Directed one-object feasibility test with fixed support, frame, helper group and boundary, followed by a source-bound ceiling proof.", + "scope_key": "p104-pr5612-pre13-cut12626-frame267-E57-81-92-224-225-234-capacity-one", + "scope_status": "changed", + "stop_rule": "Stop construction on this unchanged E6 object. A larger support or changed cut/boundary needs a fresh nomination and ownership gate.", + "task_id": "complex-new-helper-inventory" +} diff --git a/research/p104-record13-capacity-ceiling/VERIFY.json b/research/p104-record13-capacity-ceiling/VERIFY.json new file mode 100644 index 0000000000..b229518efc --- /dev/null +++ b/research/p104-record13-capacity-ceiling/VERIFY.json @@ -0,0 +1,28 @@ +{ + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "checks": "Authenticate all 49 original pins and 42 inputs; replay unchanged v2 reconstruction and one fixed E6 capacity certificate; require complete original bytes, capacity one, zero residual, five rejecting and one positive saturation control; no new channel or kappa.", + "timeout_seconds": 70 + }, + { + "argv": [ + "{python}", + "-O", + "-B", + "{package}/verify.py" + ], + "checks": "Authenticate all 49 original pins and 42 inputs; replay unchanged v2 reconstruction and one fixed E6 capacity certificate; require complete original bytes, capacity one, zero residual, five rejecting and one positive saturation control; no new channel or kappa.", + "timeout_seconds": 70 + } + ], + "inputs": [], + "python": "3.12", + "requirements": [], + "schema_version": 1, + "status": "ready" +} diff --git a/research/p104-record13-capacity-ceiling/capsule/outputs/continuous-kappa-process-20261026/dyadic-capacity-verification-review-5615/INPUT-OBLIGATION-MAP.json b/research/p104-record13-capacity-ceiling/capsule/outputs/continuous-kappa-process-20261026/dyadic-capacity-verification-review-5615/INPUT-OBLIGATION-MAP.json new file mode 100644 index 0000000000..da4021d6a5 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/capsule/outputs/continuous-kappa-process-20261026/dyadic-capacity-verification-review-5615/INPUT-OBLIGATION-MAP.json @@ -0,0 +1,144 @@ +{ + "schema": "one-published-cut-5615-input-obligations/v1", + "theorem_head": "d914f77d948ac377bdb9823daca93d08913c3fa7", + "scope": "ONE already-published unchanged-boundary cut; no bank choice/census/new criterion", + "actual_named_application_supplied_to_reviewer": false, + "input_packet_status": "REQUIRED_BEFORE_ANY_SOURCE_BOUND_CAPACITY_CLAIM", + "obligations": [ + { + "gate": "stage", + "required": [ + "source repository/commit and exact staged word or published stage certificate", + "literal cut index and before/after event convention", + "current public field labels and input/output ownership map", + "bridge from witness-stage to actual comparison word if they differ" + ], + "reject": [ + "presplit witness silently treated as final-word cut", + "field renaming or consumed input inferred from a headline/histogram" + ] + }, + { + "gate": "support_and_boundary", + "required": [ + "protected helper group H with common actual input S and output T", + "actual F with strict S args.memory_mib * 1024**2: + cause = 'memory_limit' + elif time.monotonic() - started > args.seconds: + cause = 'timeout' + if cause: + os.killpg(proc.pid, signal.SIGTERM) + try: + proc.wait(timeout=2) + except subprocess.TimeoutExpired: + os.killpg(proc.pid, signal.SIGKILL) + break + time.sleep(0.1) + code = proc.wait() + except BaseException: + try: + os.killpg(proc.pid, signal.SIGKILL) + except ProcessLookupError: + pass + proc.wait() + raise + receipt = {'schema':'serial-research-run/v1','command':command,'cwd':str(cwd), + 'exit_code':code,'termination':cause,'elapsed_seconds':time.monotonic()-started, + 'sampled_peak_descendant_rss_bytes':peak,'rss_samples':samples, + 'memory_limit_mib':args.memory_mib,'timeout_seconds':args.seconds, + 'python':sys.version,'log_sha256':hashlib.sha256((out/'stdout.log').read_bytes()).hexdigest(), + 'scope':'Fresh command execution only; scientific claim determined by reviewed output.'} + (out/'RECEIPT.json').write_text(json.dumps(receipt,indent=2)+'\n') + print(json.dumps(receipt)) + return 0 if code == 0 and not cause else 1 + + +if __name__ == '__main__': + raise SystemExit(main()) diff --git a/research/p104-record13-capacity-ceiling/capsule/outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.json b/research/p104-record13-capacity-ceiling/capsule/outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.json new file mode 100644 index 0000000000..8d1eb6e2a0 --- /dev/null +++ b/research/p104-record13-capacity-ceiling/capsule/outputs/continuous-kappa-process-20261026/successor-strategy/one-published-cut-5615-nomination.json @@ -0,0 +1,513 @@ +{ + "schema": "one-published-cut-5615-static-nomination/v1", + "status": "STATIC_NOMINATION_READY_FOR_ROOT_CONTRACT_REVIEW_NO_SCIENCE_EXECUTED", + "source": { + "pr": 5612, + "head": "faa9f6dbe6b8cc4a996d3edeca71823056453e1a", + "path": "research/p104-delayed-shared-relay", + "theorem_pr": 5615, + "theorem_head": "d914f77d948ac377bdb9823daca93d08913c3fa7", + "later_pr5613_head": "32f23af8790cc3c435bb1f495d861332b4f000e3", + "automatic_later_stage_transfer": false + }, + "object": { + "record_one_based": 13, + "record": { + "cut_after": 12626, + "frame": 267, + "pivot": 225, + "a": { + "57": "1/4", + "81": "1/4", + "92": "1/4", + "224": "-1/4", + "225": "-1/2", + "234": "1" + }, + "b": { + "225": "-2" + }, + "c": { + "227": "1" + }, + "d": { + "224": "-1", + "225": "-1", + "226": "1", + "227": "1", + "228": "1", + "229": "1", + "230": "-1", + "231": "-1" + }, + "ranks": [ + 8, + 1 + ] + }, + "cut_convention": "After zero-based event12626: prefix program[:12627], suffix program[12627:].", + "comparison_stage": "Reconstructed stage before record13, after delayed preparation and exactly first12 literal SPLITS records; no5601/573/5613 edits.", + "canonical_stage_hash": null, + "expected_public": 747, + "expected_public_source": "published RESULT split12 receipt", + "restricted_support_E": [ + 57, + 81, + 92, + 224, + 225, + 234 + ], + "E_scope": "Exactly union of literal a,b supports and old pivot; not full F bank.", + "helper_group_H": "All non-main public roles whose unchanged actual (initial,final) equals role225 pair. Do not shrink to support(c,d), do not change boundaries.", + "old_carrier": 225, + "only_new_carrier": 224, + "carrier_premise": "Both224 and225 must be original public H roles at literal F267. Existing witness puts224 in a and d,225 in a/b/d; verify rather than infer from labels. No fallback carrier.", + "known_one_channel": "aP=c;Sb=d;ab=cd=1. It is published record13 and its credit is already included in the after13 comparator.", + "incremental_question": "Can this restricted E/H at the exact pre13 stage retain the published unit pair and supply one compatible additional unit using carrier224?", + "success_threshold": "One additional independent target, not total .0033 attainment." + }, + "reconstruction": { + "root_only": true, + "public_recipe_complete": true, + "minimal_modules": [ + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-local.py", + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/inputs/pr5599-construct.py", + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5608-export/research/p104-relay-split-composition/construct.py", + "outputs/continuous-kappa-process-20261026/upstream/source-handoffs/20261025T234649Z-published-split-stage/pr5612-package/delayed.py" + ], + "sequence": [ + "Authenticate exact input bytes and complete custody/export manifest; inspect imports/top-level AST before loading.", + "Load pr5599-local as module local, then pr5599-construct as S, construct as C0, delayed. Avoid verify.main and source closure/native/pricing calls.", + "Root reads only pinned pr5580-WORD.json.gz; parent=C0.construct_parent(base); first=delayed.construct(parent).", + "Apply S.split(stage,h) for exactly SPLITS[0:12] in order. Each split checks its own fixed cut; do not run a cut search.", + "One L.replay(stage) verifies reconstructed endpoint and paid/helper census. No repeated replay after every unchanged predecessor split. Record canonical stage hash/counts.", + "S.check_cut(stage,SPLITS[12]) verifies the existing published unit pair once; independently trace current frames and owned liveness at the one cut." + ], + "known_parent_public": 735, + "known_parent_events": 25160, + "known_parent_canonical_hash": "3539111e4b2b5b1316746058bf25d973c4f0b9d91ed577a4d004975eb67320db", + "known_delayed_events": 25180, + "known_delayed_canonical_hash": "d920c1c5dc31aedf9ed8ca5174adf7c9364993f9a003be1f2a033d23186636a3", + "canonical_stage_hash_requirement": "Record actual hash, never substitute final5612 WORD hash.", + "imports_note": "Minimal stage functions use pinned local module plus Python standard library; native-only framework ROOT is unused. Root must verify this guard; custody also retains authenticated full closure." + }, + "restricted_capacity_contract": { + "premises": [ + "Match root stage hash/public count and complete predicted local census; reject unexpected drift.", + "Validate literal witness, coframed E, actual strict frame inclusions U0 for0