pflt-fsot / data /push_open_report.json
dappalumbo91's picture
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
1c6f7c7 verified
Raw
History Blame Contribute Delete
1.01 kB
{
"built_utc": "2026-07-18T19:46:29.960919+00:00",
"core_only_partial": 0.2786037491919845,
"core_mixed_partial": 0.1625926943147487,
"name_open_train_seeds": 0.1708701134930643,
"name_open_pleiades": 0.18095838587641866,
"name_deployed": 0.7944514501891551,
"pleiades_forms": 66435,
"core_gap_fix": {
"baseline": 0.1784,
"now": 0.2361,
"delta_pp": 5.77,
"report": "data/core_gap_fix_report.json"
},
"climb_open_set": {
"partial": 0.2786037491919845,
"exact": 0.020168067226890758,
"delta_pp_vs_original": 10.02037491919845,
"report": "C:\\Users\\damia\\Desktop\\pflt\\data\\climb_open_set_report.json"
},
"dual_track": {
"core_partial": 0.2650290885585003,
"name_open_train_seeds": 0.16520100502512564,
"name_open_plus_pleiades": 0.18907035175879397,
"name_deployed_partial": 0.7908291457286433,
"full_partial": 0.25227833172509917,
"n_core_test": 7735,
"n_name_test": 1592
},
"n_gold": 93461
}