mirror of
https://github.com/razzant/ouroboros.git
synced 2026-10-03 12:18:39 +00:00
091825f7d6
The delta-4 review found the floor and the rounding applied only in `ceiling()`: admission reserved the raw `per_task_usd x root_tasks` while the lane received `max(0.01, round(x, 4))`, so micro or fractional inputs (cap $0.005 with $0.001 per task; $0.01006) handed out more ceiling than was admitted. `reservation()` is now the ONE effective number — floored at LANE_BUDGET_FLOOR_USD, never rounded upward — and admission, the stored reservation, the lane's TOTAL_BUDGET and the reports all carry it; `ceiling()` returns exactly what admission reserved. The invariant is worded precisely everywhere: settled spend + in-flight ceilings <= cap (a live lane's spend is already inside its ceiling). The orphan-after-stop flip lives in `_apply_orphan_scan` and is pinned in result.json and result_index.jsonl (fail + reason_code=checks_failed, never an empty reason). Tests add the micro (5 x 0.01 fill a 0.05 cap, the 6th refused; a floored reservation above a sub-cent cap is refused) and fractional (two exact quarters fill a half-dollar cap) boundaries. Co-authored-by: Ouroboros <311266734+ouroboros-agent@users.noreply.github.com> |
||
|---|---|---|
| .. | ||
| benchmarks | ||
| e2e_live | ||
| __init__.py | ||
| measure_review_pack.py | ||
| README.md | ||
Ouroboros Devtools
devtools/ contains operator-side and benchmark support code that should be
versioned with Ouroboros without becoming part of the runtime core.
Rules:
- Generated logs, datasets, run outputs, Docker layers, and secrets do not live here.
- Default benchmark outputs go under
/Users/anton/Ouroboros/bench_runs/. - Runtime modules must not import
devtools. - This is not an immune-system bypass: touched files are reviewed normally.
- Promote code out of
devtoolsonly through a separate reviewed runtime plan.