@lapxo/obligations 0.4.0 → 0.4.2
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 +32 -2
- package/TARGET.bound +151 -30
- package/dist/lattice/obligatory.js +29 -1
- package/dist/measures/capacity.d.ts +324 -0
- package/dist/measures/capacity.js +184 -0
- package/dist/measures/coincidence.d.ts +111 -0
- package/dist/measures/coincidence.js +81 -0
- package/dist/measures/confidence.d.ts +73 -0
- package/dist/measures/confidence.js +52 -0
- package/dist/measures/error-events.js +23 -4
- package/dist/measures/fitting.d.ts +1 -1
- package/dist/measures/index.d.ts +8 -0
- package/dist/measures/index.js +4 -0
- package/dist/measures/unanimity-fit.d.ts +156 -0
- package/dist/measures/unanimity-fit.js +133 -0
- package/docs/img/cell.svg +28 -0
- package/docs/img/logo-fork.svg +6 -0
- package/docs/img/logo.svg +6 -0
- package/docs/img/price.svg +28 -0
- package/docs/img/thermometer.svg +28 -0
- package/docs/img/withdrawal.svg +28 -0
- package/docs/learn/in-phase.md +46 -0
- package/docs/learn/price.md +52 -0
- package/docs/learn/signature.md +50 -0
- package/docs/learn/thermometer.md +58 -0
- package/docs/learn/withdrawal.md +51 -0
- package/docs/measures.md +64 -0
- package/docs/paper.md +233 -0
- package/docs/reference.md +495 -0
- package/package.json +1 -1
- package/receipts.bound +138 -70
- package/samples/measures/capacity.json +71 -0
- package/samples/measures/coincidence.json +624 -0
- package/samples/measures/common-cause-capacity.json +48 -0
- package/samples/measures/confidence/union-bound.json +54 -0
- package/samples/measures/confidence.json +70 -0
- package/samples/measures/decisions.json +66 -0
- package/samples/measures/t12/common-cause.json +32 -0
- package/samples/measures/tolerant-count.json +144 -0
- package/samples/measures/unanimity-fit.json +166 -0
- package/samples/no/installed-artifact.json +19 -3
- package/samples/yes/installed-artifact.json +42 -6
- package/vectors/measures/capacity.cli.json +97 -0
- package/vectors/measures/coincidence.cli.json +97 -0
- package/vectors/measures/common-cause-capacity.cli.json +97 -0
- package/vectors/measures/confidence/expected.json +26 -0
- package/vectors/measures/confidence.cli.json +97 -0
- package/vectors/measures/decisions.cli.json +97 -0
- package/vectors/measures/descent.cli.json +19 -70
- package/vectors/measures/implementation-042.json +86 -0
- package/vectors/measures/implementation.json +82 -0
- package/vectors/measures/installed-artifact.cli.json +8 -8
- package/vectors/measures/m3.cli.json +19 -70
- package/vectors/measures/observations.cli.json +19 -70
- package/vectors/measures/spectrum.cli.json +18 -69
- package/vectors/measures/t12/expected.json +35 -0
- package/vectors/measures/tolerant-count.cli.json +97 -0
- package/vectors/measures/unanimity-fit.cli.json +97 -0
- package/vectors/measures/unanimity.cli.json +19 -70
- package/samples/measures/m3-reader.mjs +0 -732
- package/samples/measures/reader.mjs +0 -424
|
@@ -1,24 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"instrument": "@lapxo/bound@0.1.
|
|
3
|
-
"
|
|
2
|
+
"instrument": "@lapxo/bound@0.1.7",
|
|
3
|
+
"implementation": "sha256:a0b02d4bf5dc891c88529a8a833ed33c83d210fe23d2ecb7bdf1dd5bb0a6219c",
|
|
4
|
+
"inventory": "vectors/measures/implementation.json",
|
|
4
5
|
"captures": [
|
|
5
6
|
{
|
|
6
7
|
"place": "orchard",
|
|
7
8
|
"negative": false,
|
|
8
9
|
"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
10
|
{
|
|
23
11
|
"args": [
|
|
24
12
|
"fold",
|
|
@@ -26,9 +14,9 @@
|
|
|
26
14
|
"receipts"
|
|
27
15
|
],
|
|
28
16
|
"status": 0,
|
|
29
|
-
"stdout": "bound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:
|
|
30
|
-
"stderr": "READER reader.
|
|
31
|
-
"runtimeMs":
|
|
17
|
+
"stdout": "bound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=1bf55b2e38e1b9a6\nbound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
18
|
+
"stderr": "READER test/support/measures-reader.js · 1 run · 174 ms\nOBSERVE 1 run · 0 read by key · 178 ms\nOWN imports 20 ms · bodies 0 ms · removed 1 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 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 5 ms · own 30 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 39f0ac4a folded 0.4 s\nKEPT fold 39f0ac4a miss · no fold was kept before this one\n",
|
|
19
|
+
"runtimeMs": 487
|
|
32
20
|
},
|
|
33
21
|
{
|
|
34
22
|
"args": [
|
|
@@ -37,9 +25,9 @@
|
|
|
37
25
|
"receipts"
|
|
38
26
|
],
|
|
39
27
|
"status": 0,
|
|
40
|
-
"stdout": "bound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:
|
|
41
|
-
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole ·
|
|
42
|
-
"runtimeMs":
|
|
28
|
+
"stdout": "bound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=1bf55b2e38e1b9a6\nbound-lock/1 at=place:sha256:1bf55b2e38e1b9a642c82e9b25765a45e4d2dbd5c0d77c03d26a625e795bec06 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
29
|
+
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 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 27 ms · regions 8 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 39f0ac4a folded 0.1 s · 0.4 s folded\nKEPT fold 39f0ac4a miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 259
|
|
43
31
|
}
|
|
44
32
|
]
|
|
45
33
|
},
|
|
@@ -47,19 +35,6 @@
|
|
|
47
35
|
"place": "orchard",
|
|
48
36
|
"negative": true,
|
|
49
37
|
"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
38
|
{
|
|
64
39
|
"args": [
|
|
65
40
|
"fold",
|
|
@@ -68,8 +43,8 @@
|
|
|
68
43
|
],
|
|
69
44
|
"status": 1,
|
|
70
45
|
"stdout": "",
|
|
71
|
-
"stderr": "REFUSE·reader reader.
|
|
72
|
-
"runtimeMs":
|
|
46
|
+
"stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure conflicting error event\nOBSERVE 0 run · 0 read by key · 178 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure conflicting error event\n",
|
|
47
|
+
"runtimeMs": 348
|
|
73
48
|
}
|
|
74
49
|
]
|
|
75
50
|
},
|
|
@@ -77,19 +52,6 @@
|
|
|
77
52
|
"place": "catalog",
|
|
78
53
|
"negative": false,
|
|
79
54
|
"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
55
|
{
|
|
94
56
|
"args": [
|
|
95
57
|
"fold",
|
|
@@ -97,9 +59,9 @@
|
|
|
97
59
|
"receipts"
|
|
98
60
|
],
|
|
99
61
|
"status": 0,
|
|
100
|
-
"stdout": "bound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:
|
|
101
|
-
"stderr": "READER reader.
|
|
102
|
-
"runtimeMs":
|
|
62
|
+
"stdout": "bound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=03bd62cf03bdd14d\nbound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
63
|
+
"stderr": "READER test/support/measures-reader.js · 1 run · 170 ms\nOBSERVE 1 run · 0 read by key · 175 ms\nOWN imports 20 ms · bodies 1 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 1 ms\nSPENT fold capsules 5 ms · own 30 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 64e22ae7 folded 0.3 s\nKEPT fold 64e22ae7 miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 482
|
|
103
65
|
},
|
|
104
66
|
{
|
|
105
67
|
"args": [
|
|
@@ -108,9 +70,9 @@
|
|
|
108
70
|
"receipts"
|
|
109
71
|
],
|
|
110
72
|
"status": 0,
|
|
111
|
-
"stdout": "bound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:
|
|
112
|
-
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports
|
|
113
|
-
"runtimeMs":
|
|
73
|
+
"stdout": "bound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=03bd62cf03bdd14d\nbound-lock/1 at=place:sha256:03bd62cf03bdd14d3eb64c8fb12f9ddb4c022a24d5c12e859ebfba8a27c2e268 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
74
|
+
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 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 0 ms · nos 1 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 9 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 0 ms\nBEAT fold 64e22ae7 folded 0.1 s · 0.3 s folded\nKEPT fold 64e22ae7 miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 252
|
|
114
76
|
}
|
|
115
77
|
]
|
|
116
78
|
},
|
|
@@ -118,19 +80,6 @@
|
|
|
118
80
|
"place": "catalog",
|
|
119
81
|
"negative": true,
|
|
120
82
|
"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
83
|
{
|
|
135
84
|
"args": [
|
|
136
85
|
"fold",
|
|
@@ -139,8 +88,8 @@
|
|
|
139
88
|
],
|
|
140
89
|
"status": 1,
|
|
141
90
|
"stdout": "",
|
|
142
|
-
"stderr": "REFUSE·reader reader.
|
|
143
|
-
"runtimeMs":
|
|
91
|
+
"stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure conflicting error event\nOBSERVE 0 run · 0 read by key · 177 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure conflicting error event\n",
|
|
92
|
+
"runtimeMs": 339
|
|
144
93
|
}
|
|
145
94
|
]
|
|
146
95
|
}
|
|
@@ -1,24 +1,12 @@
|
|
|
1
1
|
{
|
|
2
|
-
"instrument": "@lapxo/bound@0.1.
|
|
3
|
-
"
|
|
2
|
+
"instrument": "@lapxo/bound@0.1.7",
|
|
3
|
+
"implementation": "sha256:a0b02d4bf5dc891c88529a8a833ed33c83d210fe23d2ecb7bdf1dd5bb0a6219c",
|
|
4
|
+
"inventory": "vectors/measures/implementation.json",
|
|
4
5
|
"captures": [
|
|
5
6
|
{
|
|
6
7
|
"place": "orchard",
|
|
7
8
|
"negative": false,
|
|
8
9
|
"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
10
|
{
|
|
23
11
|
"args": [
|
|
24
12
|
"fold",
|
|
@@ -26,8 +14,8 @@
|
|
|
26
14
|
"receipts"
|
|
27
15
|
],
|
|
28
16
|
"status": 0,
|
|
29
|
-
"stdout": "bound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:
|
|
30
|
-
"stderr": "READER reader.
|
|
17
|
+
"stdout": "bound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=83ab5c87c74a2e81\nbound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
18
|
+
"stderr": "READER test/support/measures-reader.js · 1 run · 173 ms\nOBSERVE 1 run · 0 read by key · 178 ms\nOWN imports 18 ms · bodies 0 ms · removed 1 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 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 9 ms · own 28 ms · regions 10 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 31705a10 folded 0.3 s · 0.4 s folded\nKEPT fold 31705a10 miss · no fold was kept before this one\n",
|
|
31
19
|
"runtimeMs": 472
|
|
32
20
|
},
|
|
33
21
|
{
|
|
@@ -37,9 +25,9 @@
|
|
|
37
25
|
"receipts"
|
|
38
26
|
],
|
|
39
27
|
"status": 0,
|
|
40
|
-
"stdout": "bound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:
|
|
41
|
-
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 2 ms\nOWN imports
|
|
42
|
-
"runtimeMs":
|
|
28
|
+
"stdout": "bound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=83ab5c87c74a2e81\nbound-lock/1 at=place:sha256:83ab5c87c74a2e8172f98c09dc8c56ec076e0d1d9774e86febd2e6e39abf5bd8 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
29
|
+
"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 0 ms · alphabets 1 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 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 28 ms · regions 9 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 31705a10 folded 0.1 s · 0.3 s folded\nKEPT fold 31705a10 miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 256
|
|
43
31
|
}
|
|
44
32
|
]
|
|
45
33
|
},
|
|
@@ -47,19 +35,6 @@
|
|
|
47
35
|
"place": "orchard",
|
|
48
36
|
"negative": true,
|
|
49
37
|
"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
38
|
{
|
|
64
39
|
"args": [
|
|
65
40
|
"fold",
|
|
@@ -68,8 +43,8 @@
|
|
|
68
43
|
],
|
|
69
44
|
"status": 1,
|
|
70
45
|
"stdout": "",
|
|
71
|
-
"stderr": "REFUSE·reader reader.
|
|
72
|
-
"runtimeMs":
|
|
46
|
+
"stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure covariance is not positive semidefinite\nOBSERVE 0 run · 0 read by key · 172 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure covariance is not positive semidefinite\n",
|
|
47
|
+
"runtimeMs": 344
|
|
73
48
|
}
|
|
74
49
|
]
|
|
75
50
|
},
|
|
@@ -77,19 +52,6 @@
|
|
|
77
52
|
"place": "catalog",
|
|
78
53
|
"negative": false,
|
|
79
54
|
"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
55
|
{
|
|
94
56
|
"args": [
|
|
95
57
|
"fold",
|
|
@@ -97,9 +59,9 @@
|
|
|
97
59
|
"receipts"
|
|
98
60
|
],
|
|
99
61
|
"status": 0,
|
|
100
|
-
"stdout": "bound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:
|
|
101
|
-
"stderr": "READER reader.
|
|
102
|
-
"runtimeMs":
|
|
62
|
+
"stdout": "bound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=865b98aca6f59021\nbound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
63
|
+
"stderr": "READER test/support/measures-reader.js · 1 run · 174 ms\nOBSERVE 1 run · 0 read by key · 179 ms\nOWN imports 17 ms · bodies 0 ms · removed 1 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 6 ms · own 26 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 8a4b6999 folded 0.3 s · 0.3 s folded\nKEPT fold 8a4b6999 miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 427
|
|
103
65
|
},
|
|
104
66
|
{
|
|
105
67
|
"args": [
|
|
@@ -108,9 +70,9 @@
|
|
|
108
70
|
"receipts"
|
|
109
71
|
],
|
|
110
72
|
"status": 0,
|
|
111
|
-
"stdout": "bound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:
|
|
112
|
-
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports
|
|
113
|
-
"runtimeMs":
|
|
73
|
+
"stdout": "bound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=865b98aca6f59021\nbound-lock/1 at=place:sha256:865b98aca6f5902138fd8c108d12d50bdf616512a49c9737d34873568ea49b23 by=reader:41b2920eb5dd 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:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
|
|
74
|
+
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 17 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 8 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 8a4b6999 folded 0.1 s · 0.3 s folded\nKEPT fold 8a4b6999 miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 251
|
|
114
76
|
}
|
|
115
77
|
]
|
|
116
78
|
},
|
|
@@ -118,19 +80,6 @@
|
|
|
118
80
|
"place": "catalog",
|
|
119
81
|
"negative": true,
|
|
120
82
|
"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
83
|
{
|
|
135
84
|
"args": [
|
|
136
85
|
"fold",
|
|
@@ -139,8 +88,8 @@
|
|
|
139
88
|
],
|
|
140
89
|
"status": 1,
|
|
141
90
|
"stdout": "",
|
|
142
|
-
"stderr": "REFUSE·reader reader.
|
|
143
|
-
"runtimeMs":
|
|
91
|
+
"stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure covariance is not positive semidefinite\nOBSERVE 0 run · 0 read by key · 173 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure covariance is not positive semidefinite\n",
|
|
92
|
+
"runtimeMs": 337
|
|
144
93
|
}
|
|
145
94
|
]
|
|
146
95
|
}
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
{
|
|
2
|
+
"evidence": "fixed arithmetic oracle",
|
|
3
|
+
"values": [
|
|
4
|
+
{
|
|
5
|
+
"n": 4,
|
|
6
|
+
"c": "0",
|
|
7
|
+
"q": "1/2",
|
|
8
|
+
"bits": 2
|
|
9
|
+
},
|
|
10
|
+
{
|
|
11
|
+
"n": 4,
|
|
12
|
+
"c": "1",
|
|
13
|
+
"q": "0",
|
|
14
|
+
"bits": 0.4150374992788439
|
|
15
|
+
},
|
|
16
|
+
{
|
|
17
|
+
"n": 4,
|
|
18
|
+
"c": "1",
|
|
19
|
+
"q": "1/2",
|
|
20
|
+
"bits": 0.20751874963942196
|
|
21
|
+
},
|
|
22
|
+
{
|
|
23
|
+
"n": 4,
|
|
24
|
+
"c": "1",
|
|
25
|
+
"q": "1/4",
|
|
26
|
+
"bits": 0
|
|
27
|
+
},
|
|
28
|
+
{
|
|
29
|
+
"n": 4,
|
|
30
|
+
"c": "1/5",
|
|
31
|
+
"q": "1/2",
|
|
32
|
+
"bits": 1.6415037499278844
|
|
33
|
+
}
|
|
34
|
+
]
|
|
35
|
+
}
|
|
@@ -0,0 +1,97 @@
|
|
|
1
|
+
{
|
|
2
|
+
"instrument": "@lapxo/bound@0.1.8",
|
|
3
|
+
"implementation": "sha256:8a6086d042bbf67cf6161cd97022aa8eaf43d41ac2a46fbd4680a83f394fa7cf",
|
|
4
|
+
"inventory": "vectors/measures/implementation-042.json",
|
|
5
|
+
"captures": [
|
|
6
|
+
{
|
|
7
|
+
"place": "orchard",
|
|
8
|
+
"negative": false,
|
|
9
|
+
"events": [
|
|
10
|
+
{
|
|
11
|
+
"args": [
|
|
12
|
+
"fold",
|
|
13
|
+
"--as",
|
|
14
|
+
"receipts"
|
|
15
|
+
],
|
|
16
|
+
"status": 0,
|
|
17
|
+
"stdout": "bound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=14237f14da2bc334\nbound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
|
|
18
|
+
"stderr": "READER test/support/measures-reader.js · 1 run · 176 ms\nOBSERVE 1 run · 0 read by key · 180 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 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 28 ms · regions 10 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold de3cda0d folded 0.3 s · 0.3 s folded\nKEPT fold de3cda0d miss · no fold was kept before this one\n",
|
|
19
|
+
"runtimeMs": 439
|
|
20
|
+
},
|
|
21
|
+
{
|
|
22
|
+
"args": [
|
|
23
|
+
"fold",
|
|
24
|
+
"--as",
|
|
25
|
+
"receipts"
|
|
26
|
+
],
|
|
27
|
+
"status": 0,
|
|
28
|
+
"stdout": "bound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=14237f14da2bc334\nbound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
|
|
29
|
+
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 18 ms · bodies 0 ms · removed 1 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 1 ms · applied 0 ms · laid 4 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 27 ms · regions 10 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 0 ms\nBEAT fold de3cda0d folded 0.1 s · 0.3 s folded\nKEPT fold de3cda0d miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 259
|
|
31
|
+
}
|
|
32
|
+
]
|
|
33
|
+
},
|
|
34
|
+
{
|
|
35
|
+
"place": "orchard",
|
|
36
|
+
"negative": true,
|
|
37
|
+
"events": [
|
|
38
|
+
{
|
|
39
|
+
"args": [
|
|
40
|
+
"fold",
|
|
41
|
+
"--as",
|
|
42
|
+
"receipts"
|
|
43
|
+
],
|
|
44
|
+
"status": 1,
|
|
45
|
+
"stdout": "",
|
|
46
|
+
"stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence allowed failure count must be an integer in 0..m\nOBSERVE 0 run · 0 read by key · 173 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence allowed failure count must be an integer in 0..m\n",
|
|
47
|
+
"runtimeMs": 338
|
|
48
|
+
}
|
|
49
|
+
]
|
|
50
|
+
},
|
|
51
|
+
{
|
|
52
|
+
"place": "catalog",
|
|
53
|
+
"negative": false,
|
|
54
|
+
"events": [
|
|
55
|
+
{
|
|
56
|
+
"args": [
|
|
57
|
+
"fold",
|
|
58
|
+
"--as",
|
|
59
|
+
"receipts"
|
|
60
|
+
],
|
|
61
|
+
"status": 0,
|
|
62
|
+
"stdout": "bound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=930d183c6901065c\nbound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
|
|
63
|
+
"stderr": "READER test/support/measures-reader.js · 1 run · 172 ms\nOBSERVE 1 run · 0 read by key · 177 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 1 ms · applied 1 ms · laid 3 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 29 ms · regions 12 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 16e59ae8 folded 0.3 s · 0.3 s folded\nKEPT fold 16e59ae8 miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 433
|
|
65
|
+
},
|
|
66
|
+
{
|
|
67
|
+
"args": [
|
|
68
|
+
"fold",
|
|
69
|
+
"--as",
|
|
70
|
+
"receipts"
|
|
71
|
+
],
|
|
72
|
+
"status": 0,
|
|
73
|
+
"stdout": "bound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=930d183c6901065c\nbound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
|
|
74
|
+
"stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 20 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 4 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 29 ms · regions 11 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 16e59ae8 folded 0.1 s · 0.3 s folded\nKEPT fold 16e59ae8 miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 261
|
|
76
|
+
}
|
|
77
|
+
]
|
|
78
|
+
},
|
|
79
|
+
{
|
|
80
|
+
"place": "catalog",
|
|
81
|
+
"negative": true,
|
|
82
|
+
"events": [
|
|
83
|
+
{
|
|
84
|
+
"args": [
|
|
85
|
+
"fold",
|
|
86
|
+
"--as",
|
|
87
|
+
"receipts"
|
|
88
|
+
],
|
|
89
|
+
"status": 1,
|
|
90
|
+
"stdout": "",
|
|
91
|
+
"stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence allowed failure count must be an integer in 0..m\nOBSERVE 0 run · 0 read by key · 177 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence allowed failure count must be an integer in 0..m\n",
|
|
92
|
+
"runtimeMs": 344
|
|
93
|
+
}
|
|
94
|
+
]
|
|
95
|
+
}
|
|
96
|
+
]
|
|
97
|
+
}
|