#!/usr/bin/env bash # substrate_integration.sh — cross-stream integration smoke test # # Architect P0-b (audit wave 2026-04-23): each stream (kei-forge / kei-task # atoms / kei-sage / kei-runtime) has its own smoke tests, but no single # test exercised the cross-stream composition. This script is that test. # # The check: build release binaries, generate a fresh atom via new-atom.sh, # then verify that kei-runtime + kei-sage BOTH discover it identically and # that kei-runtime schema-lint passes on it. # # Exit 0 = substrate v1 contract holds end-to-end # Exit 1 = any step failed — see stderr for the offending stage set -euo pipefail ROOT="$(cd "$(dirname "$0")/.." && pwd)" cd "$ROOT" TMPROOT="$(mktemp -d)" trap 'rm -rf "$TMPROOT"' EXIT fail() { echo "SUBSTRATE-INTEGRATION FAIL: $*" >&2; exit 1; } echo "==> Building release binaries (kei-runtime, kei-sage)…" cd _primitives/_rust cargo build --release -p kei-runtime -p kei-sage >/dev/null 2>&1 \ || fail "cargo build failed" RT="$(pwd)/target/release/kei-runtime" SAGE="$(pwd)/target/release/kei-sage" cd "$ROOT" echo "==> Scaffolding a fresh atom (kei-task::create) via new-atom.sh for isolated test corpus…" CORPUS="$TMPROOT/corpus/kei-task" mkdir -p "$CORPUS"/{atoms/schemas,src/atoms,tests} # Minimal hand-crafted atom mirroring Stream B's create atom shape — # covers all REQUIRED frontmatter fields so schema-lint passes. cat > "$CORPUS/atoms/create.md" <<'EOF' --- atom: kei-task::create kind: command version: "0.22.3" input: schema: schemas/create-input.json required: [title] example: { title: "x" } output: schema: schemas/create-output.json example: { id: 1 } errors: - code: DuplicateTitle http_analog: 409 side_effects: - { op: write, domain: kei-task-db } idempotent: false timeout_ms: 5000 stability: stable keywords: [integration-test] related: [] --- # kei-task::create Integration-test atom. See substrate_integration.sh. EOF cat > "$CORPUS/atoms/schemas/create-input.json" <<'EOF' { "$schema": "http://json-schema.org/draft-07/schema#", "$id": "kei-task/atoms/schemas/create-input.json", "title": "kei-task::create input", "type": "object", "required": ["title"], "properties": { "title": { "type": "string", "minLength": 1 } }, "additionalProperties": false, "examples": [{"title": "x"}] } EOF cat > "$CORPUS/atoms/schemas/create-output.json" <<'EOF' { "$schema": "http://json-schema.org/draft-07/schema#", "$id": "kei-task/atoms/schemas/create-output.json", "title": "kei-task::create output", "type": "object", "properties": { "id": { "type": "integer" } }, "additionalProperties": false, "examples": [{"id": 1}] } EOF echo "==> kei-runtime schema-lint…" "$RT" schema-lint --root "$TMPROOT/corpus" \ | grep -q "^PASS" \ || fail "schema-lint did not report PASS" echo "==> kei-runtime list-atoms…" LIST="$("$RT" list-atoms --root "$TMPROOT/corpus")" echo "$LIST" | grep -q "kei-task::create" \ || fail "kei-runtime list-atoms did not see kei-task::create" echo "==> kei-sage atoms-discover…" DISCOVER="$("$SAGE" atoms-discover --root "$TMPROOT/corpus")" echo "$DISCOVER" | grep -q "kei-task::create" \ || fail "kei-sage atoms-discover did not see kei-task::create" echo "==> Cross-stream ID agreement…" RT_IDS="$(echo "$LIST" | awk '{print $1}' | sort)" SAGE_IDS="$(echo "$DISCOVER" | awk 'NR>1 && $1 != "" {print $1}' | sort)" [ "$RT_IDS" = "$SAGE_IDS" ] \ || fail "runtime and sage disagree on atom IDs:\n runtime: $RT_IDS\n sage: $SAGE_IDS" echo "==> kei-runtime invoke (expects NotImplemented → exit 64)…" set +e "$RT" invoke --root "$TMPROOT/corpus" kei-task::create --input '{"title":"x"}' >/dev/null 2>&1 RC=$? set -e [ "$RC" -eq 64 ] \ || fail "invoke should exit 64 (NotImplemented), got $RC" echo "==> kei-runtime invoke with bad input (expects InputInvalid → exit 2)…" set +e "$RT" invoke --root "$TMPROOT/corpus" kei-task::create --input '{}' >/dev/null 2>&1 RC=$? set -e [ "$RC" -eq 2 ] \ || fail "invoke with missing required field should exit 2, got $RC" echo "" echo "✓ SUBSTRATE-INTEGRATION PASS — all 4 streams agree on schema, runtime + sage see same atoms, exit codes per locked §Runtime contract"