feat(delphi): certify.py battery runner + focuser + fingerprint ledger (Spec A, Phase 0)

[jucor]

Sonnet-agent build from SPEC_A — the R1 certification backbone:

• polismath/replay/certify.py + scripts/certify.py (click CLI: run / focus)
  over scripts/certify_battery.json (starter battery: vw uniform8 /
  front-loaded6 / single-cut + biodiversity uniform8, all clojure-legacy).
• Clojure recording cache: reuse iff manifest matches (votes sha256,
  canonical schedule hash, replay.clj + math/src tree hashes); Python
  recording cache keyed on polismath tree hash + engine_mode. Both drivers
  invoked as subprocesses via --schedule (the only way to bake the
  collision-free schedule_id into the recording path without touching
  replay_driver.py).
• Hash-first compare (canonical-JSON step hashes after acceptance
  projection) + content-addressed step-verdict cache; a same-input re-run
  is a pure cache hit (verified: zero subprocess calls on repeat).
• Acceptance projection = prep-main whitelist MINUS subgroup-* trio
  (CLOJURE_QUIRKS.md Q7); the exclusion is printed on EVERY run, never
  silent.
• First-divergence focuser (earliest divergent step, divergent key-paths
  only, ≤40-line stdout, full detail to focus-report.json) + fingerprint
  ledger docs/divergences.json (normalized path × family × engine_mode;
  ships empty — diagnoses accrue as certification proceeds).
• Crosslang bridge PROMOTED tests/replay_harness/clj_crosslang.py →
  polismath/replay/crosslang.py (now a production API); behavior-identical
  (84 pre-existing replay-harness tests green before and after), import
  sites updated (test_clj_crosslang.py, replay_smoke.sh heredoc).

Tests: 132 passed + 1 gated integration (ran for real: actual clojure +
python drivers on vw single-cut, ~11s, then cache-hit re-run). Agent's real
smoke surfaced ~19 undiagnosed divergent fingerprints on the PRE-port base
— the certification loop's starting worklist (ledger deliberately left
empty; diagnosis is top-level work).

commit-id:4a87a6ae

---

Stack:

• ci: run postgres integration tests #2637
• feat(math): moderation + restart-seam replay coverage — mod_update parity, Q13-Q16 #2656
• docs(delphi): R1-parity goal docs, journal (2026-07-18 → 07-22 s3), quirks + divergence ledger #2626
• feat(delphi): Q12 carve-out — pin the cold-tick PCA start to ones in both replay drivers #2655
• feat(math): Q11 — replicate vectorz distance cancellation in legacy kmeans #2654
• feat(math): small-N degenerate parity — run the real math on tiny matrices in clojure-legacy mode #2653
• feat(delphi): Q10 carve-out — pin large-conv cutoffs to certify the deterministic full-PCA path #2652
• feat(delphi): replay loader resolves private datasets under real_data/.local #2651
• feat(math): Clojure hash-map iteration order for the in-conv greedy tie-break (legacy) #2650
• feat(math): clojure-legacy blob emission + selection parity — Clojure-exact math_main at step 0 #2649
• feat(delphi): acceptance canonicalization — suppress cross-engine ordering artifacts in certify comparer #2648
• feat(delphi): certify.py battery runner + focuser + fingerprint ledger (Spec A, Phase 0) #2647 ⬅
• feat(delphi): prodclone extractor — feature-filtered dataset export (Spec B) #2646
• feat(math): un-mirror priority_metric (#2571 resolved) + Q2 prev-tick group-votes #2645
• feat(math): participant-ban leak replication in clojure-legacy mode (Q1) #2644
• feat(delphi): Clojure timing probe (Spec C) #2643
• feat(math): degenerate-tick group-clusterings overwrite + <2-participants edge (legacy mode) #2642
• refactor(math): move impl-flag resolver to polismath/utils/env_flags.py #2641
• feat(delphi): Python math poller service (phase 1) — Clojure math-container replacement #2625
• fix(delphi): Clojure-parity math writers + committing write path in PostgresClient #2624
• feat(math): in-conv greedy floor + persistent carry (PR-E) #2623
• feat(math): Clojure-exact base-cluster lineage + warm start (PR-C) #2622
• feat(math): replay harness H-B — Clojure Mode A driver (dev/replay.clj) + cross-language comparer shim #2621
• feat(math): group-k-smoother in clojure-legacy engine mode (PR-D smoother) #2620
• feat(math): PCA warm start in clojure-legacy engine mode (PR-B) #2640
• feat(math): add POLISMATH_ENGINE_MODE flag + prev-tick warm-start scaffolding (PR-A) #2618
• feat(delphi): replay harness H-A — schedule spec+slicer, Python driver, store, step comparer, CLI #2639
• fix(delphi): cold-start generator copies FULL revote history (no DISTINCT ON dedup) #2638
• fix(math): correct comment-extremity sign in pca_project_cmnts (D1b) #2615
• docs(delphi): add math-algorithm history & routing-regression reference #2613

---

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