Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
1 change: 1 addition & 0 deletions research/h25-manual-bootstrap-acquisition/.gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
* -text
343 changes: 343 additions & 0 deletions research/h25-manual-bootstrap-acquisition/EXTERNAL-DEPENDENCIES.json

Large diffs are not rendered by default.

212 changes: 212 additions & 0 deletions research/h25-manual-bootstrap-acquisition/INVENTORY.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,212 @@
{
"schema": "archive-byte-inventory-v1",
"excluded": [
"INVENTORY.json",
"SHA256SUMS"
],
"files": [
{
"path": ".gitattributes",
"bytes": 8,
"sha256": "705fd4d6451a31d36b3df7de96f83f30ac976c9b4a6d1e51671d8e2f33e2d0da",
"git_blob": "fa1385d99a319b43c06f5309d1aae9fdd3adea46",
"git_mode": "100644"
},
{
"path": "EXTERNAL-DEPENDENCIES.json",
"bytes": 23676,
"sha256": "e692a3f42e11c20a0ea8c9a23d452be4c82a7545c50a9e361141219cd44e709f",
"git_blob": "d8dd34eed5cfc5930fdecf0668644de670500cb8",
"git_mode": "100644"
},
{
"path": "README.md",
"bytes": 8059,
"sha256": "76fc9aa5d7d169b73ea8da18e7cd0e54f6f605ff8a2dcf73d0434a3ad9b29db6",
"git_blob": "60338f229057513efb118e52f818198c7fad8df6",
"git_mode": "100644"
},
{
"path": "check_integrity.py",
"bytes": 1719,
"sha256": "a1d3902f5e4397a735f0ca7f083773b79bb1459f186e137bd6631e50e54bbe39",
"git_blob": "4afe74804f2ecded1b040d2b0808e0a8bcad4681",
"git_mode": "100644"
},
{
"path": "consultation/RESPONSE-LINKS-v31.json",
"bytes": 2028,
"sha256": "7b12bb7173782a43e1e950eaf6a8cde1f9fa4cd9634ff9ea6495c669a45b461f",
"git_blob": "eea6bd175f3c0e1e0aec0ea35b44645943bce520",
"git_mode": "100644"
},
{
"path": "consultation/RESPONSE-v31.txt",
"bytes": 13983,
"sha256": "10c93ebdfdc925fefc3f6ff031353adaf536aaaf6543035af7f376262762265e",
"git_blob": "067f2f666f93eba4913c2bb0734ba9d3f027d265",
"git_mode": "100644"
},
{
"path": "evidence/CONSULTATION-ASSESSMENT.json",
"bytes": 844,
"sha256": "1ef638b3ff2855f1c6e713c50e2ce555de6b583eec1909c8f74b910bcbad9199",
"git_blob": "ba6b6efccd27921507bcf42624ab1493097578c3",
"git_mode": "100644"
},
{
"path": "evidence/RESULT-HASH-SUMMARY.json",
"bytes": 4732,
"sha256": "8c7a98bc8cdffa3a88ac915664e6321a11334256877bdf57478fc93d0ba3424c",
"git_blob": "e23cebba11d1d590da71325fa2173a360ed3d6d2",
"git_mode": "100644"
},
{
"path": "evidence/control/EXPLICIT-REASSESSMENT-v30.json",
"bytes": 2294,
"sha256": "234fe72ee6e065457f603539eb0fc469a3965c664fd35948d0a3146c443a2de9",
"git_blob": "d4b3c211fbb2cb668061cf5cf5e15408b6221251",
"git_mode": "100644"
},
{
"path": "evidence/control/ROUND-CLOSE-v30.json",
"bytes": 1242,
"sha256": "73171c5b87239373a6a7f0f2b1c1349edfcf3dac74182228bd74e337e54a6dfb",
"git_blob": "a08a02aaea084506dd8c6623d543f3b1e3c99d22",
"git_mode": "100644"
},
{
"path": "evidence/control/SOURCE-FREEZE-AND-NATIVE-STOP-v30.json",
"bytes": 684,
"sha256": "1ebb50f8439cee21cd5aebaca9b888b92f995212c9d3a43f52e5d3695ed44935",
"git_blob": "3f2a533a038acd005cb3c73d41db25ef863b566d",
"git_mode": "100644"
},
{
"path": "evidence/review/DRIVER-REVIEW-TIMING-CORRECTION-v1.json",
"bytes": 1719,
"sha256": "b87cac1b424f603aa95e8e2a1a555db4b3e42021624972bcd531e78ae94efce7",
"git_blob": "75f1963a43705605ffb9111accae9e149677876f",
"git_mode": "100644"
},
{
"path": "evidence/review/DRIVER-SOURCE-AND-CAMPAIGN-GO-v31.json",
"bytes": 7870,
"sha256": "1b855fb524845c5efc936ed933fa6d9b09c18111e3e07a45f797f6aaf526a9c6",
"git_blob": "1cdb92774537366f5fd00270da225340852a3fd9",
"git_mode": "100644"
},
{
"path": "evidence/review/INSTALLER-SOURCE-GO-v31.json",
"bytes": 2394,
"sha256": "67d7ccddda23bf562f512b1d8fa76fdaa428eb4d751186e5654ffa07b8e25785",
"git_blob": "a15d2541c60f4246070714d0eae0d2f72126dd08",
"git_mode": "100644"
},
{
"path": "evidence/review/NATIVE-RESULT-REVIEW-v30.json",
"bytes": 6623,
"sha256": "e50b9cae2a6d12d10053f19e81bcc16f748b7920d397e22bd457a85298e789b8",
"git_blob": "47f26f9636ebb91c3f2ad17a3373b22a2c5d8daf",
"git_mode": "100644"
},
{
"path": "evidence/review/PURE-RESULT-AND-NORMAL-TECHNICAL-GATE-v30.json",
"bytes": 5568,
"sha256": "5fbd2a75a6e5d8893aec71a126aa02c74f86261e87b11ba90a2c0bcfbe24ba55",
"git_blob": "1e902a9885f87243480b7ebd170917c5dc0b2108",
"git_mode": "100644"
},
{
"path": "evidence/validation/FINAL-COLD-INVENTORY-v30.json",
"bytes": 1644,
"sha256": "ad3a3ef495e0505a7e0dd382c2b6fa570075d6928c8937118c64e27ed685aa3b",
"git_blob": "0c7d13a1fb2070dbc786c24d4cf36738ebf32e70",
"git_mode": "100644"
},
{
"path": "evidence/validation/PARENT-COMMANDS-v30.json",
"bytes": 7442,
"sha256": "bad02d3372474c79965eaada6fc289616c36ffcd951742c6874c46f571067a6f",
"git_blob": "e37124ffb852b4aa8ab8e284dd36e2cdd452d727",
"git_mode": "100644"
},
{
"path": "evidence/validation/pure-normal/gnu-time.txt",
"bytes": 1254,
"sha256": "168e2d37c419c6426ca668f971f5cb18070e3258dcb2feabd2b6744a230ace33",
"git_blob": "9446eaa020e3c06af0a1549e41b8eccce1a14416",
"git_mode": "100644"
},
{
"path": "evidence/validation/pure-normal/stderr.txt",
"bytes": 4791,
"sha256": "4dbdf9823c912eb6fa5837552f9ca816499d3e862983a4961ddcf876c85c74a8",
"git_blob": "3850aac28d12b11e367cc1f75d15ada175108fb2",
"git_mode": "100644"
},
{
"path": "evidence/validation/pure-normal/stdout.txt",
"bytes": 0,
"sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
"git_mode": "100644"
},
{
"path": "evidence/validation/pure-optimized/gnu-time.txt",
"bytes": 1256,
"sha256": "b2d2279256f72000e25783025eba490b534639c9394648adbee6de1407e742c7",
"git_blob": "fcf3edef04b62a8cd25b34fe456e3fe6bf94e22b",
"git_mode": "100644"
},
{
"path": "evidence/validation/pure-optimized/stderr.txt",
"bytes": 4791,
"sha256": "afc647712a804d4e15ab49327e9f9e3cb1aee48da3b39afd4914788e172b5f05",
"git_blob": "e501510c9abf59c422d20db02684f94afc5988cf",
"git_mode": "100644"
},
{
"path": "evidence/validation/pure-optimized/stdout.txt",
"bytes": 0,
"sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
"git_mode": "100644"
},
{
"path": "implementation/BOOTSTRAP-SPEC-v30.json",
"bytes": 8447,
"sha256": "c6682219cfab852f4cfd8d62bc713ebb46b9dbceb99c592a270251ce810986a9",
"git_blob": "5a63f7f8661b3c2e3fa280ff0929c5369cbac856",
"git_mode": "100644"
},
{
"path": "implementation/manual_provider_driver_v1.py",
"bytes": 22382,
"sha256": "efdeaa05a025de9d457355052a18027c2ce5e1733ae3003d9de2e8782c45dea0",
"git_blob": "a6f1eb9763d275ea7b3722f934e45ecdf1e89cb2",
"git_mode": "100644"
},
{
"path": "validation/control-spec/ACTUAL-CONDITIONAL-ORACLE-v1.json",
"bytes": 3401,
"sha256": "cc4114c1baf4a56cd60991800424b66773041e6b33ab926b6979272d14240f2a",
"git_blob": "77591a153ed20d8e4118a8e0d1715f9dd97f2152",
"git_mode": "100644"
},
{
"path": "validation/control-spec/PURE-CONTROLS-FREEZE-v1.json",
"bytes": 4790,
"sha256": "c9d930f5281b608911857f8b82d12110bbd8510157e1fe6ba6d14c312535f50f",
"git_blob": "04819cfbac8777b58194cb9deae2f9e86c91b60b",
"git_mode": "100644"
},
{
"path": "validation/controls/test_fixedmanual_provider_driver_v1.py",
"bytes": 10000,
"sha256": "d3a924a5d8ca48eadfdbf2bfdf3ee709860d43be4103564080c8c60615f1b4eb",
"git_blob": "56ba07c2908c301e1f34be41dfe3a853fbfecac7",
"git_mode": "100644"
}
]
}
48 changes: 48 additions & 0 deletions research/h25-manual-bootstrap-acquisition/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@
# Manual pre-entry acquisition: source and decisive negative observation

One genuine normal-mode execution acquired and verified the selected real C2 exclusive lease, then observed that the entire source-fixed financial directory `outputs/h25-data-handling-20261028/control/prospective-financial-v1` was absent. The planned outcome was `HEAD_ABSENT`, exit 78, with known once-only `CLOSE_RETURNED` cleanup, no primary error and no IO uncertainty. Independent AI review accepted this point-in-time negative observation. The round closed; no optimized native run or retry followed.

The contribution adds a fixed one-shot pre-entry driver and 26 new behavioral controls. Each method passed once in normal mode and once under `-O`: 52 observations, zero failures/errors/skips, independently read back against exact source and raw result hashes. The genuine diagnostic is separate from those pure controls. It made two actual C2 EX observations, enabled neither prepare nor dispatch, created zero financial records, and did not initialize a ledger. HEAD absence neither proves all debt/orphans absent nor supplies generation-zero permission, a valid predecessor, a continuing lease, or positive original qualification.

## Contents and dependencies

- `implementation/manual_provider_driver_v1.py`: 22,382 bytes, SHA256 `efdeaa05a025de9d457355052a18027c2ce5e1733ae3003d9de2e8782c45dea0`.
- `validation/controls/test_fixedmanual_provider_driver_v1.py`: 10,000 bytes, SHA256 `d3a924a5d8ca48eadfdbf2bfdf3ee709860d43be4103564080c8c60615f1b4eb`, 26 behavioral methods. Preserve this package layout.
- `implementation/BOOTSTRAP-SPEC-v30.json`: 8,447 bytes, SHA256 `c6682219cfab852f4cfd8d62bc713ebb46b9dbceb99c592a270251ce810986a9`.
- `evidence/RESULT-HASH-SUMMARY.json`: public outcome/count/hash projection; raw native EX/FD/birth/financial/census records remain local. The complete native receipt is 2,302 bytes, SHA256 `3550996417206e03738a988715ee32c3f3e4dff04f726b345ea156582c716035`.
- `evidence/review/`: technical source, pure-result and actual native-result review, plus the timing correction. AI review is not human or proof-kernel acceptance.
- `consultation/`: complete rendered Pro response and its public source links; private ChatGPT transport and screenshots are excluded.

[PR #6709](https://github.com/CrocSwap/integer-mult-bounds/pull/6709), exact head `24417a34746985dd110d70a42b2b863b96963c12`, supplies seven existing implementation modules and thirteen inert donor bodies (893,714 bytes total), not duplicated here. `EXTERNAL-DEPENDENCIES.json` maps all twenty to byte counts, SHA256, raw Git blob IDs and exact public links. The seven exact source files were installed in a new source namespace; existing ancestors, the original lock and financial inputs were preserved. This separate main-based archive does not claim that external commit as an ancestor or that source availability is runtime admission.

The driver retains actual startup/loader handles, acquires actual C2 before any prepare, checks paired canonical nofollow ENOENT, and on a present branch preflights the full bounded permitted role graph before actual F4 reading. It rejects stale/pending/unknown state and preserves first error and cleanup uncertainty. Its combined bound is 4,096 files/16 MiB; this is a stated narrower read policy, not a universal max-domain claim. It is only one-shot bootstrap, not a complete persistent Tool/manual IPC bridge. Absolute subject/source bindings identify the reviewed local subject; a fresh checkout needs a newly reviewed installation/profile binding. There is no automatic install/native replay, TASK or VERIFY hook.

## Verification and retained timing

From this package directory, `python3 -S -s -B check_integrity.py` performs only passive inventory/hash checks. It imports no candidate, controls or donor source and acquires no lease. `INVENTORY.json` excludes itself and `SHA256SUMS`; the checksum file additionally covers the inventory and excludes only itself. Git mode is 100644 for all files. Archive integrity is distinct from executable portability, full source-history availability and mathematical qualification.

Exact historical commands are DATA in `evidence/validation/PARENT-COMMANDS-v30.json`, not instructions for automatic replay. The parent ran the two new pure commands once and the actual normal diagnostic once, serially. CPython 3.12.3, isolated `-S -s -P -B`, fixed minimal environment, GNU timeout TERM 20s/KILL 2s, prlimit 1 GiB address space/20 CPU seconds/256 descriptors bounded the native command, with exclusive 0600 output files and fixed working directory. The unchanged old meter was not used as a watchdog.

| Observation | GNU wall | GNU CPU | Max RSS (reported kB) |
| --- | --- | --- | --- |
| 26 pure normal | 0.40 s | 0.38 s | 24,792 |
| 26 pure optimized | 0.31 s | 0.31 s | 24,664 |
| one genuine normal negative | 0.18 s | 0.14 s | 31,364 |

Driver-local native interval: 127,782,506 ns; parent Tool-reported wait wall: 0.071924388 s. These clocks have different scopes and remain separate. They provide no speedup or complete physical-cost claim.

The initial 05:29 UTC stop was enforced. Source review completed at 05:29:07, seven seconds late; retain the original review and immutable timing correction together. At 05:31:14 the parent explicitly reassessed under existing user authorization with unchanged source 05:39/review 05:51/hard 05:59 limits. It did not backdate a passing gate, reset stagnation or grant a new budget. The first control freeze describes an earlier interface snapshot; the later technical and cold/result reviews bind the final driver to the unchanged controls. Native qualification stopped negative at 05:36; source freeze was recorded at 05:38:46.

## Original completion and next task

S06.03, complete C05 and authentic V03 remain incomplete. Original weighted progress stays **43.5%: 22/49 activities, 2/10 full stage gates, 1/10 overall milestones, fixed 24 component and 52 helper denominators**. Added original credit is zero. Goal-service status is separately paused; original stagnation is UNKNOWN_NOT_RESET.

The next specific dependency is a separately reviewed generation-zero constructor and account built from genuine legacy state, all later known costs and the unknown frontier. The legacy opening is not a financial predecessor. Do not manufacture zero, erase costs, invent permissions or normalize uncertainty. Complete original native campaigns, eligible formal target, A4 owner/provider/START/reservation/settlement and independent resource/cost acceptance are still separate obligations. Original 120 controls are specifications, not a completed native harness; other missing families retain their audited status.

Conservative new policy debit is 100 seconds: source-copy installation 25, two new pure commands 50, one native command 25. Supplemental combined scope is 285.890533479 seconds; canonical historical scope remains 94.550533479 seconds. These scopes overlap and must not be added. Preparation, Pro, agents/review, cleanup, publication, hosted CI, final metadata and historical timing gaps remain OPEN_NOT_ZERO.

## Provenance and coordination

Main base: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`. Separate shared workflow repair [#6699](https://github.com/CrocSwap/integer-mult-bounds/pull/6699) is unchanged and not copied. Bounded related-PR research supplied reuse decisions, not a global novelty claim. Preserve Apache-2.0 and source-specific notices; credit Chris R/Clear1nsight, Douglas R. Colkitt, unpaidmoon/Cursor-Grok and original source/review contributors. Substantial ChatGPT Pro, OpenAI Codex and GPT-6.1 Sol Max implementation and independent AI review assistance is disclosed.

[Canonical handoff](https://github.com/CrocSwap/integer-mult-bounds/pull/6321#issuecomment-6592212681) and [short coordination pointer](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19363343). Publication grants no merge, scientific restart, new budget, schedule or selected-frontier change.
30 changes: 30 additions & 0 deletions research/h25-manual-bootstrap-acquisition/SHA256SUMS
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
705fd4d6451a31d36b3df7de96f83f30ac976c9b4a6d1e51671d8e2f33e2d0da .gitattributes
e692a3f42e11c20a0ea8c9a23d452be4c82a7545c50a9e361141219cd44e709f EXTERNAL-DEPENDENCIES.json
1a791e024d5ac386bb30648c53c4687b0588351b1163e9b1857945c950ba20f5 INVENTORY.json
76fc9aa5d7d169b73ea8da18e7cd0e54f6f605ff8a2dcf73d0434a3ad9b29db6 README.md
a1d3902f5e4397a735f0ca7f083773b79bb1459f186e137bd6631e50e54bbe39 check_integrity.py
7b12bb7173782a43e1e950eaf6a8cde1f9fa4cd9634ff9ea6495c669a45b461f consultation/RESPONSE-LINKS-v31.json
10c93ebdfdc925fefc3f6ff031353adaf536aaaf6543035af7f376262762265e consultation/RESPONSE-v31.txt
1ef638b3ff2855f1c6e713c50e2ce555de6b583eec1909c8f74b910bcbad9199 evidence/CONSULTATION-ASSESSMENT.json
8c7a98bc8cdffa3a88ac915664e6321a11334256877bdf57478fc93d0ba3424c evidence/RESULT-HASH-SUMMARY.json
234fe72ee6e065457f603539eb0fc469a3965c664fd35948d0a3146c443a2de9 evidence/control/EXPLICIT-REASSESSMENT-v30.json
73171c5b87239373a6a7f0f2b1c1349edfcf3dac74182228bd74e337e54a6dfb evidence/control/ROUND-CLOSE-v30.json
1ebb50f8439cee21cd5aebaca9b888b92f995212c9d3a43f52e5d3695ed44935 evidence/control/SOURCE-FREEZE-AND-NATIVE-STOP-v30.json
b87cac1b424f603aa95e8e2a1a555db4b3e42021624972bcd531e78ae94efce7 evidence/review/DRIVER-REVIEW-TIMING-CORRECTION-v1.json
1b855fb524845c5efc936ed933fa6d9b09c18111e3e07a45f797f6aaf526a9c6 evidence/review/DRIVER-SOURCE-AND-CAMPAIGN-GO-v31.json
67d7ccddda23bf562f512b1d8fa76fdaa428eb4d751186e5654ffa07b8e25785 evidence/review/INSTALLER-SOURCE-GO-v31.json
e50b9cae2a6d12d10053f19e81bcc16f748b7920d397e22bd457a85298e789b8 evidence/review/NATIVE-RESULT-REVIEW-v30.json
5fbd2a75a6e5d8893aec71a126aa02c74f86261e87b11ba90a2c0bcfbe24ba55 evidence/review/PURE-RESULT-AND-NORMAL-TECHNICAL-GATE-v30.json
ad3a3ef495e0505a7e0dd382c2b6fa570075d6928c8937118c64e27ed685aa3b evidence/validation/FINAL-COLD-INVENTORY-v30.json
bad02d3372474c79965eaada6fc289616c36ffcd951742c6874c46f571067a6f evidence/validation/PARENT-COMMANDS-v30.json
168e2d37c419c6426ca668f971f5cb18070e3258dcb2feabd2b6744a230ace33 evidence/validation/pure-normal/gnu-time.txt
4dbdf9823c912eb6fa5837552f9ca816499d3e862983a4961ddcf876c85c74a8 evidence/validation/pure-normal/stderr.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 evidence/validation/pure-normal/stdout.txt
b2d2279256f72000e25783025eba490b534639c9394648adbee6de1407e742c7 evidence/validation/pure-optimized/gnu-time.txt
afc647712a804d4e15ab49327e9f9e3cb1aee48da3b39afd4914788e172b5f05 evidence/validation/pure-optimized/stderr.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 evidence/validation/pure-optimized/stdout.txt
c6682219cfab852f4cfd8d62bc713ebb46b9dbceb99c592a270251ce810986a9 implementation/BOOTSTRAP-SPEC-v30.json
efdeaa05a025de9d457355052a18027c2ce5e1733ae3003d9de2e8782c45dea0 implementation/manual_provider_driver_v1.py
cc4114c1baf4a56cd60991800424b66773041e6b33ab926b6979272d14240f2a validation/control-spec/ACTUAL-CONDITIONAL-ORACLE-v1.json
c9d930f5281b608911857f8b82d12110bbd8510157e1fe6ba6d14c312535f50f validation/control-spec/PURE-CONTROLS-FREEZE-v1.json
d3a924a5d8ca48eadfdbf2bfdf3ee709860d43be4103564080c8c60615f1b4eb validation/controls/test_fixedmanual_provider_driver_v1.py
Loading