Hugging Face's logo

Sahek
/
kaysentinel

ethereum
formal-methods
evm
Model card Files
xet
 Community
kaysentinel / runtime

Commit History

  1. Add SSZ decoders with round-trip tests; add live-Geth validation runbook

    Sahek
    d655886

  2. Complete Gate 2: semantic replay reducer + capstone full-pipeline integration test (Go JSON to Gate 2 verification)

    Sahek
    d34fb5f

  3. Gate 2 groundwork: Domain::Gate2Replay, wire real dependencies into runtime/verify, ExecutionBatchReplay + envelope integrity check

    Sahek
    dea3eb2

  4. Implement Layer 2 Bridge Engine: Go event stream buffering + translation to CanonicalSemanticEvent

    Sahek
    3cc80a5

  1. Phase 5: SimpleStorageRootDeriver + resolve_storage_roots; closes UnresolvedStorageRoot gap in PR3; restore ssz doc comments

    Sahek
    bb080a7

  2. PR3: SSZ encoding + BLAKE3 commitment for CanonicalAccountCertificate via local SszEncodeCertificate trait

    Sahek
    777004a

  1. PR1: split ExecutionContext into Normative/Provisional/Trace; PR2: diagnostic isolation + semantic sensitivity conformance tests

    Sahek
    8ba1a4e

  1. Add kaysentinel-protocol crate: implementation-neutral shared error type (PR 1 / File 1)

    kaymyg
    15637c2

  1. Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector

    kaymyg
    1cf8da3

  2. Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress

    kaymyg
    a74f5ab

  3. Add hydration/assembly split (HydratedAccountState, identity-consistency check) and Phase 5 StorageRootDeriver scaffolding

    karanjahpn
    f6c6557

  1. Fix storage_root/balance type drift; wire certificate assembly to real state_table + generations via AccountSnapshotSource

    karanjahpn
    f03b5fe

  2. Add generation-resolution certificate module; add formal semantic architecture spec doc

    karanjahpn
    5b4fc84

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

    karanjahpn
    2e298fd

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

    karanjahpn
    e8fbcdf

  1. refactor(builder): flatten IR into relational tables (RawIr/CanonicalKey), rewrite partition.rs to match, add contextual TimelineError

    karanjahpn
    76f90e3

  2. Refactor builder IR: split timeline/reduced modules, encapsulate reduction, drop access-list tracking pending lifecycle.rs decision

    karanjahpn
    e7a10c1

  3. Implement lossless builder IR: timelines, reducible-timeline trait, partition frontend

    karanjahpn
    e80c4f8

  4. Add Rust runtime workspace (cse ABI crate + workspace scaffold)

    karanjahpn
    a8d46c6

  5. Add Rust runtime workspace (cse ABI crate + workspace scaffold)

    karanjahpn
    af1221d