工具的边界用契约说清:数据怎么进来(场景 SCHEMA)、结果怎么出去(cardscan 输出结构)、 时间怎么拆(TE/TI/TT)。样例 JSON 可直接下载对读;在线扫描见 /cardscan。
这些 JSON 是机器可读件——给工程师和 AI 分析工具对读契约、独立复算用; 业务层面了解案例看 /cases 即可,不必下载。完整工程数据包(脱敏 MES 明细 · 标定回盘全量数字 · 可复算脚本)不直接公开,发邮件索取,我们直接发你。 工厂样例来自脱敏 MES 实测标定(meta.kind: factory,provenance 记逐字段来源; 回盘解读见 /method 第 8 节)。合成样例对齐测试基线(seed 42),供契约对读。
| 字段 | 含义 | 纪律/备注 |
|---|---|---|
| schemaVersion | 固定 "pull-scenario/1" | 版本化,兼容映射记 compatNotes |
| meta.kind | synthetic | factory | calibrated | 换真实工厂数据只换此层 |
| meta.provenance | 数字出处(强制) | 数字零手抄:参数来源写死在此 |
| horizon.maxRounds / seed | 轮数与种子 | 确定性:同 seed 逐位复现 |
| supplyChain.stations[] | 静态列:processTime(TE)/leadTime(=TE+TW)/wipWaitTime/kanbanBoxWait/infoTransmitTime(TI)/taktTime(TT)/kanbanLimit/containerCapacity… | 运行态(inventory/strategy)一律不入 |
| demand.model | ar1_seasonal | external | constant | external: series 逐轮取值,onExhaust: hold|zero|error |
| control | ablationLevel / pullType / containerCapacity | A0–A5 阶梯;A2=+pull 信号 |
| arms[] | steady | single_pulse | cyclic_pulse | sine_wave | 扰动=基底之上的乘子语义 |
校验五组:值域 / 枚举 / 引用完整性 / 守恒 / LT≥TE 钩子;issue 带 JSON path,坏文件整包拒绝(禁静默归一)。
| 字段 | 含义 | 纪律/备注 |
|---|---|---|
| config | scenarioId / cards / containers / rounds / seed / arms / fillTarget | 扫描口径自描述 |
| scan[] | 每格 arm×C×N:fill/inv/backlog/OVR/PAR + theory(conwipNC/kanbanNC)+ recovery | 引擎值与公式锚点两行并列,不混算 |
| pareto | 每臂 (avg_inventory, fill_rate) 非支配集 | 双目标:F1 降卡提效 / F2 加卡保供 |
| suggestion | minCardsForFill / range / reading(F1|F2) | 按臂分列;fillTarget 默认 1.0 |
| notes[] | 口径警示 | OVR 不跨 C(C15);C≤2 饱和签名判别式 |
| anchors | 公式出处与 theoryNote | kanbanNC α=0 显式注明;禁手抄 |
| 字段 | 记号 | 含义 |
|---|---|---|
| processTime | TE | 加工时间 |
| waitTransportTime | TW | 等待+运输(缺省=LT−TE) |
| infoTransmitTime | TI | 信息传递时间 |
| taktTime | TT | 节拍;兼任 μ=1/TT |
| leadTime | LT | = TE + TW(不变量,防重复计加工) |
双传(legacy leadTime 与拆分字段同传)不等即 throw——禁静默取一。公式细节见 /method。