-
Phase 5: SimpleStorageRootDeriver + resolve_storage_roots; closes UnresolvedStorageRoot gap in PR3; restore ssz doc comments
-
PR1: split ExecutionContext into Normative/Provisional/Trace; PR2: diagnostic isolation + semantic sensitivity conformance tests
-
Add hydration/assembly split (HydratedAccountState, identity-consistency check) and Phase 5 StorageRootDeriver scaffolding
karanjahpn
-
Fix storage_root/balance type drift; wire certificate assembly to real state_table + generations via AccountSnapshotSource
karanjahpn
-
Add generation-resolution certificate module; add formal semantic architecture spec doc
karanjahpn
-
Thread real TraceProvenance through lifecycle events; add CanonicalBalance scaffolding; fix then_owned compile bug; merge pre_states+generation+balance verification
karanjahpn
-
Add lifecycle module (Phase 3+4): generation resolution + canonicalization over ObservedLifecycle, first passing test
karanjahpn
-
refactor(builder): flatten IR into relational tables (RawIr/CanonicalKey), rewrite partition.rs to match, add contextual TimelineError
karanjahpn
-
Refactor builder IR: split timeline/reduced modules, encapsulate reduction, drop access-list tracking pending lifecycle.rs decision
karanjahpn
-
Implement lossless builder IR: timelines, reducible-timeline trait, partition frontend
karanjahpn
-
Add Rust runtime workspace (cse ABI crate + workspace scaffold)
karanjahpn
