ILE: add accurate reflected Q time pregrid - #189

Closed

oshaughnessy-junior wants to merge 97 commits into

oshaughn:rift_O4dfrom

oshaughnessy-junior:codex/q-reflected-pregrid

Commits on Sep 3, 2026

Expose derived u-node sizing for the JAX fallback cell, and state the limit

oshaughnessy-junior
and
claude
committed
7d7b203
Correct the stale 'can only add nodes' claim in the JAX fallback comment

oshaughnessy-junior
and
claude
committed
ec8e333
jax gate: set the collection floor to the MEASURED 311, not the arithmetic 308

oshaughnessy-junior
and
claude
committed
91f523f
Design note: promote two measured failures to stated anti-goals

oshaughnessy-junior
and
claude
committed
5676d66
jax gate: 310, read from the CI job's own log

oshaughnessy-junior
and
claude
committed
1a4ce1a
A certified-complete cover was 0.36 nats wrong INSIDE it, on the production tables

oshaughnessy-junior
and
claude
committed
fc892a2
Two stale comments beside working code, both found by a reader and not by a test

oshaughnessy-junior
and
claude
committed
0892746
Scope the 1.335 crossover ratio: my own replacement comment overclaimed it

oshaughnessy-junior
and
claude
committed
1af3497
Rung 1 measured: exact at BOTH caps -- and my new counter overstated what it means

oshaughnessy-junior
and
claude
committed
d8f390e
Two SECOND COPIES of claims I corrected earlier today, one of them 14 lines from its own retraction

oshaughnessy-junior
and
claude
committed
a73fa10
Design note: the operational form of the stale-comment rule

oshaughnessy-junior
and
claude
committed
bcc0946
Name the denominator on 7.07x -- the defect that block exists to guard against

oshaughnessy-junior
and
claude
committed
0661048
Counting, not rereading: the sweep found a split spelling that defeats the grep

oshaughnessy-junior
and
claude
committed
7129f6e
Sweep by VALUE: a string-grouped sweep hides multi-spelling from itself

oshaughnessy-junior
and
claude
committed
406fbf0
Design note: one rule behind three of this week's failures

oshaughnessy-junior
and
claude
committed
21fc9e6
Design note: a compression of verified facts is a new claim

oshaughnessy-junior
and
claude
committed
6f86239
Remove a benchmark against a RETRACTED number from a shipped docstring

oshaughnessy-junior
and
claude
committed
d4db43b
Address automated review findings for PR #246
Session Router Gate
committed
28fcd5e
Review P1s: revert an automated wiring that broke CI, and fix the guard it exposed

oshaughnessy-junior
and
claude
committed
9f72a94

Commits on Sep 4, 2026

Fix the three tests the CI census found BROKEN, and gate the two that can be

oshaughn
and
claude
committed
f3aaaec
Review P2: make the single source of truth actually read by both sides

oshaughnessy-junior
and
claude
committed
e26fc9a

Commits on Sep 5, 2026

jax_gp: let the package import without jax, so the skip guards can fire

oshaughn
and
claude
committed
d88b30b
Resolve production fallback quadrature without growing live memory
oshaughnessy-junior
committed
30705bb
jax_gp: make the package importable without jax, so the skip guards can run

oshaughn
and
claude
committed
d830f37
Merge pull request #246 from oshaughnessy-junior/rift_O4d_joint_u_fallback_resolution
oshaughnessy-junior
authored
d819208
Merge pull request #248 from oshaughnessy-junior/claude/fix-broken-roster-tests
oshaughnessy-junior
authored
314d53a
anglemarg: derive the eval-buffer cap from the device instead of assuming 4 GiB

oshaughnessy-junior
and
claude
committed
413936a
Merge rift_O4d: keep #246's n_u_live sizing and the device-aware buffer target

oshaughnessy-junior
and
claude
committed
3df59bd
anglemarg: relax the buffer fraction to 0.5 and make it overridable

oshaughnessy-junior
and
claude
committed
c209368
anglemarg: bound Laplace sample-time working slab
oshaughn
committed
e13f2d3
jax_ile: prototype primitive-first time peak-local cover
oshaughn
committed
1aa03e9
jax_ile: add opt-in budgeted marginalization planner
oshaughn
committed
5c91968
ci: gate direct marginalization planner tests
oshaughn
committed
43f0066
Register the buffer-cap test with the job that actually runs it

oshaughnessy-junior
and
claude
committed
04cc6b0
time marg: reduce bandlimited AV CPU overhead
oshaughn
committed
cd9a3c5
JAX phi-localization: both axes local, jittable, and the wall clock goes FLAT

oshaughnessy-junior
and
claude
committed
8941cda
JAX phi merge: split at the seam, as the numpy path had to

oshaughnessy-junior
and
claude
committed
2396a1d
Review P1: u_profile classified a CLIPPED Newton point as a peak from curvature alone

oshaughnessy-junior
and
claude
committed
6ad2968
Review P1: give phi_local_lnI a real certificate -- and it shows the design does not pay

oshaughnessy-junior
and
claude
committed
de8f1b5
Correct the open question I recorded an hour ago: the grid is the problem, not the variance

oshaughnessy-junior
and
claude
committed
1213c4f
Correct the symmetry mechanism I shipped: it is k-odd and (phi+pi, u), not (phi+pi, u+pi)

oshaughnessy-junior
and
claude
committed
aac945d
Third correction to the same claim: the group is order 4, generated by (phi+pi/2, u+pi)

oshaughnessy-junior
and
claude
committed
c603bb9
Withdraw the phi cost conclusion: this localizes on F, but g has an exact mode warrant

oshaughnessy-junior
and
claude
committed
4461bfc
phi DOES have an algebraic warrant -- via g, not via F. Exact 2-D enumeration, validated

oshaughnessy-junior
and
claude
committed
11a195f
JAX algebraic phi seeds: complete, validated on Blackwell -- and DEFAULT OFF, with the reason

oshaughnessy-junior
and
claude
committed
1a80a50
A full cover is not a correct answer: gate the accept on measured convergence

oshaughnessy-junior
and
claude
committed
bd5c0b2
jax gate: floor to the MEASURED 324 after rebasing onto the streaming fix

oshaughnessy-junior
and
claude
committed
4cff518
Address automated review findings for PR #252
Session Router Gate
committed
8d52b52
Address automated review findings for PR #252
Session Router Gate
committed
9494b11
Wiring suite: 1006s -> 376s by dropping a boost that bought no wiring coverage

oshaughnessy-junior
and
claude
committed
bf4ab47
time marginalization: refine only unresolved AV rows
oshaughn
committed
70599f1
jax_ile: resolve method declines with explicit fallback
oshaughn
committed
d9a42dc
jax_ile: algebraically enumerate joint angle maxima
oshaughn
committed
19da0e8
docs: qualify JAX anglemarg allocation model
oshaughn
committed
50f470f
Register the algebraic tests with a CI job: they existed and never ran

oshaughnessy-junior
and
claude
committed
dfe1d3a
ci: include planner fallback regressions
oshaughn
committed
b810cf9
Merge commit '9494b1183e97d567a5f5d713d8085d02ff59cee8' into codex/marginalization-integration
oshaughn
committed
47ddb50
ci: account for planner review regressions
oshaughn
committed
7c0962b
ile: make phase-mode guard GPU representation independent
oshaughn
committed
476145c
Address review of #250: the floor, the override, and a test that could not fail

oshaughn
and
claude
committed
0104ebb
Adversarial review: it was not an enumeration. FFT sign, and six more

oshaughnessy-junior
and
claude
committed
27b7514
Mutation sweep on the #250 guards: one survivor, now killed

oshaughn
and
claude
committed
ac58aef
jax_ile: fail closed on unfit angle batches
oshaughn
committed
489ec31
Guard peak-local fallback certification
oshaughn
committed
6e2e4e2
Merge remote-tracking branch 'refs/remotes/github/rift_O4d_anglemarg_device_aware_cap' into codex/marginalization-integration
oshaughn
committed
b395979
time marg: prune reflected FFT to retained grid
oshaughn
committed
be93e26
time marg: record retained FFT production validation
oshaughn
committed
f609223
Adversarial review round 2: the halving check could not see its own error

oshaughnessy-junior
and
claude
committed
0357e3f
Review P1/P2 on #250: the bound was not a bound, and the CI floor was 30 low

oshaughn
and
claude
committed
0cf4c03
Confirm the 369 floor off the gate's own collection line

oshaughn
and
claude
committed
37f0f98
Address automated review findings for PR #250
Session Router Gate
committed
1aafa69
NoLoop: hoist source-only geometry out of the detector loop (-22% at 3 IFOs)

oshaughnessy-junior
and
claude
committed
336bb2c
Merge latest device-aware cap into marginalization integration
oshaughn
committed
3e263c5
Merge refreshed marginalization integration into retained FFT validation
oshaughn
committed
703007e
Merge pull request #252 from oshaughnessy-junior/codex/marginalization-integration
oshaughnessy-junior
authored
14d1efd
Merge pull request #254 from oshaughnessy-junior/codex/bandlimited-retained-fft-validated
oshaughnessy-junior
authored
21893fa
CI: enroll marginalization tests in integration gates
oshaughn
committed
515f027
Nest the phi grid, and stop calling the phi gates a certificate

oshaughnessy-junior
and
claude
committed
9b100b8
NoLoop: stop materializing rho_sq and stop zero-filling kappa_sq (-15% more)

oshaughnessy-junior
and
claude
committed
5c74dc9
Address automated review findings for PR #255
Session Router Gate
committed
ebb4b58
NoLoop: evaluate the time integral as a cached weight matvec (-15% more)

oshaughnessy-junior
and
claude
committed
2cf87e1
test: check physical amplitude invariance
oshaughn
committed
a04caef
Merge pull request #250 from oshaughnessy-junior/rift_O4d_anglemarg_device_aware_cap
oshaughnessy-junior
authored
397273b
Merge PR 250 and drop the duplicate enumerator it supersedes

oshaughnessy-junior
and
claude
committed
74e05b9
angle marg: finish QZ root polishing
oshaughn
committed
ce5b504
Merge pull request #257 from oshaughnessy-junior/codex/pr250-newton-cap
oshaughnessy-junior
authored
da8de00
Merge remote-tracking branch 'origin/rift_O4d' into rift_O4d_joint_phi_local_jax
oshaughnessy-junior
committed
2febe7d
Merge pull request #247 from oshaughnessy-junior/rift_O4d_joint_phi_local_jax
oshaughnessy-junior
authored
0baf4fd
Merge pull request #255 from oshaughnessy-junior/claude/noloop-hoist-per-detector-glue
oshaughnessy-junior
authored
91f62c9
Merge remote-tracking branch 'junior/rift_O4d' into claude/noloop-rho-sq-broadcast
oshaughnessy-junior
committed
b7d1e72
Register test_noloop_accumulator_shapes.py with core-unit-check

oshaughnessy-junior
and
claude
committed
6570f7d
q-window-stencil-check: exclude the accumulator test, with the reason

oshaughnessy-junior
and
claude
committed
70421ea
Address the adversarial review: the tests could not fail, and one allocation was sized wrong

oshaughnessy-junior
and
claude
committed
32b3a63
Merge pull request #256 from oshaughnessy-junior/claude/noloop-rho-sq-broadcast
oshaughnessy-junior
authored
eedf7a8

Commits on Sep 6, 2026

Add opt-in reflected Q time pregrid
oshaughn
committed
964cb4e
Harden reflected Q pregrid failover and phase handling
oshaughn
committed
9a6ef84
Release pregrid OOM traceback state
oshaughn
committed
7a42bf0