open-standards/joule-code/joule-code-rs/crates
Repository files (latest commit first)
Filename Latest commit message Latest commit date
2026-10-24 20:22:15 -04:00
..
joule-code-cargo joule-code: stand up the Joule Code standard (v0.1.0 draft) 2026-06-02 14:07:00 -04:00
joule-code-cascade joule-code: add generic FnStage to the cascade (L1/L2/L3 binding) 2026-06-03 12:50:43 -04:00
joule-code-collab lockstep-quic: distributed BFT consensus over the real-QUIC transport 2026-06-27 07:12:43 -04:00
joule-code-conformance joule-code-conformance: the header undersold the harness by a whole suite 2026-10-20 13:51:38 -04:00
joule-code-identity joule-code-identity: a Roster — resolve did:key → {label, kind} for audit 2026-06-11 19:27:37 -04:00
joule-code-jcp 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 joule-code-joulecontract: an obligation nothing checked is not discharged 2026-10-17 16:08:58 -04:00
joule-code-receipt 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 joule-code-release: the whole chain end to end, as one runnable artifact 2026-06-11 00:32:56 -04:00
joule-code-remediate joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured" 2026-10-14 20:01:38 -04:00
joule-code-review family: the methodology layer, made auditable — spec, review, vericoding 2026-06-10 17:45:47 -04:00
joule-code-reviewer tooling: meter-cmd (energy bracket) + gen-fixture (review fixtures) 2026-06-12 07:04:06 -04:00
joule-code-schema joule-code: stand up the Joule Code standard (v0.1.0 draft) 2026-06-02 14:07:00 -04:00
joule-code-spec family: the methodology layer, made auditable — spec, review, vericoding 2026-06-10 17:45:47 -04:00
joule-moq confidentiality §8.4, §11.6, §11.7: receipts bound to each object's identity, and the transport's revisions 2026-10-24 20:22:15 -04:00
joule-moq-ingest joule-moq: receipts bound to the object's identity, and a door that holds objects to it 2026-10-24 20:22:15 -04:00
joule-moq-interop joule-moq-interop: wai-sealed, every object a secure object and every receipt identity-bound 2026-10-24 20:22:15 -04:00
joule-moq-mls joule-moq-mls identity: each object of the vectors' group a named Spec, not a tuple (clippy type_complexity); identity.json unchanged 2026-10-24 20:22:15 -04:00
joule-moq-relay confidentiality §8.4, §11.6, §11.7: receipts bound to each object's identity, and the transport's revisions 2026-10-24 20:22:15 -04:00
joule-moq-room Merge pull request 'joule-moq-room: its lockfile follows wai-quantum 0.6.14 (repository checks red on main since #427)' (#447) from sec/rust-advisories-2026-10 into main 2026-10-22 14:33:49 -04:00
joule-moq-web joule-moq: receipts bound to the object's identity, and a door that holds objects to it 2026-10-24 20:22:15 -04:00
jwp jwp: a zstd payload over the cap is rejected, not truncated 2026-10-17 04:36:53 -04:00
lockstep-quic lockstep-quic: correct the root cause — macOS launch context, not a quinn bug 2026-06-27 07:12:43 -04:00