Skip to content

python-math #24: feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the deterministic full-PCA path - #2652

Draft
jucor wants to merge 1 commit into
spr/edge/a543ecf1from
spr/edge/7c20f8e1
Draft

python-math #24: feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the deterministic full-PCA path#2652
jucor wants to merge 1 commit into
spr/edge/a543ecf1from
spr/edge/7c20f8e1

Conversation

@jucor

@jucor jucor commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

Why

Quirk Q10 (delphi/docs/CLOJURE_QUIRKS.md): Clojure's conv-update switches to mini-batch partial-pca on an UNSEEDED Mersenne-Twister row sample when n-ptpts > 10000 or n-cmts > 5000 (conversation.clj:757-815) — so large conversations are not reproducible, and no deterministic reference exists on that path, not even between two Clojure runs. This is the root cause of the pakistan/engage/bg2050 mid-chain battery divergences, verified to switch at exactly the first divergent step on all three.

What

The replay driver now passes {:ptpt-cutoff :cmt-cutoff} = 10^9 into conv-update, so certification exercises the deterministic full-PCA path at every size (a math/dev/ change only — no math sources touched), and certify.py's acceptance notice logs the carve-out on every run, like Q7's (the subgroup carve-out). Python keeps full PCA at all sizes — no change needed there.

commit-id:7c20f8e1


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 22, 2026
@jucor
jucor force-pushed the spr/edge/7c20f8e1 branch from 86491f0 to c6cd32c Compare July 22, 2026 06:32
@jucor
jucor force-pushed the spr/edge/a543ecf1 branch from 474f3b5 to 1f8024a Compare July 22, 2026 06:32
@jucor jucor changed the title feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the deterministic full-PCA path feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the d… Jul 22, 2026
@jucor
jucor changed the base branch from spr/edge/a543ecf1 to edge July 22, 2026 06:50
@jucor jucor changed the title feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the d… feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the deterministic full-PCA path Jul 22, 2026
This was referenced Jul 25, 2026
@jucor
jucor force-pushed the spr/edge/7c20f8e1 branch from c6cd32c to 987801f Compare July 28, 2026 00:11
@jucor jucor changed the title feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the deterministic full-PCA path python-math #24: feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the deterministic full-PCA path Jul 28, 2026
… to certify the deterministic full-PCA path

## Why

Quirk Q10 (`delphi/docs/CLOJURE_QUIRKS.md`): Clojure's `conv-update` switches to mini-batch partial-pca on an UNSEEDED Mersenne-Twister row sample when n-ptpts > 10000 or n-cmts > 5000 (conversation.clj:757-815) — so large conversations are not reproducible, and no deterministic reference exists on that path, not even between two Clojure runs. This is the root cause of the pakistan/engage/bg2050 mid-chain battery divergences, verified to switch at exactly the first divergent step on all three.

## What

The replay driver now passes `{:ptpt-cutoff :cmt-cutoff}` = 10^9 into `conv-update`, so certification exercises the deterministic full-PCA path at every size (a `math/dev/` change only — no math sources touched), and `certify.py`'s acceptance notice logs the carve-out on every run, like Q7's (the subgroup carve-out). Python keeps full PCA at all sizes — no change needed there.

commit-id:7c20f8e1
@jucor
jucor force-pushed the spr/edge/a543ecf1 branch from 75df9d6 to f6346f7 Compare July 28, 2026 01:10
@jucor
jucor force-pushed the spr/edge/7c20f8e1 branch from 987801f to 8160d53 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.

2 participants