#Pyroduct

#Features

• Paper-executable, not paraphrased
  Every state, transition and phase is literal data with a page citation: gloss() ends in P.xx, and each construct is tagged 原文直述 (verbatim from the source) or 模型整理 (model reconstruction).

• One language, four units
  Subject (主体) / group (群体) / society (社会) share the same state + trigger + transition vocabulary at three scales: src (34·53·11), group (20·42·9, member config → emergence with R7 write-back), society (13·26·8, lifeworld vs. system). multi is the normative face: rules R1–R14 for two subjects — regime precedence, validity-claim timing, the two-sincerity distinction (两诚区分), unconcealment–concealment (解蔽—遮蔽) — each rule citing the thesis.

• Two-character names only
  Position and phase designations name a structural relation — nothing else. The discipline is locked by tests and printed by render_naming_table().

• Drive slots and a step contract
  Trigger::slot sorts all 49 triggers into eight slots (Occasion 处境 / Orientation 取向 / Antecedent 先行 / Act 行动 / Feedback 反馈 / Hold 持存 / CoBeing 共在 / Unveil 揭蔽) with an exhaustive match — an unplaced trigger fails the build. step(position, slot) answers only Moved (迁) / Held (守) / Undecided (未定) / No-way (无路); of 272 position × slot combinations, 228 honestly answer No-way. The machine never invents a move.

• An agent whose updates must clear a gate
  evolution treats an agent's config as Genome, enumerates single-step candidates (prompt / strategy / memory / code), writes "better" as an Objective, fences off constitutional invariants, and records every accept / reject / revert with its reason in an append-only, serializable Ledger. Gates come in two grades: hand-written weights, or a DoubleML causal effect (θ̂ > 0 and the 95% lower bound > 0). The subject cycle run_cycle drives real positions by drive slot and puts Cultivation (修习) and Opening (开放) through the same gate — no evidence, no advance (没有证据就不前进).

• A coordinator that refuses to close
  coordinator adds what a research agent needs beyond a state machine: tasks and artifacts, planning over a dependency graph, external evidence judged by confidence interval (not by votes), content memory that keeps superseded findings, credit with IP provenance, and a deliberation / decision split — deliverables carry revision marks, residue ownership and reopen conditions. The runtime is replayable and persists to disk. (The "think" step is still a deterministic stand-in, no LLM yet.)

• Dependency isolation
  Four named third-party dependencies, each confined to its consumer: moonbitlang/async@0.22.4 → cmd/coord (native disk I/O); riantr/moonbit_doubleML@0.75.0 → dmlref / causal; riantr/snn_mbt@0.84.0 → snnref (native); riantr/moonbit_static_analysis@0.1.0 → audit. Every other package uses official moonbitlang/* only.

#Terminology

#Phases — subject (11)

#Positions — subject (34)

#Drive slots (8) and the 49 triggers

#Step contract (4 outcomes)

#Group — phases (9)

#Group — states (20)

#Society — phases (8)

#Society — states (13)

#Truth regimes (5) · discourse types (4) · validity claims (4)

#Normative rules R1–R14

#Packages

#Discipline terms

#Quick Start

moon add riantr/pyroduct
moon test             # Total tests: 105, passed: 105, failed: 0.

moon run cmd/main -- report        # subject state machine
moon run cmd/main -- slots         # drive slots: 49 triggers → 8 slots
moon run cmd/main -- multi         # normative rules R1–R14 + scenarios
moon run cmd/main -- group         # group state machine
moon run cmd/main -- society       # two-level social model
moon run cmd/main -- evolution     # mutation / fitness / gate / persistence / heredity
moon run cmd/main -- cycle         # subject cycle: position × slot × causal feedback
moon run cmd/main -- coordinator   # research-agent coordinator
moon run --target native cmd/coord # real disk I/O: checkpoint round-trips identically

#Example

// Subject: positions, main line, drive slots, step contract
let states : Array[@src.SubjectState] = @src.all_states()      // 34 of them
let ok     : Bool = @src.reachable(@src.initial(), @src.terminal())
let moved  : @src.Outcome = @src.step(@src.Standing, @src.Occasion) // Moved

// One encounter of two subjects: regime, two sincerities, and claim timing all adjudicate
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)

// Society: two invariants locked by tests
let never_closes : Bool = @society.no_final_closure()

// Agent state machine: enumerate candidates → gate → append-only ledger
let agent  = @evolution.default_agent()
let ledger = @evolution.evolve(agent, @evolution.default_world(),
                               @evolution.Weighted(@evolution.truth_objective()), 3)

// Coordinator: run a demo study, write / read back the checkpoint
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 restored = @coordinator.restore(rt.checkpoint())
let same : Bool = restored.round_trips()

#Used By

• cmd/main — the report entry for every layer above: report / slots / multi / group / society / evolution / cycle / coordinator, plus mermaid / dot / genesis / course / naming / principle / all.
• cmd/coord — a native binary that runs the coordinator and round-trips its checkpoint through real disk I/O (.openseek/, gitignored).

#Attribution

• Source text: 任勇祥《伽达默尔与哈贝马斯真理观比较》(Shanghai Academy of Social Sciences, 2008) and its appendix 《通往宁静之路：个体道德发生论纲要》. Every construct in the model cites the chapter / section / page of that text and explicitly distinguishes 原文直述 (verbatim from the source) from 模型整理 (model reconstruction).
• License: MIT (see LICENSE).