PRISM-1R

PRISM-1R v0.2 Implementation Handoff

This package extends the PRISM-1R deployment blueprint into an implementation-oriented handoff.

Contents

• docs/: LaTeX and compiled PDF blueprint
• figures/: Python-generated architecture, PSM, NoC, state-machine, deployment, and command-layout figures
• python/: figure generator source
• rtl/: SystemVerilog boundary skeletons for the generation guard and commit path
• sim/: minimal executable semantic reference for commit/replay behavior
• tests/: Python smoke tests for commit invariants

Important status boundary

The RTL is a semantic/interface skeleton, not production RTL. It has not been synthesized, timed, placed, or power-analyzed. The command bit allocation is a candidate packing for prototyping, not a frozen ABI.

Semantic invariants carried by this release

1. A stale generation can never commit.
2. Certificate failure cannot silently become success.
3. Uncorrectable faults force containment/abort.
4. Retryable local failures may enter replay without invalidating unrelated committed state.
5. Hardware specialization may not change the mathematical output contract.