@almadar/std 16.224.0 → 16.226.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 (20) hide show
  1. package/behaviors/behaviors-registry.json +1649 -464
  2. package/behaviors/lolo/infra/atoms/std-knowledge-loop.lolo +316 -0
  3. package/behaviors/lolo-behavior-contracts.json +1 -1
  4. package/behaviors/registry/factory-signatures.json +1 -1
  5. package/behaviors/registry/infra/atoms/std-knowledge-loop.orb +1518 -0
  6. package/dist/behaviors/exports-reader.js +3897 -2496
  7. package/dist/behaviors/functions/index.d.ts +145 -1
  8. package/dist/behaviors/functions/index.js +3883 -2497
  9. package/dist/behaviors/index.d.ts +1 -1
  10. package/dist/behaviors/index.js +3898 -2497
  11. package/dist/behaviors/query.js +3897 -2496
  12. package/dist/behaviors-embeddings.hash.json +3 -3
  13. package/dist/behaviors-embeddings.json +5 -1
  14. package/dist/behaviors-registry.json +1649 -464
  15. package/dist/index.d.ts +1 -1
  16. package/dist/index.js +3898 -2497
  17. package/dist/knob-embeddings.hash.json +3 -3
  18. package/dist/knob-embeddings.json +1 -1
  19. package/dist/registry/factory-signatures.json +1 -1
  20. package/package.json +1 -1
package/behaviors/registry/infra/atoms/std-knowledge-loop.orb ADDED
@@ -0,0 +1,1518 @@
1
+ {
2
+ "description": "std-knowledge-loop — generic epistemic-loop / decision-gate machinery. Use when a user voices that a claim, hypothesis, or fix needs to be varied, predicted, falsified, independently checked, and calibrated before it is trusted (root-cause investigation, hypothesis testing, a fix that needs sign-off before it ships, a claim that needs a second opinion). The topology (vary -> compare -> hypothesize -> predict -> falsify -> verify -> generalize -> isolate & intervene -> compose -> calibrate -> select next target -> vary again) is fixed and never re-authored per domain. Each gate is announced: entering falsification emits FalsificationRequested, entering verification emits VerificationRequested, entering calibration emits CalibrationRequested (all carry the claim's title + candidateStructure). Who answers a gate is the consumer's call: with manualFalsification / manualVerification on (the default) the atom renders Survived/Failed and Checks-agree/Checks-disagree buttons and a person judges; a consumer that can compute the verdict sets the knob off, authors a sibling trait that listens for the *Requested event, does the domain check, and emits its result, then overrides listens {} at the call site to route that result into SURVIVED/FAILED or CHECKS_AGREE/CHECKS_DISAGREE — the `when` guard on that route IS the consumer's definition of what the gate means (e.g. ReproCheck.REPRO_RESULT -> SURVIVED when (>= ?passRate 0.95)). Calibration is enforced by the atom itself: a submitted numeric score is checked against reliabilityThreshold. On a claim clearing calibration, emits LoopConcluded (title, reliabilityScore) so a composing host can act on the validated result.",
3
+ "ledger": {
4
+ "entries": {
5
+ "ent_01M2ZQ92PY7RP350PAWV761Z6F": {
6
+ "bakedName": "KnowledgeClaim",
7
+ "curName": "KnowledgeClaim",
8
+ "id": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
9
+ "kind": "entity",
10
+ "owner": "workspace",
11
+ "renames": []
12
+ },
13
+ "evt_01M2ZQ92PZ12JQB821TTV5H2VF": {
14
+ "bakedName": "SURVIVED",
15
+ "curName": "SURVIVED",
16
+ "id": "evt_01M2ZQ92PZ12JQB821TTV5H2VF",
17
+ "kind": "event",
18
+ "owner": "workspace",
19
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
20
+ "renames": []
21
+ },
22
+ "evt_01M2ZQ92PZ28JZEDAJ1Y43DDW9": {
23
+ "bakedName": "COMBINE_WITH_TRUSTED",
24
+ "curName": "COMBINE_WITH_TRUSTED",
25
+ "id": "evt_01M2ZQ92PZ28JZEDAJ1Y43DDW9",
26
+ "kind": "event",
27
+ "owner": "workspace",
28
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
29
+ "renames": []
30
+ },
31
+ "evt_01M2ZQ92PZ7NYYQKS84PWZTMVZ": {
32
+ "bakedName": "CANCEL_SCORE",
33
+ "curName": "CANCEL_SCORE",
34
+ "id": "evt_01M2ZQ92PZ7NYYQKS84PWZTMVZ",
35
+ "kind": "event",
36
+ "owner": "workspace",
37
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
38
+ "renames": []
39
+ },
40
+ "evt_01M2ZQ92PZ92W02Q03YF18AXRT": {
41
+ "bakedName": "LoopConcluded",
42
+ "curName": "LoopConcluded",
43
+ "id": "evt_01M2ZQ92PZ92W02Q03YF18AXRT",
44
+ "kind": "event",
45
+ "owner": "workspace",
46
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
47
+ "renames": []
48
+ },
49
+ "evt_01M2ZQ92PZA06VT2KBHG9VCN14": {
50
+ "bakedName": "FORM_GUESS",
51
+ "curName": "FORM_GUESS",
52
+ "id": "evt_01M2ZQ92PZA06VT2KBHG9VCN14",
53
+ "kind": "event",
54
+ "owner": "workspace",
55
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
56
+ "renames": []
57
+ },
58
+ "evt_01M2ZQ92PZAF3Y9QJQ93HW1FTW": {
59
+ "bakedName": "INIT",
60
+ "curName": "INIT",
61
+ "id": "evt_01M2ZQ92PZAF3Y9QJQ93HW1FTW",
62
+ "kind": "event",
63
+ "owner": "workspace",
64
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
65
+ "renames": []
66
+ },
67
+ "evt_01M2ZQ92PZEGZ40SRSAMR97HF0": {
68
+ "bakedName": "CHECKS_DISAGREE",
69
+ "curName": "CHECKS_DISAGREE",
70
+ "id": "evt_01M2ZQ92PZEGZ40SRSAMR97HF0",
71
+ "kind": "event",
72
+ "owner": "workspace",
73
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
74
+ "renames": []
75
+ },
76
+ "evt_01M2ZQ92PZFT3WAQ12HCMJZ1X2": {
77
+ "bakedName": "EXTRAPOLATE",
78
+ "curName": "EXTRAPOLATE",
79
+ "id": "evt_01M2ZQ92PZFT3WAQ12HCMJZ1X2",
80
+ "kind": "event",
81
+ "owner": "workspace",
82
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
83
+ "renames": []
84
+ },
85
+ "evt_01M2ZQ92PZHVA4XQZ651A241EH": {
86
+ "bakedName": "CHECKS_AGREE",
87
+ "curName": "CHECKS_AGREE",
88
+ "id": "evt_01M2ZQ92PZHVA4XQZ651A241EH",
89
+ "kind": "event",
90
+ "owner": "workspace",
91
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
92
+ "renames": []
93
+ },
94
+ "evt_01M2ZQ92PZHVV5XQH33875VFZW": {
95
+ "bakedName": "FAILED",
96
+ "curName": "FAILED",
97
+ "id": "evt_01M2ZQ92PZHVV5XQH33875VFZW",
98
+ "kind": "event",
99
+ "owner": "workspace",
100
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
101
+ "renames": []
102
+ },
103
+ "evt_01M2ZQ92PZP010YXNSHVVBCMYS": {
104
+ "bakedName": "CHOOSE_NEXT_TARGET",
105
+ "curName": "CHOOSE_NEXT_TARGET",
106
+ "id": "evt_01M2ZQ92PZP010YXNSHVVBCMYS",
107
+ "kind": "event",
108
+ "owner": "workspace",
109
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
110
+ "renames": []
111
+ },
112
+ "evt_01M2ZQ92PZQZB00Z4J36QZ09ZR": {
113
+ "bakedName": "STRIP_TO_ESSENTIALS",
114
+ "curName": "STRIP_TO_ESSENTIALS",
115
+ "id": "evt_01M2ZQ92PZQZB00Z4J36QZ09ZR",
116
+ "kind": "event",
117
+ "owner": "workspace",
118
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
119
+ "renames": []
120
+ },
121
+ "evt_01M2ZQ92PZV0KSC1T6PHW6H7TZ": {
122
+ "bakedName": "CONFIRM_SCORE",
123
+ "curName": "CONFIRM_SCORE",
124
+ "id": "evt_01M2ZQ92PZV0KSC1T6PHW6H7TZ",
125
+ "kind": "event",
126
+ "owner": "workspace",
127
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
128
+ "renames": []
129
+ },
130
+ "evt_01M2ZQ92PZWV89QKNPVE4YK1VY": {
131
+ "bakedName": "MEASURE_DIFFERENCE",
132
+ "curName": "MEASURE_DIFFERENCE",
133
+ "id": "evt_01M2ZQ92PZWV89QKNPVE4YK1VY",
134
+ "kind": "event",
135
+ "owner": "workspace",
136
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
137
+ "renames": []
138
+ },
139
+ "evt_01M2ZQ92PZXK12WF5BRGJA2EC9": {
140
+ "bakedName": "CHANGE_CONDITION",
141
+ "curName": "CHANGE_CONDITION",
142
+ "id": "evt_01M2ZQ92PZXK12WF5BRGJA2EC9",
143
+ "kind": "event",
144
+ "owner": "workspace",
145
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
146
+ "renames": []
147
+ },
148
+ "evt_01M2ZQ92PZY9FHKZPK6D2V16M0": {
149
+ "bakedName": "FIND_AND_CONTROL_CAUSE",
150
+ "curName": "FIND_AND_CONTROL_CAUSE",
151
+ "id": "evt_01M2ZQ92PZY9FHKZPK6D2V16M0",
152
+ "kind": "event",
153
+ "owner": "workspace",
154
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
155
+ "renames": []
156
+ },
157
+ "evt_01M2ZQVNTF626BYHT3PCFWBKT3": {
158
+ "bakedName": "VerificationRequested",
159
+ "curName": "VerificationRequested",
160
+ "id": "evt_01M2ZQVNTF626BYHT3PCFWBKT3",
161
+ "kind": "event",
162
+ "owner": "workspace",
163
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
164
+ "renames": []
165
+ },
166
+ "evt_01M2ZQVNTF9K6ZPN0S3AS6FQX4": {
167
+ "bakedName": "FalsificationRequested",
168
+ "curName": "FalsificationRequested",
169
+ "id": "evt_01M2ZQVNTF9K6ZPN0S3AS6FQX4",
170
+ "kind": "event",
171
+ "owner": "workspace",
172
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
173
+ "renames": []
174
+ },
175
+ "evt_01M2ZQVNTF9SVF3HKSCSW5HH74": {
176
+ "bakedName": "CalibrationRequested",
177
+ "curName": "CalibrationRequested",
178
+ "id": "evt_01M2ZQVNTF9SVF3HKSCSW5HH74",
179
+ "kind": "event",
180
+ "owner": "workspace",
181
+ "parent": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
182
+ "renames": []
183
+ },
184
+ "orb_01M2ZQ92PYYDZ678FTH76S0W9V": {
185
+ "bakedName": "KnowledgeLoopOrbital",
186
+ "curName": "KnowledgeLoopOrbital",
187
+ "id": "orb_01M2ZQ92PYYDZ678FTH76S0W9V",
188
+ "kind": "orbital",
189
+ "owner": "workspace",
190
+ "renames": []
191
+ },
192
+ "pag_01M2ZQ92PZ0FRBGYRZ8BZWAX7J": {
193
+ "bakedName": "KnowledgeLoopPage",
194
+ "curName": "KnowledgeLoopPage",
195
+ "id": "pag_01M2ZQ92PZ0FRBGYRZ8BZWAX7J",
196
+ "kind": "page",
197
+ "owner": "workspace",
198
+ "renames": []
199
+ },
200
+ "trt_01M2ZQ92PZ2GTN9GN80SHKW8SM": {
201
+ "bakedName": "LoopTitle",
202
+ "curName": "LoopTitle",
203
+ "id": "trt_01M2ZQ92PZ2GTN9GN80SHKW8SM",
204
+ "kind": "trait",
205
+ "owner": "workspace",
206
+ "renames": []
207
+ },
208
+ "trt_01M2ZQ92PZ4RF8SPKHEZR0EX4G": {
209
+ "bakedName": "FailedButton",
210
+ "curName": "FailedButton",
211
+ "id": "trt_01M2ZQ92PZ4RF8SPKHEZR0EX4G",
212
+ "kind": "trait",
213
+ "owner": "workspace",
214
+ "renames": []
215
+ },
216
+ "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ": {
217
+ "bakedName": "KnowledgeLoop",
218
+ "curName": "KnowledgeLoop",
219
+ "id": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
220
+ "kind": "trait",
221
+ "owner": "workspace",
222
+ "renames": []
223
+ },
224
+ "trt_01M2ZQ92PZB3E4VZ30YBV9H52Z": {
225
+ "bakedName": "ChecksAgreeButton",
226
+ "curName": "ChecksAgreeButton",
227
+ "id": "trt_01M2ZQ92PZB3E4VZ30YBV9H52Z",
228
+ "kind": "trait",
229
+ "owner": "workspace",
230
+ "renames": []
231
+ },
232
+ "trt_01M2ZQ92PZHHPFWP695ATTHAV5": {
233
+ "bakedName": "LoopDivider",
234
+ "curName": "LoopDivider",
235
+ "id": "trt_01M2ZQ92PZHHPFWP695ATTHAV5",
236
+ "kind": "trait",
237
+ "owner": "workspace",
238
+ "renames": []
239
+ },
240
+ "trt_01M2ZQ92PZP0KZMYSEWBRES7FY": {
241
+ "bakedName": "ChecksDisagreeButton",
242
+ "curName": "ChecksDisagreeButton",
243
+ "id": "trt_01M2ZQ92PZP0KZMYSEWBRES7FY",
244
+ "kind": "trait",
245
+ "owner": "workspace",
246
+ "renames": []
247
+ },
248
+ "trt_01M2ZQ92PZVFQ6B2EG2TWEQYHC": {
249
+ "bakedName": "ChooseNextTargetButton",
250
+ "curName": "ChooseNextTargetButton",
251
+ "id": "trt_01M2ZQ92PZVFQ6B2EG2TWEQYHC",
252
+ "kind": "trait",
253
+ "owner": "workspace",
254
+ "renames": []
255
+ },
256
+ "trt_01M2ZQ92PZX45ENT52Z1JDT5C1": {
257
+ "bakedName": "SurvivedButton",
258
+ "curName": "SurvivedButton",
259
+ "id": "trt_01M2ZQ92PZX45ENT52Z1JDT5C1",
260
+ "kind": "trait",
261
+ "owner": "workspace",
262
+ "renames": []
263
+ },
264
+ "trt_01M2ZQVNTFFXW66BQK3G6KGX6W": {
265
+ "bakedName": "AwaitingVerificationText",
266
+ "curName": "AwaitingVerificationText",
267
+ "id": "trt_01M2ZQVNTFFXW66BQK3G6KGX6W",
268
+ "kind": "trait",
269
+ "owner": "workspace",
270
+ "renames": []
271
+ },
272
+ "trt_01M2ZQVNTFWWY65FPMZMT1J48C": {
273
+ "bakedName": "AwaitingFalsificationText",
274
+ "curName": "AwaitingFalsificationText",
275
+ "id": "trt_01M2ZQVNTFWWY65FPMZMT1J48C",
276
+ "kind": "trait",
277
+ "owner": "workspace",
278
+ "renames": []
279
+ }
280
+ },
281
+ "schemaVersion": 1
282
+ },
283
+ "name": "std-knowledge-loop",
284
+ "orbitals": [
285
+ {
286
+ "entity": {
287
+ "fields": [
288
+ {
289
+ "description": "what's being investigated",
290
+ "name": "title",
291
+ "required": true,
292
+ "type": "string"
293
+ },
294
+ {
295
+ "default": "",
296
+ "description": "the current hypothesis",
297
+ "name": "candidateStructure",
298
+ "type": "string"
299
+ },
300
+ {
301
+ "default": false,
302
+ "description": "did the prediction survive an honest attempt to break it",
303
+ "name": "survivedFalsification",
304
+ "type": "boolean"
305
+ },
306
+ {
307
+ "default": false,
308
+ "description": "did a different method or observer converge on the same result",
309
+ "name": "independentChecksAgree",
310
+ "type": "boolean"
311
+ },
312
+ {
313
+ "default": 0.0,
314
+ "description": "the calibrated model's measured reliability, 0-1",
315
+ "name": "reliabilityScore",
316
+ "type": "number"
317
+ },
318
+ {
319
+ "default": "",
320
+ "description": "the next question that removes the most uncertainty",
321
+ "name": "nextTarget",
322
+ "type": "string"
323
+ }
324
+ ],
325
+ "id": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
326
+ "name": "KnowledgeClaim",
327
+ "persistence": "runtime"
328
+ },
329
+ "id": "orb_01M2ZQ92PYYDZ678FTH76S0W9V",
330
+ "name": "KnowledgeLoopOrbital",
331
+ "pages": [
332
+ {
333
+ "id": "pag_01M2ZQ92PZ0FRBGYRZ8BZWAX7J",
334
+ "isInitial": true,
335
+ "name": "KnowledgeLoopPage",
336
+ "path": "/knowledge-loop",
337
+ "primaryEntity": "KnowledgeClaim",
338
+ "traits": [
339
+ {
340
+ "ref": "KnowledgeLoop",
341
+ "refId": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ"
342
+ }
343
+ ],
344
+ "viewType": "detail"
345
+ }
346
+ ],
347
+ "traits": [
348
+ {
349
+ "config": {
350
+ "content": {
351
+ "default": "Knowledge loop",
352
+ "type": "unknown"
353
+ },
354
+ "variant": {
355
+ "default": "h3",
356
+ "type": "unknown"
357
+ }
358
+ },
359
+ "id": "trt_01M2ZQ92PZ2GTN9GN80SHKW8SM",
360
+ "linkedEntity": "KnowledgeClaim",
361
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
362
+ "name": "LoopTitle",
363
+ "ref": "Typography.traits.TypographyRender"
364
+ },
365
+ {
366
+ "config": {
367
+ "color": {
368
+ "default": "muted",
369
+ "type": "unknown"
370
+ },
371
+ "content": {
372
+ "default": "Falsification requested — awaiting the automated check's verdict.",
373
+ "type": "unknown"
374
+ },
375
+ "variant": {
376
+ "default": "caption",
377
+ "type": "unknown"
378
+ }
379
+ },
380
+ "id": "trt_01M2ZQVNTFWWY65FPMZMT1J48C",
381
+ "linkedEntity": "KnowledgeClaim",
382
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
383
+ "name": "AwaitingFalsificationText",
384
+ "ref": "Typography.traits.TypographyRender"
385
+ },
386
+ {
387
+ "config": {
388
+ "color": {
389
+ "default": "muted",
390
+ "type": "unknown"
391
+ },
392
+ "content": {
393
+ "default": "Independent verification requested — awaiting the automated check's verdict.",
394
+ "type": "unknown"
395
+ },
396
+ "variant": {
397
+ "default": "caption",
398
+ "type": "unknown"
399
+ }
400
+ },
401
+ "id": "trt_01M2ZQVNTFFXW66BQK3G6KGX6W",
402
+ "linkedEntity": "KnowledgeClaim",
403
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
404
+ "name": "AwaitingVerificationText",
405
+ "ref": "Typography.traits.TypographyRender"
406
+ },
407
+ {
408
+ "id": "trt_01M2ZQ92PZHHPFWP695ATTHAV5",
409
+ "linkedEntity": "KnowledgeClaim",
410
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
411
+ "name": "LoopDivider",
412
+ "ref": "Divider.traits.DividerRender"
413
+ },
414
+ {
415
+ "config": {
416
+ "action": {
417
+ "default": "SURVIVED",
418
+ "type": "unknown"
419
+ },
420
+ "icon": {
421
+ "default": "check",
422
+ "type": "unknown"
423
+ },
424
+ "label": {
425
+ "default": "Survived",
426
+ "type": "unknown"
427
+ },
428
+ "variant": {
429
+ "default": "primary",
430
+ "type": "unknown"
431
+ }
432
+ },
433
+ "id": "trt_01M2ZQ92PZX45ENT52Z1JDT5C1",
434
+ "linkedEntity": "KnowledgeClaim",
435
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
436
+ "name": "SurvivedButton",
437
+ "ref": "Button.traits.ButtonRender"
438
+ },
439
+ {
440
+ "config": {
441
+ "action": {
442
+ "default": "FAILED",
443
+ "type": "unknown"
444
+ },
445
+ "icon": {
446
+ "default": "x",
447
+ "type": "unknown"
448
+ },
449
+ "label": {
450
+ "default": "Failed",
451
+ "type": "unknown"
452
+ },
453
+ "variant": {
454
+ "default": "danger",
455
+ "type": "unknown"
456
+ }
457
+ },
458
+ "id": "trt_01M2ZQ92PZ4RF8SPKHEZR0EX4G",
459
+ "linkedEntity": "KnowledgeClaim",
460
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
461
+ "name": "FailedButton",
462
+ "ref": "Button.traits.ButtonRender"
463
+ },
464
+ {
465
+ "config": {
466
+ "action": {
467
+ "default": "CHECKS_AGREE",
468
+ "type": "unknown"
469
+ },
470
+ "icon": {
471
+ "default": "check",
472
+ "type": "unknown"
473
+ },
474
+ "label": {
475
+ "default": "Checks agree",
476
+ "type": "unknown"
477
+ },
478
+ "variant": {
479
+ "default": "primary",
480
+ "type": "unknown"
481
+ }
482
+ },
483
+ "id": "trt_01M2ZQ92PZB3E4VZ30YBV9H52Z",
484
+ "linkedEntity": "KnowledgeClaim",
485
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
486
+ "name": "ChecksAgreeButton",
487
+ "ref": "Button.traits.ButtonRender"
488
+ },
489
+ {
490
+ "config": {
491
+ "action": {
492
+ "default": "CHECKS_DISAGREE",
493
+ "type": "unknown"
494
+ },
495
+ "icon": {
496
+ "default": "x",
497
+ "type": "unknown"
498
+ },
499
+ "label": {
500
+ "default": "Checks disagree",
501
+ "type": "unknown"
502
+ },
503
+ "variant": {
504
+ "default": "danger",
505
+ "type": "unknown"
506
+ }
507
+ },
508
+ "id": "trt_01M2ZQ92PZP0KZMYSEWBRES7FY",
509
+ "linkedEntity": "KnowledgeClaim",
510
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
511
+ "name": "ChecksDisagreeButton",
512
+ "ref": "Button.traits.ButtonRender"
513
+ },
514
+ {
515
+ "config": {
516
+ "action": {
517
+ "default": "CHOOSE_NEXT_TARGET",
518
+ "type": "unknown"
519
+ },
520
+ "icon": {
521
+ "default": "arrow-right",
522
+ "type": "unknown"
523
+ },
524
+ "label": {
525
+ "default": "Choose next target",
526
+ "type": "unknown"
527
+ },
528
+ "variant": {
529
+ "default": "primary",
530
+ "type": "unknown"
531
+ }
532
+ },
533
+ "id": "trt_01M2ZQ92PZVFQ6B2EG2TWEQYHC",
534
+ "linkedEntity": "KnowledgeClaim",
535
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
536
+ "name": "ChooseNextTargetButton",
537
+ "ref": "Button.traits.ButtonRender"
538
+ },
539
+ {
540
+ "category": "interaction",
541
+ "config": {
542
+ "manualFalsification": {
543
+ "default": true,
544
+ "description": "On: the falsification gate renders Survived / Failed buttons and a person decides. Off: no buttons render; the consumer's own sibling trait must answer FalsificationRequested by routing its result into SURVIVED / FAILED through a listens override.",
545
+ "label": "Falsification is judged by a person",
546
+ "synonyms": "manual falsification, human judged, automated check off",
547
+ "tier": "policy",
548
+ "type": "boolean"
549
+ },
550
+ "manualVerification": {
551
+ "default": true,
552
+ "description": "On: the verification gate renders Checks-agree / Checks-disagree buttons. Off: the consumer's sibling trait answers VerificationRequested by routing its result into CHECKS_AGREE / CHECKS_DISAGREE through a listens override.",
553
+ "label": "Verification is judged by a person",
554
+ "synonyms": "manual verification, human second opinion, automated cross-check off",
555
+ "tier": "policy",
556
+ "type": "boolean"
557
+ },
558
+ "reliabilityThreshold": {
559
+ "default": 0.8,
560
+ "description": "The measured reliability score a calibrated claim must clear before it is considered good enough to act on. Below it, the loop returns to falsification for more testing.",
561
+ "label": "Reliability threshold",
562
+ "synonyms": "confidence threshold, calibration bar, minimum reliability",
563
+ "tier": "policy",
564
+ "type": "number"
565
+ },
566
+ "requireIndependentVerification": {
567
+ "default": true,
568
+ "description": "Whether a second, independent check must agree before the claim advances. Off skips straight to generalization once falsification survives.",
569
+ "label": "Require independent verification",
570
+ "synonyms": "second opinion, independent check, cross-verify",
571
+ "tier": "policy",
572
+ "type": "boolean"
573
+ }
574
+ },
575
+ "effectRow": [
576
+ {
577
+ "kind": "emit",
578
+ "resource": "CalibrationRequested"
579
+ },
580
+ {
581
+ "kind": "emit",
582
+ "resource": "FalsificationRequested"
583
+ },
584
+ {
585
+ "kind": "emit",
586
+ "resource": "LoopConcluded"
587
+ },
588
+ {
589
+ "kind": "emit",
590
+ "resource": "VerificationRequested"
591
+ },
592
+ {
593
+ "kind": "fetch",
594
+ "resource": "KnowledgeClaim"
595
+ },
596
+ {
597
+ "kind": "render-ui",
598
+ "resource": "main"
599
+ },
600
+ {
601
+ "kind": "set",
602
+ "resource": "@entity.candidateStructure"
603
+ },
604
+ {
605
+ "kind": "set",
606
+ "resource": "@entity.independentChecksAgree"
607
+ },
608
+ {
609
+ "kind": "set",
610
+ "resource": "@entity.reliabilityScore"
611
+ },
612
+ {
613
+ "kind": "set",
614
+ "resource": "@entity.survivedFalsification"
615
+ },
616
+ {
617
+ "kind": "set",
618
+ "resource": "@entity.title"
619
+ }
620
+ ],
621
+ "emits": [
622
+ {
623
+ "description": "The loop entered the falsification gate. A consumer that computes the verdict listens for this, runs its check, and routes its result into SURVIVED or FAILED via a listens override.",
624
+ "event": "FalsificationRequested",
625
+ "eventId": "evt_01M2ZQVNTF9K6ZPN0S3AS6FQX4",
626
+ "payloadSchema": [
627
+ {
628
+ "name": "title",
629
+ "type": "string"
630
+ },
631
+ {
632
+ "name": "candidateStructure",
633
+ "type": "string"
634
+ }
635
+ ],
636
+ "scope": "external",
637
+ "synonyms": "falsify, test the prediction, try to break it",
638
+ "tier": "domain"
639
+ },
640
+ {
641
+ "description": "The loop entered the independent-verification gate. A consumer routes its second-method result into CHECKS_AGREE or CHECKS_DISAGREE via a listens override.",
642
+ "event": "VerificationRequested",
643
+ "eventId": "evt_01M2ZQVNTF626BYHT3PCFWBKT3",
644
+ "payloadSchema": [
645
+ {
646
+ "name": "title",
647
+ "type": "string"
648
+ },
649
+ {
650
+ "name": "candidateStructure",
651
+ "type": "string"
652
+ }
653
+ ],
654
+ "scope": "external",
655
+ "synonyms": "verify independently, second opinion, cross-check",
656
+ "tier": "domain"
657
+ },
658
+ {
659
+ "description": "The loop entered the calibration gate and is waiting for a reliability score (CONFIRM_SCORE, data.score), which the atom checks against reliabilityThreshold.",
660
+ "event": "CalibrationRequested",
661
+ "eventId": "evt_01M2ZQVNTF9SVF3HKSCSW5HH74",
662
+ "payloadSchema": [
663
+ {
664
+ "name": "title",
665
+ "type": "string"
666
+ },
667
+ {
668
+ "name": "candidateStructure",
669
+ "type": "string"
670
+ }
671
+ ],
672
+ "scope": "external",
673
+ "synonyms": "calibrate, measure reliability, score it",
674
+ "tier": "domain"
675
+ },
676
+ {
677
+ "description": "A claim cleared calibration; a composing host can act on the validated result.",
678
+ "event": "LoopConcluded",
679
+ "eventId": "evt_01M2ZQ92PZ92W02Q03YF18AXRT",
680
+ "payloadSchema": [
681
+ {
682
+ "name": "title",
683
+ "type": "string"
684
+ },
685
+ {
686
+ "name": "reliabilityScore",
687
+ "type": "number"
688
+ }
689
+ ],
690
+ "scope": "external",
691
+ "synonyms": "validated, calibrated, concluded, ready to ship",
692
+ "tier": "domain"
693
+ }
694
+ ],
695
+ "entityContract": {
696
+ "provides": [
697
+ "candidateStructure",
698
+ "independentChecksAgree",
699
+ "reliabilityScore",
700
+ "survivedFalsification",
701
+ "title"
702
+ ],
703
+ "requires": []
704
+ },
705
+ "entityRebindable": true,
706
+ "entityRefIds": {
707
+ "KnowledgeClaim": "ent_01M2ZQ92PY7RP350PAWV761Z6F"
708
+ },
709
+ "id": "trt_01M2ZQ92PZ773BRYAEG9TVTXEJ",
710
+ "linkedEntity": "KnowledgeClaim",
711
+ "linkedEntityId": "ent_01M2ZQ92PY7RP350PAWV761Z6F",
712
+ "listens": [
713
+ {
714
+ "event": "SURVIVED",
715
+ "eventId": "evt_01M2ZQ92PZ12JQB821TTV5H2VF",
716
+ "source": {
717
+ "kind": "trait",
718
+ "trait": "SurvivedButton",
719
+ "traitId": "trt_01M2ZQ92PZX45ENT52Z1JDT5C1"
720
+ },
721
+ "triggers": "SURVIVED",
722
+ "triggersId": "evt_01M2ZQ92PZ12JQB821TTV5H2VF"
723
+ },
724
+ {
725
+ "event": "FAILED",
726
+ "eventId": "evt_01M2ZQ92PZHVV5XQH33875VFZW",
727
+ "source": {
728
+ "kind": "trait",
729
+ "trait": "FailedButton",
730
+ "traitId": "trt_01M2ZQ92PZ4RF8SPKHEZR0EX4G"
731
+ },
732
+ "triggers": "FAILED",
733
+ "triggersId": "evt_01M2ZQ92PZHVV5XQH33875VFZW"
734
+ },
735
+ {
736
+ "event": "CHECKS_AGREE",
737
+ "eventId": "evt_01M2ZQ92PZHVA4XQZ651A241EH",
738
+ "source": {
739
+ "kind": "trait",
740
+ "trait": "ChecksAgreeButton",
741
+ "traitId": "trt_01M2ZQ92PZB3E4VZ30YBV9H52Z"
742
+ },
743
+ "triggers": "CHECKS_AGREE",
744
+ "triggersId": "evt_01M2ZQ92PZHVA4XQZ651A241EH"
745
+ },
746
+ {
747
+ "event": "CHECKS_DISAGREE",
748
+ "eventId": "evt_01M2ZQ92PZEGZ40SRSAMR97HF0",
749
+ "source": {
750
+ "kind": "trait",
751
+ "trait": "ChecksDisagreeButton",
752
+ "traitId": "trt_01M2ZQ92PZP0KZMYSEWBRES7FY"
753
+ },
754
+ "triggers": "CHECKS_DISAGREE",
755
+ "triggersId": "evt_01M2ZQ92PZEGZ40SRSAMR97HF0"
756
+ },
757
+ {
758
+ "event": "CHOOSE_NEXT_TARGET",
759
+ "eventId": "evt_01M2ZQ92PZP010YXNSHVVBCMYS",
760
+ "source": {
761
+ "kind": "trait",
762
+ "trait": "ChooseNextTargetButton",
763
+ "traitId": "trt_01M2ZQ92PZVFQ6B2EG2TWEQYHC"
764
+ },
765
+ "triggers": "CHOOSE_NEXT_TARGET",
766
+ "triggersId": "evt_01M2ZQ92PZP010YXNSHVVBCMYS"
767
+ }
768
+ ],
769
+ "name": "KnowledgeLoop",
770
+ "scope": "collection",
771
+ "stateMachine": {
772
+ "events": [
773
+ {
774
+ "id": "evt_01M2ZQ92PZAF3Y9QJQ93HW1FTW",
775
+ "key": "INIT",
776
+ "name": "Initialize"
777
+ },
778
+ {
779
+ "description": "The investigation's title and current hypothesis were entered.",
780
+ "id": "evt_01M2ZQ92PZXK12WF5BRGJA2EC9",
781
+ "key": "CHANGE_CONDITION",
782
+ "name": "Change Condition",
783
+ "payloadSchema": [
784
+ {
785
+ "name": "data",
786
+ "properties": [
787
+ {
788
+ "name": "title",
789
+ "type": "string"
790
+ },
791
+ {
792
+ "name": "candidateStructure",
793
+ "type": "string"
794
+ }
795
+ ],
796
+ "type": "object"
797
+ }
798
+ ],
799
+ "synonyms": "start investigation, set hypothesis",
800
+ "tier": "internal"
801
+ },
802
+ {
803
+ "id": "evt_01M2ZQ92PZWV89QKNPVE4YK1VY",
804
+ "key": "MEASURE_DIFFERENCE",
805
+ "name": "Measure Difference"
806
+ },
807
+ {
808
+ "id": "evt_01M2ZQ92PZA06VT2KBHG9VCN14",
809
+ "key": "FORM_GUESS",
810
+ "name": "Form Guess"
811
+ },
812
+ {
813
+ "id": "evt_01M2ZQ92PZFT3WAQ12HCMJZ1X2",
814
+ "key": "EXTRAPOLATE",
815
+ "name": "Extrapolate"
816
+ },
817
+ {
818
+ "id": "evt_01M2ZQ92PZ12JQB821TTV5H2VF",
819
+ "key": "SURVIVED",
820
+ "name": "Survived"
821
+ },
822
+ {
823
+ "id": "evt_01M2ZQ92PZHVV5XQH33875VFZW",
824
+ "key": "FAILED",
825
+ "name": "Failed"
826
+ },
827
+ {
828
+ "id": "evt_01M2ZQ92PZHVA4XQZ651A241EH",
829
+ "key": "CHECKS_AGREE",
830
+ "name": "Checks Agree"
831
+ },
832
+ {
833
+ "id": "evt_01M2ZQ92PZEGZ40SRSAMR97HF0",
834
+ "key": "CHECKS_DISAGREE",
835
+ "name": "Checks Disagree"
836
+ },
837
+ {
838
+ "id": "evt_01M2ZQ92PZQZB00Z4J36QZ09ZR",
839
+ "key": "STRIP_TO_ESSENTIALS",
840
+ "name": "Strip To Essentials"
841
+ },
842
+ {
843
+ "id": "evt_01M2ZQ92PZY9FHKZPK6D2V16M0",
844
+ "key": "FIND_AND_CONTROL_CAUSE",
845
+ "name": "Find And Control Cause"
846
+ },
847
+ {
848
+ "id": "evt_01M2ZQ92PZ28JZEDAJ1Y43DDW9",
849
+ "key": "COMBINE_WITH_TRUSTED",
850
+ "name": "Combine With Trusted"
851
+ },
852
+ {
853
+ "description": "The reliability-score form committed.",
854
+ "id": "evt_01M2ZQ92PZV0KSC1T6PHW6H7TZ",
855
+ "key": "CONFIRM_SCORE",
856
+ "name": "Confirm Score",
857
+ "payloadSchema": [
858
+ {
859
+ "name": "data",
860
+ "properties": [
861
+ {
862
+ "name": "score",
863
+ "type": "number"
864
+ }
865
+ ],
866
+ "type": "object"
867
+ }
868
+ ],
869
+ "synonyms": "submit score, report reliability",
870
+ "tier": "internal"
871
+ },
872
+ {
873
+ "id": "evt_01M2ZQ92PZ7NYYQKS84PWZTMVZ",
874
+ "key": "CANCEL_SCORE",
875
+ "name": "Cancel Score"
876
+ },
877
+ {
878
+ "id": "evt_01M2ZQ92PZP010YXNSHVVBCMYS",
879
+ "key": "CHOOSE_NEXT_TARGET",
880
+ "name": "Choose Next Target"
881
+ },
882
+ {
883
+ "description": "The loop entered the falsification gate. A consumer that computes the verdict listens for this, runs its check, and routes its result into SURVIVED or FAILED via a listens override.",
884
+ "id": "evt_01M2ZQVNTF9K6ZPN0S3AS6FQX4",
885
+ "key": "FalsificationRequested",
886
+ "name": "Falsification requested",
887
+ "payloadSchema": [
888
+ {
889
+ "name": "title",
890
+ "type": "string"
891
+ },
892
+ {
893
+ "name": "candidateStructure",
894
+ "type": "string"
895
+ }
896
+ ],
897
+ "synonyms": "falsify, test the prediction, try to break it",
898
+ "tier": "domain"
899
+ },
900
+ {
901
+ "description": "The loop entered the independent-verification gate. A consumer routes its second-method result into CHECKS_AGREE or CHECKS_DISAGREE via a listens override.",
902
+ "id": "evt_01M2ZQVNTF626BYHT3PCFWBKT3",
903
+ "key": "VerificationRequested",
904
+ "name": "Verification requested",
905
+ "payloadSchema": [
906
+ {
907
+ "name": "title",
908
+ "type": "string"
909
+ },
910
+ {
911
+ "name": "candidateStructure",
912
+ "type": "string"
913
+ }
914
+ ],
915
+ "synonyms": "verify independently, second opinion, cross-check",
916
+ "tier": "domain"
917
+ },
918
+ {
919
+ "description": "The loop entered the calibration gate and is waiting for a reliability score (CONFIRM_SCORE, data.score), which the atom checks against reliabilityThreshold.",
920
+ "id": "evt_01M2ZQVNTF9SVF3HKSCSW5HH74",
921
+ "key": "CalibrationRequested",
922
+ "name": "Calibration requested",
923
+ "payloadSchema": [
924
+ {
925
+ "name": "title",
926
+ "type": "string"
927
+ },
928
+ {
929
+ "name": "candidateStructure",
930
+ "type": "string"
931
+ }
932
+ ],
933
+ "synonyms": "calibrate, measure reliability, score it",
934
+ "tier": "domain"
935
+ },
936
+ {
937
+ "description": "A claim cleared calibration; a composing host can act on the validated result.",
938
+ "id": "evt_01M2ZQ92PZ92W02Q03YF18AXRT",
939
+ "key": "LoopConcluded",
940
+ "name": "Loop concluded",
941
+ "payloadSchema": [
942
+ {
943
+ "name": "title",
944
+ "type": "string"
945
+ },
946
+ {
947
+ "name": "reliabilityScore",
948
+ "type": "number"
949
+ }
950
+ ],
951
+ "synonyms": "validated, calibrated, concluded, ready to ship",
952
+ "tier": "domain"
953
+ }
954
+ ],
955
+ "states": [
956
+ {
957
+ "isInitial": true,
958
+ "name": "varying"
959
+ },
960
+ {
961
+ "name": "comparing"
962
+ },
963
+ {
964
+ "name": "hypothesizing"
965
+ },
966
+ {
967
+ "name": "predicting"
968
+ },
969
+ {
970
+ "name": "falsifying"
971
+ },
972
+ {
973
+ "name": "verifying"
974
+ },
975
+ {
976
+ "name": "generalizing"
977
+ },
978
+ {
979
+ "name": "isolating"
980
+ },
981
+ {
982
+ "name": "composing"
983
+ },
984
+ {
985
+ "name": "calibrating"
986
+ },
987
+ {
988
+ "name": "selecting"
989
+ }
990
+ ],
991
+ "transitions": [
992
+ {
993
+ "effects": [
994
+ [
995
+ "fetch",
996
+ "KnowledgeClaim"
997
+ ],
998
+ [
999
+ "render-ui",
1000
+ "main",
1001
+ {
1002
+ "children": [
1003
+ "@trait.LoopTitle",
1004
+ "@trait.LoopDivider",
1005
+ {
1006
+ "entity": "@entity",
1007
+ "fields": [
1008
+ "title",
1009
+ "candidateStructure",
1010
+ "survivedFalsification",
1011
+ "independentChecksAgree",
1012
+ "reliabilityScore",
1013
+ "nextTarget"
1014
+ ],
1015
+ "title": "Current claim",
1016
+ "type": "detail-panel"
1017
+ },
1018
+ {
1019
+ "entity": {},
1020
+ "fields": [
1021
+ "title",
1022
+ "candidateStructure"
1023
+ ],
1024
+ "mode": "create",
1025
+ "submitEvent": "CHANGE_CONDITION",
1026
+ "type": "form-section"
1027
+ }
1028
+ ],
1029
+ "direction": "vertical",
1030
+ "gap": "md",
1031
+ "type": "stack"
1032
+ }
1033
+ ]
1034
+ ],
1035
+ "event": "INIT",
1036
+ "eventId": "evt_01M2ZQ92PZAF3Y9QJQ93HW1FTW",
1037
+ "from": "varying",
1038
+ "to": "varying"
1039
+ },
1040
+ {
1041
+ "effects": [
1042
+ [
1043
+ "set",
1044
+ "@entity.title",
1045
+ [
1046
+ "object/get",
1047
+ "@payload.data",
1048
+ "title"
1049
+ ]
1050
+ ],
1051
+ [
1052
+ "set",
1053
+ "@entity.candidateStructure",
1054
+ [
1055
+ "object/get",
1056
+ "@payload.data",
1057
+ "candidateStructure"
1058
+ ]
1059
+ ]
1060
+ ],
1061
+ "event": "CHANGE_CONDITION",
1062
+ "eventId": "evt_01M2ZQ92PZXK12WF5BRGJA2EC9",
1063
+ "from": "varying",
1064
+ "to": "comparing"
1065
+ },
1066
+ {
1067
+ "event": "MEASURE_DIFFERENCE",
1068
+ "eventId": "evt_01M2ZQ92PZWV89QKNPVE4YK1VY",
1069
+ "from": "comparing",
1070
+ "to": "hypothesizing"
1071
+ },
1072
+ {
1073
+ "event": "FORM_GUESS",
1074
+ "eventId": "evt_01M2ZQ92PZA06VT2KBHG9VCN14",
1075
+ "from": "hypothesizing",
1076
+ "to": "predicting"
1077
+ },
1078
+ {
1079
+ "effects": [
1080
+ [
1081
+ "emit",
1082
+ "FalsificationRequested",
1083
+ {
1084
+ "candidateStructure": "@entity.candidateStructure",
1085
+ "title": "@entity.title"
1086
+ }
1087
+ ],
1088
+ [
1089
+ "if",
1090
+ "@config.manualFalsification",
1091
+ [
1092
+ "render-ui",
1093
+ "main",
1094
+ {
1095
+ "children": [
1096
+ "@trait.LoopTitle",
1097
+ "@trait.LoopDivider",
1098
+ "@trait.SurvivedButton",
1099
+ "@trait.FailedButton"
1100
+ ],
1101
+ "direction": "vertical",
1102
+ "gap": "md",
1103
+ "type": "stack"
1104
+ }
1105
+ ],
1106
+ [
1107
+ "render-ui",
1108
+ "main",
1109
+ {
1110
+ "children": [
1111
+ "@trait.LoopTitle",
1112
+ "@trait.LoopDivider",
1113
+ "@trait.AwaitingFalsificationText"
1114
+ ],
1115
+ "direction": "vertical",
1116
+ "gap": "md",
1117
+ "type": "stack"
1118
+ }
1119
+ ]
1120
+ ]
1121
+ ],
1122
+ "event": "EXTRAPOLATE",
1123
+ "eventId": "evt_01M2ZQ92PZFT3WAQ12HCMJZ1X2",
1124
+ "from": "predicting",
1125
+ "to": "falsifying"
1126
+ },
1127
+ {
1128
+ "effects": [
1129
+ [
1130
+ "set",
1131
+ "@entity.survivedFalsification",
1132
+ true
1133
+ ],
1134
+ [
1135
+ "set",
1136
+ "@entity.independentChecksAgree",
1137
+ true
1138
+ ]
1139
+ ],
1140
+ "event": "SURVIVED",
1141
+ "eventId": "evt_01M2ZQ92PZ12JQB821TTV5H2VF",
1142
+ "from": "falsifying",
1143
+ "guard": [
1144
+ "not",
1145
+ "@config.requireIndependentVerification"
1146
+ ],
1147
+ "to": "generalizing"
1148
+ },
1149
+ {
1150
+ "effects": [
1151
+ [
1152
+ "set",
1153
+ "@entity.survivedFalsification",
1154
+ true
1155
+ ],
1156
+ [
1157
+ "emit",
1158
+ "VerificationRequested",
1159
+ {
1160
+ "candidateStructure": "@entity.candidateStructure",
1161
+ "title": "@entity.title"
1162
+ }
1163
+ ],
1164
+ [
1165
+ "if",
1166
+ "@config.manualVerification",
1167
+ [
1168
+ "render-ui",
1169
+ "main",
1170
+ {
1171
+ "children": [
1172
+ "@trait.LoopTitle",
1173
+ "@trait.LoopDivider",
1174
+ "@trait.ChecksAgreeButton",
1175
+ "@trait.ChecksDisagreeButton"
1176
+ ],
1177
+ "direction": "vertical",
1178
+ "gap": "md",
1179
+ "type": "stack"
1180
+ }
1181
+ ],
1182
+ [
1183
+ "render-ui",
1184
+ "main",
1185
+ {
1186
+ "children": [
1187
+ "@trait.LoopTitle",
1188
+ "@trait.LoopDivider",
1189
+ "@trait.AwaitingVerificationText"
1190
+ ],
1191
+ "direction": "vertical",
1192
+ "gap": "md",
1193
+ "type": "stack"
1194
+ }
1195
+ ]
1196
+ ]
1197
+ ],
1198
+ "event": "SURVIVED",
1199
+ "eventId": "evt_01M2ZQ92PZ12JQB821TTV5H2VF",
1200
+ "from": "falsifying",
1201
+ "guard": "@config.requireIndependentVerification",
1202
+ "to": "verifying"
1203
+ },
1204
+ {
1205
+ "effects": [
1206
+ [
1207
+ "set",
1208
+ "@entity.survivedFalsification",
1209
+ false
1210
+ ]
1211
+ ],
1212
+ "event": "FAILED",
1213
+ "eventId": "evt_01M2ZQ92PZHVV5XQH33875VFZW",
1214
+ "from": "falsifying",
1215
+ "to": "hypothesizing"
1216
+ },
1217
+ {
1218
+ "effects": [
1219
+ [
1220
+ "set",
1221
+ "@entity.independentChecksAgree",
1222
+ true
1223
+ ]
1224
+ ],
1225
+ "event": "CHECKS_AGREE",
1226
+ "eventId": "evt_01M2ZQ92PZHVA4XQZ651A241EH",
1227
+ "from": "verifying",
1228
+ "to": "generalizing"
1229
+ },
1230
+ {
1231
+ "effects": [
1232
+ [
1233
+ "set",
1234
+ "@entity.independentChecksAgree",
1235
+ false
1236
+ ]
1237
+ ],
1238
+ "event": "CHECKS_DISAGREE",
1239
+ "eventId": "evt_01M2ZQ92PZEGZ40SRSAMR97HF0",
1240
+ "from": "verifying",
1241
+ "to": "hypothesizing"
1242
+ },
1243
+ {
1244
+ "event": "STRIP_TO_ESSENTIALS",
1245
+ "eventId": "evt_01M2ZQ92PZQZB00Z4J36QZ09ZR",
1246
+ "from": "generalizing",
1247
+ "to": "isolating"
1248
+ },
1249
+ {
1250
+ "event": "FIND_AND_CONTROL_CAUSE",
1251
+ "eventId": "evt_01M2ZQ92PZY9FHKZPK6D2V16M0",
1252
+ "from": "isolating",
1253
+ "to": "composing"
1254
+ },
1255
+ {
1256
+ "effects": [
1257
+ [
1258
+ "emit",
1259
+ "CalibrationRequested",
1260
+ {
1261
+ "candidateStructure": "@entity.candidateStructure",
1262
+ "title": "@entity.title"
1263
+ }
1264
+ ],
1265
+ [
1266
+ "render-ui",
1267
+ "main",
1268
+ {
1269
+ "children": [
1270
+ "@trait.LoopTitle",
1271
+ "@trait.LoopDivider",
1272
+ {
1273
+ "cancelEvent": "CANCEL_SCORE",
1274
+ "entity": {},
1275
+ "fields": [
1276
+ "reliabilityScore"
1277
+ ],
1278
+ "mode": "create",
1279
+ "submitEvent": "CONFIRM_SCORE",
1280
+ "type": "form-section"
1281
+ }
1282
+ ],
1283
+ "direction": "vertical",
1284
+ "gap": "md",
1285
+ "type": "stack"
1286
+ }
1287
+ ]
1288
+ ],
1289
+ "event": "COMBINE_WITH_TRUSTED",
1290
+ "eventId": "evt_01M2ZQ92PZ28JZEDAJ1Y43DDW9",
1291
+ "from": "composing",
1292
+ "to": "calibrating"
1293
+ },
1294
+ {
1295
+ "effects": [
1296
+ [
1297
+ "set",
1298
+ "@entity.reliabilityScore",
1299
+ [
1300
+ "object/get",
1301
+ "@payload.data",
1302
+ "score"
1303
+ ]
1304
+ ],
1305
+ [
1306
+ "emit",
1307
+ "LoopConcluded",
1308
+ {
1309
+ "reliabilityScore": [
1310
+ "object/get",
1311
+ "@payload.data",
1312
+ "score"
1313
+ ],
1314
+ "title": "@entity.title"
1315
+ }
1316
+ ],
1317
+ [
1318
+ "render-ui",
1319
+ "main",
1320
+ {
1321
+ "children": [
1322
+ "@trait.LoopTitle",
1323
+ "@trait.LoopDivider",
1324
+ "@trait.ChooseNextTargetButton"
1325
+ ],
1326
+ "direction": "vertical",
1327
+ "gap": "md",
1328
+ "type": "stack"
1329
+ }
1330
+ ]
1331
+ ],
1332
+ "event": "CONFIRM_SCORE",
1333
+ "eventId": "evt_01M2ZQ92PZV0KSC1T6PHW6H7TZ",
1334
+ "from": "calibrating",
1335
+ "guard": [
1336
+ ">=",
1337
+ [
1338
+ "object/get",
1339
+ "@payload.data",
1340
+ "score"
1341
+ ],
1342
+ "@config.reliabilityThreshold"
1343
+ ],
1344
+ "to": "selecting"
1345
+ },
1346
+ {
1347
+ "effects": [
1348
+ [
1349
+ "set",
1350
+ "@entity.reliabilityScore",
1351
+ [
1352
+ "object/get",
1353
+ "@payload.data",
1354
+ "score"
1355
+ ]
1356
+ ],
1357
+ [
1358
+ "emit",
1359
+ "FalsificationRequested",
1360
+ {
1361
+ "candidateStructure": "@entity.candidateStructure",
1362
+ "title": "@entity.title"
1363
+ }
1364
+ ],
1365
+ [
1366
+ "if",
1367
+ "@config.manualFalsification",
1368
+ [
1369
+ "render-ui",
1370
+ "main",
1371
+ {
1372
+ "children": [
1373
+ "@trait.LoopTitle",
1374
+ "@trait.LoopDivider",
1375
+ "@trait.SurvivedButton",
1376
+ "@trait.FailedButton"
1377
+ ],
1378
+ "direction": "vertical",
1379
+ "gap": "md",
1380
+ "type": "stack"
1381
+ }
1382
+ ],
1383
+ [
1384
+ "render-ui",
1385
+ "main",
1386
+ {
1387
+ "children": [
1388
+ "@trait.LoopTitle",
1389
+ "@trait.LoopDivider",
1390
+ "@trait.AwaitingFalsificationText"
1391
+ ],
1392
+ "direction": "vertical",
1393
+ "gap": "md",
1394
+ "type": "stack"
1395
+ }
1396
+ ]
1397
+ ]
1398
+ ],
1399
+ "event": "CONFIRM_SCORE",
1400
+ "eventId": "evt_01M2ZQ92PZV0KSC1T6PHW6H7TZ",
1401
+ "from": "calibrating",
1402
+ "guard": [
1403
+ "<",
1404
+ [
1405
+ "object/get",
1406
+ "@payload.data",
1407
+ "score"
1408
+ ],
1409
+ "@config.reliabilityThreshold"
1410
+ ],
1411
+ "to": "falsifying"
1412
+ },
1413
+ {
1414
+ "event": "CANCEL_SCORE",
1415
+ "eventId": "evt_01M2ZQ92PZ7NYYQKS84PWZTMVZ",
1416
+ "from": "calibrating",
1417
+ "to": "calibrating"
1418
+ },
1419
+ {
1420
+ "effects": [
1421
+ [
1422
+ "fetch",
1423
+ "KnowledgeClaim"
1424
+ ],
1425
+ [
1426
+ "render-ui",
1427
+ "main",
1428
+ {
1429
+ "children": [
1430
+ "@trait.LoopTitle",
1431
+ "@trait.LoopDivider",
1432
+ {
1433
+ "entity": "@entity",
1434
+ "fields": [
1435
+ "title",
1436
+ "candidateStructure",
1437
+ "survivedFalsification",
1438
+ "independentChecksAgree",
1439
+ "reliabilityScore",
1440
+ "nextTarget"
1441
+ ],
1442
+ "title": "Current claim",
1443
+ "type": "detail-panel"
1444
+ },
1445
+ {
1446
+ "entity": {},
1447
+ "fields": [
1448
+ "title",
1449
+ "candidateStructure"
1450
+ ],
1451
+ "mode": "create",
1452
+ "submitEvent": "CHANGE_CONDITION",
1453
+ "type": "form-section"
1454
+ }
1455
+ ],
1456
+ "direction": "vertical",
1457
+ "gap": "md",
1458
+ "type": "stack"
1459
+ }
1460
+ ]
1461
+ ],
1462
+ "event": "CHOOSE_NEXT_TARGET",
1463
+ "eventId": "evt_01M2ZQ92PZP010YXNSHVVBCMYS",
1464
+ "from": "selecting",
1465
+ "to": "varying"
1466
+ }
1467
+ ]
1468
+ },
1469
+ "traitEmbedIds": {
1470
+ "AwaitingFalsificationText": "trt_01M2ZQVNTFWWY65FPMZMT1J48C",
1471
+ "AwaitingVerificationText": "trt_01M2ZQVNTFFXW66BQK3G6KGX6W",
1472
+ "ChecksAgreeButton": "trt_01M2ZQ92PZB3E4VZ30YBV9H52Z",
1473
+ "ChecksDisagreeButton": "trt_01M2ZQ92PZP0KZMYSEWBRES7FY",
1474
+ "ChooseNextTargetButton": "trt_01M2ZQ92PZVFQ6B2EG2TWEQYHC",
1475
+ "FailedButton": "trt_01M2ZQ92PZ4RF8SPKHEZR0EX4G",
1476
+ "LoopDivider": "trt_01M2ZQ92PZHHPFWP695ATTHAV5",
1477
+ "LoopTitle": "trt_01M2ZQ92PZ2GTN9GN80SHKW8SM",
1478
+ "SurvivedButton": "trt_01M2ZQ92PZX45ENT52Z1JDT5C1"
1479
+ }
1480
+ }
1481
+ ],
1482
+ "types": {
1483
+ "ConditionCommit": [
1484
+ {
1485
+ "name": "title",
1486
+ "type": "string"
1487
+ },
1488
+ {
1489
+ "name": "candidateStructure",
1490
+ "type": "string"
1491
+ }
1492
+ ],
1493
+ "ScoreCommit": [
1494
+ {
1495
+ "name": "score",
1496
+ "type": "number"
1497
+ }
1498
+ ]
1499
+ },
1500
+ "uses": [
1501
+ {
1502
+ "as": "Typography",
1503
+ "from": "std/behaviors/ui-typography"
1504
+ },
1505
+ {
1506
+ "as": "Button",
1507
+ "from": "std/behaviors/ui-button"
1508
+ },
1509
+ {
1510
+ "as": "Divider",
1511
+ "from": "std/behaviors/ui-divider"
1512
+ }
1513
+ ]
1514
+ }
1515
+ ],
1516
+ "schemaVersion": 1,
1517
+ "version": "1.0.0"
1518
+ }