Skip to content

prompt: complete jax-grad-local-vs-ci-assertions — PyAutoArray#471 merged - #262

Merged
Jammy2211 merged 1 commit into
mainfrom
claude/jax-grad-assertions-ci-hontn3
Aug 22, 2026
Merged

Jammy2211 merged 1 commit into
mainfrom
claude/jax-grad-assertions-ci-hontn3

Conversation

@Jammy2211

Copy link
Copy Markdown
Collaborator

The fix merged (PyAutoLabs/PyAutoArray#471 → 2a6a416), so the task advances active/ → complete/2026/08/ and leaves active.md.

Written by lifecycle.py record, not by hand. lifecycle check: OK, lifecycle index: OK, dashboard regenerated.

What the record preserves

  • The falsification. The prompt's prime suspect (numpy 2.2.6 vs 2.4.6) is dead: lp.py is byte-identical across numpy 2.2.6 / 2.4.6 / 2.5.2 and across 1-core vs 4-core. The likelihood runs through JAX/XLA; numpy only does the FD bookkeeping.
  • Why "not the small-datasets cap" was ruled out wrongly — that check verified the resolved env, which was correct; the damage was baked into the FITS on disk by an earlier run, where no env check can see it.
  • Four traps found during adversarial review, two of which would have shipped a worse bug than the one being fixed (a data.fits-by-name check is mandatory — a glob would delete every PSF-carrying dataset every run; and the predicate must be == not <=).
  • That no tolerance was changed, and specifically that assert_eager_jit_consistent's rtol=1e-10 — the obvious thing to widen — is vindicated rather than under-specified.
  • The imaging-only scope limit, so the next person doesn't assume the whole bug class is closed.
  • Three follow-ups, one still unfiled (the stale jax<0.7 pin in smoke_install.sh, where CI is getting the right jax by accident).

🤖 Generated with Claude Code

https://claude.ai/code/session_01VEHLT33XpVcRt5YCJGLRMJ


Generated by Claude Code

…rged

The fix landed (PyAutoArray#471 -> 2a6a416), so the task advances
active/ -> complete/2026/08/. Record carries the falsification of the numpy
hypothesis, the reproduction, the four traps found during adversarial review,
the imaging-only scope limit, and the three follow-ups.

Co-Authored-By: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VEHLT33XpVcRt5YCJGLRMJ
@Jammy2211
Jammy2211 merged commit 383480b into main Aug 22, 2026
2 checks passed
Jammy2211 pushed a commit that referenced this pull request Sep 14, 2026
…lus the profiling-drift clear

/prm over a stack of seven autolens_profiling PRs merged in base order on
2026-09-14: #250 (phase 0), #252 (1), #254 (2), #256 (3), #258 (4), #260 (5,
the verdict) and #262 (Heart profiling-drift clear). Issues #248, #251, #253,
#255, #257, #259 and #261 closed; every branch proved an ancestor of main
before recording.

Seven completion records written and their prompts folded out of active/. The
`fixed-lens-light-profiling` epic is COMPLETE and retired to
complete/archive/epics/; its one open gap — the twelve phase-5 A100 legs the
RAL publickey refusal blocked — survives as an ideas.md bullet, not as an
active claim.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Hv5vizr6un6MVNRiuwB35u
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants