GameCult/ModelConnector
Watch
9
0
Fork
You've already forked ModelConnector
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

connector-spend: pin that a clock reading exactly at the window start is not behind it

Browse source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-10-28 17:37:36 +01:00
commit 68c6fd7b2a
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/model-connector/src/service.rs
View file

@ -3530,7 +3530,12 @@ mod tests {
);
assert!(service.live.is_empty());
assert_eq!(service.window_spend(CALLER, 5), 3 * FIXTURE_USAGE_COST);
// Inside the full window the clock is not behind: an honest ceiling.
// At the window's first instant, and inside it, the clock is not
// behind: an honest ceiling.
assert_eq!(
refusal_at(&mut service, "at-start", 50_000, MAX_COST),
Refusal::SpendCeiling
);
assert_eq!(
refusal_at(&mut service, "inside", 50_500, MAX_COST),
Refusal::SpendCeiling