@lapxo/obligations 0.3.5 → 0.4.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 (45) hide show
  1. package/README.md +8 -143
  2. package/TARGET.bound +574 -507
  3. package/dist/measures/error-events.d.ts +27 -0
  4. package/dist/measures/error-events.js +43 -0
  5. package/dist/measures/experiments.d.ts +15 -0
  6. package/dist/measures/experiments.js +53 -0
  7. package/dist/measures/fitting.d.ts +243 -0
  8. package/dist/measures/fitting.js +115 -0
  9. package/dist/measures/identification.d.ts +156 -0
  10. package/dist/measures/identification.js +107 -0
  11. package/dist/measures/index.d.ts +18 -0
  12. package/dist/measures/index.js +9 -0
  13. package/dist/measures/m3-experiment.d.ts +69 -0
  14. package/dist/measures/m3-experiment.js +70 -0
  15. package/dist/measures/m3.d.ts +139 -0
  16. package/dist/measures/m3.js +181 -0
  17. package/dist/measures/model.d.ts +14 -0
  18. package/dist/measures/model.js +67 -0
  19. package/dist/measures/rational.d.ts +19 -0
  20. package/dist/measures/rational.js +53 -0
  21. package/dist/measures/spectrum.d.ts +22 -0
  22. package/dist/measures/spectrum.js +84 -0
  23. package/docs/measures.md +149 -0
  24. package/package.json +1 -93
  25. package/receipts.bound +75 -0
  26. package/samples/measures/descent.json +92 -0
  27. package/samples/measures/m3-reader.mjs +732 -0
  28. package/samples/measures/m3.json +3126 -0
  29. package/samples/measures/observations.json +212 -0
  30. package/samples/measures/reader.mjs +424 -0
  31. package/samples/measures/spectrum.json +6530 -0
  32. package/samples/measures/unanimity.json +76 -0
  33. package/samples/no/installed-artifact.json +302 -0
  34. package/samples/yes/algebra-is-closed.json +17 -0
  35. package/samples/yes/field-uses-price-and-debit.json +9 -0
  36. package/samples/yes/installed-artifact.json +397 -0
  37. package/samples/yes/three-theories-one-algebra.json +5 -0
  38. package/src/field/motion.ts +59 -0
  39. package/src/lattice/index.ts +79 -0
  40. package/vectors/measures/descent.cli.json +148 -0
  41. package/vectors/measures/installed-artifact.cli.json +43 -0
  42. package/vectors/measures/m3.cli.json +148 -0
  43. package/vectors/measures/observations.cli.json +148 -0
  44. package/vectors/measures/spectrum.cli.json +148 -0
  45. package/vectors/measures/unanimity.cli.json +148 -0
@@ -0,0 +1,148 @@
1
+ {
2
+ "instrument": "@lapxo/bound@0.1.6",
3
+ "reader": "sha256:d212d85a14143228f69ab6b47e49169fdafbd44592e9063455e845e1bf419230",
4
+ "captures": [
5
+ {
6
+ "place": "orchard",
7
+ "negative": false,
8
+ "events": [
9
+ {
10
+ "args": [
11
+ "land",
12
+ "--key",
13
+ "device",
14
+ "--key-file",
15
+ "<fixture-key>"
16
+ ],
17
+ "status": 0,
18
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 133 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
19
+ "stderr": "",
20
+ "runtimeMs": 266
21
+ },
22
+ {
23
+ "args": [
24
+ "fold",
25
+ "--as",
26
+ "receipts"
27
+ ],
28
+ "status": 0,
29
+ "stdout": "bound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=1bf55b2e38e1b9a6\nbound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/observations/orchard value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"east\\\",\\\"west\\\"],\\\"events\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\"],\\\"matrix\\\":[[0.25,0.25],[0.25,0.25]]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
30
+ "stderr": "READER reader.mjs · 1 run · 166 ms\nOBSERVE 1 run · 0 read by key · 170 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 2 ms · laid 2 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 4 ms · own 26 ms · regions 2 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 8126f1de folded 0.3 s\nKEPT fold 8126f1de miss · no fold was kept before this one\n",
31
+ "runtimeMs": 458
32
+ },
33
+ {
34
+ "args": [
35
+ "fold",
36
+ "--as",
37
+ "receipts"
38
+ ],
39
+ "status": 0,
40
+ "stdout": "bound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=1bf55b2e38e1b9a6\nbound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/observations/orchard value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"east\\\",\\\"west\\\"],\\\"events\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\"],\\\"matrix\\\":[[0.25,0.25],[0.25,0.25]]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
41
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 2 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 1 ms · zoomed 0 ms · applied 1 ms · laid 2 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 28 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 8126f1de folded 0.1 s · 0.3 s folded\nKEPT fold 8126f1de miss · no fold was kept before this one\n",
42
+ "runtimeMs": 243
43
+ }
44
+ ]
45
+ },
46
+ {
47
+ "place": "orchard",
48
+ "negative": true,
49
+ "events": [
50
+ {
51
+ "args": [
52
+ "land",
53
+ "--key",
54
+ "device",
55
+ "--key-file",
56
+ "<fixture-key>"
57
+ ],
58
+ "status": 0,
59
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
60
+ "stderr": "",
61
+ "runtimeMs": 241
62
+ },
63
+ {
64
+ "args": [
65
+ "fold",
66
+ "--as",
67
+ "receipts"
68
+ ],
69
+ "status": 1,
70
+ "stdout": "",
71
+ "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/observations-orchard-no/reader.mjs · Error: REFUSE·measure conflicting error event\nOBSERVE 0 run · 0 read by key · 171 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/observations-orchard-no/reader.mjs · Error: REFUSE·measure conflicting error event\n",
72
+ "runtimeMs": 327
73
+ }
74
+ ]
75
+ },
76
+ {
77
+ "place": "catalog",
78
+ "negative": false,
79
+ "events": [
80
+ {
81
+ "args": [
82
+ "land",
83
+ "--key",
84
+ "device",
85
+ "--key-file",
86
+ "<fixture-key>"
87
+ ],
88
+ "status": 0,
89
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 133 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
90
+ "stderr": "",
91
+ "runtimeMs": 245
92
+ },
93
+ {
94
+ "args": [
95
+ "fold",
96
+ "--as",
97
+ "receipts"
98
+ ],
99
+ "status": 0,
100
+ "stdout": "bound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=03bd62cf03bdd14d\nbound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/observations/catalog value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"first\\\",\\\"second\\\"],\\\"events\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\"],\\\"matrix\\\":[[0.25,0.25],[0.25,0.25]]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
101
+ "stderr": "READER reader.mjs · 1 run · 165 ms\nOBSERVE 1 run · 0 read by key · 169 ms\nOWN imports 20 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 1 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 2 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 1 ms\nBEAT fold f81e1c37 folded 0.3 s\nKEPT fold f81e1c37 miss · no fold was kept before this one\n",
102
+ "runtimeMs": 462
103
+ },
104
+ {
105
+ "args": [
106
+ "fold",
107
+ "--as",
108
+ "receipts"
109
+ ],
110
+ "status": 0,
111
+ "stdout": "bound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=03bd62cf03bdd14d\nbound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/observations/catalog value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"first\\\",\\\"second\\\"],\\\"events\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\"],\\\"matrix\\\":[[0.25,0.25],[0.25,0.25]]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
112
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 23 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 2 ms · resets 0 ms · store 0 ms · ship 1 ms\nSPENT fold capsules 4 ms · own 32 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold f81e1c37 folded 0.1 s · 0.3 s folded\nKEPT fold f81e1c37 miss · no fold was kept before this one\n",
113
+ "runtimeMs": 251
114
+ }
115
+ ]
116
+ },
117
+ {
118
+ "place": "catalog",
119
+ "negative": true,
120
+ "events": [
121
+ {
122
+ "args": [
123
+ "land",
124
+ "--key",
125
+ "device",
126
+ "--key-file",
127
+ "<fixture-key>"
128
+ ],
129
+ "status": 0,
130
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 123 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
131
+ "stderr": "",
132
+ "runtimeMs": 236
133
+ },
134
+ {
135
+ "args": [
136
+ "fold",
137
+ "--as",
138
+ "receipts"
139
+ ],
140
+ "status": 1,
141
+ "stdout": "",
142
+ "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/observations-catalog-no/reader.mjs · Error: REFUSE·measure conflicting error event\nOBSERVE 0 run · 0 read by key · 172 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/observations-catalog-no/reader.mjs · Error: REFUSE·measure conflicting error event\n",
143
+ "runtimeMs": 326
144
+ }
145
+ ]
146
+ }
147
+ ]
148
+ }
@@ -0,0 +1,148 @@
1
+ {
2
+ "instrument": "@lapxo/bound@0.1.6",
3
+ "reader": "sha256:d212d85a14143228f69ab6b47e49169fdafbd44592e9063455e845e1bf419230",
4
+ "captures": [
5
+ {
6
+ "place": "orchard",
7
+ "negative": false,
8
+ "events": [
9
+ {
10
+ "args": [
11
+ "land",
12
+ "--key",
13
+ "device",
14
+ "--key-file",
15
+ "<fixture-key>"
16
+ ],
17
+ "status": 0,
18
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 126 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
19
+ "stderr": "",
20
+ "runtimeMs": 241
21
+ },
22
+ {
23
+ "args": [
24
+ "fold",
25
+ "--as",
26
+ "receipts"
27
+ ],
28
+ "status": 0,
29
+ "stdout": "bound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=83ab5c87c74a2e81\nbound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/spectrum/orchard value=\"{\\\"result\\\":{\\\"rank\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"commonMass\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"loadings\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"orchard-0\\\",\\\"orchard-1\\\",\\\"orchard-10\\\",\\\"orchard-11\\\",\\\"orchard-12\\\",\\\"orchard-13\\\",\\\"orchard-14\\\",\\\"orchard-15\\\",\\\"orchard-2\\\",\\\"orchard-3\\\",\\\"orchard-4\\\",\\\"orchard-5\\\",\\\"orchard-6\\\",\\\"orchard-7\\\",\\\"orchard-8\\\",\\\"orchard-9\\\"],\\\"values\\\":[0.2500000000000001,0.2500000000000002,0.2500000000000001,0.24999999999999997,0.2500000000000002,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999992,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999997,0.24999999999999986,0.2500000000000001,0.25]},\\\"subset\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"state\\\":\\\"FREE\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
30
+ "stderr": "READER reader.mjs · 1 run · 170 ms\nOBSERVE 1 run · 0 read by key · 174 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 1 ms · zoomed 0 ms · applied 1 ms · laid 2 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 60e3706a folded 0.3 s\nKEPT fold 60e3706a miss · no fold was kept before this one\n",
31
+ "runtimeMs": 472
32
+ },
33
+ {
34
+ "args": [
35
+ "fold",
36
+ "--as",
37
+ "receipts"
38
+ ],
39
+ "status": 0,
40
+ "stdout": "bound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=83ab5c87c74a2e81\nbound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/spectrum/orchard value=\"{\\\"result\\\":{\\\"rank\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"commonMass\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"loadings\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"orchard-0\\\",\\\"orchard-1\\\",\\\"orchard-10\\\",\\\"orchard-11\\\",\\\"orchard-12\\\",\\\"orchard-13\\\",\\\"orchard-14\\\",\\\"orchard-15\\\",\\\"orchard-2\\\",\\\"orchard-3\\\",\\\"orchard-4\\\",\\\"orchard-5\\\",\\\"orchard-6\\\",\\\"orchard-7\\\",\\\"orchard-8\\\",\\\"orchard-9\\\"],\\\"values\\\":[0.2500000000000001,0.2500000000000002,0.2500000000000001,0.24999999999999997,0.2500000000000002,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999992,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999997,0.24999999999999986,0.2500000000000001,0.25]},\\\"subset\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"state\\\":\\\"FREE\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
41
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 2 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 1 ms · zoomed 0 ms · applied 1 ms · laid 2 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 3 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 60e3706a folded 0.1 s · 0.3 s folded\nKEPT fold 60e3706a miss · no fold was kept before this one\n",
42
+ "runtimeMs": 240
43
+ }
44
+ ]
45
+ },
46
+ {
47
+ "place": "orchard",
48
+ "negative": true,
49
+ "events": [
50
+ {
51
+ "args": [
52
+ "land",
53
+ "--key",
54
+ "device",
55
+ "--key-file",
56
+ "<fixture-key>"
57
+ ],
58
+ "status": 0,
59
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 126 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
60
+ "stderr": "",
61
+ "runtimeMs": 239
62
+ },
63
+ {
64
+ "args": [
65
+ "fold",
66
+ "--as",
67
+ "receipts"
68
+ ],
69
+ "status": 1,
70
+ "stdout": "",
71
+ "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/spectrum-orchard-no/reader.mjs · Error: REFUSE·measure covariance is not positive semidefinite\nOBSERVE 0 run · 0 read by key · 177 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/spectrum-orchard-no/reader.mjs · Error: REFUSE·measure covariance is not positive semidefinite\n",
72
+ "runtimeMs": 333
73
+ }
74
+ ]
75
+ },
76
+ {
77
+ "place": "catalog",
78
+ "negative": false,
79
+ "events": [
80
+ {
81
+ "args": [
82
+ "land",
83
+ "--key",
84
+ "device",
85
+ "--key-file",
86
+ "<fixture-key>"
87
+ ],
88
+ "status": 0,
89
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
90
+ "stderr": "",
91
+ "runtimeMs": 244
92
+ },
93
+ {
94
+ "args": [
95
+ "fold",
96
+ "--as",
97
+ "receipts"
98
+ ],
99
+ "status": 0,
100
+ "stdout": "bound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=865b98aca6f59021\nbound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/spectrum/catalog value=\"{\\\"result\\\":{\\\"rank\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"commonMass\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"loadings\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"catalog-0\\\",\\\"catalog-1\\\",\\\"catalog-10\\\",\\\"catalog-11\\\",\\\"catalog-12\\\",\\\"catalog-13\\\",\\\"catalog-14\\\",\\\"catalog-15\\\",\\\"catalog-2\\\",\\\"catalog-3\\\",\\\"catalog-4\\\",\\\"catalog-5\\\",\\\"catalog-6\\\",\\\"catalog-7\\\",\\\"catalog-8\\\",\\\"catalog-9\\\"],\\\"values\\\":[0.2500000000000001,0.2500000000000002,0.2500000000000001,0.24999999999999997,0.2500000000000002,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999992,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999997,0.24999999999999986,0.2500000000000001,0.25]},\\\"subset\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"state\\\":\\\"FREE\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
101
+ "stderr": "READER reader.mjs · 1 run · 174 ms\nOBSERVE 1 run · 0 read by key · 178 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 1 ms · applied 0 ms · laid 3 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 4 ms · own 28 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 5bb8661f folded 0.3 s\nKEPT fold 5bb8661f miss · no fold was kept before this one\n",
102
+ "runtimeMs": 477
103
+ },
104
+ {
105
+ "args": [
106
+ "fold",
107
+ "--as",
108
+ "receipts"
109
+ ],
110
+ "status": 0,
111
+ "stdout": "bound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=865b98aca6f59021\nbound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/spectrum/catalog value=\"{\\\"result\\\":{\\\"rank\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"commonMass\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"loadings\\\":{\\\"status\\\":\\\"measured\\\",\\\"origins\\\":[\\\"catalog-0\\\",\\\"catalog-1\\\",\\\"catalog-10\\\",\\\"catalog-11\\\",\\\"catalog-12\\\",\\\"catalog-13\\\",\\\"catalog-14\\\",\\\"catalog-15\\\",\\\"catalog-2\\\",\\\"catalog-3\\\",\\\"catalog-4\\\",\\\"catalog-5\\\",\\\"catalog-6\\\",\\\"catalog-7\\\",\\\"catalog-8\\\",\\\"catalog-9\\\"],\\\"values\\\":[0.2500000000000001,0.2500000000000002,0.2500000000000001,0.24999999999999997,0.2500000000000002,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999992,0.25000000000000006,0.25000000000000006,0.24999999999999992,0.24999999999999997,0.24999999999999986,0.2500000000000001,0.25]},\\\"subset\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":1},\\\"state\\\":\\\"FREE\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
112
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 5bb8661f folded 0.1 s · 0.3 s folded\nKEPT fold 5bb8661f miss · no fold was kept before this one\n",
113
+ "runtimeMs": 255
114
+ }
115
+ ]
116
+ },
117
+ {
118
+ "place": "catalog",
119
+ "negative": true,
120
+ "events": [
121
+ {
122
+ "args": [
123
+ "land",
124
+ "--key",
125
+ "device",
126
+ "--key-file",
127
+ "<fixture-key>"
128
+ ],
129
+ "status": 0,
130
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 130 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
131
+ "stderr": "",
132
+ "runtimeMs": 245
133
+ },
134
+ {
135
+ "args": [
136
+ "fold",
137
+ "--as",
138
+ "receipts"
139
+ ],
140
+ "status": 1,
141
+ "stdout": "",
142
+ "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/spectrum-catalog-no/reader.mjs · Error: REFUSE·measure covariance is not positive semidefinite\nOBSERVE 0 run · 0 read by key · 171 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/spectrum-catalog-no/reader.mjs · Error: REFUSE·measure covariance is not positive semidefinite\n",
143
+ "runtimeMs": 328
144
+ }
145
+ ]
146
+ }
147
+ ]
148
+ }
@@ -0,0 +1,148 @@
1
+ {
2
+ "instrument": "@lapxo/bound@0.1.6",
3
+ "reader": "sha256:d212d85a14143228f69ab6b47e49169fdafbd44592e9063455e845e1bf419230",
4
+ "captures": [
5
+ {
6
+ "place": "orchard",
7
+ "negative": false,
8
+ "events": [
9
+ {
10
+ "args": [
11
+ "land",
12
+ "--key",
13
+ "device",
14
+ "--key-file",
15
+ "<fixture-key>"
16
+ ],
17
+ "status": 0,
18
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
19
+ "stderr": "",
20
+ "runtimeMs": 246
21
+ },
22
+ {
23
+ "args": [
24
+ "fold",
25
+ "--as",
26
+ "receipts"
27
+ ],
28
+ "status": 0,
29
+ "stdout": "bound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/orchard value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
30
+ "stderr": "READER reader.mjs · 1 run · 172 ms\nOBSERVE 1 run · 0 read by key · 176 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 4 ms · own 27 ms · regions 2 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold edd628d7 folded 0.3 s\nKEPT fold edd628d7 miss · no fold was kept before this one\n",
31
+ "runtimeMs": 468
32
+ },
33
+ {
34
+ "args": [
35
+ "fold",
36
+ "--as",
37
+ "receipts"
38
+ ],
39
+ "status": 0,
40
+ "stdout": "bound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/orchard value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
41
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 2 ms\nOWN imports 18 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 26 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 0 ms\nBEAT fold edd628d7 folded 0.1 s · 0.3 s folded\nKEPT fold edd628d7 miss · no fold was kept before this one\n",
42
+ "runtimeMs": 239
43
+ }
44
+ ]
45
+ },
46
+ {
47
+ "place": "orchard",
48
+ "negative": true,
49
+ "events": [
50
+ {
51
+ "args": [
52
+ "land",
53
+ "--key",
54
+ "device",
55
+ "--key-file",
56
+ "<fixture-key>"
57
+ ],
58
+ "status": 0,
59
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 127 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
60
+ "stderr": "",
61
+ "runtimeMs": 243
62
+ },
63
+ {
64
+ "args": [
65
+ "fold",
66
+ "--as",
67
+ "receipts"
68
+ ],
69
+ "status": 1,
70
+ "stdout": "",
71
+ "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-orchard-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\nOBSERVE 0 run · 0 read by key · 169 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-orchard-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\n",
72
+ "runtimeMs": 327
73
+ }
74
+ ]
75
+ },
76
+ {
77
+ "place": "catalog",
78
+ "negative": false,
79
+ "events": [
80
+ {
81
+ "args": [
82
+ "land",
83
+ "--key",
84
+ "device",
85
+ "--key-file",
86
+ "<fixture-key>"
87
+ ],
88
+ "status": 0,
89
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
90
+ "stderr": "",
91
+ "runtimeMs": 243
92
+ },
93
+ {
94
+ "args": [
95
+ "fold",
96
+ "--as",
97
+ "receipts"
98
+ ],
99
+ "status": 0,
100
+ "stdout": "bound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/catalog value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
101
+ "stderr": "READER reader.mjs · 1 run · 179 ms\nOBSERVE 1 run · 0 read by key · 183 ms\nOWN imports 18 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 1 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 4 ms · own 27 ms · regions 2 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 79884b50 folded 0.3 s\nKEPT fold 79884b50 miss · no fold was kept before this one\n",
102
+ "runtimeMs": 486
103
+ },
104
+ {
105
+ "args": [
106
+ "fold",
107
+ "--as",
108
+ "receipts"
109
+ ],
110
+ "status": 0,
111
+ "stdout": "bound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/catalog value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
112
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 24 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 4 ms · own 33 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 79884b50 folded 0.1 s · 0.3 s folded\nKEPT fold 79884b50 miss · no fold was kept before this one\n",
113
+ "runtimeMs": 252
114
+ }
115
+ ]
116
+ },
117
+ {
118
+ "place": "catalog",
119
+ "negative": true,
120
+ "events": [
121
+ {
122
+ "args": [
123
+ "land",
124
+ "--key",
125
+ "device",
126
+ "--key-file",
127
+ "<fixture-key>"
128
+ ],
129
+ "status": 0,
130
+ "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
131
+ "stderr": "",
132
+ "runtimeMs": 243
133
+ },
134
+ {
135
+ "args": [
136
+ "fold",
137
+ "--as",
138
+ "receipts"
139
+ ],
140
+ "status": 1,
141
+ "stdout": "",
142
+ "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-catalog-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\nOBSERVE 0 run · 0 read by key · 179 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-catalog-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\n",
143
+ "runtimeMs": 339
144
+ }
145
+ ]
146
+ }
147
+ ]
148
+ }