cbb
c6b46b8bb1
- certify_uniform：固定 n 个子段一次 gaps 调用，判据与二分同源（子段界=整段界/n），证不出即拒 - 确定界反证：48段×121点×15组对=720项检验 0 违例；有信息量仅 61 项，最紧仍高出 0.035 mm （是"未能在真实运动上证伪"，不是证明；浮点误差仍未形式化） - 第180题 1.08-1.10s 漏检段在每个 n>=8 均判碰撞；二次加密(2n+1)反证 0 误放行 - 更正轮次31的"自适应cap无收益"：旧公式 bound/2+eps 会把本可通过的子段钳成不可证； 改为 bound+2eps 后交错实测决策不变、快 1.36~1.65x（n=8 13.13→9.68，n=128 98.46→59.76 ms） - 负结论：只有 n<=16 能把认证压进 20 ms，但该档仅证出 26-30/48 根，其余必须刹停； 成本=log(bound/间隙) 决定，故下一步要在反馈后限幅并让安全层要求正余量（现 cap=0.5 会截掉余量） - 测试 23→26 项：n=5拒/n=6受的解析对照、cap_required 公式、n 张量类型门
190 lines
4.1 KiB
JSON
190 lines
4.1 KiB
JSON
{
|
||
"device": "cuda float64",
|
||
"torch": "2.10.0+cu130",
|
||
"kin_fp": "2ebcbf17",
|
||
"roots_per_call": 2,
|
||
"pairs": 24,
|
||
"warm": 3,
|
||
"reps": 7,
|
||
"segment_sample": "docs/experiment_round31_certificates.json 的 48 段两两成对",
|
||
"design": "每对根轮流按正序/逆序测完全部配置（3次预热+7次计时）；uniform_auto 的宽相位=最大子段界+2eps，uniform_cap20 固定 20 mm，bisect 为第31轮逐层二分口径",
|
||
"results": [
|
||
{
|
||
"kind": "uniform_auto",
|
||
"n_or_budget": 8,
|
||
"points": 18,
|
||
"cap_used_mm": 5.9191,
|
||
"calls": 168,
|
||
"p50_ms": 9.684,
|
||
"p90_ms": 13.027,
|
||
"p99_ms": 15.157,
|
||
"max_ms": 17.537,
|
||
"over_20ms": 0,
|
||
"roots": 48,
|
||
"safe": 26,
|
||
"collision": 1,
|
||
"rejected": 21
|
||
},
|
||
{
|
||
"kind": "uniform_auto",
|
||
"n_or_budget": 16,
|
||
"points": 34,
|
||
"cap_used_mm": 2.9597,
|
||
"calls": 168,
|
||
"p50_ms": 14.137,
|
||
"p90_ms": 18.454,
|
||
"p99_ms": 20.866,
|
||
"max_ms": 21.632,
|
||
"over_20ms": 5,
|
||
"roots": 48,
|
||
"safe": 30,
|
||
"collision": 1,
|
||
"rejected": 17
|
||
},
|
||
{
|
||
"kind": "uniform_auto",
|
||
"n_or_budget": 32,
|
||
"points": 66,
|
||
"cap_used_mm": 1.4799,
|
||
"calls": 168,
|
||
"p50_ms": 20.209,
|
||
"p90_ms": 27.88,
|
||
"p99_ms": 32.268,
|
||
"max_ms": 35.563,
|
||
"over_20ms": 87,
|
||
"roots": 48,
|
||
"safe": 34,
|
||
"collision": 1,
|
||
"rejected": 13
|
||
},
|
||
{
|
||
"kind": "uniform_auto",
|
||
"n_or_budget": 64,
|
||
"points": 130,
|
||
"cap_used_mm": 0.7401,
|
||
"calls": 168,
|
||
"p50_ms": 31.429,
|
||
"p90_ms": 48.751,
|
||
"p99_ms": 57.697,
|
||
"max_ms": 62.084,
|
||
"over_20ms": 165,
|
||
"roots": 48,
|
||
"safe": 36,
|
||
"collision": 1,
|
||
"rejected": 11
|
||
},
|
||
{
|
||
"kind": "uniform_auto",
|
||
"n_or_budget": 128,
|
||
"points": 258,
|
||
"cap_used_mm": 0.3701,
|
||
"calls": 168,
|
||
"p50_ms": 59.761,
|
||
"p90_ms": 89.063,
|
||
"p99_ms": 109.086,
|
||
"max_ms": 117.345,
|
||
"over_20ms": 168,
|
||
"roots": 48,
|
||
"safe": 38,
|
||
"collision": 1,
|
||
"rejected": 9
|
||
},
|
||
{
|
||
"kind": "uniform_cap20",
|
||
"n_or_budget": 8,
|
||
"points": 18,
|
||
"cap_used_mm": 20.0,
|
||
"calls": 168,
|
||
"p50_ms": 13.129,
|
||
"p90_ms": 16.44,
|
||
"p99_ms": 20.963,
|
||
"max_ms": 24.67,
|
||
"over_20ms": 3,
|
||
"roots": 48,
|
||
"safe": 26,
|
||
"collision": 1,
|
||
"rejected": 21
|
||
},
|
||
{
|
||
"kind": "uniform_cap20",
|
||
"n_or_budget": 32,
|
||
"points": 66,
|
||
"cap_used_mm": 20.0,
|
||
"calls": 168,
|
||
"p50_ms": 28.415,
|
||
"p90_ms": 39.579,
|
||
"p99_ms": 53.023,
|
||
"max_ms": 59.983,
|
||
"over_20ms": 153,
|
||
"roots": 48,
|
||
"safe": 34,
|
||
"collision": 1,
|
||
"rejected": 13
|
||
},
|
||
{
|
||
"kind": "uniform_cap20",
|
||
"n_or_budget": 64,
|
||
"points": 130,
|
||
"cap_used_mm": 20.0,
|
||
"calls": 168,
|
||
"p50_ms": 50.85,
|
||
"p90_ms": 75.512,
|
||
"p99_ms": 88.355,
|
||
"max_ms": 91.492,
|
||
"over_20ms": 168,
|
||
"roots": 48,
|
||
"safe": 36,
|
||
"collision": 1,
|
||
"rejected": 11
|
||
},
|
||
{
|
||
"kind": "uniform_cap20",
|
||
"n_or_budget": 128,
|
||
"points": 258,
|
||
"cap_used_mm": 20.0,
|
||
"calls": 168,
|
||
"p50_ms": 98.46,
|
||
"p90_ms": 139.982,
|
||
"p99_ms": 167.042,
|
||
"max_ms": 177.743,
|
||
"over_20ms": 168,
|
||
"roots": 48,
|
||
"safe": 38,
|
||
"collision": 1,
|
||
"rejected": 9
|
||
},
|
||
{
|
||
"kind": "bisect",
|
||
"n_or_budget": 32,
|
||
"points": null,
|
||
"cap_used_mm": 20.0,
|
||
"calls": 168,
|
||
"p50_ms": 54.885,
|
||
"p90_ms": 82.151,
|
||
"p99_ms": 117.205,
|
||
"max_ms": 118.716,
|
||
"over_20ms": 133,
|
||
"roots": 48,
|
||
"safe": 37,
|
||
"collision": 1,
|
||
"rejected": 10
|
||
},
|
||
{
|
||
"kind": "bisect",
|
||
"n_or_budget": 65,
|
||
"points": null,
|
||
"cap_used_mm": 20.0,
|
||
"calls": 168,
|
||
"p50_ms": 71.825,
|
||
"p90_ms": 108.559,
|
||
"p99_ms": 122.533,
|
||
"max_ms": 127.319,
|
||
"over_20ms": 133,
|
||
"roots": 48,
|
||
"safe": 41,
|
||
"collision": 1,
|
||
"rejected": 6
|
||
}
|
||
],
|
||
"wall_s": 108.63
|
||
} |