112 kB

Ctrl+K

3 contributors

History: 16 commits

Sahek

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

d655886 4 months ago

emes
Add T1/T0-retraction validation spec and Layer 2/3 bridge buffering spec with reason-keyed frameless mutation taxonomy 4 months ago
differential_testing.md

3 kB
Reorganize into docs/scripts/tests folders 4 months ago
emes_profile.md

12.6 kB
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end 4 months ago
framework.md

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

4.88 kB
Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress 4 months ago
implementation_roadmap.md

9.62 kB
Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress 4 months ago
live_geth_validation_runbook.md

9.99 kB
Add SSZ decoders with round-trip tests; add live-Geth validation runbook 4 months ago
semantic_architecture_spec.md

8.2 kB
Add generation-resolution certificate module; add formal semantic architecture spec doc 4 months ago
semantic_contract.md

6.98 kB
Add normative semantic_contract.md v1.0.0; link from framework.md 4 months ago
ssz_profile.md

8.52 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
ssz_specification.md

5.84 kB
Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector 4 months ago
validation_vector_spec.md

6.24 kB
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes 4 months ago