Ignition + 64k measurement + no-pump: probes, five-axis harness, M/O arms, hot-window design, ack-theater deletion - #891
Merged
Conversation
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.
Relationship to #892 (MERGED — this PR is now just the three remaining arcs)
The original oversized branch (68 commits, +24,956/−2,305) was split: its first arc (bible_wave whole-book fix + corpus module + stance lift + the BLW arm) merged as #892. This branch was then rebased onto main — a pure replay of the 29 remaining commits, zero conflicts (the branch was a strict descendant) — so this PR is now exactly the three arcs below: 48 files, +14,353/−1,816, head
463f807. The original title/body (bible_wave OT truncation) lives on in #892.Arc 2 — Ignition + the 64k main model (
0e59bfd..505496a, 16 commits, +8,127/−25)tests/probe_ignition.rs, 2/2, 11 gates with can-fire + can-stay-silent halves): first driver of the built-but-undriven write path. 64 realMailboxSoAowners from the real corpus; armed by aMetaWordwrite, discovered by board scan alone, cast write-on-behalf throughemit_bootstrap_intent → BatchWriter::cast → run_cycle. Cycle 1 = 24 casts (20 Flow + 4 Block); cycles 5–6 rest with zero casts and no seal. Two OPEN D-MBX-A6-P4: cycle loop-closure driver — sparse seal/apply + MUL-gate thought seam (control-loop contract) #879 caveats made observable.tests/d_ign_b_lenses.rs, 1/1): arming z ∈ {1..4} selects which of four stance readings is recorded over byte-identical rows; same-lens bit-identical; z=5 reserved with a printed blocker.start()at the full main-model population — 65,536 real 1:1 owners, oneStyleStrategy::plan, ONE WAL write, strictly monotone positions, then fleet-wide rest.E-64K-1TO1-OWNERS-IS-THE-MAIN-MODEL-1); the one-tenant configuration is a benchmark harness shape, never the architecture.observer-effect-tfpn-doctrine.md) — distribution shape × Prozentrang payload, single-measurement law, remeasure guard. Plus the PROBE-ARC-TORQUE / Rosetta / cosine>helix plan sections (§12.10–12.10b) and the external-review triage (12 fixes + 4 reasoned skips — including the all-horizon C7 churn gate Codex independently re-found on Part 1/4: bible_wave whole-book fix + corpus module + stance lift + the BLW arm #892).Arc 3 — measure-64k-axes (
e98d865..e69d0f3, 9 commits, +4,984/−0)examples/measure_wal_curve.rs, release, 183 CSV rows): three of four answers; the WAL knee reported NOT REPRODUCIBLE and deliberately unclaimed (6× swings across runs — the refusal is the result).ISS-MARM-T1-4X-A0-GAP) blocking one cross-run comparison only.64565f36…≠3e71c2aa…); the seal's ordering is load-bearing for this construction. Pre-registered two-sided; three harness defects caught at the gate.Arc 4 — no-pump + the cleanup (
775fa96..463f807, 4 commits, +1,243/−1,792)seal-vs-temporal-ordering-information.md): four things the seal encodes thattemporal.rsdoes not (cross-owner TOTAL order vs per-owner partial; arrival as durable ordering input; the per-row coalescing fold; cohort + read horizon). Standing position: temporal.rs = temporal authority, seal = ordering authority, the gap = an explicit research question with three pre-registered probes.measure-64k-axes-v4.md): publication clock decoupled from persistence clock; barrier-flush fork chosen over version multiplexing; five panel-bought invariants H-1..H-5.E-PROGRESSION-IS-EXISTENCE-NOT-COMMAND-1: think → seal → publish version → next cycle reads it. No pump, no ack, no scheduler; ack/SLA vocabulary survives only in external consumer membranes.KanbanMsg/KanbanActor/5 RPC drivers/run_to_absorbing/KanbanRouteErrorremoved;PhaseCensusadded as the message-free visibility surface; onebrc lane E migrated to the direct&mutowner; W2b probe rewritten direct + census-over-real-SoA. OGAR boundary verified (zero consumers; its ActionHandler ack surface is legitimate membrane protocol). The kanbanstep (VersionScheduler::on_version) is NOT theater and stays canonical.CI finding (unchanged)
cycle_drivertests are behind--features cycle-driver, which the supervisor CI step does not pass — 24+ loop-closure falsifiers never execute in CI. This branch deliberately does NOT edit the workflow (CI changes are operator-approved); the exact needed step is recorded on the board. The new test files are gated centrally by the orchestrating session.Gates (central, re-anchored at pre-rebase head
9c5fc9e; the rebase was a pure replay onto content already validated by #892's merge)supervisor
--features supervisor: clippy--no-deps -D warningsclean, 9 lib + w2b 3/3;--features cycle-driver: probe_ignition 2/2 + probe_ignition_64k 1/1 + d_ign_b 1/1; onebrc--features lane-e20/20 + clippy clean; measure_wal_curve full release run reproduced; fmt clean. Pre-existing unattributable reds recorded on the board (ontology oxrdf lints,bindspace.rs:475too-many-arguments, callcenter unused import).🤖 Generated with Claude Code
https://claude.ai/code/session_01K3RyLEbuNSHxxB3NTTrGki