Skip to content

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

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

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) — no deterministic reference exists on that
path, even between two Clojure runs (CLOJURE_QUIRKS.md Q10; root cause of
the pakistan/engage/bg2050 mid-chain battery divergences, verified to
switch at exactly the first divergent step on all three).

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

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
…eterministic full-PCA path

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) — no deterministic reference exists on that
path, even between two Clojure runs (CLOJURE_QUIRKS.md Q10; root cause of
the pakistan/engage/bg2050 mid-chain battery divergences, verified to
switch at exactly the first divergent step on all three).

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

commit-id:7c20f8e1
@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
@jucor
jucor changed the base branch from edge to spr/edge/a543ecf1 July 22, 2026 06:50
@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 08:11
@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
@jucor
jucor changed the base branch from edge to spr/edge/a543ecf1 July 22, 2026 08:11
@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 09:58
@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
@jucor
jucor changed the base branch from edge to spr/edge/a543ecf1 July 22, 2026 09:58
@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 11:20
@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
@jucor
jucor changed the base branch from edge to spr/edge/a543ecf1 July 22, 2026 11:21
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