@zh-xx/antu 0.9.0

package/examples/agent/justification/5-sources.en.json

@@ -0,0 +1,97 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "Time and source: a fact has a time; norms and facts point at their sources",
+  "speaker": "The court (appeal)",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "Appeal dismissed; judgment upheld",
+      "holds": "yes"
+    },
+    {
+      "id": "n-1",
+      "kind": "norm",
+      "label": "Civil Code Art. 509(1): the parties must perform their obligations in full as agreed",
+      "detail": "The parties must perform their obligations in full as agreed.",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "B did not pay the rent as agreed",
+      "holds": "yes"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "B did not pay when the payment fell due on 5 March 2024",
+      "date": "2024-03-05",
+      "sourceIds": [
+        "s-2"
+      ]
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "At 14:30 that day B replied that money was tight",
+      "date": "2024-03-05T14:30",
+      "detail": "B's reply, in its own words: money is tight this month, I will pay it with next month's.",
+      "sourceIds": [
+        "s-3"
+      ]
+    }
+  ],
+  "links": [
+    {
+      "from": "n-1",
+      "to": "e-1",
+      "stance": "basis"
+    },
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "f-2",
+      "to": "e-1"
+    },
+    {
+      "from": "e-1",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "statute",
+      "name": "Civil Code, Art. 509",
+      "loc": {
+        "lawName": "Civil Code of the People's Republic of China",
+        "article": 509,
+        "version": "2020"
+      }
+    },
+    {
+      "id": "s-2",
+      "type": "case",
+      "name": "First-instance judgment · facts found",
+      "loc": {
+        "caseNo": "(2024) Jing 0105 Min Chu No. 1",
+        "court": "A district court"
+      }
+    },
+    {
+      "id": "s-3",
+      "type": "evidence",
+      "name": "The chat record",
+      "loc": {
+        "file": "chat.pdf",
+        "page": 3
+      }
+    }
+  ]
+}

package/examples/agent/justification/5-sources.zh-CN.json

@@ -0,0 +1,97 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "时间和出处：事实带时间，规范和事实都指向来源",
+  "speaker": "某法院（二审）",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "驳回上诉，维持原判",
+      "holds": "yes"
+    },
+    {
+      "id": "n-1",
+      "kind": "norm",
+      "label": "民法典第 509 条第 1 款：当事人应当按照约定全面履行自己的义务",
+      "detail": "当事人应当按照约定全面履行自己的义务。",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "乙没有按约定付租金",
+      "holds": "yes"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "乙在 2024 年 3 月 5 日的付款期限届满时没有付款",
+      "date": "2024-03-05",
+      "sourceIds": [
+        "s-2"
+      ]
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "乙于当天 14 时 30 分回复称资金紧张",
+      "date": "2024-03-05T14:30",
+      "detail": "回复原文：本月资金紧张，下月一并付。",
+      "sourceIds": [
+        "s-3"
+      ]
+    }
+  ],
+  "links": [
+    {
+      "from": "n-1",
+      "to": "e-1",
+      "stance": "basis"
+    },
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "f-2",
+      "to": "e-1"
+    },
+    {
+      "from": "e-1",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "statute",
+      "name": "民法典第 509 条",
+      "loc": {
+        "lawName": "中华人民共和国民法典",
+        "article": 509,
+        "version": "2020"
+      }
+    },
+    {
+      "id": "s-2",
+      "type": "case",
+      "name": "一审判决书 · 本院查明",
+      "loc": {
+        "caseNo": "（2024）京 0105 民初 1 号",
+        "court": "某区人民法院"
+      }
+    },
+    {
+      "id": "s-3",
+      "type": "evidence",
+      "name": "微信聊天记录",
+      "loc": {
+        "file": "chat.pdf",
+        "page": 3
+      }
+    }
+  ]
+}

package/examples/agent/justification/6-all-or-any.en.json

@@ -0,0 +1,98 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "And and or: every element is needed, one ground is enough",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "B is liable in tort",
+      "holds": "yes",
+      "combine": "all"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "B was at fault",
+      "holds": "yes",
+      "combine": "any"
+    },
+    {
+      "id": "e-2",
+      "kind": "element",
+      "label": "A suffered harm",
+      "holds": "yes"
+    },
+    {
+      "id": "e-3",
+      "kind": "element",
+      "label": "The fault caused the harm",
+      "holds": "yes"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "B knew the path was icy and put up no warning",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "B did not clear the snow in time",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "f-3",
+      "kind": "fact",
+      "label": "A slipped on the ice and broke a bone",
+      "sourceIds": [
+        "s-1"
+      ]
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "f-2",
+      "to": "e-1"
+    },
+    {
+      "from": "f-3",
+      "to": "e-2"
+    },
+    {
+      "from": "f-3",
+      "to": "e-3"
+    },
+    {
+      "from": "e-1",
+      "to": "c-1"
+    },
+    {
+      "from": "e-2",
+      "to": "c-1"
+    },
+    {
+      "from": "e-3",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "evidence",
+      "name": "The photos and the medical record",
+      "loc": {
+        "file": "scene.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/justification/6-all-or-any.zh-CN.json

@@ -0,0 +1,98 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "且与或：要件须全部具备，理由具备一个即可",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "乙应承担侵权责任",
+      "holds": "yes",
+      "combine": "all"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "乙有过错",
+      "holds": "yes",
+      "combine": "any"
+    },
+    {
+      "id": "e-2",
+      "kind": "element",
+      "label": "甲受到了损害",
+      "holds": "yes"
+    },
+    {
+      "id": "e-3",
+      "kind": "element",
+      "label": "过错与损害之间有因果关系",
+      "holds": "yes"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "乙明知路面结冰而没有设置警示牌",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "乙没有及时清理积雪",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "f-3",
+      "kind": "fact",
+      "label": "甲在结冰处滑倒，造成骨折",
+      "sourceIds": [
+        "s-1"
+      ]
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "f-2",
+      "to": "e-1"
+    },
+    {
+      "from": "f-3",
+      "to": "e-2"
+    },
+    {
+      "from": "f-3",
+      "to": "e-3"
+    },
+    {
+      "from": "e-1",
+      "to": "c-1"
+    },
+    {
+      "from": "e-2",
+      "to": "c-1"
+    },
+    {
+      "from": "e-3",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "evidence",
+      "name": "现场照片和就诊记录",
+      "loc": {
+        "file": "scene.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/procedure/1-minimal.en.json

@@ -0,0 +1,15 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Minimal example: three steps in a straight line",
+  "actors": [{ "id": "a-1", "name": "Party A" }],
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "Contract takes effect" },
+    { "id": "n-2", "kind": "step", "label": "Party A pays", "actorIds": ["a-1"] },
+    { "id": "n-3", "kind": "end", "label": "Performance complete", "outcome": "positive" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "main": true }
+  ]
+}

package/examples/agent/procedure/1-minimal.zh-CN.json

@@ -0,0 +1,15 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "最小示例：三步直线",
+  "actors": [{ "id": "a-1", "name": "甲方" }],
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "合同生效" },
+    { "id": "n-2", "kind": "step", "label": "甲方付款", "actorIds": ["a-1"] },
+    { "id": "n-3", "kind": "end", "label": "履行完毕", "outcome": "positive" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "main": true }
+  ]
+}

package/examples/agent/procedure/2-decision.en.json

@@ -0,0 +1,17 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Decision point: diamond + conditions + back edge",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "Deliverables submitted" },
+    { "id": "n-2", "kind": "decision", "label": "Acceptance up to standard?" },
+    { "id": "n-3", "kind": "step", "label": "Party B rectifies", "outcome": "negative" },
+    { "id": "n-4", "kind": "end", "label": "Acceptance passed" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-4", "condition": "Pass", "main": true },
+    { "from": "n-2", "to": "n-3", "condition": "Fail" },
+    { "from": "n-3", "to": "n-2" }
+  ]
+}

package/examples/agent/procedure/2-decision.zh-CN.json

@@ -0,0 +1,17 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "判定点：菱形 + 条件 + 回边",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "提交成果" },
+    { "id": "n-2", "kind": "decision", "label": "验收是否合格" },
+    { "id": "n-3", "kind": "step", "label": "乙方整改", "outcome": "negative" },
+    { "id": "n-4", "kind": "end", "label": "验收通过" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-4", "condition": "合格", "main": true },
+    { "from": "n-2", "to": "n-3", "condition": "不合格" },
+    { "from": "n-3", "to": "n-2" }
+  ]
+}

package/examples/agent/procedure/3-branches.en.json

@@ -0,0 +1,22 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Branches: one step node with several outgoing edges",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "Service period starts" },
+    { "id": "n-2", "kind": "step", "label": "Party B submits monthly service list" },
+    { "id": "n-3", "kind": "step", "label": "Party A pays" },
+    { "id": "n-4", "kind": "step", "label": "Party B pays liquidated damages", "outcome": "negative" },
+    { "id": "n-5", "kind": "step", "label": "Party A pays interest for late payment", "outcome": "negative" },
+    { "id": "n-6", "kind": "end", "label": "Contract term ends" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "main": true },
+    { "from": "n-2", "to": "n-4", "condition": "Party B fails to staff as agreed" },
+    { "from": "n-4", "to": "n-2" },
+    { "from": "n-3", "to": "n-5", "condition": "Party A pays late" },
+    { "from": "n-5", "to": "n-3" },
+    { "from": "n-3", "to": "n-6", "main": true }
+  ]
+}

package/examples/agent/procedure/3-branches.zh-CN.json

@@ -0,0 +1,22 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "分支：一个过程节点挂多条出边",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "服务期开始" },
+    { "id": "n-2", "kind": "step", "label": "乙方每月提交服务清单" },
+    { "id": "n-3", "kind": "step", "label": "甲方付款" },
+    { "id": "n-4", "kind": "step", "label": "乙方支付违约金", "outcome": "negative" },
+    { "id": "n-5", "kind": "step", "label": "甲方支付逾期利息", "outcome": "negative" },
+    { "id": "n-6", "kind": "end", "label": "合同期满" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "main": true },
+    { "from": "n-2", "to": "n-4", "condition": "乙方未按约配置人员" },
+    { "from": "n-4", "to": "n-2" },
+    { "from": "n-3", "to": "n-5", "condition": "甲方逾期付款" },
+    { "from": "n-5", "to": "n-3" },
+    { "from": "n-3", "to": "n-6", "main": true }
+  ]
+}

package/examples/agent/procedure/4-stages.en.json

@@ -0,0 +1,34 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Stages, actors and outcomes",
+  "domain": "contract-performance",
+  "actors": [
+    { "id": "a-1", "name": "Party A", "role": "Client" },
+    { "id": "a-2", "name": "Party B", "role": "Developer" }
+  ],
+  "stages": [
+    { "id": "st-1", "label": "Signing" },
+    { "id": "st-2", "label": "Development" },
+    { "id": "st-3", "label": "Wrap-up" }
+  ],
+  "sources": [
+    { "id": "s-1", "type": "contract", "name": "Software development services contract", "loc": { "file": "software-development-services-contract.docx" } }
+  ],
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "Contract signed and effective", "stageId": "st-1" },
+    { "id": "n-2", "kind": "step", "label": "Party A pays first instalment", "detail": "RMB 360,000", "actorIds": ["a-1"], "stageId": "st-1", "sourceIds": ["s-1"] },
+    { "id": "n-3", "kind": "step", "label": "Requirements confirmed", "detail": "Due by 2026-06-30", "actorIds": ["a-2"], "stageId": "st-2" },
+    { "id": "n-4", "kind": "document", "label": "Requirements confirmation", "stageId": "st-2" },
+    { "id": "n-5", "kind": "note", "label": "Changes need written confirmation", "stageId": "st-2" },
+    { "id": "n-6", "kind": "step", "label": "Project complete", "outcome": "positive", "stageId": "st-3" },
+    { "id": "n-7", "kind": "end", "label": "Contract terminated", "stageId": "st-3" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "main": true },
+    { "from": "n-3", "to": "n-4", "main": true },
+    { "from": "n-4", "to": "n-6", "main": true },
+    { "from": "n-6", "to": "n-7", "main": true }
+  ]
+}

package/examples/agent/procedure/4-stages.zh-CN.json

@@ -0,0 +1,34 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "阶段、主体与结果",
+  "domain": "contract-performance",
+  "actors": [
+    { "id": "a-1", "name": "甲方", "role": "委托方" },
+    { "id": "a-2", "name": "乙方", "role": "开发方" }
+  ],
+  "stages": [
+    { "id": "st-1", "label": "签约" },
+    { "id": "st-2", "label": "开发" },
+    { "id": "st-3", "label": "收尾" }
+  ],
+  "sources": [
+    { "id": "s-1", "type": "contract", "name": "软件开发服务合同", "loc": { "file": "软件开发服务合同.docx" } }
+  ],
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "合同签署生效", "stageId": "st-1" },
+    { "id": "n-2", "kind": "step", "label": "甲方支付首期款", "detail": "360,000 元", "actorIds": ["a-1"], "stageId": "st-1", "sourceIds": ["s-1"] },
+    { "id": "n-3", "kind": "step", "label": "需求确认", "detail": "2026-06-30 前完成", "actorIds": ["a-2"], "stageId": "st-2" },
+    { "id": "n-4", "kind": "document", "label": "需求确认书", "stageId": "st-2" },
+    { "id": "n-5", "kind": "note", "label": "需求变更须双方书面确认", "stageId": "st-2" },
+    { "id": "n-6", "kind": "step", "label": "项目完成", "outcome": "positive", "stageId": "st-3" },
+    { "id": "n-7", "kind": "end", "label": "合同终止", "stageId": "st-3" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "main": true },
+    { "from": "n-3", "to": "n-4", "main": true },
+    { "from": "n-4", "to": "n-6", "main": true },
+    { "from": "n-6", "to": "n-7", "main": true }
+  ]
+}

package/examples/agent/procedure/5-inferred-spine.en.json

@@ -0,0 +1,21 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "No main flags: let the engine infer the spine",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "Case filed" },
+    { "id": "n-2", "kind": "step", "label": "Complaint served" },
+    { "id": "n-3", "kind": "decision", "label": "Defendant responds?" },
+    { "id": "n-4", "kind": "step", "label": "Trial in absentia" },
+    { "id": "n-5", "kind": "step", "label": "Hearing held" },
+    { "id": "n-6", "kind": "end", "label": "Judgment rendered" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2" },
+    { "from": "n-2", "to": "n-3" },
+    { "from": "n-3", "to": "n-5", "condition": "Responds" },
+    { "from": "n-3", "to": "n-4", "condition": "No response" },
+    { "from": "n-4", "to": "n-6" },
+    { "from": "n-5", "to": "n-6" }
+  ]
+}

package/examples/agent/procedure/5-inferred-spine.zh-CN.json

@@ -0,0 +1,21 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "不标 main：让引擎自己认主干",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "立案" },
+    { "id": "n-2", "kind": "step", "label": "送达起诉状副本" },
+    { "id": "n-3", "kind": "decision", "label": "被告是否答辩" },
+    { "id": "n-4", "kind": "step", "label": "缺席审理" },
+    { "id": "n-5", "kind": "step", "label": "开庭审理" },
+    { "id": "n-6", "kind": "end", "label": "作出判决" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2" },
+    { "from": "n-2", "to": "n-3" },
+    { "from": "n-3", "to": "n-5", "condition": "答辩" },
+    { "from": "n-3", "to": "n-4", "condition": "不答辩" },
+    { "from": "n-4", "to": "n-6" },
+    { "from": "n-5", "to": "n-6" }
+  ]
+}

package/examples/agent/procedure/6-merged-edges.en.json

@@ -0,0 +1,19 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Several edges to one target: different conditions, merged on render",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "Service period starts" },
+    { "id": "n-2", "kind": "step", "label": "Day-to-day performance" },
+    { "id": "n-3", "kind": "step", "label": "Party A may terminate unilaterally", "outcome": "negative" },
+    { "id": "n-4", "kind": "end", "label": "Contract terminated" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "condition": "Party B below standard 3 months running" },
+    { "from": "n-2", "to": "n-3", "condition": "Party B penalised over employment contracts" },
+    { "from": "n-2", "to": "n-3", "condition": "Party A penalised for Party B's fault" },
+    { "from": "n-2", "to": "n-4", "main": true },
+    { "from": "n-3", "to": "n-4" }
+  ]
+}

package/examples/agent/procedure/6-merged-edges.zh-CN.json

@@ -0,0 +1,19 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "同一目标的多条边：条件不同，渲染时合并",
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "服务期开始" },
+    { "id": "n-2", "kind": "step", "label": "日常履行" },
+    { "id": "n-3", "kind": "step", "label": "甲方可单方解除", "outcome": "negative" },
+    { "id": "n-4", "kind": "end", "label": "合同终止" }
+  ],
+  "edges": [
+    { "from": "n-1", "to": "n-2", "main": true },
+    { "from": "n-2", "to": "n-3", "condition": "乙方连续 3 个月不达标" },
+    { "from": "n-2", "to": "n-3", "condition": "乙方未依法签劳动合同被查处" },
+    { "from": "n-2", "to": "n-3", "condition": "因乙方原因甲方被处罚" },
+    { "from": "n-2", "to": "n-4", "main": true },
+    { "from": "n-3", "to": "n-4" }
+  ]
+}