Sahek
/

kaysentinel

Model card Files Files and versions

kaysentinel / validation

18.1 kB

Ctrl+K

Ctrl+K

3 contributors

History: 3 commits

Sahek's picture

Implement Gate 1 Invariant T1 (root frame / transaction revert consistency) with tests; retire ssz_profile.md in favor of ssz_specification.md

bbaba20 4 months ago

engine.go

2.57 kB
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end 4 months ago
gate1.go

6.12 kB
Implement Gate 1 Invariant T1 (root frame / transaction revert consistency) with tests; retire ssz_profile.md in favor of ssz_specification.md 4 months ago
gate1_test.go

7.18 kB
Implement Gate 1 Invariant T1 (root frame / transaction revert consistency) with tests; retire ssz_profile.md in favor of ssz_specification.md 4 months ago
normalizer.go

2.23 kB
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end 4 months ago