4fcec26999
Completes the JCR-1 v1 three-impl conformance pattern (Rust +
Python + Go byte-equal) for all six new schemas landed since
wave-46. Each Go verifier is independent — no JouleClaw imports,
no JouleClaw-Rust crate links — just Go stdlib + lukechampine.com/
blake3 (the canonical Go BLAKE3 module).
Six Go verifiers shipped, paired with their Python siblings:
jouleclaw-jcr1/conformance/go/
go.mod (lukechampine.com/blake3 v1.3.0)
verify_verified_code/main.go (verified-code/1)
verify_stream_window/main.go (stream-window/1)
verify_ui_output/main.go (ui-output/1)
verify_coding_window/main.go (coding-window/1)
jouleclaw-cross-binding/conformance/go/
go.mod
verify_cross_binding/main.go (cross-binding/1)
verify_streaming_trace_binding/main.go (streaming-trace-binding/1)
Each main.go:
- reads the embedded *-vectors.json,
- recanonicalises every payload via a from-scratch orderedMap
JSON encoder (recursive key sort, no whitespace, no float
coercion),
- BLAKE3-hashes the canonical bytes via lukechampine.com/blake3,
- asserts byte-equal hex against the vector's embedded hash field.
All six PASS — Rust, Python, and Go produce byte-identical canonical
encodings + BLAKE3 hashes for every shipped vector. The standard is
now operational, not theoretical: a fourth implementation in any
language is conformant iff it reproduces these PASS results.
Cross-binding README updated to reflect the complete 3×2 conformance
matrix.
Co-Authored-By: Claude Opus 4.7 <[email protected]>
7 lines
150 B
Modula-2
7 lines
150 B
Modula-2
module jouleclaw-cross-binding-conformance
|
|
|
|
go 1.21
|
|
|
|
require lukechampine.com/blake3 v1.3.0
|
|
|
|
require github.com/klauspost/cpuid/v2 v2.0.9 // indirect
|