#riantr/pyroduct · From a Philosophy Thesis to Runnable Multi-Agent Models

$ moon test
Total tests: 75, passed: 75, failed: 0.

$ moon run cmd/main -- report        # 主体状态机（默认）
$ moon run cmd/main -- multi         # 多主体行为规则 R1–R14 + 场景
$ moon run cmd/main -- group         # 群体状态机
$ moon run cmd/main -- society       # 双层次社会交往模型
$ moon run cmd/main -- evolution     # 变异／适应度／闸门／持久化／遗传
$ moon run cmd/main -- coordinator   # 科研 Agent 协调器（八节）
$ moon run cmd/main -- dmlref        # 与外部参考实现对照

$ moon run examples/plr              # 示例：外部 DGP + 外部 DoubleMLPLR
$ moon run examples/irm              # 示例：外部 DGP + 外部 DoubleMLIRM
$ moon run examples/cross_check      # 示例：外部 DGP 上两实现互校
$ moon run examples/consumer         # 示例：库使用者的最小闭环

$ moon run --target native cmd/coord # 真实落盘
步数 3｜时钟 3｜发现 3 条
已落盘：.openseek/coordinator-state.txt
读回：时钟 3｜往返一致 true｜与写前一致 true

// 主体状态机：枚举、遍历、可达性
let states : Array[@sm.SubjectState] = @sm.all_states()      // 34 个
let path   : Array[@sm.SubjectState] = @sm.genesis_path()    // 主线
let ok     : Bool = @sm.reachable(@sm.initial(), @sm.terminal())

// 一次两主体遭遇（相位、体制、两诚都参与裁决）
let me    = @multi.subject(1, @multi.rendezvous(), @multi.InterSubjective, 70, 70, 9)
let other = @multi.subject(2, @multi.rendezvous(), @multi.ChengRan, 80, 80, 9)
let claim : @multi.ValidityClaim = { kind: @multi.Truthfulness, phase: @multi.During }
let out   = @multi.encounter(me, other, @multi.Theoretical, claim)
let verdict : String = out.verdict.label()

// 双层次社会交往模型：状态、迁移、不变量
let social : Array[@society.State] = @society.all_states()   // 13 个
let never_closes : Bool = @society.no_final_closure()

// 进化：枚举候选 → 过闸 → 记账
let g    = @evolution.default_agent()
let cands = @evolution.mutations(g)                          // 14 个单步候选
let led  = @evolution.evolve(g, @evolution.default_world(),
                             @evolution.Weighted(@evolution.truth_objective()), 3)

// 协调器：跑一段示例研究，并把整机检查点写下 / 读回
let rt = @coordinator.new_runtime()
ignore(rt.step(@coordinator.demo_tasks(), @coordinator.demo_questions(),
               @coordinator.demo_workers(), @coordinator.demo_datasets(),
               @coordinator.demo_world(), @coordinator.demo_parent(),
               @coordinator.demo_candidate()))
let checkpoint : String = rt.checkpoint()
let back = @coordinator.restore(checkpoint)
let same : Bool = back.round_trips()

$ moon run examples/plr
=== MoonBit DML PLR（数据取自 riantr/moonbit_doubleML 的 DGP）===
true theta_0      = 1
estimated theta   = 0.9821170792373195
standard error    = 0.03755880410559667
95% CI            = [0.90850182319035, 1.055732335284289]
n_obs             = 500
n_features        = 20

$ moon run examples/irm
=== MoonBit DML IRM（数据取自 riantr/moonbit_doubleML 的 DGP）===
true theta_0      = 1
estimated theta   = 0.9646539735147219
standard error    = 0.10162091470514976
95% CI            = [0.7654769806926284, 1.1638309663368154]

$ moon run examples/cross_check
=== 实现互校：外部 DGP（plr_CCDDHNR2018），n = 500，5 折 ===
真值 θ            = 1
参考实现 θ̂        = 0.9821170792373195（se 0.03755880410559667）
自研实现 θ̂        = 1.0050224545430984（se 0.038635225992883944）
两者之差 |Δθ̂|     = 0.022905375305778852｜标准误之差 = 0.0010764218872872724
容差内一致        = true

pyroduct/                  <- the module (riantr/pyroduct, 11 packages)
  src/                     <- 主体状态机（34 状态）+ 渲染
  multi/                   <- 多主体行为规则 R1–R14 + 遭遇引擎
  group/                   <- 群体状态机（涌现 + R7 回写）
  society/                 <- 双层次社会交往模型（从论文原文提取）
  ml/                      <- 自研 DoubleML（PLR / 交叉拟合 / 正交分数 / 推断）
  evolution/               <- 变异空间 / 适应度目标 / 更新闸门 / 持久化 / 遗传
  coordinator/             <- 科研 Agent 协调器（七件事）
  dmlref/                  <- 与 riantr/moonbit_doubleML 的对照层
  cmd/main/                <- CLI（wasm）
  cmd/coord/               <- CLI（native，真实落盘）
  tools/pdfdump/           <- 对 truth.pdf 的零依赖只读勘察记录
  examples/                <- 可运行示例（一例一包）
    plr/                   <- 外部 DGP + 外部 DoubleMLPLR
    irm/                   <- 外部 DGP + 外部 DoubleMLIRM
    cross_check/           <- 外部 DGP 上两实现互校
    consumer/              <- 库使用者的最小闭环
  moon.pkg                 <- 根包（只承载本 README；mooncakes 的 docs 按包渲染文档）
  moon.mod                 <- module manifest（riantr/pyroduct@0.1.1）
  README.mbt.md            <- this file

• 官方 moonbitlang/* 之外，只允许 riantr/*（本仓库）。
• 第三方依赖必须隔离在单个包内，并写明用途：
  • moonbitlang/async@0.22.4 — 唯一消费者 cmd/coord（native，真实落盘）。
  • riantr/moonbit_doubleML@0.64.0 — 唯一消费者 dmlref（互校自研 DoubleML）。
• 其余九个包不引入任何第三方库；ml 的 DoubleML 完全自研。

• 全部随机性走固定种子（ml 的 splitmix64 Rng、evolution 的回合种子、外部包 自己的 seed=3141）；同一份数据、同一组超参给出同一结果。
• 不变量由测试锁定：society::no_final_closure()（无终态且缺口处处可达）、 State::residue > 0（残余恒正）、evolution::constitutional()（三条宪法级条款）、 coordinator::decision_ok()（可修订 + 重开条件非空 + 残余归属有效）。
• 版本验证计数：moon test 77 / 77（wasm）；moon check 与 moon fmt --check 干净；moon run --target native cmd/coord 落盘往返一致。
• 外部互校：同 nuisance 下 dmlref 比对自研与 riantr/moonbit_doubleML 的 PLR， θ̂ 相差 0.017（se 0.153／0.152）。

• 文本来源：任勇祥《伽达默尔与哈贝马斯真理观比较》（上海社会科学院，2008）及其附录 《通往宁静之路：个体道德发生论纲要》。模型中的每个构造都标注了该文的章／节／页， 并对「原文直述」与「模型整理」做了明确区分（见 society::render_report() 的 「与论文的边界」一节）。
• 外部参考实现：riantr/moonbit_doubleML —— doubleml-for-py 的纯 MoonBit 移植（MIT；上游 BSD-3-Clause）。本仓库只在 dmlref 中使用它的 DoubleMLPLR 做互校，不构成对其代码的再分发依赖。
• 本仓库 License：MIT（见仓库根目录 LICENSE）。

• cmd/main —— 十四个子命令的报告入口。
• cmd/coord —— 把协调器运行时检查点写进磁盘的 native 样例。

• wasm-gc 与 js 后端未实测；cmd/coord 只在 native 上构建。
• coordinator 的「想」这一步是确定性替身，尚未接入 LLM；示例证据来自模拟回合， 不是真实科研轨迹。
• cmd/coord 依赖 moonbitlang/async 仅为落盘；若要去掉该依赖，落盘可退化为 「检查点字符串 + 重定向」。