ac387a1db5
Some checks failed
no-vanity-metrics / Scan committed Markdown for vanity metrics (push) Successful in 4s
standards workspaces build + test / jouleclaw-rs (push) Successful in 1m50s
standards workspaces build + test / eoc-rs (push) Successful in 1m54s
standards workspaces build + test / arl-rs (push) Successful in 2m10s
standards workspaces build + test / aac-rs (push) Successful in 40s
standards workspaces build + test / joule-code-rs (push) Successful in 38s
standards workspaces build + test / jcp-rs (push) Successful in 1m18s
standards workspaces build + test / joulecontract-rs (push) Successful in 30s
standards workspaces build + test / map-rs (push) Successful in 30s
standards workspaces build + test / proof-rs (push) Successful in 1m11s
standards workspaces build + test / mesh-rs (push) Successful in 26s
standards workspaces build + test / joule-ui-rs (push) Successful in 2m32s
standards workspaces build + test / openpay (push) Successful in 1m21s
standards workspaces build + test / sandbox-rs (push) Successful in 2m12s
WAI conformance / cargo-class corpora · linux-arm64 (push) Successful in 51s
WAI conformance / cross-arch byte-equality · linux-arm64 (push) Successful in 18s
standards workspaces build + test / jouledesk-rs (push) Successful in 2m39s
standards workspaces build + test / smart-byte-rs (push) Successful in 2m30s
WAI conformance / cargo-class corpora · linux (push) Successful in 1m11s
WAI conformance / cross-arch byte-equality · linux (push) Successful in 15s
standards workspaces build + test / joulehook-rs (push) Successful in 3m48s
WAI conformance / C2PA manifest emission · signed, read back, validated (push) Successful in 40s
standards workspaces build + test / sense-rs (push) Successful in 2m22s
standards workspaces build + test / macOS energy backend (jcp-energy) (push) Successful in 2m32s
WAI conformance / cargo-class corpora · macos (push) Successful in 55s
WAI conformance / cross-arch byte-equality · macos (push) Successful in 14s
WAI conformance / cargo-class corpora · windows (push) Has been cancelled
WAI conformance / cross-arch byte-equality · windows (push) Has been cancelled
Departures from OER/2 draft 0.1, each in extensions/oer-receipts.md §9: - decisions are named oer.decision.*, not wai.settle.* (WAI's namespace is for payload formats) - the stage list behind bundle.provenance_root is serialised exactly as the body is, pinned by a non-ASCII fixture - the number profile is normative: I-JSON integers, decimal strings in JSON's number grammar (<=34 digits), anything else malformed - a document outside the document profile is refused whole: a number whose nearest binary64 is infinite, NaN/Infinity, an unpaired surrogate, a repeated member name, nesting past 64 - every composition check is exact (num-bigint / exact decimal context), ln 2 pinned as a decimal, every tolerance scaled by the figure's magnitude - the order of the reasons reported alone, and every member judged on its value, are stated, so each mistyped member has one named reason - published Ed25519 keys are decoded strictly: canonical encoding, not small order - abstention is its own outcome (abstain, no answer, no record), held by a new reason, abstention_settled; escalate is a verdict returned from upstream Four rounds of adversarial review with differential fuzzing drove this; the last fuzz found one remaining divergence (repeated member names), now refused by both. The edge corpus grows to 99 hand-declared vectors plus unreadable/ (11 documents every verifier must refuse); each rule was falsified in both verifiers. serde_json gains float_roundtrip under the oer feature so Rust rounds as Python does. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
2 KiB
JSON
1 line
2 KiB
JSON
{"keys": {"ed25519:corridor-ledger-01": "90c64c279769011bab70aee810e9a76b5d8e4443fc50e5e909fa90d230ecb0dc"}, "vectors": [{"name": "x", "receipts": [{"oer": "2.0", "kind": "decision", "capability": "oer.decision.pipeline_sensor_check", "intent": "replicate", "subject": {"inputs": ["sha256:1d0da12dc2e037012f9fef60e513b7779fb0ae2a2acec58682f44a3d2e3f3063", "sha256:fc5b42fd1881fb0f66bac5e59447050c09477baff2a45fcf5c28e007616b0bf9"], "output": "normal"}, "work": {"status": 1, "outcome": "served_from_record", "latency_s": "1.700000e-03"}, "energy": {"joules_total": "999999.0", "joules_total": "14.960786694120", "boundary": "node device, relays and receiving nodes, charger radios, gateways, backhaul, backend share and upstream decisions", "breakdown": {"compute_j": "1.694120e-06", "movement_j": "0.000000e+00", "idle_alloc_j": "3.607850e-01", "shared_alloc_j": "1.460000e+01", "upstream_j": "0.000000e+00"}, "method": "model_estimated", "temperature_k": "3.000000e+02"}, "provenance": {"how": "simulated", "device": "emulation", "weakest_input": {"how": "projected", "input": "cyc_parse"}}, "settlement": {"question_key": "sha256:1d0da12dc2e037012f9fef60e513b7779fb0ae2a2acec58682f44a3d2e3f3063", "served_from_record": true, "record_id": "r37", "record_hash": "sha256:dc6cde2235f9e943fbd67a18c99cc544b1816506156ebcc48937db1f0a9281be", "reuse_count": 27, "derivation_j": "1.058824e-06", "valid_until": 89260}, "floor": {"bits_committed": 510, "bits_delivered": "1.585000e+00", "floor_j": "1.464199e-18", "decades_above_floor": "1.901000e+01"}, "hash_alg": "sha-256", "sig_alg": "ed25519", "chain": {"prev_hash": "sha256:0000000000000000000000000000000000000000000000000000000000000000", "receipt_hash": "sha256:6bed07ebf251ce23090bcd949c13b16d1e2436a2b032eb2817f25c745c2f999f", "signer": "ed25519:corridor-ledger-01", "signature": "f747a732e6c55d74fd9fe034dfacff404e5ecbbc3ccac4074b14d849a15e8285738d6571507bb13af2cef62528a02526a84197a69770c27478758e757dc18d03"}, "receipt_id": "sha256:3d6142c8da1ca96607735ab433ed80d6b880a6aea82447d4f0e84e6c07b865c3"}], "expected": []}]}
|