From 9817830d4a42b936a642de9c50bbe175ade4b25d Mon Sep 17 00:00:00 2001 From: ThearchyHelios Date: Wed, 21 Oct 2026 16:08:22 +0800 Subject: [PATCH] =?UTF-8?q?=E8=87=AA=E5=8A=A8=E4=BF=AE=E5=A4=8D=E5=92=8C?= =?UTF-8?q?=E9=97=A8=E7=A6=81=E5=AF=B9=20analysis=5Fclaims=20=E5=86=99?= =?UTF-8?q?=E4=BA=86=E8=AE=A4=E4=B8=8D=E5=87=BA=E7=9A=84=E5=80=BC=EF=BC=88?= =?UTF-8?q?=E5=A6=82=20loose=EF=BC=89=E5=AF=B9=E9=BD=90=20claims=20?= =?UTF-8?q?=E7=9A=84=E5=81=9A=E6=B3=95=EF=BC=9AG3=20=E9=82=A3=E4=B8=80?= =?UTF-8?q?=E6=9D=A1=E4=BF=AE=E5=A4=8D=EF=BC=88=5Fplan=5Freport=5Fpolicy?= =?UTF-8?q?=EF=BC=89=E4=B8=8D=E5=86=8D=E9=A1=BA=E6=89=8B=E6=94=B9=E6=88=90?= =?UTF-8?q?=20strict=EF=BC=88=E9=97=A8=E7=A6=81=E8=B7=B3=E8=BF=87=E5=AE=83?= =?UTF-8?q?=E3=80=81=E4=BA=A4=E7=BB=99=E6=A0=A1=E9=AA=8C=E6=8A=A5=EF=BC=89?= =?UTF-8?q?=EF=BC=8C=E8=AE=A4=E4=B8=8D=E5=87=BA=E7=9A=84=E5=8F=96=E5=80=BC?= =?UTF-8?q?=E7=94=B1=E6=A0=A1=E9=AA=8C=E9=82=A3=E6=9D=A1=20report.analysis?= =?UTF-8?q?=5Fclaims=5Finvalid=20=E8=87=AA=E5=B7=B1=E7=9A=84=E4=BF=AE?= =?UTF-8?q?=E5=A4=8D=E7=AE=A1=E2=80=94=E2=80=94=E5=8F=97=E7=AE=A1=E7=BA=A7?= =?UTF-8?q?=E5=88=AB=E6=94=B9=E6=88=90=20strict=EF=BC=88G3=20=E5=8F=AA?= =?UTF-8?q?=E8=AE=A4=E5=AE=83=EF=BC=8C=E7=AD=94=E6=A1=88=E5=94=AF=E4=B8=80?= =?UTF-8?q?=EF=BC=89=EF=BC=8C=E5=88=AB=E7=9A=84=E7=BA=A7=E5=88=AB=E4=B8=8D?= =?UTF-8?q?=E6=A0=B8=E5=AF=B9=E3=80=81=E9=87=8D=E5=86=99=E4=B8=80=E6=AC=A1?= =?UTF-8?q?=E5=90=8E=E6=A0=87=E5=87=BA=E3=80=81=E9=87=8D=E5=86=99=E5=90=8E?= =?UTF-8?q?=E4=BB=8D=E6=9C=89=E7=9A=84=E8=AE=A1=E5=85=A5=E7=BC=BA=E5=8F=A3?= =?UTF-8?q?=E4=B8=89=E6=A1=A3=E8=A6=81=E4=BA=BA=E9=80=89=EF=BC=8C=E4=B8=8D?= =?UTF-8?q?=E7=BB=99=E5=BB=BA=E8=AE=AE=EF=BC=88=E5=90=8C=20claims=5Finvali?= =?UTF-8?q?d=20=E7=9A=84=20=5Fplan=5Fclaims=EF=BC=89=EF=BC=9B=E8=B7=B3?= =?UTF-8?q?=E8=BF=87=E8=AE=A4=E4=B8=8D=E5=87=BA=E7=9A=84=E5=8F=96=E5=80=BC?= =?UTF-8?q?=E7=BB=9F=E4=B8=80=E6=8C=89=E9=97=A8=E7=A6=81=E7=9A=84=20=5FPOL?= =?UTF-8?q?ICY=5FPROBLEMS=20=E5=88=A4=E3=80=82=E6=B5=8B=E8=AF=95=EF=BC=9A?= =?UTF-8?q?=E5=8F=97=E7=AE=A1=E7=BA=A7=E5=88=AB=20G3=20=E4=BF=AE=E5=A4=8D?= =?UTF-8?q?=E5=8F=AA=E6=94=B9=20numbers=E3=80=81=E8=AE=A4=E4=B8=8D?= =?UTF-8?q?=E5=87=BA=E7=9A=84=E5=8F=96=E5=80=BC=E5=8F=A6=E6=9C=89=E4=B8=80?= =?UTF-8?q?=E6=9D=A1=E6=94=B9=E6=88=90=20strict=EF=BC=8C=E4=B8=80=E8=B5=B7?= =?UTF-8?q?=E5=BA=94=E7=94=A8=E5=90=8E=E9=80=9A=E8=BF=87=EF=BC=9B=E5=B7=B2?= =?UTF-8?q?=E5=8F=91=E5=B8=83=E7=BA=A7=E5=88=AB=E4=B8=89=E6=A1=A3=E5=80=99?= =?UTF-8?q?=E9=80=89=E3=80=81=E9=80=89=E4=BA=86=E7=85=A7=E5=86=99?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- backend/app/engine/autofix.py | 28 +++++++++++++++---- .../tests/test_governance_analysis_claims.py | 25 +++++++++++++++++ 2 files changed, 48 insertions(+), 5 deletions(-) diff --git a/backend/app/engine/autofix.py b/backend/app/engine/autofix.py index e97af135..e0ed46d6 100644 --- a/backend/app/engine/autofix.py +++ b/backend/app/engine/autofix.py @@ -24,6 +24,7 @@ from typing import Any, Callable, Iterator from pydantic import BaseModel from app.engine.governance import ( + _POLICY_PROBLEMS, JUDGE_UNLIMITED, REPORT_POLICY, REPORT_POLICY_ALSO, @@ -32,6 +33,7 @@ from app.engine.governance import ( ) from app.engine.labels import CHOICE_LABEL, contract_label, field_label, option_label, q from app.engine.schema import ( + ANALYSIS_CLAIMS_VALUES, CLAIMS_JUDGE, JUDGE_ON_UNSUPPORTED, REPORT_CLAIMS, @@ -39,7 +41,6 @@ from app.engine.schema import ( GraphSpec, NodeType, _ancestors, - claims_problem, ) #: 被选中的修复按这个顺序应用：先补契约骨架，再补契约里的各项，最后是节点上的开关。 @@ -50,7 +51,7 @@ _ORDER = ( "contract.report_from_missing", "contract.report_from_invalid", "governed.report_from_required", "governed.exit_text_source", "report.metrics_from_invalid", "contract.required_missing", "contract.cells_undeclared", "contract.strict_off", "contract.claims_ignored", "report.claims_invalid", - "governed.report_policy", "governed.judge_budget", + "report.analysis_claims_invalid", "governed.report_policy", "governed.judge_budget", "governed.caliber_agent_cite_fields", "governed.caliber_compute_input", "governed.agent_approval_never", "governed.default_approval_never", "governed.subgraph_unpinned", "governed.supervisor", "contract.not_object", "governed.text_bypass", "governed.caliber_agent_schema", "governed.caliber_model_input", @@ -239,8 +240,9 @@ def _plan_exit_fields(ctx: _Ctx, issue: dict[str, Any], node: GraphNode | None) def _plan_report_policy(ctx: _Ctx, issue: dict[str, Any], node: GraphNode | None) -> dict[str, Any] | None: - """G3：报告撰写节点写明最严的三项。答案唯一，只往严里改；写了不认识的 claims 由 claims_invalid 管。 - 已经写了更严的写法（claims: judge）的不动——改回 require_citation 就是替人放宽了。""" + """G3：报告撰写节点写明最严的几项。答案唯一，只往严里改；写了不认识的 claims、analysis_claims 不在这里改，由校验的 + claims_invalid、analysis_claims_invalid 管（门禁 G3 同样跳过它们、交给校验报）。已经写了更严的写法（claims: judge） + 的不动——改回 require_citation 就是替人放宽了。""" if node is None: return None writes: dict[str, Any] = {} @@ -250,7 +252,7 @@ def _plan_report_policy(ctx: _Ctx, issue: dict[str, Any], node: GraphNode | None effective = ctx.spec.defaults.get(key) if value in (None, "") else value if effective in (want, *REPORT_POLICY_ALSO.get(key, ())): continue - if not (key == "claims" and claims_problem(effective)): + if not ((invalid := _POLICY_PROBLEMS.get(key)) and invalid(effective)): writes[key], before[key] = want, copy.deepcopy(value) if not writes: return None @@ -277,6 +279,21 @@ def _plan_claims(ctx: _Ctx, issue: dict[str, Any], node: GraphNode | None) -> di return _choice(f"选择「{node.title}」的「{field_label('claims')}」如何处理", "claims", options) +def _plan_analysis_claims(ctx: _Ctx, issue: dict[str, Any], node: GraphNode | None) -> dict[str, Any] | None: + """analysis_claims 写了不认识的值，照 claims 的做法（_plan_claims）：受管级别改成 strict，门禁 G3 只认它，答案唯一； + 别的级别三档都行，要人选，不给建议。""" + if node is None: + return None + before = node.config.get("analysis_claims") + if ctx.level == "governed": + return _auto(f"将「{node.title}」的「{field_label('analysis_claims')}」改为「{option_label('analysis_claims', 'strict')}」：" + "受管级别出具要求判断词没挂对分析结论的句子重写后仍有的计入缺口", "analysis_claims", before, "strict") + hints = {"off": "不核对报告里的判断词", "check": "判断词没挂对分析结论的句子交回重写一次，仍有的在报告里标出，不影响出具档位", + "strict": "重写后仍有的计入缺口，出具按档位降档"} + options = [{"value": v, "label": option_label("analysis_claims", v), "hint": hints[v]} for v in ANALYSIS_CLAIMS_VALUES] + return _choice(f"选择「{node.title}」的「{field_label('analysis_claims')}」如何处理", "analysis_claims", options) + + def _plan_judge_budget(ctx: _Ctx, issue: dict[str, Any], node: GraphNode | None) -> dict[str, Any] | None: """G3：claims: judge 没写每份报告的裁判预算。写多少钱只有作者能定：候选是默认金额和「不限」，不替人选、 不给建议。judge 原来写在图级 defaults 里的，写到节点上时带上 defaults 那一整份——节点写了 judge 就整个 @@ -718,6 +735,7 @@ _PLANNERS: dict[str, Callable[[_Ctx, dict[str, Any], GraphNode | None], dict[str "governed.text_bypass": _plan_text_bypass, "governed.report_policy": _plan_report_policy, "report.claims_invalid": _plan_claims, + "report.analysis_claims_invalid": _plan_analysis_claims, "governed.judge_budget": _plan_judge_budget, "contract.cells_undeclared": _plan_cells_undeclared, "governed.caliber_compute_input": _plan_compute_input, diff --git a/backend/tests/test_governance_analysis_claims.py b/backend/tests/test_governance_analysis_claims.py index 9d481dfb..4bc494ef 100644 --- a/backend/tests/test_governance_analysis_claims.py +++ b/backend/tests/test_governance_analysis_claims.py @@ -95,6 +95,31 @@ def test_the_autofix_writes_it_in(): assert write["data"]["config"]["analysis_claims"] == "strict" +def test_an_unrecognized_value_is_left_to_its_own_fix_like_claims(): + """analysis_claims 写了认不出的值：门禁 G3 跳过、交给校验报，自动修复的 G3 那一条也不碰它（以前顺手改成了 strict）， + 由校验那条问题自己的修复管——照 claims 的做法：受管级别改成 strict，别的级别三档要人选。""" + graph = traceable({**STRICT, "numbers": "off", "analysis_claims": "loose"}) + spec = GraphSpec.model_validate(graph) + fixes = {f["id"]: f for f in plan_fixes(spec, publish_issues(spec, level="governed"), level="governed")} + assert fixes["governed.report_policy:write"]["preview"] == {"field": "numbers", "before": "off", "after": "strict"} + bad = fixes["report.analysis_claims_invalid:write"] + assert bad["kind"] == "auto" and bad["preview"] == {"field": "analysis_claims", "before": "loose", "after": "strict"} + out = apply_fixes(graph, list(fixes), level="governed") + write = next(n for n in out["graph"]["nodes"] if n["id"] == "write")["data"]["config"] + assert out["ok"] is True and write["analysis_claims"] == "strict" and write["numbers"] == "strict" + + published = traceable({"analysis_claims": "loose"}) + spec = GraphSpec.model_validate(published) + fid = "report.analysis_claims_invalid:write" + [fix] = [f for f in plan_fixes(spec, publish_issues(spec, level="published"), level="published") if f["id"] == fid] + assert fix["kind"] == "choice" and [o["value"] for o in fix["options"]] == ["off", "check", "strict"] + assert [o["label"] for o in fix["options"]] == [option_label("analysis_claims", v) for v in ("off", "check", "strict")] + assert "default" not in fix + out = apply_fixes(published, [fid], {fid: "check"}, level="published") + assert out["applied"] == [fid] and next(n for n in out["graph"]["nodes"] if n["id"] == "write")[ + "data"]["config"]["analysis_claims"] == "check" + + def test_a_governed_upgrade_writes_the_strict_setting(): from app.engine.upgrade import _policy