docs(board): PR #510 board hygiene — PR_ARC prepend + LATEST_STATE row

PR #510 merged 2026-06-16 16:36 UTC (merge commit 0e6452c) on main —
+125/-0 additive seam falsifier in crates/surreal_container/tests/
scheduler_seam.rs (first integration-test file in surreal_container).

Five kill-condition-first tests pin the IN-direction of the surreal↔
kanban↔scheduler wiring (SurrealMailboxView → NextPhaseScheduler::
on_version → KanbanMove) against the real view (not FakeView):

  1. full_rubicon_arc_lowers_to_legal_successors
  2. absorbing_columns_schedule_no_move
  3. libet_anchor_only_on_sigma_commit_crossing
  4. lowering_is_deterministic
  5. exec_target_rides_onto_the_move

Out of scope (deferred, explicit in PR body): the OUT-direction =
planner-emit KanbanMove (CognitiveCycle sequencer + §9 LOCKED from
#496). D-MBX-A6-P3 remains the next unblock for closing the loop.
This PR proves the downstream half; upstream still hand-rolled.

Retroactive board update (merge landed before the same-commit
hygiene rule could fire). Two files: PR_ARC_INVENTORY (prepend),
LATEST_STATE (dated bullet + table row).

https://claude.ai/code/session_01Xzyc27Nx3f8WC5KzwfWfjx

Author: claude

.claude/board/LATEST_STATE.md

@@ -10,6 +10,8 @@
 
 ---
 
+> **2026-06-16 — MERGED #510** (surreal_container seam falsifier — IN-direction): `crates/surreal_container/tests/scheduler_seam.rs` — **+125/-0, one new file, zero source change**; first integration-test file in `surreal_container`. Five kill-condition-first tests pin the `SurrealMailboxView → NextPhaseScheduler::on_version → KanbanMove` contract end-to-end: legal-successor walk over the full Rubicon arc, absorbing-column guard (Commit/Prune schedule no advance), `-550_000µs` Libet-anchor pinned to the Planning→CognitiveWork Σ-commit crossing, lowering-determinism, ExecTarget-rides-onto-move. Branch `claude/sleepy-cori-aRK2x`, merge commit `0e6452c8`. **Out of scope (explicit, deferred):** the OUT-direction = planner-emit `KanbanMove` (`CognitiveCycle` sequencer + §9 LOCKED from #496) — `D-MBX-A6-P3` remains the next unblock. This PR proves the downstream half; the upstream half is still hand-rolled. Test bench is also the template the planner-emit half will be verified against once it lands. `surreal_container` is excluded from CI, so the suite runs locally/on-demand (standing CI-coverage-gap follow-up — CI tests 4 of ~30 crates).
+>
 > **2026-06-15 — REVERTED (operator)** — the tesseract-rs `soa` wiring below was **deleted** (branch reset to master `420de08`). Operator: *"we don't want to use original Tesseract, we want to transcode it into Rust — delete everything you copied from original Tesseract into tesseract-rs."* Wrapping the original Tesseract C engine + parsing its TSV is the wrong direction; the real goal is a **pure-Rust OCR**. The contract-side transcode (`LayoutBlock::to_node_row`) + keystone STAY — they are OCR-engine-agnostic (a pure-Rust OCR feeds the same `LayoutBlock` → `NodeRow`); only the original-Tesseract coupling was removed. The strike-through entry below is retained per APPEND-ONLY.
 >
 > ~~**2026-06-15 — cross-repo landed** — **tesseract-rs fork wired to the transcode.**~~ *(REVERTED — see above)* `AdaWorldAPI/tesseract-rs` branch `claude/wonderful-hawking-lodtql` commit `1687c718`: opt-in `soa` feature (default-OFF — standalone OCR build untouched) + `src/soa.rs::tsv_to_nodes(tsv, classid, min_conf) -> Vec<NodeRow>` parsing tesseract `get_tsv_text` word rows → `contract::ocr::LayoutBlock` → `to_node_row`. Contract dep is a path dep mirroring smb-office-rs (sibling checkout). **Edition-2015 compatible** (the fork has no `edition` field → 2015: root `extern crate` + submodule root-relative `use` + explicit `TryInto` — all caught + fixed by verifying in a 2015 scratch crate against the real contract before pushing, 2 tests green). Pushed via `GH_TOKEN`+pygithub (out-of-MCP-scope fork). Could NOT compile the full crate here (no tesseract C-lib) — the transcode LOGIC is what's verified; the fork's own CI needs a co-located lance-graph for `--features soa`.
@@ -38,6 +40,7 @@
 
 | PR | Merged | Title | What it added |
 |---|---|---|---|
+| **#510** | 2026-06-16 | test(surreal_container): additive seam falsifier — SurrealMailboxView → VersionScheduler → KanbanMove | **`crates/surreal_container/tests/scheduler_seam.rs`** — additive: **+125/-0, one new file, zero source change**; first integration-test file in the crate. Five kill-condition-first tests pin the **IN-direction** of the surreal↔kanban↔scheduler wiring against the real `SurrealMailboxView` (not the in-crate `FakeView`): full Rubicon arc → legal successors, absorbing-column no-advance guard, Libet `-550_000µs` anchor at the Planning→CognitiveWork Σ-commit crossing, lowering-determinism, ExecTarget-survives-lowering. **Out of scope (deferred, explicit):** OUT-direction = planner-emit `KanbanMove` (`CognitiveCycle` sequencer + §9 LOCKED from #496) — `D-MBX-A6-P3` remains the next unblock. Branch `claude/sleepy-cori-aRK2x`, merge commit `0e6452c8`. CI-invisible (crate excluded). |
 | **#459** | 2026-06-03 | feat(helix): golden-spiral Place/Residue codec (zero-dep + optional ndarray-hpc) | **`crates/helix`** — new standalone codec realising the Place/Residue `KNOWLEDGE.md` (HHTL = PLACE, helix = orthogonal RESIDUE). `HemispherePoint` (√u equal-area placement) → `CurveRuler` (stride-4-over-17) → `Similarity` (Fisher-Z/arctanh) → `RollingFloor` (256-palette; occupancy-drift + version stamp) → 3-byte `ResidueEdge` + `DistanceLut` (metric-safe 256×256 L1) + `prove()` (2-D discrepancy companion to `jc::weyl`). Zero-dep default (empty `[workspace]`, root `exclude`); optional `ndarray-hpc` = batch Fisher-Z via `simd_ln_f32`. 63 unit + 6 doctests green both configs; clippy/fmt clean. ~80% clean-room overlap with CERTIFIED primitives (E-HELIX-OVERLAP / TD-HELIX-OVERLAP-1). Merge commit `ef35ff1`. Branch `claude/gallant-rubin-Y9pQd`. |
 | **#450** | 2026-06-01 | NAL syllogism capstone + atoms/styles/NAL → planner-DTO unification (A1/A2) | **`causal-edge::syllogism`** — hardwired NAL **figure** resolver (`Figure{Chain,ChainRev,SharedSubject,SharedObject}` + `figure()`/`syllogize()`; SPO term-sharing → Deduction/Induction/Abduction + signed mantissa; the reasoning kernel, Pearl-2³-analogue). **A1** `contract::nars::InferenceType::{to,from}_mantissa` (zero-dep cross-crate rule bridge) + `From<grammar::NarsInference>`. **A2** `rung: RungLevel` on both `ThinkingContext` structs (the meta-aware handle). Unification spec §0–14 (`.claude/specs/atoms-styles-nal-planner-dto-unification-v1.md`) + **vart vendored** (`/home/user/vart`). Branch `claude/jolly-cori-clnf9`. _(PR_ARC #450 entry owed.)_ |
 | **#411** | 2026-05-27 | Cognitive substrate: locked 33-TSV atom layer + 34-tactic recipes + escalation loop | **D-PERSONA-1** `contract::escalation` + `planner::mul::escalation` (CollapseHint/InnerCouncil/EpiphanyDetector/GhostEcho/WisdomMarker/Checklist, 13 tests). **`contract::atoms`** — LOCKED 33-dim TSV `CANONICAL_ATOMS` (3 Pearl + 9 Rung + 5 Σ + 8 Ops + 4 Presence + 4 Meta) + `I4x32` carrier. **`contract::recipes`** — 34-tactic metadata catalogue. **`contract::recipe_kernels`** — the 34 tactics as 34 `Tactic` impls + registry over a shared `ThoughtCtx`. Charter D0: **ladybug-rs has no relation, rewrite-not-port**; lattice is **SPOQ** (SPO 2³ causal + Q qualia overlay); business = OGIT sidecar; markers gate the datapath/control/gate partition. Green: escalation 13 / atoms 3 / recipes 4 / recipe_kernels 5 + 446 prior, no warnings. Branch `claude/splat3d-cpu-simd-renderer-MAOO0` (39 commits). See PR_ARC #411. |

.claude/board/PR_ARC_INVENTORY.md

@@ -35,6 +35,25 @@
 
 ---
 
+## #510 surreal_container seam falsifier — SurrealMailboxView → VersionScheduler → KanbanMove (IN-direction only)
+
+**Status:** MERGED 2026-06-16 16:36 UTC (merge commit `0e6452c8`), branch `claude/sleepy-cori-aRK2x`. Additive: +125/-0, one new file (`crates/surreal_container/tests/scheduler_seam.rs`); zero source change; first integration-test file in the `surreal_container` crate.
+
+**Added:** five kill-condition-first tests pinning the doc-comment contract of the **IN-direction** of the surreal↔kanban↔scheduler wiring (`SurrealMailboxView → NextPhaseScheduler::on_version → KanbanMove`):
+1. `full_rubicon_arc_lowers_to_legal_successors` — walks Planning→CognitiveWork→Evaluation→Commit + Plan→Planning; asserts every forward tick lands on a `can_transition_to == true` edge.
+2. `absorbing_columns_schedule_no_move` — `Commit`/`Prune` MUST schedule no advance (closes the non-terminating-lifecycle bug).
+3. `libet_anchor_only_on_sigma_commit_crossing` — the `-550_000µs` readiness anchor MUST appear at the Planning→CognitiveWork Σ-commit crossing and nowhere else.
+4. `lowering_is_deterministic` — same `(view, version, exec)` → identical `KanbanMove` (no hidden state).
+5. `exec_target_rides_onto_the_move` — `ExecTarget` backend selector survives lowering.
+
+**Locked:** the IN-direction contract is now testable end-to-end against the real `SurrealMailboxView` (not just the in-crate `FakeView`). The kill-condition framing is the **template** the planner-emit half (OUT-direction, D-MBX-A6-P3) will be verified against once it lands.
+
+**Deferred (explicit in PR body):** the **OUT-direction = planner-emit `KanbanMove`** (the `CognitiveCycle` sequencer + §9 LOCKED decisions from #496). PR body: *"this does not touch the contested planner-emit half … which is the planner-owning session's lane."* → D-MBX-A6-P3 remains **the next unblock** for closing the loop. This PR proves the loop's downstream half; the upstream half is still hand-rolled.
+
+**Docs:** AGENT_LOG + LATEST_STATE updated (this commit). No new knowledge doc.
+
+**Confidence (2026-06-16):** working — IN-direction now has 5 contract-pinning tests; OUT-direction unchanged.
+
 ## #498 GUID decode→read-mode keystone + helix Signed360 right-size + OCR→NodeRow transcode
 
 **Status:** OPEN 2026-06-15 (branch `claude/wonderful-hawking-lodtql`, 8 commits post-#496). In review (CodeRabbit + codex). **NOTE:** this entry documents the helix / keystone / OCR / causal-edge work that CodeRabbit on PR #498 mis-attributed to #496 — those changes are **#498's, not #496's**. #496 shipped only ValueSchema presets + the reference plan (its immutable entry below correctly shows the pre-right-size 154/98 B budgets).