Merge pull request #306 from flyingrobots/feat/adr-0008-0009-phase-8

Resolved 27 issues; v0.1.1.

Author: flyingrobots

.gitignore

@@ -6,6 +6,7 @@ node_modules
 dist
 coverage
 target
+target-ra
 target-fmt
 target-clippy
 target-test
@@ -21,6 +22,7 @@ docs/.vitepress/cache
 .idea
 .vscode/*
 !.vscode/extensions.json
+!.vscode/settings.json
 .obsidian
 .claude/
 

.vscode/settings.json

@@ -0,0 +1,5 @@
+{
+  "rust-analyzer.cargo.extraEnv": {
+    "CARGO_TARGET_DIR": "target-ra"
+  }
+}

CHANGELOG.md

@@ -5,6 +5,29 @@
 
 ## Unreleased
 
+### Fixed (PR #306 follow-up)
+
+- The Phase 8 runtime-schema/tooling follow-ups so workspace Prettier usage is
+  declared and lockfile-pinned, runtime schema validation now fails clearly
+  when `node` is unavailable, dependency DAG generation uses
+  `docs/archive/tasks/TASKS-DAG.md` as the default task source with UTC-stable
+  fallback labels, and the tracked Rust Analyzer workspace target dir is
+  repo-local and cross-platform.
+- Shared Phase 8 type extraction so `WorldlineId` is actually opaque like
+  `HeadId`, `echo-wasm-abi` forwards `std`/`serde` into `echo-runtime-schema`
+  explicitly, `echo-wasm-abi --no-default-features` avoids a stray `std`
+  dependency, and positive-only scheduler/inbox schema inputs are represented
+  explicitly as `PositiveInt`.
+- Late Phase 8 review follow-ups so contributor docs use portable workspace
+  links, the runtime-schema README matches the default `serde` contract, the
+  schema audit/inventory docs reflect the typed-id migration, and
+  dependency-DAG docs use the correct GitHub workflow wording.
+- Final Phase 8 review follow-ups so shared logical counters enforce their
+  checked-arithmetic boundary, runtime-schema validation runs through the
+  pinned `pnpm schema:runtime:check` entrypoint, worldline-id/schema
+  nullability docs match the frozen 32-byte and scheduler-state contracts, and
+  backlog follow-up tasks now require `cargo xtask` as the maintenance surface.
+
 ### Fixed (PR #304 follow-up)
 
 - **Fixed** the session WebSocket gateway TLS stack to use the Rustls ring

CONTRIBUTING.md

@@ -101,6 +101,12 @@ Echo is a deterministic, renderer-agnostic engine. We prioritize:
     - rustup toolchain install 1.90.0
     - rustup override set 1.90.0
 
+### Shared Workspace Settings
+
+- The repo tracks a minimal [.vscode/settings.json](.vscode/settings.json) for project-safe tooling settings only.
+- Keep personal editor preferences such as theme, font family, and UI layout in your user-level VS Code settings, not the tracked workspace file.
+- The tracked Rust Analyzer target dir uses the repo-local ignored `target-ra/` path to avoid fighting the default Cargo build directory during background checks.
+
 ## Communication
 
 - Rely on GitHub discussions or issues for longer-form proposals.

Cargo.lock

@@ -2,6 +2,7 @@
 # © James Ross Ω FLYING•ROBOTS <https://github.com/flyingrobots>
 [workspace]
 members = [
+    "crates/echo-runtime-schema",
     "crates/warp-core",
 
     "crates/warp-wasm",
@@ -47,6 +48,7 @@ echo-config-fs = { version = "0.1.0", path = "crates/echo-config-fs" }
 echo-dind-tests = { version = "0.1.0", path = "crates/echo-dind-tests" }
 echo-dry-tests = { version = "0.1.0", path = "crates/echo-dry-tests" }
 echo-graph = { version = "0.1.0", path = "crates/echo-graph" }
+echo-runtime-schema = { version = "0.1.0", path = "crates/echo-runtime-schema", default-features = false }
 echo-registry-api = { version = "0.1.0", path = "crates/echo-registry-api" }
 echo-scene-codec = { version = "0.1.0", path = "crates/echo-scene-codec" }
 echo-scene-port = { version = "0.1.0", path = "crates/echo-scene-port" }

Cargo.toml

@@ -115,7 +115,7 @@ fn tick_commit_hash_v2_full_chain_golden_vector() {
 
     // Step 3: Compute tick commit hash using the above digests
     let schema_hash = make_hash(0xAB);
-    let worldline_id = WorldlineId(make_hash(0xCD));
+    let worldline_id = WorldlineId::from_bytes(make_hash(0xCD));
     let tick = 42u64;
     let parent = make_hash(0x11);
     let patch_digest = make_hash(0x22);

crates/echo-dind-harness/tests/digest_golden_vectors.rs

@@ -0,0 +1,27 @@
+# SPDX-License-Identifier: Apache-2.0
+# © James Ross Ω FLYING•ROBOTS <https://github.com/flyingrobots>
+[package]
+name = "echo-runtime-schema"
+version = "0.1.0"
+edition = "2024"
+rust-version = "1.90.0"
+description = "Shared ADR-0008 runtime schema types for Echo"
+license = "Apache-2.0"
+repository = "https://github.com/flyingrobots/echo"
+readme = "README.md"
+keywords = ["echo", "runtime", "schema", "worldline"]
+categories = ["data-structures"]
+
+[dependencies]
+serde = { version = "1.0", default-features = false, features = ["derive"], optional = true }
+
+[dev-dependencies]
+ciborium = "0.2"
+
+[features]
+default = ["std", "serde"]
+serde = ["dep:serde"]
+std = ["serde?/std"]
+
+[lints]
+workspace = true

crates/echo-runtime-schema/Cargo.toml

@@ -0,0 +1,19 @@
+<!-- SPDX-License-Identifier: Apache-2.0 OR LicenseRef-MIND-UCAL-1.0 -->
+<!-- © James Ross Ω FLYING•ROBOTS <https://github.com/flyingrobots> -->
+
+# echo-runtime-schema
+
+Shared ADR-0008 runtime schema primitives for Echo.
+
+This crate is the Echo-local shared owner for runtime-schema types that are not
+inherently ABI-only:
+
+- opaque runtime identifiers
+- logical monotone counters
+- structural runtime key types
+
+`warp-core` consumes or re-exports these semantic types. `echo-wasm-abi`
+converts to and from them where the host wire format differs.
+
+Serde derives are feature-gated. The `serde` feature is enabled by default;
+consumers using `default-features = false` must enable `serde` explicitly.