Replay
verifiedCapture, run, minimize, import, export, and compare replay bundles.
crates/prism-mcp-replay/src/lib.rs
limitation: Restart recovery proven for in-memory and file-backed stores.
The authoritative public map of what exists, what is qualifying, and what has been validated.
Capture, run, minimize, import, export, and compare replay bundles.
crates/prism-mcp-replay/src/lib.rs
limitation: Restart recovery proven for in-memory and file-backed stores.
Receipts carry commit, build, model, target, inputs, route, conformance gates.
evidence-schema/
limitation: Schema version 1.0; canonical keys typed as newtypes.
Create, run, cancel, resume, compare, and promote experiments.
crates/prism-mcp-lab/src/lib.rs
limitation: Promotion is a typed operation; comparison preserves provenance.
Plan benchmarks, compare evidence, detect regressions, promote baselines.
crates/prism-mcp-bench/src/lib.rs
limitation: Compile-verified path; hardware-specific baselines pending.
Metal dispatch on Apple Silicon; ANE prefill; CoreAudio streams.
crates/prism-metal-runtime/src/
limitation: Tok/s measurements pending a hardware-bound run.
ROCm/HIP dispatch on AMD MI300X; gfx942-oriented validation.
crates/prism-rocm-runtime/src/
limitation: Compile-verified; device-evidence on the silicon pending.
Tile, FIFO, DMA, barrier, and resource legalization for spatial plans.
crates/prism-amd-npu-runtime/src/
limitation: Compile-verified planning; hardware execution requires XDNA-capable system.
ANE prefill for the Apple path.
crates/prism-ane/src/
limitation: Planned; not yet validated end-to-end.
Progressive ternarization with quality and admission gates.
crates/prism-ecs-compile/src/
limitation: Compile-verified; resumable; constitutional admission applies.
Mixed-precision candidates searched against the quality contract.
crates/prism-ecs-quantization/src/
limitation: Implemented; quality contract is constitutional.
Six-strata deployment artifact with typed identity and binding ABI.
crates/prism-ecs-artifact/src/
limitation: Implemented; ABI v1 documented in docs/cimage-layout-abi-v1.md.
KV-cache search, compression, and ownership as a constitutional concern.
crates/prism-kv-cache/src/
limitation: Compile-verified; full runtime integration hardening in progress.
The capability map uses one vocabulary and refuses to inflate status.
Status classification.
The capability map uses one vocabulary and refuses to inflate status. A Measured claim is not a Verified claim; a Compile-verified path is not a Validated path. Status is attached to a specific code path, feature set, model, hardware target, and evidence class.
Filter by domain or status; every entry carries source paths and limitations.
What is implemented today.
Filter by domain or status. Every entry carries source paths and an explicit limitation. The categories are:
Each entry's status is one of Implemented, Compile-verified,
Measured, Verified, or Planned. A claim without source paths
fails the constitutional rule and is rejected at build time.
Implemented is not the same as released.
Status is scoped to a specific code path.
Implemented is not the same as released. Prism is pre-1.0 systems software. Status is attached to a specific code path, feature set, model, hardware target, and evidence class. The map intentionally preserves those distinctions.
The capability map uses one vocabulary and refuses to inflate status. A Measured claim is not a Verified claim; a Compile-verified path is not a Validated path.
Every claim is bounded by the evidence that supports it. A claim outside its evidence class is a constitutional violation.
Implemented is not the same as released. Prism is pre-1.0 systems software; status is attached to a specific code path, feature set, model, hardware target, and evidence class.