| Filename | Latest commit message | Latest commit date |
|---|---|---|
860ead8c37
All checks were successful
no-vanity-metrics / Scan committed Markdown for vanity metrics (push) Successful in 3s
standards workspaces build + test / eoc-rs (push) Successful in 1m50s
standards workspaces build + test / jouleclaw-rs (push) Successful in 2m7s
standards workspaces build + test / jcp-rs (push) Successful in 1m18s
standards workspaces build + test / aac-rs (push) Successful in 1m26s
standards workspaces build + test / arl-rs (push) Successful in 3m53s
standards workspaces build + test / joule-code-rs (push) Successful in 37s
standards workspaces build + test / proof-rs (push) Successful in 1m10s
standards workspaces build + test / joulecontract-rs (push) Successful in 31s
standards workspaces build + test / map-rs (push) Successful in 29s
standards workspaces build + test / mesh-rs (push) Successful in 24s
standards workspaces build + test / joule-ui-rs (push) Successful in 2m29s
standards workspaces build + test / sandbox-rs (push) Successful in 2m9s
standards workspaces build + test / openpay (push) Successful in 1m21s
standards workspaces build + test / jouledesk-rs (push) Successful in 2m34s
standards workspaces build + test / smart-byte-rs (push) Successful in 2m30s
standards workspaces build + test / joulehook-rs (push) Successful in 2m16s
standards workspaces build + test / sense-rs (push) Successful in 2m18s
standards workspaces build + test / macOS energy backend (jcp-energy) (push) Successful in 2m9s
A line-by-line audit of oer-receipts.md against oer2_verify.py and wai-rs, with
each doubtful sentence probed by a crafted receipt:
- the header called wai-rs the reference verifier; the reference is oer2_verify.py
- §8's C-kernel command ran ./settle_host from the wrong directory and failed as
written; it now reproduces the pinned firmware_vectors.json verbatim
- §3's "empty" for an abstention is now defined (absent, null, false, 0, "", [], {}),
which is what both verifiers already test
- §3's version check comes after the object check, as §7 orders them
- §7 lists provenance.how among the members judged on their value (mistyped:
grade_unknown; absent: malformed), and its table states every case each reason
covers: non-string links, non-string keys, strict key decoding, unrehashable records
- §4's I-JSON claim is scoped to readers of binary64 or wider
- §8 names the differential fuzzer that checks the space between the vectors
No behaviour changes.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
|
||
| .. | ||
| avatars.md | ||
| capability-constraints.md | ||
| confidentiality.md | ||
| determinism-tiers.md | ||
| energy-binding.md | ||
| energy-measurement.md | ||
| haptics.md | ||
| interactive-worlds.md | ||
| jwp-receipts.md | ||
| linear-film.md | ||
| moq-streaming-format.md | ||
| oer-receipts.md | ||
| provenance.md | ||
| quantum-ops.md | ||
| quantum-sim.md | ||
| reconstruction-binding.md | ||
| score.md | ||
| spatial-audio.md | ||
| state-feeds.md | ||
| task-fidelity.md | ||
| ternary-tt.md | ||
| transparency.md | ||
| unidirectional-delivery.md | ||
| volumetric.md | ||