Skip to content

python-math #47: docs+test(delphi): s7 conditions 4-6 evidence — EC2 measurement, equiv PASSes, NaN pin - #2676

Draft
jucor wants to merge 1 commit into
spr/edge/5747f8c9from
spr/edge/c5632ace
Draft

python-math #47: docs+test(delphi): s7 conditions 4-6 evidence — EC2 measurement, equiv PASSes, NaN pin#2676
jucor wants to merge 1 commit into
spr/edge/5747f8c9from
spr/edge/c5632ace

Conversation

@jucor

@jucor jucor commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator

What

Closing evidence for GOAL_CUTOVER_READY.md (the standing goal document for the Python math cutover), covering its numbered DONE conditions 4-6.

  • CUTOVER_RUNBOOK.md risk item 3 RESOLVED with the measured numbers (r8g.4xlarge EC2 instance, 33,422 participants x 783 comments, 2.0M votes): cold tick 519.6s, WARM tick 1856.0s (~31 min). Verdict: NOT serial-OK at the extreme shape — either the deterministic large-conversation path (runbook item 9) or a POLL_BLOCKLIST of the 7 historical zids (conversation ids) at that scale is required before they tick on Python. The flip itself is not blocked.
  • Journal: the battery pair plus zero-open-ledger evidence for condition 4 (the certification battery at 20/20 MATCH twice, divergence ledger 0 open); live equivalence full-run PASSes on the vw AND pc-meta-02 datasets for condition 5; the EC2 + local measurement records for condition 6; review dispositions (the python-math #33: docs(delphi): overnight pre-cutover audit (s6) — CUTOVER_RUNBOOK + journal #2659 finding was pre-fixed by the mode collapse; python-math #34: fix(delphi): Copilot-review triage batch — 16 findings across the stack #2663 is sound); and the Copilot-credits correction.
  • python-math #34: fix(delphi): Copilot-review triage batch — 16 findings across the stack #2663 review pin applied: test_euclidean_propagates_nan_instead_of_clamping — NaN must propagate through the legacy _euclidean distance; the old max(0.0, d2) silently ate it — plus a ledger addendum for quirk Q11 (the legacy kmeans distance formula's cancellation makes near-coincident points tie at exactly 0.0, and those ties decide cluster merges).

commit-id:c5632ace


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/c5632ace branch from d982c35 to 703e154 Compare July 28, 2026 00:11
@jucor
jucor force-pushed the spr/edge/5747f8c9 branch from cdd53ea to 55b1c20 Compare July 28, 2026 00:12
@jucor jucor changed the title docs+test(delphi): s7 conditions 4-6 evidence — EC2 measurement, equiv PASSes, NaN pin python-math #47: docs+test(delphi): s7 conditions 4-6 evidence — EC2 measurement, equiv PASSes, NaN pin Jul 28, 2026
…measurement, equiv PASSes, NaN pin

## What

Closing evidence for `GOAL_CUTOVER_READY.md` (the standing goal document for the Python math cutover), covering its numbered DONE conditions 4-6.

- `CUTOVER_RUNBOOK.md` risk item 3 RESOLVED with the measured numbers (r8g.4xlarge EC2 instance, 33,422 participants x 783 comments, 2.0M votes): cold tick 519.6s, WARM tick 1856.0s (~31 min). Verdict: NOT serial-OK at the extreme shape — either the deterministic large-conversation path (runbook item 9) or a `POLL_BLOCKLIST` of the 7 historical zids (conversation ids) at that scale is required before they tick on Python. The flip itself is not blocked.
- Journal: the battery pair plus zero-open-ledger evidence for condition 4 (the certification battery at 20/20 MATCH twice, divergence ledger 0 open); live equivalence full-run PASSes on the `vw` AND `pc-meta-02` datasets for condition 5; the EC2 + local measurement records for condition 6; review dispositions (the #2659 finding was pre-fixed by the mode collapse; #2663 is sound); and the Copilot-credits correction.
- #2663 review pin applied: `test_euclidean_propagates_nan_instead_of_clamping` — NaN must propagate through the legacy `_euclidean` distance; the old `max(0.0, d2)` silently ate it — plus a ledger addendum for quirk Q11 (the legacy kmeans distance formula's cancellation makes near-coincident points tie at exactly 0.0, and those ties decide cluster merges).

commit-id:c5632ace
@jucor
jucor force-pushed the spr/edge/c5632ace branch from 703e154 to 1121889 Compare July 28, 2026 01:10
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