eduevidence 6.2.0 → 6.3.0

package/engine/library_builtin.py

@@ -24,7 +24,8 @@ Conservative verdict rules (offline preliminary gate):
     any matched contradict entry -> reject
     else any matched support  entry -> pilot
     else                            -> insufficient_evidence
-    adopt is NEVER returned by the preliminary gate.
+    The preliminary gate is a screening bound only; a full ADOPT still requires
+    the deterministic decision_action gate (High + support + direct primary).
 
 Output:
     {"verdict": ..., "coverage": {"matched_entries": [...],
@@ -228,8 +229,9 @@ def preliminary_verdict(question: str, *, top_k: int = 10) -> dict[str, Any]:
     claim_text + effect_summary + title; the top_k entries are considered and an
     entry counts as matched when overlap >= MATCH_THRESHOLD and it shares at
     least MIN_SHARED_BIGRAMS tokens. Verdict: contradict => reject, else
-    support => pilot, else insufficient_evidence. Never adopt. Never crashes on
-    empty/blank questions.
+    support => pilot, else insufficient_evidence. This is a screening bound
+    only; full ADOPT is decided by engine.decision_policy.decision_action.
+    Never crashes on empty/blank questions.
     """
     try:
         top_k = int(top_k)
@@ -298,6 +300,7 @@ def _build_note(
         f"离线初步裁决在 top_k={top_k} 内匹配到 {len(matched)} 条内置证据："
         f"support={counts['support']}、contradict={counts['contradict']}、"
         f"neutral={counts['neutral']}；匹配结局词：{outcome_str}。"
-        "本裁决为初步（preliminary=true）且保守，从不直接给出 adopt，"
+        "本裁决为初步（preliminary=true）筛查上界；完整四态裁决仍须经 "
+        "decision_action 闸门（High + support + 主结果直接证据才可 adopt）。"
         "建议结合完整证据库与在线检索复核。"
     )

package/engine/tribunal.py

@@ -40,14 +40,14 @@ from pathlib import Path
 from engine.contracts import validate_record
 from engine.decision_policy import (
     ADOPT_DIRECTNESS,
-    decision_action as _policy_decision_action,
+    decision_outcome,
     outcome_category,
     primary_effect_categories,
 )
 from engine.graph_store import GraphStore
 from engine.ids import new_local_id
 from engine.project import ProjectWorkspace
-from engine.semantics import claim_relation, decision_implication
+from engine.semantics import decision_implication
 from engine.synthesis import ClaimSynthesis, synthesize_project
 from engine.versions import (
     CONFIDENCE_POLICY_VERSION,
@@ -199,6 +199,7 @@ def _confidence(store: GraphStore, syntheses: tuple[ClaimSynthesis, ...]) -> dic
         if relation in ("support_adoption", "oppose_adoption"):
             decisive[sid] = relation
         elif relation == "conditional":
+            decisive[sid] = "conditional"
             critical_uncertainty_units += 1
         quality_sum += (
             audit.get("design_quality", 0) + audit.get("sample_quality", 0)
@@ -209,7 +210,8 @@ def _confidence(store: GraphStore, syntheses: tuple[ClaimSynthesis, ...]) -> dic
             directness_sum += sum(dirs) / len(dirs) / 2.0
             directness_count += 1
 
-    n_decisive = len(decisive)
+    n_decisive = sum(1 for r in decisive.values()
+                     if r in ("support_adoption", "oppose_adoption"))
     n_usable = len(usable_studies)
     if n_decisive == 0:
         return {"score": 0.0, "label": "Insufficient",
@@ -280,22 +282,6 @@ def _has_direct_primary_evidence(store: GraphStore,
     return False
 
 
-def _decision_action(syn_statuses: dict[str, str], confidence: dict,
-                     decisive_relations: dict[str, str],
-                     has_direct_primary_evidence: bool = False) -> str:
-    """Gate-enforced decision action; rule lives in engine.decision_policy.
-
-    The V1 Pre-Verdict Gate enforces the same rule, so the thresholds are
-    imported rather than restated here.
-    """
-    return _policy_decision_action(
-        confidence_label=confidence["label"],
-        decisive_relations=decisive_relations,
-        has_direct_primary_evidence=has_direct_primary_evidence,
-    )
-
-
-
 def adjudicate(store: GraphStore, *, project: ProjectWorkspace,
                claim_syntheses: tuple[ClaimSynthesis, ...] | None = None,
                applicability: dict | None = None,
@@ -305,13 +291,19 @@ def adjudicate(store: GraphStore, *, project: ProjectWorkspace,
     confidence = _confidence(store, syntheses)
     applicability = applicability or {"boundary": "evidence scope", "notes": ""}
 
-    syn_statuses = {s.claim_id: s.status for s in syntheses}
     decisive_relations = confidence.get("decisive_relations", {})
     domain = str(project.manifest().get("domain") or "education")
     direct_learning = _has_direct_primary_evidence(store, decisive_relations, domain)
 
-    decision = _decision_action(syn_statuses, confidence, decisive_relations,
-                                has_direct_primary_evidence=direct_learning)
+    # Single authority: engine.decision_policy owns the four-state matrix, and
+    # engine/tribunal.py keeps no private copy of the rule that could drift.
+    outcome = decision_outcome(
+        confidence_label=str(confidence.get("label") or ""),
+        decisive_relations=decisive_relations,
+        has_direct_primary_evidence=direct_learning,
+    )
+    decision = str(outcome["action"])
+    downgrade_reason = outcome.get("downgrade_reason")
 
     key_links: list[str] = []
     for syn in syntheses:
@@ -322,7 +314,8 @@ def adjudicate(store: GraphStore, *, project: ProjectWorkspace,
     for syn in syntheses:
         risks.extend(syn.unresolved_conflicts)
     if not risks and decision == "ADOPT":
-        risks.append("long-term retention/transfer may still be untested")
+        risks.append(
+            "primary-outcome durability beyond the observed window may still be untested")
 
     missing: list[str] = []
     for syn in syntheses:
@@ -343,6 +336,7 @@ def adjudicate(store: GraphStore, *, project: ProjectWorkspace,
     snapshot = {
         "decision_snapshot_id": new_local_id("DEC", set()),
         "decision": decision,
+        "downgrade_reason": downgrade_reason,
         "confidence_label": confidence["label"],
         "confidence_score_internal": confidence["score"],
         "claim_assessments": claim_assessments,

package/engine/versions.py

@@ -4,7 +4,7 @@ Policy versions are frozen identifiers, not free-form strings: changing a
 policy requires a new version, never silent mutation of an existing one.
 """
 
-ENGINE_VERSION = "6.2.0"
+ENGINE_VERSION = "6.3.0"
 GRAPH_SCHEMA_VERSION = "2.0"
 SOURCE_VALIDATION_POLICY_VERSION = "2026-08-12.v2"
 METHODOLOGY_POLICY_VERSION = "2026-08-12.v2"