Hugging Face's logo

Sahek
/
kaysentinel

ethereum
formal-methods
evm
Model card Files
xet
 Community
kaysentinel / runtime /builder /src /lifecycle /resolve.rs

Commit History

  1. Thread real TraceProvenance through lifecycle events; add CanonicalBalance scaffolding; fix then_owned compile bug; merge pre_states+generation+balance verification

    karanjahpn
    2e298fd

  2. Add lifecycle module (Phase 3+4): generation resolution + canonicalization over ObservedLifecycle, first passing test

    karanjahpn
    e8fbcdf