yarramate 1.0.0 → 1.2.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.
- package/catalogues/core-enrichment.yaml +32 -1
- package/dist/ask-command.js +1 -0
- package/dist/compiler.d.ts +17 -0
- package/dist/compiler.js +64 -5
- package/dist/design-command.js +67 -1
- package/dist/evidence.d.ts +27 -2
- package/dist/index.d.ts +1 -0
- package/dist/index.js +1 -0
- package/dist/interrogate-command.d.ts +57 -17
- package/dist/interrogate-command.js +48 -1
- package/dist/interrogation-entry.d.ts +1 -0
- package/dist/interrogation-entry.js +10 -0
- package/dist/reconciliation.d.ts +7 -0
- package/dist/reconciliation.js +15 -1
- package/dist/subject-references.js +8 -0
- package/dist/visual-app/assets/{index-BLcpI8WN.js → index-CcmfL3oY.js} +1 -1
- package/dist/visual-app/index.html +1 -1
- package/dist/visual-app-lib/editor.js +27031 -26884
- package/dist/visual-app-lib/types/compiler.d.ts +17 -0
- package/dist/visual-app-lib/types/evidence.d.ts +27 -2
- package/docs/CONSUMING-YARRAMATE.md +47 -0
- package/package.json +5 -1
- package/schema/yarramate-ask-result.schema.json +12 -0
- package/schema/yarramate-design-step.schema.json +382 -1
- package/schema/yarramate-document.schema.json +30 -1
- package/schema/yarramate-evidence.schema.json +50 -0
- package/schema/yarramate-interrogation-report.schema.json +480 -23
- package/schema/yarramate-question-catalogue.schema.json +14 -3
- package/schema/yarramate-reconciliation-report.schema.json +6 -1
- package/skills/yarramate-architecture/SKILL.md +5 -1
|
@@ -4,7 +4,14 @@
|
|
|
4
4
|
"title": "YarraMate interrogation report",
|
|
5
5
|
"type": "object",
|
|
6
6
|
"additionalProperties": false,
|
|
7
|
-
"required": [
|
|
7
|
+
"required": [
|
|
8
|
+
"format",
|
|
9
|
+
"workspace",
|
|
10
|
+
"catalogue",
|
|
11
|
+
"semantics",
|
|
12
|
+
"summary",
|
|
13
|
+
"waves"
|
|
14
|
+
],
|
|
8
15
|
"properties": {
|
|
9
16
|
"format": {
|
|
10
17
|
"const": "yarramate/interrogation-report/v1"
|
|
@@ -17,14 +24,32 @@
|
|
|
17
24
|
"type": "string",
|
|
18
25
|
"minLength": 1
|
|
19
26
|
},
|
|
27
|
+
"semantics": {
|
|
28
|
+
"type": "string",
|
|
29
|
+
"minLength": 1,
|
|
30
|
+
"description": "The version of condition evaluation that produced this report, as distinct from the package version. It changes only when an existing question's answer can change for an unchanged model, so a consumer holding stored answers can tell an engine change from a model change. Absent on reports produced before yarramate 1.1.0."
|
|
31
|
+
},
|
|
20
32
|
"summary": {
|
|
21
33
|
"type": "object",
|
|
22
34
|
"additionalProperties": false,
|
|
23
|
-
"required": [
|
|
35
|
+
"required": [
|
|
36
|
+
"questions",
|
|
37
|
+
"openQuestions",
|
|
38
|
+
"open"
|
|
39
|
+
],
|
|
24
40
|
"properties": {
|
|
25
|
-
"questions": {
|
|
26
|
-
|
|
27
|
-
|
|
41
|
+
"questions": {
|
|
42
|
+
"type": "integer",
|
|
43
|
+
"minimum": 0
|
|
44
|
+
},
|
|
45
|
+
"openQuestions": {
|
|
46
|
+
"type": "integer",
|
|
47
|
+
"minimum": 0
|
|
48
|
+
},
|
|
49
|
+
"open": {
|
|
50
|
+
"type": "integer",
|
|
51
|
+
"minimum": 0
|
|
52
|
+
}
|
|
28
53
|
}
|
|
29
54
|
},
|
|
30
55
|
"waves": {
|
|
@@ -38,13 +63,25 @@
|
|
|
38
63
|
"wave": {
|
|
39
64
|
"type": "object",
|
|
40
65
|
"additionalProperties": false,
|
|
41
|
-
"required": [
|
|
66
|
+
"required": [
|
|
67
|
+
"id",
|
|
68
|
+
"name",
|
|
69
|
+
"questions"
|
|
70
|
+
],
|
|
42
71
|
"properties": {
|
|
43
|
-
"id": {
|
|
44
|
-
|
|
72
|
+
"id": {
|
|
73
|
+
"type": "string",
|
|
74
|
+
"minLength": 1
|
|
75
|
+
},
|
|
76
|
+
"name": {
|
|
77
|
+
"type": "string",
|
|
78
|
+
"minLength": 1
|
|
79
|
+
},
|
|
45
80
|
"questions": {
|
|
46
81
|
"type": "array",
|
|
47
|
-
"items": {
|
|
82
|
+
"items": {
|
|
83
|
+
"$ref": "#/$defs/question"
|
|
84
|
+
}
|
|
48
85
|
}
|
|
49
86
|
}
|
|
50
87
|
},
|
|
@@ -58,33 +95,453 @@
|
|
|
58
95
|
"open",
|
|
59
96
|
"question",
|
|
60
97
|
"materiality",
|
|
61
|
-
"resolution"
|
|
98
|
+
"resolution",
|
|
99
|
+
"trigger"
|
|
62
100
|
],
|
|
63
101
|
"properties": {
|
|
64
|
-
"id": {
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
"
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
102
|
+
"id": {
|
|
103
|
+
"type": "string",
|
|
104
|
+
"minLength": 1
|
|
105
|
+
},
|
|
106
|
+
"scope": {
|
|
107
|
+
"enum": [
|
|
108
|
+
"workspace",
|
|
109
|
+
"subject"
|
|
110
|
+
]
|
|
111
|
+
},
|
|
112
|
+
"authority": {
|
|
113
|
+
"enum": [
|
|
114
|
+
"human",
|
|
115
|
+
"agent",
|
|
116
|
+
"either"
|
|
117
|
+
]
|
|
118
|
+
},
|
|
119
|
+
"open": {
|
|
120
|
+
"type": "boolean"
|
|
121
|
+
},
|
|
122
|
+
"question": {
|
|
123
|
+
"type": "string",
|
|
124
|
+
"minLength": 1
|
|
125
|
+
},
|
|
126
|
+
"materiality": {
|
|
127
|
+
"type": "string",
|
|
128
|
+
"minLength": 1
|
|
129
|
+
},
|
|
130
|
+
"resolution": {
|
|
131
|
+
"type": "string",
|
|
132
|
+
"minLength": 1
|
|
133
|
+
},
|
|
134
|
+
"trigger": {
|
|
135
|
+
"description": "The catalogue trigger, verbatim: the conditions that opened this question, i.e. its machine-readable answer shape.",
|
|
136
|
+
"type": "array",
|
|
137
|
+
"minItems": 1,
|
|
138
|
+
"items": {
|
|
139
|
+
"$ref": "#/$defs/condition"
|
|
140
|
+
}
|
|
141
|
+
},
|
|
142
|
+
"since": {
|
|
143
|
+
"type": "string"
|
|
144
|
+
},
|
|
72
145
|
"subjects": {
|
|
73
146
|
"type": "array",
|
|
74
147
|
"minItems": 1,
|
|
75
|
-
"items": {
|
|
148
|
+
"items": {
|
|
149
|
+
"$ref": "#/$defs/openSubject"
|
|
150
|
+
}
|
|
76
151
|
}
|
|
77
152
|
}
|
|
78
153
|
},
|
|
79
154
|
"openSubject": {
|
|
80
155
|
"type": "object",
|
|
81
156
|
"additionalProperties": false,
|
|
82
|
-
"required": [
|
|
157
|
+
"required": [
|
|
158
|
+
"id",
|
|
159
|
+
"question"
|
|
160
|
+
],
|
|
83
161
|
"properties": {
|
|
84
|
-
"id": {
|
|
85
|
-
|
|
86
|
-
|
|
162
|
+
"id": {
|
|
163
|
+
"type": "string",
|
|
164
|
+
"minLength": 1
|
|
165
|
+
},
|
|
166
|
+
"name": {
|
|
167
|
+
"type": "string",
|
|
168
|
+
"minLength": 1
|
|
169
|
+
},
|
|
170
|
+
"question": {
|
|
171
|
+
"type": "string",
|
|
172
|
+
"minLength": 1
|
|
173
|
+
}
|
|
87
174
|
}
|
|
175
|
+
},
|
|
176
|
+
"condition": {
|
|
177
|
+
"description": "One deterministic trigger condition. All conditions in a trigger must hold (AND) for the question to be open.",
|
|
178
|
+
"oneOf": [
|
|
179
|
+
{
|
|
180
|
+
"type": "object",
|
|
181
|
+
"additionalProperties": false,
|
|
182
|
+
"required": [
|
|
183
|
+
"condition",
|
|
184
|
+
"predicate"
|
|
185
|
+
],
|
|
186
|
+
"properties": {
|
|
187
|
+
"condition": {
|
|
188
|
+
"const": "missing-claim"
|
|
189
|
+
},
|
|
190
|
+
"predicate": {
|
|
191
|
+
"$ref": "#/$defs/claimPredicate"
|
|
192
|
+
}
|
|
193
|
+
}
|
|
194
|
+
},
|
|
195
|
+
{
|
|
196
|
+
"type": "object",
|
|
197
|
+
"additionalProperties": false,
|
|
198
|
+
"required": [
|
|
199
|
+
"condition",
|
|
200
|
+
"kinds",
|
|
201
|
+
"direction"
|
|
202
|
+
],
|
|
203
|
+
"properties": {
|
|
204
|
+
"condition": {
|
|
205
|
+
"const": "missing-relationship"
|
|
206
|
+
},
|
|
207
|
+
"kinds": {
|
|
208
|
+
"type": "array",
|
|
209
|
+
"minItems": 1,
|
|
210
|
+
"uniqueItems": true,
|
|
211
|
+
"items": {
|
|
212
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
213
|
+
}
|
|
214
|
+
},
|
|
215
|
+
"direction": {
|
|
216
|
+
"enum": [
|
|
217
|
+
"incoming",
|
|
218
|
+
"outgoing",
|
|
219
|
+
"any"
|
|
220
|
+
]
|
|
221
|
+
},
|
|
222
|
+
"kindMatching": {
|
|
223
|
+
"enum": [
|
|
224
|
+
"exact",
|
|
225
|
+
"descendants"
|
|
226
|
+
]
|
|
227
|
+
}
|
|
228
|
+
}
|
|
229
|
+
},
|
|
230
|
+
{
|
|
231
|
+
"type": "object",
|
|
232
|
+
"additionalProperties": false,
|
|
233
|
+
"required": [
|
|
234
|
+
"condition"
|
|
235
|
+
],
|
|
236
|
+
"properties": {
|
|
237
|
+
"condition": {
|
|
238
|
+
"const": "isolated"
|
|
239
|
+
}
|
|
240
|
+
}
|
|
241
|
+
},
|
|
242
|
+
{
|
|
243
|
+
"type": "object",
|
|
244
|
+
"additionalProperties": false,
|
|
245
|
+
"required": [
|
|
246
|
+
"condition",
|
|
247
|
+
"kinds"
|
|
248
|
+
],
|
|
249
|
+
"properties": {
|
|
250
|
+
"condition": {
|
|
251
|
+
"const": "no-subject-of-kind"
|
|
252
|
+
},
|
|
253
|
+
"kinds": {
|
|
254
|
+
"type": "array",
|
|
255
|
+
"minItems": 1,
|
|
256
|
+
"uniqueItems": true,
|
|
257
|
+
"items": {
|
|
258
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
259
|
+
}
|
|
260
|
+
},
|
|
261
|
+
"kindMatching": {
|
|
262
|
+
"enum": [
|
|
263
|
+
"exact",
|
|
264
|
+
"descendants"
|
|
265
|
+
],
|
|
266
|
+
"default": "descendants"
|
|
267
|
+
}
|
|
268
|
+
}
|
|
269
|
+
},
|
|
270
|
+
{
|
|
271
|
+
"type": "object",
|
|
272
|
+
"additionalProperties": false,
|
|
273
|
+
"required": [
|
|
274
|
+
"condition"
|
|
275
|
+
],
|
|
276
|
+
"properties": {
|
|
277
|
+
"condition": {
|
|
278
|
+
"const": "no-state-defined"
|
|
279
|
+
}
|
|
280
|
+
}
|
|
281
|
+
},
|
|
282
|
+
{
|
|
283
|
+
"type": "object",
|
|
284
|
+
"additionalProperties": false,
|
|
285
|
+
"required": [
|
|
286
|
+
"condition",
|
|
287
|
+
"kinds",
|
|
288
|
+
"direction",
|
|
289
|
+
"counterpartKinds"
|
|
290
|
+
],
|
|
291
|
+
"properties": {
|
|
292
|
+
"condition": {
|
|
293
|
+
"const": "missing-linkage"
|
|
294
|
+
},
|
|
295
|
+
"kinds": {
|
|
296
|
+
"type": "array",
|
|
297
|
+
"minItems": 1,
|
|
298
|
+
"uniqueItems": true,
|
|
299
|
+
"items": {
|
|
300
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
301
|
+
}
|
|
302
|
+
},
|
|
303
|
+
"direction": {
|
|
304
|
+
"enum": [
|
|
305
|
+
"outgoing",
|
|
306
|
+
"incoming"
|
|
307
|
+
]
|
|
308
|
+
},
|
|
309
|
+
"counterpartKinds": {
|
|
310
|
+
"type": "array",
|
|
311
|
+
"minItems": 1,
|
|
312
|
+
"uniqueItems": true,
|
|
313
|
+
"items": {
|
|
314
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
315
|
+
}
|
|
316
|
+
},
|
|
317
|
+
"kindMatching": {
|
|
318
|
+
"enum": [
|
|
319
|
+
"exact",
|
|
320
|
+
"descendants"
|
|
321
|
+
],
|
|
322
|
+
"default": "descendants"
|
|
323
|
+
}
|
|
324
|
+
}
|
|
325
|
+
},
|
|
326
|
+
{
|
|
327
|
+
"type": "object",
|
|
328
|
+
"additionalProperties": false,
|
|
329
|
+
"required": [
|
|
330
|
+
"condition",
|
|
331
|
+
"kinds",
|
|
332
|
+
"direction",
|
|
333
|
+
"counterpartKinds"
|
|
334
|
+
],
|
|
335
|
+
"properties": {
|
|
336
|
+
"condition": {
|
|
337
|
+
"const": "has-linkage"
|
|
338
|
+
},
|
|
339
|
+
"kinds": {
|
|
340
|
+
"type": "array",
|
|
341
|
+
"minItems": 1,
|
|
342
|
+
"uniqueItems": true,
|
|
343
|
+
"items": {
|
|
344
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
345
|
+
}
|
|
346
|
+
},
|
|
347
|
+
"direction": {
|
|
348
|
+
"enum": [
|
|
349
|
+
"outgoing",
|
|
350
|
+
"incoming",
|
|
351
|
+
"either"
|
|
352
|
+
]
|
|
353
|
+
},
|
|
354
|
+
"counterpartKinds": {
|
|
355
|
+
"type": "array",
|
|
356
|
+
"minItems": 1,
|
|
357
|
+
"uniqueItems": true,
|
|
358
|
+
"items": {
|
|
359
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
360
|
+
}
|
|
361
|
+
},
|
|
362
|
+
"kindMatching": {
|
|
363
|
+
"enum": [
|
|
364
|
+
"exact",
|
|
365
|
+
"descendants"
|
|
366
|
+
],
|
|
367
|
+
"default": "descendants"
|
|
368
|
+
}
|
|
369
|
+
}
|
|
370
|
+
},
|
|
371
|
+
{
|
|
372
|
+
"type": "object",
|
|
373
|
+
"additionalProperties": false,
|
|
374
|
+
"required": [
|
|
375
|
+
"condition",
|
|
376
|
+
"kinds",
|
|
377
|
+
"direction",
|
|
378
|
+
"counterpartKinds"
|
|
379
|
+
],
|
|
380
|
+
"properties": {
|
|
381
|
+
"condition": {
|
|
382
|
+
"const": "exists-linkage"
|
|
383
|
+
},
|
|
384
|
+
"kinds": {
|
|
385
|
+
"type": "array",
|
|
386
|
+
"minItems": 1,
|
|
387
|
+
"uniqueItems": true,
|
|
388
|
+
"items": {
|
|
389
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
390
|
+
}
|
|
391
|
+
},
|
|
392
|
+
"direction": {
|
|
393
|
+
"enum": [
|
|
394
|
+
"outgoing",
|
|
395
|
+
"incoming",
|
|
396
|
+
"either"
|
|
397
|
+
]
|
|
398
|
+
},
|
|
399
|
+
"counterpartKinds": {
|
|
400
|
+
"type": "array",
|
|
401
|
+
"minItems": 1,
|
|
402
|
+
"uniqueItems": true,
|
|
403
|
+
"items": {
|
|
404
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
405
|
+
}
|
|
406
|
+
},
|
|
407
|
+
"kindMatching": {
|
|
408
|
+
"enum": [
|
|
409
|
+
"exact",
|
|
410
|
+
"descendants"
|
|
411
|
+
],
|
|
412
|
+
"default": "descendants"
|
|
413
|
+
}
|
|
414
|
+
}
|
|
415
|
+
},
|
|
416
|
+
{
|
|
417
|
+
"type": "object",
|
|
418
|
+
"additionalProperties": false,
|
|
419
|
+
"required": [
|
|
420
|
+
"condition",
|
|
421
|
+
"kinds"
|
|
422
|
+
],
|
|
423
|
+
"properties": {
|
|
424
|
+
"condition": {
|
|
425
|
+
"const": "missing-constraint"
|
|
426
|
+
},
|
|
427
|
+
"kinds": {
|
|
428
|
+
"type": "array",
|
|
429
|
+
"minItems": 1,
|
|
430
|
+
"uniqueItems": true,
|
|
431
|
+
"items": {
|
|
432
|
+
"$ref": "#/$defs/qualifiedKind"
|
|
433
|
+
}
|
|
434
|
+
},
|
|
435
|
+
"kindMatching": {
|
|
436
|
+
"enum": [
|
|
437
|
+
"exact",
|
|
438
|
+
"descendants"
|
|
439
|
+
],
|
|
440
|
+
"default": "descendants"
|
|
441
|
+
}
|
|
442
|
+
}
|
|
443
|
+
},
|
|
444
|
+
{
|
|
445
|
+
"type": "object",
|
|
446
|
+
"additionalProperties": false,
|
|
447
|
+
"description": "The subject is an endpoint of at least one flow relationship that has no yarramate/flow/content claim.",
|
|
448
|
+
"required": [
|
|
449
|
+
"condition"
|
|
450
|
+
],
|
|
451
|
+
"properties": {
|
|
452
|
+
"condition": {
|
|
453
|
+
"const": "missing-flow-content"
|
|
454
|
+
}
|
|
455
|
+
}
|
|
456
|
+
},
|
|
457
|
+
{
|
|
458
|
+
"type": "object",
|
|
459
|
+
"additionalProperties": false,
|
|
460
|
+
"required": [
|
|
461
|
+
"condition",
|
|
462
|
+
"predicate",
|
|
463
|
+
"direction"
|
|
464
|
+
],
|
|
465
|
+
"properties": {
|
|
466
|
+
"condition": {
|
|
467
|
+
"const": "missing-reference"
|
|
468
|
+
},
|
|
469
|
+
"predicate": {
|
|
470
|
+
"$ref": "#/$defs/claimPredicate"
|
|
471
|
+
},
|
|
472
|
+
"direction": {
|
|
473
|
+
"enum": [
|
|
474
|
+
"outgoing",
|
|
475
|
+
"incoming"
|
|
476
|
+
]
|
|
477
|
+
}
|
|
478
|
+
}
|
|
479
|
+
},
|
|
480
|
+
{
|
|
481
|
+
"type": "object",
|
|
482
|
+
"additionalProperties": false,
|
|
483
|
+
"required": [
|
|
484
|
+
"condition",
|
|
485
|
+
"topic"
|
|
486
|
+
],
|
|
487
|
+
"properties": {
|
|
488
|
+
"condition": {
|
|
489
|
+
"const": "missing-attestation"
|
|
490
|
+
},
|
|
491
|
+
"topic": {
|
|
492
|
+
"type": "string",
|
|
493
|
+
"pattern": "^[a-z][a-z0-9-]*$"
|
|
494
|
+
}
|
|
495
|
+
}
|
|
496
|
+
},
|
|
497
|
+
{
|
|
498
|
+
"type": "object",
|
|
499
|
+
"additionalProperties": false,
|
|
500
|
+
"description": "The subject resembles another subject of the same kind closely enough to be the same thing under two names, and no yarramate/identity/distinct-from claim dismisses the pair. Deterministic and lexical; the algorithm and thresholds are stated in ADR 0077. Questions using it may interpolate {counterparts}.",
|
|
501
|
+
"required": [
|
|
502
|
+
"condition"
|
|
503
|
+
],
|
|
504
|
+
"properties": {
|
|
505
|
+
"condition": {
|
|
506
|
+
"const": "near-duplicate"
|
|
507
|
+
}
|
|
508
|
+
}
|
|
509
|
+
},
|
|
510
|
+
{
|
|
511
|
+
"type": "object",
|
|
512
|
+
"additionalProperties": false,
|
|
513
|
+
"description": "The subject's kind is never tested by anything the compiler can check: it participates in no relationship whose kind pins the aspect at the subject's end, so reclassifying it to any other kind of any other aspect would still compile. The kind is a label rather than a constraint (ADR 0083).",
|
|
514
|
+
"required": [
|
|
515
|
+
"condition"
|
|
516
|
+
],
|
|
517
|
+
"properties": {
|
|
518
|
+
"condition": {
|
|
519
|
+
"const": "unconstrained-kind"
|
|
520
|
+
}
|
|
521
|
+
}
|
|
522
|
+
},
|
|
523
|
+
{
|
|
524
|
+
"type": "object",
|
|
525
|
+
"additionalProperties": false,
|
|
526
|
+
"description": "The subject supersedes a predecessor that is still current, and does not say in what respect. A succession that replaced its predecessor outright says so by the predecessor being gone; one where both remain is usually partial, and the respect is the part a reader needs (ADR 0109).",
|
|
527
|
+
"required": [
|
|
528
|
+
"condition"
|
|
529
|
+
],
|
|
530
|
+
"properties": {
|
|
531
|
+
"condition": {
|
|
532
|
+
"const": "unscoped-succession"
|
|
533
|
+
}
|
|
534
|
+
}
|
|
535
|
+
}
|
|
536
|
+
]
|
|
537
|
+
},
|
|
538
|
+
"claimPredicate": {
|
|
539
|
+
"type": "string",
|
|
540
|
+
"pattern": "^[a-z][a-z0-9/@.#-]*$"
|
|
541
|
+
},
|
|
542
|
+
"qualifiedKind": {
|
|
543
|
+
"type": "string",
|
|
544
|
+
"pattern": "^[a-z][a-z0-9/-]*@[0-9][0-9A-Za-z.-]*#[A-Za-z][A-Za-z0-9-]*$"
|
|
88
545
|
}
|
|
89
546
|
}
|
|
90
547
|
}
|
|
@@ -104,9 +104,7 @@
|
|
|
104
104
|
"description": "Which subjects a subject-scope question applies to. Field vocabulary mirrors the projection query selector (ADR 0017).",
|
|
105
105
|
"type": "object",
|
|
106
106
|
"additionalProperties": false,
|
|
107
|
-
|
|
108
|
-
"kinds"
|
|
109
|
-
],
|
|
107
|
+
|
|
110
108
|
"properties": {
|
|
111
109
|
"kinds": {
|
|
112
110
|
"type": "array",
|
|
@@ -491,6 +489,19 @@
|
|
|
491
489
|
"const": "unconstrained-kind"
|
|
492
490
|
}
|
|
493
491
|
}
|
|
492
|
+
},
|
|
493
|
+
{
|
|
494
|
+
"type": "object",
|
|
495
|
+
"additionalProperties": false,
|
|
496
|
+
"description": "The subject supersedes a predecessor that is still current, and does not say in what respect. A succession that replaced its predecessor outright says so by the predecessor being gone; one where both remain is usually partial, and the respect is the part a reader needs (ADR 0109).",
|
|
497
|
+
"required": [
|
|
498
|
+
"condition"
|
|
499
|
+
],
|
|
500
|
+
"properties": {
|
|
501
|
+
"condition": {
|
|
502
|
+
"const": "unscoped-succession"
|
|
503
|
+
}
|
|
504
|
+
}
|
|
494
505
|
}
|
|
495
506
|
]
|
|
496
507
|
},
|
|
@@ -30,7 +30,12 @@
|
|
|
30
30
|
"unknown": { "type": "integer", "minimum": 0 },
|
|
31
31
|
"notObserved": { "type": "integer", "minimum": 0 },
|
|
32
32
|
"subjectsWithoutEvidence": { "type": "integer", "minimum": 0 },
|
|
33
|
-
"
|
|
33
|
+
"unsupportedAbsences": {
|
|
34
|
+
"type": "integer",
|
|
35
|
+
"minimum": 0,
|
|
36
|
+
"description": "not-observed observations that name no search. A not-observed asserts a negative about a tree nobody read exhaustively, and is the one result whose message nothing can check; this counts the ones offering a reader nothing to re-run."
|
|
37
|
+
},
|
|
38
|
+
"staleAttestations": { "type": "integer", "minimum": 0 },
|
|
34
39
|
"unconfirmedAttestations": { "type": "integer", "minimum": 0 },
|
|
35
40
|
"expectationsCompared": { "type": "integer", "minimum": 0 },
|
|
36
41
|
"expectationsWithoutObservation": { "type": "integer", "minimum": 0 }
|
|
@@ -137,7 +137,11 @@ yarramate design .yarramate/workspace.yaml
|
|
|
137
137
|
|
|
138
138
|
Each invocation serves exactly the top open question with its subject
|
|
139
139
|
slice, materiality, and progress — the catalogue is internal; never pass
|
|
140
|
-
or read catalogue files.
|
|
140
|
+
or read catalogue files. The step carries the question's `trigger`
|
|
141
|
+
(its machine-readable answer shape), and the human output includes a
|
|
142
|
+
prefilled operations skeleton when the trigger maps onto one
|
|
143
|
+
operation — start from that skeleton instead of authoring the batch
|
|
144
|
+
from memory. Answer one question at a time: questions the
|
|
141
145
|
model or evidence can answer, answer from your authority; questions
|
|
142
146
|
marked `human`, relay verbatim with their materiality. Land each answer
|
|
143
147
|
as subjects and relationships in one atomic batch (`yarramate apply
|