You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
SPEC_ONLY_IMPLEMENTATION_REQUIRED — RECEIPT EXTENSION — NO DEFAULT ROUTE CHANGE AUTHORIZED
Objective
Define rebound_accounting.v0.1 as a vendor-neutral extension to route-decision, benchmark, and execution receipts so that a lower unit cost is not mistaken for lower total system cost or higher delivered value.
The policy should measure whether efficiency induces additional volume, coordination, verification, maintenance, risk, or resource consumption and should preserve the distinction between:
unit efficiency;
ordinary rebound below 100%;
strict rebound above 100% for a declared resource;
resource substitution;
hidden downstream burden;
inconclusive or non-comparable evidence.
Governing doctrine
An efficiency gain remains provisional until induced volume, downstream load, total resource consumption, quality, and delivered value are measured.
Cheapest correct model wins means lowest total cost per accepted governed outcome after correctness, safety, privacy, authority, latency, reliability, reproducibility, and governance gates pass. It does not mean lowest listed price, lowest token count, or lowest cost per invocation.
observed_per_unit_s >= baseline_per_unit_s
=> no demonstrated unit efficiency gain
observed_per_unit_s < baseline_per_unit_s
and observed_total_s < baseline_total_s
=> unit gain with total-resource gain
observed_per_unit_s < baseline_per_unit_s
and observed_total_s < baseline_total_s
and savings are partially consumed by added volume
=> rebound below 100%
observed_per_unit_s < baseline_per_unit_s
and observed_total_s > baseline_total_s
=> strict rebound for resource s
The validator must not classify causal Jevons behavior from arithmetic alone. Arithmetic can identify a rebound-shaped observation; causal attribution requires evidence about induced demand and confounders.
Required design questions
What constitutes a comparable unit of work across models, runtimes, and scaffolds?
How is an accepted governed outcome defined so that cheap rejected output does not look efficient?
Which resource fields are required versus optional for each route class?
How are shared infrastructure and fixed costs allocated?
How are cached tokens, speculative decoding, batch inference, local hardware amortization, and free promotional usage represented?
How is human review measured when work occurs concurrently or asynchronously?
How are downstream coordination, maintenance, and incident exposure estimated without fabricating precision?
How does the receipt distinguish observed correlation from demand induced by the efficiency gain?
How does the Reasoning Budget Policy feed into rebound accounting without duplicating its source of truth?
How are Simpson reversals detected when aggregate cost improves but every material task class regresses?
How does risk compensation alter route scope after new controls are introduced?
Required fixtures
Valid
Unit cost falls and total consumption falls despite moderate volume growth.
Unit cost falls, volume rises, and total token or compute use rises: strict rebound for that resource.
Token cost falls while human-review time rises: resource substitution.
Higher reasoning spend increases acceptance enough to lower total cost per accepted governed outcome.
Local/free route lowers dollar cost but increases latency and maintenance liability; promotion remains scoped.
Aggregate cost improves while disaggregated high-risk tasks regress; Simpson flag prevents universal promotion.
Invalid or adversarial
Missing baseline volume.
Changed unit-of-work definition between periods.
Total cost calculated only on successful runs while retries are excluded.
Human review omitted despite a required human gate.
Free-tier price recorded as durable zero cost without expiry or capacity limits.
Quality metric improved by weakening tests or acceptance criteria.
Strict rebound claimed without specifying the resource.
Jevons causality claimed from arithmetic without induced-demand evidence.
Route promoted on aggregate savings with no meaningful stratification.
Safety controls used to justify wider authority without a separate promotion decision.
Required artifacts
Versioned schema or compatible extension contract.
Human-readable accounting specification.
Deterministic calculator or validator for arithmetic and structural invariants.
Valid, invalid, adversarial, and Simpson-reversal fixtures.
Crosswalk to route-decision, benchmark, execution, reasoning-budget, and accepted-outcome receipts.
Example reports for hosted frontier, local/open-weight, hybrid escalation, and scheduled-task lanes.
Benchmark protocol comparing per-invocation cost with total cost per accepted governed outcome.
Migration plan that avoids duplicating existing economics or observability fields.
Independent review and execution receipt.
Promotion and stop conditions
A route should not receive broad promotion when any of the following remains material and unresolved:
unit savings are offset by increased rejected output or retry volume;
review queues grow beyond declared service levels;
coordination or maintenance burden becomes the dominant cost;
quality or safety declines in a material stratum;
total cost per accepted governed outcome rises;
the accounting window is too short to observe maintenance or incident effects;
the baseline, unit of work, or demand counterfactual is not comparable;
a control change triggers unreviewed scope or authority expansion.
Non-goals
No claim that all efficiency improvements produce rebound.
No requirement to fabricate energy or carbon estimates when provider data is unavailable.
No universal weighting that collapses dollars, time, energy, quality, and risk into one invented score.
No production route, paid fallback, budget, or authority mutation.
No canonical adoption of Agentic Rebound Effect or Generation–Coordination Rebound.
Acceptance criteria
Contract distinguishes unit efficiency, induced volume, total consumption, downstream burden, and delivered value.
Disposition is resource-specific and cannot label an unspecified aggregate as strict rebound.
Total cost per accepted governed outcome includes retries, review, and required verification.
Structural and arithmetic validation is deterministic.
Fixtures cover total savings, partial rebound, strict rebound, resource substitution, Goodhart gaming, Simpson reversal, and risk compensation.
Causal claims require evidence beyond arithmetic.
Existing route, benchmark, reasoning-budget, observability, and receipt authorities are crosswalked rather than duplicated.
Independent review and an execution receipt are attached.
Findings and implementation links are returned to hummbl-research#70.
No fleet default or production route changes without separate Reuben approval and a transition receipt.
Parent research ledger
Related routing work
Status
SPEC_ONLY_IMPLEMENTATION_REQUIRED — RECEIPT EXTENSION — NO DEFAULT ROUTE CHANGE AUTHORIZED
Objective
Define
rebound_accounting.v0.1as a vendor-neutral extension to route-decision, benchmark, and execution receipts so that a lower unit cost is not mistaken for lower total system cost or higher delivered value.The policy should measure whether efficiency induces additional volume, coordination, verification, maintenance, risk, or resource consumption and should preserve the distinction between:
Governing doctrine
Cheapest correct model winsmeans lowest total cost per accepted governed outcome after correctness, safety, privacy, authority, latency, reliability, reproducibility, and governance gates pass. It does not mean lowest listed price, lowest token count, or lowest cost per invocation.Candidate contract
The exact schema may change after repository inspection. The accounting distinctions and claim-honesty boundaries must survive.
Required calculations
For each declared resource
s, calculate or preserve enough evidence to derive:Candidate classification:
The validator must not classify causal Jevons behavior from arithmetic alone. Arithmetic can identify a rebound-shaped observation; causal attribution requires evidence about induced demand and confounders.
Required design questions
accepted governed outcomedefined so that cheap rejected output does not look efficient?Required fixtures
Valid
Invalid or adversarial
Required artifacts
Promotion and stop conditions
A route should not receive broad promotion when any of the following remains material and unresolved:
Non-goals
Agentic Rebound EffectorGeneration–Coordination Rebound.Acceptance criteria
hummbl-research#70.