eduevidence 6.0.0 → 6.2.0

package/schemas/vNext/skill-experiment.schema.json

@@ -1 +1,90 @@
-{"$schema":"http://json-schema.org/draft-07/schema#","type":"object","required":["experiment_id","session_id","parent_skill_revision","hypothesis","mutation_scope","status"],"properties":{"experiment_id":{"type":"string"},"session_id":{"type":"string"},"parent_skill_revision":{"type":"string"},"hypothesis":{"type":"string","minLength":1},"mutation_scope":{"type":"array","items":{"type":"string"},"minItems":1},"changed_files":{"type":"array","items":{"type":"string"}},"candidate_commit":{"type":["string","null"]},"baseline_eval_id":{"type":["string","null"]},"candidate_eval_id":{"type":["string","null"]},"protected_hash_before":{"type":["string","null"]},"protected_hash_after":{"type":["string","null"]},"status":{"enum":["created","KEEP","REJECT","RETEST","HUMAN_REVIEW","CRASH","INVALID"]},"promotion_reason":{"type":"string"},"complexity_delta":{"type":"number"}},"additionalProperties":false}
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "SkillExperiment",
+  "description": "One bounded self-evolution experiment (engine/autoevolve/core.py). Pairs a hypothesis and mutation scope with the baseline and candidate evaluation ids and the protected-tree hashes before and after, then records the promotion verdict. Automatic KEEP requires runner-owned isolation and an intact protected tree.",
+  "type": "object",
+  "required": [
+    "experiment_id",
+    "session_id",
+    "parent_skill_revision",
+    "hypothesis",
+    "mutation_scope",
+    "status"
+  ],
+  "properties": {
+    "experiment_id": {
+      "type": "string"
+    },
+    "session_id": {
+      "type": "string"
+    },
+    "parent_skill_revision": {
+      "type": "string"
+    },
+    "hypothesis": {
+      "type": "string",
+      "minLength": 1
+    },
+    "mutation_scope": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      },
+      "minItems": 1
+    },
+    "changed_files": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "candidate_commit": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "baseline_eval_id": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "candidate_eval_id": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "protected_hash_before": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "protected_hash_after": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "status": {
+      "enum": [
+        "created",
+        "KEEP",
+        "REJECT",
+        "RETEST",
+        "HUMAN_REVIEW",
+        "CRASH",
+        "INVALID"
+      ]
+    },
+    "promotion_reason": {
+      "type": "string"
+    },
+    "complexity_delta": {
+      "type": "number"
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/vNext/task-spec.schema.json

@@ -1 +1,156 @@
-{"$schema":"http://json-schema.org/draft-07/schema#","type":"object","required":["task_id","run_id","base_revision","stage","role","role_profile","objective","reason_for_delegation","evidence_axis","inputs","input_artifacts","allowed_capabilities","forbidden_actions","scope","budget","expected_outputs","output_contract","termination","execution_mode","independent","read_only","timeout_seconds","token_budget","metadata"],"properties":{"task_id":{"type":"string","minLength":1},"run_id":{"type":["string","null"]},"base_revision":{"type":["integer","null"],"minimum":0},"stage":{"enum":["frame","retrieve","extract","challenge","audit","adjudicate","applicability","intervene","evaluate"]},"role":{"type":"string"},"role_profile":{"type":["string","null"]},"objective":{"type":"string","minLength":1},"reason_for_delegation":{"type":["string","null"]},"evidence_axis":{"type":"string","minLength":1},"inputs":{"type":"array","items":{"type":"string"}},"input_artifacts":{"type":"array","items":{"type":"string"}},"allowed_capabilities":{"type":"array","items":{"type":"string"}},"forbidden_actions":{"type":"array","items":{"type":"string"}},"scope":{"type":"object"},"budget":{"type":"object"},"expected_outputs":{"type":"array","items":{"type":"string"}},"output_contract":{"type":"object"},"termination":{"type":"object"},"execution_mode":{"enum":["local","delegated"]},"independent":{"type":"boolean"},"read_only":{"type":"boolean"},"timeout_seconds":{"type":"integer","minimum":1},"token_budget":{"type":["integer","null"],"minimum":1},"metadata":{"type":"object"}},"additionalProperties":false}
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "TaskSpec",
+  "description": "A dispatchable unit of work for one role (engine/orchestration.py TaskSpec). Fixes the stage, role, evidence axis, run and base revision, the granted capabilities, forbidden actions, budget, expected outputs and the output contract. Delegated specs are staging-only: canonical-state artifacts are refused by construction.",
+  "type": "object",
+  "required": [
+    "task_id",
+    "run_id",
+    "base_revision",
+    "stage",
+    "role",
+    "role_profile",
+    "objective",
+    "reason_for_delegation",
+    "evidence_axis",
+    "inputs",
+    "input_artifacts",
+    "allowed_capabilities",
+    "forbidden_actions",
+    "scope",
+    "budget",
+    "expected_outputs",
+    "output_contract",
+    "termination",
+    "execution_mode",
+    "independent",
+    "read_only",
+    "timeout_seconds",
+    "token_budget",
+    "metadata"
+  ],
+  "properties": {
+    "task_id": {
+      "type": "string",
+      "minLength": 1
+    },
+    "run_id": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "base_revision": {
+      "type": [
+        "integer",
+        "null"
+      ],
+      "minimum": 0
+    },
+    "stage": {
+      "enum": [
+        "frame",
+        "retrieve",
+        "extract",
+        "challenge",
+        "audit",
+        "adjudicate",
+        "applicability",
+        "intervene",
+        "evaluate"
+      ]
+    },
+    "role": {
+      "type": "string"
+    },
+    "role_profile": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "objective": {
+      "type": "string",
+      "minLength": 1
+    },
+    "reason_for_delegation": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "evidence_axis": {
+      "type": "string",
+      "minLength": 1
+    },
+    "inputs": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "input_artifacts": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "allowed_capabilities": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "forbidden_actions": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "scope": {
+      "type": "object"
+    },
+    "budget": {
+      "type": "object"
+    },
+    "expected_outputs": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "output_contract": {
+      "type": "object"
+    },
+    "termination": {
+      "type": "object"
+    },
+    "execution_mode": {
+      "enum": [
+        "local",
+        "delegated"
+      ]
+    },
+    "independent": {
+      "type": "boolean"
+    },
+    "read_only": {
+      "type": "boolean"
+    },
+    "timeout_seconds": {
+      "type": "integer",
+      "minimum": 1
+    },
+    "token_budget": {
+      "type": [
+        "integer",
+        "null"
+      ],
+      "minimum": 1
+    },
+    "metadata": {
+      "type": "object"
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/vNext/worker-result.schema.json

@@ -1 +1,60 @@
-{"$schema":"http://json-schema.org/draft-07/schema#","type":"object","required":["task_id","status","staging_artifacts","validated","validation_issues","metrics","summary"],"properties":{"task_id":{"type":"string","minLength":1},"status":{"enum":["completed","failed","blocked"]},"staging_artifacts":{"type":"array","items":{"type":"object","required":["artifact_type"],"properties":{"artifact_type":{"type":"string","minLength":1}},"additionalProperties":true}},"validated":{"type":"boolean"},"validation_issues":{"type":"array","items":{"type":"string"}},"metrics":{"type":"object"},"summary":{"type":"string"}},"additionalProperties":false}
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "WorkerResult",
+  "description": "The lead process's verdict on one worker's submission (engine/worker_result.py). validate_worker_output() reconstructs this from untrusted worker output: any worker-supplied validated flag is ignored, canonical-state artifacts are rejected, and only results that pass here may enter a Judge context.",
+  "type": "object",
+  "required": [
+    "task_id",
+    "status",
+    "staging_artifacts",
+    "validated",
+    "validation_issues",
+    "metrics",
+    "summary"
+  ],
+  "properties": {
+    "task_id": {
+      "type": "string",
+      "minLength": 1
+    },
+    "status": {
+      "enum": [
+        "completed",
+        "failed",
+        "blocked"
+      ]
+    },
+    "staging_artifacts": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": [
+          "artifact_type"
+        ],
+        "properties": {
+          "artifact_type": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "additionalProperties": true
+      }
+    },
+    "validated": {
+      "type": "boolean"
+    },
+    "validation_issues": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "metrics": {
+      "type": "object"
+    },
+    "summary": {
+      "type": "string"
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/verdict.schema.json

@@ -5,52 +5,188 @@
   "description": "Output of the Evidence Tribunal: what the evidence supports, cannot support, and the recommended action. Decision is one of ADOPT / PILOT / REJECT / INSUFFICIENT EVIDENCE (expressed here as adopt|pilot|reject|insufficient_evidence). confidence 由 scripts/compute_confidence.py 确定性计算并覆盖模型值；confidence_score 是规则化指数（0-1），不是概率。扩展字段一律放在 extensions 内。",
   "type": "object",
   "additionalProperties": false,
-  "required": ["decision_question", "recommended_action", "confidence"],
+  "required": [
+    "decision_question",
+    "recommended_action",
+    "confidence"
+  ],
   "properties": {
-    "decision_question": { "type": "string" },
-    "target_population": { "type": "string" },
-    "target_context": { "type": "string" },
-    "supported_claims": { "type": "array", "items": { "type": "string" } },
-    "uncertain_claims": { "type": "array", "items": { "type": "string" } },
-    "contradicted_claims": { "type": "array", "items": { "type": "string" } },
-    "reason_for_disagreement": { "type": "string" },
-    "methodology_summary": { "type": "string" },
-    "outcome_specific_findings": { "type": "object", "additionalProperties": true },
-    "short_term_effect": { "type": ["string", "null"] },
-    "long_term_effect": { "type": ["string", "null"] },
-    "transfer_effect": { "type": ["string", "null"] },
-    "risk_effect": { "type": ["string", "null"] },
-    "applicability": { "type": "object", "additionalProperties": true },
-    "confidence": { "type": "string", "enum": ["High", "Moderate", "Low", "Insufficient"] },
+    "decision_question": {
+      "type": "string"
+    },
+    "target_population": {
+      "type": "string"
+    },
+    "target_context": {
+      "type": "string"
+    },
+    "supported_claims": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "uncertain_claims": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "contradicted_claims": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "reason_for_disagreement": {
+      "type": "string"
+    },
+    "methodology_summary": {
+      "type": "string"
+    },
+    "outcome_specific_findings": {
+      "type": "object",
+      "additionalProperties": true
+    },
+    "short_term_effect": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "long_term_effect": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "transfer_effect": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "risk_effect": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "applicability": {
+      "type": "object",
+      "additionalProperties": true
+    },
+    "confidence": {
+      "type": "string",
+      "enum": [
+        "High",
+        "Moderate",
+        "Low",
+        "Insufficient"
+      ]
+    },
     "confidence_score": {
-      "type": ["number", "null"],
+      "type": [
+        "number",
+        "null"
+      ],
       "minimum": 0,
       "maximum": 1,
       "description": "规则化置信度指数（0-1），由 compute_confidence.py 覆盖模型值。不是概率，禁止宣传为百分比。"
     },
-    "confidence_policy_version": { "type": "string", "description": "确定性置信度策略版本号（如 2026-08-12.v1）。" },
-    "independent_studies": { "type": ["integer", "null"], "minimum": 0, "description": "独立研究数（按 study_id/source_id 去重）。" },
-    "independent_samples": { "type": ["integer", "null"], "minimum": 0, "description": "独立样本数（按 sample_id 去重）。" },
+    "confidence_policy_version": {
+      "type": "string",
+      "description": "确定性置信度策略版本号（如 2026-08-12.v1）。"
+    },
+    "independent_studies": {
+      "type": [
+        "integer",
+        "null"
+      ],
+      "minimum": 0,
+      "description": "独立研究数（按 study_id/source_id 去重）。"
+    },
+    "independent_samples": {
+      "type": [
+        "integer",
+        "null"
+      ],
+      "minimum": 0,
+      "description": "独立样本数（按 sample_id 去重）。"
+    },
     "confidence_breakdown": {
       "type": "object",
       "additionalProperties": true,
       "description": "Rule-based components: evidence_quality, consistency, directness, evidence_count, independent_studies, independent_samples, conflict_penalty, unsupported_penalty."
     },
     "raw_model_confidence": {
-      "type": ["string", "null"],
+      "type": [
+        "string",
+        "null"
+      ],
       "description": "模型原始 confidence 输出（被确定性值覆盖前的值，仅供审计比对）。"
     },
-    "raw_model_confidence_breakdown": { "type": "object", "additionalProperties": true },
-    "what_can_be_claimed": { "type": "array", "items": { "type": "string" } },
-    "what_cannot_be_claimed": { "type": "array", "items": { "type": "string" } },
-    "missing_evidence": { "type": "array", "items": { "type": "string" } },
-    "recommended_action": { "type": "string", "enum": ["adopt", "pilot", "reject", "insufficient_evidence"] },
-    "decision_rationale": { "type": "string" },
-    "exceeds_evidence_boundary": { "type": "array", "items": { "type": "string" }, "description": "Conclusions that currently go beyond the evidence boundary." },
+    "raw_model_confidence_breakdown": {
+      "type": "object",
+      "additionalProperties": true
+    },
+    "what_can_be_claimed": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "what_cannot_be_claimed": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "missing_evidence": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "recommended_action": {
+      "type": "string",
+      "enum": [
+        "adopt",
+        "pilot",
+        "reject",
+        "insufficient_evidence"
+      ]
+    },
+    "decision_rationale": {
+      "type": "string"
+    },
+    "exceeds_evidence_boundary": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      },
+      "description": "Conclusions that currently go beyond the evidence boundary."
+    },
     "extensions": {
       "type": "object",
       "description": "结构化扩展字段的统一容器（P1-01）。未列入本 schema 的字段必须放在这里，禁止在顶层新增属性。",
       "additionalProperties": true
+    },
+    "strongest_support": {
+      "type": "string",
+      "description": "The single strongest conclusion the evidence supports, as a complete reader-facing sentence (<=60 chars zh / ~15 words en). Written by the adjudicator, not assembled by the renderer."
+    },
+    "key_uncertainty": {
+      "type": "string",
+      "description": "The decision-relevant uncertainty or counter-evidence, as a complete reader-facing sentence (<=70 chars zh / ~18 words en)."
+    },
+    "main_risk": {
+      "type": "string",
+      "description": "The principal risk of acting, as a complete reader-facing sentence (<=60 chars zh / ~15 words en)."
+    },
+    "next_action": {
+      "type": "string",
+      "description": "The recommended next step, as a complete reader-facing sentence (<=80 chars zh / ~20 words en)."
     }
   }
 }

package/scripts/build_esl_artifacts.py

@@ -1552,7 +1552,7 @@ result_en = {
         "complexity": "L",
         "mode": "agent_mcp_enhanced",
         "agents": [
-            "education-planner",
+            "research-planner",
             "evidence-retriever",
             "evidence-analyst",
             "skeptic",
@@ -1651,7 +1651,7 @@ result_zh = {
         "complexity": "L",
         "mode": "agent_mcp_enhanced",
         "agents": [
-            "education-planner",
+            "research-planner",
             "evidence-retriever",
             "evidence-analyst",
             "skeptic",

package/scripts/build_report_variants.py

@@ -40,7 +40,9 @@ def bake(examples: Path, *, force: bool = False) -> list[dict]:
         if not force and manifest.is_file():
             try:
                 prior = json.loads(manifest.read_text(encoding='utf-8'))
-                valid = prior.get('cache_key') == cache_key and all(
+                main = prior.get('main_report') or {}
+                main_ok = bool(main.get('file')) and (directory / main['file']).is_file() and                     hashlib.sha256((directory / main['file']).read_bytes()).hexdigest() == main.get('sha256')
+                valid = prior.get('cache_key') == cache_key and main_ok and all(
                     (out_dir / record['file']).is_file() and hashlib.sha256((out_dir / record['file']).read_bytes()).hexdigest() == record['sha256']
                     for record in prior.get('reports', [])) and len(prior.get('reports', [])) == len(THEMES)
                 if valid:
@@ -64,8 +66,22 @@ def bake(examples: Path, *, force: bool = False) -> list[dict]:
                 raise RuntimeError(f'{directory.name}/{theme}: renderer rejected input\n{completed.stdout}\n{completed.stderr}')
             os.replace(temporary, target)
             records.append({'theme': theme, 'file': target.name, 'sha256': hashlib.sha256(target.read_bytes()).hexdigest()})
+        # Also refresh the pack-root report. This used to write only the themed
+        # variants, so examples/*/EduEvidence_Report.html kept whatever bytes it
+        # was first rendered with - the packaged example shipped a report the
+        # current renderer would not produce.
+        from_default = next((r for r in records if r['theme'] == 'claude'), records[0])
+        main_target = directory / 'EduEvidence_Report.html'
+        main_temp = directory / '.EduEvidence_Report.pending.html'
+        main_temp.write_bytes((out_dir / from_default['file']).read_bytes())
+        os.replace(main_temp, main_target)
+        main_sha = hashlib.sha256(main_target.read_bytes()).hexdigest()
+
         value = {'schema_version': 1, 'project': directory.name, 'cache_key': cache_key,
-                 'result_sha256': result_hash, 'renderer_sha256': engine_hash, 'reports': records}
+                 'result_sha256': result_hash, 'renderer_sha256': engine_hash,
+                 'main_report': {'file': main_target.name, 'sha256': main_sha,
+                                 'theme': from_default['theme']},
+                 'reports': records}
         manifest.write_text(json.dumps(value, indent=2) + '\n', encoding='utf-8')
         reports.append(value)
         print(f'{directory.name}: {len(records)} verified report variants')