splintr 0.19.1

//! Reachability guards for splintr's public API surface.
//!
//! Integration tests compile as a **separate crate**, so everything here is
//! resolved exactly as a downstream user would resolve it. That is the whole
//! point of this file: an in-crate test can name an item through `crate::`
//! whether it is `pub` or merely `pub(crate)`, so only a test that lives
//! outside the crate can tell "public" apart from "public in name only".
//!
//! A builder method whose parameter type cannot be named by a caller is
//! uncallable no matter what its own visibility says. Each test below
//! therefore *constructs* the argument through crate-root paths and then
//! actually calls the method — compiling is most of the assertion.
use splintr::{
    from_json_bytes, AnyTokenizer, ByteFallback, NormOp, Normalizer, PreTokStage, PreTokenizer,
    SentencePieceTokenizer, SplitBehavior, SplitPattern, SpmTokenizer, StreamingDecoder, Tokenize,
    TokenizeError, Tokenizer, WordPieceTokenizer,
};

/// A vocabulary that tells the two splits apart: as one chunk `"a12"` BPEs into
/// `"a" + "12"`, but a per-digit pre-tokenizer forces `"a" + "1" + "2"`.
fn digit_encoder() -> splintr::FxHashMap<Vec<u8>, u32> {
    [
        (b"a".to_vec(), 0u32),
        (b"1".to_vec(), 1u32),
        (b"2".to_vec(), 2u32),
        (b"12".to_vec(), 3u32),
    ]
    .into_iter()
    .collect()
}

fn digit_tokenizer() -> Tokenizer {
    Tokenizer::new(digit_encoder(), splintr::FxHashMap::default(), r"\S+|\s+")
        .expect("tokenizer construction")
}

/// The normalizer pipeline is nameable and constructible from outside the
/// crate, and [`Tokenizer::with_normalizer`] accepts what it produces.
#[test]
fn normalizer_can_be_built_and_attached_from_outside_the_crate() {
    let normalizer = Normalizer::new(vec![NormOp::Lowercase]);
    assert!(!normalizer.is_empty());
    assert_eq!(normalizer.normalize("MiXeD"), "mixed");

    let encoder = [(b"hello".to_vec(), 0u32), (b"HELLO".to_vec(), 1u32)]
        .into_iter()
        .collect();
    let tokenizer = Tokenizer::new(encoder, splintr::FxHashMap::default(), r"\S+|\s+")
        .expect("tokenizer construction")
        .with_normalizer(normalizer);

    // Lowercasing happens before the vocabulary is consulted, so the uppercase
    // spelling must resolve to the lowercase entry's id.
    assert_eq!(tokenizer.encode("HELLO"), vec![0]);
}

/// [`Normalizer::new`] takes the ops by value in order, and an empty pipeline
/// is a valid no-op rather than an error — both are part of the contract a
/// downstream caller depends on.
#[test]
fn empty_normalizer_is_a_valid_no_op() {
    let normalizer = Normalizer::new(vec![]);
    assert!(normalizer.is_empty());
    assert_eq!(normalizer.normalize("Unchanged"), "Unchanged");
}

/// [`NormOp::replace_regex`] is the only way to build [`NormOp::ReplaceRegex`]
/// from outside the crate — the variant holds a `Box<regexr::Regex>` and
/// `regexr` is not re-exported — so the constructor has to stay public.
#[test]
fn normalizer_regex_op_is_constructible_from_outside_the_crate() {
    let op = NormOp::replace_regex(r"\s+", "_".to_string()).expect("regex builds");
    assert_eq!(Normalizer::new(vec![op]).normalize("a   b"), "a_b");
    // An uncompilable pattern is reported rather than silently degraded to a
    // literal replacement.
    assert!(NormOp::replace_regex("(", "_".to_string()).is_none());
}

/// The pre-tokenizer pipeline is nameable and constructible from outside the
/// crate, and [`Tokenizer::with_pre_tokenizer`] accepts what it produces.
#[test]
fn pre_tokenizer_can_be_built_and_attached_from_outside_the_crate() {
    let pt =
        PreTokenizer::new(vec![PreTokStage::Digits { individual: true }]).expect("pipeline builds");
    assert!(!pt.is_empty());
    assert!(!pt.byte_level());
    assert_eq!(pt.stages(), [PreTokStage::Digits { individual: true }]);
    assert_eq!(pt.split("a12"), vec!["a", "1", "2"]);

    // Unattached, "a12" is a single chunk and BPE prefers the "12" token.
    assert_eq!(digit_tokenizer().encode("a12"), vec![0, 3]);
    // Attached, each digit is its own pre-token, so "12" can never form.
    assert_eq!(
        digit_tokenizer().with_pre_tokenizer(pt).encode("a12"),
        vec![0, 1, 2]
    );
}

/// [`ByteFallback`] is nameable and constructible from outside the crate via
/// [`ByteFallback::new`] — its fields are private — and
/// [`Tokenizer::with_byte_fallback`] accepts what it produces.
#[test]
fn byte_fallback_can_be_built_and_attached_from_outside_the_crate() {
    let mut byte_ids = [None; 256];
    byte_ids[0x62] = Some(999);
    let fallback = ByteFallback::new(byte_ids, None);

    let mut encoder = splintr::FxHashMap::default();
    encoder.insert(b"a".to_vec(), 1u32);
    encoder.insert(b"c".to_vec(), 2u32);
    // `b` (0x62) is deliberately absent: BPE cannot represent it at all.
    let tokenizer = Tokenizer::new(encoder, splintr::FxHashMap::default(), r"\S+|\s+")
        .expect("tokenizer construction")
        .with_byte_fallback(Some(fallback));

    assert!(tokenizer.has_byte_fallback());
    assert_eq!(tokenizer.encode("abc"), vec![1, 999, 2]);
}

/// A `Split` pattern that does not compile is reported through the crate-root
/// [`TokenizerError`](splintr::TokenizerError) — which therefore has to be
/// nameable downstream too — instead of being dropped, which would silently
/// change the split and the ids.
#[test]
fn split_stage_reports_an_invalid_pattern() {
    // Only a regex pattern can fail to compile: a literal is escaped before
    // compiling, so an uncompilable literal is impossible by construction.
    let err: splintr::TokenizerError = PreTokenizer::new(vec![PreTokStage::Split {
        pattern: SplitPattern::Regex("(".to_string()),
        behavior: SplitBehavior::Isolated,
        invert: false,
    }])
    .expect_err("unbalanced group must not compile");
    assert!(matches!(err, splintr::TokenizerError::RegexrError(_)));
}

/// An empty pipeline is a valid no-op rather than an error, and attaching one
/// leaves encoding exactly as it was — an empty engine must not hijack the split
/// and hand the whole text to BPE as one chunk.
#[test]
fn empty_pre_tokenizer_is_a_valid_no_op() {
    let pt = PreTokenizer::new(vec![]).expect("empty pipeline builds");
    assert!(pt.is_empty());
    assert!(pt.stages().is_empty());

    let baseline = digit_tokenizer().encode("a12");
    assert_eq!(
        digit_tokenizer().with_pre_tokenizer(pt).encode("a12"),
        baseline
    );
}

/// All five [`SplitBehavior`] variants are nameable from outside the crate and
/// each produces a distinct split, so the public set cannot silently shrink.
#[test]
fn every_split_behavior_is_nameable() {
    let split = |behavior| {
        PreTokenizer::new(vec![PreTokStage::Split {
            pattern: SplitPattern::Regex(r"\s".to_string()),
            behavior,
            invert: false,
        }])
        .expect("pipeline builds")
        .split("a  b")
    };
    assert_eq!(split(SplitBehavior::Isolated), vec!["a", " ", " ", "b"]);
    assert_eq!(split(SplitBehavior::Removed), vec!["a", "b"]);
    assert_eq!(split(SplitBehavior::MergedWithPrevious), vec!["a  ", "b"]);
    assert_eq!(split(SplitBehavior::MergedWithNext), vec!["a", "  b"]);
    assert_eq!(split(SplitBehavior::Contiguous), vec!["a", "  ", "b"]);
    // `Isolated` is the default, matching HuggingFace's absent-behavior case.
    assert_eq!(SplitBehavior::default(), SplitBehavior::Isolated);
}

/// [`StreamingDecoder`] is nameable from the crate root — a caller has to be
/// able to write the type down to store one in a struct — and
/// [`Tokenizer::streaming_decoder`] is the *only* way to obtain one: the type
/// has no public constructor, and no other public method returns it. That is
/// what makes "streaming with the decoder that does not match the vocabulary"
/// unrepresentable rather than merely discouraged, so it is asserted from
/// outside the crate, where `pub(crate)` items are genuinely unreachable.
///
/// The binding is annotated deliberately: it fails to compile if the type ever
/// grows a lifetime parameter, which would stop callers owning a decoder past
/// the tokenizer's scope.
#[test]
fn streaming_decoder_is_nameable_and_only_reachable_through_the_factory() {
    let mut decoder: StreamingDecoder = digit_tokenizer().streaming_decoder();

    let ids = digit_tokenizer().encode("a12");
    let mut streamed = String::new();
    for id in &ids {
        if let Some(text) = decoder.add_token(*id).expect("ids come from encode") {
            streamed.push_str(&text);
        }
    }
    streamed.push_str(&decoder.flush());

    // The whole point of the type: the stream says what `decode` says.
    assert_eq!(streamed, "a12");
    assert_eq!(
        streamed,
        digit_tokenizer()
            .decode(&ids)
            .expect("ids come from encode")
    );

    // An id in no table is reported, exactly as `decode` reports it.
    assert!(matches!(
        decoder.add_token(9_999),
        Err(splintr::TokenizeError::InvalidTokenId(9_999))
    ));
    // ...and the lossy twin skips it instead, exactly as `decode_lossy` does.
    decoder.reset();
    assert_eq!(decoder.add_token_lossy(9_999), None);
    assert!(!decoder.has_pending());
    assert_eq!(decoder.pending_bytes(), 0);
}

/// A four-piece SentencePiece-BPE vocabulary: `▁` is the word boundary, so
/// `["▁hello", "▁world"]` decodes to `"hello world"` once the dummy prefix
/// comes off.
fn spm_tokenizer() -> SpmTokenizer {
    let tokens = ["<unk>", "▁", "▁hello", "▁world"]
        .iter()
        .map(|s| (*s).to_string())
        .collect();
    // Empty scores: id order is the merge order, which is all this needs.
    SpmTokenizer::new(tokens, vec![], None, None).expect("vocabulary builds")
}

/// [`SpmTokenizer::streaming_decoder`] is callable from outside the crate and
/// hands back the *same* [`StreamingDecoder`] — so the SPM backend widens who
/// may hand one out without widening how one can be built: the type still has
/// no public constructor, and the annotated binding still fails to compile if
/// it ever grows a lifetime parameter.
#[test]
fn spm_streaming_decoder_is_reachable_and_agrees_with_decode() {
    let spm = spm_tokenizer();
    let ids = [2u32, 3];

    let mut decoder: StreamingDecoder = spm.streaming_decoder();
    let mut streamed = String::new();
    for id in ids {
        if let Some(text) = decoder.add_token(id).expect("ids are in the vocabulary") {
            streamed.push_str(&text);
        }
    }
    streamed.push_str(&decoder.flush());

    // The dummy prefix comes off exactly once, on the stream as on `decode`.
    assert_eq!(streamed, "hello world");
    assert_eq!(
        streamed,
        spm.decode(&ids).expect("ids are in the vocabulary")
    );
}

/// The SPM decoder owns its configuration too, so it outlives the tokenizer
/// that built it — and a leading skipped id must not spend the dummy-prefix
/// strip, which is only observable from a caller driving the stream by hand.
#[test]
fn spm_streaming_decoder_outlives_its_tokenizer_and_keeps_the_prefix_strip() {
    let mut decoder = {
        let spm = spm_tokenizer();
        spm.streaming_decoder()
    };

    // `<unk>` (0) is skipped, renders nothing, and therefore leaves the strip
    // armed for the first character that actually arrives.
    assert_eq!(decoder.add_token(0).expect("known id"), None);
    assert_eq!(
        decoder.add_tokens(&[2, 3]).expect("known ids"),
        Some("hello world".to_string())
    );
}

/// A five-piece Unigram vocabulary: `▁` is the word boundary, so
/// `["▁hello", "▁world"]` decodes to `"hello world"` once the metaspace prefix
/// comes off, and `<0x21>` is a byte-fallback token for `!`.
fn unigram_tokenizer() -> SentencePieceTokenizer {
    let tokens = ["<unk>", "</s>", "▁hello", "▁world", "<0x21>"]
        .iter()
        .map(|s| (*s).to_string())
        .collect();
    // Empty scores: uniform, which is all a decode-side guard needs.
    SentencePieceTokenizer::new(tokens, vec![], None, 1).expect("vocabulary builds")
}

/// [`SentencePieceTokenizer::streaming_decoder`] is callable from outside the
/// crate and hands back the *same* [`StreamingDecoder`] — so the Unigram
/// backend widens who may hand one out without widening how one can be built:
/// the type still has no public constructor, and the annotated binding still
/// fails to compile if it ever grows a lifetime parameter.
#[test]
fn unigram_streaming_decoder_is_reachable_and_agrees_with_decode() {
    let unigram = unigram_tokenizer();
    let ids = [2u32, 3, 4];

    let mut decoder: StreamingDecoder = unigram.streaming_decoder();
    let mut streamed = String::new();
    for id in ids {
        if let Some(text) = decoder.add_token(id).expect("ids are in the vocabulary") {
            streamed.push_str(&text);
        }
    }
    streamed.push_str(&decoder.flush());

    // The metaspace prefix comes off exactly once, on the stream as on `decode`,
    // and the byte-fallback id is its byte rather than its spelling.
    assert_eq!(streamed, "hello world!");
    assert_eq!(
        streamed,
        unigram.decode(&ids).expect("ids are in the vocabulary")
    );
}

/// The Unigram decoder owns its configuration too, so it outlives the tokenizer
/// that built it — and a leading skipped id must not spend the metaspace-prefix
/// strip, which is only observable from a caller driving the stream by hand.
#[test]
fn unigram_streaming_decoder_outlives_its_tokenizer_and_keeps_the_prefix_strip() {
    let mut decoder = {
        let unigram = unigram_tokenizer();
        unigram.streaming_decoder()
    };

    // `<unk>` (0) is skipped, renders nothing, and therefore leaves the strip
    // armed for the first character that actually arrives.
    assert_eq!(decoder.add_token(0).expect("known id"), None);
    assert_eq!(
        decoder.add_tokens(&[2, 3]).expect("known ids"),
        Some("hello world".to_string())
    );
}

/// A small BERT-shaped vocabulary: `##` marks continuations, `[CLS]`/`[SEP]`
/// are dropped on decode, and `,` is a word of its own whose separator the
/// WordPiece cleanup removes.
fn wordpiece_tokenizer() -> WordPieceTokenizer {
    let vocab = ["[PAD]", "[UNK]", "[CLS]", "[SEP]", "hello", "##ing", ","]
        .iter()
        .map(|s| (*s).to_string())
        .collect();
    WordPieceTokenizer::new(vocab, 1, 200, true)
}

/// [`WordPieceTokenizer::streaming_decoder`] is callable from outside the crate
/// and hands back the *same* [`StreamingDecoder`] — so the WordPiece backend
/// widens who may hand one out without widening how one can be built: the type
/// still has no public constructor, and the annotated binding still fails to
/// compile if it ever grows a lifetime parameter.
#[test]
fn wordpiece_streaming_decoder_is_reachable_and_agrees_with_decode() {
    let wordpiece = wordpiece_tokenizer();
    // `[CLS]`, `hello`, `##ing`, `,`, `[SEP]`: a dropped special at position 0,
    // a continuation glued straight on, and a comma whose separator goes.
    let ids = [2u32, 4, 5, 6, 3];

    let mut decoder: StreamingDecoder = wordpiece.streaming_decoder();
    let mut streamed = String::new();
    for id in ids {
        if let Some(text) = decoder.add_token(id).expect("ids are in the vocabulary") {
            streamed.push_str(&text);
        }
    }
    streamed.push_str(&decoder.flush());

    assert_eq!(streamed, "helloing,");
    assert_eq!(
        streamed,
        wordpiece.decode(&ids).expect("ids are in the vocabulary")
    );
}

/// The WordPiece decoder owns its configuration too, so it outlives the
/// tokenizer that built it — and a leading skipped id must not put a separator
/// in front of the first word, which is only observable from a caller driving
/// the stream by hand.
#[test]
fn wordpiece_streaming_decoder_outlives_its_tokenizer_and_keeps_the_word_separator() {
    let mut decoder = {
        let wordpiece = wordpiece_tokenizer();
        wordpiece.streaming_decoder()
    };

    // `[CLS]` (2) is skipped, renders nothing, and therefore leaves the "no
    // token has rendered yet" flag armed for the first word that arrives.
    assert_eq!(decoder.add_token(2).expect("known id"), None);
    assert_eq!(
        decoder.add_token(4).expect("known id"),
        Some("hello".to_string())
    );
}

/// [`AnyTokenizer::streaming_decoder`] is callable from outside the crate, and
/// so is the error it can return: a caller that has to handle the refusal must
/// be able to *name* [`splintr::TokenizeError`] and match its variant, or the
/// refusal is only readable as a string. Both halves are asserted here, where
/// `pub(crate)` items are genuinely unreachable.
///
/// The two documents are the two answers the factory gives: a declared
/// pipeline that lowers streams, and one that cannot is refused rather than
/// silently answered with the backend's raw pieces.
#[test]
fn any_tokenizer_streaming_decoder_and_its_error_are_reachable_downstream() {
    // The Llama/Mistral chain, over a `▁`-marked byte-fallback vocabulary.
    let streamable = r#"{
        "added_tokens": [{"id": 1, "content": "<s>", "special": true}],
        "pre_tokenizer": {"type": "Metaspace", "prepend_scheme": "first"},
        "decoder": {"type": "Sequence", "decoders": [
            {"type": "Replace", "pattern": {"String": "▁"}, "content": " "},
            {"type": "ByteFallback"},
            {"type": "Fuse"},
            {"type": "Strip", "content": " ", "start": 1, "stop": 0}
        ]},
        "model": {"type": "BPE", "byte_fallback": true, "unk_token": "<unk>",
            "vocab": {"<unk>": 0, "<s>": 1, "▁Hi": 2,
                "<0xE2>": 3, "<0x82>": 4, "<0xAC>": 5},
            "merges": []}
    }"#;
    let tok: AnyTokenizer = from_json_bytes(streamable.as_bytes()).expect("the document loads");

    let ids = [1u32, 2, 3, 4, 5];
    let mut decoder: StreamingDecoder = tok
        .streaming_decoder()
        .expect("this pipeline is incrementally computable");
    let mut streamed = String::new();
    for id in ids {
        if let Some(text) = decoder.add_token(id).expect("ids are in the vocabulary") {
            streamed.push_str(&text);
        }
    }
    streamed.push_str(&decoder.flush());

    // The whole point of the factory: the stream says what `decode` says.
    assert_eq!(streamed, "Hi\u{20ac}");
    assert_eq!(streamed, tok.decode(&ids).expect("the ids decode"));

    // A pipeline that branches on the last token cannot be streamed at all, and
    // the refusal names the step.
    let refused = r#"{
        "decoder": {"type": "BPEDecoder", "suffix": "</w>"},
        "model": {"type": "BPE", "vocab": {"hello</w>": 0, "world</w>": 1}, "merges": []}
    }"#;
    let tok = from_json_bytes(refused.as_bytes()).expect("the document loads");
    let err: TokenizeError = tok
        .streaming_decoder()
        .err()
        .expect("a BPEDecoder pipeline cannot stream");
    assert!(
        matches!(err, TokenizeError::UnstreamableDecoder("BPEDecoder")),
        "unexpected error: {err}"
    );
    // ...and whole-sequence decoding still handles it.
    assert_eq!(tok.decode(&[0, 1]).expect("decodes"), "hello world");
}

/// A decoder owns its configuration, so it outlives the tokenizer that built
/// it. This test compiles only because [`StreamingDecoder`] carries no
/// lifetime — the property that lets a caller move one into a generation task.
#[test]
fn streaming_decoder_outlives_the_tokenizer_that_built_it() {
    let mut decoder = {
        let tokenizer = digit_tokenizer();
        tokenizer.streaming_decoder()
    };

    assert_eq!(
        decoder.add_tokens(&[0, 3]).expect("known ids"),
        Some("a12".to_string())
    );
}

/// Both [`SplitPattern`] variants are nameable from outside the crate and mean
/// what HuggingFace means by them: a literal matches its characters verbatim,
/// a regex is compiled. Describing a `Split` stage is impossible without this
/// type, so it has to be reachable downstream.
#[test]
fn both_split_patterns_are_nameable() {
    let split = |pattern| {
        PreTokenizer::new(vec![PreTokStage::Split {
            pattern,
            behavior: SplitBehavior::Removed,
            invert: false,
        }])
        .expect("pipeline builds")
        .split("a.b c")
    };
    assert_eq!(
        split(SplitPattern::Literal(".".to_string())),
        vec!["a", "b c"]
    );
    assert!(split(SplitPattern::Regex(".".to_string())).is_empty());
}

/// Everything [`Tokenize`] adds for per-token decoding, reached ONLY through a
/// generic `T: Tokenize` bound — no concrete type, no inherent method.
///
/// This is what makes the trait genuinely usable downstream: a caller writing
/// generic code over splintr's backends must be able to render one id, stream
/// ids, and decode leniently without naming a backend. Every type in the
/// signature — [`StreamingDecoder`], [`TokenizeError`] — is reachable from the
/// crate root, or this would not compile.
fn per_token_through_the_trait<T: Tokenize>(tokenizer: &T, ids: &[u32]) -> (Vec<u8>, String) {
    let joined: Vec<u8> = ids
        .iter()
        .flat_map(|&id| tokenizer.decode_token_bytes(id).expect("id is known"))
        .collect();

    // `decode_token` is the same bytes as text, and reports `Utf8Error` for an
    // id that spells no character on its own.
    for &id in ids {
        match tokenizer.decode_token(id) {
            Ok(text) => assert_eq!(
                tokenizer.decode_token_bytes(id).expect("id is known"),
                text.into_bytes()
            ),
            Err(TokenizeError::Utf8Error) => {}
            Err(other) => panic!("unexpected error: {other}"),
        }
    }

    let mut decoder: StreamingDecoder = tokenizer
        .streaming_decoder()
        .expect("this tokenizer can stream");
    let mut streamed = decoder.add_tokens_lossy(ids).unwrap_or_default();
    streamed.push_str(&decoder.flush());
    assert_eq!(streamed, tokenizer.decode_lossy(ids));

    (joined, streamed)
}

/// The BPE backend through the bound.
#[test]
fn bpe_per_token_decoding_is_reachable_through_the_trait() {
    let (joined, streamed) = per_token_through_the_trait(&digit_tokenizer(), &[0, 3]);
    assert_eq!(joined, b"a12".to_vec());
    assert_eq!(streamed, "a12");
}

/// The WordPiece backend through the bound. Its `decode_lossy` was inherent-only
/// before, so this call is the whole point of the addition.
#[test]
fn wordpiece_per_token_decoding_is_reachable_through_the_trait() {
    let vocab = ["[UNK]", "[CLS]", "hello", "##ing"]
        .into_iter()
        .map(String::from)
        .collect();
    let tokenizer = WordPieceTokenizer::new(vocab, 0, 200, true);

    // `[CLS]` is dropped on decode, so it contributes nothing at all.
    let (joined, streamed) = per_token_through_the_trait(&tokenizer, &[1, 2, 3]);
    assert_eq!(joined, b"helloing".to_vec());
    assert_eq!(streamed, "helloing");
}

/// The Unigram backend through the bound, likewise.
#[test]
fn unigram_per_token_decoding_is_reachable_through_the_trait() {
    let tokens = ["<unk>", "</s>", "▁hello", "▁world"]
        .into_iter()
        .map(String::from)
        .collect();
    let tokenizer = SentencePieceTokenizer::new(tokens, vec![], None, 1)
        .expect("the vocabulary is well formed")
        .with_prefix_space(false);

    let (joined, streamed) = per_token_through_the_trait(&tokenizer, &[2, 3, 1]);
    assert_eq!(joined, b" hello world".to_vec());
    assert_eq!(streamed, " hello world");
}

/// The SPM-BPE backend through the bound, including a `<0xNN>` id whose bytes
/// are not text on their own — the case `decode_token` reports and the streaming
/// decoder exists to handle.
#[test]
fn spm_per_token_decoding_is_reachable_through_the_trait() {
    let mut tokens: Vec<String> = ["<unk>", "</s>", "▁hi"]
        .into_iter()
        .map(String::from)
        .collect();
    for b in 0..=255u32 {
        tokens.push(format!("<0x{b:02X}>"));
    }
    let n = tokens.len();
    let tokenizer = SpmTokenizer::new(tokens, (0..n).map(|i| -(i as f32)).collect(), None, Some(1))
        .expect("the vocabulary is well formed")
        .with_prefix_space(false);

    // The three `<0xNN>` ids spelling `—` (U+2014, E2 80 94): each is a byte,
    // none of them a character.
    let em_dash: Vec<u32> = [0xE2u32, 0x80, 0x94].into_iter().map(|b| 3 + b).collect();
    assert!(matches!(
        tokenizer.decode_token(em_dash[0]),
        Err(TokenizeError::Utf8Error)
    ));

    let ids = [vec![2], em_dash].concat();
    let (joined, streamed) = per_token_through_the_trait(&tokenizer, &ids);
    assert_eq!(String::from_utf8(joined).expect("valid together"), " hi—");
    assert_eq!(streamed, " hi—");
}

/// The universal handle through the bound. It is the one implementor whose
/// `streaming_decoder` can refuse, which is why the trait's method is fallible
/// at all — here the declared pipeline lowers, so it answers.
#[test]
fn any_tokenizer_per_token_decoding_is_reachable_through_the_trait() {
    // The same Llama/Mistral document
    // `any_tokenizer_streaming_decoder_and_its_error_are_reachable_downstream`
    // streams, so the two tests cannot disagree about what it decodes to.
    let json = r#"{
        "added_tokens": [{"id": 1, "content": "<s>", "special": true}],
        "pre_tokenizer": {"type": "Metaspace", "prepend_scheme": "first"},
        "decoder": {"type": "Sequence", "decoders": [
            {"type": "Replace", "pattern": {"String": "▁"}, "content": " "},
            {"type": "ByteFallback"},
            {"type": "Fuse"},
            {"type": "Strip", "content": " ", "start": 1, "stop": 0}
        ]},
        "model": {"type": "BPE", "byte_fallback": true, "unk_token": "<unk>",
            "vocab": {"<unk>": 0, "<s>": 1, "▁Hi": 2,
                "<0xE2>": 3, "<0x82>": 4, "<0xAC>": 5},
            "merges": []}
    }"#;
    let tokenizer: AnyTokenizer = from_json_bytes(json.as_bytes()).expect("the document loads");
    assert!(tokenizer.declares_decoder());

    // Concatenated per-id bytes are the stream *before* post-processing, so
    // they still carry the leading space the declared `Strip` removes. The
    // `special = true` `<s>` contributes nothing, and each `<0xNN>` id
    // contributes exactly one byte of `€`.
    let (joined, streamed) = per_token_through_the_trait(&tokenizer, &[1, 2, 3, 4, 5]);
    assert_eq!(joined, " Hi\u{20ac}".as_bytes().to_vec());
    assert_eq!(streamed, "Hi\u{20ac}");
}