@zh-xx/antu 0.9.0

package/examples/procedure/01-software-development-contract.en.json

@@ -0,0 +1,290 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Software Development Services Contract · Performance Flow",
+  "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": "Requirements confirmation"
+    },
+    {
+      "id": "st-3",
+      "label": "System prototype"
+    },
+    {
+      "id": "st-4",
+      "label": "System delivery"
+    },
+    {
+      "id": "st-5",
+      "label": "Closing"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "contract",
+      "name": "Software Development Services Contract",
+      "loc": {
+        "file": "软件开发服务合同.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 installment",
+      "detail": "CNY 360,000",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-1",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "n-3",
+      "kind": "step",
+      "label": "Requirements confirmation",
+      "detail": "Due by 2026-06-30",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-2"
+    },
+    {
+      "id": "n-4",
+      "kind": "decision",
+      "label": "Requirements confirmed?",
+      "stageId": "st-2"
+    },
+    {
+      "id": "n-5",
+      "kind": "step",
+      "label": "Prototype development",
+      "detail": "Due by 2026-08-31",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-6",
+      "kind": "decision",
+      "label": "Prototype accepted?",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-7",
+      "kind": "step",
+      "label": "Party A pays second installment",
+      "detail": "CNY 480,000",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-3",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "n-8",
+      "kind": "step",
+      "label": "Party B rectifies",
+      "actorIds": [
+        "a-2"
+      ],
+      "outcome": "negative",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-9",
+      "kind": "step",
+      "label": "System delivery",
+      "detail": "Due by 2026-11-30",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-10",
+      "kind": "decision",
+      "label": "Final acceptance passed?",
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-11",
+      "kind": "step",
+      "label": "Party A pays final installment",
+      "detail": "CNY 360,000",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-4",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "n-12",
+      "kind": "step",
+      "label": "Party B rectifies unconditionally",
+      "actorIds": [
+        "a-2"
+      ],
+      "outcome": "negative",
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-13",
+      "kind": "step",
+      "label": "Project complete",
+      "outcome": "positive",
+      "stageId": "st-5"
+    },
+    {
+      "id": "n-26",
+      "kind": "end",
+      "label": "Contract terminated",
+      "stageId": "st-5"
+    }
+  ],
+  "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-5",
+      "condition": "Confirmed",
+      "main": true
+    },
+    {
+      "from": "n-4",
+      "to": "n-3",
+      "condition": "Not confirmed"
+    },
+    {
+      "from": "n-5",
+      "to": "n-6",
+      "main": true
+    },
+    {
+      "from": "n-6",
+      "to": "n-7",
+      "condition": "Accepted",
+      "main": true
+    },
+    {
+      "from": "n-6",
+      "to": "n-8",
+      "condition": "Rejected"
+    },
+    {
+      "from": "n-8",
+      "to": "n-6"
+    },
+    {
+      "from": "n-7",
+      "to": "n-9",
+      "main": true
+    },
+    {
+      "from": "n-9",
+      "to": "n-10",
+      "main": true
+    },
+    {
+      "from": "n-10",
+      "to": "n-11",
+      "condition": "Passed",
+      "main": true
+    },
+    {
+      "from": "n-10",
+      "to": "n-12",
+      "condition": "Failed"
+    },
+    {
+      "from": "n-12",
+      "to": "n-10"
+    },
+    {
+      "from": "n-11",
+      "to": "n-13",
+      "main": true
+    },
+    {
+      "from": "n-13",
+      "to": "n-26",
+      "main": true
+    }
+  ],
+  "rules": [
+    {
+      "id": "r-1",
+      "when": "Delay caused by Party A",
+      "then": "The schedule is extended accordingly",
+      "stageIds": [
+        "st-2",
+        "st-3",
+        "st-4"
+      ],
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "r-2",
+      "when": "Delay caused by Party B",
+      "then": "Party B pays a penalty: 0.1% per day, capped at 5%",
+      "outcome": "negative",
+      "stageIds": [
+        "st-2",
+        "st-3",
+        "st-4"
+      ],
+      "sourceIds": [
+        "s-1"
+      ]
+    }
+  ]
+}

package/examples/procedure/01-software-development-contract.zh-CN.json

@@ -0,0 +1,290 @@
+{
+  "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": "系统原型"
+    },
+    {
+      "id": "st-4",
+      "label": "系统交付"
+    },
+    {
+      "id": "st-5",
+      "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": "decision",
+      "label": "需求确认是否通过",
+      "stageId": "st-2"
+    },
+    {
+      "id": "n-5",
+      "kind": "step",
+      "label": "系统原型开发",
+      "detail": "2026-08-31 前完成",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-6",
+      "kind": "decision",
+      "label": "原型验收是否合格",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-7",
+      "kind": "step",
+      "label": "甲方支付二期款",
+      "detail": "480,000 元",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-3",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "n-8",
+      "kind": "step",
+      "label": "乙方整改",
+      "actorIds": [
+        "a-2"
+      ],
+      "outcome": "negative",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-9",
+      "kind": "step",
+      "label": "系统交付",
+      "detail": "2026-11-30 前完成",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-10",
+      "kind": "decision",
+      "label": "最终验收是否通过",
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-11",
+      "kind": "step",
+      "label": "甲方支付尾款",
+      "detail": "360,000 元",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-4",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "n-12",
+      "kind": "step",
+      "label": "乙方无条件整改",
+      "actorIds": [
+        "a-2"
+      ],
+      "outcome": "negative",
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-13",
+      "kind": "step",
+      "label": "项目完成",
+      "outcome": "positive",
+      "stageId": "st-5"
+    },
+    {
+      "id": "n-26",
+      "kind": "end",
+      "label": "合同终止",
+      "stageId": "st-5"
+    }
+  ],
+  "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-5",
+      "condition": "通过",
+      "main": true
+    },
+    {
+      "from": "n-4",
+      "to": "n-3",
+      "condition": "未通过"
+    },
+    {
+      "from": "n-5",
+      "to": "n-6",
+      "main": true
+    },
+    {
+      "from": "n-6",
+      "to": "n-7",
+      "condition": "合格",
+      "main": true
+    },
+    {
+      "from": "n-6",
+      "to": "n-8",
+      "condition": "不合格"
+    },
+    {
+      "from": "n-8",
+      "to": "n-6"
+    },
+    {
+      "from": "n-7",
+      "to": "n-9",
+      "main": true
+    },
+    {
+      "from": "n-9",
+      "to": "n-10",
+      "main": true
+    },
+    {
+      "from": "n-10",
+      "to": "n-11",
+      "condition": "通过",
+      "main": true
+    },
+    {
+      "from": "n-10",
+      "to": "n-12",
+      "condition": "未通过"
+    },
+    {
+      "from": "n-12",
+      "to": "n-10"
+    },
+    {
+      "from": "n-11",
+      "to": "n-13",
+      "main": true
+    },
+    {
+      "from": "n-13",
+      "to": "n-26",
+      "main": true
+    }
+  ],
+  "rules": [
+    {
+      "id": "r-1",
+      "when": "甲方原因导致延期",
+      "then": "工期相应顺延",
+      "stageIds": [
+        "st-2",
+        "st-3",
+        "st-4"
+      ],
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "r-2",
+      "when": "乙方原因导致延期",
+      "then": "乙方支付违约金：每日 0.1%，总额不超 5%",
+      "outcome": "negative",
+      "stageIds": [
+        "st-2",
+        "st-3",
+        "st-4"
+      ],
+      "sourceIds": [
+        "s-1"
+      ]
+    }
+  ]
+}

package/examples/procedure/02-purchase-contract.en.json

@@ -0,0 +1,46 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Purchase Contract · Performance Flow",
+  "domain": "contract-performance",
+  "actors": [
+    { "id": "a-1", "name": "Party A", "role": "Buyer" },
+    { "id": "a-2", "name": "Party B", "role": "Seller" }
+  ],
+  "sources": [
+    { "id": "s-1", "type": "contract", "name": "Purchase Contract", "loc": { "file": "采购合同.docx" } }
+  ],
+  "stages": [
+    { "id": "st-1", "label": "Ordering and delivery" },
+    { "id": "st-2", "label": "Inspection and payment" },
+    { "id": "st-3", "label": "Quality dispute" }
+  ],
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "Contract signed", "stageId": "st-1", "detail": "PO-2026-088 · total price ≈ ¥80,000", "sourceIds": ["s-1"] },
+    { "id": "n-2", "kind": "step", "label": "Party A places order", "stageId": "st-1", "actorIds": ["a-1"] },
+    { "id": "n-3", "kind": "step", "label": "Party B ships goods", "stageId": "st-1", "actorIds": ["a-2"] },
+    { "id": "n-4", "kind": "step", "label": "Party A receives goods", "stageId": "st-1", "actorIds": ["a-1"] },
+    { "id": "n-5", "kind": "decision", "label": "Goods quality conforming?", "stageId": "st-2" },
+    { "id": "n-6", "kind": "step", "label": "Party A pays", "stageId": "st-2", "actorIds": ["a-1"] },
+    { "id": "n-7", "kind": "step", "label": "Party A raises quality objection", "stageId": "st-3", "actorIds": ["a-1"] },
+    { "id": "n-8", "kind": "step", "label": "Both parties negotiate", "stageId": "st-3", "actorIds": ["a-1", "a-2"] },
+    { "id": "n-9", "kind": "decision", "label": "Negotiation successful?", "stageId": "st-3" },
+    { "id": "n-10", "kind": "step", "label": "Breach handling", "stageId": "st-3", "detail": "Breaching party compensates losses", "outcome": "negative" },
+    { "id": "n-11", "kind": "end", "label": "Performance complete", "stageId": "st-2", "outcome": "positive" },
+    { "id": "n-12", "kind": "end", "label": "Contract terminated", "stageId": "st-3", "outcome": "negative" }
+  ],
+  "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-5", "main": true },
+    { "from": "n-5", "to": "n-6", "condition": "Conforming", "main": true },
+    { "from": "n-5", "to": "n-7", "condition": "Non-conforming" },
+    { "from": "n-7", "to": "n-8" },
+    { "from": "n-8", "to": "n-9" },
+    { "from": "n-9", "to": "n-6", "condition": "Yes" },
+    { "from": "n-9", "to": "n-10", "condition": "No" },
+    { "from": "n-6", "to": "n-11", "main": true },
+    { "from": "n-10", "to": "n-12" }
+  ]
+}

package/examples/procedure/02-purchase-contract.zh-CN.json

@@ -0,0 +1,46 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "采购合同 · 履行流程",
+  "domain": "contract-performance",
+  "actors": [
+    { "id": "a-1", "name": "甲方", "role": "买方" },
+    { "id": "a-2", "name": "乙方", "role": "卖方" }
+  ],
+  "sources": [
+    { "id": "s-1", "type": "contract", "name": "采购合同", "loc": { "file": "采购合同.docx" } }
+  ],
+  "stages": [
+    { "id": "st-1", "label": "订货与交付" },
+    { "id": "st-2", "label": "验收与付款" },
+    { "id": "st-3", "label": "质量争议" }
+  ],
+  "nodes": [
+    { "id": "n-1", "kind": "start", "label": "合同签订", "stageId": "st-1", "detail": "PO-2026-088 · 总价款约 ¥80,000", "sourceIds": ["s-1"] },
+    { "id": "n-2", "kind": "step", "label": "甲方下单", "stageId": "st-1", "actorIds": ["a-1"] },
+    { "id": "n-3", "kind": "step", "label": "乙方发货", "stageId": "st-1", "actorIds": ["a-2"] },
+    { "id": "n-4", "kind": "step", "label": "甲方收货", "stageId": "st-1", "actorIds": ["a-1"] },
+    { "id": "n-5", "kind": "decision", "label": "货物质量是否合格", "stageId": "st-2" },
+    { "id": "n-6", "kind": "step", "label": "甲方付款", "stageId": "st-2", "actorIds": ["a-1"] },
+    { "id": "n-7", "kind": "step", "label": "甲方提出质量异议", "stageId": "st-3", "actorIds": ["a-1"] },
+    { "id": "n-8", "kind": "step", "label": "双方协商解决", "stageId": "st-3", "actorIds": ["a-1", "a-2"] },
+    { "id": "n-9", "kind": "decision", "label": "协商是否成功", "stageId": "st-3" },
+    { "id": "n-10", "kind": "step", "label": "违约处理", "stageId": "st-3", "detail": "违约方赔偿损失", "outcome": "negative" },
+    { "id": "n-11", "kind": "end", "label": "合同履行完毕", "stageId": "st-2", "outcome": "positive" },
+    { "id": "n-12", "kind": "end", "label": "合同终止", "stageId": "st-3", "outcome": "negative" }
+  ],
+  "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-5", "main": true },
+    { "from": "n-5", "to": "n-6", "condition": "合格", "main": true },
+    { "from": "n-5", "to": "n-7", "condition": "不合格" },
+    { "from": "n-7", "to": "n-8" },
+    { "from": "n-8", "to": "n-9" },
+    { "from": "n-9", "to": "n-6", "condition": "是" },
+    { "from": "n-9", "to": "n-10", "condition": "否" },
+    { "from": "n-6", "to": "n-11", "main": true },
+    { "from": "n-10", "to": "n-12" }
+  ]
+}