@zh-xx/antu 0.9.0

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

@@ -0,0 +1,57 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "Minimal: two parties, three time slots",
+  "actors": [
+    {
+      "id": "a-1",
+      "name": "Party A",
+      "role": "plaintiff"
+    },
+    {
+      "id": "a-2",
+      "name": "Party B",
+      "role": "defendant"
+    }
+  ],
+  "slots": [
+    {
+      "events": [
+        {
+          "id": "ev-1",
+          "date": "2023-03-10",
+          "label": "The parties sign the loan contract",
+          "summary": "RMB 5m, 12 months",
+          "actorIds": [
+            "a-1",
+            "a-2"
+          ]
+        }
+      ]
+    },
+    {
+      "events": [
+        {
+          "id": "ev-2",
+          "date": "2023-03-12",
+          "label": "Party A disburses RMB 5m",
+          "actorIds": [
+            "a-1"
+          ]
+        }
+      ]
+    },
+    {
+      "events": [
+        {
+          "id": "ev-3",
+          "date": "2024-03-11",
+          "label": "Repayment falls due; Party B fails to pay",
+          "actorIds": [
+            "a-2"
+          ]
+        }
+      ]
+    }
+  ]
+}

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

@@ -0,0 +1,29 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "最小示例：两个主体、三个时间点",
+  "actors": [
+    { "id": "a-1", "name": "华远贸易", "role": "原告" },
+    { "id": "a-2", "name": "鑫城建材", "role": "被告" }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2023-03-10", "label": "双方签订借款合同",
+          "summary": "本金 500 万，期限 12 个月", "actorIds": ["a-1", "a-2"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2023-03-12", "label": "华远贸易放款 500 万",
+          "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "date": "2024-03-11", "label": "还款期届满，鑫城建材未还款",
+          "actorIds": ["a-2"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/2-single-actor.en.json

@@ -0,0 +1,66 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "Single actor: one party, two sides by nature",
+  "actors": [
+    {
+      "id": "a-1",
+      "name": "Guo",
+      "role": "plaintiff"
+    }
+  ],
+  "groups": [
+    {
+      "id": "g-1",
+      "label": "Normal (performance as agreed)"
+    },
+    {
+      "id": "g-2",
+      "label": "Abnormal (deviation from the agreement)"
+    }
+  ],
+  "views": [
+    {
+      "label": "By performance",
+      "splitBy": "group"
+    },
+    {
+      "label": "Chronological only",
+      "splitBy": "actor",
+      "side1": {
+        "actors": []
+      },
+      "side2": {
+        "actors": []
+      }
+    }
+  ],
+  "slots": [
+    {
+      "events": [
+        {
+          "id": "ev-1",
+          "date": "2019-04-27",
+          "label": "Annual pass issued and fingerprint enrolled",
+          "groupId": "g-1",
+          "actorIds": [
+            "a-1"
+          ]
+        }
+      ]
+    },
+    {
+      "events": [
+        {
+          "id": "ev-2",
+          "date": "2019-10-17",
+          "label": "Text received: no entry without face scan",
+          "groupId": "g-2",
+          "actorIds": [
+            "a-1"
+          ]
+        }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/2-single-actor.zh-CN.json

@@ -0,0 +1,28 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "单主体：一个主体，按性质分两侧",
+  "actors": [{ "id": "a-1", "name": "郭某", "role": "原告" }],
+  "groups": [
+    { "id": "g-1", "label": "正常（按约定履行）" },
+    { "id": "g-2", "label": "异常（偏离约定）" }
+  ],
+  "views": [
+    { "label": "按履约情况", "splitBy": "group" },
+    { "label": "只看时间先后", "splitBy": "actor", "side1": { "actors": [] }, "side2": { "actors": [] } }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2019-04-27", "label": "办理年卡并录入指纹",
+          "groupId": "g-1", "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2019-10-17", "label": "收到短信：不刷脸无法入园",
+          "groupId": "g-2", "actorIds": ["a-1"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/3-groups.en.json

@@ -0,0 +1,34 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "Groups: groupId decides which side an event falls on",
+  "actors": [
+    { "id": "a-1", "name": "Party A" },
+    { "id": "a-2", "name": "Party B" }
+  ],
+  "groups": [
+    { "id": "g-1", "label": "Party A's acts" },
+    { "id": "g-2", "label": "Party B's acts" },
+    { "id": "g-3", "label": "Joint acts or objective course" }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2023-05-01", "label": "The parties sign the construction contract",
+          "groupId": "g-3", "actorIds": ["a-1", "a-2"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2023-08-20", "label": "The contractor submits the settlement statement",
+          "groupId": "g-2", "actorIds": ["a-2"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "date": "2023-09-15", "label": "The owner fails to review within the agreed period",
+          "groupId": "g-1", "actorIds": ["a-1"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/3-groups.zh-CN.json

@@ -0,0 +1,34 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "分组：用 groupId 决定事件落在哪一侧",
+  "actors": [
+    { "id": "a-1", "name": "发包方" },
+    { "id": "a-2", "name": "承包方" }
+  ],
+  "groups": [
+    { "id": "g-1", "label": "发包方的行为" },
+    { "id": "g-2", "label": "承包方的行为" },
+    { "id": "g-3", "label": "双方共同或客观经过" }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2023-05-01", "label": "双方签订施工合同",
+          "groupId": "g-3", "actorIds": ["a-1", "a-2"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2023-08-20", "label": "承包方提交结算书",
+          "groupId": "g-2", "actorIds": ["a-2"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "date": "2023-09-15", "label": "发包方未在约定期限内审核",
+          "groupId": "g-1", "actorIds": ["a-1"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/4-views.en.json

@@ -0,0 +1,44 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "Views: the same data, seen two ways",
+  "actors": [
+    { "id": "a-1", "name": "Huayuan Trading" },
+    { "id": "a-2", "name": "Xincheng Building Materials" }
+  ],
+  "groups": [
+    { "id": "g-1", "label": "Performance as agreed" },
+    { "id": "g-2", "label": "Deviation from the agreement" }
+  ],
+  "views": [
+    {
+      "label": "Parties side by side",
+      "splitBy": "actor",
+      "side1": { "label": "Huayuan Trading", "actors": ["a-1"] },
+      "side2": { "label": "Xincheng Building Materials", "actors": ["a-2"] },
+      "axis": { "label": "Common to both parties" }
+    },
+    { "label": "Split by group", "splitBy": "group" },
+    { "label": "Huayuan Trading only", "splitBy": "actor", "side1": { "actors": ["a-1"] }, "side2": { "actors": [] } }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2023-03-10", "label": "The loan contract is signed",
+          "actorIds": ["a-1", "a-2"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2023-03-12", "label": "Huayuan Trading disburses the loan",
+          "groupId": "g-1", "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "date": "2024-03-11", "label": "Xincheng Building Materials fails to repay on time",
+          "groupId": "g-2", "actorIds": ["a-2"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/4-views.zh-CN.json

@@ -0,0 +1,44 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "视角：同一份数据，两种看法",
+  "actors": [
+    { "id": "a-1", "name": "华远贸易" },
+    { "id": "a-2", "name": "鑫城建材" }
+  ],
+  "groups": [
+    { "id": "g-1", "label": "按约定履行" },
+    { "id": "g-2", "label": "偏离约定" }
+  ],
+  "views": [
+    {
+      "label": "双方对照",
+      "splitBy": "actor",
+      "side1": { "label": "华远贸易", "actors": ["a-1"] },
+      "side2": { "label": "鑫城建材", "actors": ["a-2"] },
+      "axis": { "label": "双方共同" }
+    },
+    { "label": "按性质分侧", "splitBy": "group" },
+    { "label": "只看华远贸易", "splitBy": "actor", "side1": { "actors": ["a-1"] }, "side2": { "actors": [] } }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2023-03-10", "label": "签订借款合同",
+          "actorIds": ["a-1", "a-2"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2023-03-12", "label": "华远贸易放款",
+          "groupId": "g-1", "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "date": "2024-03-11", "label": "鑫城建材逾期未还",
+          "groupId": "g-2", "actorIds": ["a-2"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/5-duration.en.json

@@ -0,0 +1,28 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "Time: spans, approximations, and why they are recorded this way",
+  "actors": [{ "id": "a-1", "name": "Sun" }],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2030-06-02T20:14:16", "dateEnd": "2030-06-02T20:16:24",
+          "label": "The two keep talking in the corridor",
+          "summary": "Talk only, under 5 min", "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2030-06-02T20:23", "approx": true,
+          "dateNote": "Not captured on surveillance; inferred from the parties' accounts",
+          "label": "Argument at the property duty room door", "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "date": "2030-06-02", "label": "Qian has a sudden heart problem",
+          "detail": "The judgment gives no exact time; it is recorded only to the day", "actorIds": ["a-1"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/5-duration.zh-CN.json

@@ -0,0 +1,28 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "时间：起止、近似、以及为什么这么记",
+  "actors": [{ "id": "a-1", "name": "孙某" }],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2030-06-02T20:14:16", "dateEnd": "2030-06-02T20:16:24",
+          "label": "双方在楼道内持续言语交流",
+          "summary": "接触不足五分钟，无肢体接触", "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2030-06-02T20:23", "approx": true,
+          "dateNote": "监控未拍到，按双方陈述推算",
+          "label": "物业值班室门口争执", "actorIds": ["a-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "date": "2030-06-02", "label": "钱某突发心脏不适",
+          "detail": "判决书未载明具体时刻，只到日级", "actorIds": ["a-1"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/6-sources.en.json

@@ -0,0 +1,30 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "Sources: every fact is traced to its source",
+  "actors": [
+    { "id": "a-1", "name": "Sun" },
+    { "id": "a-2", "name": "Qian" }
+  ],
+  "sources": [
+    { "id": "s-1", "type": "evidence", "name": "Corridor surveillance video",
+      "loc": { "file": "监控视频.mov", "timestamp": "20:14:03" },
+      "quote": "Qian Min charges a battery in the corridor…… the two begin to talk…… the two walk out of the corridor" },
+    { "id": "s-2", "type": "judgment", "name": "First-instance judgment",
+      "loc": { "file": "shi-min-zhong-1.pdf", "page": 5 } }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2030-06-02T20:14:03", "label": "Qian charges a battery in the corridor",
+          "actorIds": ["a-2"], "sourceIds": ["s-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2030-06-02T20:14:16", "label": "Sun objects to Qian's charging",
+          "actorIds": ["a-1", "a-2"], "sourceIds": ["s-1", "s-2"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/6-sources.zh-CN.json

@@ -0,0 +1,30 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "来源：每个事实都标明出处",
+  "actors": [
+    { "id": "a-1", "name": "孙某" },
+    { "id": "a-2", "name": "钱某" }
+  ],
+  "sources": [
+    { "id": "s-1", "type": "evidence", "name": "楼道监控视频",
+      "loc": { "file": "监控视频.mov", "timestamp": "20:14:03" },
+      "quote": "钱敏在楼道内充电……双方开始有语言交流……双方走出楼道" },
+    { "id": "s-2", "type": "judgment", "name": "一审判决书",
+      "loc": { "file": "示民终1号.pdf", "page": 5 } }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2030-06-02T20:14:03", "label": "钱某在楼道内充电",
+          "actorIds": ["a-2"], "sourceIds": ["s-1"] }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2030-06-02T20:14:16", "label": "孙某劝阻钱某",
+          "actorIds": ["a-1", "a-2"], "sourceIds": ["s-1", "s-2"] }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/7-undated.en.json

@@ -0,0 +1,34 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "An event with no date: leave date out, the card says the date is unknown",
+  "actors": [
+    { "id": "a-1", "name": "Huayuan Trading", "role": "lender" },
+    { "id": "a-2", "name": "Xincheng Building Materials", "role": "borrower" }
+  ],
+  "groups": [
+    { "id": "g-1", "label": "Huayuan Trading" },
+    { "id": "g-2", "label": "Xincheng Building Materials" }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2024-03-11", "label": "The repayment date passes, no repayment",
+          "actorIds": ["a-2"], "groupId": "g-2" }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2024-04-02", "label": "A demand letter is sent",
+          "actorIds": ["a-1"], "groupId": "g-1" }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "label": "No reply ever followed",
+          "summary": "The material gives no date",
+          "actorIds": ["a-2"], "groupId": "g-2" }
+      ]
+    }
+  ]
+}

package/examples/agent/fact/7-undated.zh-CN.json

@@ -0,0 +1,34 @@
+{
+  "type": "fact",
+  "specVersion": 1,
+  "title": "没有日期的事件：不写 date，卡片上显示“日期不详”",
+  "actors": [
+    { "id": "a-1", "name": "华远贸易", "role": "出借方" },
+    { "id": "a-2", "name": "鑫城建材", "role": "借款方" }
+  ],
+  "groups": [
+    { "id": "g-1", "label": "华远贸易" },
+    { "id": "g-2", "label": "鑫城建材" }
+  ],
+  "slots": [
+    {
+      "events": [
+        { "id": "ev-1", "date": "2024-03-11", "label": "还款期限届满，未还款",
+          "actorIds": ["a-2"], "groupId": "g-2" }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-2", "date": "2024-04-02", "label": "发出催款函",
+          "actorIds": ["a-1"], "groupId": "g-1" }
+      ]
+    },
+    {
+      "events": [
+        { "id": "ev-3", "label": "此后一直没有回复",
+          "summary": "材料没有给出日期",
+          "actorIds": ["a-2"], "groupId": "g-2" }
+      ]
+    }
+  ]
+}

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

@@ -0,0 +1,83 @@
+{
+  "specVersion": 1,
+  "type": "justification",
+  "title": "The smallest that works: a conclusion, one norm, one element, two facts",
+  "nodes": [
+    {
+      "id": "c-1",
+      "kind": "conclusion",
+      "label": "B must pay A the rent in arrears",
+      "holds": "yes"
+    },
+    {
+      "id": "n-1",
+      "kind": "norm",
+      "label": "Civil Code Art. 509(1): 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": "The lease says B pays 3,000 a month by the 5th",
+      "sourceIds": [
+        "s-2"
+      ]
+    },
+    {
+      "id": "f-2",
+      "kind": "fact",
+      "label": "B has paid no rent since March 2024",
+      "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": "Civil Code, Art. 509",
+      "loc": {
+        "lawName": "Civil Code of the People's Republic of China",
+        "article": 509,
+        "version": "2020"
+      }
+    },
+    {
+      "id": "s-2",
+      "type": "evidence",
+      "name": "The lease and the payment record",
+      "loc": {
+        "file": "lease.pdf",
+        "page": 1
+      }
+    }
+  ]
+}