Skip to content

Bound compiler width by exp(O(N log N)) and route overlapping ranks #4436

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 6 commits into from
Oct 22, 2026
Merged

Bound compiler width by exp(O(N log N)) and route overlapping ranks #4436

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
d08decf
Begin direct overlapping-rank compiler with explicit integer width bo…
zxv Oct 21, 2026
3e50dab
Bound the completed word and inherited precision constants without ma…
zxv Oct 21, 2026
199ced5
Verify expanded raw-column accounting and record standalone checks
zxv Oct 21, 2026
daa0276
Record authorized publication of partial compiler checkpoint
zxv Oct 21, 2026
a805e13
Merge remote-tracking branch 'origin/main' into codex/direct-mixed-flow
zxv Oct 21, 2026
5600368
Align status and CI navigation with selected PR4359
zxv Oct 21, 2026
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
19 changes: 19 additions & 0 deletions docs/ci-verification.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,25 @@
Start with the [selected record](../certificates/selected-result.json). Its
`reproduce`, `review`, `source_manifest` and `validation` fields identify the
replay command, scoped assessment, source bindings and integration evidence.
The selected checkpoint is #4359, documented in
[the proof review](research/pr-intake-evidence/pr4359/PROOF-REVIEW.md),
[the source manifest](../certificates/frontier4359-source.json) and
[the validation receipt](research/pr-intake-evidence/pr4359/VALIDATION.json).
The public cold replay is `make frontier4359-verify`; the configured
[frontier4359 workflow](../.github/workflows/frontier4359.yml) executes it
on Ubuntu 24.04 with Python 3.12 and the pinned requirements. Consult
[the integration receipt](research/pr-intake-evidence/pr4359/INTEGRATION.json)
and [workflow runs](https://github.com/CrocSwap/integer-mult-bounds/actions/workflows/frontier4359.yml)
for dated evidence and exact tested heads.

`make selected-record-check` checks metadata and source/proof hashes. The
finite replay and changed-interface review retain the native/physical,
analytic, precision, fixed-tape and recovery hypotheses in the selected
record; they are not a full formal multiplication theorem. The winning
uniform templates are algorithm-defined and are not materialized.

## Historical checkpoint through #1094

At this checkpoint, the selected composition is #589 with #1094, documented in
[the review](research/community-batch1099-review.md),
[the source manifest](../research/community-frontier1094-audit/SELECTED-SOURCE.json)
Expand Down
6 changes: 4 additions & 2 deletions docs/research/current-status.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,14 @@
# Current reviewed status

Selected conditional κ: **0.0023 = 23/10000**, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage.
Selected conditional κ: **0.0023** = 23/10000, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage.

[Selected record](../../certificates/selected-result.json) · [Proof review](pr-intake-evidence/pr4359/PROOF-REVIEW.md) · [Integration receipt](pr-intake-evidence/pr4359/INTEGRATION.json) · [Contributors](community-productive4359-contributors.md).

Cold replay: `make frontier4359-verify`. The fresh 23-stage replay and 59 normalized artifacts pass; the changed interfaces have an AI-assisted proof review under retained analytic/native/fixed-tape hypotheses. Winning uniform templates are not materialized. This is not a complete formal or independent human verification. #4404 independently checks a narrower arithmetic/flow scope.

## Historical selected status through #1094
The sections below are a historical snapshot; consult the selected record above for present status.

## Historical checkpoint through #1094

Historical selected conditional κ: **0.001672660197076918**, Rohan Arun's #1094 on Jeremy Kothe's #1087 packing and the cumulative k8/slot/T16 construction. The bit supplier remains #589 on #555.

Expand Down
1 change: 1 addition & 0 deletions research/direct-mixed-flow/.gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
vendor/** -text -whitespace
Loading
Loading