Skip to content

fix: stale 'delphi' math_env values missed by the math-python rename (#2680 review) - #2682

Closed
jucor wants to merge 1 commit into
spr/edge/9547faa9from
spr/edge/28b8e7e7
Closed

fix: stale 'delphi' math_env values missed by the math-python rename (#2680 review)#2682
jucor wants to merge 1 commit into
spr/edge/9547faa9from
spr/edge/28b8e7e7

Conversation

@jucor

@jucor jucor commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator

commit-id:28b8e7e7


Stack:


⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

This was referenced Jul 27, 2026
This was referenced Jul 27, 2026
@jucor
jucor force-pushed the spr/edge/28b8e7e7 branch 5 times, most recently from 40f9b51 to edfadb5 Compare July 27, 2026 22:54
…udit

- The four stale 'delphi' math_env values the #2680 review caught
  (compose comment, design §4, runbook step 2 — which contradicted step
  1 mid-runbook, poller/__init__ docstring) → 'python'.
- Doc freshness audit (Julien request): item 9 marked (a) DONE
  (PR #2679, ~70x, bit-identical, verdict serial-OK) with (b) optional;
  item 10 marked DONE (PR #2673); item 12 added (persist warm-start
  state across restores — restart-induced K flips); queue header points
  at the improvements/* park bookmarks; Q11 row gains the vectorization
  addendum (ties preserved bit-exactly; dgemv/einsum rejected).
  Quirks-row "legacy mode" phrasings left as history — the preamble
  declares the collapse globally.

commit-id:98853895
@jucor
jucor force-pushed the spr/edge/28b8e7e7 branch from edfadb5 to a6e40b0 Compare July 27, 2026 22:59
@jucor

jucor commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator Author

Superseded by #2683 — spr re-minted the commit-id trailer when this commit's description was rewritten (same content; see #2683).

@jucor jucor closed this Jul 27, 2026
@jucor
jucor deleted the spr/edge/28b8e7e7 branch July 27, 2026 23:06
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.

1 participant