From 0987e1142548acf1f7fc0ee52e786df9012722d3 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 13 Oct 2026 07:24:41 +0000 Subject: [PATCH] =?UTF-8?q?board:=20#1530=20and=20#1531=20merged=20?= =?UTF-8?q?=E2=80=94=20arc=20entries,=20LATEST=5FSTATE,=20D-PROD-V4=20row?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh --- .claude/board/LATEST_STATE.md | 3 ++- .claude/board/PR_ARC_INVENTORY.md | 14 ++++++++++++++ .claude/board/STATUS_BOARD.md | 2 +- 3 files changed, 17 insertions(+), 2 deletions(-) diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index dbc07eca9..2beaae126 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,10 +1,11 @@ -## 2026-10-13 — main after #1505, #1506, #1507–#1509, #1514, #1516, #1518, #1520, #1523, #1524, #1525, #1526, #1529 (merged) +## 2026-10-13 — main after #1505, #1506, #1507–#1509, #1514, #1516, #1518, #1520, #1523, #1524, #1525, #1526, #1529, #1530, #1531 (merged) - **On `main`, live:** `.cargo/config.toml` defaults to `-Ctarget-cpu=native` with `config-v3.toml` as the portable baseline and `debug = 0` everywhere (#1505); `compute_dag_kahn` checks all 256 field positions (#1506); R2IL `MIN`/`MAX` lowering onto mask-risc (#1518, the part outside glove-parity). - **Merged then withdrawn by #1524 (D-CMR-RESET):** the class-method layer of `lance-graph-glove-parity` (`method`, `call`, `decl`, `gremlin`, `awareness`; #1507, #1508, #1509, #1514, #1516, #1518, #1520). Prior state: `backup/session-011BMJ-2026-10-12`. Inventory: entry `2026-10-12-session-reset-inventory.md`. - **Docs only:** SAG capstone (#1523): `ProposedMethod`, four-state status; not built. - **On `main` (#1525, merged `08635ed`):** D-NALP W1/W2, `crates/lance-graph-nal` (NodeGuid-keyed beliefs, byte apertures, `Question`/`TruthAtLeast`/`Choice` over compiled mask-risc programs; mask-risc `CompiledProgram`). - **On `main` (#1529, merged `2d33bb0`):** D-PROD-V4. `Dockerfile.avx512` builds `sapphirerapids`, `Dockerfile` builds `native`, the other images and the wheel build `x86-64-v4`; `linux-build-v4` compiles both tiers in CI without running them. +- **On `main` (#1530 `c864721`, #1531 `86e3174`):** the thinking-engine, cognitive-stack and symbiont images build on `rust:1.99.0-bookworm` against ndarray `master`; the thinking-engine images build v4 with `--target `. - **CI (#1526, merged `abc0a1f`):** the native default plus `rust-cache` reused AVX-512 artifacts on runners without them (SIGILL in `dir-sim log in Lance`). `native` is now written out as each runner's exact feature list, and the cache is keyed to it. - **Rules carried from this session (operator):** classid-dependent methods go through the existing `hotplug.rs` plug-and-play; NAL/NARS operations are global core methods (no classid check, no plug, no `BeliefClass`); internal pins are forbidden (the v3 pins in the Dockerfiles and wheel build were replaced in #1529). diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 744bffd7d..0557fda0b 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,17 @@ +## 2026-10-13 — lance-graph PR #1531 (merged `86e3174`, branch `ccr-9f3b8075-74u47l-ndarray-master`, head `3b1e3f9`, 2 commits) — crate images clone ndarray `master` on Rust 1.99 + +- **Added:** `crates/symbiont/Dockerfile` and `crates/cognitive-stack/Dockerfile` default `ADA_BRANCH` to `master` (was the stale branch `claude/jirak-math-theorems-harvest-rfii13`); both builder images move from `rust:1.98.1-bookworm` to `rust:1.99.0-bookworm`, matching `rust-toolchain.toml`. +- **Locked:** ndarray, p64 and thinking-engine declare `rust-version = "1.99.0"`, and a 1.98.1 builder refuses them (measured on the thinking-engine build in #1530). ndarray `master` is the branch every build and CI job clones. +- **Deferred / open:** neither image was built with `docker build`. symbiont is a research project, not a production path. +- **Confidence:** medium; the change is two lines per file, unbuilt. + +## 2026-10-13 — lance-graph PR #1530 (merged `c864721`, branch `ccr-9f3b8075-74u47l-board-v4`, head `6cb34a0`, 3 commits) — #1529 board entries; thinking-engine images build v4 with `--target` + +- **Added:** board entries for #1529 (PR_ARC, LATEST_STATE, the D-PROD-V4 STATUS_BOARD row, its gate filled from the `main` push run 38356680938). Both thinking-engine images (`crates/thinking-engine/Dockerfile`, `Dockerfile.railway`) build `x86-64-v4` with `--target `, clone ndarray beside `/app`, use `rust:1.99.0-bookworm`, and build the `playground` example the runtime stage copies. +- **Locked:** codex P2: #1529 had missed these two images, so their build scripts still compiled for v4. Running the new build line in a Docker-shaped layout showed three earlier breaks that had kept them from building at all (no ndarray sibling, a 1.98.1 base, no example built); the Railway image hid them behind `2>/dev/null || true`, now removed. +- **Deferred / open:** no `docker build` run; the dependency-cache layer of `crates/thinking-engine/Dockerfile` still copies only three manifests and fails silently (`|| true`), unchanged. +- **Confidence:** medium; the build line was run, the image was not built. + ## 2026-10-13 — lance-graph PR #1529 (merged `2d33bb0`, branch `ccr-9f3b8075-74u47l-prod-v4`, head `6197dac`, 13 commits) — D-PROD-V4: production build tiers - **Added:** shipped builds leave v3. `Dockerfile.avx512` (canonical deploy) builds `sapphirerapids`; plain `Dockerfile` (fallback) builds `native`; `Dockerfile.hhtld`, `crates/cognitive-stack/Dockerfile`, `crates/symbiont/Dockerfile` copy the new `.cargo/config-v4.toml`; both thinking-engine images and `make publish` build `x86-64-v4`. `build.yml` gains `linux-build-v4`, a compile-only matrix over `x86-64-v4` and `sapphirerapids` (nothing runs; most runners are v3), debug 0 for every artifact. The two root Dockerfiles now clone ndarray and OGAR at their default branches and copy `tools/`; before, they could not resolve the workspace. Also carries #1525's board entries. diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index bf43fd205..7cbcb17e9 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -52,7 +52,7 @@ Entry: `entries/2026-10-13-production-targets-v4.md`. | D-id | scope | status | gate / falsifier | |---|---|---|---| -| **D-PROD-V4** | Shipped images and wheel off v3: `Dockerfile.avx512` `sapphirerapids`, `Dockerfile` `native`, the rest `x86-64-v4`; compile-only CI for both tiers | Shipped #1529 `2d33bb0`; ndarray side in AdaWorldAPI/ndarray#361 | `--target` keeps CPU flags off build scripts (scratch crate: build script without `target-cpu`); `linux-build-v4` green on both tiers on the `main` push of `2d33bb0` (run 38356680938); thinking-engine images fixed and their build line run in a Docker-shaped layout in #1530; no `docker build` run | +| **D-PROD-V4** | Shipped images and wheel off v3: `Dockerfile.avx512` `sapphirerapids`, `Dockerfile` `native`, the rest `x86-64-v4`; compile-only CI for both tiers | Shipped #1529 `2d33bb0`, #1530 `c864721`, #1531 `86e3174`; ndarray side in AdaWorldAPI/ndarray#361 | `--target` keeps CPU flags off build scripts (scratch crate: build script without `target-cpu`); `linux-build-v4` green on both tiers on the `main` push of `2d33bb0` (run 38356680938); thinking-engine images fixed and their build line run in a Docker-shaped layout in #1530; no `docker build` run | ## D-NALP — `NAL::narsese()` polyfill over R2IL procedures and mask-risc (2026-10-12)