Commit c8c8c0d
committed
chore: rewrite CLAUDE.md for V3 with correctness invariants
Reduce CLAUDE.md from 577 to 108 lines, refocus on essential guidance:
Removals:
- ~250 lines of RBAC/multi-tenancy/index API examples (belong in module docs)
- Redundant file/ETS table listings
- Pre-V3 configuration details
Additions:
- V3 state machine shape and 6 correctness invariants:
* Deterministic replay via meta.system_time
* No anonymous functions in Raft state/log
* All mutations routed through Raft consensus
* ETS as materialized views
* Snapshots via release_cursor effects
* Pre-consensus evaluation for CAS operations
- Module responsibility table
- Links to architectural docs in docs/ directory
Better signal-to-noise for future implementers working with Raft consensus.1 parent f9c8eb1 commit c8c8c0d
1 file changed
+79
-533
lines changed
0 commit comments