Verified, not just designed.

Release v0.15.0-alpha extends RC1 with evaluation profiles, module proof ladder, and buyer evaluation checklist. Baseline v0.14.0-rc1-verified evidence remains reproducible.

60migrations applied
180+API routes · OpenAPI parity
118+tables · 30+ views
46async workers
25RC2+ISF golden fixtures
20global security invariants

What RC1 proves

  • Migration proof — schema applies cleanly
  • Worker proof — queue claim → receipt emission
  • Receipt proof — immutability, replay audit, bindings
  • Tenant isolation — cross-tenant boundaries at API layer
  • Product smoke — 15 product-depth routes
  • Evaluation profiles — lightweight through product_deep on integrity evaluate
  • Module proof ladder — whitepaper ↔ runtime ↔ demo status (below)
  • Production security — API keys, incidents, SLO posture
  • RC2 conformance — 25 golden fixtures (20 RC2 + 5 ISF) + invariants + replay + RL2 ledger gate via pnpm test:conformance
  • ISF Baseline B — trust zones, blood types, promotion decisions (Sprint 56); Baseline C planned Sprints 57–59

Reproduce locally

pnpm install --frozen-lockfile
docker compose up -d postgres
pnpm db:migrate
pnpm rc1:full
pnpm test:conformance

Hosted verification

export SUBSTRATE_API_URL=https://tracescript-substrate-api.fly.dev
pnpm smoke:remote

View release artifacts on GitHub → · Read validation evidence →

Module proof ladder

Each platform module should have a whitepaper, runtime path, developers demo, and captured proof. See the buyer evaluation checklist for question-to-module mapping.

Module Risk zone Whitepaper Runtime Demo Proof

What makes this different

OthersSubstrate Runtime
Log prompts and responsesEmit immutable integrity receipts
Moderate after the factEnforce inside the transaction
One-size-fits-all APIProduct-native depth per surface
“We have RLS somewhere”Tenant-scoped evaluation + audit export
Architecture decksCaptured proof JSON + CI gates