-
Add SSZ decoders with round-trip tests; add live-Geth validation runbook
-
Implement Gate 1 Invariant T1 (root frame / transaction revert consistency) with tests; retire ssz_profile.md in favor of ssz_specification.md
-
Add T1/T0-retraction validation spec and Layer 2/3 bridge buffering spec with reason-keyed frameless mutation taxonomy
-
Add EMES v1.0 governance framework (governance, conformance, spec, ADR register, reconciliation log + matrix)
-
Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector
kaymyg
-
Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress
kaymyg
-
Add generation-resolution certificate module; add formal semantic architecture spec doc
karanjahpn
-
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
karanjahpn
-
Add raw/transcript package: fix 3rd compile bug the previous 'verified' pass missed; test determinism and value isolation for real
karanjahpn
-
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
karanjahpn
-
Add EMES-V1 Geth tracer targeting current tracing.Hooks API (fixes deprecated vm.EVMLogger scaffold); compiled and vetted clean
karanjahpn
-
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
karanjahpn
-
Add frozen v1.0.0 validation vector schema + spec doc
karanjahpn
-
Add normative semantic_contract.md v1.0.0; link from framework.md
karanjahpn
-
Upload docs/implementation_roadmap.md with huggingface_hub
-
Reorganize into docs/scripts/tests folders