Skip to content

Commit ca4c20d

Browse files
committed
symbiont plan: reframe stale snapshot items + record git-deps green build
Rebased onto main (carries the working surrealdb-main manifest + gitignore). Updates reflecting the living-harness reframe + the verified git-deps build: - Done: record the portable git-deps build (CARGO_EXIT=0, 12m52s, unified lance 7.0.0 / lancedb 0.30.0 / df 53.1 / arrow 58, no lance-6/7 split). - R2/R3 SUPERSEDED: commit-the-lock / pin-to-rev were the snapshot model the operator rejected; Cargo.lock is gitignored, no [patch], align on main. - R4: surrealdb lance-7 witnessed green (the "lance 6" worry was the stale jirak branch, not main); TD-SURREALDB-KVLANCE-LANCE7 PAID. - surreal_container: BLOCKED(C) was a version blocker, now version-resolved; residual is pure wiring (D-PG-6). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CcpLeEC3XK8Eye53GKBVvi
1 parent 1d01790 commit ca4c20d

1 file changed

Lines changed: 30 additions & 22 deletions

File tree

crates/symbiont/INTEGRATION_PLAN.md

Lines changed: 30 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -11,11 +11,14 @@ Status legend: ☐ open · ◐ in progress · ☑ done (this session) · ⊘ blo
1111
This is the kanban backpressure valve. (AdaWorldAPI/ractor#2, merged.)
1212
-**kv-lance feature gates proven + documented.** Lite-unified surreal
1313
compiles without RocksDB/C++ storage. (AdaWorldAPI/surrealdb#47, #48, merged.)
14-
-**Golden image compiles + links.** `cargo build` exit 0, 19m18s,
15-
`target/debug/symbiont` 4.2 MB, 912 packages, zero errors. The five forks
16-
resolve AND compile+link into one binary; lockstep pins held. (This is a
17-
compile milestone — it proves nothing about runtime data flow; see the
18-
loose-end ledger below.)
14+
-**Golden image compiles + links — TWICE, both green.** (1) local-path build:
15+
`cargo build` exit 0, 19m18s, 912 packages. (2) **Portable git-deps build**
16+
(the living-harness config — surrealdb/OGAR `main`, ndarray `master`, ractor
17+
`jirak`): `CARGO_EXIT=0`, 12m52s, `target/debug/symbiont` 4.3 MB, runs + prints
18+
the linked-stack line. Unified `lance 7.0.0 / lance-index 7.0.0 / lancedb
19+
0.30.0 / datafusion 53.1.0 / arrow 58`, **no lance-6/7 split.** (A compile
20+
milestone — it proves the stack composes on the lockstep pins; it proves
21+
nothing about runtime data flow; see the loose-end ledger below.)
1922
-**Perturbation-sim NaN foundations.** `cascade.rs` preserve-last-finite
2023
abort + `perturbation_shape_is_always_finite` test; `stats.rs` empty-slice
2124
guards on `mean`/`pop_var`. (lance-graph, merged.)
@@ -85,19 +88,22 @@ Verdicts: brutally-honest-tester = **HOLD**, baton-handoff-auditor =
8588
**Resolution: leave the duplicate.** Revisit only if a real workload needs to
8689
pass an ndarray type across the surrealdb↔lance-graph boundary (then the
8790
clean route is the AdaWorldAPI lance-index fork bumped to ndarray 0.17).
88-
- **☐ R2 — commit `symbiont/Cargo.lock`.** It exists on disk (the build
89-
generated it) but isn't tracked. Without it, `branch`-pinned git deps
90-
(OGAR's surrealdb `main`, ndarray) can resolve to different commits on
91-
different days → not byte-reproducible.
92-
- **☐ R3 — pin OGAR's surrealdb git dep to an exact `rev`.** `OGAR/Cargo.toml`
93-
uses `branch = "main"`, but symbiont's `[patch]` silently substitutes the
94-
local tree on a *different* branch. Compiles today (AST shape matches);
95-
drops the baton if the local branch advances the AST or the patch is removed.
96-
- **☐ R4 — regenerate `/home/user/surrealdb/Cargo.lock`.** It resolves lance
97-
**6.0.0** / lancedb 0.29 — contradicting surrealdb's own `=7.0.0` manifest
98-
pin. surrealdb's kv-lance-on-lance-7 path was **never resolved inside
99-
surrealdb's own workspace**; symbiont is the first witness. Regenerate so
100-
the fork's CI exercises lance 7.
91+
- **☑ R2 / R3 — SUPERSEDED by the living-harness reframe (2026-06-20).** These
92+
asked to commit `symbiont/Cargo.lock` and pin git-deps to exact `rev`s for
93+
byte-reproducibility — the **snapshot** model the operator explicitly rejected
94+
("a Dockerfile + Cargo that actually RUNS the *current* substrate, pending
95+
integration"). The golden image is a *living* harness: it re-resolves to each
96+
fork's canonical branch tip every build. `Cargo.lock` is now `.gitignore`d; the
97+
`[patch]` is gone (surrealdb consumers align on `main` → one source; cargo
98+
forbids patching a url to itself anyway). See EPIPHANIES
99+
E-GOLDEN-IMAGE-IS-A-LIVING-HARNESS.
100+
- **☑ R4 — surrealdb lance-7 witnessed GREEN.** The git-deps build resolved
101+
surrealdb-core's `kv-lance` against `lance 7.0.0 / lance-index 7.0.0 / lancedb
102+
0.30.0` cleanly — the fork's `main` manifest pins `=7.0.0` (verified). The
103+
earlier "resolves lance 6" worry was the **stale `jirak` branch**, not `main`.
104+
`TD-SURREALDB-KVLANCE-LANCE7` is **PAID**. Residual (surrealdb-fork CI
105+
housekeeping, not ours): the fork's own committed `Cargo.lock` may still
106+
resolve lance 6 — regenerate it in the fork so its CI exercises lance 7.
101107
- **note — absolute paths are deliberate** (`publish = false`); the image is
102108
intentionally machine-pinned to `/home/user/{...}`. Switch to relative
103109
(`../`) only if portability is wanted.
@@ -168,10 +174,12 @@ This folds into §B (the NaN-free win condition).
168174

169175
## Other loose ends (post-gate)
170176

171-
-**surreal_container — blocked.** The `surreal_container` consumer still
172-
has the kv-lance fork dep unwired in its `Cargo.toml`. The golden image
173-
proves the dep graph works; porting that wiring into `surreal_container`
174-
clears the block.
177+
-**surreal_container — version-unblocked, execution-blocked on wiring.**
178+
`BLOCKED(C)` was a VERSION blocker (surrealdb `kv-lance` pinned lance 6) — now
179+
RESOLVED: surrealdb `main` pins lance 7 and the golden image built green
180+
against it. The residual is pure wiring: `surreal_container`'s surrealdb dep
181+
is still commented out (D-PG-6 Rubicon kanban VIEW). Uncomment + wire; no
182+
version work remains. (TECH_DEBT `TD-SURREALDB-KVLANCE-LANCE7` = PAID.)
175183
-**ndarray-simd in perturbation-sim.** Enable the `ndarray-simd` feature
176184
(Walsh-Hadamard via ndarray AVX-512 under `target-cpu=x86-64-v4`) and
177185
`[patch]` perturbation-sim's git ndarray to the local fork. Deferred from

0 commit comments

Comments
 (0)