Commit History

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

kaymyg commited on

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

kaymyg commited on

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

karanjahpn commited on

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

karanjahpn commited on

Add generation-resolution certificate module; add formal semantic architecture spec doc
5b4fc84

karanjahpn commited on

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

karanjahpn commited on

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

karanjahpn commited on

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

karanjahpn commited on

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

karanjahpn commited on

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

karanjahpn commited on

Add Rust runtime workspace (cse ABI crate + workspace scaffold)
a8d46c6

karanjahpn commited on

Add Rust runtime workspace (cse ABI crate + workspace scaffold)
af1221d

karanjahpn commited on

Add missing transcript README.md from previous commit
1b950d4

karanjahpn commited on

Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
99a7168

karanjahpn commited on

Add raw/transcript package: fix 3rd compile bug the previous 'verified' pass missed; test determinism and value isolation for real
ed2bd8a

karanjahpn commited on

Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
d45e301

karanjahpn commited on

Add EMES-V1 Geth tracer targeting current tracing.Hooks API (fixes deprecated vm.EVMLogger scaffold); compiled and vetted clean
e778cab

karanjahpn commited on

Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
b0951d6

karanjahpn commited on

Add frozen v1.0.0 validation vector schema + spec doc
40fe946

karanjahpn commited on

Add normative semantic_contract.md v1.0.0; link from framework.md
23b5315

karanjahpn commited on

Fix MIT license year and name
a0f0864

karanjahpn commited on

Harden verify_ssr: dedicated exceptions, input validation, constant-time compare
df423b1

karanjahpn commited on

Upload docs/implementation_roadmap.md with huggingface_hub
8227110
verified

Sahek commited on

Upload README.md with huggingface_hub
b8509e1
verified

Sahek commited on

Upload README.md with huggingface_hub
3ab4cce
verified

Sahek commited on

Reorganize into docs/scripts/tests folders
a385722
verified

Sahek commited on

Delete files transient_storage_case.json with huggingface_hub
7319c55
verified

Sahek commited on

Delete files verify_ssr.py with huggingface_hub
a6e70a1
verified

Sahek commited on

Delete files differential_testing.md with huggingface_hub
4c8e4e6
verified

Sahek commited on

Delete files framework.md with huggingface_hub
54827b9
verified

Sahek commited on

Upload README.md with huggingface_hub
75fe3f7
verified

Sahek commited on

Upload LICENSE with huggingface_hub
c9e77a6
verified

Sahek commited on

Initial commit: Kaysentinel framework spec + differential test harness
a53479f
verified

Sahek commited on

initial commit
51f07d3
verified

Sahek commited on