合法见证
给定一组硬约束，给一个可独立检查的构型；不排名、不打分、不承诺唯一。
不是“最好的结构”，是“在这组约束下合法的见证”。
约束先于答案
锚点、接触、核心避让、键几何、手性——先说清硬约束，再谈构型。
见证可检查
约束列表 + 构型 + 检查器版本；任何第三方拿三样东西就能复核。
三态，不二值
可行 / 不可行 / 不可判。找不到不等于不存在。
三态
| 判定 | 含义 | 例子 |
|---|---|---|
| feasible | 存在满足全部硬约束的见证 | loop 闭合：gap 1.33 Å，核心冲突 0 |
| infeasible | 硬几何可证不存在 | 锚点弦长 > 链长可达上限 |
| undecidable | 段族不完备 / 搜索未覆盖 | 稀疏距离的 DG：约束不足 |
见证证书 ke-witness/1
每个结果附带：约束、见证 SHA256、检查项、三态、边界。
{
"schema": "ke-witness/1",
"problem": { "segment": [188, 198], "family": "closure" },
"verdict": "feasible",
"witness": { "file": "witness.pdb", "sha256": "…" },
"checks": {
"anchor_err": 0.0,
"contact_err": [],
"core_contacts": 0
},
"boundary": ["CA-level witness", "no scoring; legality only"]
}
校验：kemol verify --cert cert.json --pdb witness.pdb
浏览器校验证书
下面这份证书由 kemol dg 生成；页面用 WebCrypto 重算见证的 SHA256，与证书比对。
未校验
实测（不是示意）
| 用例 | 判定 | 关键读数 |
|---|---|---|
| 1AKE loop 闭合（2.95 Å 断口） | feasible | gap 1.33、核心 0 |
| DG patch（全对距离） | feasible | 距离误差 0.045、局部 0.02 Å |
| AQ4 配体口袋 | feasible | 接触 0/0/0、核心 0 |
English summary
A legal witness is a concrete configuration that satisfies a declared set of hard constraints. We report feasible / infeasible / undecidable; we do not rank or score. Each result carries a ke-witness/1 certificate with constraint list, witness SHA256, checks and boundary.