Edition README
PRISM-1R
README.md
1 # PRISM-1R v0.2 Implementation Handoff
2
3 This package extends the PRISM-1R deployment blueprint into an implementation-oriented handoff.
4
5 ## Contents
6
7 - `docs/`: LaTeX and compiled PDF blueprint
8 - `figures/`: Python-generated architecture, PSM, NoC, state-machine, deployment, and command-layout figures
9 - `python/`: figure generator source
10 - `rtl/`: SystemVerilog boundary skeletons for the generation guard and commit path
11 - `sim/`: minimal executable semantic reference for commit/replay behavior
12 - `tests/`: Python smoke tests for commit invariants
13
14 ## Important status boundary
15
16 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.
17
18 ## Semantic invariants carried by this release
19
20 1. A stale generation can never commit.
21 2. Certificate failure cannot silently become success.
22 3. Uncorrectable faults force containment/abort.
23 4. Retryable local failures may enter replay without invalidating unrelated committed state.
24 5. Hardware specialization may not change the mathematical output contract.