File size: 11,168 Bytes
95e7465
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
{
  "status": "passed",
  "policy": "budget36-swap1",
  "purpose": "Export integrity replay, not new independent quality evidence",
  "all_per_window_metrics_exactly_match_frozen_evaluation": true,
  "quantization_manifest_sha256": "9c22fa2989edd9f9e46acf8d76e35243b6aec4643182ba2b4195fd2ed2c3d4a7",
  "expected_sha256": "0198b1989b7109125bb3116394a3c414751e95559e1e48a9970d8ceae13418d1",
  "corpus_sha256": "ad58c37420891d4c5b08181aace2e75f00ac3f8a3253269b89a0f8ee88418923",
  "script_sha256": "7f1496529c034d77a944ee80cf3cb47ad98cf988b7614ac3b608afee5b20ae8e",
  "reference_script_sha256": "2534d51af8e99699692f1a2cf5fc022bd7beaa7de07770dbffb9690aa4f62ff6",
  "normalization_script_sha256": "f06c3d51f9018814648a1fe42c39274dd103528b30185d914f76adbd68fef3ac",
  "policy_script_sha256": "e0e0aa655a97d9c78837196a94b280c54944ab5542686242dbaa7604d33dca1c",
  "provenance": {
    "source": {
      "repo": "RecursiveSI/flint",
      "revision": "2a247be0c0aec895ccb0ac7ca92229ec6df37288"
    },
    "scripts": {
      "flint_quantize.py": "3f87c9cf1bed5a2346ebc085579a82e14a236325b0b2277171dfae1d07d7b692",
      "flint_reference.py": "2534d51af8e99699692f1a2cf5fc022bd7beaa7de07770dbffb9690aa4f62ff6",
      "flint_nvfp4.py": "31aec4a310b7bddaa90da083b80352e5607ce754c10052458859f7306b5cc566"
    },
    "packages": {
      "torch": "2.8.0+cu128",
      "triton": "3.4.0",
      "safetensors": "0.8.0",
      "transformers": "5.20.2",
      "huggingface_hub": "2.2.0",
      "datasets": "5.1.0"
    },
    "gpu": "NVIDIA RTX PRO 6000 Blackwell Server Edition",
    "cuda": "12.8",
    "created_utc": "2026-10-22T00:06:38Z"
  },
  "results": {
    "bf16": {
      "aggregate": {
        "all": {
          "tokens": 49140,
          "nll": 2.214729754197971,
          "teacher_nll": 2.214729754197971,
          "kl": 0.0,
          "top1_agree": 1.0,
          "perplexity": 9.158933613767237,
          "teacher_perplexity": 9.158933613767237,
          "delta_nll": 0.0
        },
        "code": {
          "tokens": 16380,
          "nll": 1.585819314280127,
          "teacher_nll": 1.585819314280127,
          "kl": 0.0,
          "top1_agree": 1.0,
          "perplexity": 4.883290689738726,
          "teacher_perplexity": 4.883290689738726,
          "delta_nll": 0.0
        },
        "math": {
          "tokens": 16380,
          "nll": 1.5066873193514945,
          "teacher_nll": 1.5066873193514945,
          "kl": 0.0,
          "top1_agree": 1.0,
          "perplexity": 4.511759991246355,
          "teacher_perplexity": 4.511759991246355,
          "delta_nll": 0.0
        },
        "prose": {
          "tokens": 16380,
          "nll": 3.551682628962292,
          "teacher_nll": 3.551682628962292,
          "kl": 0.0,
          "top1_agree": 1.0,
          "perplexity": 34.871944693965524,
          "teacher_perplexity": 34.871944693965524,
          "delta_nll": 0.0
        }
      },
      "sequences": [
        {
          "id": "prose-qualification-holdout-0",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.570623514736674,
          "teacher_nll": 3.570623514736674,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "prose-qualification-holdout-1",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.4886688269683876,
          "teacher_nll": 3.4886688269683876,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "prose-qualification-holdout-2",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.586854711586157,
          "teacher_nll": 3.586854711586157,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "prose-qualification-holdout-3",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.56058346255795,
          "teacher_nll": 3.56058346255795,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "code-qualification-holdout-0",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.612040780315469,
          "teacher_nll": 1.612040780315469,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "code-qualification-holdout-1",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.4962344744848826,
          "teacher_nll": 1.4962344744848826,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "code-qualification-holdout-2",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.4386393615759918,
          "teacher_nll": 1.4386393615759918,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "code-qualification-holdout-3",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.796362640744164,
          "teacher_nll": 1.796362640744164,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "math-qualification-holdout-0",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.4128543704711765,
          "teacher_nll": 1.4128543704711765,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "math-qualification-holdout-1",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.545063196724879,
          "teacher_nll": 1.545063196724879,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "math-qualification-holdout-2",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.5522358872223831,
          "teacher_nll": 1.5522358872223831,
          "kl": 0.0,
          "top1_agree": 1.0
        },
        {
          "id": "math-qualification-holdout-3",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.516595822987539,
          "teacher_nll": 1.516595822987539,
          "kl": 0.0,
          "top1_agree": 1.0
        }
      ],
      "memory": {
        "swap_kib": 0,
        "cuda_peak_bytes": 6379677184
      }
    },
    "budget36-swap1": {
      "aggregate": {
        "all": {
          "tokens": 49140,
          "nll": 2.219416871241161,
          "teacher_nll": 2.214729754197971,
          "kl": 0.09010865478740386,
          "top1_agree": 0.9188848188848189,
          "perplexity": 9.201963371584448,
          "teacher_perplexity": 9.158933613767237,
          "delta_nll": 0.0046871170431899145
        },
        "code": {
          "tokens": 16380,
          "nll": 1.5947170897863432,
          "teacher_nll": 1.585819314280127,
          "kl": 0.10190384458427537,
          "top1_agree": 0.9322344322344323,
          "perplexity": 4.92693499469703,
          "teacher_perplexity": 4.883290689738726,
          "delta_nll": 0.008897775506216288
        },
        "math": {
          "tokens": 16380,
          "nll": 1.5039469321350476,
          "teacher_nll": 1.5066873193514945,
          "kl": 0.03564856964480746,
          "top1_agree": 0.9473748473748473,
          "perplexity": 4.499412947410116,
          "teacher_perplexity": 4.511759991246355,
          "delta_nll": -0.0027403872164468712
        },
        "prose": {
          "tokens": 16380,
          "nll": 3.5595865918020917,
          "teacher_nll": 3.551682628962292,
          "kl": 0.13277355013312875,
          "top1_agree": 0.877045177045177,
          "perplexity": 35.14866339553476,
          "teacher_perplexity": 34.871944693965524,
          "delta_nll": 0.00790396283979966
        }
      },
      "sequences": [
        {
          "id": "prose-qualification-holdout-0",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.60210935525114,
          "teacher_nll": 3.570623514736674,
          "kl": 0.1251914977445125,
          "top1_agree": 0.873992673992674
        },
        {
          "id": "prose-qualification-holdout-1",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.4887589190323567,
          "teacher_nll": 3.4886688269683876,
          "kl": 0.1547056760543432,
          "top1_agree": 0.8717948717948718
        },
        {
          "id": "prose-qualification-holdout-2",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.587463203774849,
          "teacher_nll": 3.586854711586157,
          "kl": 0.11346375461899753,
          "top1_agree": 0.8842490842490842
        },
        {
          "id": "prose-qualification-holdout-3",
          "domain": "prose",
          "tokens": 4095,
          "nll": 3.560014889150021,
          "teacher_nll": 3.56058346255795,
          "kl": 0.13773327211466174,
          "top1_agree": 0.8781440781440781
        },
        {
          "id": "code-qualification-holdout-0",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.634640592358488,
          "teacher_nll": 1.612040780315469,
          "kl": 0.11310800134917319,
          "top1_agree": 0.9255189255189256
        },
        {
          "id": "code-qualification-holdout-1",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.4733869531070212,
          "teacher_nll": 1.4962344744848826,
          "kl": 0.10195107398343174,
          "top1_agree": 0.9423687423687424
        },
        {
          "id": "code-qualification-holdout-2",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.4622409024081386,
          "teacher_nll": 1.4386393615759918,
          "kl": 0.0776867737409105,
          "top1_agree": 0.9374847374847375
        },
        {
          "id": "code-qualification-holdout-3",
          "domain": "code",
          "tokens": 4095,
          "nll": 1.8085999112717253,
          "teacher_nll": 1.796362640744164,
          "kl": 0.11486952926358605,
          "top1_agree": 0.9235653235653236
        },
        {
          "id": "math-qualification-holdout-0",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.4042997626012352,
          "teacher_nll": 1.4128543704711765,
          "kl": 0.03463405605419215,
          "top1_agree": 0.9472527472527472
        },
        {
          "id": "math-qualification-holdout-1",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.5480228545173766,
          "teacher_nll": 1.545063196724879,
          "kl": 0.03576130380123963,
          "top1_agree": 0.9457875457875458
        },
        {
          "id": "math-qualification-holdout-2",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.5291209340823293,
          "teacher_nll": 1.5522358872223831,
          "kl": 0.03457320837965815,
          "top1_agree": 0.9474969474969475
        },
        {
          "id": "math-qualification-holdout-3",
          "domain": "math",
          "tokens": 4095,
          "nll": 1.5343441773392488,
          "teacher_nll": 1.516595822987539,
          "kl": 0.03762571034413991,
          "top1_agree": 0.9489621489621489
        }
      ],
      "memory": {
        "swap_kib": 0,
        "cuda_peak_bytes": 6379677184
      }
    }
  },
  "memory": {
    "swap_kib": 0,
    "cuda_peak_bytes": 6379677184
  }
}