context-controls/initial/tokenization-check.json

{
  "schema": "evalarc.skill-context-tokenization.v1",
  "conditions": {
    "relevant": {
      "serialized_sha256": "68e68729ecc54190c990a9bbd8ed2a691c03229d285161b33d5b84016dfbc5d6",
      "token_count": 476,
      "token_ids": [
        4913,
        606,
        788,
        330,
        18247,
        59172,
        2678,
        45721,
        497,
        330,
        4684,
        788,
        330,
        19432,
        4718,
        14,
        5370,
        43,
        73606,
        11379,
        34383,
        323,
        12564,
        2309,
        11,
        15435,
        11,
        16184,
        46767,
        11,
        8866,
        11,
        34682,
        18917,
        11,
        323,
        7402,
        83879,
        13064,
        10465,
        330,
        1796,
        788,
        5869,
        10294,
        12433,
        12305,
        11379,
        1699,
        1699,
        11066,
        279,
        3395,
        2163,
        279,
        17221,
        14633,
        5116,
        13,
        4457,
        1181,
        4034,
        12731,
        26266,
        77,
        25643,
        11,
        8866,
        6238,
        11,
        6077,
        47216,
        11,
        323,
        2530,
        20882,
        1573,
        24231,
        1699,
        46592,
        32676,
        7110,
        77,
        1699,
        12,
        7169,
        9892,
        323,
        74057,
        1119,
        279,
        1852,
        1879,
        21277,
        13,
        38041,
        1699,
        220,
        17180,
        311,
        9892,
        26,
        3796,
        8024,
        11929,
        323,
        4982,
        5452,
        311,
        2176,
        13,
        22603,
        4628,
        1699,
        220,
        1283,
        14409,
        11,
        4751,
        1091,
        65644,
        264,
        3692,
        438,
        264,
        25621,
        7110,
        77,
        12,
        93210,
        264,
        8866,
        594,
        6238,
        1573,
        26943,
        311,
        25333,
        6486,
        13,
        34006,
        33437,
        1699,
        220,
        4034,
        5109,
        5961,
        311,
        882,
        979,
        16878,
        48781,
        525,
        3897,
        7110,
        77,
        12,
        8008,
        23722,
        553,
        862,
        11464,
        47216,
        13,
        81306,
        297,
        5176,
        26,
        1334,
        1699,
        220,
        1973,
        11,
        2802,
        1760,
        323,
        1537,
        2802,
        653,
        537,
        5695,
        25986,
        2449,
        476,
        79314,
        7110,
        77,
        12,
        3197,
        26297,
        448,
        6783,
        37598,
        3672,
        20927,
        11379,
        11,
        15442,
        279,
        5785,
        1699,
        220,
        23606,
        25156,
        518,
        1817,
        2500,
        11441,
        13,
        5443,
        279,
        21963,
        50078,
        4621,
        1699,
        220,
        1465,
        11,
        1221,
        23192,
        1172,
        279,
        23722,
        3520,
        3042,
        7110,
        77,
        12,
        95210,
        264,
        34682,
        16162,
        504,
        1879,
        2608,
        11,
        18950,
        279,
        5116,
        594,
        18131,
        5912,
        7110,
        77,
        220,
        362,
        1590,
        4034,
        646,
        1795,
        279,
        16162,
        553,
        264,
        11924,
        9873,
        7110,
        77,
        12,
        13655,
        4024,
        62024,
        304,
        279,
        1102,
        13,
        362,
        12579,
        20882,
        4933,
        892,
        1699,
        220,
        14633,
        572,
        1483,
        26,
        432,
        1558,
        537,
        5695,
        429,
        279,
        14633,
        374,
        21893,
        1699,
        220,
        13382,
        476,
        429,
        1181,
        3150,
        374,
        37260,
        7110,
        77,
        1699,
        2461,
        264,
        2473,
        8129,
        11,
        2506,
        279,
        34776,
        17991,
        8651,
        504,
        1699,
        51602,
        21546,
        411,
        11589,
        13,
        32818,
        279,
        8145,
        2025,
        389,
        279,
        17221,
        3110,
        26266,
        77,
        16169,
        1181,
        5042,
        4718,
        83363,
        1946,
        13,
        8259,
        7402,
        5904,
        20975,
        323,
        1699,
        13096,
        15089,
        1467,
        700,
        315,
        5662,
        83218,
        2550,
        10465,
        330,
        15247,
        17,
        20,
        21,
        788,
        330,
        22,
        24,
        15,
        17,
        19,
        17,
        64,
        23,
        24,
        17,
        7628,
        329,
        97987,
        16,
        19,
        20,
        66,
        21,
        68,
        23,
        68,
        15,
        68,
        18,
        22,
        19,
        21,
        15,
        66,
        23,
        15,
        20,
        6902,
        2577,
        23,
        2940,
        65,
        19,
        16,
        24,
        23,
        15,
        22,
        21,
        67,
        20,
        12508,
        19,
        19,
        64,
        19,
        15,
        16,
        67,
        21,
        21,
        497,
        330,
        34518,
        48836,
        17,
        20,
        21,
        788,
        330,
        542,
        17,
        8316,
        18,
        21,
        66,
        15,
        17,
        1021,
        14092,
        16,
        21,
        22,
        22,
        16,
        66,
        19,
        19,
        370,
        22,
        19,
        24,
        68,
        16,
        542,
        23,
        64,
        17,
        68,
        24,
        18,
        69,
        17,
        15,
        21,
        69,
        18,
        15,
        69,
        19,
        16,
        66,
        17,
        17,
        18,
        19,
        64,
        20,
        17,
        17,
        69,
        21,
        68,
        18,
        24,
        64,
        9207
      ]
    },
    "neutral": {
      "serialized_sha256": "8ea93379dc69ed8ebb8a749cadc13216da39545ae747499ad6521386a67dbce2",
      "token_count": 476,
      "token_ids": [
        4913,
        606,
        788,
        330,
        18247,
        59172,
        2678,
        45721,
        497,
        330,
        4684,
        788,
        330,
        19432,
        4718,
        14,
        5370,
        43,
        73606,
        11379,
        34383,
        323,
        12564,
        2309,
        11,
        15435,
        11,
        16184,
        46767,
        11,
        8866,
        11,
        34682,
        18917,
        11,
        323,
        7402,
        83879,
        13064,
        10465,
        330,
        1796,
        788,
        5869,
        8601,
        8388,
        1699,
        1699,
        32,
        2613,
        37166,
        53231,
        29388,
        264,
        3241,
        13,
        11445,
        14396,
        3421,
        374,
        27539,
        6176,
        13,
        576,
        3054,
        5610,
        264,
        22360,
        10496,
        11,
        264,
        54015,
        45766,
        11,
        323,
        264,
        27645,
        315,
        97202,
        67682,
        13,
        41151,
        11,
        10901,
        3271,
        29273,
        304,
        279,
        13354,
        45285,
        13,
        362,
        42024,
        10525,
        13352,
        3143,
        264,
        92384,
        315,
        31620,
        19281,
        13,
        576,
        67682,
        1473,
        95640,
        11,
        23091,
        11,
        323,
        279,
        10018,
        7987,
        315,
        458,
        41674,
        13551,
        13,
        576,
        1790,
        2150,
        16555,
        279,
        2666,
        315,
        5567,
        323,
        279,
        5112,
        315,
        11174,
        389,
        264,
        15134,
        13,
        576,
        8388,
        525,
        52844,
        60701,
        911,
        19119,
        6171,
        13,
        2619,
        525,
        902,
        11221,
        369,
        8692,
        821,
        476,
        24931,
        264,
        2025,
        1588,
        13,
        362,
        2613,
        37166,
        53231,
        29388,
        264,
        3241,
        13,
        11445,
        14396,
        3421,
        374,
        27539,
        6176,
        13,
        576,
        3054,
        5610,
        264,
        22360,
        10496,
        11,
        264,
        54015,
        45766,
        11,
        323,
        264,
        27645,
        315,
        97202,
        67682,
        13,
        41151,
        11,
        10901,
        3271,
        29273,
        304,
        279,
        13354,
        45285,
        13,
        362,
        42024,
        10525,
        13352,
        3143,
        264,
        92384,
        315,
        31620,
        19281,
        13,
        576,
        67682,
        1473,
        95640,
        11,
        23091,
        11,
        323,
        279,
        10018,
        7987,
        315,
        458,
        41674,
        13551,
        13,
        576,
        1790,
        2150,
        16555,
        279,
        2666,
        315,
        5567,
        323,
        279,
        5112,
        315,
        11174,
        389,
        264,
        15134,
        13,
        576,
        8388,
        525,
        52844,
        60701,
        911,
        19119,
        6171,
        13,
        2619,
        525,
        902,
        11221,
        369,
        8692,
        821,
        476,
        24931,
        264,
        2025,
        1588,
        13,
        362,
        2613,
        37166,
        53231,
        29388,
        264,
        3241,
        13,
        11445,
        14396,
        3421,
        374,
        27539,
        6176,
        13,
        576,
        3054,
        5610,
        264,
        22360,
        10496,
        11,
        264,
        54015,
        45766,
        11,
        323,
        264,
        27645,
        315,
        97202,
        67682,
        13,
        41151,
        11,
        10901,
        3271,
        29273,
        304,
        279,
        13354,
        45285,
        13,
        362,
        42024,
        10525,
        13352,
        3143,
        264,
        92384,
        315,
        31620,
        19281,
        13,
        576,
        67682,
        1473,
        95640,
        11,
        23091,
        11,
        323,
        279,
        10018,
        7987,
        315,
        458,
        41674,
        13551,
        13,
        576,
        1790,
        2150,
        16555,
        279,
        2666,
        315,
        5567,
        323,
        10465,
        330,
        15247,
        17,
        20,
        21,
        788,
        330,
        19,
        15,
        23,
        22,
        291,
        23,
        17,
        18,
        66,
        23,
        19,
        1999,
        22,
        18,
        17,
        17,
        19,
        66,
        21,
        22,
        23,
        15,
        23,
        19,
        16,
        21,
        69,
        23,
        23,
        21,
        16,
        15,
        22,
        20,
        67,
        19,
        64,
        15,
        24,
        69,
        23,
        16,
        24,
        6902,
        19,
        20,
        69,
        20,
        8904,
        24,
        18,
        19,
        23,
        19,
        24,
        68,
        21,
        66,
        15,
        20,
        497,
        330,
        34518,
        48836,
        17,
        20,
        21,
        788,
        330,
        21,
        15,
        823,
        17,
        20,
        16,
        17,
        23,
        20,
        65,
        19,
        21,
        15,
        6902,
        20,
        24,
        6902,
        15,
        16,
        17,
        22,
        64,
        24,
        8229,
        64,
        20,
        16,
        19,
        17,
        17,
        16,
        21,
        69,
        24,
        631,
        21,
        6902,
        17,
        3235,
        15,
        24,
        22,
        16,
        16,
        15,
        66,
        21,
        6445,
        23,
        21,
        6902,
        18,
        17,
        9207
      ]
    }
  },
  "tokenizer_files": {
    "tokenizer.json": "aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4",
    "tokenizer_config.json": "d5d09f07b48c3086c508b30d1c9114bd1189145b74e982a265350c923acd8101",
    "vocab.json": "ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910",
    "merges.txt": "8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5"
  }
}