Skip to content

Research: flag-9 I−G/2 end-cut side correction attains +2 rank mass (no new kappa) #3618

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 20, 2026
Merged

Research: flag-9 I−G/2 end-cut side correction attains +2 rank mass (no new kappa) #3618

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
f2c20bc
Research: flag-9 I-G/2 end-cut side-correction bill attains +2 (no ne…
VictorLiwentao Oct 18, 2026
240e147
Record flag-9 side-correction bill tip SHA and PASS receipt.
VictorLiwentao Oct 18, 2026
c64ebb5
Fill branch tip SHA in flag-9 side-correction MASTER-HANDOFF.
VictorLiwentao Oct 18, 2026
ca38a60
Finalize MASTER-HANDOFF for flag-9 end-cut side-correction bill.
VictorLiwentao Oct 18, 2026
89dbb7c
Point MASTER-HANDOFF Tip at prior branch HEAD.
VictorLiwentao Oct 18, 2026
0c4b735
Restore Tip line in MASTER-HANDOFF.
VictorLiwentao Oct 18, 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
1,899 changes: 1,899 additions & 0 deletions research/p104-flag9-side-correction-bill/CERTIFICATE.json
View file
Open in desktop

Large diffs are not rendered by default.

306 changes: 306 additions & 0 deletions research/p104-flag9-side-correction-bill/CORRECTION-RECIPES.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,306 @@
{
"clifford_exact_sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
"compiler_sha256": "9d2fc2d81962ddb0b4dd7d6482d9918a87a6b05759690317dea79939ca5656a3",
"recipes": [
{
"new": [
256,
160,
96,
16,
8,
4,
2,
1
],
"old": [
256,
128,
64,
32,
16,
8,
4,
2,
1
],
"rank": 1,
"recipe": {
"left": {
"linear_Z4": [
2,
0,
0,
0,
0,
0,
0,
0,
0
],
"matrix_rows": [
2,
4,
8,
16,
32,
1,
64,
128,
256
],
"offset": 0,
"phase": 0,
"quadratic_rows": [
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"rank": 1,
"right": {
"linear_Z4": [
0,
0,
0,
0,
0,
0,
0,
0,
0
],
"matrix_rows": [
32,
1,
2,
4,
8,
16,
96,
160,
256
],
"offset": 192,
"phase": 1,
"quadratic_rows": [
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
}
},
{
"new": [
256,
128,
64,
32,
16,
8,
4,
2,
1
],
"old": [
256,
160,
96,
16,
8,
4,
2,
1
],
"rank": 1,
"recipe": {
"left": {
"linear_Z4": [
2,
0,
0,
0,
0,
0,
0,
0,
0
],
"matrix_rows": [
2,
4,
8,
16,
32,
65,
129,
1,
256
],
"offset": 0,
"phase": 0,
"quadratic_rows": [
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"rank": 1,
"right": {
"linear_Z4": [
0,
0,
0,
0,
0,
0,
0,
2,
0
],
"matrix_rows": [
160,
1,
2,
4,
8,
16,
128,
192,
256
],
"offset": 65,
"phase": 0,
"quadratic_rows": [
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
}
},
{
"new": [
256,
128,
64,
32,
16,
8,
4,
2,
1
],
"old": [
256,
168,
5
],
"rank": 6,
"recipe": {
"left": {
"linear_Z4": [
3,
2,
3,
2,
3,
2,
0,
0,
0
],
"matrix_rows": [
65,
2,
1,
132,
8,
16,
32,
20,
256
],
"offset": 0,
"phase": 0,
"quadratic_rows": [
1,
0,
20,
0,
20,
0,
0,
0,
0
]
},
"rank": 6,
"right": {
"linear_Z4": [
0,
2,
0,
0,
2,
0,
2,
1,
0
],
"matrix_rows": [
1,
2,
8,
16,
160,
64,
4,
128,
256
],
"offset": 239,
"phase": 3,
"quadratic_rows": [
4,
0,
1,
128,
0,
128,
0,
168,
0
]
}
}
}
],
"schema_version": 1,
"scope": "Native recipes for the transport edges used by flag-9 end-cut corrections T, S, P and T48 that are absent from the published p104-native-channel recipe set. Lowered with the pinned compile.py / vendor/clifford_exact.py; checked by the published check_native.validate() during replay."
}
50 changes: 50 additions & 0 deletions research/p104-flag9-side-correction-bill/MASTER-HANDOFF.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
# MASTER-HANDOFF — flag-9 end-cut side-correction bill

## Claim (one sentence)

On the published P104 native word, flag 9's `I−G/2` entry `(23,4)` (`G=−1` ⇒ `+1/2·X4` into `Y23`) costs exactly **+2** non-private rank mass at the end-cut (attained by T/S/T48); private-copy P costs **+1**; feeder `X58:333` at leave 745 blocks all 25 zero-mass insertion classes (consistent with open #3614).

## Tip / base

- Base: `20ecf2891d80b5acf18d980b2164fb44ea7faa90` (CrocSwap `main`)
- Branch: `cursor/flag9-side-correction-bill-30d6` (VictorLiwentao fork)
- Tip: `89dbb7ced3b892ce030d31e4027eb9cba73af173`
- Content tip: `f2c20bc4d82558bb4ff280a49814e70778816e96` (package body)
- Package: `research/p104-flag9-side-correction-bill/`
- All VERIFY commands PASS (including `PASS_REGISTERED_RESEARCH_PACKAGE`).

## PASS lines

```text
PASS_P104_FLAG9_SIDE_CORRECTION_BILL flag=9 entry=(23,4) gram=-1 coefficient=+1/2 zero_mass_placements=0/25 forcing=X58(333)@leave745 strict_min_added_rank=2 T=+1transport+1add+2rank(H1-H5+H6) S=+2transport+1add+2rank(2H1) P=+1transport+1add+1rank(H1)+1private_lifetime T48=+1transport+48add+2rank row23=identity native_validate=4/4 published_end_cut no_new_kappa
PASS_P104_FLAG9_SIDE_CORRECTION_BILL_INDEPENDENT entry=(23,4) coefficient=+1/2 zero_mass_placements=0/25 early_private_deliveries_obstructed=7/7 forcing_head=333(X58)@leave745 T=+2rank S=+2rank P=+1rank T48=+2rank rows_changed=Y23_only row23=identity new_recipes=3 no_new_kappa
PASS_P104_FLAG9_SIDE_CORRECTION_BILL_TESTS cases=14 clean_read_only=1 scanners=2
PASS_REGISTERED_RESEARCH_PACKAGE research/p104-flag9-side-correction-bill outcome=completed
```

## Commands

```sh
python3.12 -I -B research/p104-flag9-side-correction-bill/verify.py
python3.12 -I -O -Werror -B research/p104-flag9-side-correction-bill/verify.py
python3.12 -I -O -Werror -B research/p104-flag9-side-correction-bill/independent.py
python3.12 -I -O -Werror -B research/p104-flag9-side-correction-bill/test_package.py
python3.12 -B scripts/research_package.py --package research/p104-flag9-side-correction-bill
```

## Soft-overlap risks

- Template kinship with open [#3601](https://github.com/CrocSwap/integer-mult-bounds/pull/3601) / [#3610](https://github.com/CrocSwap/integer-mult-bounds/pull/3610) (T/S/P/T48 / Tend bill shape). **Novelty bar met:** flag-9-specific attaining words on the published chronology, coefficient `+1/2`, cut 3489 / A3, three new recipes `A3→FULL` + `FULL↔F23`, feeder `X58:333@745` with 25/25 obstruction recomputed, private 7/7 early blocks. Not a rename-only clone.
- Open [#3614](https://github.com/CrocSwap/integer-mult-bounds/pull/3614): feeder/obstruction cited as leave-alone and recomputed; no certificate import; does not reopen deferred head-step repair.
- Leave-alone: #3601, #3610, #3614, #3532, #3508, #3443 (chronology cited only).

## Open questions

1. Is private-copy P admissible, or must correction lifetimes be uncomputed?
2. If a co-hosted flag-9 repair later lands, does +2 discount?
3. Full-row (~48) forcing census on Y7/Y23/Y59 — #3614 OQ1.

## Attribution

Prepared by Wentao Li <wentaol4@illinois.edu> with substantial AI assistance.
No CrocSwap PR opened by this worker; master publishes.
19 changes: 19 additions & 0 deletions research/p104-flag9-side-correction-bill/NOTICE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
# Notice

This package applies explicit end-cut corrections to the published P104 native
channel word in memory and checks them with the published native checker and a
second scanner. It does not modify frozen upstream sources. The three recipes
in `CORRECTION-RECIPES.json` were lowered with the pinned
`research/p104-native-channel/compile.py` and `vendor/clifford_exact.py`
(PR1991 lineage, Chafik Boukhalfa), whose notices are retained in that package.

Open [#3614](https://github.com/CrocSwap/integer-mult-bounds/pull/3614),
[#3601](https://github.com/CrocSwap/integer-mult-bounds/pull/3601),
[#3610](https://github.com/CrocSwap/integer-mult-bounds/pull/3610),
[#3532](https://github.com/CrocSwap/integer-mult-bounds/pull/3532) and
[#3508](https://github.com/CrocSwap/integer-mult-bounds/pull/3508) are
leave-alone citations. The deferred flag-9 head-step repair is not reopened.

Prepared by Wentao Li <wentaol4@illinois.edu> with substantial AI assistance.
Apache-2.0; predecessor notices and exact source pins are retained in
`SOURCES.json`.
Loading