Transaction Science
f191f2b95a
co-performance: the commitment's magic is WPK1, not WPC1 (taken by ad-presentation) ...
ad-presentation (on main) registers WPC1 for a player's presentation claim, and
co-performance registered WPC1 again for its commitment, so the registry's
library test (wire_identifiers_are_in_their_documents) refuses the train:
"WPC1 (magic) is listed twice". The commitment takes WPK1, unused anywhere:
the extension's magic table and §7.5 layout, wai-rs's constant, the relay's
floor reader, the independent verifier, the SPEC §5 paragraph, the changelog
entry and two comments. The corpus is regenerated by its generator (only the
commitments' bytes and what signs or digests them change) and the registry
export with it.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-22 04:11:30 -04:00
joule-code: stand up the Joule Code standard (v0.1.0 draft)
2026-06-02 14:07:00 -04:00
joule-code: add generic FnStage to the cascade (L1/L2/L3 binding)
2026-06-03 12:50:43 -04:00
lockstep-quic: distributed BFT consensus over the real-QUIC transport
2026-06-27 07:12:43 -04:00
joule-code-conformance: the header undersold the harness by a whole suite
2026-10-20 13:51:38 -04:00
joule-code-identity: a Roster — resolve did:key → {label, kind} for audit
2026-06-11 19:27:37 -04:00
jcp: a ModelIn caveat says which model a grant authorizes, and the frame names the model it runs
2026-10-17 04:21:21 -04:00
joule-code-joulecontract: an obligation nothing checked is not discharged
2026-10-17 16:08:58 -04:00
specs: a vendor counter is a hardware reading only while it is demonstrably live
2026-10-01 01:10:36 -04:00
joule-code-release: the whole chain end to end, as one runnable artifact
2026-06-11 00:32:56 -04:00
joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"
2026-10-14 20:01:38 -04:00
family: the methodology layer, made auditable — spec, review, vericoding
2026-06-10 17:45:47 -04:00
tooling: meter-cmd (energy bracket) + gen-fixture (review fixtures)
2026-06-12 07:04:06 -04:00
joule-code: stand up the Joule Code standard (v0.1.0 draft)
2026-06-02 14:07:00 -04:00
family: the methodology layer, made auditable — spec, review, vericoding
2026-06-10 17:45:47 -04:00
Merge T1 #401 (MOQT drafts -18 and -16, interoperability) into train/live-room
2026-10-22 03:46:09 -04:00
joule-moq-ingest: a grant whose ai attribute is not a model digest is grant_invalid (live-rooms §4.4)
2026-10-21 07:24:54 -04:00
joule-moq-interop: local.sh waits for its relay to exit
2026-10-21 13:02:45 -04:00
joule-moq-mls, joule-moq-web, joule-moq-room: clippy notes on the new code
2026-10-20 08:57:05 -04:00
co-performance: the commitment's magic is WPK1, not WPC1 (taken by ad-presentation)
2026-10-22 04:11:30 -04:00
co-performance: the commitment's magic is WPK1, not WPC1 (taken by ad-presentation)
2026-10-22 04:11:30 -04:00
co-performance: the commitment's magic is WPK1, not WPC1 (taken by ad-presentation)
2026-10-22 04:11:30 -04:00
jwp: a zstd payload over the cap is rejected, not truncated
2026-10-17 04:36:53 -04:00
lockstep-quic: correct the root cause — macOS launch context, not a quinn bug
2026-06-27 07:12:43 -04:00
f191f2b95a