open-standards/proof/proof-rs/crates/proof-cascade
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science c597406838
All checks were successful
energy meters on real hardware / RAPL and NVML on jetson-hub (pull_request) Successful in 42s
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 10m41s
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 2m57s
standards workspaces build + test / aac-rs (pull_request) Successful in 3m0s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 1m29s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 58s
standards workspaces build + test / map-rs (pull_request) Successful in 1m1s
standards workspaces build + test / mesh-rs (pull_request) Successful in 57s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 1m2s
standards workspaces build + test / openpay (pull_request) Successful in 3m33s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 5m0s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m41s
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (pull_request) Successful in 1m2s
spec citations resolve / Code cites no section its SPEC lacks (pull_request) Successful in 6s
lockfiles / every Cargo.lock is current (pull_request) Successful in 36s
standards workspaces build + test / arl-rs (pull_request) Successful in 1m9s
standards workspaces build + test / eoc-rs (pull_request) Successful in 2m5s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m47s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 1m11s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 1m10s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m28s
standards workspaces build + test / sense-rs (pull_request) Successful in 1m11s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m23s
tests in CI / every test file is run by a job or listed with its reason (pull_request) Successful in 5s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m16s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 3m59s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m22s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 1h26m5s
IOReport meters: the two clippy warnings each macOS reader carried
proof-cascade, eoc-meter and jouleclaw-energy share an IOReport reader, and
clippy warned twice in each, only on macOS (the code is gated there):

- duplicated_attributes on the empty extern block that links IOReport,
  IOKit and CoreFoundation. The lint reads the repeated `kind` key across
  separate `#[link]`s as a duplicate. The links are three distinct libraries,
  so it is allowed with that reason, as jcp-energy already does.
- manual_c_str_literals: `b"IOReportChannels\0"` is now `c"IOReportChannels"`,
  as the other keys in these files already are.

A macOS sweep of every workspace (`cargo clippy --all-targets --keep-going`)
found no deny-level error anywhere; these six were the only instances of
either lint. Meter tests pass on the build host: proof-cascade 111,
eoc-meter 86, jouleclaw-energy (ioreport) 129.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-14 01:19:55 -04:00
..
src IOReport meters: the two clippy warnings each macOS reader carried 2026-10-14 01:19:55 -04:00
tests proof-cascade: the meter reads its own process only once the measuring thread has left its core 2026-10-12 20:50:53 -04:00
Cargo.toml Add the proof open standard — a carrier for verified work 2026-06-07 15:30:07 -04:00