met 1.0.0-beta-preview

Metrale Engine: pure Rust LLM inference server (HTTP API, scheduler, TUI, CLI).
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

// SPDX-License-Identifier: MIT OR Apache-2.0

//! 2026-09-25: Tests for the pure hard-limit decision cores
//! `seqlen_force_stop` and `hard_ceiling_hit`. Their call sites in the
//! decode paths are not exercised here.
//!
//! Owner: scheduler.
//! Invariants: none beyond the types.
use super::{hard_ceiling_hit, seqlen_force_stop};

#[test]
fn seqlen_guard_disabled_when_unset() {
    assert!(!seqlen_force_stop(0, 0));
    assert!(!seqlen_force_stop(8191, 0));
    assert!(!seqlen_force_stop(usize::MAX, 0));
}

#[test]
fn seqlen_guard_fires_one_token_before_ceiling() {
    assert!(!seqlen_force_stop(8190, 8192), "room for one more token");
    assert!(seqlen_force_stop(8191, 8192), "next token would be at 8191");
    assert!(seqlen_force_stop(8192, 8192), "already at the ceiling");
    assert!(
        seqlen_force_stop(9000, 8192),
        "past the ceiling never continues"
    );
}

#[test]
fn hard_ceiling_hit_on_budget_or_seqlen() {
    assert!(
        hard_ceiling_hit(0, 10, 8192),
        "remaining==0 is a hard ceiling"
    );
    assert!(
        hard_ceiling_hit(500, 8191, 8192),
        "seq-len ceiling is a hard ceiling"
    );
    assert!(
        !hard_ceiling_hit(500, 10, 8192),
        "budget + room left → no ceiling"
    );
    assert!(
        !hard_ceiling_hit(500, 10, 0),
        "max_seq_len unset → only budget matters"
    );
}