python-math #28: docs(delphi): R1-parity goal docs, journal (2026-07-18 → 07-24 s5), quirks + divergence ledger - #2626
Draft
jucor wants to merge 1 commit into
Draft
python-math #28: docs(delphi): R1-parity goal docs, journal (2026-07-18 → 07-24 s5), quirks + divergence ledger#2626jucor wants to merge 1 commit into
jucor wants to merge 1 commit into
Conversation
This was referenced Jul 18, 2026
Draft
jucor
marked this pull request as draft
July 18, 2026 02:43
jucor
force-pushed
the
spr/edge/90ba0c34
branch
2 times, most recently
from
July 18, 2026 13:35
be621f6 to
3615b9c
Compare
This was referenced Jul 18, 2026
Contributor
There was a problem hiding this comment.
Pull request overview
Adds/updates Delphi documentation capturing the 2026-07-17→18 overnight parity/poller work: a sequential warm-start behavior inventory/spec, a math-poller replacement design, and corresponding journal + plan status corrections.
Changes:
- Add
SEQUENTIAL_BITS_PORT_SPEC.mddocumenting Clojure cross-tick stateful behaviors and the Pythonclojure-legacyport plan. - Add
MATH_POLLER_DESIGN.mddescribing the Python poller service intended to replace the Clojure math container/poller (phase 1 + cutover plan). - Update the parity journal and discrepancy-fixes plan to reflect updated statuses and findings from the session.
Reviewed changes
Copilot reviewed 4 out of 4 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| delphi/docs/SEQUENTIAL_BITS_PORT_SPEC.md | New spec/inventory of Clojure warm-start state and port design for Python clojure-legacy mode. |
| delphi/docs/MATH_POLLER_DESIGN.md | New design doc for the Python math poller replacement and migration/cutover plan. |
| delphi/docs/PLAN_DISCREPANCY_FIXES.md | Updates discrepancy-plan rows (notably D1/D3/Replay) and corrects a previously stale item. |
| delphi/docs/CLJ-PARITY-FIXES-JOURNAL.md | Adds the overnight session entry documenting outcomes, retractions, and shipped work. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
jucor
force-pushed
the
spr/edge/90ba0c34
branch
2 times, most recently
from
July 21, 2026 11:11
c237ef1 to
3c4d7ca
Compare
Delphi Coverage Report
|
This was referenced Jul 25, 2026
Draft
Draft
Draft
Draft
python-math #43: docs(delphi): s7 goal state + journal — mode collapse executed, battery 20/20
#2672
Draft
Draft
Draft
Draft
…18 → 07-24 s5), quirks + divergence ledger ## What Documentation for the R1-parity goal (the standing goal that the Python math engine reproduces the legacy Clojure engine's results under replay), covering the overnight session of 2026-07-18: - `SEQUENTIAL_BITS_PORT_SPEC.md`: verified inventory of all 11 cross-tick stateful Clojure behaviors, plus the port design that became PRs A/B/D'/C/E. - `MATH_POLLER_DESIGN.md`: recon-verified inventory of the Clojure container's responsibilities, the phase-1 architecture for the Python math poller (the service that polls Postgres for new votes and runs math updates), and the cutover plan (shadow -> flip -> decommission). - Journal: full overnight session entry, including the in-conversation 67-vs-68/69 RETRACTION, the generator input-fidelity fix, the H-A/H-B experiment results (self-jitter floors, and the first cross-language gap measurement), the sequential-bits PRs A/B/D'/C/E, poller phase 1, and the golden-kit evaluation. - PLAN: D1/D3/Replay status rows updated; a stale ns-PASS "pending" entry corrected (it was resolved 2026-06-11). ## Extended across the R1-goal sessions of 2026-07-22 (sessions 1-4) and 2026-07-24 (session 5) - `GOAL_R1_PARITY.md` + `GOAL_STATE.md`: the standing autonomous goal (DONE criteria, method, session protocol) plus its live checkpoint. - `CLOJURE_QUIRKS.md`: the replicated-quirk ledger Q1-Q18. Session 5 adds quirk Q17 (k-means cluster-step distance ties resolve by Clojure's map iteration order) as PORTED, and quirk Q18 (uniqify merge-center exact-equality is value-dependent floating-point ulp luck) as CARVED out of certification, with real-vectorz evidence. - `divergences.json`: the divergence-fingerprint ledger with per-divergence diagnoses. Session-5 end state: 70 resolved + 11 carved-out (Q18), ZERO open. - Journal sessions 4-5: the moderation/restart ports, the restart-seam `from_dict` restore root-cause + fix, the Q17/Q18 fork resolution, the `pc-meta-02` battery-entry swap, and the certification battery at 20/20 MATCH on two consecutive passes — goal condition (1) met. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> commit-id:90ba0c34
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Documentation for the R1-parity goal (the standing goal that the Python math engine reproduces the legacy Clojure engine's results under replay), covering the overnight session of 2026-07-18:
SEQUENTIAL_BITS_PORT_SPEC.md: verified inventory of all 11 cross-tick stateful Clojure behaviors, plus the port design that became PRs A/B/D'/C/E.MATH_POLLER_DESIGN.md: recon-verified inventory of the Clojure container's responsibilities, the phase-1 architecture for the Python math poller (the service that polls Postgres for new votes and runs math updates), and the cutover plan (shadow -> flip -> decommission).Extended across the R1-goal sessions of 2026-07-22 (sessions 1-4) and 2026-07-24 (session 5)
GOAL_R1_PARITY.md+GOAL_STATE.md: the standing autonomous goal (DONE criteria, method, session protocol) plus its live checkpoint.CLOJURE_QUIRKS.md: the replicated-quirk ledger Q1-Q18. Session 5 adds quirk Q17 (k-means cluster-step distance ties resolve by Clojure's map iteration order) as PORTED, and quirk Q18 (uniqify merge-center exact-equality is value-dependent floating-point ulp luck) as CARVED out of certification, with real-vectorz evidence.divergences.json: the divergence-fingerprint ledger with per-divergence diagnoses. Session-5 end state: 70 resolved + 11 carved-out (Q18), ZERO open.from_dictrestore root-cause + fix, the Q17/Q18 fork resolution, thepc-meta-02battery-entry swap, and the certification battery at 20/20 MATCH on two consecutive passes — goal condition (1) met.Co-Authored-By: Claude Fable 5 noreply@anthropic.com
commit-id:90ba0c34
Stack: