Transaction Science
769b83d059
joule-moq-relay: the DVR store honours a signed takedown — forgets what it covers, signs a purge, holds across a restart ...
A takedown (WAI takedown §10.1) rides the track [K, takedown], 0, signed by K, a key in
dvr.takedown_keys or auth.authorities. The store erases every object whose content
hash its exact or matched set names, and every object of a track its exact set names
from a group on (erased reason 3), in every room; never stores one again (an identical
copy on another track included); withholds them from every FETCH, from the store and
the cache, to moderators too; logs the takedown in takedowns.wdl, verified again on
start; and signs a purge with the relay's key under purges/<link>.json, once.
Also: the takedown module's clippy notes (type aliases, slice::from_ref), and the
Python verifier memoises its signature checks.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-21 19:37:50 -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 remote-tracking branch 'origin/main' into joule-moq/e2ee-web
2026-10-20 08:30:25 -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-mls, joule-moq-web, joule-moq-room: clippy notes on the new code
2026-10-20 08:57:05 -04:00
joule-moq-relay: the DVR store honours a signed takedown — forgets what it covers, signs a purge, holds across a restart
2026-10-21 19:37:50 -04:00
Merge remote-tracking branch 'origin/main' into joule-moq/e2ee-web
2026-10-20 17:21:44 -04:00
joule-moq-web e2e: the service scenario seeks back from the relay's DVR window
2026-10-20 17:42:15 -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
769b83d059