@zh-xx/antu 0.9.0

package/examples/procedure/05-premises-lease.en.json

@@ -0,0 +1,344 @@
+{
+  "type": "procedure",
+  "specVersion": 1,
+  "title": "Premises Lease · Performance Flow",
+  "domain": "contract-performance",
+  "actors": [
+    {
+      "id": "a-1",
+      "name": "Party A",
+      "role": "landlord"
+    },
+    {
+      "id": "a-2",
+      "name": "Party B",
+      "role": "tenant"
+    }
+  ],
+  "stages": [
+    {
+      "id": "st-1",
+      "label": "Delivery and deposit"
+    },
+    {
+      "id": "st-2",
+      "label": "Lease term and rent"
+    },
+    {
+      "id": "st-3",
+      "label": "Expiry, renewal and handover"
+    },
+    {
+      "id": "st-4",
+      "label": "Rescission"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "contract",
+      "name": "Premises Lease",
+      "loc": {
+        "file": "Premises Lease.docx"
+      }
+    }
+  ],
+  "nodes": [
+    {
+      "id": "n-1",
+      "kind": "start",
+      "label": "Lease signed and effective",
+      "stageId": "st-1",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "n-2",
+      "kind": "step",
+      "label": "Party A delivers the premises",
+      "detail": "before 1 August 2026",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-1"
+    },
+    {
+      "id": "n-4",
+      "kind": "step",
+      "label": "Party B pays the deposit",
+      "detail": "RMB 324,000",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-1"
+    },
+    {
+      "id": "n-8",
+      "kind": "step",
+      "label": "Lease term",
+      "detail": "1 Aug 2026 - 31 Jul 2029",
+      "stageId": "st-2"
+    },
+    {
+      "id": "n-9",
+      "kind": "step",
+      "label": "Party B pays the monthly rent",
+      "detail": "by the 5th of each month",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-2"
+    },
+    {
+      "id": "n-15",
+      "kind": "decision",
+      "label": "Renew the lease?",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-16",
+      "kind": "step",
+      "label": "Party B gives 90 days' written notice to renew",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-17",
+      "kind": "step",
+      "label": "Priority renewal on equal terms",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-18",
+      "kind": "end",
+      "label": "Lease renewed",
+      "outcome": "positive",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-19",
+      "kind": "step",
+      "label": "Party A lets the premises to another",
+      "detail": "no notice 90 days before expiry",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-20",
+      "kind": "step",
+      "label": "Party B vacates",
+      "detail": "within 15 days after expiry",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-21",
+      "kind": "step",
+      "label": "Party B restores the premises",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-22",
+      "kind": "step",
+      "label": "Party A inspects",
+      "detail": "within 10 business days",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-23",
+      "kind": "decision",
+      "label": "Inspection passed?",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-24",
+      "kind": "step",
+      "label": "Party A refunds the deposit without interest",
+      "detail": "within 15 business days",
+      "actorIds": [
+        "a-1"
+      ],
+      "outcome": "positive",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-25",
+      "kind": "step",
+      "label": "Party B rectifies; re-inspection",
+      "actorIds": [
+        "a-2"
+      ],
+      "outcome": "negative",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-26",
+      "kind": "end",
+      "label": "Lease terminated",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-30",
+      "kind": "end",
+      "label": "Lease rescinded",
+      "outcome": "negative",
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-33",
+      "kind": "decision",
+      "label": "Lease term over?",
+      "stageId": "st-2"
+    }
+  ],
+  "edges": [
+    {
+      "from": "n-1",
+      "to": "n-2",
+      "main": true
+    },
+    {
+      "from": "n-4",
+      "to": "n-8",
+      "main": true
+    },
+    {
+      "from": "n-8",
+      "to": "n-9",
+      "main": true
+    },
+    {
+      "from": "n-15",
+      "to": "n-16",
+      "condition": "Yes"
+    },
+    {
+      "from": "n-15",
+      "to": "n-19",
+      "condition": "No",
+      "main": true
+    },
+    {
+      "from": "n-16",
+      "to": "n-17"
+    },
+    {
+      "from": "n-17",
+      "to": "n-18"
+    },
+    {
+      "from": "n-19",
+      "to": "n-20",
+      "main": true
+    },
+    {
+      "from": "n-20",
+      "to": "n-21",
+      "main": true
+    },
+    {
+      "from": "n-21",
+      "to": "n-22",
+      "main": true
+    },
+    {
+      "from": "n-22",
+      "to": "n-23",
+      "main": true
+    },
+    {
+      "from": "n-23",
+      "to": "n-24",
+      "condition": "Yes",
+      "main": true
+    },
+    {
+      "from": "n-23",
+      "to": "n-25",
+      "condition": "No"
+    },
+    {
+      "from": "n-25",
+      "to": "n-22"
+    },
+    {
+      "from": "n-24",
+      "to": "n-26",
+      "main": true
+    },
+    {
+      "from": "n-2",
+      "to": "n-4",
+      "main": true
+    },
+    {
+      "from": "n-9",
+      "to": "n-33",
+      "main": true
+    },
+    {
+      "from": "n-33",
+      "to": "n-9",
+      "condition": "No, next month"
+    },
+    {
+      "from": "n-33",
+      "to": "n-15",
+      "condition": "Yes",
+      "main": true
+    }
+  ],
+  "rules": [
+    {
+      "id": "r-1",
+      "when": "Party A delivers the premises late",
+      "then": "Party A pays liquidated damages for late delivery: 0.1% of the monthly rent per day",
+      "outcome": "negative",
+      "stageIds": [
+        "st-1"
+      ]
+    },
+    {
+      "id": "r-2",
+      "when": "Party A is more than 30 days late in delivering",
+      "then": "Party B may rescind: Party A refunds rent and deposit and pays 3 months' rent",
+      "outcome": "negative",
+      "stageIds": [
+        "st-1"
+      ],
+      "endId": "n-30"
+    },
+    {
+      "id": "r-3",
+      "when": "Party B pays rent late",
+      "then": "Party B pays a late-payment penalty: 0.05% of the monthly rent per day",
+      "outcome": "negative",
+      "stageIds": [
+        "st-2"
+      ]
+    },
+    {
+      "id": "r-4",
+      "when": "Party B is more than 15 days late with rent",
+      "then": "Party A may rescind: Party B pays 3 months' rent as damages (from the deposit), vacates and restores; items left are disposed of by Party A",
+      "outcome": "negative",
+      "stageIds": [
+        "st-2"
+      ],
+      "endId": "n-30"
+    }
+  ]
+}

package/examples/procedure/05-premises-lease.zh-CN.json

@@ -0,0 +1,344 @@
+{
+  "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": "解除"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "contract",
+      "name": "房屋租赁合同",
+      "loc": {
+        "file": "房屋租赁合同.docx"
+      }
+    }
+  ],
+  "nodes": [
+    {
+      "id": "n-1",
+      "kind": "start",
+      "label": "合同签署生效",
+      "stageId": "st-1",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "n-2",
+      "kind": "step",
+      "label": "甲方交付房屋",
+      "detail": "2026 年 8 月 1 日前",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-1"
+    },
+    {
+      "id": "n-4",
+      "kind": "step",
+      "label": "乙方支付押金",
+      "detail": "324,000 元",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-1"
+    },
+    {
+      "id": "n-8",
+      "kind": "step",
+      "label": "租赁期",
+      "detail": "2026.8.1 - 2029.7.31",
+      "stageId": "st-2"
+    },
+    {
+      "id": "n-9",
+      "kind": "step",
+      "label": "乙方支付当月租金",
+      "detail": "每月 5 日前",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-2"
+    },
+    {
+      "id": "n-15",
+      "kind": "decision",
+      "label": "是否续租",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-16",
+      "kind": "step",
+      "label": "乙方提前 90 日书面通知续租",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-17",
+      "kind": "step",
+      "label": "同等条件优先续租",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-18",
+      "kind": "end",
+      "label": "续签合同",
+      "outcome": "positive",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-19",
+      "kind": "step",
+      "label": "甲方另行出租",
+      "detail": "租赁期届满前 90 日未通知",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-20",
+      "kind": "step",
+      "label": "乙方腾退",
+      "detail": "届满后 15 日内",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-21",
+      "kind": "step",
+      "label": "乙方恢复房屋原状",
+      "actorIds": [
+        "a-2"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-22",
+      "kind": "step",
+      "label": "甲方验收",
+      "detail": "10 个工作日内",
+      "actorIds": [
+        "a-1"
+      ],
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-23",
+      "kind": "decision",
+      "label": "验收是否合格",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-24",
+      "kind": "step",
+      "label": "甲方无息退还押金",
+      "detail": "15 个工作日内",
+      "actorIds": [
+        "a-1"
+      ],
+      "outcome": "positive",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-25",
+      "kind": "step",
+      "label": "乙方整改后重新验收",
+      "actorIds": [
+        "a-2"
+      ],
+      "outcome": "negative",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-26",
+      "kind": "end",
+      "label": "合同终止",
+      "stageId": "st-3"
+    },
+    {
+      "id": "n-30",
+      "kind": "end",
+      "label": "合同解除",
+      "outcome": "negative",
+      "stageId": "st-4"
+    },
+    {
+      "id": "n-33",
+      "kind": "decision",
+      "label": "租赁期是否届满",
+      "stageId": "st-2"
+    }
+  ],
+  "edges": [
+    {
+      "from": "n-1",
+      "to": "n-2",
+      "main": true
+    },
+    {
+      "from": "n-4",
+      "to": "n-8",
+      "main": true
+    },
+    {
+      "from": "n-8",
+      "to": "n-9",
+      "main": true
+    },
+    {
+      "from": "n-15",
+      "to": "n-16",
+      "condition": "是"
+    },
+    {
+      "from": "n-15",
+      "to": "n-19",
+      "condition": "否",
+      "main": true
+    },
+    {
+      "from": "n-16",
+      "to": "n-17"
+    },
+    {
+      "from": "n-17",
+      "to": "n-18"
+    },
+    {
+      "from": "n-19",
+      "to": "n-20",
+      "main": true
+    },
+    {
+      "from": "n-20",
+      "to": "n-21",
+      "main": true
+    },
+    {
+      "from": "n-21",
+      "to": "n-22",
+      "main": true
+    },
+    {
+      "from": "n-22",
+      "to": "n-23",
+      "main": true
+    },
+    {
+      "from": "n-23",
+      "to": "n-24",
+      "condition": "是",
+      "main": true
+    },
+    {
+      "from": "n-23",
+      "to": "n-25",
+      "condition": "否"
+    },
+    {
+      "from": "n-25",
+      "to": "n-22"
+    },
+    {
+      "from": "n-24",
+      "to": "n-26",
+      "main": true
+    },
+    {
+      "from": "n-2",
+      "to": "n-4",
+      "main": true
+    },
+    {
+      "from": "n-9",
+      "to": "n-33",
+      "main": true
+    },
+    {
+      "from": "n-33",
+      "to": "n-9",
+      "condition": "否，下月继续"
+    },
+    {
+      "from": "n-33",
+      "to": "n-15",
+      "condition": "是",
+      "main": true
+    }
+  ],
+  "rules": [
+    {
+      "id": "r-1",
+      "when": "甲方逾期交付房屋",
+      "then": "甲方支付逾期交付违约金：每日按当月租金 0.1%",
+      "outcome": "negative",
+      "stageIds": [
+        "st-1"
+      ]
+    },
+    {
+      "id": "r-2",
+      "when": "甲方逾期交付超过 30 日",
+      "then": "乙方可解除合同：甲方退还租金押金并支付 3 个月租金赔偿",
+      "outcome": "negative",
+      "stageIds": [
+        "st-1"
+      ],
+      "endId": "n-30"
+    },
+    {
+      "id": "r-3",
+      "when": "乙方逾期支付租金",
+      "then": "乙方支付滞纳金：每日按当月租金 0.05%",
+      "outcome": "negative",
+      "stageIds": [
+        "st-2"
+      ]
+    },
+    {
+      "id": "r-4",
+      "when": "乙方逾期支付租金超过 15 日",
+      "then": "甲方可解除合同：乙方支付 3 个月租金违约金（从押金抵扣），腾退并恢复原状，遗留物品由甲方处置",
+      "outcome": "negative",
+      "stageIds": [
+        "st-2"
+      ],
+      "endId": "n-30"
+    }
+  ]
+}