{
  "schema": "futhorc-benchmark-spec/1",
  "version": "v2026.08.15.14",
  "lab_version": "1.0.0",
  "authority": "first_party_reproducible_local_fixture_lab",
  "truth_boundary": "Results measure only checked-in fixtures and the recorded local runtime. Research-paper ratios are not imported as benchmark results.",
  "runner": "tools/run_futhorc_lab.py",
  "runtime_dependency": "Python standard library only",
  "fixtures": [
    "assets/data/fixtures/transliteration-cases.json",
    "assets/data/fixtures/protocol-routing.json",
    "assets/data/fixtures/invalid-symbol-cases.json",
    "assets/data/fixtures/idn-url-cases.json"
  ],
  "cases": [
    {
      "id": "b01",
      "kind": "deterministic",
      "metric": "utf8_byte_size",
      "formula": "len(text.encode(\"utf-8\"))",
      "claim_boundary": "byte size is not tokenizer cost"
    },
    {
      "id": "b02",
      "kind": "deterministic",
      "metric": "codepoint_length",
      "formula": "len(text)",
      "claim_boundary": "codepoint count is not semantic compression"
    },
    {
      "id": "b03",
      "kind": "deterministic",
      "metric": "exact_match_routing",
      "formula": "lookup[token] == expected",
      "claim_boundary": "correct lookup is not security proof"
    },
    {
      "id": "b04",
      "kind": "environment_sensitive",
      "metric": "dict_lookup_timing",
      "formula": "median elapsed_ns / operations",
      "claim_boundary": "timing is local runtime evidence only"
    },
    {
      "id": "b05",
      "kind": "deterministic",
      "metric": "nfc_stability",
      "formula": "normalize(NFC,x)==x",
      "claim_boundary": "normalization stability is not search ranking"
    },
    {
      "id": "b06",
      "kind": "deterministic",
      "metric": "invalid_symbol_rejection",
      "formula": "validator(input)==reject",
      "claim_boundary": "character rejection is not adversarial robustness"
    },
    {
      "id": "b07",
      "kind": "deterministic",
      "metric": "ontology_lookup",
      "formula": "each stable ID and sequence resolves uniquely",
      "claim_boundary": "local ontology is experimental, not a public standard"
    },
    {
      "id": "b08",
      "kind": "local_codec",
      "metric": "idna_codec",
      "formula": "unicode_host.encode(\"idna\").decode(\"ascii\")",
      "claim_boundary": "Python stdlib codec behavior is not proof of IDNA2008, registry, DNS, browser, or ownership support"
    },
    {
      "id": "b09",
      "kind": "deterministic",
      "metric": "path_percent_encoding",
      "formula": "urllib.parse.quote(path,safe=\"/\")",
      "claim_boundary": "URL serialization is distinct from hostname IDNA conversion"
    }
  ]
}