|
|
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 |