open-standards/joule-code/joule-code-rs/crates
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 289d584b02
All checks were successful
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 15s
repository checks / lockfiles, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 1m24s
joule-code conformance gate / Build + round-trip C1-C4 vectors (pull_request) Successful in 2m3s
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (pull_request) Successful in 58s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 10m11s
standards workspaces build + test / jcp-rs (jcp-conformance, jcp/jcp-rs, -p jcp-energy --features nvml, jcp-rs, linux) (pull_request) Successful in 1m52s
standards workspaces build + test / joule-ui-rs (joule-ui/joule-ui-rs, joule-ui-rs, linux) (pull_request) Successful in 1m11s
standards workspaces build + test / joulecontract-rs (joulecontract/joulecontract-rs, joulecontract-rs, linux-arm64, true) (pull_request) Successful in 4m31s
standards workspaces build + test / joulehook-rs (joulehook/joulehook-rs, joulehook-rs, linux) (pull_request) Successful in 1m14s
standards workspaces build + test / jouleclaw-rs (-nodebug, jouleclaw/jouleclaw-rs, -p jouleclaw-energy --features rapl,nvml, jouleclaw-rs, linux-arm64, -C target-feature=+fp16) (pull_request) Successful in 17m16s
standards workspaces build + test / mesh-rs (mesh/mesh-rs, -p mesh-engine-gguf -p mesh-openai --features mesh-engine-gguf/gguf,mesh-openai/server, mesh-rs, linux-arm64) (pull_request) Successful in 1m45s
standards workspaces build + test / proof-rs (proof-conformance, proof/proof-rs, proof-rs, linux, true) (pull_request) Successful in 1m37s
standards workspaces build + test / sandbox-rs (sandbox-conformance, sandbox/sandbox-rs, sandbox-rs, linux) (pull_request) Successful in 2m28s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 7m41s
standards workspaces build + test / jouledesk-rs (jouledesk/jouledesk-rs, jouledesk-rs, macos) (pull_request) Successful in 1m54s
jcp: a ModelIn caveat says which model a grant authorizes, and the frame names the model it runs
A grant's capability names one resource by content address. When that
resource is an inference endpoint, the model it runs was chosen inside the
payload, and the decision point sees only the payload's hash. So a grant
could authorize "this endpoint" but never "this endpoint, running these
models". Only PayloadIs came close, and it makes the grant single-use. JCP
enforced a model's integrity (refuse wrong bytes) but not authorization
over which model runs.

- `Frame.model: Option<ContentId>` is the content address of the model the
  action runs. The dispatching runtime fills it, since it knows what it will
  load. It is omitted from the encoding when absent, so frames and every
  receipt and vector over them keep their bytes.
- `Caveat::ModelIn(Vec<ContentId>)` requires the frame to name one of these
  models. It fails closed: a frame naming no model is denied
  `caveat-unsatisfied`, so a dispatcher that does not say what it will run
  cannot exercise the grant. A delegate narrows the set by adding a smaller
  ModelIn beside the inherited one; both must hold, so the intersection
  governs. This is authorization by content address, not a registry
  (SPEC §12).
- SPEC §4.9 and §6 describe both, and C24's conformance check now covers
  ModelIn.
- Every Frame literal in the repository gains `model: None`. That is 28
  sites across jcp-rs, joule-code-rs, joule-ui-rs, jouleclaw-rs and
  sandbox-rs.

Checked on the build host:
- jcp-rs: 496 tests pass, and the conformance suite passes all checks,
  including C24 with ModelIn.
- Every vector gen-vectors writes is byte-identical to the published one.
- All eight workspaces that depend on jcp-schema pass `cargo check
  --all-targets`. The consumers jouleclaw-jcp, joule-code-jcp, sandbox-jcp
  and joule-ui pass their tests.
- Mutations: letting a frame with no model pass, and encoding an absent
  model, each fail tests.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-17 04:21:21 -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: close the two gaps its conformance gate cannot see 2026-10-10 17:20: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 joulecontract v0.8: the implementability amendment — round five seals the pack 2026-06-10 16:21:44 -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 joule-moq: clippy's style notes on the draft-22 code 2026-10-16 10:22:34 -04:00
jwp msrv: raise the rust-version floor to 1.97 across the workspaces 2026-07-23 00:17:08 -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