cwLeeDev commited on
Commit
2134ed1
ยท
verified ยท
1 Parent(s): 5aff889

Retract invalid P deltas after shared-state loader audit

Browse files
models/auxiliary/boundary_auxiliary_head.pt DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:346daa77c4603debe25a3e14c16f9affd1b83f29a43304ecba6c27fe58fb3a74
3
- size 4024
 
 
 
 
models/auxiliary/seed17/boundary_joint_delta.pt DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:e770b5e75f7e3819acbfa30cdc46a8c95b80af1747351bacf4eeca2996f2eb73
3
- size 1485866
 
 
 
 
models/auxiliary/seed31/boundary_joint_delta.pt DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:28ea671447fe053725cc460ef93eb03e66aed69bb150a3f1516a80952b72e523
3
- size 1485866
 
 
 
 
models/auxiliary/seed47/boundary_joint_delta.pt DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:220461940fe75a257ffc3f2a0147920bc62ab2464bee87159aeebebd6db4e379
3
- size 1485866
 
 
 
 
reports/p_boundary_device_stress_3seed.json DELETED
@@ -1,335 +0,0 @@
1
- {
2
- "experiment": "P-MATH-INK-06-BOUNDARY-DEVICE-STRESS-001",
3
- "generated_at": "2026-07-23T19:31:55.957852+00:00",
4
- "device": "cuda",
5
- "cuda_device": "NVIDIA GeForce GTX 1650",
6
- "test_cache_key": "26bee2f320c6f0a7eca3c6ca1c9c71dd0cbe89cfaee8d8c415af74ae84c0d879",
7
- "stress_contract": {
8
- "modes": [
9
- "clean",
10
- "coordinate_jitter",
11
- "timestamp_missing",
12
- "sparse_sampling",
13
- "affine_device"
14
- ],
15
- "maximum_exact_regression_pp": 3.0,
16
- "maximum_family_regression_pp": 3.0,
17
- "minimum_single_symbol_recall": 0.9,
18
- "minimum_cross_boundary_recall": 0.9
19
- },
20
- "seeds": [
21
- {
22
- "seed": 17,
23
- "threshold": 0.525,
24
- "modes": {
25
- "clean": {
26
- "authentic": {
27
- "samples": 3782,
28
- "exact_top1": 0.7765732416710736,
29
- "family_top1": 0.8622421998942359
30
- },
31
- "boundary": {
32
- "threshold": 0.525,
33
- "accuracy": 0.9783333333333334,
34
- "f1": 0.9785655399835119,
35
- "roc_auc": 0.9964729166666666,
36
- "single_symbol_recall": 0.9675,
37
- "cross_boundary_recall": 0.9891666666666666
38
- }
39
- },
40
- "coordinate_jitter": {
41
- "authentic": {
42
- "samples": 3782,
43
- "exact_top1": 0.775251189846642,
44
- "family_top1": 0.8622421998942359
45
- },
46
- "boundary": {
47
- "threshold": 0.525,
48
- "accuracy": 0.9783333333333334,
49
- "f1": 0.9785831960461285,
50
- "roc_auc": 0.9964930555555556,
51
- "single_symbol_recall": 0.9666666666666667,
52
- "cross_boundary_recall": 0.99
53
- },
54
- "deltas": {
55
- "exact_top1_pp": -0.13220518244315693,
56
- "family_top1_pp": 0.0
57
- },
58
- "gate_passed": true
59
- },
60
- "timestamp_missing": {
61
- "authentic": {
62
- "samples": 3782,
63
- "exact_top1": 0.7800105764145955,
64
- "family_top1": 0.8553675304071919
65
- },
66
- "boundary": {
67
- "threshold": 0.525,
68
- "accuracy": 0.97875,
69
- "f1": 0.9789517127527858,
70
- "roc_auc": 0.9966340277777778,
71
- "single_symbol_recall": 0.9691666666666666,
72
- "cross_boundary_recall": 0.9883333333333333
73
- },
74
- "deltas": {
75
- "exact_top1_pp": 0.3437334743521925,
76
- "family_top1_pp": -0.6874669487043961
77
- },
78
- "gate_passed": true
79
- },
80
- "sparse_sampling": {
81
- "authentic": {
82
- "samples": 3782,
83
- "exact_top1": 0.7723426758328926,
84
- "family_top1": 0.8548387096774194
85
- },
86
- "boundary": {
87
- "threshold": 0.525,
88
- "accuracy": 0.9791666666666666,
89
- "f1": 0.9794069192751236,
90
- "roc_auc": 0.99676875,
91
- "single_symbol_recall": 0.9675,
92
- "cross_boundary_recall": 0.9908333333333333
93
- },
94
- "deltas": {
95
- "exact_top1_pp": -0.4230565838180933,
96
- "family_top1_pp": -0.7403490216816522
97
- },
98
- "gate_passed": true
99
- },
100
- "affine_device": {
101
- "authentic": {
102
- "samples": 3782,
103
- "exact_top1": 0.7675832892649392,
104
- "family_top1": 0.8527234267583289
105
- },
106
- "boundary": {
107
- "threshold": 0.525,
108
- "accuracy": 0.9720833333333333,
109
- "f1": 0.9722337339411521,
110
- "roc_auc": 0.9952104166666667,
111
- "single_symbol_recall": 0.9666666666666667,
112
- "cross_boundary_recall": 0.9775
113
- },
114
- "deltas": {
115
- "exact_top1_pp": -0.8989952406134316,
116
- "family_top1_pp": -0.9518773135906988
117
- },
118
- "gate_passed": true
119
- }
120
- },
121
- "all_stress_gates_passed": true
122
- },
123
- {
124
- "seed": 31,
125
- "threshold": 0.625,
126
- "modes": {
127
- "clean": {
128
- "authentic": {
129
- "samples": 3782,
130
- "exact_top1": 0.7937599153886833,
131
- "family_top1": 0.8770491803278688
132
- },
133
- "boundary": {
134
- "threshold": 0.625,
135
- "accuracy": 0.9808333333333333,
136
- "f1": 0.9808013355592654,
137
- "roc_auc": 0.9979034722222222,
138
- "single_symbol_recall": 0.9825,
139
- "cross_boundary_recall": 0.9791666666666666
140
- }
141
- },
142
- "coordinate_jitter": {
143
- "authentic": {
144
- "samples": 3782,
145
- "exact_top1": 0.7942887361184559,
146
- "family_top1": 0.8778424114225277
147
- },
148
- "boundary": {
149
- "threshold": 0.625,
150
- "accuracy": 0.98125,
151
- "f1": 0.9811951525282073,
152
- "roc_auc": 0.9979090277777778,
153
- "single_symbol_recall": 0.9841666666666666,
154
- "cross_boundary_recall": 0.9783333333333334
155
- },
156
- "deltas": {
157
- "exact_top1_pp": 0.05288207297725611,
158
- "family_top1_pp": 0.07932310946588972
159
- },
160
- "gate_passed": true
161
- },
162
- "timestamp_missing": {
163
- "authentic": {
164
- "samples": 3782,
165
- "exact_top1": 0.7911158117398202,
166
- "family_top1": 0.8693812797461661
167
- },
168
- "boundary": {
169
- "threshold": 0.625,
170
- "accuracy": 0.9791666666666666,
171
- "f1": 0.9790444258172674,
172
- "roc_auc": 0.9979673611111111,
173
- "single_symbol_recall": 0.985,
174
- "cross_boundary_recall": 0.9733333333333334
175
- },
176
- "deltas": {
177
- "exact_top1_pp": -0.26441036488631386,
178
- "family_top1_pp": -0.7667900581702747
179
- },
180
- "gate_passed": true
181
- },
182
- "sparse_sampling": {
183
- "authentic": {
184
- "samples": 3782,
185
- "exact_top1": 0.7890005288207298,
186
- "family_top1": 0.8725542041248017
187
- },
188
- "boundary": {
189
- "threshold": 0.625,
190
- "accuracy": 0.98125,
191
- "f1": 0.9812889812889813,
192
- "roc_auc": 0.9979597222222221,
193
- "single_symbol_recall": 0.9791666666666666,
194
- "cross_boundary_recall": 0.9833333333333333
195
- },
196
- "deltas": {
197
- "exact_top1_pp": -0.4759386567953494,
198
- "family_top1_pp": -0.4494976203067158
199
- },
200
- "gate_passed": true
201
- },
202
- "affine_device": {
203
- "authentic": {
204
- "samples": 3782,
205
- "exact_top1": 0.7842411422527763,
206
- "family_top1": 0.8622421998942359
207
- },
208
- "boundary": {
209
- "threshold": 0.625,
210
- "accuracy": 0.9745833333333334,
211
- "f1": 0.9743805123897522,
212
- "roc_auc": 0.9969861111111111,
213
- "single_symbol_recall": 0.9825,
214
- "cross_boundary_recall": 0.9666666666666667
215
- },
216
- "deltas": {
217
- "exact_top1_pp": -0.9518773135906988,
218
- "family_top1_pp": -1.4806980433632932
219
- },
220
- "gate_passed": true
221
- }
222
- },
223
- "all_stress_gates_passed": true
224
- },
225
- {
226
- "seed": 47,
227
- "threshold": 0.625,
228
- "modes": {
229
- "clean": {
230
- "authentic": {
231
- "samples": 3782,
232
- "exact_top1": 0.7784241142252777,
233
- "family_top1": 0.8646218931782126
234
- },
235
- "boundary": {
236
- "threshold": 0.625,
237
- "accuracy": 0.9795833333333334,
238
- "f1": 0.9797269342159702,
239
- "roc_auc": 0.9966916666666666,
240
- "single_symbol_recall": 0.9725,
241
- "cross_boundary_recall": 0.9866666666666667
242
- }
243
- },
244
- "coordinate_jitter": {
245
- "authentic": {
246
- "samples": 3782,
247
- "exact_top1": 0.7786885245901639,
248
- "family_top1": 0.8654151242728715
249
- },
250
- "boundary": {
251
- "threshold": 0.625,
252
- "accuracy": 0.9804166666666667,
253
- "f1": 0.9805704836709384,
254
- "roc_auc": 0.9966652777777778,
255
- "single_symbol_recall": 0.9725,
256
- "cross_boundary_recall": 0.9883333333333333
257
- },
258
- "deltas": {
259
- "exact_top1_pp": 0.026441036488622505,
260
- "family_top1_pp": 0.07932310946588972
261
- },
262
- "gate_passed": true
263
- },
264
- "timestamp_missing": {
265
- "authentic": {
266
- "samples": 3782,
267
- "exact_top1": 0.777895293495505,
268
- "family_top1": 0.8622421998942359
269
- },
270
- "boundary": {
271
- "threshold": 0.625,
272
- "accuracy": 0.9791666666666666,
273
- "f1": 0.9792874896437448,
274
- "roc_auc": 0.997129861111111,
275
- "single_symbol_recall": 0.9733333333333334,
276
- "cross_boundary_recall": 0.985
277
- },
278
- "deltas": {
279
- "exact_top1_pp": -0.052882072977267214,
280
- "family_top1_pp": -0.23796932839766916
281
- },
282
- "gate_passed": true
283
- },
284
- "sparse_sampling": {
285
- "authentic": {
286
- "samples": 3782,
287
- "exact_top1": 0.7757800105764145,
288
- "family_top1": 0.8590692755156002
289
- },
290
- "boundary": {
291
- "threshold": 0.625,
292
- "accuracy": 0.97875,
293
- "f1": 0.9788994621431527,
294
- "roc_auc": 0.9966645833333333,
295
- "single_symbol_recall": 0.9716666666666667,
296
- "cross_boundary_recall": 0.9858333333333333
297
- },
298
- "deltas": {
299
- "exact_top1_pp": -0.26441036488631386,
300
- "family_top1_pp": -0.5552617662612391
301
- },
302
- "gate_passed": true
303
- },
304
- "affine_device": {
305
- "authentic": {
306
- "samples": 3782,
307
- "exact_top1": 0.763088313061872,
308
- "family_top1": 0.8500793231094659
309
- },
310
- "boundary": {
311
- "threshold": 0.625,
312
- "accuracy": 0.9708333333333333,
313
- "f1": 0.9708090075062552,
314
- "roc_auc": 0.99540625,
315
- "single_symbol_recall": 0.9716666666666667,
316
- "cross_boundary_recall": 0.97
317
- },
318
- "deltas": {
319
- "exact_top1_pp": -1.5335801163405716,
320
- "family_top1_pp": -1.4542570068746707
321
- },
322
- "gate_passed": true
323
- }
324
- },
325
- "all_stress_gates_passed": true
326
- }
327
- ],
328
- "decision": {
329
- "all_seed_stress_gates_passed": true,
330
- "failures": [],
331
- "product_validation": false
332
- },
333
- "track": "P_with_obligations",
334
- "product_validation": false
335
- }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
reports/p_boundary_joint_3seed_summary.json DELETED
@@ -1,94 +0,0 @@
1
- {
2
- "experiment": "P-MATH-INK-06-BOUNDARY-JOINT-3SEED-001",
3
- "generated_at": "2026-07-23T19:25:50.584841+00:00",
4
- "seeds": [
5
- 17,
6
- 31,
7
- 47
8
- ],
9
- "reports": [
10
- "C:\\Users\\user\\Desktop\\Aiflow\\math-grid-drawer-simulation\\research\\runs\\math_ink_06_p_boundary_joint_seed17_20260724\\report.json",
11
- "C:\\Users\\user\\Desktop\\Aiflow\\math-grid-drawer-simulation\\research\\runs\\math_ink_06_p_boundary_joint_seed31_20260724\\report.json",
12
- "C:\\Users\\user\\Desktop\\Aiflow\\math-grid-drawer-simulation\\research\\runs\\math_ink_06_p_boundary_joint_seed47_20260724\\report.json"
13
- ],
14
- "metrics": {
15
- "exact_top1": {
16
- "values": [
17
- 0.7765732416710736,
18
- 0.7937599153886833,
19
- 0.7784241142252777
20
- ],
21
- "mean": 0.7829190904283448,
22
- "std": 0.007702772084061657,
23
- "minimum": 0.7765732416710736
24
- },
25
- "family_top1": {
26
- "values": [
27
- 0.8622421998942359,
28
- 0.8770491803278688,
29
- 0.8646218931782126
30
- ],
31
- "mean": 0.867971091133439,
32
- "std": 0.006492278110595039,
33
- "minimum": 0.8622421998942359
34
- },
35
- "exact_gain_pp": {
36
- "values": [
37
- 3.067160232681121,
38
- 3.199365415124278,
39
- 2.696985721840306
40
- ],
41
- "mean": 2.9878371232152348,
42
- "std": 0.21262714757297124,
43
- "minimum": 2.696985721840306
44
- },
45
- "family_gain_pp": {
46
- "values": [
47
- 2.7763088313061957,
48
- 3.5430988894764703,
49
- 2.617662612374405
50
- ],
51
- "mean": 2.9790234443856902,
52
- "std": 0.40408578834294545,
53
- "minimum": 2.617662612374405
54
- },
55
- "single_symbol_recall": {
56
- "values": [
57
- 0.9675,
58
- 0.9825,
59
- 0.9725
60
- ],
61
- "mean": 0.9741666666666667,
62
- "std": 0.006236095644623242,
63
- "minimum": 0.9675
64
- },
65
- "cross_boundary_recall": {
66
- "values": [
67
- 0.9891666666666666,
68
- 0.9791666666666666,
69
- 0.9866666666666667
70
- ],
71
- "mean": 0.985,
72
- "std": 0.004249182927993998,
73
- "minimum": 0.9791666666666666
74
- },
75
- "boundary_f1": {
76
- "values": [
77
- 0.9785655399835119,
78
- 0.9808013355592654,
79
- 0.9797269342159702
80
- ],
81
- "mean": 0.9796979365862493,
82
- "std": 0.0009129900003237691,
83
- "minimum": 0.9785655399835119
84
- }
85
- },
86
- "decision": {
87
- "all_seed_gate_passed": true,
88
- "p_proxy_release_adopted": true,
89
- "product_validation": false,
90
- "next_gate": "์‹ค์ œ P ์—ฐ์† ์ˆ˜์‹ writer/device-disjoint boundary ํ‰๊ฐ€"
91
- },
92
- "track": "P_with_obligations",
93
- "product_validation": false
94
- }