@lapxo/obligations 0.3.4 → 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.
- package/README.md +12 -135
- package/TARGET.bound +574 -503
- package/dist/measures/error-events.d.ts +27 -0
- package/dist/measures/error-events.js +43 -0
- package/dist/measures/experiments.d.ts +15 -0
- package/dist/measures/experiments.js +53 -0
- package/dist/measures/fitting.d.ts +243 -0
- package/dist/measures/fitting.js +115 -0
- package/dist/measures/identification.d.ts +156 -0
- package/dist/measures/identification.js +107 -0
- package/dist/measures/index.d.ts +18 -0
- package/dist/measures/index.js +9 -0
- package/dist/measures/m3-experiment.d.ts +69 -0
- package/dist/measures/m3-experiment.js +70 -0
- package/dist/measures/m3.d.ts +139 -0
- package/dist/measures/m3.js +181 -0
- package/dist/measures/model.d.ts +14 -0
- package/dist/measures/model.js +67 -0
- package/dist/measures/rational.d.ts +19 -0
- package/dist/measures/rational.js +53 -0
- package/dist/measures/spectrum.d.ts +22 -0
- package/dist/measures/spectrum.js +84 -0
- package/docs/measures.md +149 -0
- package/package.json +1 -93
- package/receipts.bound +75 -0
- package/samples/measures/descent.json +92 -0
- package/samples/measures/m3-reader.mjs +732 -0
- package/samples/measures/m3.json +3126 -0
- package/samples/measures/observations.json +212 -0
- package/samples/measures/reader.mjs +424 -0
- package/samples/measures/spectrum.json +6530 -0
- package/samples/measures/unanimity.json +76 -0
- package/samples/no/installed-artifact.json +302 -0
- package/samples/yes/algebra-is-closed.json +17 -0
- package/samples/yes/field-uses-price-and-debit.json +9 -0
- package/samples/yes/installed-artifact.json +397 -0
- package/samples/yes/three-theories-one-algebra.json +5 -0
- package/src/field/motion.ts +59 -0
- package/src/lattice/index.ts +79 -0
- package/vectors/measures/descent.cli.json +148 -0
- package/vectors/measures/installed-artifact.cli.json +43 -0
- package/vectors/measures/m3.cli.json +148 -0
- package/vectors/measures/observations.cli.json +148 -0
- package/vectors/measures/spectrum.cli.json +148 -0
- 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
|
+
}
|