@zh-xx/antu 0.9.0

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

@@ -0,0 +1,83 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "最小可用：一个结论，靠一条规范、一个要件、两条事实",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "乙应向甲支付拖欠的租金",
+      "holds": "yes"
+    },
+    {
+      "id": "n-1",
+      "kind": "norm",
+      "label": "民法典第 509 条第 1 款：当事人应当按照约定全面履行自己的义务",
+      "sourceIds": [
+        "s-1"
+      ]
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "乙没有按约定履行付租金的义务",
+      "holds": "yes"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "合同约定乙每月 5 日前付租金 3000 元",
+      "sourceIds": [
+        "s-2"
+      ]
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "乙自 2024 年 3 月起没有再付租金",
+      "sourceIds": [
+        "s-2"
+      ]
+    }
+  ],
+  "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": "evidence",
+      "name": "租赁合同和付款记录",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/justification/2-against-and-rejected.en.json

@@ -0,0 +1,82 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "The rejected side: B's defence fails",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "B must pay the rent",
+      "holds": "yes"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "B did not pay the rent",
+      "holds": "yes"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "B has paid no rent since March 2024",
+      "sourceIds": [
+        "s-2"
+      ]
+    },
+    {
+      "id": "e-2",
+      "kind": "element",
+      "label": "B may withhold rent because of the leak",
+      "holds": "no"
+    },
+    {
+      "id": "j-1",
+      "kind": "judgement",
+      "label": "The leak did not stop B living there normally",
+      "holds": "yes"
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "The leak was on the balcony only, and B stayed in the flat",
+      "sourceIds": [
+        "s-2"
+      ]
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "e-1",
+      "to": "c-1"
+    },
+    {
+      "from": "f-2",
+      "to": "j-1"
+    },
+    {
+      "from": "j-1",
+      "to": "e-2",
+      "stance": "against"
+    },
+    {
+      "from": "e-2",
+      "to": "c-1",
+      "stance": "against"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-2",
+      "type": "evidence",
+      "name": "The lease and the payment record",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/justification/2-against-and-rejected.zh-CN.json

@@ -0,0 +1,82 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "被否定的一方：乙的抗辩不成立",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "乙应支付租金",
+      "holds": "yes"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "乙没有付租金",
+      "holds": "yes"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "乙自 2024 年 3 月起没有再付租金",
+      "sourceIds": [
+        "s-2"
+      ]
+    },
+    {
+      "id": "e-2",
+      "kind": "element",
+      "label": "乙有权因房屋漏水拒付租金",
+      "holds": "no"
+    },
+    {
+      "id": "j-1",
+      "kind": "judgement",
+      "label": "漏水没有影响正常居住",
+      "holds": "yes"
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "漏水只在阳台，乙一直住在房子里",
+      "sourceIds": [
+        "s-2"
+      ]
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "e-1",
+      "to": "c-1"
+    },
+    {
+      "from": "f-2",
+      "to": "j-1"
+    },
+    {
+      "from": "j-1",
+      "to": "e-2",
+      "stance": "against"
+    },
+    {
+      "from": "e-2",
+      "to": "c-1",
+      "stance": "against"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-2",
+      "type": "evidence",
+      "name": "租赁合同和付款记录",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/justification/3-issues.en.json

@@ -0,0 +1,107 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "Issues: one box per issue",
+  "groups": [
+    {
+      "id": "g-1",
+      "label": "Issue 1: did B break the contract"
+    },
+    {
+      "id": "g-2",
+      "label": "Issue 2: is the penalty too high"
+    }
+  ],
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "B pays the rent; the penalty is cut to 1,000",
+      "holds": "yes"
+    },
+    {
+      "id": "c-2",
+      "kind": "conclusion",
+      "label": "B is in breach",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "B paid the rent late",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "B paid March's rent only on 20 April",
+      "date": "2024-04-20",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-1"
+    },
+    {
+      "id": "c-3",
+      "kind": "conclusion",
+      "label": "The penalty should be cut",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "j-1",
+      "kind": "judgement",
+      "label": "The agreed penalty is well above A's actual loss",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "The lease sets the penalty at 5% of the monthly rent a day",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-2"
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "e-1",
+      "to": "c-2"
+    },
+    {
+      "from": "c-2",
+      "to": "c-1"
+    },
+    {
+      "from": "f-2",
+      "to": "j-1"
+    },
+    {
+      "from": "j-1",
+      "to": "c-3"
+    },
+    {
+      "from": "c-3",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "evidence",
+      "name": "The lease and the payment record",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/justification/3-issues.zh-CN.json

@@ -0,0 +1,107 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "争点：一个争点一个框",
+  "groups": [
+    {
+      "id": "g-1",
+      "label": "争点一：乙是否违约"
+    },
+    {
+      "id": "g-2",
+      "label": "争点二：违约金是否过高"
+    }
+  ],
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "乙应付租金，违约金酌减为 1000 元",
+      "holds": "yes"
+    },
+    {
+      "id": "c-2",
+      "kind": "conclusion",
+      "label": "乙违约",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "乙逾期未付租金",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "乙 3 月的租金拖到 4 月 20 日才付",
+      "date": "2024-04-20",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-1"
+    },
+    {
+      "id": "c-3",
+      "kind": "conclusion",
+      "label": "违约金应予酌减",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "j-1",
+      "kind": "judgement",
+      "label": "约定的违约金明显高于甲的实际损失",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "合同约定逾期每日按月租金的 5% 计违约金",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-2"
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "e-1",
+      "to": "c-2"
+    },
+    {
+      "from": "c-2",
+      "to": "c-1"
+    },
+    {
+      "from": "f-2",
+      "to": "j-1"
+    },
+    {
+      "from": "j-1",
+      "to": "c-3"
+    },
+    {
+      "from": "c-3",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "evidence",
+      "name": "租赁合同和付款记录",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/justification/4-shared-fact.en.json

@@ -0,0 +1,111 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "One fact, two issues: written once, drawn in both",
+  "groups": [
+    {
+      "id": "g-1",
+      "label": "Issue 1: did B break the contract"
+    },
+    {
+      "id": "g-2",
+      "label": "Issue 2: may A end the lease"
+    }
+  ],
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "A may end the lease, and B pays the rent",
+      "holds": "yes"
+    },
+    {
+      "id": "c-2",
+      "kind": "conclusion",
+      "label": "B is in breach",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "B paid the rent late",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "c-3",
+      "kind": "conclusion",
+      "label": "A may end the lease",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "e-2",
+      "kind": "element",
+      "label": "B still did not pay after a demand",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "B has paid no rent since March 2024",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-1"
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "A demanded payment in writing on 10 May and B did not reply",
+      "date": "2024-05-10",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-2"
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "f-1",
+      "to": "e-2"
+    },
+    {
+      "from": "f-2",
+      "to": "e-2"
+    },
+    {
+      "from": "e-1",
+      "to": "c-2"
+    },
+    {
+      "from": "c-2",
+      "to": "c-1"
+    },
+    {
+      "from": "e-2",
+      "to": "c-3"
+    },
+    {
+      "from": "c-3",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "evidence",
+      "name": "The lease, the payment record and the demand letter",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}

package/examples/agent/justification/4-shared-fact.zh-CN.json

@@ -0,0 +1,111 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "一条事实支持两个争点：写一遍，图上画两份",
+  "groups": [
+    {
+      "id": "g-1",
+      "label": "争点一：乙是否违约"
+    },
+    {
+      "id": "g-2",
+      "label": "争点二：甲是否有权解除合同"
+    }
+  ],
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "甲有权解除合同，乙应付租金",
+      "holds": "yes"
+    },
+    {
+      "id": "c-2",
+      "kind": "conclusion",
+      "label": "乙违约",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "e-1",
+      "kind": "element",
+      "label": "乙逾期未付租金",
+      "holds": "yes",
+      "groupId": "g-1"
+    },
+    {
+      "id": "c-3",
+      "kind": "conclusion",
+      "label": "甲有权解除合同",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "e-2",
+      "kind": "element",
+      "label": "乙经催告后仍未付租金",
+      "holds": "yes",
+      "groupId": "g-2"
+    },
+    {
+      "id": "f-1",
+      "kind": "fact",
+      "label": "乙自 2024 年 3 月起没有再付租金",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-1"
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "甲在 5 月 10 日书面催告，乙没有回复",
+      "date": "2024-05-10",
+      "sourceIds": [
+        "s-1"
+      ],
+      "groupId": "g-2"
+    }
+  ],
+  "links": [
+    {
+      "from": "f-1",
+      "to": "e-1"
+    },
+    {
+      "from": "f-1",
+      "to": "e-2"
+    },
+    {
+      "from": "f-2",
+      "to": "e-2"
+    },
+    {
+      "from": "e-1",
+      "to": "c-2"
+    },
+    {
+      "from": "c-2",
+      "to": "c-1"
+    },
+    {
+      "from": "e-2",
+      "to": "c-3"
+    },
+    {
+      "from": "c-3",
+      "to": "c-1"
+    }
+  ],
+  "sources": [
+    {
+      "id": "s-1",
+      "type": "evidence",
+      "name": "租赁合同、付款记录和催告函",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}