@zh-xx/antu 0.9.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (118) hide show
  1. package/LICENSE +661 -0
  2. package/README.md +11 -0
  3. package/THIRD-PARTY-NOTICES.md +739 -0
  4. package/assets/viewer.html +1503 -0
  5. package/bin/antu-mcp.mjs +1549 -0
  6. package/bin/antu.mjs +1494 -0
  7. package/examples/agent/fact/1-minimal.en.json +57 -0
  8. package/examples/agent/fact/1-minimal.zh-CN.json +29 -0
  9. package/examples/agent/fact/2-single-actor.en.json +66 -0
  10. package/examples/agent/fact/2-single-actor.zh-CN.json +28 -0
  11. package/examples/agent/fact/3-groups.en.json +34 -0
  12. package/examples/agent/fact/3-groups.zh-CN.json +34 -0
  13. package/examples/agent/fact/4-views.en.json +44 -0
  14. package/examples/agent/fact/4-views.zh-CN.json +44 -0
  15. package/examples/agent/fact/5-duration.en.json +28 -0
  16. package/examples/agent/fact/5-duration.zh-CN.json +28 -0
  17. package/examples/agent/fact/6-sources.en.json +30 -0
  18. package/examples/agent/fact/6-sources.zh-CN.json +30 -0
  19. package/examples/agent/fact/7-undated.en.json +34 -0
  20. package/examples/agent/fact/7-undated.zh-CN.json +34 -0
  21. package/examples/agent/justification/1-minimal.en.json +83 -0
  22. package/examples/agent/justification/1-minimal.zh-CN.json +83 -0
  23. package/examples/agent/justification/2-against-and-rejected.en.json +82 -0
  24. package/examples/agent/justification/2-against-and-rejected.zh-CN.json +82 -0
  25. package/examples/agent/justification/3-issues.en.json +107 -0
  26. package/examples/agent/justification/3-issues.zh-CN.json +107 -0
  27. package/examples/agent/justification/4-shared-fact.en.json +111 -0
  28. package/examples/agent/justification/4-shared-fact.zh-CN.json +111 -0
  29. package/examples/agent/justification/5-sources.en.json +97 -0
  30. package/examples/agent/justification/5-sources.zh-CN.json +97 -0
  31. package/examples/agent/justification/6-all-or-any.en.json +98 -0
  32. package/examples/agent/justification/6-all-or-any.zh-CN.json +98 -0
  33. package/examples/agent/procedure/1-minimal.en.json +15 -0
  34. package/examples/agent/procedure/1-minimal.zh-CN.json +15 -0
  35. package/examples/agent/procedure/2-decision.en.json +17 -0
  36. package/examples/agent/procedure/2-decision.zh-CN.json +17 -0
  37. package/examples/agent/procedure/3-branches.en.json +22 -0
  38. package/examples/agent/procedure/3-branches.zh-CN.json +22 -0
  39. package/examples/agent/procedure/4-stages.en.json +34 -0
  40. package/examples/agent/procedure/4-stages.zh-CN.json +34 -0
  41. package/examples/agent/procedure/5-inferred-spine.en.json +21 -0
  42. package/examples/agent/procedure/5-inferred-spine.zh-CN.json +21 -0
  43. package/examples/agent/procedure/6-merged-edges.en.json +19 -0
  44. package/examples/agent/procedure/6-merged-edges.zh-CN.json +19 -0
  45. package/examples/agent/procedure/7-rules.en.json +30 -0
  46. package/examples/agent/procedure/7-rules.zh-CN.json +30 -0
  47. package/examples/agent/relationship/1-minimal.en.json +28 -0
  48. package/examples/agent/relationship/1-minimal.zh-CN.json +28 -0
  49. package/examples/agent/relationship/2-equity.en.json +59 -0
  50. package/examples/agent/relationship/2-equity.zh-CN.json +59 -0
  51. package/examples/agent/relationship/3-guarantee.en.json +51 -0
  52. package/examples/agent/relationship/3-guarantee.zh-CN.json +51 -0
  53. package/examples/agent/relationship/4-groups.en.json +68 -0
  54. package/examples/agent/relationship/4-groups.zh-CN.json +68 -0
  55. package/examples/agent/relationship/5-kinship.en.json +69 -0
  56. package/examples/agent/relationship/5-kinship.zh-CN.json +69 -0
  57. package/examples/fact/fang-yuan-loan-and-conflict.en.json +330 -0
  58. package/examples/fact/fang-yuan-loan-and-conflict.zh-CN.json +237 -0
  59. package/examples/fact/gym-membership-face-scan.en.json +181 -0
  60. package/examples/fact/gym-membership-face-scan.zh-CN.json +181 -0
  61. package/examples/fact/lin-fang-v-zhao-lei-private-lending.en.json +122 -0
  62. package/examples/fact/lin-fang-v-zhao-lei-private-lending.zh-CN.json +122 -0
  63. package/examples/fact/marketplace-platform-liability.en.json +192 -0
  64. package/examples/fact/marketplace-platform-liability.zh-CN.json +192 -0
  65. package/examples/fact/neighbour-corridor-charging.en.json +201 -0
  66. package/examples/fact/neighbour-corridor-charging.zh-CN.json +201 -0
  67. package/examples/fact/sample-construction-payment.en.json +220 -0
  68. package/examples/fact/sample-construction-payment.zh-CN.json +139 -0
  69. package/examples/fact/sample-four-parties-four-slots.en.json +202 -0
  70. package/examples/fact/sample-four-parties-four-slots.zh-CN.json +121 -0
  71. package/examples/fact/sample-no-groups.en.json +100 -0
  72. package/examples/fact/sample-no-groups.zh-CN.json +100 -0
  73. package/examples/fact/sample-three-slots.en.json +102 -0
  74. package/examples/fact/sample-three-slots.zh-CN.json +102 -0
  75. package/examples/fact/sample-two-actors-one-side.en.json +143 -0
  76. package/examples/fact/sample-two-actors-one-side.zh-CN.json +143 -0
  77. package/examples/fact/sample-two-parties-each-side.en.json +183 -0
  78. package/examples/fact/sample-two-parties-each-side.zh-CN.json +183 -0
  79. package/examples/justification/fang-yuan-defense-excess.en.json +636 -0
  80. package/examples/justification/fang-yuan-defense-excess.zh-CN.json +636 -0
  81. package/examples/justification/neighbour-corridor-liability.en.json +571 -0
  82. package/examples/justification/neighbour-corridor-liability.zh-CN.json +571 -0
  83. package/examples/procedure/01-software-development-contract.en.json +290 -0
  84. package/examples/procedure/01-software-development-contract.zh-CN.json +290 -0
  85. package/examples/procedure/02-purchase-contract.en.json +46 -0
  86. package/examples/procedure/02-purchase-contract.zh-CN.json +46 -0
  87. package/examples/procedure/03-labour-outsourcing-contract.en.json +251 -0
  88. package/examples/procedure/03-labour-outsourcing-contract.zh-CN.json +251 -0
  89. package/examples/procedure/04-non-disclosure-agreement.en.json +79 -0
  90. package/examples/procedure/04-non-disclosure-agreement.zh-CN.json +79 -0
  91. package/examples/procedure/05-premises-lease.en.json +344 -0
  92. package/examples/procedure/05-premises-lease.zh-CN.json +344 -0
  93. package/examples/procedure/06-epc-general-contract.en.json +375 -0
  94. package/examples/procedure/06-epc-general-contract.zh-CN.json +375 -0
  95. package/examples/procedure/07-share-acquisition-agreement.en.json +368 -0
  96. package/examples/procedure/07-share-acquisition-agreement.zh-CN.json +368 -0
  97. package/examples/raw//351/207/207/350/264/255/345/220/210/345/220/214-PO-2026-088.md +31 -0
  98. package/examples/raw//357/274/2102031/357/274/211/347/244/272/345/210/221/345/210/2353/345/217/267-/350/231/232/346/236/204/347/275/221/347/273/234/345/225/206/345/237/216/346/241/210-/344/270/200/345/256/241.md +36 -0
  99. package/examples/raw//357/274/2102031/357/274/211/347/244/272/346/260/221/345/210/2351/345/217/267-/346/260/221/351/227/264/345/200/237/350/264/267/346/241/210-/344/270/200/345/256/241.md +31 -0
  100. package/examples/raw//357/274/2102031/357/274/211/347/244/272/346/260/221/345/210/2352/345/217/267-/345/201/245/350/272/253/346/210/277/345/210/267/350/204/270/345/205/245/345/234/272/346/241/210-/344/270/200/345/256/241.md +40 -0
  101. package/examples/raw//357/274/2102031/357/274/211/347/244/272/346/260/221/347/273/2101/345/217/267-/346/245/274/351/201/223/345/205/205/347/224/265/345/212/235/351/230/273/346/241/210-/344/272/214/345/256/241.md +38 -0
  102. package/examples/raw//357/274/2102032/357/274/211/347/244/272/345/210/221/347/273/2101/345/217/267-/346/226/271/350/277/234/346/241/210-/344/272/214/345/256/241.md +49 -0
  103. package/examples/relationship/fang-yuan-parties.en.json +226 -0
  104. package/examples/relationship/fang-yuan-parties.zh-CN.json +226 -0
  105. package/examples/relationship/lin-fang-v-zhao-lei-parties.en.json +140 -0
  106. package/examples/relationship/lin-fang-v-zhao-lei-parties.zh-CN.json +140 -0
  107. package/examples/relationship/marketplace-parties.en.json +259 -0
  108. package/examples/relationship/marketplace-parties.zh-CN.json +259 -0
  109. package/examples/relationship/sample-group-guarantee.en.json +138 -0
  110. package/examples/relationship/sample-group-guarantee.zh-CN.json +138 -0
  111. package/examples/relationship/sample-loan-guarantee.en.json +122 -0
  112. package/examples/relationship/sample-loan-guarantee.zh-CN.json +122 -0
  113. package/package.json +35 -0
  114. package/server.json +20 -0
  115. package/spec/agent/fact/guide.md +114 -0
  116. package/spec/agent/justification/guide.md +100 -0
  117. package/spec/agent/procedure/guide.md +109 -0
  118. package/spec/agent/relationship/guide.md +92 -0
@@ -0,0 +1,375 @@
1
+ {
2
+ "type": "procedure",
3
+ "specVersion": 1,
4
+ "title": "工程总承包合同 · 履行流程",
5
+ "domain": "contract-performance",
6
+ "actors": [
7
+ {
8
+ "id": "a-1",
9
+ "name": "甲方",
10
+ "role": "发包方"
11
+ },
12
+ {
13
+ "id": "a-2",
14
+ "name": "乙方",
15
+ "role": "总承包方"
16
+ }
17
+ ],
18
+ "stages": [
19
+ {
20
+ "id": "st-1",
21
+ "label": "开工准备"
22
+ },
23
+ {
24
+ "id": "st-2",
25
+ "label": "设计与采购"
26
+ },
27
+ {
28
+ "id": "st-3",
29
+ "label": "施工与试车"
30
+ },
31
+ {
32
+ "id": "st-4",
33
+ "label": "竣工与缺陷责任"
34
+ }
35
+ ],
36
+ "sources": [
37
+ {
38
+ "id": "s-1",
39
+ "type": "contract",
40
+ "name": "工程总承包合同",
41
+ "loc": {
42
+ "file": "工程总承包合同.docx"
43
+ }
44
+ }
45
+ ],
46
+ "nodes": [
47
+ {
48
+ "id": "n-1",
49
+ "kind": "start",
50
+ "label": "合同签署生效",
51
+ "stageId": "st-1",
52
+ "sourceIds": [
53
+ "s-1"
54
+ ]
55
+ },
56
+ {
57
+ "id": "n-2",
58
+ "kind": "step",
59
+ "label": "乙方提交履约保函",
60
+ "detail": "10% · 3500 万元",
61
+ "actorIds": [
62
+ "a-2"
63
+ ],
64
+ "stageId": "st-1"
65
+ },
66
+ {
67
+ "id": "n-3",
68
+ "kind": "step",
69
+ "label": "甲方支付预付款",
70
+ "detail": "10% · 3500 万元",
71
+ "actorIds": [
72
+ "a-1"
73
+ ],
74
+ "stageId": "st-1"
75
+ },
76
+ {
77
+ "id": "n-4",
78
+ "kind": "step",
79
+ "label": "开工令发出",
80
+ "detail": "工期 24 个月 · 至 2028-07-31",
81
+ "actorIds": [
82
+ "a-1"
83
+ ],
84
+ "stageId": "st-1"
85
+ },
86
+ {
87
+ "id": "n-5",
88
+ "kind": "step",
89
+ "label": "第 1 月末:提交方案设计",
90
+ "actorIds": [
91
+ "a-2"
92
+ ],
93
+ "stageId": "st-2"
94
+ },
95
+ {
96
+ "id": "n-6",
97
+ "kind": "step",
98
+ "label": "第 3 月末:初步设计完成并获批准",
99
+ "actorIds": [
100
+ "a-2"
101
+ ],
102
+ "stageId": "st-2"
103
+ },
104
+ {
105
+ "id": "n-7",
106
+ "kind": "step",
107
+ "label": "第 6 月末:施工图设计完成并通过审查",
108
+ "actorIds": [
109
+ "a-2"
110
+ ],
111
+ "stageId": "st-2"
112
+ },
113
+ {
114
+ "id": "n-8",
115
+ "kind": "step",
116
+ "label": "第 10 月末:主要设备采购完成并到场",
117
+ "stageId": "st-2"
118
+ },
119
+ {
120
+ "id": "n-9",
121
+ "kind": "step",
122
+ "label": "第 12 月末:土建基础完成验收",
123
+ "detail": "累计支付至 30%",
124
+ "stageId": "st-3"
125
+ },
126
+ {
127
+ "id": "n-10",
128
+ "kind": "step",
129
+ "label": "第 18 月末:设备安装完成",
130
+ "detail": "累计支付至 55%",
131
+ "stageId": "st-3"
132
+ },
133
+ {
134
+ "id": "n-11",
135
+ "kind": "step",
136
+ "label": "第 22 月末:联动试车完成",
137
+ "detail": "累计支付至 70%",
138
+ "stageId": "st-3"
139
+ },
140
+ {
141
+ "id": "n-12",
142
+ "kind": "step",
143
+ "label": "第 24 月末:竣工验收",
144
+ "detail": "累计支付至 85%",
145
+ "stageId": "st-4"
146
+ },
147
+ {
148
+ "id": "n-13",
149
+ "kind": "step",
150
+ "label": "缺陷责任期",
151
+ "detail": "24 个月 · 质量保证金 3%",
152
+ "stageId": "st-4"
153
+ },
154
+ {
155
+ "id": "n-14",
156
+ "kind": "step",
157
+ "label": "缺陷责任期满且无未处理缺陷",
158
+ "detail": "支付至 97%",
159
+ "stageId": "st-4"
160
+ },
161
+ {
162
+ "id": "n-15",
163
+ "kind": "step",
164
+ "label": "结算审计完成",
165
+ "detail": "支付剩余 3% 尾款",
166
+ "stageId": "st-4"
167
+ },
168
+ {
169
+ "id": "n-16",
170
+ "kind": "end",
171
+ "label": "合同终止",
172
+ "outcome": "positive",
173
+ "stageId": "st-4"
174
+ },
175
+ {
176
+ "id": "n-27",
177
+ "kind": "decision",
178
+ "label": "性能指标是否达标",
179
+ "stageId": "st-3"
180
+ },
181
+ {
182
+ "id": "n-28",
183
+ "kind": "step",
184
+ "label": "乙方整改后重新试车",
185
+ "actorIds": [
186
+ "a-2"
187
+ ],
188
+ "outcome": "negative",
189
+ "stageId": "st-3"
190
+ },
191
+ {
192
+ "id": "n-29",
193
+ "kind": "decision",
194
+ "label": "竣工验收是否合格",
195
+ "stageId": "st-4"
196
+ },
197
+ {
198
+ "id": "n-30",
199
+ "kind": "step",
200
+ "label": "乙方整改后重新验收",
201
+ "actorIds": [
202
+ "a-2"
203
+ ],
204
+ "outcome": "negative",
205
+ "stageId": "st-4"
206
+ },
207
+ {
208
+ "id": "n-31",
209
+ "kind": "end",
210
+ "label": "合同解除:结算已完成工程",
211
+ "outcome": "negative",
212
+ "stageId": "st-4"
213
+ }
214
+ ],
215
+ "edges": [
216
+ {
217
+ "from": "n-1",
218
+ "to": "n-2",
219
+ "main": true
220
+ },
221
+ {
222
+ "from": "n-2",
223
+ "to": "n-3",
224
+ "main": true
225
+ },
226
+ {
227
+ "from": "n-3",
228
+ "to": "n-4",
229
+ "main": true
230
+ },
231
+ {
232
+ "from": "n-4",
233
+ "to": "n-5",
234
+ "main": true
235
+ },
236
+ {
237
+ "from": "n-5",
238
+ "to": "n-6",
239
+ "main": true
240
+ },
241
+ {
242
+ "from": "n-6",
243
+ "to": "n-7",
244
+ "main": true
245
+ },
246
+ {
247
+ "from": "n-7",
248
+ "to": "n-8",
249
+ "main": true
250
+ },
251
+ {
252
+ "from": "n-8",
253
+ "to": "n-9",
254
+ "main": true
255
+ },
256
+ {
257
+ "from": "n-9",
258
+ "to": "n-10",
259
+ "main": true
260
+ },
261
+ {
262
+ "from": "n-10",
263
+ "to": "n-11",
264
+ "main": true
265
+ },
266
+ {
267
+ "from": "n-13",
268
+ "to": "n-14",
269
+ "main": true
270
+ },
271
+ {
272
+ "from": "n-14",
273
+ "to": "n-15",
274
+ "main": true
275
+ },
276
+ {
277
+ "from": "n-15",
278
+ "to": "n-16",
279
+ "main": true
280
+ },
281
+ {
282
+ "from": "n-11",
283
+ "to": "n-27",
284
+ "main": true
285
+ },
286
+ {
287
+ "from": "n-27",
288
+ "to": "n-12",
289
+ "condition": "达标",
290
+ "main": true
291
+ },
292
+ {
293
+ "from": "n-27",
294
+ "to": "n-28",
295
+ "condition": "不达标"
296
+ },
297
+ {
298
+ "from": "n-28",
299
+ "to": "n-27"
300
+ },
301
+ {
302
+ "from": "n-12",
303
+ "to": "n-29",
304
+ "main": true
305
+ },
306
+ {
307
+ "from": "n-29",
308
+ "to": "n-13",
309
+ "condition": "合格",
310
+ "main": true
311
+ },
312
+ {
313
+ "from": "n-29",
314
+ "to": "n-30",
315
+ "condition": "不合格"
316
+ },
317
+ {
318
+ "from": "n-30",
319
+ "to": "n-29"
320
+ }
321
+ ],
322
+ "rules": [
323
+ {
324
+ "id": "r-1",
325
+ "when": "甲方原因或不可抗力导致工期延误",
326
+ "then": "乙方可申请工期顺延",
327
+ "stageIds": [
328
+ "st-2",
329
+ "st-3"
330
+ ],
331
+ "sourceIds": [
332
+ "s-1"
333
+ ]
334
+ },
335
+ {
336
+ "id": "r-2",
337
+ "when": "乙方原因导致工期延误",
338
+ "then": "乙方支付违约金:每日 0.05%,上限 10%",
339
+ "outcome": "negative",
340
+ "stageIds": [
341
+ "st-2",
342
+ "st-3"
343
+ ],
344
+ "sourceIds": [
345
+ "s-1"
346
+ ]
347
+ },
348
+ {
349
+ "id": "r-3",
350
+ "when": "乙方原因逾期超过一定期限",
351
+ "then": "甲方有权解除合同,结算已完成工程",
352
+ "outcome": "negative",
353
+ "stageIds": [
354
+ "st-2",
355
+ "st-3"
356
+ ],
357
+ "endId": "n-31",
358
+ "sourceIds": [
359
+ "s-1"
360
+ ]
361
+ },
362
+ {
363
+ "id": "r-4",
364
+ "when": "性能整改超过 3 次",
365
+ "then": "乙方每次补偿 0.1%",
366
+ "outcome": "negative",
367
+ "stageIds": [
368
+ "st-3"
369
+ ],
370
+ "sourceIds": [
371
+ "s-1"
372
+ ]
373
+ }
374
+ ]
375
+ }