babce44ace
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 1m54s
standards workspaces build + test / jcp-rs (push) Successful in 1m19s
standards workspaces build + test / jouleclaw-rs (push) Successful in 4m3s
standards workspaces build + test / proof-rs (push) Successful in 1m14s
standards workspaces build + test / aac-rs (push) Successful in 1m23s
standards workspaces build + test / joule-code-rs (push) Successful in 41s
standards workspaces build + test / sandbox-rs (push) Successful in 2m9s
standards workspaces build + test / joulecontract-rs (push) Successful in 48s
standards workspaces build + test / map-rs (push) Successful in 35s
standards workspaces build + test / mesh-rs (push) Successful in 30s
standards workspaces build + test / smart-byte-rs (push) Successful in 2m36s
standards workspaces build + test / openpay (push) Successful in 1m35s
standards workspaces build + test / arl-rs (push) Successful in 2m6s
standards workspaces build + test / joule-ui-rs (push) Successful in 2m41s
standards workspaces build + test / jouledesk-rs (push) Successful in 2m16s
standards workspaces build + test / joulehook-rs (push) Successful in 4m19s
standards workspaces build + test / sense-rs (push) Successful in 2m34s
standards workspaces build + test / macOS energy backend (jcp-energy) (push) Successful in 2m9s
Every published C3 decision was `surface`, so the gate's two refusals — the half of the attention budget that makes it a budget — were never published or checked, and pack.rs pinned that absence with a sentinel. The pack now also publishes the same scripted highlights gated for a user busy in the modality a surfacing would occupy (focus 0.3, visual) on a 2500 µJ budget at 1000 µJ a surfacing: surface, surface, hold:value, hold:budget, with the budget after each (1500, 500, 500, 500) — a surfacing debits, a hold spends nothing. The additions are purely additive; every existing value is unchanged. The third highlight is held for value although the budget could not have paid for it either. The reference always tested value first, but the spec never said so, so SPEC §5 now does: hold:budget means a worthy highlight the budget could not afford. pack.rs replaces the sentinel with a real check, and requires the pack to publish all three outcomes. Falsified: testing budget before value changes the published decisions; a hold that spends changes the published budgets; a pack without its refusals fails both the decision check and the generator check. Co-Authored-By: Claude Opus 5.5 <[email protected]>
33 lines
1.6 KiB
JSON
33 lines
1.6 KiB
JSON
{
|
|
"c1_replay_digest": "5907ceddfc0ee3a6df349f5970e1c49e4799ad5262e5b7802f316ce15ff1a164",
|
|
"c2_event_id": "e225af5b00aa0f2d5bf7efd7b0a883c9b7d3b7c5f61576d8ac4c9055df618057",
|
|
"c3_decisions": [
|
|
"surface",
|
|
"surface",
|
|
"surface",
|
|
"surface"
|
|
],
|
|
"c3_gate_budget_remaining_uj": [
|
|
1500,
|
|
500,
|
|
500,
|
|
500
|
|
],
|
|
"c3_gate_decisions": [
|
|
"surface",
|
|
"surface",
|
|
"hold:value",
|
|
"hold:budget"
|
|
],
|
|
"c3_highlights": [
|
|
"novelty:0.92",
|
|
"novelty:0.80",
|
|
"novelty:0.71",
|
|
"novelty:0.96"
|
|
],
|
|
"c4_open_ended_escalated": true,
|
|
"c4_recall_model": "deterministic",
|
|
"c5_excision_breaks_at": 1,
|
|
"c5_first_link_jcr1_envelope_hex": "d2845821a2012704581b6469643a6578616d706c653a73656e73652d7265666572656e6365a0590160ad6373657100646b696e646873616c69656e636564707265767840303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030306574727573746a466972737450617274796773746577617264781b6469643a6578616d706c653a73656e73652d7265666572656e6365686465636973696f6e6773757266616365686576656e745f69647840653232356166356230306161306632643562663765666437623061383833633962376433623763356636313537366438616334633930353564663631383035376a636861726765645f756a1903e86a636f73745f6d6963726f006b73636f72655f6d6963726f1a000e7ef06b76616c75655f6d6963726f1a000e7ef06d73656e73655f726563656970747173656e73652f737572666163696e672f31736275646765745f72656d61696e696e675f756a1903e85840e3f034e6f4d38ac68a1075e04b26a3e86297b19e40cdedeba2ed81999e25c00de1bd4841771a5e3687719b9855ed644669da85d1f8c6c27c95d2a365ee983700",
|
|
"c5_verify_ok": 3
|
|
}
|