Orchestrata Ultimate › Sessions › Session 262

Session 262

Field Value
Session 262
Date 2026-08-12 02:13
Model Claude Opus 4.6
Length auto-closed
Tag —
Source archive (context.history.md)

‹ previous · next › · timeline

Prose pending.

Purpose

Second adversarial review of plans/suite-runtime-and-graph-defects-plan.md + research record; corrections applied

Work log

  1. Second adversarial review of the suite-runtime plan: measurement core reproduced exactly, 4 inferences corrected
    • Independent re-derivation (fresh ndjson segmentation, fresh _prepare_batches replay, AST-toolkit reads of every cited site)
    • Reproduced exactly: 2312.0s call CPU, 289.0s floor at 8 lanes, 51 batches, 3104.6s cache mass / 792.6s bucket, 8.4/35.9/53.3/85.3% distribution, 3/24/48/189 histogram, module CPU table, D3 32.7-of-34.1s, 75.75s backoff sum
    • CORRECTED 1: '581 tests in the 2-60s band = 52%' -> that band is 264 tests / 1261.4s / 54.6%; 581 is the >=1.0s cut (1678.1s, 72.6%)
    • CORRECTED 2: D7 classifier is a disjunction (TransientError type OR contention markers); fix needs permanent-marker short-circuit ordering, not just a shared marker list
    • CORRECTED 3: D1 fix inverted needle/haystack (predicate is $chunk_text CONTAINS e.id) -> no property index can serve it; 'tens of ms' target withdrawn, batched-neighbor query carries the win
    • CORRECTED 4: resident-worker regression is 587.4s (wt-RESIDENT-WORKERS artifact), which records 0 reruns / 0 solo retries -> '4 recoveries' and the cross-batch-state cause withdrawn
    • WEAK: 289s floor is a 289-358s range (three consecutive 08-11 runs: 2312/2417/2862s call CPU)
    • New findings appended as plan section 8: production defects hold 1.16% + 3.35% of suite call CPU yet run first; no real-scale regression guard for any of the four (CIG test modules total 0.1s vs a 340.37s real call); D2 invalidation machinery unnecessary (CIG has no mutators); BlastRadius.impact_score vs CodeIntelligenceGraph.impact_score name collision
  2. Folded the remaining second-review findings into the plan body (8-1..8-6, R1-R4)
    • S4 execution order reversed: D3 -> suite-side S3 -> D7 -> D1 -> D2+D2b, with the 1.16%/3.35% call-CPU rationale inline
    • S2 D2: lazy per-instance memoization replaces 'compute per build + invalidate on mutation' (CIG has no mutators, 22 symbols checked); BlastRadius.impact_score -> reach_fraction rename shipped with the cache
    • S2 D2b: k=256 latency derived (340.37 x 256/38369 = 2.27s) but top-20 fidelity marked an assumption to measure against the existing exact run; real-CIG benchmark now required; fidelity check moved off fixture graphs onto the real CIG
    • S2 D1: scale-fixture regression guard (>=10k entities, round-trip assertion)
    • S3: target definition corrected to the >=1.0s cut (581 tests, 1678.1s, 72.6%)
    • S4 step 6: report call CPU alongside wall (24% run-to-run variance exceeds several levers); RUL-008 reconciliation paragraph added (gates per item pre-merge; --no-verify is not a review waiver)
    • S7 recommendation updated; S8 converted from an open list to a disposition record
  3. Swarm executed all 8 work items; merged into master db0609f9
    • WI-1 retry guard (permanent-marker ordering), WI-2 retrieve batching (16.19s/10,964 round-trips -> ~2s/<=3), WI-3 pagerank lazy cache (0.7s->0.003ms) + approximate centrality (340s->0.66s, 95% top-20 overlap), WI-4 fact-share (module call CPU 16.95s->0.78s), WI-5 agentcheck-once (15.3->8.6s, 20.8->8.2s), WI-6 retry-budget DI (13.0->0.27s, 10.5->1.1s), WI-7 ast-share (34->11s, 32->16s), WI-8 search fixtures (share 48.8%->11.2%). 7 branches merged --no-ff; purity-gate skip violation fixed as scale-up (db0609f9).
  4. Pushed master db0609f9; measure-first checklist completed and disarmed
    • Final gate: 32498/0/0/0, 1611 modules, 455s wall (+2% vs 446s), call CPU 2250s (-2.7% vs 2312s) — both inside the 24% noise band; suite wall improvement NOT PROVEN, recorded as such. Production per-call wins verified at scale (retrieve ~8x, centrality ~515x). Push from wt-D7-RETRY-GUARD after ff to master (pre-push hook gated the full suite).
  5. Suite objective recorded PROVEN FAILURE; suite-side merges reverted
    • User-directed rollback: reverted WI-4..WI-8 merge commits (c7043047 3097834c f44c64a0 b55077e3 8bafe038). Kept production fixes (429fd08c, 5d3ed30c, db0609f9) + docs. Plan doc marked PROVEN FAILURE with the rule: standalone module benchmarks are non-evidence for suite wall claims.
  6. Rollback pushed (6ceef2ef); failure documented
    • Suite-side merges reverted per user directive, post-mortem committed (plans/suite-runtime-failure-postmortem-2026-08-12.md), affected gate 898/898 green pre-push, pushed db0609f9..6ceef2ef. Kept: production defect fixes + docs. All worktrees removed; only primary checkout remains.
  7. D2b centrality: shipped default returned wrong rankings — fixed, guarded, recorded
    • Measured on the live 38,380-node repo CIG vs exact top-20: strided samples=256 (the shipped default) agreed on 3/20 with top score 47,150 vs exact 6,574 (7.2x biased); 1024 -> 12/20; 4096 -> 16/20; 8192 -> 17/20; random pivots 256 -> 7/20, 4096 -> 15/20. The >=90% acceptance criterion was never met at any budget
    • Root cause of zero coverage: all four centrality tests ran on graphs smaller than the 256-pivot sample count, so the implementation's own 'if exact or n <= samples' guard sent every one down the exact branch; the sampled path shipped untested
    • Real win of the rewrite, kept: array-based _brandes took EXACT from 340.37s to 88.29s (3.9x)
    • Fix: exact=True is now the default and the exact vector is cached per instance (88.3s first call, ~0ms after — same discipline as the D2 pagerank cache, sound because the graph has no mutators); sampling stays behind exact=False with the measured error table in the docstring
    • Guards added in tests/refactor/codemod/test_analysis_passes.py on a 600-node graph (larger than the sample count, so the branch is reachable): default-is-exact, sampled-diverges-from-exact, exact-vector-cached-per-instance. Red-first proof: under the old default the first guard fails, and on a 600-chain whose max betweenness is the midpoint by construction the sampled default names node 293 instead of 299/300
    • Verified: tests/refactor/codemod/ 19/19 modules, 0 failed, 43s; ruff clean; black clean. Fixed two pre-existing pyright unused-binding hints in the same file
  8. Authoritative full-suite run on post-rollback master + D2b fix: 32,499 passed / 0 failed, 426.6s
    • scripts/run_tests.py --force, observed, nothing skipped. Infra complete incl. the required kernel (CXP transport OK on 50053). All safety gates pass. Config identical to the baseline: 1611 modules, 8 workers x 6 batches/worker, 420s timeout
    • Result: 32,499 passed / 0 failed / 0 errors / 0 skipped, 1611/1611 modules, 426.6s wall, head 6ceef2ef with the uncommitted D2b fix in tree (dirty_sig recorded)
    • Call CPU re-derived from the durations sink: 2,202.4s (floor 275.3s at 8 lanes) vs the 2,312.0s baseline — 4.7% lower; wall 426.6s vs 445.7s — 4.3% lower. Both inside the 24% noise band: post-rollback master is no slower than the pre-swarm baseline
    • Distribution held: top10 8.8%, top100 37.0%, top250 54.8%, top1000 86.3%; tests >=1.0s = 532 holding 1,579.5s = 71.7% of call CPU (the >=1s cut remains the only mass worth targeting)
    • No test exceeded 60s; slow_tests and acknowledged_slow both empty
    • One solo-retry recovery: tests/session/test_session_facts.py (masked flake, logged to .flake_recoveries.ndjson with its 33 batch peers)
    • Side effect: reports/run-tests-latest.json now holds a real authoritative full run again, replacing the 47-module subset that had overwritten it
  9. Fixed workflow-default-sonnet hook: its advertised spread remedy was rejected, and prose 'model:' was accepted
    • Two defects in .claude/hooks/workflow-default-sonnet.sh, both surfaced by the hook blocking its own documented remedy twice. (1) The block message advertises hoisting {model:'opus'} into a const and spreading it, but the check required a literal 'model:' inside the agent() span, so that form was rejected. (2) The 'model:' check ran on the raw span with no code mask, so a PROMPT containing the words 'model: opus' satisfied the guard - a false-negative admitting a silent inherit. Added object_bindings() (brace-balanced, code-masked) plus names_a_model() with transitive spread resolution and a cycle guard; 'model:' now counts only at code positions.
    • Its test corpus was neutered: the 'spread default' case carried a redundant model:'sonnet' next to the spread, so it passed without ever exercising spread resolution. Replaced with a real spread case plus spread-of-spread and declared-after-use, and added 4 BLOCK cases (spread naming no tier, unbound spread, prose-only model, mutually recursive spreads).
    • 9/9 direct hook probes correct. pytest module run deferred: machine at load 5.9 under an in-flight builder.
  10. Derived-artifact hygiene: deleted 142MB of leaked artifacts, corrected the fixture-bucket contradiction in the runtime plan
  1. Fixed a suite-blocking stdlib shadow: scripts/secrets.py masked stdlib secrets, breaking Redis + Gateway preflight
  1. Volk-dispatch readiness measured: NOT ready, 3 blockers; fixed blocker 1 (src->scripts import) and re-fixed the stdlib shadow
  1. external-tools gate landed green; adopted the red prolog-gate the agent declined (RUL-024)
  1. Ran the volk-dispatch measurement; probe exposed a false-green in my own blocker-1 fix
  1. KG-sync bounding landed; fixed the deadline overshoot it flagged (my brief caused it)
  1. Designed + dispatched the fix for name-matched CALLS/INHERITS edges (RUL-022 via a real contract, not a waiver)
  1. Class map now injected into every session: the 'what do I extend' tier
  1. Implementation scanner rebuilt on the AST + the measured registry pattern; two of my own claims proven false
  1. Arm A measured (n=3) — and the volk pipeline returns no retrievable output
  1. Measurement complete (both arms) + fixed 5 real defects the comparison arm found in flake_report.py
  1. Read specs/docs/wiki end-to-end; corrected 5 false wiki claims
  1. VolkDriver Phase 0: premise check refuted the contract's gateway seam; corrected to rev 2
  1. Fixed forbidden-doubles-stop.sh: it was committing the artifact-vs-description defect its own header cites

Artifacts

Decisions

Achievements

Handoff