superlab 0.1.61 → 0.1.62

package/lib/auto_runner.cjs

@@ -40,6 +40,7 @@ const {
   writeAutoOutcome,
   writeAutoStatus,
 } = require("./auto_state.cjs");
+const { buildRulePreflight } = require("./rule_preflight.cjs");
 
 function normalizeTransition(value) {
   return (value || "").trim();
@@ -220,7 +221,7 @@ function buildRolledOverAutoMode(mode, requested, now) {
   };
 }
 
-function rolloverAutoCampaign({ targetDir, mode, status, ledger, requested, lang, now }) {
+function rolloverAutoCampaign({ targetDir, mode, status, ledger, requested, lang, now, rulePreflight = null }) {
   const newMode = buildRolledOverAutoMode(mode, requested, now);
   const archivedPaths = [
     archiveAutoArtifact(targetDir, path.join(".lab", "context", "auto-mode.md"), mode.campaignId || "auto-campaign", now),
@@ -250,6 +251,7 @@ function rolloverAutoCampaign({ targetDir, mode, status, ledger, requested, lang
   writeAutoStatus(
     targetDir,
     {
+      ...(rulePreflight || {}),
       status: "idle",
       currentStage: "",
       currentCommand: "",
@@ -488,6 +490,12 @@ async function startAutoMode({ targetDir, now = new Date(), requestedContract =
   const mode = parseAutoMode(targetDir);
   const existingStatus = parseAutoStatus(targetDir);
   const existingLedger = parseAutoLedger(targetDir);
+  const autoRulePreflight = buildRulePreflight({
+    targetDir,
+    stage: "auto",
+    mode: "execution",
+    target: "bounded auto campaign runtime",
+  });
   const evalProtocol = parseEvalProtocol(targetDir);
   const lang = readWorkflowLanguage(targetDir);
   const missingSchemaFields = listMissingCurrentAutoModeFields(mode);
@@ -522,6 +530,7 @@ async function startAutoMode({ targetDir, now = new Date(), requestedContract =
         requested: normalizedRequest,
         lang,
         now,
+        rulePreflight: autoRulePreflight,
       });
       throw new Error(
         `current auto contract does not fit the requested campaign and was rolled over to a new draft (${newMode.campaignId}); archived old campaign files: ${archivedPaths.join(", ")}; fill the new contract fields and approve it before starting auto mode`
@@ -557,6 +566,7 @@ async function startAutoMode({ targetDir, now = new Date(), requestedContract =
 
   const timestamp = now.toISOString();
   const status = {
+    ...autoRulePreflight,
     status: "running",
     currentStage: resumePlan?.stage || mode.allowedStages[0] || "run",
     currentCommand: "",

package/lib/auto_state.cjs

@@ -93,6 +93,13 @@ function parseAutoStatus(targetDir) {
   return {
     path: contextFile(targetDir, "auto-status.md"),
     text,
+    ruleSourceFile: extractValue(text, ["Rule source file", "规则来源文件"]),
+    ruleSourceRevision: extractValue(text, ["Rule source revision", "规则来源修订"]),
+    projectVersion: extractValue(text, ["Project version", "项目版本"]),
+    resolvedStage: extractValue(text, ["Resolved stage", "解析后的阶段"]),
+    resolvedMode: extractValue(text, ["Resolved mode", "解析后的模式"]),
+    resolvedTarget: extractValue(text, ["Resolved target", "解析后的目标"]),
+    overrideReason: extractValue(text, ["Override reason, if any", "如有覆盖理由"]),
     status: extractValue(text, ["Status", "状态"]),
     currentStage: extractValue(text, ["Current stage", "当前阶段"]),
     currentCommand: extractValue(text, ["Current command", "当前命令"]),
@@ -140,6 +147,16 @@ function renderAutoStatus(status, { lang = "en" } = {}) {
   if (lang === "zh") {
     return `# 自动模式状态
 
+## 规则预检
+
+- 规则来源文件: ${status.ruleSourceFile || ""}
+- 规则来源修订: ${status.ruleSourceRevision || ""}
+- 项目版本: ${status.projectVersion || ""}
+- 解析后的阶段: ${status.resolvedStage || ""}
+- 解析后的模式: ${status.resolvedMode || ""}
+- 解析后的目标: ${status.resolvedTarget || ""}
+- 如有覆盖理由: ${status.overrideReason || ""}
+
 ## 运行状态
 
 - 状态: ${status.status || "idle"}
@@ -169,6 +186,16 @@ function renderAutoStatus(status, { lang = "en" } = {}) {
 
   return `# Auto Mode Status
 
+## Rule Preflight
+
+- Rule source file: ${status.ruleSourceFile || ""}
+- Rule source revision: ${status.ruleSourceRevision || ""}
+- Project version: ${status.projectVersion || ""}
+- Resolved stage: ${status.resolvedStage || ""}
+- Resolved mode: ${status.resolvedMode || ""}
+- Resolved target: ${status.resolvedTarget || ""}
+- Override reason, if any: ${status.overrideReason || ""}
+
 ## Runtime State
 
 - Status: ${status.status || "idle"}

package/lib/i18n.cjs

@@ -260,6 +260,7 @@ const ZH_SKILL_FILES = {
 - \`.lab/context/mission.md\`
 - \`.lab/context/decisions.md\`
 - \`.lab/context/evidence-index.md\`
+- \`.lab/.managed/rule-manifest.json\`
 
 ## 上下文写回
 
@@ -890,6 +891,16 @@ const ZH_SKILL_FILES = {
   [path.join(".lab", ".managed", "templates", "iteration-report.md")]:
 `# 迭代报告
 
+## 规则预检
+
+- Rule source file:
+- Rule source revision:
+- Project version:
+- Resolved stage:
+- Resolved mode:
+- Resolved target:
+- Override reason, if any:
+
 ## 轮次
 
 - 迭代编号:
@@ -1336,6 +1347,16 @@ const ZH_SKILL_FILES = {
   [path.join(".lab", ".managed", "templates", "write-iteration.md")]:
 `# 写作迭代
 
+## 规则预检
+
+- Rule source file:
+- Rule source revision:
+- Project version:
+- Resolved stage:
+- Resolved mode:
+- Resolved target:
+- Override reason, if any:
+
 ## 轮次
 
 - Iteration number:
@@ -1375,6 +1396,33 @@ const ZH_SKILL_FILES = {
 - Did any alias drift remain unresolved:
 - Remaining reader-facing jargon risk:
 
+## Section Acceptance Gate
+
+- Canonical naming consistency passed:
+- Adjacent-section consistency passed:
+- Claim / metric / ranking consistency with evidence passed:
+- Section-style compliance passed:
+- Local clarity passed:
+- Local concision passed:
+- If any item failed, what blocks further prose polish:
+
+## Section Style Policy
+
+- Section-style policy checked:
+- Any discouraged move kept and why:
+- Any banned move found:
+
+## Table Semantics
+
+- Metrics promised in Method:
+- Metrics shown in main tables:
+- Any omitted metric and why:
+- Were all abbreviations expanded at local first mention:
+- Did each main table include a local table note:
+- Can a reader interpret rows and columns without chasing Method:
+- If this section used canonical short names before their defining section, was a local naming bridge added:
+- Did model and ablation labels stay canonical instead of drifting into narrative aliases:
+
 ## Language Decision
 
 - Workflow language:
@@ -1729,6 +1777,16 @@ const ZH_SKILL_FILES = {
   [path.join(".lab", "context", "auto-status.md")]:
 `# 自动模式状态
 
+## 规则预检
+
+- Rule source file:
+- Rule source revision:
+- Project version:
+- Resolved stage:
+- Resolved mode:
+- Resolved target:
+- Override reason, if any:
+
 ## 运行状态
 
 - Status: idle
@@ -2021,6 +2079,13 @@ ZH_CONTENT[path.join(".codex", "skills", "lab", "stages", "write.md")] = `# \`/l
 - \`.lab/context/workflow-state.md\`
 - \`.lab/context/evidence-index.md\`
 
+## 规则预检
+
+- 起草前先读取 \`.lab/.managed/rule-manifest.json\`。
+- 在 write iteration artifact 里先写 \`Rule Preflight\`，再改 prose。
+- \`Rule Preflight\` 至少记录：Rule source file、Rule source revision、Project version、Resolved stage、Resolved mode、Resolved target，以及任何 override reason。
+- 如果已安装的 write 规则和当前轮次行为不一致，就先修正目标层或补充有效 override 理由，再继续编辑。
+
 ## 小步写作规则
 
 - 每轮只改一个 section 或一个明确子问题。
@@ -2325,6 +2390,10 @@ description: 严格研究工作流，覆盖 idea、data、auto、framing、spec
 - 如果某个 stage 会决定后续方向，就要保留明确的 approval gate。
 - 使用 \`.lab/config/workflow.json\` 作为全局约束，统一管理 workflow language、paper language、paper format、results_root、figures_root、deliverables_root、paper_template_root 和 paper-language 的最终定稿决定。
 - 工作流中间工件默认跟随安装语言。
+- 每个 \`/lab:*\` stage 开始前，都要先读取 \`.lab/.managed/rule-manifest.json\` 并完成一段 \`Rule Preflight\`。
+- 每个 stage round 的受管工件都要先记录：Rule source file、Rule source revision、Project version、Resolved stage、Resolved mode、Resolved target，以及任何 override reason。
+- 如果 \`Rule Preflight\` 缺失、过期或和实际行为冲突，就把它视为 stage-contract failure，而不是继续润色或继续推进。
+- 项目里已安装的规则优先于模型记忆；如果记忆里的旧做法和 \`.lab/.managed/rule-manifest.json\` 记录的规则冲突，以项目里安装的规则为准。
 - 最终论文默认输出为 LaTeX，论文语言与工作流语言分开决定。
 - 区分“来源事实”和“模型假设”。
 - 保留失败实验、失败想法和局限性。
@@ -2802,6 +2871,14 @@ ZH_CONTENT[path.join(".codex", "skills", "lab", "stages", "auto.md")] = `# \`/la
 - \`.lab/context/auto-mode.md\`
 - \`.lab/context/auto-status.md\`
 - \`.lab/context/auto-outcome.md\`
+- \`.lab/.managed/rule-manifest.json\`
+
+## 规则预检
+
+- 启动 auto 前先读取 \`.lab/.managed/rule-manifest.json\`。
+- 可见的 \`Auto preflight\` 块里除了契约字段外，还要写明：Rule source file、Rule source revision、Project version、Resolved stage、Resolved mode、Resolved target，以及任何 override reason。
+- 这些 \`Rule Preflight\` 字段也要保存在 \`.lab/context/auto-status.md\`。
+- 如果已安装的 auto 规则和当前 campaign 行为不一致，就先修正契约或补充有效 override 理由，再启动 loop。
 
 ## 上下文写回
 

package/lib/install.cjs

@@ -1,6 +1,7 @@
 const fs = require("node:fs");
 const os = require("node:os");
 const path = require("node:path");
+const crypto = require("node:crypto");
 const { CURRENT_AUTO_MODE_MIGRATION_FIELDS } = require("./auto_state.cjs");
 const { getLocalizedContent } = require("./i18n.cjs");
 
@@ -307,6 +308,10 @@ function installMetadataPath(targetDir) {
   return path.join(targetDir, ".lab", ".managed", "install.json");
 }
 
+function ruleManifestPath(targetDir) {
+  return path.join(targetDir, ".lab", ".managed", "rule-manifest.json");
+}
+
 function ensureParentDir(filePath) {
   fs.mkdirSync(path.dirname(filePath), { recursive: true });
 }
@@ -317,6 +322,44 @@ function writeProjectInstallMetadata(targetDir, metadata) {
   fs.writeFileSync(filePath, JSON.stringify(metadata, null, 2) + "\n");
 }
 
+function sha256(content) {
+  return crypto.createHash("sha256").update(content).digest("hex");
+}
+
+function buildRuleManifest(targetDir, metadata) {
+  const stages = Object.fromEntries(
+    LAB_STAGE_NAMES.map((stage) => {
+      const ruleSourceFile = path.join(".codex", "skills", "lab", "stages", `${stage}.md`);
+      const absoluteRuleSourceFile = path.join(targetDir, ruleSourceFile);
+      let ruleSourceRevision = "";
+      if (fs.existsSync(absoluteRuleSourceFile)) {
+        ruleSourceRevision = sha256(fs.readFileSync(absoluteRuleSourceFile, "utf8"));
+      }
+      return [
+        stage,
+        {
+          rule_source_file: ruleSourceFile.replace(/\\/g, "/"),
+          rule_source_revision: ruleSourceRevision,
+        },
+      ];
+    })
+  );
+
+  return {
+    package_version: metadata.package_version,
+    layout_version: metadata.layout_version,
+    generated_at: metadata.updated_at,
+    lab_skill_source_file: ".codex/skills/lab/SKILL.md",
+    stages,
+  };
+}
+
+function writeRuleManifest(targetDir, metadata) {
+  const filePath = ruleManifestPath(targetDir);
+  ensureParentDir(filePath);
+  fs.writeFileSync(filePath, JSON.stringify(buildRuleManifest(targetDir, metadata), null, 2) + "\n");
+}
+
 function readProjectInstallMetadata(targetDir) {
   const filePath = installMetadataPath(targetDir);
   if (!fs.existsSync(filePath)) {
@@ -732,6 +775,7 @@ function installSuperlab({
     updated_at: new Date().toISOString(),
   };
   writeProjectInstallMetadata(targetDir, metadata);
+  writeRuleManifest(targetDir, metadata);
   if (registerProject) {
     registerProjectInstall(targetDir, metadata, { env });
   }

package/lib/rule_preflight.cjs

@@ -0,0 +1,52 @@
+const fs = require("node:fs");
+const path = require("node:path");
+
+function ruleManifestPath(targetDir) {
+  return path.join(targetDir, ".lab", ".managed", "rule-manifest.json");
+}
+
+function readRuleManifest(targetDir) {
+  const manifestPath = ruleManifestPath(targetDir);
+  if (!fs.existsSync(manifestPath)) {
+    return null;
+  }
+  return JSON.parse(fs.readFileSync(manifestPath, "utf8"));
+}
+
+function resolveStageRuleEntry(targetDir, stage) {
+  const manifest = readRuleManifest(targetDir);
+  if (!manifest || !manifest.stages || !manifest.stages[stage]) {
+    return null;
+  }
+  return {
+    packageVersion: manifest.package_version || "",
+    ruleSourceFile: manifest.stages[stage].rule_source_file || "",
+    ruleSourceRevision: manifest.stages[stage].rule_source_revision || "",
+  };
+}
+
+function buildRulePreflight({
+  targetDir,
+  stage,
+  mode = "",
+  target = "",
+  overrideReason = "",
+} = {}) {
+  const entry = resolveStageRuleEntry(targetDir, stage) || {};
+  return {
+    ruleSourceFile: entry.ruleSourceFile || "",
+    ruleSourceRevision: entry.ruleSourceRevision || "",
+    projectVersion: entry.packageVersion || "",
+    resolvedStage: stage || "",
+    resolvedMode: mode || "",
+    resolvedTarget: target || "",
+    overrideReason: overrideReason || "",
+  };
+}
+
+module.exports = {
+  buildRulePreflight,
+  readRuleManifest,
+  resolveStageRuleEntry,
+  ruleManifestPath,
+};

package/package-assets/shared/lab/.managed/scripts/validate_manuscript_delivery.py

@@ -4,6 +4,7 @@ import json
 import re
 import sys
 from pathlib import Path
+from validate_rule_preflight import validate_rule_preflight
 
 
 ABSOLUTE_PATH_MARKERS = ("/Users/", "/home/", "/tmp/", "/private/tmp/")
@@ -593,6 +594,23 @@ def check_language_layers(paper_dir: Path, issues: list[str]):
                 )
 
 
+def check_latest_write_iteration_preflight(paper_dir: Path, issues: list[str]):
+    workflow_config = find_workflow_config(paper_dir)
+    if workflow_config is None:
+        return
+
+    project_root = workflow_config.parent.parent
+    manifest_path = project_root / ".lab" / ".managed" / "rule-manifest.json"
+    if not manifest_path.exists():
+        return
+
+    latest_iteration = find_latest_write_iteration(paper_dir)
+    if latest_iteration is None:
+        issues.append("missing latest write iteration needed for rule preflight validation")
+        return
+    issues.extend(validate_rule_preflight(latest_iteration, "write", project_root=project_root))
+
+
 def main():
     args = parse_args()
     paper_dir = Path(args.paper_dir)
@@ -610,6 +628,7 @@ def main():
     check_experiments_section(paper_dir, issues)
     check_asset_consumption(paper_dir, issues)
     check_language_layers(paper_dir, issues)
+    check_latest_write_iteration_preflight(paper_dir, issues)
 
     tables_dir = paper_dir / "tables"
     check_table_file(tables_dir / REQUIRED_TABLE_FILES[0], issues, "tables/main-results.tex")

package/package-assets/shared/lab/.managed/scripts/validate_section_draft.py

@@ -4,6 +4,7 @@ import json
 import re
 import sys
 from pathlib import Path
+from validate_rule_preflight import validate_rule_preflight
 
 
 def parse_args():
@@ -368,6 +369,25 @@ def check_workflow_language_targeting(section_path: Path, issues: list[str]):
         )
 
 
+def check_write_rule_preflight(section_path: Path, issues: list[str]):
+    project_root = find_project_root(section_path)
+    if project_root is None:
+        return
+
+    iteration_dir = project_root / ".lab" / "writing" / "iterations"
+    if not iteration_dir.exists():
+        issues.append("missing write-iteration history required for rule preflight validation")
+        return
+
+    iteration_files = sorted(iteration_dir.glob("*.md"))
+    if not iteration_files:
+        issues.append("missing write-iteration artifact required for rule preflight validation")
+        return
+
+    latest_iteration = iteration_files[-1]
+    issues.extend(validate_rule_preflight(latest_iteration, "write", project_root=project_root))
+
+
 def check_abstract(text: str, issues: list[str]):
     numbers = re.findall(r"\b\d+(?:\.\d+)?\b", text)
     if len(numbers) > 6:
@@ -496,6 +516,7 @@ def main():
     text = read_text(section_path)
     issues: list[str] = []
     check_common_section_gate_risks(text, issues)
+    check_write_rule_preflight(section_path, issues)
     check_workflow_language_targeting(section_path, issues)
     check_section_style_policy(text, args.section, issues)
     SECTION_CHECKS[args.section](text, issues)

package/package-assets/shared/lab/.managed/templates/iteration-report.md

@@ -1,5 +1,15 @@
 # Iteration Report
 
+## Rule Preflight
+
+- Rule source file:
+- Rule source revision:
+- Project version:
+- Resolved stage:
+- Resolved mode:
+- Resolved target:
+- Override reason, if any:
+
 ## Round
 
 - Iteration number:

package/package-assets/shared/lab/.managed/templates/write-iteration.md

@@ -1,5 +1,15 @@
 # Write Iteration
 
+## Rule Preflight
+
+- Rule source file:
+- Rule source revision:
+- Project version:
+- Resolved stage:
+- Resolved mode:
+- Resolved target:
+- Override reason, if any:
+
 ## Round
 
 - Iteration number:

package/package-assets/shared/lab/context/auto-status.md

@@ -1,5 +1,15 @@
 # Auto Mode Status
 
+## Rule Preflight
+
+- Rule source file:
+- Rule source revision:
+- Project version:
+- Resolved stage:
+- Resolved mode:
+- Resolved target:
+- Override reason, if any:
+
 ## Runtime State
 
 - Status: idle

package/package-assets/shared/skills/lab/SKILL.md

@@ -29,6 +29,17 @@ Use this skill when the user invokes `/lab:*` or asks for the structured researc
 - Treat evaluation semantics as source-backed once evaluation planning starts: metrics, benchmark gates, baseline behavior, comparison implementations, and deviations should come from recorded sources, not memory.
 - Workflow artifacts should follow the installed workflow language.
 - Iteration artifacts under `.lab/iterations/` are workflow artifacts and should follow the installed workflow language.
+- Before acting in any `/lab:*` stage, read `.lab/.managed/rule-manifest.json` and complete a `Rule Preflight` for the current round.
+- Every stage round must record these `Rule Preflight` fields in its managed artifact before further execution:
+  - `Rule source file`
+  - `Rule source revision`
+  - `Project version`
+  - `Resolved stage`
+  - `Resolved mode`
+  - `Resolved target`
+  - `Override reason, if any`
+- Treat missing, stale, or contradictory `Rule Preflight` data as a stage-contract failure.
+- Project-installed rules take priority over model memory. If remembered patterns conflict with the installed rule source, follow the installed source recorded in `.lab/.managed/rule-manifest.json`.
 - Final paper output should default to LaTeX, and its manuscript language should be decided separately from the workflow language.
 - Separate sourced facts from model-generated hypotheses.
 - Preserve failed runs, failed ideas, and limitations.

package/package-assets/shared/skills/lab/stages/auto.md

@@ -24,6 +24,14 @@
 - `.lab/context/auto-status.md`
 - `.lab/context/auto-ledger.md`
 - `.lab/context/auto-outcome.md`
+- `.lab/.managed/rule-manifest.json`
+
+## Rule Preflight
+
+- Read `.lab/.managed/rule-manifest.json` before arming auto mode.
+- The visible `Auto preflight` summary must also record the installed rule source file, rule source revision, project version, resolved stage, resolved mode, resolved target, and any override reason.
+- Keep the same `Rule Preflight` fields in `.lab/context/auto-status.md` while the campaign is live.
+- If the installed auto rule and the current campaign behavior disagree, stop and fix the contract or record a valid override reason before launching the loop.
 
 ## Context Write Set
 

package/package-assets/shared/skills/lab/stages/write.md

@@ -28,6 +28,14 @@
 - `.lab/context/data-decisions.md`
 - `.lab/context/terminology-lock.md`
 - `.lab/writing/terminology-glossary.md` when it exists
+- `.lab/.managed/rule-manifest.json`
+
+## Rule Preflight
+
+- Read `.lab/.managed/rule-manifest.json` before drafting.
+- Record a `Rule Preflight` block in the write-iteration artifact before revising prose.
+- The `Rule Preflight` block must record the installed rule source file, rule source revision, project version, resolved stage, resolved mode, resolved target, and any override reason.
+- If the installed write rule and the current round behavior disagree, fix the targeting or record a valid override reason before further editing.
 
 ## Context Write Set
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "superlab",
-  "version": "0.1.61",
+  "version": "0.1.62",
   "description": "Strict /lab research workflow installer for Codex and Claude",
   "keywords": [
     "codex",