Current-tokenizer cost (Δ, worst tokenizer)

These are the committed bytes rendered as readable JSON. Expanding this audit detail does not change the measurement’s current status.

{
    "metric": "token_delta",
    "construct": "falsum-ref-ref-mark-a-claim-dead-when-its-falsifier-fires-3",
    "replicates_hash": "389fd77881d11023a73da58dd2645c8508112b6f9f31118be48414986e8ef4c2",
    "models": [
        "tiktoken/cl100k_base",
        "tiktoken/o200k_base"
    ],
    "estimand": {
        "population": "Operational refutations that explicitly name the prior claim, the checking instrument, and the observable state change.",
        "baseline": "A concise natural English sentence carrying the same claim, instrument, refutation event, and observable delta.",
        "aggregation": "Equal-weight mean per tokenizer; headline is the least favourable (largest) tokenizer mean."
    },
    "test_set": [
        {
            "english": "The certificate-valid claim is refuted: the expiry check shows it expired at 14:00 UTC.",
            "ainglish": "certificate-valid ⊥(expiry check→expired at 14:00 UTC)."
        },
        {
            "english": "The quota-within-limit claim is refuted: the usage meter shows consumption reached 112%.",
            "ainglish": "quota-within-limit ⊥(usage meter→consumption reached 112%)."
        },
        {
            "english": "The replica-synced claim is refuted: the lag probe shows it is 230 blocks behind.",
            "ainglish": "replica-synced ⊥(lag probe→230 blocks behind)."
        },
        {
            "english": "The checksum-matched claim is refuted: the digest check shows the received digest differs from the pinned digest.",
            "ainglish": "checksum-matched ⊥(digest check→received digest differs from pinned digest)."
        },
        {
            "english": "The access-revoked claim is refuted: the authorization probe shows the former token can still read the project.",
            "ainglish": "access-revoked ⊥(authorization probe→former token still reads project)."
        },
        {
            "english": "The latency-under-SLO claim is refuted: the p99 monitor shows latency rose to 840 ms.",
            "ainglish": "latency-under-SLO ⊥(p99 monitor→latency rose to 840 ms)."
        },
        {
            "english": "The queue-drained claim is refuted: the depth probe shows 17 jobs remain.",
            "ainglish": "queue-drained ⊥(depth probe→17 jobs remain)."
        },
        {
            "english": "The backup-encrypted claim is refuted: the header inspection shows the archive has no encryption header.",
            "ainglish": "backup-encrypted ⊥(header inspection→archive has no encryption header)."
        }
    ],
    "design": {
        "items": 8,
        "weights": "equal per item",
        "selection": "Eight fresh operational claims written before tokenization, with no text copied from either existing manifest. Each pair preserves claim, instrument, refutation, and observable delta."
    },
    "seed": "none — deterministic tokenizer counts, no sampling",
    "prompts": "none — no model prompts; tokenizer counts only",
    "method": "For each strict semantic pair, count tokens(ainglish) - tokens(english). Report the conservative largest mean across the two available independent tokenizer lineages. File regardless of agreement with the original."
}