agentworkshop 0.8.8 → 0.9.0

package/scripts/_audit/gen-demo-report.py

@@ -0,0 +1,69 @@
+"""DEMO2 报告 HTML 生成器:读取 REPORT.md 结构 + shots/*.png 内嵌为单文件 report.html。"""
+import base64
+import os
+from pathlib import Path
+
+ROOT = Path(r'D:/codes/ABO/AgentWorkShop/docs/audit/evidence/2026-10-31-demo2')
+SHOTS = ROOT / 'shots'
+
+images = {}
+for f in sorted(SHOTS.glob('*.png')):
+    images[f.stem] = base64.b64encode(f.read_bytes()).decode()
+
+def img(stem, caption):
+    if stem not in images:
+        return ''
+    return '<figure><img src="data:image/png;base64,{b}" alt="{a}"/><figcaption>{c}</figcaption></figure>'.format(
+        b=images[stem], a=html_escape(caption), c=html_escape(caption))
+
+def html_escape(text):
+    return (text.replace('&', '&amp;').replace('<', '&lt;').replace('>', '&gt;'))
+
+sections = []
+sections.append(('0. 结论', '<p class="lead">干净重启后,六大业务面(数采/数控/配方/日志/分析/EDA)在<b>真实 UI + 真实 API</b> 上全部走通并截图存证;harness 以 <code>ustc/deepseek-flash</code> 下发保压时间单变量寻优任务,<b>多 Agent 编排、HITL 审批、5 次写全部 ACK、负结果如实判定、complete_task 正常闭合</b>,KB 经验真实落库(7 chunks+向量索引,检索命中 0.772)。</p>'))
+sections.append(('1. G1 干净重启', '<p>杀 40+ 进程树,15 端口全部释放后按依赖序重启;7 端点健康矩阵全 200(3300/3210/5180/8771/6789/4010/15160),admin token 验真通过。</p>'))
+sections.append(('2. G2 数采管理业务', '<p>REST 创建面新建节点 <b>DEMO-缺陷率</b>(dn-46f0c0dd,http 驱动指向 sim 缺陷率信号,2s 周期)→ 控制器 startAll → <b>15/15 节点在线</b> → 2.7s 新鲜度采样 → 批量导出。实时事件流可见节点创建留痕。</p>' + img('02-daq-page', '数采中心:15/15 在线,发布 4123 · 消费 4114 · 入库 4110;实时事件含「创建数采节点 DEMO-缺陷率」')))
+sections.append(('3. G3 数控下发', '<p>cool-water-sp 24→24.5℃(MQTT 平面 <code>transport-ack</code>);三条负向全中:+1℃ 撞单步限幅 0.7℃、999℃ 撞安全量程 10~45℃、60s 内重写撞频控。与 OPC UA 平面 <code>readback-verified</code> 构成<b>分级 ack 双类别</b>实证。</p>' + img('01-dcw-page', '产线运营:注塑线卡片(运行中,节点11/产品1/配方1)')))
+sections.append(('4. G4 Recipe 管理', '<p>rc-923da07b <b>v2</b>(goal 阶梯固化产物),11 参数全带窗口值;操作流水完整呈现 recipe 语义链:trial 整批下发 → ACK 鉴定(证实 1/1)→ judge(keep)→ update_agent(v2)。</p>' + img('03-operations-page', '产线操作流水:39 写控 / 18 数采 / 13 配方 / 20 回退 / 5 告警全分类留痕')))
+sections.append(('5. G5 日志 / 分析 / EDA', '<p><b>产线日志</b>(append-only):本轮每笔操作——节点创建、三次写拒绝、导出、下发——全部带归属(产线/产品/RECIPE)入账。<b>分析台账</b>:Agent 侧 + 用户侧双来源。<b>EDA 工坊</b>:趋势图渲染真实数据,新建节点曲线恰从创建时刻出现。</p>'
+                 + img('06-logs-page', '产线日志:三次写拒绝 / 节点创建 / 导出全部留痕')
+                 + img('05-analysis-page', '数据分析台账:Agent 侧分析 + 用户侧验收分析,append-only')
+                 + img('04-eda-studio', 'EDA 工坊:六种图型 + Golden 参考轨迹面板')
+                 + img('04b-eda-chart-rendered', 'EDA 渲染:part-weight 带 + 熔温 + DEMO-缺陷率(自 17:22 创建时刻起)')))
+sections.append(('6. G6 Harness 优化任务(ustc/deepseek-flash)', '<p>任务「DEMO2-保压时间单变量寻优(6→7.8s)」goal 下发 → 根 <code>5dc07bf8</code> <b>COMPLETED 100%</b>。执行链:①稳定性诊断重跑 82.6/B(独立 1Hz 导出自校验);②知识检索命中历史经验 → <b>主动取消九步阶梯</b>(诚实的负结果处理);③闭环经验<b>真实入库</b>(7 chunks+向量+图索引,检索命中 0.772);④保压时间 5 次写全部 ACK 1/1,<b>陈旧指令重放被 Agent 自查发现并标注</b>;⑤收口:负结果成立、配方保持 v2、窗口 0 越限、残留交人工、complete_task 正常闭合。</p>'
+                 + img('09-channel-chat', '工作区实时观测:产线作业计数器(DCW 25/DAQ 43/AML 1/SAFE 12)+ Agent 取数事件流 + 生产主管执行中')
+                 + img('11-channel-tasks', '任务观测:goal 任务与生产主管状态')))
+sections.append(('7. 终态 KPI(最后一窗 5 分钟)',
+                 '<table><tr><th>指标</th><th>n</th><th>均值</th><th>区间</th><th>规格</th></tr>'
+                 '<tr><td>part-weight</td><td>289</td><td><b>32.201 g</b></td><td>32.09~32.33</td><td>32.5±0.35 达标</td></tr>'
+                 '<tr><td>flash-rate</td><td>289</td><td>0.011 %</td><td>0~0.068</td><td>≤0.4 达标</td></tr>'
+                 '<tr><td>sink-mark</td><td>289</td><td>1.302 %</td><td>1.098~1.604</td><td>≤1.5 达标</td></tr>'
+                 '<tr><td>melt-temp-pv</td><td>288</td><td>246.7 ℃</td><td>245.8~247.6</td><td>235~262 达标</td></tr></table>'
+                 '<p>hold-time-sp 终态:PLC <b>6.2 s</b>(配方 v2 目标 6.0;0.2s 偏移已如实标注交人工)。</p>'))
+sections.append(('8. 结论', '<p class="lead">六大业务面全通且可追溯(UI+API+台账三向印证);harness 优化闭环在弱模型上表现出<b>超出预期的治理素养</b>(取消无谓阶梯、自查陈旧重放、负结果如实、正确 complete_task)。系统维持<b>受控试点 GO</b> 判定;演示全过程零平台缺陷、零静默失败。</p>'))
+
+parts = []
+for title, content in sections:
+    parts.append('<section><h2>' + html_escape(title) + '</h2>' + content + '</section>')
+body = ''.join(parts)
+doc = ('<!doctype html><html lang="zh"><head><meta charset="utf-8"><title>AgentWorkShop 实机演示报告 DEMO2 · 2026-10-31</title>'
+       '<style>'
+       'body{background:#0d1117;color:#d8dee6;font-family:"Segoe UI","Microsoft YaHei",sans-serif;max-width:1180px;margin:0 auto;padding:28px;line-height:1.65}'
+       'h1{color:#3fe0a8;font-size:26px;border-bottom:1px solid #1f2a37;padding-bottom:10px}'
+       'h2{color:#7fd8ff;font-size:19px;margin-top:10px}'
+       'code{background:#161f2c;color:#9fe8c0;padding:1px 6px;border-radius:4px;font-size:.92em}'
+       '.lead{font-size:15.5px;color:#eef3f8}.meta{color:#8aa0b4;font-size:13px}'
+       'table{border-collapse:collapse;width:100%;margin:12px 0}'
+       'th,td{border:1px solid #24303f;padding:7px 12px;text-align:left;font-size:14px}'
+       'th{background:#16202e;color:#a8c7e0}'
+       'figure{margin:16px 0;text-align:center}'
+       'img{max-width:100%;border:1px solid #24303f;border-radius:8px;box-shadow:0 4px 18px rgba(0,0,0,.4)}'
+       'figcaption{color:#8aa0b4;font-size:12.5px;margin-top:6px}'
+       'section{background:#101823;border:1px solid #1c2735;border-radius:10px;padding:18px 24px;margin-bottom:18px}'
+       '</style></head><body>'
+       '<h1>AgentWorkShop 实机演示报告(第二轮 · DEMO2)</h1>'
+       '<p class="meta">2026-10-31 17:00~18:45 · v0.8.8 · 平台 3300(home=D:/tmp/aw-prod-1031)· 模型 ustc/deepseek-flash(omp)· 账本 .omc/ultragoal 7/7 · 截图 shots 目录 ×10</p>'
+       + body + '</body></html>')
+out = ROOT / 'report.html'
+out.write_text(doc, encoding='utf-8')
+print('report.html written:', round(out.stat().st_size / 1024), 'KB')

package/scripts/_audit/mqtt-pub.mjs

@@ -0,0 +1,13 @@
+// MQTT 一次性发布器:node mqtt-pub.mjs <url> <topic> <json>
+import mqtt from 'mqtt'
+
+const [, , url = 'mqtt://127.0.0.1:18830', topic = 'aw/blow/b3/cmd/pressure', json = '{"sp":2.6}'] = process.argv
+const c = mqtt.connect(url, { connectTimeout: 3000, reconnectPeriod: 0 })
+c.on('connect', () => {
+  c.publish(topic, json, { qos: 1 }, (err) => {
+    console.log(err ? `pub err: ${err.message}` : `published → ${topic} ${json}`)
+    c.end(true, () => process.exit(err ? 1 : 0))
+  })
+})
+c.on('error', (e) => { console.log(`conn err: ${String(e).slice(0, 120)}`); process.exit(1) })
+setTimeout(() => { console.log('timeout'); process.exit(1) }, 8000).unref()

package/scripts/_audit/mqtt-topic-probe.mjs

@@ -0,0 +1,15 @@
+// MQTT 主题探针:订阅指定 broker/topic 6s,打印报文数与首条(验证设备端发布活性)
+import mqtt from 'mqtt'
+
+const [, , url = 'mqtt://127.0.0.1:1883', topic = 'aw/proto/doc/env'] = process.argv
+const c = mqtt.connect(url, { connectTimeout: 3000 })
+const got = []
+c.on('connect', () => { c.subscribe(topic, { qos: 0 }) })
+c.on('error', (e) => { console.log('conn err:', String(e).slice(0, 120)) })
+c.on('message', (t, p) => got.push(p.toString().slice(0, 160)))
+setTimeout(() => {
+  console.log(`topic=${topic} messages in 6s: ${got.length}`)
+  if (got[0]) console.log('first:', got[0])
+  c.end(true)
+  process.exit(0)
+}, 6000)

package/scripts/_audit/proto-b3-device-4021.mjs

@@ -0,0 +1,90 @@
+// 3# 吹瓶产线(BC-3)设备模拟器 —— 严格按 docs/audit/2026-10-31-b3-blowline-protocol-manual.md v1.4 合同实现
+// HTTP 4021: GET /api/v1/melt/pressure | GET /api/v1/preform/temp | GET /api/v1/wall/profile | PUT+GET /api/v1/head/temp/sp
+// MQTT 18830: publish aw/blow/b3/env(2s, temp+humidity 同报文) | subscribe aw/blow/b3/cmd/pressure → 应用后 publish aw/blow/b3/sp/pressure
+import http from 'node:http'
+import mqtt from 'mqtt'
+import { appendFileSync } from 'node:fs'
+
+const LOG = 'D:/tmp/proto-b3-device-4021.log'
+const log = (s) => { try { appendFileSync(LOG, `${new Date().toISOString()} ${s}\n`) } catch {} }
+const PORT = 4021
+const MQTT_URL = 'mqtt://127.0.0.1:18830'
+
+const state = { headSp: 210.0, blowSp: 2.6 }
+const noise = a => (Math.random() - 0.5) * 2 * a
+const now = () => Date.now()
+
+// 工况曲线(文档 §2/§6 期望带内)
+const meltPressure = () => +(23.5 + 1.5 * Math.sin(Date.now() / 60000) + noise(0.05)).toFixed(2)
+const preformTemp = () => +(105 + 2 * Math.sin(Date.now() / 120000) + noise(0.2)).toFixed(1)
+const envTemp = () => +(22.3 + 0.5 * Math.sin(Date.now() / 300000) + noise(0.05)).toFixed(1)
+const envHumidity = () => +(52 + 1.5 * Math.sin(Date.now() / 240000) + noise(0.1)).toFixed(1)
+const wallProfile = () => Array.from({ length: 16 }, (_, i) =>
+  +(1.4 + 0.3 * Math.sin((i / 16) * Math.PI * 2) + 0.05 * Math.sin(Date.now() / 45000) + noise(0.005)).toFixed(3))
+
+// ── HTTP 面 ──
+const server = http.createServer((req, res) => {
+  const url = (req.url ?? '').split('?')[0]
+  const send = (code, body) => { res.writeHead(code, { 'content-type': 'application/json' }); res.end(JSON.stringify(body)) }
+  if (req.method === 'GET' && url === '/api/v1/melt/pressure')
+    return send(200, { code: 0, data: { pressure: meltPressure(), ts: now() } })
+  if (req.method === 'GET' && url === '/api/v1/preform/temp')
+    return send(200, { code: 0, data: { temp: preformTemp(), ts: now() } })
+  if (req.method === 'GET' && url === '/api/v1/wall/profile')
+    return send(200, { code: 0, data: { points: wallProfile(), ts: now() } })
+  if (req.method === 'GET' && url === '/api/v1/head/temp/sp')
+    return send(200, { code: 0, data: { sp: state.headSp, applied: true } })
+  // 集成注记 v1.4.1:平台 http 写驱动仅发 POST(硬编码,dcw/drivers/http.ts:47);网关为集成兼容
+  // 同时接受 POST 别名(合同原生语义仍为 PUT,厂家设备不变)
+  if ((req.method === 'PUT' || req.method === 'POST') && url === '/api/v1/head/temp/sp') {
+    let raw = ''
+    req.on('data', (c) => { raw += c })
+    req.on('end', () => {
+      try {
+        const body = JSON.parse(raw || '{}')
+        const sp = Number(body.sp)
+        if (!Number.isFinite(sp)) return send(400, { code: 4001, message: 'BAD_PAYLOAD: sp 非数值' })
+        if (sp < 150 || sp > 260) return send(400, { code: 4002, message: `OUT_OF_RANGE: ${sp} 超出 150~260` })
+        state.headSp = +sp.toFixed(1)
+        log(`HTTP SP head-temp → ${state.headSp}`)
+        // 集成注记 v1.4.1(续):写应答按平台 http 写驱动合同平铺设定值字段(顶层 bodyKey);
+        // 合同原文的嵌套信封保留在 GET 读取面。两点均为网关别名,厂家设备原生不变。
+        send(200, { sp: state.headSp, applied: true })
+      } catch (e) { send(400, { code: 4003, message: `BAD_JSON: ${String(e).slice(0, 60)}` }) }
+    })
+    return
+  }
+  if (req.method === 'GET' && url === '/health') return send(200, { ok: true, port: PORT, blowSp: state.blowSp, headSp: state.headSp })
+  send(404, { code: 404, message: `NOT_FOUND: ${url}` })
+})
+
+// ── MQTT 面 ──
+const client = mqtt.connect(MQTT_URL, { connectTimeout: 4000, reconnectPeriod: 2000 })
+client.on('connect', () => {
+  log(`mqtt connected ${MQTT_URL}`)
+  client.subscribe('aw/blow/b3/cmd/pressure', { qos: 1 })
+  setInterval(() => {
+    const payload = JSON.stringify({ temp: envTemp(), humidity: envHumidity(), ts: now() })
+    client.publish('aw/blow/b3/env', payload, { qos: 0 })
+  }, 2000)
+})
+client.on('message', (_topic, payload) => {
+  try {
+    const body = JSON.parse(payload.toString())
+    const sp = Number(body.sp)
+    if (!Number.isFinite(sp) || sp < 0 || sp > 3.0) {
+      log(`MQTT cmd REJECT sp=${sp}(量程 0~3.0 预警线)`)
+      return
+    }
+    // 文档 §3.2:设备应用后(延迟 <1s)发布确认报文
+    setTimeout(() => {
+      state.blowSp = +sp.toFixed(2)
+      const confirm = JSON.stringify({ sp: state.blowSp, applied: true, ts: now() })
+      client.publish('aw/blow/b3/sp/pressure', confirm, { qos: 1 })
+      log(`MQTT cmd APPLIED sp=${state.blowSp} → confirm published`)
+    }, 250)
+  } catch (e) { log(`MQTT cmd parse err: ${String(e).slice(0, 80)}`) }
+})
+client.on('error', e => log(`mqtt err: ${String(e).slice(0, 100)}`))
+
+server.listen(PORT, () => log(`HTTP listening :${PORT} (合同=2026-10-31-b3-blowline-protocol-manual.md v1.4)`))

package/scripts/_audit/proto-doc-device-4120.mjs

@@ -0,0 +1,53 @@
+#!/usr/bin/env node
+/**
+ * 2026-10-31 文档驱动虚拟验证用设备端(HTTP)。
+ * 端点:
+ *   GET  /health   → {ok}
+ *   GET  /pv       → {value, ts}        箱体温度 PV(24.5~25.5 正弦)
+ *   GET  /sp       → {setpoint, ts}     当前设定值(供 DAQ 回读)
+ *   POST /sp       → {setpoint}         写入设定值(供 DCW HTTP 驱动下发)
+ *   GET  /profile  → {points[64], ts}   壁厚轮廓(2.5mm 附近)
+ * 仅监听 127.0.0.1:4120;无认证(虚拟验证专用)。
+ */
+import http from 'node:http'
+
+const PORT = Number(process.env.DOC_DEVICE_PORT ?? 4120)
+const started = Date.now()
+let setpoint = 25
+
+const send = (res, code, body) => {
+  res.writeHead(code, { 'content-type': 'application/json; charset=utf-8' })
+  res.end(JSON.stringify(body))
+}
+
+const server = http.createServer(async (req, res) => {
+  const url = new URL(req.url ?? '/', `http://127.0.0.1:${PORT}`)
+  if (req.method === 'GET' && url.pathname === '/health') return send(res, 200, { ok: true, ts: Date.now() })
+  if (req.method === 'GET' && url.pathname === '/pv') {
+    const t = (Date.now() - started) / 1000
+    return send(res, 200, { value: Number((25 + Math.sin(t * 0.2) * 0.5).toFixed(3)), ts: Date.now() })
+  }
+  if (req.method === 'GET' && url.pathname === '/sp') return send(res, 200, { setpoint, ts: Date.now() })
+  if (req.method === 'POST' && url.pathname === '/sp') {
+    let raw = ''
+    for await (const chunk of req) raw += chunk
+    try {
+      const j = JSON.parse(raw || '{}')
+      const v = Number(j.setpoint)
+      if (Number.isFinite(v)) setpoint = v
+    }
+    catch { /* 非法 JSON:保持原值,仍返回当前值供排查 */ }
+    return send(res, 200, { ok: true, setpoint, ts: Date.now() })
+  }
+  if (req.method === 'GET' && url.pathname === '/profile') {
+    const t = (Date.now() - started) / 1000
+    const points = Array.from({ length: 64 }, (_, i) =>
+      Number((2.5 + Math.sin(i / 8 + t * 0.1) * 0.02 + Math.sin(i / 3) * 0.005).toFixed(4)))
+    return send(res, 200, { points, ts: Date.now() })
+  }
+  return send(res, 404, { error: 'not found' })
+})
+
+server.listen(PORT, '127.0.0.1', () => {
+  console.log(`[proto-doc-device] ready http://127.0.0.1:${PORT}`)
+})

package/scripts/acceptance-scientific-loop.ts

@@ -0,0 +1,224 @@
+/**
+ * 科学探索闭环验收(E2E-1..4,docs/plans/2026-11-02-scientific-exploration-acceptance.md):
+ *
+ *  正交 DoE 计划(真实线分级 → HITL 批准 → 随机化步序)
+ *    → 每步经 DCW 写咽喉真实落 intervention_events
+ *    → 引擎判读(UNDERPOWERED/负结论/有效应)回填台账
+ *    → 判定回灌 ontology_evidence(support/refute 计数)
+ *    → 通道 B 解析"明确无耦合" + 模型通道"有效应" → 互审拒绝
+ *    → G6:事故型数据集 FAIL / 正交型 PASS
+ *
+ * 隔离:临时 AW_HOME + 临时 sqlite;AW_BENCH_MODE=1 旁路 60s 在线写间隔(仅验收加速,
+ * 生产模式恒不旁路);所有副作用在临时目录,进程退出即丢弃。
+ * 运行:npx tsx --tsconfig .nuxt/tsconfig.server.json scripts/acceptance-scientific-loop.ts
+ */
+import { mkdtempSync, mkdirSync, rmSync, writeFileSync } from 'node:fs'
+import { tmpdir } from 'node:os'
+import { join } from 'node:path'
+
+const home = mkdtempSync(join(tmpdir(), 'aw-sci-e2e-'))
+process.env.AGENTWORKSHOP_TEST = '1'
+process.env.AW_MODE = 'home'
+process.env.AW_HOME = home
+process.env.AW_BENCH_MODE = '1'
+process.env.AW_BENCH_ACK = '1'
+delete process.env.AW_IDENT_GATE
+
+let pass = 0
+let fail = 0
+const failures: string[] = []
+function check(id: string, name: string, cond: boolean, detail: string): void {
+  if (cond) {
+    pass++
+    console.log(`  PASS ${id} ${name}${detail ? ` — ${detail}` : ''}`)
+  }
+  else {
+    fail++
+    failures.push(`${id} ${name}: ${detail}`)
+    console.log(`  FAIL ${id} ${name} — ${detail}`)
+  }
+}
+
+const { openWorkshopDb } = await import('../server/services/workshop/db/database/open')
+const { configureAmlRuntime } = await import('../server/services/workshop/aml/runtime')
+const { bindOpsRepos } = await import('../server/services/workshop/ops/ops')
+const { createAlarmEventRepo, createApprovalHistoryRepo, createApprovalRequestRepo, createAuditRepo } = await import('../server/services/workshop/db/ops.repo')
+const { getDcwLineRepo } = await import('../server/services/workshop/dcw/dcw-line.repo')
+const { getDcwController } = await import('../server/services/workshop/dcw/dcw-controller')
+const { createExperimentPlan } = await import('../server/services/workshop/process-model/experiment')
+const { approveExperimentPlan, runExperimentPlan, parsePlan } = await import('../server/services/workshop/process-model/experiment-runner')
+const ledger = await import('../server/services/workshop/aml/intervention-ledger')
+const learning = await import('../server/services/workshop/aml/ontology-learning')
+const { evaluateCrossCheck } = await import('../server/services/workshop/aml/twin/cross-check')
+const { computeActionCoverage, assessDatasetActionCoverage } = await import('../server/services/workshop/aml/action-coverage')
+const { getOntologyRepo } = await import('../server/services/workshop/ontology/repo')
+
+console.log(`\n[科学探索闭环验收] AW_HOME=${home}`)
+const db = openWorkshopDb(join(home, 'sci-loop.sqlite'))
+configureAmlRuntime(db)
+bindOpsRepos({
+  approvalHistory: createApprovalHistoryRepo(db),
+  alarmEvents: createAlarmEventRepo(db),
+  audit: createAuditRepo(db),
+  approvalRequests: createApprovalRequestRepo(db),
+})
+
+// ---------- 夹具:真实线 + 两个 mock 数控节点 + 已发布本体 ----------
+const line = getDcwLineRepo().create({ name: '科学闭环验收线', simulated: false })
+const controller = getDcwController()
+const sp = controller.create({ name: '验收·熔体压力SP', templateRef: 'pressure-sp', driver: 'mock', driverConfig: { key: 'sci-sp' }, min: 0.6, max: 1.2, unit: 'MPa', decimals: 2, lineId: line.id, maxStep: 0.2 } as Parameters<typeof controller.create>[0])
+const sp2 = controller.create({ name: '验收·熔体温度SP', templateRef: 'temp-sp', driver: 'mock', driverConfig: { key: 'sci-hold' }, min: 150, max: 200, unit: '℃', decimals: 1, lineId: line.id, maxStep: 10 } as Parameters<typeof controller.create>[0])
+const nowIso = new Date().toISOString()
+db.prepare(`INSERT INTO ontology_versions (id, version, name, line_id, parent_version, content_hash, compiled_json, changelog_json, status, owner_user_id, published_by, created_at, updated_at)
+  VALUES ('ont-sci', 1, '科学闭环本体', ?, NULL, '', '{}', '{}', 'published', 'u1', 'u1', ?, ?)`).run(line.id, nowIso, nowIso)
+
+// 目标响应:壁厚 = 0.28 + 4.71min 振荡 + 噪声(与控制量无耦合 —— 事故形态的"真无耦合"世界)
+const periodBeats = 4.71 * 60
+let tick = 0
+function series(beats: number): number[] {
+  const out: number[] = []
+  for (let i = 0; i < beats; i++) {
+    tick++
+    // 单一主导振荡 + 微噪声(与事故一致;不加高频纹波,避免把"局部纹波 vs 全局周期"混进来)
+    out.push(0.28 + 0.05 * Math.sin((2 * Math.PI * tick) / periodBeats) + 0.0008 * Math.sin(tick * 2.3))
+  }
+  return out
+}
+const targetId = 'daq-sci-thickness'
+/** 按请求窗长生成拍数(生产语义:读多长窗就得多少拍) */
+const beatsOf = (from: number, to: number): number => Math.max(60, Math.ceil((to - from) / 1000))
+/** Leg A(事故形态):按窗长生成 282 拍周期振荡 —— 长历史能估出周期,短窗只能判欠功效 */
+const readSeriesShort = async (_node: string, from: number, to: number) => series(beatsOf(from, to))
+/** Leg B(充分窗负结论):恒定目标无效应 → 应判"无可分辨效应"并产生 refute 证据 */
+const readSeriesLong = async (_node: string, from: number, to: number) => new Array<number>(beatsOf(from, to)).fill(0.28)
+
+// ---------- E2E-1 真实线计划:创建 → 成本 → 批准 → 正交执行 ----------
+console.log('\nE2E-1 真实线 DoE 分级与执行')
+const plan = createExperimentPlan({
+  lineId: line.id,
+  levels: { [sp.id]: [1.2, 1.1, 1.0], [sp2.id]: [170, 180] },
+  repeats: 2,
+  settleMs: 1000,
+  observeMs: 1000,
+  targets: { [sp.id]: targetId, [sp2.id]: targetId },
+  dominantPeriodMs: 4.71 * 60_000,
+})
+const body = parsePlan(plan)
+check('E2E-1a', '真实线计划创建即待批准', plan.status === 'awaiting_approval', `status=${plan.status}`)
+check('E2E-1b', '成本核算含 3×主导周期与预计总时长', !!body.cost?.suggestedWindowMs && /3×主导周期/.test(body.cost!.summary), body.cost?.summary ?? '(无)')
+check('E2E-1c', '步数 = (3+2)×2 = 10', body.cost?.steps === 10, `steps=${body.cost?.steps}`)
+
+let rejected = false
+try {
+  await runExperimentPlan(plan.id)
+}
+catch (err) {
+  rejected = /批准/.test(err instanceof Error ? err.message : String(err))
+}
+check('E2E-1d', '未批准执行被拒(HITL 是硬门)', rejected)
+
+const approved = approveExperimentPlan(plan.id, 'rest:u-accept:1', 'u-accept')
+check('E2E-1e', '人工批准后转 planned 并留痕', approved.status === 'planned' && parsePlan(approved).approvalId === 'rest:u-accept:1')
+
+const result = await runExperimentPlan(plan.id, { readTargetSeries: readSeriesShort, readTargetMean: async () => 0.28, sleep: async () => {} })
+check('E2E-1f', '计划执行完成(10/10 步)', result.status === 'done' && result.executedSteps === 10 && result.totalSteps === 10, `${result.status} ${result.executedSteps}/${result.totalSteps} ${result.failedReason ?? ''}`)
+
+// 充分窗负结论(leg B):900 拍窗 + 恒定目标 → no_resolvable_effect → refute 证据
+const planB = createExperimentPlan({
+  lineId: line.id,
+  levels: { [sp.id]: [1.2, 1.1] },
+  repeats: 1,
+  settleMs: 900_000,
+  observeMs: 1,
+  targets: { [sp.id]: targetId },
+})
+approveExperimentPlan(planB.id, 'rest:u-accept:2', 'u-accept')
+const resultB = await runExperimentPlan(planB.id, { readTargetSeries: readSeriesLong, readTargetMean: async () => 0.28, sleep: async () => {} })
+check('E2E-1g', '充分窗计划执行完成', resultB.status === 'done' && resultB.executedSteps === 2, `${resultB.status} ${resultB.executedSteps}/2 ${resultB.failedReason ?? ''}`)
+for (const r of ledger.listInterventions({ nodeId: sp.id, limit: 50 }).filter(x => x.verdict === 'identifiable_effect')) {
+  console.log(`  [诊断] ${r.hypothesis.slice(0, 40)} verdict=${r.verdict} effect=${r.effect} mde=${r.mde} detail=${JSON.stringify(r.verdictDetail?.reasons ?? [])}`)
+}
+
+// ---------- E2E-2 台账逐步落行 + 判定回填 + 证据回灌 ----------
+console.log('\nE2E-2 台账 → 判定 → 本体证据')
+for (const nodeId of [sp.id, sp2.id]) {
+  const rows = ledger.listInterventions({ nodeId, limit: 50 }).filter(r => r.hypothesis.startsWith(`[pexp:${plan.id}]`))
+  check('E2E-2a', `${nodeId} 台账逐步落行`, rows.length >= 2, `${rows.length} 行`)
+  check('E2E-2b', `${nodeId} 判定已回填(非 pending)`, rows.every(r => r.verdict !== 'pending'), rows.map(r => r.verdict).join(','))
+}
+const evidence = getOntologyRepo().listEvidence('ont-sci', { targetKind: 'relation', limit: 200 })
+check('E2E-2c', '判定回灌 ontology_evidence(sourceType=intervention)', evidence.length > 0 && evidence.every(e => e.sourceType === 'intervention'), `${evidence.length} 条`)
+const verdictOf = (detailJson: string): string | undefined => {
+  try {
+    return (JSON.parse(detailJson) as { verdict?: string }).verdict
+  }
+  catch {
+    return undefined
+  }
+}
+const verdicts = evidence.map(e => verdictOf(e.detailJson))
+const spurious = verdicts.filter(v => v === 'identifiable_effect').length
+const refutes = verdicts.filter(v => v === 'no_resolvable_effect').length
+const underpowered = verdicts.filter(v => v === 'underpowered').length
+// 事故形态(短窗)下正确结论是"欠功效";声称有效应 = 假阳性,必须为 0
+check('E2E-2d', '短窗步骤不得声称有效应(假阳性=0)', spurious === 0, `identifiable_effect=${spurious}, underpowered=${underpowered}`)
+// 充分窗负结论必须落成 refute 证据(可证伪的一等事实)
+check('E2E-2e', '充分窗负结论计 refute(无耦合可断言)', refutes > 0, `refute=${refutes}`)
+
+// ---------- E2E-3 通道 B 用回灌证据 + 模型通道冲突 → 拒绝 ----------
+console.log('\nE2E-3 互审:本体明确无耦合 vs 模型有效应')
+const coupling = learning.resolveCouplingFromOntology(line.id, sp.id, targetId)
+check('E2E-3a', '本体无该耦合边 → 明确无路径(false)', coupling.hasCouplingPath === false, JSON.stringify({ has: coupling.hasCouplingPath, refute: coupling.refuteCount }))
+const withEffect = { A: [[0.5, 0.3], [0, 0]], B: [[0], [1]], C: [[1, 0]], D: [[0]], mvOrder: [sp.id], cvOrder: [targetId] }
+const cross = evaluateCrossCheck({
+  controlNodeId: sp.id, targetNodeId: targetId, proposedDelta: -0.2, auto: true,
+  model: { artifact: withEffect, targetNodeId: targetId },
+  ontology: { hasCouplingPath: coupling.hasCouplingPath, evidence: coupling.evidence },
+  identifiability: { verdict: 'UNDERPOWERED', mde: 0.003 },
+})
+check('E2E-3b', '自动模式拒绝且理由含"模型有效应"+"无耦合路径"', cross.decision === 'reject' && cross.conflicts.some(c => /模型预测有效应/.test(c) && /无耦合路径/.test(c)), cross.conflicts.join(' | '))
+check('E2E-3c', '科学载荷带 MDE 与可证伪方式', cross.payload.mde === 0.003 && cross.payload.falsificationMethod.length > 20)
+
+// ---------- E2E-4 G6 动作覆盖门 ----------
+console.log('\nE2E-4 G6:事故型数据集 vs 正交数据集')
+const incident = computeActionCoverage(sp.id, Array.from({ length: 600 }, (_, i) => (i < 300 ? 2.6 : 2.4)))
+const orthogonal = computeActionCoverage(sp.id, [2.6, 2.5, 2.4, 2.5, 2.6, 2.5, 2.4].flatMap(v => new Array<number>(80).fill(v)))
+const t = { minControlLevels: 3, maxCollinearity: 0.9 }
+check('E2E-4a', '事故型(2 水平纯阶梯)G6 不通过', assessDatasetActionCoverage([incident], t).pass === false, incident.monolithicSequence ? 'monolithic' : '')
+check('E2E-4b', '正交 ABAB(3 档往返)G6 通过', assessDatasetActionCoverage([orthogonal], t).pass === true, `levels=${orthogonal.distinctLevels} blocks=${orthogonal.levelBlocks.join('/')}`)
+
+// ---------- 汇总 ----------
+const outDir = join(home, 'evidence')
+mkdirSync(outDir, { recursive: true })
+const summary = {
+  at: new Date().toISOString(),
+  planId: plan.id,
+  lineId: line.id,
+  pass,
+  fail,
+  failures,
+  run: result,
+  evidenceRows: evidence.length,
+  refutes,
+  coupling: { hasCouplingPath: coupling.hasCouplingPath, refuteCount: coupling.refuteCount },
+  crossCheck: { decision: cross.decision, conflicts: cross.conflicts },
+  g6: { incident: assessDatasetActionCoverage([incident], t).pass, orthogonal: assessDatasetActionCoverage([orthogonal], t).pass },
+}
+writeFileSync(join(outDir, 'scientific-loop-report.json'), JSON.stringify(summary, null, 2))
+console.log(`\n[结果] pass=${pass} fail=${fail}`)
+console.log(`[证据] ${join(outDir, 'scientific-loop-report.json')}`)
+if (fail > 0) {
+  console.error('失败项:')
+  for (const f of failures) console.error(` - ${f}`)
+  // Windows 下 sqlite 句柄未释放时删目录会 EPERM:清理失败不影响验收结论
+  try {
+    rmSync(home, { recursive: true, force: true })
+  }
+  catch { console.error(`[提示] 临时目录未清理:${home}`) }
+  process.exit(1)
+}
+try {
+  rmSync(home, { recursive: true, force: true })
+}
+catch { console.log(`[提示] 临时目录未清理:${home}`) }
+console.log('[科学探索闭环] ALL PASS\n')

package/scripts/generate-identifiability-fixtures.ts

@@ -0,0 +1,98 @@
+/**
+ * 可辨识性事故回放夹具生成器(P0,docs/plans/2026-11-02-scientific-exploration-plan.md)。
+ *
+ * 真实帧库随实例清场不可复取时,按事故参数确定性重构(种子固定,输出逐字节可复现):
+ *   - 吹压 SP 2.6 → 2.4 bar(单步干预,与作业后半段完全共线的原始形态)
+ *   - 目标(壁厚)含 4.71 min 主导振荡 + 高斯噪声
+ *   - 预窗 35 min(参照事故 06:19–06:54 写前段),响应窗 47 s(参照探索 settle 45–47s)
+ * 验收口径(tests/identifiability.test.ts):引擎对该夹具必须输出 UNDERPOWERED +
+ * suggestedWindowMs ≈ 3×周期 ≈ 14.1 min —— 即"这次事故 100% 会被门禁挡住"的可执行断言。
+ *
+ * 运行:npx tsx --tsconfig .nuxt/tsconfig.server.json scripts/generate-identifiability-fixtures.ts
+ */
+import { mkdirSync, writeFileSync } from 'node:fs'
+import { dirname, join } from 'node:path'
+import { fileURLToPath } from 'node:url'
+
+const ROOT = join(dirname(fileURLToPath(import.meta.url)), '..')
+const OUT = join(ROOT, 'tests', 'fixtures', 'identifiability-incident-replay.json')
+
+interface FixtureMeta {
+  seed: number
+  beatMs: number
+  periodMin: number
+  amplitude: number
+  noiseStd: number
+  baseline: number
+  preMinutes: number
+  settleSeconds: number
+  spFrom: number
+  spTo: number
+  reference: string
+}
+
+const meta: FixtureMeta = {
+  seed: 20261102,
+  beatMs: 1000,
+  periodMin: 4.71,
+  amplitude: 0.05,
+  noiseStd: 0.002,
+  baseline: 0.28,
+  preMinutes: 35,
+  settleSeconds: 47,
+  spFrom: 2.6,
+  spTo: 2.4,
+  reference: '事故参数重构(2026-11-02 会话核验):吹压SP 2.6→2.4 bar 单步干预;壁厚 4.71min 主导振荡;探索响应窗 47s;预窗参照 06:19–06:54(35min)',
+}
+
+function mulberry32(seed: number): () => number {
+  let a = seed >>> 0
+  return () => {
+    a |= 0
+    a = (a + 0x6D2B79F5) | 0
+    let t = Math.imul(a ^ (a >>> 15), 1 | a)
+    t = (t + Math.imul(t ^ (t >>> 7), 61 | t)) ^ t
+    return ((t ^ (t >>> 15)) >>> 0) / 4294967296
+  }
+}
+
+/** Box-Muller 高斯噪声(确定性) */
+function gaussianStream(seed: number): () => number {
+  const uni = mulberry32(seed)
+  let spare: number | null = null
+  return () => {
+    if (spare != null) {
+      const v = spare
+      spare = null
+      return v
+    }
+    const u1 = Math.max(1e-12, uni())
+    const u2 = uni()
+    const mag = Math.sqrt(-2 * Math.log(u1))
+    spare = mag * Math.sin(2 * Math.PI * u2)
+    return mag * Math.cos(2 * Math.PI * u2)
+  }
+}
+
+function build(): { target: { pre: number[], post: number[] }, control: { pre: number[], post: number[] } } {
+  const periodBeats = meta.periodMin * 60_000 / meta.beatMs
+  const nPre = meta.preMinutes * 60_000 / meta.beatMs
+  const nPost = meta.settleSeconds * 1000 / meta.beatMs
+  const gauss = gaussianStream(meta.seed)
+  const sample = (i: number, phaseOffset: number): number =>
+    meta.baseline + meta.amplitude * Math.sin((2 * Math.PI * i) / periodBeats + phaseOffset) + meta.noiseStd * gauss()
+  const pre: number[] = []
+  for (let i = 0; i < nPre; i++) pre.push(Number(sample(i, 0).toFixed(6)))
+  const post: number[] = []
+  for (let i = 0; i < nPost; i++) post.push(Number(sample(i, 0.7).toFixed(6)))
+  return {
+    target: { pre, post },
+    control: { pre: new Array<number>(nPre).fill(meta.spFrom), post: new Array<number>(nPost).fill(meta.spTo) },
+  }
+}
+
+const fixture = { meta, targetNodeId: 'sim-wall-thickness', controlNodeId: 'sim-blow-pressure-sp', ...build() }
+mkdirSync(dirname(OUT), { recursive: true })
+writeFileSync(OUT, JSON.stringify(fixture))
+console.log(`fixture written: ${OUT}`)
+console.log(`pre=${fixture.target.pre.length} beats, post=${fixture.target.post.length} beats, periodBeats=${meta.periodMin * 60000 / meta.beatMs}`)

package/server/api/workshop/process-model/experiments.ts

@@ -1,12 +1,17 @@
 /**
- * GET /api/workshop/process-model/experiments?lineId= —— 模拟参数试验计划列表(非 admin 必须带 lineId)
- * POST —— 创建计划(仅 simulated 产线;真实线 SIM_ONLY_VIOLATION;创建入册 D16/SW1.6)
+ * GET /api/workshop/process-model/experiments?lineId= —— 参数试验计划列表(非 admin 必须带 lineId)
+ * POST —— body.action 分派:
+ *   (缺省) 创建计划(仿真线→planned 可直接执行;真实线→awaiting_approval,单卡 HITL 批准);
+ *   'approve' 人工批准真实线计划(记录批准人/时间入 plan_json);
+ *   'run'     执行计划(执行器走 DCW 写咽喉:步限/60s 间隔/保持窗照常生效);
+ *   全部动作经 recordConfigAction 入册(D16/SW1.6)。
  */
 import { getQuery, readBody } from 'h3'
 import { defineApiHandler } from '@/server/utils/response'
 import { requireRole } from '@/server/api/workshop/caller'
 import { filterByLine } from '@/server/services/workshop/permissions'
 import { createExperimentPlan, listExperimentPlans } from '@/server/services/workshop/process-model/experiment'
+import { approveExperimentPlan, runExperimentPlan } from '@/server/services/workshop/process-model/experiment-runner'
 import { assertOptimizationAccess, recordConfigAction } from '@/server/services/workshop/optimization/access'
 
 export default defineApiHandler(async (event) => {
@@ -21,6 +26,25 @@ export default defineApiHandler(async (event) => {
     return { plans: user.role === 'admin' ? rows : filterByLine(user, rows, (r: { lineId?: string }) => r.lineId) }
   }
   const body = await readBody<Record<string, unknown>>(event) ?? {}
+  const action = String(body.action ?? '')
+  if (action === 'approve' || action === 'run') {
+    const planId = String(body.planId ?? '')
+    if (!planId) throw createError({ statusCode: 400, statusMessage: 'planId required' })
+    const row = listExperimentPlans(undefined, 500).find(p => p.id === planId)
+    if (!row) throw createError({ statusCode: 404, statusMessage: 'plan not found' })
+    assertOptimizationAccess(user, 'write', { kind: 'experiment', lineId: row.lineId })
+    if (action === 'approve') {
+      const approved = approveExperimentPlan(planId, `rest:${user.id}:${Date.now()}`, user.id)
+      recordConfigAction(user, 'process_model.experiment.approve', { kind: 'process_model_experiment', id: planId },
+        `人工批准试验计划 ${planId}`, { lineId: row.lineId }, row.lineId)
+      return { plan: approved }
+    }
+    const result = await runExperimentPlan(planId)
+    recordConfigAction(user, 'process_model.experiment.run', { kind: 'process_model_experiment', id: planId },
+      `执行试验计划 ${planId}:${result.status}(${result.executedSteps}/${result.totalSteps} 步)${result.failedReason ? `;${result.failedReason}` : ''}`,
+      { lineId: row.lineId }, row.lineId)
+    return { result }
+  }
   const lineId = String(body.lineId ?? '')
   if (!lineId) throw createError({ statusCode: 400, statusMessage: 'lineId required' })
   assertOptimizationAccess(user, 'write', { kind: 'experiment', lineId })
@@ -35,6 +59,8 @@ export default defineApiHandler(async (event) => {
     abortOnAlarm: body.abortOnAlarm !== false,
     budget: body.budget as { maxRuns?: number, maxDurationMs?: number } | undefined,
     createdBy: user.id,
+    targets: body.targets as Record<string, string> | undefined,
+    dominantPeriodMs: typeof body.dominantPeriodMs === 'number' ? body.dominantPeriodMs : undefined,
   })
   const planDetail = JSON.parse(plan.planJson || '{}') as { repeats?: number, specId?: string | null }
   recordConfigAction(user, 'process_model.experiment.create', { kind: 'process_model_experiment', id: plan.id },