eduevidence 5.2.0 → 6.2.0

package/schemas/report-spec.schema.json

@@ -2,129 +2,127 @@
   "$schema": "http://json-schema.org/draft-07/schema#",
   "$id": "https://github.com/37chengshan/eduevidence/schemas/report-spec.schema.json",
   "title": "ReportSpec",
-  "description": "report_spec.json — the Visualization Planner output (v5 方案 §9-10, §36). Declares sections and components from the frozen Component Catalog; the deterministic renderer turns it into HTML. No free-form DOM. 扩展字段一律放在各对象 extensions 内。",
+  "description": "Build record emitted next to every rendered report by visualization/eduevidence-report/scripts/build_report.py. It records which theme was baked, which charts the gallery selected or suppressed (with reasons), the integrity-gate result, and the chapter outline. It is a projection record, never a research fact store. Legacy packs that predate this contract carry a smaller shape (mode/title/theme/sections) which is accepted for compatibility.",
   "type": "object",
   "additionalProperties": false,
-  "required": [
-    "title",
-    "theme",
-    "sections"
-  ],
+  "required": [],
   "properties": {
-    "title": {
+    "generated_by": {
       "type": "string"
     },
-    "theme": {
-      "type": "string",
-      "enum": [
-        "claude",
-        "academic",
-        "datalab",
-        "datalab-dark",
-        "presentation"
-      ]
+    "source": {
+      "type": "string"
     },
-    "mode": {
-      "type": "string",
-      "enum": [
-        "research",
-        "demo"
-      ],
-      "default": "research"
+    "question": {
+      "type": "string"
     },
-    "generated_at": {
-      "type": "string",
-      "format": "date-time"
+    "theme_selected": {
+      "type": "string"
     },
-    "sections": {
+    "theme_display": {
+      "type": "string"
+    },
+    "theme_available": {
       "type": "array",
       "items": {
-        "type": "object",
-        "additionalProperties": false,
-        "required": [
-          "id",
-          "title",
-          "component"
-        ],
-        "properties": {
-          "id": {
-            "type": "string",
-            "examples": [
-              "01-executive-decision"
-            ]
-          },
-          "title": {
-            "type": "string"
-          },
-          "component": {
-            "type": "string",
-            "enum": [
-              "ReportShell",
-              "Section",
-              "DecisionCard",
-              "ConfidenceBadge",
-              "OutcomeSummary",
-              "InteractiveChart",
-              "AcademicFigure",
-              "InfographicBlock",
-              "EvidenceMatrix",
-              "EvidenceRow",
-              "TribunalView",
-              "MethodologyPanel",
-              "ConflictCard",
-              "ClaimTrace",
-              "ApplicabilityCard",
-              "InterventionTimeline",
-              "EvaluationFlow",
-              "BenchmarkPanel",
-              "SourceList",
-              "ProvenancePanel",
-              "Footnote"
-            ]
-          },
-          "data_ref": {
-            "type": "string",
-            "description": "Pointer into result.json (e.g. 'decision', 'evidence', 'sources')."
-          },
-          "props": {
-            "type": "object",
-            "additionalProperties": true,
-            "description": "Component props (theme-agnostic)."
-          }
-        }
+        "type": "string"
+      }
+    },
+    "theme_selection": {
+      "type": "string"
+    },
+    "lang_default": {
+      "type": "string"
+    },
+    "lang_switchable": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "report_pages": {
+      "type": "array",
+      "items": {
+        "type": "string"
       }
     },
+    "full_report_outline": {
+      "type": "object",
+      "additionalProperties": true,
+      "description": "Chapter plan actually rendered, plus the source it was resolved from (result.report_outline, or safe_fallback)."
+    },
+    "visualization_decisions": {
+      "type": "object",
+      "additionalProperties": true
+    },
+    "lieflat_gallery": {
+      "type": "object",
+      "additionalProperties": true,
+      "description": "Selected / suppressed / rejected gallery entries with reasons, and the layout_source (visual_layout or deterministic_fallback)."
+    },
     "charts": {
       "type": "array",
-      "description": "Chart declarations (see chart-spec.schema.json).",
       "items": {
         "$ref": "chart-spec.schema.json"
+      },
+      "description": "Chart records; each one must satisfy schemas/chart-spec.schema.json."
+    },
+    "infographics": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": true
+      }
+    },
+    "academic_figures": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": true
       }
     },
+    "integrity_gate": {
+      "type": "object",
+      "additionalProperties": true
+    },
+    "mode": {
+      "type": "string"
+    },
+    "title": {
+      "type": "string"
+    },
+    "theme": {
+      "type": "string"
+    },
+    "sections": {
+      "type": "array"
+    },
+    "generated_at": {
+      "type": "string"
+    },
     "integrity": {
       "type": "object",
-      "additionalProperties": false,
-      "description": "Scientific Integrity Gate result (v5 方案 §27).",
-      "properties": {
-        "status": {
-          "type": "string",
-          "enum": [
-            "VALID",
-            "REPORT_INVALID"
-          ]
-        },
-        "checks": {
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        }
-      }
+      "additionalProperties": true
     },
     "extensions": {
       "type": "object",
-      "description": "结构化扩展字段的统一容器（P1-01）。未列入本 schema 的字段必须放在这里，禁止在顶层新增属性。",
       "additionalProperties": true
     }
-  }
+  },
+  "anyOf": [
+    {
+      "required": [
+        "theme_selected",
+        "integrity_gate"
+      ]
+    },
+    {
+      "required": [
+        "mode",
+        "title",
+        "theme",
+        "sections"
+      ]
+    }
+  ]
 }

package/schemas/skeptic.schema.json

@@ -0,0 +1,86 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "https://github.com/37chengshan/eduevidence/schemas/skeptic.schema.json",
+  "title": "SkepticFindings",
+  "description": "Counter-evidence record produced by the Challenge stage (skill/task-briefs/challenge.md, skill/agents/skeptic.md). The nine checks are mandatory: an empty or partial record used to pass the Pre-Verdict Gate, which made the counter-evidence gate cosmetic.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "search_performed",
+    "skeptic_findings",
+    "contradictory_evidence_found"
+  ],
+  "properties": {
+    "search_performed": {
+      "type": "boolean",
+      "const": true
+    },
+    "method": {
+      "type": "string"
+    },
+    "skeptic_findings": {
+      "type": "array",
+      "minItems": 9,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "check",
+          "status",
+          "detail"
+        ],
+        "properties": {
+          "check": {
+            "type": "string",
+            "enum": [
+              "1_null_result",
+              "2_negative_result",
+              "3_contradictory_evidence",
+              "4_alternative_explanation",
+              "5_measurement_mismatch",
+              "6_sampling_bias",
+              "7_novelty_effect",
+              "8_ai_dependency",
+              "9_scope_overreach"
+            ],
+            "description": "The fixed check this finding reports on."
+          },
+          "status": {
+            "type": "string",
+            "enum": [
+              "found",
+              "not_found"
+            ]
+          },
+          "detail": {
+            "type": "string",
+            "minLength": 8,
+            "description": "What was looked for and what was found; an empty note is not a check."
+          },
+          "related_evidence_ids": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          }
+        }
+      }
+    },
+    "contradictory_evidence_found": {
+      "type": "boolean"
+    },
+    "no_contradictory_evidence_statement": {
+      "type": "string"
+    },
+    "threats_to_validity": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "extensions": {
+      "type": "object",
+      "additionalProperties": true
+    }
+  }
+}

package/schemas/source.schema.json

@@ -212,7 +212,8 @@
             "markdown_new",
             "defuddle",
             "raw_html",
-            "pdf_parser"
+            "pdf_parser",
+            "sciverse_content"
           ]
         },
         "fetch_status": {
@@ -304,8 +305,26 @@
               }
             }
           }
+        },
+        "extensions": {
+          "type": "object",
+          "additionalProperties": true,
+          "description": "Structured extension container. Provider-specific locators live here - e.g. sciverse: {doc_id, offset, next_offset, more} - so the closed fetch contract can carry them without new top-level fields."
+        },
+        "doc_id": {
+          "type": "string",
+          "description": "Full-text artifact id (Sciverse)."
+        },
+        "chunk_id": {
+          "type": "string",
+          "description": "Retrieved chunk id (Sciverse)."
+        },
+        "offset": {
+          "type": "integer",
+          "minimum": 0,
+          "description": "Unicode code-point offset of the fetched slice (Sciverse /content)."
         }
       }
     }
   }
-}
+}

package/schemas/v2/finding.schema.json

@@ -11,7 +11,11 @@
   ],
   "properties": {
     "finding_id": { "type": "string", "pattern": "^FND-" },
-    "study_id": { "type": "string", "pattern": "^(STU-|STUDY-)" },
+    "study_id": {
+      "type": "string",
+      "pattern": "^(ST-|STU-|STUDY-)",
+      "description": "Owning Study. ST- preserves the placeholder prefix used by some legacy/curated packs; migration never renames ids."
+    },
     "finding_type": {
       "type": "string",
       "enum": [

package/schemas/v2/methodology-audit.schema.json

@@ -13,7 +13,11 @@
   ],
   "properties": {
     "audit_id": { "type": "string", "pattern": "^AUD-" },
-    "study_id": { "type": "string", "pattern": "^(STU-|STUDY-)" },
+    "study_id": {
+      "type": "string",
+      "pattern": "^(ST-|STU-|STUDY-)",
+      "description": "Audited Study. ST- preserves the placeholder prefix used by some legacy/curated packs; migration never renames ids."
+    },
     "policy_version": { "type": "string", "minLength": 1 },
     "design_quality": { "type": "integer", "minimum": 0, "maximum": 2 },
     "sample_quality": { "type": "integer", "minimum": 0, "maximum": 2 },

package/schemas/v2/outcome.schema.json

@@ -5,14 +5,37 @@
   "description": "A measurable education outcome from the Outcome Taxonomy: learning / task performance / process / risk.",
   "type": "object",
   "additionalProperties": false,
-  "required": ["outcome_id", "name", "outcome_type", "extensions"],
+  "required": [
+    "outcome_id",
+    "name",
+    "outcome_type",
+    "extensions"
+  ],
   "properties": {
-    "outcome_id": { "type": "string", "pattern": "^OUT-" },
-    "name": { "type": "string", "minLength": 1 },
+    "outcome_id": {
+      "type": "string",
+      "pattern": "^OUT-"
+    },
+    "name": {
+      "type": "string",
+      "minLength": 1
+    },
     "outcome_type": {
       "type": "string",
-      "enum": ["learning", "task_performance", "process", "risk"]
+      "enum": [
+        "learning",
+        "task_performance",
+        "process",
+        "risk",
+        "effectiveness",
+        "cost",
+        "equity",
+        "feasibility"
+      ],
+      "description": "Outcome category bucket. The education domain declares learning / task_performance / process / risk; the policy domain declares effectiveness / cost / equity / feasibility / risk. domains/<id>/outcome_taxonomy.json is the authority and scripts/check_protocol_alignment.py fails if this enum drifts from it."
     },
-    "extensions": { "type": "object" }
+    "extensions": {
+      "type": "object"
+    }
   }
 }

package/schemas/v2/project.schema.json

@@ -13,9 +13,9 @@
   "properties": {
     "project_id": { "type": "string", "pattern": "^PRJ-" },
     "title": { "type": "string", "minLength": 1 },
-    "domain": { "type": "string", "enum": ["education"] },
+    "domain": { "type": "string", "enum": ["education", "policy"] },
     "question": { "type": "string", "minLength": 1 },
-    "research_mode": { "type": "string", "enum": ["evidence_review", "full_research_cycle"] },
+    "research_mode": { "type": "string", "enum": ["evidence_review", "decision_and_pilot", "evaluate_and_update", "full_research_cycle"] },
     "decision_target": {
       "type": "string",
       "enum": ["evidence_review", "teaching_decision", "teaching_pilot", "evaluation_plan", "research_cycle"]

package/schemas/v2/run.schema.json

@@ -15,7 +15,7 @@
     "project_id": { "type": "string", "pattern": "^PRJ-" },
     "purpose": { "type": "string", "minLength": 1 },
     "started_at": { "type": "string", "format": "date-time" },
-    "status": { "type": "string", "enum": ["running", "completed", "failed", "aborted"] },
+    "status": { "type": "string", "enum": ["queued", "running", "waiting_for_user", "waiting_for_user_data", "waiting_for_executor", "waiting_for_tool", "waiting_for_review", "blocked_scientific_gate", "blocked_contract_error", "completed", "failed_recoverable", "failed_terminal", "cancelled", "failed", "aborted"] },
     "graph_revision_before": { "type": "integer", "minimum": 0 },
     "graph_revision_after": { "type": ["integer", "null"], "minimum": 0 },
     "capabilities": {

package/schemas/v2/study.schema.json

@@ -10,7 +10,11 @@
     "independence_key", "identity_status", "extensions"
   ],
   "properties": {
-    "study_id": { "type": "string", "pattern": "^(STU-|STUDY-)" },
+    "study_id": {
+      "type": "string",
+      "pattern": "^(ST-|STU-|STUDY-)",
+      "description": "Study identity. ST- is the placeholder prefix some legacy/curated packs used before STU-/STUDY-; migration preserves original ids rather than renaming them."
+    },
     "source_ids": {
       "type": "array",
       "items": { "type": "string", "pattern": "^(SRC-|S-)" },

package/schemas/vNext/autoevolve-session.schema.json

@@ -0,0 +1,34 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "https://github.com/37chengshan/eduevidence/schemas/vNext/autoevolve-session.schema.json",
+  "title": "AutoevolveSessionReport",
+  "description": "Daily self-evolution session report (engine/autoevolve/runner.py -> state_root/daily-report.json). Records one bounded branch-only session: how many experiments ran, their promotion statuses, the stopping reason, cost and wall time, and whether runner-owned isolation was verified. Automatic KEEP requires verified OS isolation; evaluator self-attestation is ignored.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "run_tag", "branch", "experiments", "statuses", "cost", "wall_minutes",
+    "plateau", "stop_reason", "promotion", "holdout_isolation_verified", "mutation_view"
+  ],
+  "properties": {
+    "run_tag": {"type": "string", "minLength": 1, "description": "Session tag; also the SkillExperiment.session_id of every experiment in this session."},
+    "branch": {"type": "string", "minLength": 1, "description": "Branch the session ran on. Promotion is branch-only."},
+    "experiments": {"type": "integer", "minimum": 0, "description": "Number of experiments attempted."},
+    "statuses": {"type": "array", "items": {"enum": ["created", "KEEP", "REJECT", "RETEST", "HUMAN_REVIEW", "CRASH", "INVALID"]}, "description": "Per-experiment promotion verdict, in attempt order."},
+    "best_experiment_id": {"type": ["string", "null"]},
+    "best_candidate_commit": {"type": ["string", "null"]},
+    "cost": {"type": "number", "minimum": 0, "description": "Cumulative session cost in USD, as reported by the agent and evaluator."},
+    "wall_minutes": {"type": "number", "minimum": 0},
+    "plateau": {"type": "boolean"},
+    "stop_reason": {"type": "string", "minLength": 1, "description": "Why the loop stopped (for example budget_exhausted, plateau, completed)."},
+    "promotion": {"const": "branch_only", "description": "Daily mode never promotes directly; KEEP only marks a candidate branch."},
+    "branch_push_requested": {"type": "boolean"},
+    "branch_pushed": {"type": "boolean"},
+    "mutation_view": {"type": "string", "minLength": 1, "description": "Isolation actually used for the mutation view."},
+    "holdout_isolation_verified": {"type": "boolean", "description": "Runner-owned OS isolation verification. Automatic KEEP requires true."},
+    "isolation_provider": {"type": "string"},
+    "isolation_reason": {"type": "string"},
+    "eval_suite_hash": {"type": "string", "description": "Trusted evaluation suite hash captured before the session; a mid-session change invalidates the experiment."},
+    "security_note": {"type": "string"},
+    "candidate_artifacts": {"type": "string", "description": "Where candidate artifacts live; local session state is never auto-pushed."}
+  }
+}

package/schemas/vNext/eval-snapshot.schema.json

@@ -0,0 +1,77 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "EvalSnapshot",
+  "description": "The measurement record for one self-evolution candidate (engine/autoevolve/core.py). Carries gate outcomes, science/research scores, robustness, cost, latency, repeats and the trusted eval-suite hash. Runner-owned snapshots ignore evaluator self-attestation; a mid-session suite-hash change invalidates the experiment.",
+  "type": "object",
+  "required": [
+    "eval_id",
+    "hard_gates_passed",
+    "science_score",
+    "research_score",
+    "robustness",
+    "cost",
+    "latency",
+    "complexity",
+    "repeats",
+    "noise_floor",
+    "dev_passed",
+    "holdout_passed",
+    "adversarial_passed",
+    "holdout_isolation_verified",
+    "eval_suite_hash"
+  ],
+  "properties": {
+    "eval_id": {
+      "type": "string"
+    },
+    "hard_gates_passed": {
+      "type": "boolean"
+    },
+    "science_score": {
+      "type": "number"
+    },
+    "research_score": {
+      "type": "number"
+    },
+    "robustness": {
+      "type": "number"
+    },
+    "cost": {
+      "type": "number",
+      "minimum": 0
+    },
+    "latency": {
+      "type": "number",
+      "minimum": 0
+    },
+    "complexity": {
+      "type": "number",
+      "minimum": 0
+    },
+    "repeats": {
+      "type": "integer",
+      "minimum": 1
+    },
+    "noise_floor": {
+      "type": "number",
+      "minimum": 0
+    },
+    "dev_passed": {
+      "type": "boolean"
+    },
+    "holdout_passed": {
+      "type": "boolean"
+    },
+    "adversarial_passed": {
+      "type": "boolean"
+    },
+    "holdout_isolation_verified": {
+      "type": "boolean"
+    },
+    "eval_suite_hash": {
+      "type": "string",
+      "minLength": 1
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/vNext/execution-plan.schema.json

@@ -0,0 +1,50 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "ExecutionPlan",
+  "description": "The plan for one research run (engine/orchestration.py ExecutionPlanner.plan). Complexity level, the ordered TaskSpecs, the maximum parallel workers and the parallel groups; S delegates zero tasks, M and L are capped by policy. scripts/check_autoresearch_invariants.py enforces those caps.",
+  "type": "object",
+  "required": [
+    "complexity",
+    "tasks",
+    "max_parallel_workers",
+    "parallel_groups",
+    "plan_id"
+  ],
+  "properties": {
+    "complexity": {
+      "enum": [
+        "S",
+        "M",
+        "L"
+      ]
+    },
+    "tasks": {
+      "type": "array",
+      "items": {
+        "$ref": "task-spec.schema.json"
+      }
+    },
+    "max_parallel_workers": {
+      "type": "integer",
+      "minimum": 0,
+      "maximum": 6
+    },
+    "parallel_groups": {
+      "type": "array",
+      "items": {
+        "type": "array",
+        "minItems": 1,
+        "items": {
+          "type": "string"
+        }
+      }
+    },
+    "plan_id": {
+      "type": [
+        "string",
+        "null"
+      ]
+    }
+  },
+  "additionalProperties": false
+}