Transaction Science
10c5497351
wai: the browser writers refuse a manifest that names a member twice ...
wai-web's pack and packMulti parsed the manifest with serde_json, which keeps
the last of two equal names outside a struct's own fields, and then wrote the
text as given, so they could emit an envelope every reader refuses (SPEC §2).
Both now read the manifest through check_unique_members first. A native test
covers a repeat at the top, in target, in model_requirement, nested with an
escape, and in a WAI2 entry; verify_pack.mjs checks the built wasm writers
refuse it; the CI native test count is 9.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-04 22:38:15 -04:00
smart-byte: generate the conformance pack from the reference implementation
2026-09-30 20:30:04 -04:00
ci: run joule-code-remediate's formal gate against a real z3
2026-10-01 18:40:37 -04:00
ci: bump hardcoded toolchain pins 1.97.1 → 1.98.0
2026-08-26 07:41:56 -04:00
ci: give the WAI name list only to the push-to-main run
2026-10-01 08:38:13 -04:00
ci: build and run the energy meters' NVML-gated tests
2026-10-01 18:40:37 -04:00
ci(wai): staged delivery in the conformance, byte-equality and proof jobs
2026-10-04 14:10:20 -04:00
wai: is_enhancement_layer reads the admission table; a test reads §4.2 and A.6
2026-10-04 20:29:32 -04:00
Merge pull request 'wai: the integer codecs' binary payloads, pinned in place' ( #139 ) from wai/land-16-binary-payloads into main
2026-10-04 14:05:11 -04:00
ci(wai): staged delivery in the conformance, byte-equality and proof jobs
2026-10-04 14:10:20 -04:00
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
wai-neural-e2e: make the job run, and fix the decoder mismatch it was hiding
2026-09-29 09:46:15 -04:00
wai: an unpinned decode reads its set once and is checked by every identity
2026-10-01 23:08:03 -04:00
wai: key discovery, signing authority and module revocation
2026-10-01 07:12:20 -04:00
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai: the browser writers refuse a manifest that names a member twice
2026-10-04 22:38:15 -04:00
10c5497351