agent-comparability 0.5.2__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- agent_comparability/__init__.py +3 -0
- agent_comparability/core.py +113 -0
- agent_comparability/data/SPEC.md +115 -0
- agent_comparability/data/boundary-cases.json +38 -0
- agent_comparability/data/cdr.schema.json +89 -0
- agent_comparability/data/frozen-cases-a.json +51 -0
- agent_comparability/py.typed +0 -0
- agent_comparability-0.5.2.dist-info/METADATA +351 -0
- agent_comparability-0.5.2.dist-info/RECORD +13 -0
- agent_comparability-0.5.2.dist-info/WHEEL +5 -0
- agent_comparability-0.5.2.dist-info/licenses/LICENSE +202 -0
- agent_comparability-0.5.2.dist-info/licenses/NOTICE +10 -0
- agent_comparability-0.5.2.dist-info/top_level.txt +1 -0
|
@@ -0,0 +1,113 @@
|
|
|
1
|
+
"""比较判定核心库 cmp/core(cmp/0.3.1 规范参考实现,第十九轮升级)。
|
|
2
|
+
|
|
3
|
+
相对 0.2 的规范符合性修复(依据 SPEC 0.3.1;B 集冻结预期先于本修改存在):
|
|
4
|
+
①同任务性检查入 score 判定优先级 2(B3 暴露 0.2 缺失)
|
|
5
|
+
②评分尺度一致性检查(含 0.3.1 隐式默认规则)(B4/B5 暴露 0.2 缺失)
|
|
6
|
+
③claim 路由补 registration/descriptive 关键词(B2-B5 暴露误判)
|
|
7
|
+
④policy_version 升 cmp/0.3.1(消费方按 SPEC §5 重判旧 CDR)
|
|
8
|
+
判定优先级(SPEC §3.3):INCONCLUSIVE(缺trace) > INADMISSIBLE(任务/模型/混淆/尺度) > PARTIAL(零语义) > ADMISSIBLE。
|
|
9
|
+
"""
|
|
10
|
+
|
|
11
|
+
from dataclasses import dataclass, field, asdict
|
|
12
|
+
|
|
13
|
+
POLICY_VERSION = "cmp/0.3.1"
|
|
14
|
+
TAMPER_LIMITATION = "摘要一致仅证明未同步修改,不构成抗恶意篡改(单写信任域)"
|
|
15
|
+
DEFAULT_SCALE = {"range": "0..1", "unit": "fraction", "verifier": "source"}
|
|
16
|
+
KNOWN_FIELDS = {"task_id", "harness", "model", "reward", "reward_status",
|
|
17
|
+
"trajectory_available", "score_scale", "repetition_count"}
|
|
18
|
+
|
|
19
|
+
|
|
20
|
+
@dataclass
|
|
21
|
+
class CDR:
|
|
22
|
+
case_id: str
|
|
23
|
+
requested_claim: str
|
|
24
|
+
comparison_scope: str
|
|
25
|
+
admissibility: str = "PENDING"
|
|
26
|
+
satisfied_conditions: list = field(default_factory=list)
|
|
27
|
+
violated_conditions: list = field(default_factory=list)
|
|
28
|
+
unknown_conditions: list = field(default_factory=list)
|
|
29
|
+
supported_claims: list = field(default_factory=list)
|
|
30
|
+
unsupported_claims: list = field(default_factory=list)
|
|
31
|
+
evidence_refs: list = field(default_factory=list)
|
|
32
|
+
policy_version: str = POLICY_VERSION
|
|
33
|
+
limitations: list = field(default_factory=lambda: [TAMPER_LIMITATION])
|
|
34
|
+
|
|
35
|
+
def to_dict(self):
|
|
36
|
+
return asdict(self)
|
|
37
|
+
|
|
38
|
+
|
|
39
|
+
def _effective_scale(r):
|
|
40
|
+
"""SPEC 0.3.1 隐式默认:值∈[0,1] 且未声明 → 默认尺度;否则必须显式。"""
|
|
41
|
+
if "score_scale" in r:
|
|
42
|
+
return tuple(sorted(r["score_scale"].items()))
|
|
43
|
+
if isinstance(r.get("reward"), (int, float)) and 0.0 <= r["reward"] <= 1.0:
|
|
44
|
+
return tuple(sorted(DEFAULT_SCALE.items()))
|
|
45
|
+
return None # 越界且未声明 → 不一致
|
|
46
|
+
|
|
47
|
+
|
|
48
|
+
def adjudicate(case: dict, requested_claim: str) -> CDR:
|
|
49
|
+
recs = case["records"]
|
|
50
|
+
models = {r["model"] for r in recs}
|
|
51
|
+
harnesses = {r["harness"] for r in recs}
|
|
52
|
+
tasks = {r["task_id"] for r in recs}
|
|
53
|
+
statuses = [r["reward_status"] for r in recs]
|
|
54
|
+
any_missing = any(r.get("trajectory_available") is False for r in recs)
|
|
55
|
+
multi = len(recs) > 1
|
|
56
|
+
ignored = sorted({k for r in recs for k in r if k not in KNOWN_FIELDS})
|
|
57
|
+
|
|
58
|
+
cdr = CDR(case_id=case["id"], requested_claim=requested_claim,
|
|
59
|
+
comparison_scope=f"{len(recs)} records; models={sorted(models)}; harnesses={sorted(harnesses)}")
|
|
60
|
+
|
|
61
|
+
(cdr.satisfied_conditions if len(tasks) == 1 else cdr.violated_conditions).append("same_task_id")
|
|
62
|
+
(cdr.satisfied_conditions if len(models) == 1 else cdr.violated_conditions).append("same_model")
|
|
63
|
+
confounded = len(models) > 1 and len(harnesses) > 1
|
|
64
|
+
(cdr.violated_conditions if confounded else cdr.satisfied_conditions).append("single_variable_isolation")
|
|
65
|
+
if any_missing:
|
|
66
|
+
cdr.violated_conditions.append("trace_available")
|
|
67
|
+
if "unresolved_zero" in statuses and "verified" in statuses:
|
|
68
|
+
cdr.violated_conditions.append("zero_semantics_uniform(verified_zero != unresolved_zero)")
|
|
69
|
+
scales = [_effective_scale(r) for r in recs]
|
|
70
|
+
if (multi and (None in scales or len(set(scales)) > 1)) or None in scales:
|
|
71
|
+
# 值越界且未声明尺度(单记录同样不构成可比较尺度)——SPEC 0.3.1 隐式默认规则
|
|
72
|
+
cdr.violated_conditions.append("score_scale_consistent")
|
|
73
|
+
else:
|
|
74
|
+
base = scales[0] if scales else tuple(sorted(DEFAULT_SCALE.items()))
|
|
75
|
+
cdr.satisfied_conditions.append("continuous_score_preserved(" + repr(dict(base)) + ")")
|
|
76
|
+
if ignored:
|
|
77
|
+
cdr.unknown_conditions.append(f"ignored_fields:{ignored}")
|
|
78
|
+
if any_missing:
|
|
79
|
+
cdr.unknown_conditions.append("source_reward_retained_but_unverifiable_by_us")
|
|
80
|
+
|
|
81
|
+
claim = requested_claim.replace("_", " ")
|
|
82
|
+
single_var = (not confounded and not any_missing)
|
|
83
|
+
|
|
84
|
+
if any(k in claim for k in ("causal", "导致", "归因")):
|
|
85
|
+
cdr.admissibility = "INADMISSIBLE"
|
|
86
|
+
cdr.unsupported_claims.append("causal_attribution(单次运行无重复)")
|
|
87
|
+
if single_var:
|
|
88
|
+
cdr.supported_claims.append("descriptive_side_by_side(降级表述)")
|
|
89
|
+
elif any(k in claim for k in ("score", "分数", "成功率")) and not any(
|
|
90
|
+
k in claim for k in ("record", "登记", "registration", "descriptive")):
|
|
91
|
+
if any_missing:
|
|
92
|
+
cdr.admissibility = "INCONCLUSIVE"
|
|
93
|
+
cdr.supported_claims.append("score_transcription(source_verifier_attested)")
|
|
94
|
+
cdr.unsupported_claims.append("success_rate(含证据缺失记录)")
|
|
95
|
+
elif len(tasks) > 1 or len(models) > 1 or confounded or "score_scale_consistent" in cdr.violated_conditions:
|
|
96
|
+
cdr.admissibility = "INADMISSIBLE"
|
|
97
|
+
cdr.unsupported_claims.append("score_comparison(任务/模型/尺度条件冲突)")
|
|
98
|
+
elif any(v.startswith("zero_semantics_uniform") for v in cdr.violated_conditions):
|
|
99
|
+
cdr.admissibility = "PARTIAL"
|
|
100
|
+
cdr.supported_claims.append("per_status_stratified_rate(verified_zero/unresolved_zero 分列)")
|
|
101
|
+
cdr.unsupported_claims.append("pooled_fail_rate(0 分语义混同)")
|
|
102
|
+
else:
|
|
103
|
+
cdr.admissibility = "ADMISSIBLE"
|
|
104
|
+
cdr.supported_claims.append("continuous_score_side_by_side(同尺度)")
|
|
105
|
+
elif any(k in claim for k in ("record", "登记", "registration", "descriptive", "describe")):
|
|
106
|
+
cdr.admissibility = "ADMISSIBLE"
|
|
107
|
+
cdr.supported_claims.append("descriptive_registration(全部条件+连续分数)")
|
|
108
|
+
else:
|
|
109
|
+
cdr.admissibility = "INCONCLUSIVE"
|
|
110
|
+
cdr.unknown_conditions.append("unrecognized_claim_type")
|
|
111
|
+
|
|
112
|
+
cdr.evidence_refs = [f"rec:{r['task_id']}/{r['model']}/{r['harness']}" for r in recs]
|
|
113
|
+
return cdr
|
|
@@ -0,0 +1,115 @@
|
|
|
1
|
+
# Agent Evaluation Comparability Specification — cmp/0.3.1 (Release Candidate)
|
|
2
|
+
|
|
3
|
+
规范状态:候选规范(非行业标准、无第三方认证)。本文是判定语义的单一事实来源;参考实现(`scripts/cmp/core.py`)与一切第三方实现均以本文为准,冲突时以本文裁决。可脱离任何源码阅读。
|
|
4
|
+
|
|
5
|
+
---
|
|
6
|
+
|
|
7
|
+
## 0. 范围与目的
|
|
8
|
+
|
|
9
|
+
给定一组**评测运行记录**(Record)与一个**请求结论**(Requested Claim),本规范定义:该组记录在当前证据条件下**允许得出什么结论、不允许得出什么结论**。它不评分、不运行 Agent、不替代任何评测框架——它只裁决**可比性**。
|
|
10
|
+
|
|
11
|
+
**Record**(最小字段):`task_id`、`model`、`harness`、`reward`(数值)、`reward_status`(`verified` / `unresolved_zero` / 其他)、可选 `trajectory_available`(bool)、可选 `score_scale`(`{range, unit, verifier}`)、可选 `repetition_count`(int ≥1)。
|
|
12
|
+
|
|
13
|
+
---
|
|
14
|
+
|
|
15
|
+
## 1. 证据信任层级(独立于比较判定)
|
|
16
|
+
|
|
17
|
+
每条 Record 的评分只能落在以下一层,层级**互斥且必须显式**,不得混用:
|
|
18
|
+
|
|
19
|
+
| 层 | 名称 | 含义 | 禁止 |
|
|
20
|
+
|---|---|---|---|
|
|
21
|
+
| L-claim | agent-claimed | Agent 自我声明 | 作为评分依据 |
|
|
22
|
+
| L-src | source-verifier-attested | 来源基准验证器给出 | 冒充本方独立验证 |
|
|
23
|
+
| L-ours | independently-verified | 本方对终态/答案亲自复验 | — |
|
|
24
|
+
| L-none | no-sufficient-evidence | trace 缺失/截断/引用不一致 | 计入任何成功率 |
|
|
25
|
+
|
|
26
|
+
**摘要(哈希)一致 = binding_verified,仅证明"未经同步修改",不构成抗恶意篡改**(单写信任域)。该限制必须出现在每个 CDR 的 `limitations` 中。
|
|
27
|
+
|
|
28
|
+
---
|
|
29
|
+
|
|
30
|
+
## 2. Requested Claim 类型
|
|
31
|
+
|
|
32
|
+
| 类型 | 语义 |
|
|
33
|
+
|---|---|
|
|
34
|
+
| `causal` | 断言某变量(模型/Harness)**导致**了分数差异 |
|
|
35
|
+
| `score_comparison` | 请求对连续分数做(并排或汇总)比较 |
|
|
36
|
+
| `descriptive_registration` | 仅登记条件与分数,不作比较结论 |
|
|
37
|
+
| 其他 | **未支持类型** |
|
|
38
|
+
|
|
39
|
+
未支持类型 → `INCONCLUSIVE`,`unknown_conditions` 记录 `unrecognized_claim_type`。**实现不得猜测**相近类型。
|
|
40
|
+
|
|
41
|
+
---
|
|
42
|
+
|
|
43
|
+
## 3. Admissibility 分类与判定优先级
|
|
44
|
+
|
|
45
|
+
### 3.1 分类
|
|
46
|
+
|
|
47
|
+
| 分类 | 含义 |
|
|
48
|
+
|---|---|
|
|
49
|
+
| `ADMISSIBLE` | 所请求结论类型在当前条件下可得出 |
|
|
50
|
+
| `INADMISSIBLE` | 条件冲突,该结论类型**不可**得出(较弱结论可能仍可) |
|
|
51
|
+
| `PARTIAL` | 结论可得出但必须按拆分形式呈现(不得合并) |
|
|
52
|
+
| `INCONCLUSIVE` | 证据不足以判定(保留数据,不删来源评分) |
|
|
53
|
+
|
|
54
|
+
### 3.2 前置条件检查(按此顺序求值并记入 CDR)
|
|
55
|
+
|
|
56
|
+
1. `same_task_id` —— 全部 Record 同任务
|
|
57
|
+
2. `same_model` —— 全部同模型
|
|
58
|
+
3. `single_variable_isolation` —— **不得同时变化两个及以上比较变量**(模型与 Harness 同时不同即违反)
|
|
59
|
+
4. `trace_available` —— 无 `trajectory_available=false`
|
|
60
|
+
5. `zero_semantics_uniform` —— `verified` 的 0 分与 `unresolved_zero` 的 0 分**语义不同**,混组即违反
|
|
61
|
+
6. `score_scale_consistent` —— 全部 Record 声明同一 `{range, unit, verifier}`。**隐式默认规则(0.3.1 勘误补充)**:当组内全部 `reward ∈ [0,1]` 且未声明 `score_scale` 时,视为声明默认尺度 `{range:"0..1", unit:"fraction", verifier:"source"}`;任一值越界(如 0..100 百分制)或显式声明互不一致即违反。缺省与显式混用亦违反。
|
|
62
|
+
7. `causal_evidence_available` —— `repetition_count ≥ 1` 的重复实验存在于每个比较单元
|
|
63
|
+
|
|
64
|
+
### 3.3 判定表(规范核心)
|
|
65
|
+
|
|
66
|
+
**`causal`**:无条件 `INADMISSIBLE`,除非 3.2-7 满足(重复实验存在);满足时仍须在 `supported_claims` 中**降级表述**为描述性结论。禁止单次运行支持因果。
|
|
67
|
+
|
|
68
|
+
**`score_comparison`**(按优先级,先命中先裁决):
|
|
69
|
+
1. 违反 `trace_available` → `INCONCLUSIVE`(来源评分转录保留于 `unknown_conditions`,禁止删除)
|
|
70
|
+
2. 违反 `single_variable_isolation` **或** `same_task_id` 或 `same_model` → `INADMISSIBLE`
|
|
71
|
+
3. 违反 `score_scale_consistent` → `INADMISSIBLE`
|
|
72
|
+
4. 违反 `zero_semantics_uniform` → `PARTIAL`(支持按 verified/unresolved 分列的率;禁止合并 fail 率)
|
|
73
|
+
5. 其余 → `ADMISSIBLE`(同尺度连续分数并排)
|
|
74
|
+
|
|
75
|
+
**`descriptive_registration`**:无条件 `ADMISSIBLE`(登记一切条件与连续分数原值)。
|
|
76
|
+
|
|
77
|
+
优先级说明:证据缺失(INCONCLUSIVE)先于条件冲突(INADMISSIBLE)裁决,因为前者连"冲突"都无从判定;冲突先于语义拆分(PARTIAL),因为混变量组连拆分比较也不支持。
|
|
78
|
+
|
|
79
|
+
---
|
|
80
|
+
|
|
81
|
+
## 4. 变量变化对比较的影响
|
|
82
|
+
|
|
83
|
+
| 变化 | score_comparison | descriptive_registration |
|
|
84
|
+
|---|---|---|
|
|
85
|
+
| 仅 Harness 不同(同任务同模型) | ADMISSIBLE(并排) | ADMISSIBLE |
|
|
86
|
+
| 仅模型不同(同任务同 Harness) | ADMISSIBLE(并排) | ADMISSIBLE |
|
|
87
|
+
| 模型与 Harness 同时不同 | INADMISSIBLE | ADMISSIBLE |
|
|
88
|
+
| 任务不同 | INADMISSIBLE | ADMISSIBLE |
|
|
89
|
+
| 评分尺度/验证器不同 | INADMISSIBLE | ADMISSIBLE(附尺度差异说明) |
|
|
90
|
+
| reward_status 语义混同 | PARTIAL(分列) | ADMISSIBLE |
|
|
91
|
+
|
|
92
|
+
---
|
|
93
|
+
|
|
94
|
+
## 5. 未知字段、未支持 Claim 与版本规则
|
|
95
|
+
|
|
96
|
+
- **未知字段**:Record 中规范未定义的字段**必须忽略**(不得报错、不得猜测),并在 `unknown_conditions` 记 `ignored_fields:[...]`。
|
|
97
|
+
- **未支持 Claim**:见 §2 —— INCONCLUSIVE + `unrecognized_claim_type`,禁止近似匹配。
|
|
98
|
+
- **Policy 版本**:CDR 必须携带 `policy_version`。消费方遇到 `policy_version` 不认识时**必须丢弃该 CDR 并重新判定**,不得部分信任。本规范为 `cmp/0.3.1`(0.3 的澄清版:仅补隐式默认尺度规则,判定表未变)。
|
|
99
|
+
- **规范不兼容变更**:升 minor(0.3→0.4)可新增判定分支;改判定表必须升 major 并迁移案例。
|
|
100
|
+
|
|
101
|
+
---
|
|
102
|
+
|
|
103
|
+
## 6. CDR(Comparison Decision Record)最小字段
|
|
104
|
+
|
|
105
|
+
`case_id`、`requested_claim`、`comparison_scope`、`admissibility`、`satisfied_conditions[]`、`violated_conditions[]`、`unknown_conditions[]`、`supported_claims[]`、`unsupported_claims[]`、`evidence_refs[]`、`policy_version`、`limitations[]`(必须含 §1 防篡改声明)。机器可验证 Schema:`release/cdr.schema.json`。
|
|
106
|
+
|
|
107
|
+
---
|
|
108
|
+
|
|
109
|
+
## 7. Conformance 分层(三个独立指标,禁止合并)
|
|
110
|
+
|
|
111
|
+
1. **集成一致性**(integration):同一参考实现经不同框架(Inspect/Pydantic)调用,输出逐字段一致。
|
|
112
|
+
2. **规范一致性**(spec conformance):独立实现(仅依本文、未读参考源码)对冻结案例的判定与冻结预期一致。
|
|
113
|
+
3. **策略正确性**(policy correctness):参考实现对冻结案例的判定与冻结预期一致。
|
|
114
|
+
|
|
115
|
+
三者的失败含义不同:1=适配缺陷;2=规范有歧义或实现误读;3=参考实现缺陷。任何"9/9"只属于其所属层。
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"frozen_at": "2026-10-25T21:00:00Z",
|
|
3
|
+
"note": "边界案例集 B1-B8:全部未参与 core.py 任何一轮调试;含合法与非法配置;预期判定先冻结后运行。B3/B4/B5 是对 cmp/0.2 的规范性 gap 检验(同任务性/尺度一致性/摘要不匹配在 0.2 中缺失,0.3 规范已补)。",
|
|
4
|
+
"cases": [
|
|
5
|
+
{"id": "B1", "desc": "未支持 claim 类型(ranking)",
|
|
6
|
+
"records": [{"task_id": "t", "harness": "h1", "model": "m1", "reward": 1.0, "reward_status": "verified"}],
|
|
7
|
+
"claims": {"ranking": "INCONCLUSIVE"}},
|
|
8
|
+
{"id": "B2", "desc": "未知字段忽略不报错",
|
|
9
|
+
"records": [{"task_id": "t", "harness": "h1", "model": "m1", "reward": 1.0, "reward_status": "verified", "mystery_field": "x", "another": 42}],
|
|
10
|
+
"claims": {"descriptive_registration": "ADMISSIBLE", "score_comparison": "ADMISSIBLE"}},
|
|
11
|
+
{"id": "B3", "desc": "不同任务混组做分数比较(规范 gap 检验)",
|
|
12
|
+
"records": [{"task_id": "t-a", "harness": "h1", "model": "m1", "reward": 1.0, "reward_status": "verified"},
|
|
13
|
+
{"task_id": "t-b", "harness": "h1", "model": "m1", "reward": 0.0, "reward_status": "verified"}],
|
|
14
|
+
"claims": {"score_comparison": "INADMISSIBLE", "descriptive_registration": "ADMISSIBLE"}},
|
|
15
|
+
{"id": "B4", "desc": "评分尺度不一致(规范 gap 检验)",
|
|
16
|
+
"records": [{"task_id": "t", "harness": "h1", "model": "m1", "reward": 0.9, "reward_status": "verified",
|
|
17
|
+
"score_scale": {"range": "0..1", "unit": "fraction", "verifier": "v1"}},
|
|
18
|
+
{"task_id": "t", "harness": "h1", "model": "m1", "reward": 90, "reward_status": "verified",
|
|
19
|
+
"score_scale": {"range": "0..100", "unit": "percent", "verifier": "v2"}}],
|
|
20
|
+
"claims": {"score_comparison": "INADMISSIBLE", "descriptive_registration": "ADMISSIBLE"}},
|
|
21
|
+
{"id": "B5", "desc": "尺度元数据缺失(全值在 [0,1])",
|
|
22
|
+
"records": [{"task_id": "t", "harness": "h1", "model": "m1", "reward": 0.9, "reward_status": "verified"},
|
|
23
|
+
{"task_id": "t", "harness": "h2", "model": "m1", "reward": 0.8, "reward_status": "verified"}],
|
|
24
|
+
"claims": {"score_comparison": "ADMISSIBLE", "descriptive_registration": "ADMISSIBLE"},
|
|
25
|
+
"erratum": "初冻结预期为 INADMISSIBLE(保守),与更早冻结的 A 集(C1/C3/C5 同为无声明全 [0,1] 值且预期 ADMISSIBLE/PARTIAL)矛盾——独立实现暴露该矛盾后,依'旧冻结优先'原则修正为 ADMISSIBLE 并在 SPEC 0.3.1 增补隐式默认尺度规则。此为公开勘误,非为通过测试改预期(A 集未动)。"},
|
|
26
|
+
{"id": "B6", "desc": "重复实验存在时的因果请求(仍降级)",
|
|
27
|
+
"records": [{"task_id": "t", "harness": "h1", "model": "m1", "reward": 1.0, "reward_status": "verified", "repetition_count": 3},
|
|
28
|
+
{"task_id": "t", "harness": "h2", "model": "m1", "reward": 0.0, "reward_status": "verified", "repetition_count": 3}],
|
|
29
|
+
"claims": {"causal": "INADMISSIBLE", "score_comparison": "ADMISSIBLE"}},
|
|
30
|
+
{"id": "B7", "desc": "单条记录 score_comparison(退化但合法)",
|
|
31
|
+
"records": [{"task_id": "t", "harness": "h1", "model": "m1", "reward": 0.66, "reward_status": "verified", "score_scale": {"range": "0..1", "unit": "fraction", "verifier": "v1"}}],
|
|
32
|
+
"claims": {"score_comparison": "ADMISSIBLE"}},
|
|
33
|
+
{"id": "B8", "desc": "混组+缺 trace 同时存在(优先级检验:INCONCLUSIVE 先于 INADMISSIBLE)",
|
|
34
|
+
"records": [{"task_id": "t", "harness": "h1", "model": "m1", "reward": 1.0, "reward_status": "verified"},
|
|
35
|
+
{"task_id": "t", "harness": "h2", "model": "m2", "reward": 0.0, "reward_status": "verified", "trajectory_available": false}],
|
|
36
|
+
"claims": {"score_comparison": "INCONCLUSIVE"}}
|
|
37
|
+
]
|
|
38
|
+
}
|
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "cmp/cdr-0.3.schema.json",
|
|
4
|
+
"title": "Comparison Decision Record (cmp/0.3)",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"additionalProperties": false,
|
|
7
|
+
"required": [
|
|
8
|
+
"case_id",
|
|
9
|
+
"requested_claim",
|
|
10
|
+
"comparison_scope",
|
|
11
|
+
"admissibility",
|
|
12
|
+
"satisfied_conditions",
|
|
13
|
+
"violated_conditions",
|
|
14
|
+
"unknown_conditions",
|
|
15
|
+
"supported_claims",
|
|
16
|
+
"unsupported_claims",
|
|
17
|
+
"evidence_refs",
|
|
18
|
+
"policy_version",
|
|
19
|
+
"limitations"
|
|
20
|
+
],
|
|
21
|
+
"properties": {
|
|
22
|
+
"case_id": {
|
|
23
|
+
"type": "string"
|
|
24
|
+
},
|
|
25
|
+
"requested_claim": {
|
|
26
|
+
"type": "string"
|
|
27
|
+
},
|
|
28
|
+
"comparison_scope": {
|
|
29
|
+
"type": "string"
|
|
30
|
+
},
|
|
31
|
+
"admissibility": {
|
|
32
|
+
"enum": [
|
|
33
|
+
"ADMISSIBLE",
|
|
34
|
+
"INADMISSIBLE",
|
|
35
|
+
"PARTIAL",
|
|
36
|
+
"INCONCLUSIVE"
|
|
37
|
+
]
|
|
38
|
+
},
|
|
39
|
+
"satisfied_conditions": {
|
|
40
|
+
"type": "array",
|
|
41
|
+
"items": {
|
|
42
|
+
"type": "string"
|
|
43
|
+
}
|
|
44
|
+
},
|
|
45
|
+
"violated_conditions": {
|
|
46
|
+
"type": "array",
|
|
47
|
+
"items": {
|
|
48
|
+
"type": "string"
|
|
49
|
+
}
|
|
50
|
+
},
|
|
51
|
+
"unknown_conditions": {
|
|
52
|
+
"type": "array",
|
|
53
|
+
"items": {
|
|
54
|
+
"type": "string"
|
|
55
|
+
}
|
|
56
|
+
},
|
|
57
|
+
"supported_claims": {
|
|
58
|
+
"type": "array",
|
|
59
|
+
"items": {
|
|
60
|
+
"type": "string"
|
|
61
|
+
}
|
|
62
|
+
},
|
|
63
|
+
"unsupported_claims": {
|
|
64
|
+
"type": "array",
|
|
65
|
+
"items": {
|
|
66
|
+
"type": "string"
|
|
67
|
+
}
|
|
68
|
+
},
|
|
69
|
+
"evidence_refs": {
|
|
70
|
+
"type": "array",
|
|
71
|
+
"items": {
|
|
72
|
+
"type": "string"
|
|
73
|
+
}
|
|
74
|
+
},
|
|
75
|
+
"policy_version": {
|
|
76
|
+
"type": "string",
|
|
77
|
+
"pattern": "^cmp/0\\.3(\\.1)?$"
|
|
78
|
+
},
|
|
79
|
+
"limitations": {
|
|
80
|
+
"type": "array",
|
|
81
|
+
"minItems": 1,
|
|
82
|
+
"description": "必须包含防篡改声明",
|
|
83
|
+
"contains": {
|
|
84
|
+
"type": "string",
|
|
85
|
+
"pattern": "抗恶意篡改|tamper"
|
|
86
|
+
}
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
}
|
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
{
|
|
2
|
+
"policy_version": "cmp/0.2.0",
|
|
3
|
+
"frozen_note": "案例与参考判定先于三路运行冻结",
|
|
4
|
+
"cases": [
|
|
5
|
+
{
|
|
6
|
+
"id": "C1",
|
|
7
|
+
"category": "same-task-same-model-diff-harness",
|
|
8
|
+
"expected_admissibility_by_claim": {
|
|
9
|
+
"score_compare": "ADMISSIBLE",
|
|
10
|
+
"causal": "INADMISSIBLE"
|
|
11
|
+
}
|
|
12
|
+
},
|
|
13
|
+
{
|
|
14
|
+
"id": "C2",
|
|
15
|
+
"category": "same-task-diff-model-diff-harness",
|
|
16
|
+
"expected_admissibility_by_claim": {
|
|
17
|
+
"score_compare": "INADMISSIBLE",
|
|
18
|
+
"record": "ADMISSIBLE"
|
|
19
|
+
}
|
|
20
|
+
},
|
|
21
|
+
{
|
|
22
|
+
"id": "C3",
|
|
23
|
+
"category": "verified-vs-unresolved-zero",
|
|
24
|
+
"expected_admissibility_by_claim": {
|
|
25
|
+
"score_compare": "PARTIAL"
|
|
26
|
+
}
|
|
27
|
+
},
|
|
28
|
+
{
|
|
29
|
+
"id": "C4",
|
|
30
|
+
"category": "missing-trace",
|
|
31
|
+
"expected_admissibility_by_claim": {
|
|
32
|
+
"score_compare": "INCONCLUSIVE",
|
|
33
|
+
"record": "ADMISSIBLE"
|
|
34
|
+
}
|
|
35
|
+
},
|
|
36
|
+
{
|
|
37
|
+
"id": "C5",
|
|
38
|
+
"category": "score-scale-variation",
|
|
39
|
+
"expected_admissibility_by_claim": {
|
|
40
|
+
"score_compare": "ADMISSIBLE"
|
|
41
|
+
}
|
|
42
|
+
},
|
|
43
|
+
{
|
|
44
|
+
"id": "C6",
|
|
45
|
+
"category": "provenance-binding",
|
|
46
|
+
"expected_admissibility_by_claim": {
|
|
47
|
+
"record": "ADMISSIBLE"
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
]
|
|
51
|
+
}
|
|
File without changes
|
|
@@ -0,0 +1,351 @@
|
|
|
1
|
+
Metadata-Version: 2.4
|
|
2
|
+
Name: agent-comparability
|
|
3
|
+
Version: 0.5.2
|
|
4
|
+
Summary: Agent evaluation comparability semantics: spec + conformance suite + thin reference implementation
|
|
5
|
+
License: Apache-2.0
|
|
6
|
+
Requires-Python: >=3.10
|
|
7
|
+
Description-Content-Type: text/markdown
|
|
8
|
+
License-File: LICENSE
|
|
9
|
+
License-File: NOTICE
|
|
10
|
+
Provides-Extra: suite
|
|
11
|
+
Requires-Dist: pyyaml; extra == "suite"
|
|
12
|
+
Requires-Dist: jsonschema; extra == "suite"
|
|
13
|
+
Provides-Extra: inspect
|
|
14
|
+
Requires-Dist: inspect-ai; extra == "inspect"
|
|
15
|
+
Provides-Extra: pydantic
|
|
16
|
+
Requires-Dist: pydantic-evals; extra == "pydantic"
|
|
17
|
+
Dynamic: license-file
|
|
18
|
+
|
|
19
|
+
<div align="center">
|
|
20
|
+
|
|
21
|
+
# Agent Comparability
|
|
22
|
+
|
|
23
|
+
**Experimental Specification & Conformance Suite** for AI agent evaluation comparability
|
|
24
|
+
|
|
25
|
+
[](https://github.com/Rethymus/agent-comparability/actions/workflows/ci.yml)
|
|
26
|
+
[](LICENSE)
|
|
27
|
+
[](pyproject.toml)
|
|
28
|
+
|
|
29
|
+
**English** | [简体中文](README.zh-CN.md)
|
|
30
|
+
|
|
31
|
+
*When can you compare AI agent evaluation results — and what claims do they support?*
|
|
32
|
+
|
|
33
|
+
</div>
|
|
34
|
+
|
|
35
|
+
---
|
|
36
|
+
|
|
37
|
+
> [!IMPORTANT]
|
|
38
|
+
> This project adjudicates **comparability of evaluation records** — it does **not** run
|
|
39
|
+
> agents, score benchmarks, or certify any agent's reliability. Passing the conformance
|
|
40
|
+
> suite means *specification* conformance, nothing more.
|
|
41
|
+
|
|
42
|
+
**The 30-second path**: [Install](#6-installation) → [Quickstart](#7-quickstart) →
|
|
43
|
+
[Real input/output](#8-inputoutput-example-actual-output).
|
|
44
|
+
|
|
45
|
+
<details open>
|
|
46
|
+
<summary><b>Table of Contents</b></summary>
|
|
47
|
+
|
|
48
|
+
1. [Project Overview](#1-project-overview)
|
|
49
|
+
2. [Problem & Motivation](#2-problem--motivation)
|
|
50
|
+
3. [What Agent Comparability Does](#3-what-agent-comparability-does)
|
|
51
|
+
4. [What It Does Not Do](#4-what-it-does-not-do)
|
|
52
|
+
5. [Main Features](#5-main-features)
|
|
53
|
+
6. [Installation](#6-installation)
|
|
54
|
+
7. [Quickstart](#7-quickstart)
|
|
55
|
+
8. [Input/Output Example (actual output)](#8-inputoutput-example-actual-output)
|
|
56
|
+
9. [Architecture](#9-architecture)
|
|
57
|
+
10. [Conformance Suite](#10-conformance-suite)
|
|
58
|
+
11. [Inspect AI / Pydantic Evals Integrations](#11-inspect-ai--pydantic-evals-integrations)
|
|
59
|
+
12. [Specification & Versioning](#12-specification--versioning)
|
|
60
|
+
13. [Limitations](#13-limitations)
|
|
61
|
+
14. [Contributing](#14-contributing)
|
|
62
|
+
15. [Security](#15-security)
|
|
63
|
+
16. [License & Acknowledgements](#16-license--acknowledgements)
|
|
64
|
+
|
|
65
|
+
[FAQ](#faq) · [Project status](#project-status)
|
|
66
|
+
|
|
67
|
+
</details>
|
|
68
|
+
|
|
69
|
+
---
|
|
70
|
+
|
|
71
|
+
## 1. Project Overview
|
|
72
|
+
|
|
73
|
+
Agent Comparability is a framework-independent **specification** ([spec/SPEC.md](spec/SPEC.md)),
|
|
74
|
+
a frozen **conformance suite**, and a thin **reference implementation** that adjudicates
|
|
75
|
+
*comparability* of agent evaluation records — never the scores themselves.
|
|
76
|
+
|
|
77
|
+
**Who is this for**: developers comparing agent/prompt/harness evaluation results,
|
|
78
|
+
benchmark authors documenting what conclusions their data supports, and teams building
|
|
79
|
+
reliability pipelines on top of existing eval frameworks.
|
|
80
|
+
|
|
81
|
+
### How it relates to existing tools
|
|
82
|
+
|
|
83
|
+
| Tool | What it does | Relation to Agent Comparability |
|
|
84
|
+
|---|---|---|
|
|
85
|
+
| [Inspect AI](https://inspect.aisi.org.uk) | Runs evals, agents, sandboxes | Complementary — Inspect *executes*; this decides what comparisons its results support. Adapter provided. |
|
|
86
|
+
| [Pydantic Evals](https://pydantic.dev) | Datasets, cases, reporting | Complementary reporting layer over the same core. Adapter provided. |
|
|
87
|
+
| Benchmark harnesses (lm-eval, SWE-bench, …) | Measure models | They *produce* records; this adjudicates what comparisons of those records mean |
|
|
88
|
+
|
|
89
|
+
## 2. Problem & Motivation
|
|
90
|
+
|
|
91
|
+
Three failure modes silently corrupt agent-evaluation conclusions:
|
|
92
|
+
|
|
93
|
+
| Failure mode | What actually goes wrong |
|
|
94
|
+
|---|---|
|
|
95
|
+
| **Semantics mixing** | A *verified failure* and an *unresolved zero* both read `0.0` — pooled "fail rates" become meaningless |
|
|
96
|
+
| **Confounded variables** | Model and harness change at the same time — a two-variable diff gets reported as causation |
|
|
97
|
+
| **Evidence gaps** | Missing traces quietly inflate success rates; rankings reverse across harnesses |
|
|
98
|
+
|
|
99
|
+
These boundaries should be **machine-checkable**, not vibes. That is what this project ships.
|
|
100
|
+
|
|
101
|
+
## 3. What Agent Comparability Does
|
|
102
|
+
|
|
103
|
+
- Adjudicates a **Requested Claim** (e.g. `score_comparison`, `causal`,
|
|
104
|
+
`descriptive_registration`) against a set of evaluation records
|
|
105
|
+
- Returns a **Comparison Decision Record (CDR)**: admissibility
|
|
106
|
+
(`ADMISSIBLE / INADMISSIBLE / PARTIAL / INCONCLUSIVE`), satisfied/violated/unknown
|
|
107
|
+
conditions, **supported claims AND forbidden claims**, evidence refs, policy version
|
|
108
|
+
- Enforces evidence-trust tiers (agent-claimed vs source-verifier vs independently
|
|
109
|
+
verified), score-scale consistency (range/unit/verifier), zero-semantics splits,
|
|
110
|
+
and unknown-field/unknown-claim rules
|
|
111
|
+
- Ships a frozen conformance suite run against three separated metrics
|
|
112
|
+
|
|
113
|
+
**Admissibility quick reference** (full priority rules in [SPEC §3.3](spec/SPEC.md)):
|
|
114
|
+
|
|
115
|
+
| Verdict | Meaning | Typical trigger |
|
|
116
|
+
|---|---|---|
|
|
117
|
+
| `ADMISSIBLE` | Requested conclusion is supported | Same task / model / score scale, all records verified |
|
|
118
|
+
| `INADMISSIBLE` | Conclusion not supported | Confounded variables, task mismatch, or score-scale mismatch |
|
|
119
|
+
| `PARTIAL` | Only split presentation allowed | `verified` failures mixed with `unresolved_zero` |
|
|
120
|
+
| `INCONCLUSIVE` | Evidence insufficient to judge | Missing traces / evidence anchors |
|
|
121
|
+
|
|
122
|
+
## 4. What It Does Not Do
|
|
123
|
+
|
|
124
|
+
> [!WARNING]
|
|
125
|
+
> - Does **not** run agents, benchmarks, or models; no network, no credentials, no Docker
|
|
126
|
+
> - Does **not** score anything or certify any agent's reliability
|
|
127
|
+
> - Never merges its three conformance metrics into one number (see [§10](#10-conformance-suite))
|
|
128
|
+
|
|
129
|
+
## 5. Main Features
|
|
130
|
+
|
|
131
|
+
- `adjudicate(records, requested_claim) -> CDR` — pure Python, zero dependencies
|
|
132
|
+
- Priority-ordered decision table (evidence-missing > confounded > semantics > admissible)
|
|
133
|
+
- Machine-verifiable CDR JSON Schema ([spec/cdr.schema.json](spec/cdr.schema.json))
|
|
134
|
+
- Frozen A/B conformance case sets; B5 public erratum precedent protected
|
|
135
|
+
- Optional adapters for Inspect AI and Pydantic Evals reusing the same core
|
|
136
|
+
|
|
137
|
+
## 6. Installation
|
|
138
|
+
|
|
139
|
+
From PyPI (first published release: `0.5.2`):
|
|
140
|
+
|
|
141
|
+
```bash
|
|
142
|
+
pip install agent-comparability # minimal core, zero deps
|
|
143
|
+
pip install "agent-comparability[suite]" # + suite basics (pyyaml, jsonschema)
|
|
144
|
+
pip install "agent-comparability[suite,inspect,pydantic]" # FULL conformance run
|
|
145
|
+
```
|
|
146
|
+
|
|
147
|
+
From a clone (development):
|
|
148
|
+
|
|
149
|
+
```bash
|
|
150
|
+
git clone https://github.com/Rethymus/agent-comparability.git && cd agent-comparability
|
|
151
|
+
pip install -e . # minimal core, zero deps
|
|
152
|
+
pip install -e .[suite] # + suite basics (pyyaml, jsonschema)
|
|
153
|
+
pip install -e .[suite,inspect,pydantic] # FULL conformance run — required by run_suite.py
|
|
154
|
+
```
|
|
155
|
+
|
|
156
|
+
Requires Python ≥ 3.10. No Docker, no model keys.
|
|
157
|
+
|
|
158
|
+
## 7. Quickstart
|
|
159
|
+
|
|
160
|
+
```python
|
|
161
|
+
from agent_comparability import adjudicate
|
|
162
|
+
|
|
163
|
+
cdr = adjudicate({"id": "demo", "records": [
|
|
164
|
+
{"task_id": "t1", "harness": "h1", "model": "m1",
|
|
165
|
+
"reward": 1.0, "reward_status": "verified"},
|
|
166
|
+
{"task_id": "t1", "harness": "h2", "model": "m1",
|
|
167
|
+
"reward": 0.0, "reward_status": "unresolved_zero"}]},
|
|
168
|
+
"score_comparison")
|
|
169
|
+
```
|
|
170
|
+
|
|
171
|
+
## 8. Input/Output Example (actual output)
|
|
172
|
+
|
|
173
|
+
> Note: the reference implementation's condition/claim messages are currently in Chinese; the admissibility verdict itself is locale-neutral.
|
|
174
|
+
|
|
175
|
+
The quickstart call returns:
|
|
176
|
+
|
|
177
|
+
```
|
|
178
|
+
cdr.admissibility -> PARTIAL
|
|
179
|
+
cdr.supported_claims -> ['per_status_stratified_rate(verified_zero/unresolved_zero 分列)']
|
|
180
|
+
```
|
|
181
|
+
|
|
182
|
+
A confounded group instead:
|
|
183
|
+
|
|
184
|
+
```python
|
|
185
|
+
cdr = adjudicate({"id": "x", "records": [
|
|
186
|
+
{"task_id": "a", "harness": "h1", "model": "m1", "reward": 1.0, "reward_status": "verified"},
|
|
187
|
+
{"task_id": "b", "harness": "h2", "model": "m2", "reward": 0.0, "reward_status": "verified"}]},
|
|
188
|
+
"score_comparison")
|
|
189
|
+
```
|
|
190
|
+
|
|
191
|
+
```
|
|
192
|
+
cdr.admissibility -> INADMISSIBLE
|
|
193
|
+
cdr.violated_conditions -> ['same_task_id', 'same_model', 'single_variable_isolation']
|
|
194
|
+
```
|
|
195
|
+
|
|
196
|
+
`cdr.to_dict()` emits the full CDR (schema-validated). The quickstart call's complete
|
|
197
|
+
CDR — actual output:
|
|
198
|
+
|
|
199
|
+
```json
|
|
200
|
+
{
|
|
201
|
+
"case_id": "demo",
|
|
202
|
+
"requested_claim": "score_comparison",
|
|
203
|
+
"comparison_scope": "2 records; models=['m1']; harnesses=['h1', 'h2']",
|
|
204
|
+
"admissibility": "PARTIAL",
|
|
205
|
+
"satisfied_conditions": [
|
|
206
|
+
"same_task_id",
|
|
207
|
+
"same_model",
|
|
208
|
+
"single_variable_isolation",
|
|
209
|
+
"continuous_score_preserved({'range': '0..1', 'unit': 'fraction', 'verifier': 'source'})"
|
|
210
|
+
],
|
|
211
|
+
"violated_conditions": [
|
|
212
|
+
"zero_semantics_uniform(verified_zero != unresolved_zero)"
|
|
213
|
+
],
|
|
214
|
+
"unknown_conditions": [],
|
|
215
|
+
"supported_claims": [
|
|
216
|
+
"per_status_stratified_rate(verified_zero/unresolved_zero 分列)"
|
|
217
|
+
],
|
|
218
|
+
"unsupported_claims": [
|
|
219
|
+
"pooled_fail_rate(0 分语义混同)"
|
|
220
|
+
],
|
|
221
|
+
"evidence_refs": [
|
|
222
|
+
"rec:t1/m1/h1",
|
|
223
|
+
"rec:t1/m1/h2"
|
|
224
|
+
],
|
|
225
|
+
"policy_version": "cmp/0.3.1",
|
|
226
|
+
"limitations": [
|
|
227
|
+
"摘要一致仅证明未同步修改,不构成抗恶意篡改(单写信任域)"
|
|
228
|
+
]
|
|
229
|
+
}
|
|
230
|
+
```
|
|
231
|
+
|
|
232
|
+
## 9. Architecture
|
|
233
|
+
|
|
234
|
+
```
|
|
235
|
+
spec/SPEC.md ← single source of truth (readable standalone)
|
|
236
|
+
spec/cdr.schema.json ← machine-verifiable CDR
|
|
237
|
+
src/agent_comparability/core.py ← thin reference implementation
|
|
238
|
+
src/agent_comparability/data/ ← SPEC + schema + frozen cases (packaged)
|
|
239
|
+
conformance/ ← run_suite.py (3 metrics) + independent_impl.py + cases
|
|
240
|
+
adapters/ ← optional inspect-ai / pydantic-evals wrappers
|
|
241
|
+
tests/ ← smoke + property tests
|
|
242
|
+
```
|
|
243
|
+
|
|
244
|
+
Adjudication flow (priority order, per [SPEC §3.3](spec/SPEC.md)):
|
|
245
|
+
|
|
246
|
+
```mermaid
|
|
247
|
+
flowchart LR
|
|
248
|
+
A[Records + Requested Claim] --> B{trace available?}
|
|
249
|
+
B -- missing --> C[INCONCLUSIVE]
|
|
250
|
+
B -- ok --> D{task / model /<br/>score scale consistent?}
|
|
251
|
+
D -- conflict --> E[INADMISSIBLE]
|
|
252
|
+
D -- ok --> F{zero semantics uniform?}
|
|
253
|
+
F -- verified + unresolved mixed --> G[PARTIAL]
|
|
254
|
+
F -- ok --> H[ADMISSIBLE]
|
|
255
|
+
C & E & G & H --> V[CDR<br/>supported + forbidden claims]
|
|
256
|
+
```
|
|
257
|
+
|
|
258
|
+
## 10. Conformance Suite
|
|
259
|
+
|
|
260
|
+
`python conformance/run_suite.py` reports three **separated** metrics that must
|
|
261
|
+
never be merged:
|
|
262
|
+
|
|
263
|
+
1. **Policy correctness** — reference implementation vs frozen expectations
|
|
264
|
+
2. **Spec conformance** — an independent implementation written from SPEC alone
|
|
265
|
+
3. **Integration consistency** — the same core via Inspect/Pydantic adapters
|
|
266
|
+
|
|
267
|
+
A failure in each means a different defect class (implementation bug / spec
|
|
268
|
+
ambiguity or misread / adapter bug).
|
|
269
|
+
|
|
270
|
+
The full suite run requires the adapter extras (`.[suite,inspect,pydantic]`) — a missing adapter is treated as FAIL, not skipped.
|
|
271
|
+
|
|
272
|
+
## 11. Inspect AI / Pydantic Evals Integrations
|
|
273
|
+
|
|
274
|
+
```bash
|
|
275
|
+
pip install -e .[inspect] && python adapters/inspect_adapter.py
|
|
276
|
+
pip install -e .[pydantic] && python adapters/pydantic_adapter.py
|
|
277
|
+
```
|
|
278
|
+
|
|
279
|
+
Both wrap the *same* core (no semantic duplication). Inspect scorer uses
|
|
280
|
+
`metrics=[]` — admissibility is deliberately **not** aggregated into accuracy.
|
|
281
|
+
The Pydantic evaluator checks the **task's real output** (`ctx.output`) against
|
|
282
|
+
frozen expectations — it never re-adjudicates inside the evaluator — and the
|
|
283
|
+
adapter's exit code derives from the full 22-pair `report` (cases + failures).
|
|
284
|
+
|
|
285
|
+
## 12. Specification & Versioning
|
|
286
|
+
|
|
287
|
+
Three distinct lines: software tag (e.g. `v0.5.0`), specification `cmp/0.3.1`
|
|
288
|
+
(inside SPEC), and `agent_comparability.__version__`. Judgment-table changes
|
|
289
|
+
require a spec major bump (SPEC §5). See [CHANGELOG](CHANGELOG.md) for the full tag lineage
|
|
290
|
+
(v0.3.1–v0.3.6 are deprecated candidates kept immutably for the record).
|
|
291
|
+
|
|
292
|
+
## 13. Limitations
|
|
293
|
+
|
|
294
|
+
- Experimental specification; self-tested conformance, **no external certification**
|
|
295
|
+
- Single-writer trust domain: digest equality proves non-divergence, not
|
|
296
|
+
tamper-resistance (SPEC §1)
|
|
297
|
+
- No repetition/cost modeling inside adjudication (handled by callers)
|
|
298
|
+
- Chinese/English docs kept equivalent; translation drift tracked in CI link checks
|
|
299
|
+
|
|
300
|
+
## FAQ
|
|
301
|
+
|
|
302
|
+
**Does passing the conformance suite certify my agent is reliable?**
|
|
303
|
+
No. It certifies that an *implementation* matches the specification. It says nothing about any agent.
|
|
304
|
+
|
|
305
|
+
**Can I use it with my existing eval framework?**
|
|
306
|
+
Yes. The core is framework-independent (`adjudicate()` is a pure function over record
|
|
307
|
+
dicts). Adapters for Inspect AI and Pydantic Evals are included; any framework whose
|
|
308
|
+
output you can map to the [record schema](spec/SPEC.md#0-范围与目的) works.
|
|
309
|
+
|
|
310
|
+
**Why not just compare scores?**
|
|
311
|
+
Because `0.0` can mean a *verified failure* or an *unresolved zero*; because model and
|
|
312
|
+
harness changing together turns a diff into an unfounded causal claim; and because
|
|
313
|
+
missing traces inflate success rates silently. §2's failure modes are all real-world
|
|
314
|
+
artifacts, not hypotheticals.
|
|
315
|
+
|
|
316
|
+
**Does it run agents or benchmarks?**
|
|
317
|
+
No — no network, no credentials, no Docker. It only ever sees the records you pass in.
|
|
318
|
+
|
|
319
|
+
**Which versions should I depend on?**
|
|
320
|
+
Package `v0.5.0+` (version lines unified and CI-enforced since then); specification
|
|
321
|
+
`cmp/0.3.1` evolves independently — see [§12](#12-specification--versioning).
|
|
322
|
+
|
|
323
|
+
## Project status
|
|
324
|
+
|
|
325
|
+
| Component | Status |
|
|
326
|
+
|---|---|
|
|
327
|
+
| Specification `cmp/0.3.1` | Stable — frozen conformance set anchors it |
|
|
328
|
+
| Claim types | `score_comparison`, `causal`, `descriptive_registration` (+ unknown → `INCONCLUSIVE`) |
|
|
329
|
+
| Conformance cases | 22 frozen pairs (A + B sets), three separated metrics, all green in CI |
|
|
330
|
+
| Adapters | Inspect AI ✓ · Pydantic Evals ✓ |
|
|
331
|
+
| CI gates | Terminal scan · bilingual docs · conformance ×3 · tests · release version · build + twine · package content |
|
|
332
|
+
| Repo governance | `main` protected (PR + required check), release tags `v*` immutable |
|
|
333
|
+
| Distribution | PyPI (`agent-comparability`, since `0.5.2`, Trusted Publishing) + GitHub source/tags |
|
|
334
|
+
|
|
335
|
+
## 14. Contributing
|
|
336
|
+
|
|
337
|
+
See [CONTRIBUTING.md](CONTRIBUTING.md). Key rule: **never edit frozen expectations
|
|
338
|
+
to make tests pass**; errata follow the public B5 precedent. PRs must pass all
|
|
339
|
+
three conformance metrics separately.
|
|
340
|
+
|
|
341
|
+
## 15. Security
|
|
342
|
+
|
|
343
|
+
See [SECURITY.md](SECURITY.md). Private vulnerability reporting preferred.
|
|
344
|
+
|
|
345
|
+
## 16. License & Acknowledgements
|
|
346
|
+
|
|
347
|
+
Apache-2.0 (see [LICENSE](LICENSE), [NOTICE](NOTICE)). Optional integrations
|
|
348
|
+
inspect-ai / pydantic-evals are MIT and **not bundled**. Conformance case data is
|
|
349
|
+
original to this project; no CC BY-NC data is distributed. Research lineage:
|
|
350
|
+
this repo was distilled from a private research repository; internal process
|
|
351
|
+
records live under `docs/internal/`.
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
agent_comparability/__init__.py,sha256=_lzqbqMVJzU3Ghht2aJ_7IXi7Edp9pi-BAh4j4-jOEk,128
|
|
2
|
+
agent_comparability/core.py,sha256=FSeZbP9eMffF4No0vxg5lhG-qJsH6Fvq3ly8m0j0qVA,6130
|
|
3
|
+
agent_comparability/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
4
|
+
agent_comparability/data/SPEC.md,sha256=RUO1sYy0JNgZ3DCHy9FRGmFQOxZbRZUKKU5QaplmOGE,7044
|
|
5
|
+
agent_comparability/data/boundary-cases.json,sha256=yDmBTi75jyzaCgwmLvPF08gW43LgoVMAF8D2Ud4OJKk,3808
|
|
6
|
+
agent_comparability/data/cdr.schema.json,sha256=xdcLCz-8plIqu85xwGWojJ4R-IzjSByrcXgu1E2jjQQ,1870
|
|
7
|
+
agent_comparability/data/frozen-cases-a.json,sha256=ryQIfK52TIQp7U4iskmccVZpyoRIq5ryvIvnujw-Vwc,1257
|
|
8
|
+
agent_comparability-0.5.2.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
|
|
9
|
+
agent_comparability-0.5.2.dist-info/licenses/NOTICE,sha256=Hilay-w5cb1_H5fXQ8AkTPf11vo58Al6cijsokeqwYc,462
|
|
10
|
+
agent_comparability-0.5.2.dist-info/METADATA,sha256=7hYC9T4loqIZZT2HloxaXSAAxwfuvAmn7h8XVfoR99M,14650
|
|
11
|
+
agent_comparability-0.5.2.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
|
|
12
|
+
agent_comparability-0.5.2.dist-info/top_level.txt,sha256=snGm9R4SnpPifGHC6DrftruldKp_FbQEoUA2P0274X4,20
|
|
13
|
+
agent_comparability-0.5.2.dist-info/RECORD,,
|
|
@@ -0,0 +1,202 @@
|
|
|
1
|
+
|
|
2
|
+
Apache License
|
|
3
|
+
Version 2.0, January 2004
|
|
4
|
+
http://www.apache.org/licenses/
|
|
5
|
+
|
|
6
|
+
TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
|
|
7
|
+
|
|
8
|
+
1. Definitions.
|
|
9
|
+
|
|
10
|
+
"License" shall mean the terms and conditions for use, reproduction,
|
|
11
|
+
and distribution as defined by Sections 1 through 9 of this document.
|
|
12
|
+
|
|
13
|
+
"Licensor" shall mean the copyright owner or entity authorized by
|
|
14
|
+
the copyright owner that is granting the License.
|
|
15
|
+
|
|
16
|
+
"Legal Entity" shall mean the union of the acting entity and all
|
|
17
|
+
other entities that control, are controlled by, or are under common
|
|
18
|
+
control with that entity. For the purposes of this definition,
|
|
19
|
+
"control" means (i) the power, direct or indirect, to cause the
|
|
20
|
+
direction or management of such entity, whether by contract or
|
|
21
|
+
otherwise, or (ii) ownership of fifty percent (50%) or more of the
|
|
22
|
+
outstanding shares, or (iii) beneficial ownership of such entity.
|
|
23
|
+
|
|
24
|
+
"You" (or "Your") shall mean an individual or Legal Entity
|
|
25
|
+
exercising permissions granted by this License.
|
|
26
|
+
|
|
27
|
+
"Source" form shall mean the preferred form for making modifications,
|
|
28
|
+
including but not limited to software source code, documentation
|
|
29
|
+
source, and configuration files.
|
|
30
|
+
|
|
31
|
+
"Object" form shall mean any form resulting from mechanical
|
|
32
|
+
transformation or translation of a Source form, including but
|
|
33
|
+
not limited to compiled object code, generated documentation,
|
|
34
|
+
and conversions to other media types.
|
|
35
|
+
|
|
36
|
+
"Work" shall mean the work of authorship, whether in Source or
|
|
37
|
+
Object form, made available under the License, as indicated by a
|
|
38
|
+
copyright notice that is included in or attached to the work
|
|
39
|
+
(an example is provided in the Appendix below).
|
|
40
|
+
|
|
41
|
+
"Derivative Works" shall mean any work, whether in Source or Object
|
|
42
|
+
form, that is based on (or derived from) the Work and for which the
|
|
43
|
+
editorial revisions, annotations, elaborations, or other modifications
|
|
44
|
+
represent, as a whole, an original work of authorship. For the purposes
|
|
45
|
+
of this License, Derivative Works shall not include works that remain
|
|
46
|
+
separable from, or merely link (or bind by name) to the interfaces of,
|
|
47
|
+
the Work and Derivative Works thereof.
|
|
48
|
+
|
|
49
|
+
"Contribution" shall mean any work of authorship, including
|
|
50
|
+
the original version of the Work and any modifications or additions
|
|
51
|
+
to that Work or Derivative Works thereof, that is intentionally
|
|
52
|
+
submitted to Licensor for inclusion in the Work by the copyright owner
|
|
53
|
+
or by an individual or Legal Entity authorized to submit on behalf of
|
|
54
|
+
the copyright owner. For the purposes of this definition, "submitted"
|
|
55
|
+
means any form of electronic, verbal, or written communication sent
|
|
56
|
+
to the Licensor or its representatives, including but not limited to
|
|
57
|
+
communication on electronic mailing lists, source code control systems,
|
|
58
|
+
and issue tracking systems that are managed by, or on behalf of, the
|
|
59
|
+
Licensor for the purpose of discussing and improving the Work, but
|
|
60
|
+
excluding communication that is conspicuously marked or otherwise
|
|
61
|
+
designated in writing by the copyright owner as "Not a Contribution."
|
|
62
|
+
|
|
63
|
+
"Contributor" shall mean Licensor and any individual or Legal Entity
|
|
64
|
+
on behalf of whom a Contribution has been received by Licensor and
|
|
65
|
+
subsequently incorporated within the Work.
|
|
66
|
+
|
|
67
|
+
2. Grant of Copyright License. Subject to the terms and conditions of
|
|
68
|
+
this License, each Contributor hereby grants to You a perpetual,
|
|
69
|
+
worldwide, non-exclusive, no-charge, royalty-free, irrevocable
|
|
70
|
+
copyright license to reproduce, prepare Derivative Works of,
|
|
71
|
+
publicly display, publicly perform, sublicense, and distribute the
|
|
72
|
+
Work and such Derivative Works in Source or Object form.
|
|
73
|
+
|
|
74
|
+
3. Grant of Patent License. Subject to the terms and conditions of
|
|
75
|
+
this License, each Contributor hereby grants to You a perpetual,
|
|
76
|
+
worldwide, non-exclusive, no-charge, royalty-free, irrevocable
|
|
77
|
+
(except as stated in this section) patent license to make, have made,
|
|
78
|
+
use, offer to sell, sell, import, and otherwise transfer the Work,
|
|
79
|
+
where such license applies only to those patent claims licensable
|
|
80
|
+
by such Contributor that are necessarily infringed by their
|
|
81
|
+
Contribution(s) alone or by combination of their Contribution(s)
|
|
82
|
+
with the Work to which such Contribution(s) was submitted. If You
|
|
83
|
+
institute patent litigation against any entity (including a
|
|
84
|
+
cross-claim or counterclaim in a lawsuit) alleging that the Work
|
|
85
|
+
or a Contribution incorporated within the Work constitutes direct
|
|
86
|
+
or contributory patent infringement, then any patent licenses
|
|
87
|
+
granted to You under this License for that Work shall terminate
|
|
88
|
+
as of the date such litigation is filed.
|
|
89
|
+
|
|
90
|
+
4. Redistribution. You may reproduce and distribute copies of the
|
|
91
|
+
Work or Derivative Works thereof in any medium, with or without
|
|
92
|
+
modifications, and in Source or Object form, provided that You
|
|
93
|
+
meet the following conditions:
|
|
94
|
+
|
|
95
|
+
(a) You must give any other recipients of the Work or
|
|
96
|
+
Derivative Works a copy of this License; and
|
|
97
|
+
|
|
98
|
+
(b) You must cause any modified files to carry prominent notices
|
|
99
|
+
stating that You changed the files; and
|
|
100
|
+
|
|
101
|
+
(c) You must retain, in the Source form of any Derivative Works
|
|
102
|
+
that You distribute, all copyright, patent, trademark, and
|
|
103
|
+
attribution notices from the Source form of the Work,
|
|
104
|
+
excluding those notices that do not pertain to any part of
|
|
105
|
+
the Derivative Works; and
|
|
106
|
+
|
|
107
|
+
(d) If the Work includes a "NOTICE" text file as part of its
|
|
108
|
+
distribution, then any Derivative Works that You distribute must
|
|
109
|
+
include a readable copy of the attribution notices contained
|
|
110
|
+
within such NOTICE file, excluding those notices that do not
|
|
111
|
+
pertain to any part of the Derivative Works, in at least one
|
|
112
|
+
of the following places: within a NOTICE text file distributed
|
|
113
|
+
as part of the Derivative Works; within the Source form or
|
|
114
|
+
documentation, if provided along with the Derivative Works; or,
|
|
115
|
+
within a display generated by the Derivative Works, if and
|
|
116
|
+
wherever such third-party notices normally appear. The contents
|
|
117
|
+
of the NOTICE file are for informational purposes only and
|
|
118
|
+
do not modify the License. You may add Your own attribution
|
|
119
|
+
notices within Derivative Works that You distribute, alongside
|
|
120
|
+
or as an addendum to the NOTICE text from the Work, provided
|
|
121
|
+
that such additional attribution notices cannot be construed
|
|
122
|
+
as modifying the License.
|
|
123
|
+
|
|
124
|
+
You may add Your own copyright statement to Your modifications and
|
|
125
|
+
may provide additional or different license terms and conditions
|
|
126
|
+
for use, reproduction, or distribution of Your modifications, or
|
|
127
|
+
for any such Derivative Works as a whole, provided Your use,
|
|
128
|
+
reproduction, and distribution of the Work otherwise complies with
|
|
129
|
+
the conditions stated in this License.
|
|
130
|
+
|
|
131
|
+
5. Submission of Contributions. Unless You explicitly state otherwise,
|
|
132
|
+
any Contribution intentionally submitted for inclusion in the Work
|
|
133
|
+
by You to the Licensor shall be under the terms and conditions of
|
|
134
|
+
this License, without any additional terms or conditions.
|
|
135
|
+
Notwithstanding the above, nothing herein shall supersede or modify
|
|
136
|
+
the terms of any separate license agreement you may have executed
|
|
137
|
+
with Licensor regarding such Contributions.
|
|
138
|
+
|
|
139
|
+
6. Trademarks. This License does not grant permission to use the trade
|
|
140
|
+
names, trademarks, service marks, or product names of the Licensor,
|
|
141
|
+
except as required for reasonable and customary use in describing the
|
|
142
|
+
origin of the Work and reproducing the content of the NOTICE file.
|
|
143
|
+
|
|
144
|
+
7. Disclaimer of Warranty. Unless required by applicable law or
|
|
145
|
+
agreed to in writing, Licensor provides the Work (and each
|
|
146
|
+
Contributor provides its Contributions) on an "AS IS" BASIS,
|
|
147
|
+
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
|
|
148
|
+
implied, including, without limitation, any warranties or conditions
|
|
149
|
+
of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
|
|
150
|
+
PARTICULAR PURPOSE. You are solely responsible for determining the
|
|
151
|
+
appropriateness of using or redistributing the Work and assume any
|
|
152
|
+
risks associated with Your exercise of permissions under this License.
|
|
153
|
+
|
|
154
|
+
8. Limitation of Liability. In no event and under no legal theory,
|
|
155
|
+
whether in tort (including negligence), contract, or otherwise,
|
|
156
|
+
unless required by applicable law (such as deliberate and grossly
|
|
157
|
+
negligent acts) or agreed to in writing, shall any Contributor be
|
|
158
|
+
liable to You for damages, including any direct, indirect, special,
|
|
159
|
+
incidental, or consequential damages of any character arising as a
|
|
160
|
+
result of this License or out of the use or inability to use the
|
|
161
|
+
Work (including but not limited to damages for loss of goodwill,
|
|
162
|
+
work stoppage, computer failure or malfunction, or any and all
|
|
163
|
+
other commercial damages or losses), even if such Contributor
|
|
164
|
+
has been advised of the possibility of such damages.
|
|
165
|
+
|
|
166
|
+
9. Accepting Warranty or Additional Liability. While redistributing
|
|
167
|
+
the Work or Derivative Works thereof, You may choose to offer,
|
|
168
|
+
and charge a fee for, acceptance of support, warranty, indemnity,
|
|
169
|
+
or other liability obligations and/or rights consistent with this
|
|
170
|
+
License. However, in accepting such obligations, You may act only
|
|
171
|
+
on Your own behalf and on Your sole responsibility, not on behalf
|
|
172
|
+
of any other Contributor, and only if You agree to indemnify,
|
|
173
|
+
defend, and hold each Contributor harmless for any liability
|
|
174
|
+
incurred by, or claims asserted against, such Contributor by reason
|
|
175
|
+
of your accepting any such warranty or additional liability.
|
|
176
|
+
|
|
177
|
+
END OF TERMS AND CONDITIONS
|
|
178
|
+
|
|
179
|
+
APPENDIX: How to apply the Apache License to your work.
|
|
180
|
+
|
|
181
|
+
To apply the Apache License to your work, attach the following
|
|
182
|
+
boilerplate notice, with the fields enclosed by brackets "[]"
|
|
183
|
+
replaced with your own identifying information. (Don't include
|
|
184
|
+
the brackets!) The text should be enclosed in the appropriate
|
|
185
|
+
comment syntax for the file format. We also recommend that a
|
|
186
|
+
file or class name and description of purpose be included on the
|
|
187
|
+
same "printed page" as the copyright notice for easier
|
|
188
|
+
identification within third-party archives.
|
|
189
|
+
|
|
190
|
+
Copyright [yyyy] [name of copyright owner]
|
|
191
|
+
|
|
192
|
+
Licensed under the Apache License, Version 2.0 (the "License");
|
|
193
|
+
you may not use this file except in compliance with the License.
|
|
194
|
+
You may obtain a copy of the License at
|
|
195
|
+
|
|
196
|
+
http://www.apache.org/licenses/LICENSE-2.0
|
|
197
|
+
|
|
198
|
+
Unless required by applicable law or agreed to in writing, software
|
|
199
|
+
distributed under the License is distributed on an "AS IS" BASIS,
|
|
200
|
+
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
201
|
+
See the License for the specific language governing permissions and
|
|
202
|
+
limitations under the License.
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
Agent Comparability
|
|
2
|
+
Copyright 2026 Agent Comparability contributors
|
|
3
|
+
|
|
4
|
+
This product includes software developed as part of the Agent Comparability
|
|
5
|
+
project (specification cmp/0.3.1 and reference implementation).
|
|
6
|
+
|
|
7
|
+
This distribution bundles no third-party code. Optional integrations
|
|
8
|
+
(inspect-ai, pydantic-evals — both MIT) are user-installed and NOT bundled.
|
|
9
|
+
Conformance case data is original to this project.
|
|
10
|
+
This distribution contains NO CC BY-NC licensed data.
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
agent_comparability
|