open-standards/joule-code/joule-code-rs/crates
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 81ba291c56
All checks were successful
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 2m7s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 2m14s
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 30s
repository checks / lockfiles, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 1m47s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 3m43s
joule-code conformance gate / Build + round-trip C1-C4 vectors (pull_request) Successful in 3m25s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 7m0s
joule-code-conformance: the header undersold the harness by a whole suite
Found while hand-checking a candidate my own cross-standard audit had flagged.
The audit was wrong — `verify_cascade` and `verify_gated_cascade` both exist, so
C4 and C5 are implemented — but reading the crate to disprove the flag turned up
three stale claims in its own documentation.

**It says four suites; there are five.** "runs the four suites: C1 content
addressing, C2 signing, C3 receipt, C4 cascade" omits C5 gated cascade, whose
six vectors demonstrably run (`c5-ungranted-l4-denied-even-when-it-would-close`
and friends). A reader of the header would not know C5 is covered at all. This
is the understating direction of the same defect the last few changes here have
been about: documentation narrower than the code.

**It implies something is outstanding when nothing is.** Both the lib header
and `main.rs` explain SKIP as "derived fields pending regeneration", while
`conformance/v1/regeneration.md` says "Status: all fields are real ... all
vectors pass, none skipped. There are no placeholders." The run agrees: 24
passed, 0 failed, 0 skipped. The SKIP mechanism is kept, because a future input
change re-opens that state — but it no longer reads as a backlog. All three
documents now say the same thing.

**And three `cargo doc` warnings were the docs' own fault.** `issuer key =
[1;32], agent key = [2;32], steward key = [7;32]` are Rust array literals for
the fixed test keys, written without backticks, so rustdoc parsed each as an
intra-doc link and could not resolve it. Backticked; `cargo doc --no-deps` for
this crate goes from 3 warnings to 0.

Verified: pack 24 passed / 0 failed / 0 skipped, tests pass, clippy `-D
warnings` clean, `cargo doc` clean.

Co-Authored-By: Claude Opus 5 <[email protected]>
2026-10-20 13:51:38 -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 Merge remote-tracking branch 'origin/main' into joule-moq/dvr 2026-10-20 03:44:05 -04:00
joule-moq-ingest joule-moq-web: the Seek back control and its e2e scenario; joule-moq-ingest reads the seek power 2026-10-19 11:55:12 -04:00
joule-moq-mls joule-moq-mls: clippy's notes on the model and the corpus generator 2026-10-19 21:27:41 -04:00
joule-moq-relay joule-moq-relay: depend on joule-moq's secure-objects feature, for the Key ID reader 2026-10-20 03:51:15 -04:00
joule-moq-room joule-moq-room: Cargo.lock with the relay's secure-objects dependencies 2026-10-20 03:51:44 -04:00
joule-moq-web joule-moq-web e2e: each run starts from no results 2026-10-19 22:29:16 -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