shinzui/keiki · docs/adr
Bundle OKF 0.2 · 7 conceitos · shinzui/keiki
Open source Repository Open in the app JSON
About
# Files
- [profile.dhall](profile.dhall)
# Architecture Decision Record
- [Structural re-indexing of `Term`/`OutFields` for sound replay](0001-structural-re-indexing-for-sound-replay.md) - Recover replay indices by type-level structural re-indexing of Term and OutFields schemas instead of runtime coercion, eliminating unsound unsafeCoerce-based index recovery.
- [Event logs must reproduce forward state](0002-event-logs-must-reproduce-forward-state.md) - Require that replaying any log accepted by default validation reproduces the same forward vertex and register file, backed by structured replay APIs and default validation checks.
- [Proof gates fail conservatively](0003-proof-gates-fail-conservatively.md) - Treat only a definite solver Unsatisfiable result as proof of predicate emptiness, keeping every proof gate, projection domain, and verification classification conservative under solver or encoding uncertainty.
- [Composition uses snapshot updates and checked boundaries](0004-com
Details
- Kind
- OKF bundles
- Topic
- No topic detected
- Publisher
- shinzui
- Origin
- okf_github
- Category
- dados
- Version
- 0.2
- Added
- 2026-09-09 05:03:59
- Updated
- 2026-09-09 05:03:59
- Origin id
shinzui/keiki:docs/adr/index.md