| Filename | Latest commit message | Latest commit date |
|---|---|---|
f9dac4e14b
Some checks failed
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 2m45s
standards workspaces build + test / aac-rs (pull_request) Successful in 1m32s
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Has been cancelled
no-vanity-metrics / WAI public text names no comparison (pull_request) Has been cancelled
no-vanity-metrics / WAI public text names no company or product (pull_request) Has been cancelled
standards workspaces build + test / arl-rs (pull_request) Has been cancelled
standards workspaces build + test / eoc-rs (pull_request) Has been cancelled
standards workspaces build + test / jcp-rs (pull_request) Has been cancelled
standards workspaces build + test / joule-ui-rs (pull_request) Has been cancelled
standards workspaces build + test / joulecontract-rs (pull_request) Has been cancelled
standards workspaces build + test / jouledesk-rs (pull_request) Has been cancelled
standards workspaces build + test / joulehook-rs (pull_request) Has been cancelled
standards workspaces build + test / map-rs (pull_request) Has been cancelled
standards workspaces build + test / mesh-rs (pull_request) Has been cancelled
standards workspaces build + test / openpay (pull_request) Has been cancelled
standards workspaces build + test / proof-rs (pull_request) Has been cancelled
standards workspaces build + test / sandbox-rs (pull_request) Has been cancelled
standards workspaces build + test / sense-rs (pull_request) Has been cancelled
standards workspaces build + test / smart-byte-rs (pull_request) Has been cancelled
standards workspaces build + test / macOS energy backend (jcp-energy) (pull_request) Has been cancelled
standards workspaces build + test / joule-code-rs (pull_request) Has been cancelled
§5.3–5.6 stated rules and nothing emitted them. The types did not even derive `Serialize`, so the profile could not cross a wire, let alone be checked by anyone else — a shape nothing emits is a proposal, which is the same gap the C2PA emitter closed for `wai` and the negative-vector replay closed for `joulecontract`. So: serde on the trace and dynamics types, a `gen_trace_vectors` binary writing `jcp/conformance/v1/energy_trace.json`, and a test that reads those bytes back from disk — the same bytes a third party would — and checks the reference implementation reproduces every recorded verdict. The pack carries the refusals, not just the acceptances, because the refusals are the load-bearing half. An implementation that admits an unbound outcome, a double-counted activity, an over-accounted total or a frozen counter has failed in the direction that flatters, which is the direction nobody notices: - conservation: the named residual, the provenance/coverage floor, and all three refusals (`Unbound`, `DuplicateActivity`, `OverAccounted`) - budget: 0.5 % over a one-joule grant is 5000 ppm against a 1 ppm floor; the same floor over `Estimator` windows is exact and physically meaningless; a ratio against a zero grant is not a figure - physical: refuted above the burst envelope, refuted **below** the idle floor (the frozen-counter shape), `NotRefuted` which is not verification, and a zero-duration window as unboundable rather than clean - shape: a total balanced by padding does not read as sustained; character is scale-invariant at 37× the magnitude; under three windows it is unresolvable - dynamism: an undeclared baseline makes no comparison, a coarser baseline does not apply to finer windows, and a cause explains only with evidence attached Falsified rather than assumed: flipping one recorded residual by a single microjoule — 250000 to 250001 — fails the replay naming the case and the field. The pack was then regenerated and the value confirmed back at 250000. Two anti-vacuity guards, because this file has been written three times this session and twice the first version could not fail: the pack path is asserted rather than skipped, and a test requires every declared section plus at least 20 replayed cases, so a wrong path or a renamed key fails instead of passing having checked nothing. Verified: 49 tests in `jcp-efficiency` — 43 unit, 6 pack. Co-Authored-By: Claude Opus 5 <[email protected]> |
||
| .. | ||
| v1 | ||