@lapxo/obligations 0.4.1 → 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 +2 -2
- package/TARGET.bound +78 -5
- package/dist/lattice/obligatory.js +29 -1
- package/dist/measures/capacity.d.ts +22 -0
- package/dist/measures/capacity.js +16 -0
- package/dist/measures/confidence.d.ts +73 -0
- package/dist/measures/confidence.js +52 -0
- package/dist/measures/index.d.ts +3 -1
- package/dist/measures/index.js +2 -1
- package/docs/measures.md +17 -1
- package/package.json +1 -1
- package/receipts.bound +130 -105
- 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/t12/common-cause.json +32 -0
- package/samples/measures/tolerant-count.json +144 -0
- package/samples/no/installed-artifact.json +7 -3
- package/samples/yes/installed-artifact.json +14 -5
- 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/implementation-042.json +86 -0
- package/vectors/measures/installed-artifact.cli.json +8 -28
- package/vectors/measures/t12/expected.json +35 -0
- package/vectors/measures/tolerant-count.cli.json +97 -0
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
{
|
|
2
|
+
"yes": {
|
|
3
|
+
"group": "confidence",
|
|
4
|
+
"failures": [
|
|
5
|
+
{
|
|
6
|
+
"id": "A",
|
|
7
|
+
"p": "1/10",
|
|
8
|
+
"justification": "hypothesis:A"
|
|
9
|
+
},
|
|
10
|
+
{
|
|
11
|
+
"id": "B",
|
|
12
|
+
"p": "1/5",
|
|
13
|
+
"justification": "hypothesis:B"
|
|
14
|
+
}
|
|
15
|
+
],
|
|
16
|
+
"expectedLowerBound": {
|
|
17
|
+
"numerator": "7",
|
|
18
|
+
"denominator": "10"
|
|
19
|
+
}
|
|
20
|
+
},
|
|
21
|
+
"no": {
|
|
22
|
+
"group": "confidence",
|
|
23
|
+
"failures": [
|
|
24
|
+
{
|
|
25
|
+
"id": "A",
|
|
26
|
+
"p": "1/10",
|
|
27
|
+
"justification": ""
|
|
28
|
+
}
|
|
29
|
+
],
|
|
30
|
+
"expectedRefusal": "justification reference required"
|
|
31
|
+
},
|
|
32
|
+
"trivial": {
|
|
33
|
+
"group": "confidence",
|
|
34
|
+
"failures": [
|
|
35
|
+
{
|
|
36
|
+
"id": "A",
|
|
37
|
+
"p": "3/5",
|
|
38
|
+
"justification": "hypothesis:A"
|
|
39
|
+
},
|
|
40
|
+
{
|
|
41
|
+
"id": "B",
|
|
42
|
+
"p": "3/5",
|
|
43
|
+
"justification": "hypothesis:B"
|
|
44
|
+
}
|
|
45
|
+
],
|
|
46
|
+
"expectedLowerBound": {
|
|
47
|
+
"numerator": "0",
|
|
48
|
+
"denominator": "1"
|
|
49
|
+
}
|
|
50
|
+
},
|
|
51
|
+
"open": [
|
|
52
|
+
"tolerant intersection semantics"
|
|
53
|
+
]
|
|
54
|
+
}
|
|
@@ -0,0 +1,70 @@
|
|
|
1
|
+
[
|
|
2
|
+
{
|
|
3
|
+
"yes": {
|
|
4
|
+
"group": "confidence",
|
|
5
|
+
"failures": [
|
|
6
|
+
{
|
|
7
|
+
"id": "A",
|
|
8
|
+
"p": "1/10",
|
|
9
|
+
"justification": "hypothesis:A"
|
|
10
|
+
},
|
|
11
|
+
{
|
|
12
|
+
"id": "B",
|
|
13
|
+
"p": "1/5",
|
|
14
|
+
"justification": "hypothesis:B"
|
|
15
|
+
}
|
|
16
|
+
],
|
|
17
|
+
"expectedLowerBound": {
|
|
18
|
+
"numerator": "7",
|
|
19
|
+
"denominator": "10"
|
|
20
|
+
},
|
|
21
|
+
"place": "orchard"
|
|
22
|
+
},
|
|
23
|
+
"no": {
|
|
24
|
+
"group": "confidence",
|
|
25
|
+
"failures": [
|
|
26
|
+
{
|
|
27
|
+
"id": "A",
|
|
28
|
+
"p": "1/10",
|
|
29
|
+
"justification": ""
|
|
30
|
+
}
|
|
31
|
+
],
|
|
32
|
+
"expectedRefusal": "justification reference required",
|
|
33
|
+
"place": "orchard"
|
|
34
|
+
}
|
|
35
|
+
},
|
|
36
|
+
{
|
|
37
|
+
"yes": {
|
|
38
|
+
"group": "confidence",
|
|
39
|
+
"failures": [
|
|
40
|
+
{
|
|
41
|
+
"id": "A",
|
|
42
|
+
"p": "1/10",
|
|
43
|
+
"justification": "hypothesis:A"
|
|
44
|
+
},
|
|
45
|
+
{
|
|
46
|
+
"id": "B",
|
|
47
|
+
"p": "1/5",
|
|
48
|
+
"justification": "hypothesis:B"
|
|
49
|
+
}
|
|
50
|
+
],
|
|
51
|
+
"expectedLowerBound": {
|
|
52
|
+
"numerator": "7",
|
|
53
|
+
"denominator": "10"
|
|
54
|
+
},
|
|
55
|
+
"place": "catalog"
|
|
56
|
+
},
|
|
57
|
+
"no": {
|
|
58
|
+
"group": "confidence",
|
|
59
|
+
"failures": [
|
|
60
|
+
{
|
|
61
|
+
"id": "A",
|
|
62
|
+
"p": "1/10",
|
|
63
|
+
"justification": ""
|
|
64
|
+
}
|
|
65
|
+
],
|
|
66
|
+
"expectedRefusal": "justification reference required",
|
|
67
|
+
"place": "catalog"
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
]
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
{
|
|
2
|
+
"yes": {
|
|
3
|
+
"group": "common-cause-capacity",
|
|
4
|
+
"n": 4,
|
|
5
|
+
"c": "1/5",
|
|
6
|
+
"q": "1/2",
|
|
7
|
+
"policy": {
|
|
8
|
+
"logarithm": "binary64-log2"
|
|
9
|
+
},
|
|
10
|
+
"expectedBits": 1.6415037499278844
|
|
11
|
+
},
|
|
12
|
+
"no": {
|
|
13
|
+
"group": "common-cause-capacity",
|
|
14
|
+
"n": 4,
|
|
15
|
+
"c": "1/5",
|
|
16
|
+
"policy": {
|
|
17
|
+
"logarithm": "binary64-log2"
|
|
18
|
+
},
|
|
19
|
+
"expectedRefusal": "common-cause accuracy q required"
|
|
20
|
+
},
|
|
21
|
+
"copyInvariant": {
|
|
22
|
+
"sameCauseCopies": [
|
|
23
|
+
1,
|
|
24
|
+
2,
|
|
25
|
+
20
|
|
26
|
+
],
|
|
27
|
+
"expectedBits": 1.6415037499278844
|
|
28
|
+
},
|
|
29
|
+
"open": [
|
|
30
|
+
"duplicated/disjoint/triangle governance"
|
|
31
|
+
]
|
|
32
|
+
}
|
|
@@ -0,0 +1,144 @@
|
|
|
1
|
+
[
|
|
2
|
+
{
|
|
3
|
+
"yes": {
|
|
4
|
+
"group": "tolerant-count",
|
|
5
|
+
"place": "orchard",
|
|
6
|
+
"k": 2,
|
|
7
|
+
"failures": [
|
|
8
|
+
{
|
|
9
|
+
"id": "0",
|
|
10
|
+
"p": "9/10",
|
|
11
|
+
"justification": "hypothesis:0"
|
|
12
|
+
},
|
|
13
|
+
{
|
|
14
|
+
"id": "1",
|
|
15
|
+
"p": "1/10",
|
|
16
|
+
"justification": "hypothesis:1"
|
|
17
|
+
},
|
|
18
|
+
{
|
|
19
|
+
"id": "2",
|
|
20
|
+
"p": "1/10",
|
|
21
|
+
"justification": "hypothesis:2"
|
|
22
|
+
},
|
|
23
|
+
{
|
|
24
|
+
"id": "3",
|
|
25
|
+
"p": "1/10",
|
|
26
|
+
"justification": "hypothesis:3"
|
|
27
|
+
},
|
|
28
|
+
{
|
|
29
|
+
"id": "4",
|
|
30
|
+
"p": "1/10",
|
|
31
|
+
"justification": "hypothesis:4"
|
|
32
|
+
}
|
|
33
|
+
],
|
|
34
|
+
"expectedLowerBound": {
|
|
35
|
+
"numerator": "4",
|
|
36
|
+
"denominator": "5"
|
|
37
|
+
}
|
|
38
|
+
},
|
|
39
|
+
"no": {
|
|
40
|
+
"group": "tolerant-count",
|
|
41
|
+
"place": "orchard",
|
|
42
|
+
"k": 6,
|
|
43
|
+
"failures": [
|
|
44
|
+
{
|
|
45
|
+
"id": "0",
|
|
46
|
+
"p": "9/10",
|
|
47
|
+
"justification": "hypothesis:0"
|
|
48
|
+
},
|
|
49
|
+
{
|
|
50
|
+
"id": "1",
|
|
51
|
+
"p": "1/10",
|
|
52
|
+
"justification": "hypothesis:1"
|
|
53
|
+
},
|
|
54
|
+
{
|
|
55
|
+
"id": "2",
|
|
56
|
+
"p": "1/10",
|
|
57
|
+
"justification": "hypothesis:2"
|
|
58
|
+
},
|
|
59
|
+
{
|
|
60
|
+
"id": "3",
|
|
61
|
+
"p": "1/10",
|
|
62
|
+
"justification": "hypothesis:3"
|
|
63
|
+
},
|
|
64
|
+
{
|
|
65
|
+
"id": "4",
|
|
66
|
+
"p": "1/10",
|
|
67
|
+
"justification": "hypothesis:4"
|
|
68
|
+
}
|
|
69
|
+
],
|
|
70
|
+
"expectedRefusal": "allowed failure count must be an integer in 0..m"
|
|
71
|
+
}
|
|
72
|
+
},
|
|
73
|
+
{
|
|
74
|
+
"yes": {
|
|
75
|
+
"group": "tolerant-count",
|
|
76
|
+
"place": "catalog",
|
|
77
|
+
"k": 2,
|
|
78
|
+
"failures": [
|
|
79
|
+
{
|
|
80
|
+
"id": "0",
|
|
81
|
+
"p": "9/10",
|
|
82
|
+
"justification": "hypothesis:0"
|
|
83
|
+
},
|
|
84
|
+
{
|
|
85
|
+
"id": "1",
|
|
86
|
+
"p": "1/10",
|
|
87
|
+
"justification": "hypothesis:1"
|
|
88
|
+
},
|
|
89
|
+
{
|
|
90
|
+
"id": "2",
|
|
91
|
+
"p": "1/10",
|
|
92
|
+
"justification": "hypothesis:2"
|
|
93
|
+
},
|
|
94
|
+
{
|
|
95
|
+
"id": "3",
|
|
96
|
+
"p": "1/10",
|
|
97
|
+
"justification": "hypothesis:3"
|
|
98
|
+
},
|
|
99
|
+
{
|
|
100
|
+
"id": "4",
|
|
101
|
+
"p": "1/10",
|
|
102
|
+
"justification": "hypothesis:4"
|
|
103
|
+
}
|
|
104
|
+
],
|
|
105
|
+
"expectedLowerBound": {
|
|
106
|
+
"numerator": "4",
|
|
107
|
+
"denominator": "5"
|
|
108
|
+
}
|
|
109
|
+
},
|
|
110
|
+
"no": {
|
|
111
|
+
"group": "tolerant-count",
|
|
112
|
+
"place": "catalog",
|
|
113
|
+
"k": 6,
|
|
114
|
+
"failures": [
|
|
115
|
+
{
|
|
116
|
+
"id": "0",
|
|
117
|
+
"p": "9/10",
|
|
118
|
+
"justification": "hypothesis:0"
|
|
119
|
+
},
|
|
120
|
+
{
|
|
121
|
+
"id": "1",
|
|
122
|
+
"p": "1/10",
|
|
123
|
+
"justification": "hypothesis:1"
|
|
124
|
+
},
|
|
125
|
+
{
|
|
126
|
+
"id": "2",
|
|
127
|
+
"p": "1/10",
|
|
128
|
+
"justification": "hypothesis:2"
|
|
129
|
+
},
|
|
130
|
+
{
|
|
131
|
+
"id": "3",
|
|
132
|
+
"p": "1/10",
|
|
133
|
+
"justification": "hypothesis:3"
|
|
134
|
+
},
|
|
135
|
+
{
|
|
136
|
+
"id": "4",
|
|
137
|
+
"p": "1/10",
|
|
138
|
+
"justification": "hypothesis:4"
|
|
139
|
+
}
|
|
140
|
+
],
|
|
141
|
+
"expectedRefusal": "allowed failure count must be an integer in 0..m"
|
|
142
|
+
}
|
|
143
|
+
}
|
|
144
|
+
]
|
|
@@ -140,7 +140,7 @@
|
|
|
140
140
|
},
|
|
141
141
|
{
|
|
142
142
|
"path": "dist/lattice/obligatory.js",
|
|
143
|
-
"sha256": "sha256:
|
|
143
|
+
"sha256": "sha256:767c01b525fe5e97997acebdd2aac89c0d6e579fd9d6955c339292d17d34d048"
|
|
144
144
|
},
|
|
145
145
|
{
|
|
146
146
|
"path": "dist/lattice/order.js",
|
|
@@ -180,12 +180,16 @@
|
|
|
180
180
|
},
|
|
181
181
|
{
|
|
182
182
|
"path": "dist/measures/capacity.js",
|
|
183
|
-
"sha256": "sha256:
|
|
183
|
+
"sha256": "sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4"
|
|
184
184
|
},
|
|
185
185
|
{
|
|
186
186
|
"path": "dist/measures/coincidence.js",
|
|
187
187
|
"sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
|
|
188
188
|
},
|
|
189
|
+
{
|
|
190
|
+
"path": "dist/measures/confidence.js",
|
|
191
|
+
"sha256": "sha256:28e7f2c69c392abf08788db2a4a24a215c4f8d135d68359b99a477b2aee2a752"
|
|
192
|
+
},
|
|
189
193
|
{
|
|
190
194
|
"path": "dist/measures/error-events.js",
|
|
191
195
|
"sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
|
|
@@ -204,7 +208,7 @@
|
|
|
204
208
|
},
|
|
205
209
|
{
|
|
206
210
|
"path": "dist/measures/index.js",
|
|
207
|
-
"sha256": "sha256:
|
|
211
|
+
"sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
|
|
208
212
|
},
|
|
209
213
|
{
|
|
210
214
|
"path": "dist/measures/m3-experiment.js",
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"format": "installed-acceptance/1",
|
|
3
3
|
"name": "@lapxo/obligations",
|
|
4
|
-
"version": "0.4.
|
|
4
|
+
"version": "0.4.2",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": {
|
|
7
7
|
"types": "./dist/lattice/index.d.ts",
|
|
@@ -204,7 +204,7 @@
|
|
|
204
204
|
},
|
|
205
205
|
{
|
|
206
206
|
"path": "dist/lattice/obligatory.js",
|
|
207
|
-
"sha256": "sha256:
|
|
207
|
+
"sha256": "sha256:767c01b525fe5e97997acebdd2aac89c0d6e579fd9d6955c339292d17d34d048"
|
|
208
208
|
},
|
|
209
209
|
{
|
|
210
210
|
"path": "dist/lattice/order.js",
|
|
@@ -244,12 +244,16 @@
|
|
|
244
244
|
},
|
|
245
245
|
{
|
|
246
246
|
"path": "dist/measures/capacity.js",
|
|
247
|
-
"sha256": "sha256:
|
|
247
|
+
"sha256": "sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4"
|
|
248
248
|
},
|
|
249
249
|
{
|
|
250
250
|
"path": "dist/measures/coincidence.js",
|
|
251
251
|
"sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
|
|
252
252
|
},
|
|
253
|
+
{
|
|
254
|
+
"path": "dist/measures/confidence.js",
|
|
255
|
+
"sha256": "sha256:28e7f2c69c392abf08788db2a4a24a215c4f8d135d68359b99a477b2aee2a752"
|
|
256
|
+
},
|
|
253
257
|
{
|
|
254
258
|
"path": "dist/measures/error-events.js",
|
|
255
259
|
"sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
|
|
@@ -268,7 +272,7 @@
|
|
|
268
272
|
},
|
|
269
273
|
{
|
|
270
274
|
"path": "dist/measures/index.js",
|
|
271
|
-
"sha256": "sha256:
|
|
275
|
+
"sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
|
|
272
276
|
},
|
|
273
277
|
{
|
|
274
278
|
"path": "dist/measures/m3-experiment.js",
|
|
@@ -375,7 +379,7 @@
|
|
|
375
379
|
"sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
|
|
376
380
|
}
|
|
377
381
|
],
|
|
378
|
-
"code": "sha256:
|
|
382
|
+
"code": "sha256:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
|
|
379
383
|
"tests": [
|
|
380
384
|
"finite exact joint probabilities reproduce the four captured information vectors",
|
|
381
385
|
"p=0 is k-invariant; limit statements never overwrite finite or uninformative channels",
|
|
@@ -388,6 +392,11 @@
|
|
|
388
392
|
"redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged",
|
|
389
393
|
"absence, zero reference and insufficient budget are distinct, never inferred independence",
|
|
390
394
|
"estimated marginals condition on truth rather than pooling distinct populations",
|
|
395
|
+
"042 installed covering cause preserves declared symmetric channel boundaries",
|
|
396
|
+
"042 installed covering cause refuses missing accuracy and invalid probabilities",
|
|
397
|
+
"042 installed union bound retains justification and refuses unnamed premises",
|
|
398
|
+
"042 installed tolerant count keeps heterogeneous subset bounds and paired failure counterexample",
|
|
399
|
+
"042 installed three conditional measures preserve every frozen algebra state",
|
|
391
400
|
"analytic eigensystem satisfies residual and orthogonality; inputs are unchanged",
|
|
392
401
|
"repeated eigenvalues have no unique top loading; their full variance subspace remains readable",
|
|
393
402
|
"subset variance is descriptive, not a probability of error",
|
|
@@ -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:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=032c5e4f8302f41c\nbound-lock/1 at=place:sha256:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"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 · 190 ms\nOBSERVE 1 run · 0 read by key · 194 ms\nOWN imports 22 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 5 ms · own 31 ms · regions 11 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 09ea742a folded 0.4 s\nKEPT fold 09ea742a miss · no fold was kept before this one\n",
|
|
19
|
+
"runtimeMs": 518
|
|
20
|
+
},
|
|
21
|
+
{
|
|
22
|
+
"args": [
|
|
23
|
+
"fold",
|
|
24
|
+
"--as",
|
|
25
|
+
"receipts"
|
|
26
|
+
],
|
|
27
|
+
"status": 0,
|
|
28
|
+
"stdout": "bound-lock/1 at=place:sha256:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=032c5e4f8302f41c\nbound-lock/1 at=place:sha256:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"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 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 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 09ea742a folded 0.1 s · 0.4 s folded\nKEPT fold 09ea742a miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 260
|
|
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·capacity common-cause accuracy q required\nOBSERVE 0 run · 0 read by key · 175 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·capacity common-cause accuracy q required\n",
|
|
47
|
+
"runtimeMs": 340
|
|
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:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=3c2bb264120d56c6\nbound-lock/1 at=place:sha256:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"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 · 169 ms\nOBSERVE 1 run · 0 read by key · 174 ms\nOWN imports 18 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 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 4 ms · own 28 ms · regions 10 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold fcb5d07d folded 0.3 s\nKEPT fold fcb5d07d miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 479
|
|
65
|
+
},
|
|
66
|
+
{
|
|
67
|
+
"args": [
|
|
68
|
+
"fold",
|
|
69
|
+
"--as",
|
|
70
|
+
"receipts"
|
|
71
|
+
],
|
|
72
|
+
"status": 0,
|
|
73
|
+
"stdout": "bound-lock/1 at=place:sha256:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=3c2bb264120d56c6\nbound-lock/1 at=place:sha256:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"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 18 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 1 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 1 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold fcb5d07d folded 0.1 s · 0.3 s folded\nKEPT fold fcb5d07d miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 255
|
|
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·capacity common-cause accuracy q required\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·capacity common-cause accuracy q required\n",
|
|
92
|
+
"runtimeMs": 336
|
|
93
|
+
}
|
|
94
|
+
]
|
|
95
|
+
}
|
|
96
|
+
]
|
|
97
|
+
}
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
{
|
|
2
|
+
"evidence": "fixed arithmetic oracle",
|
|
3
|
+
"values": [
|
|
4
|
+
{
|
|
5
|
+
"p": [
|
|
6
|
+
"1/10",
|
|
7
|
+
"1/5"
|
|
8
|
+
],
|
|
9
|
+
"lowerBound": "7/10"
|
|
10
|
+
},
|
|
11
|
+
{
|
|
12
|
+
"p": [
|
|
13
|
+
"1/2",
|
|
14
|
+
"1/2"
|
|
15
|
+
],
|
|
16
|
+
"lowerBound": "0"
|
|
17
|
+
},
|
|
18
|
+
{
|
|
19
|
+
"p": [
|
|
20
|
+
"3/5",
|
|
21
|
+
"3/5"
|
|
22
|
+
],
|
|
23
|
+
"lowerBound": "0"
|
|
24
|
+
}
|
|
25
|
+
]
|
|
26
|
+
}
|
|
@@ -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:70bf5821f9542f93b1d4063f906ee40abbfa3efbbdbc03372a94b0fa9ec8aae6 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=70bf5821f9542f93\nbound-lock/1 at=place:sha256:70bf5821f9542f93b1d4063f906ee40abbfa3efbbdbc03372a94b0fa9ec8aae6 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/confidence/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-union-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"A\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:A\\\"},{\\\"id\\\":\\\"B\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"justification\\\":\\\"hypothesis:B\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"10\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for all declared events succeeding; references are not verified\\\"},\\\"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 · 169 ms\nOBSERVE 1 run · 0 read by key · 174 ms\nOWN imports 17 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 0 ms · laid 4 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 26 ms · regions 10 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold f37da1ee folded 0.3 s · 0.4 s folded\nKEPT fold f37da1ee miss · no fold was kept before this one\n",
|
|
19
|
+
"runtimeMs": 430
|
|
20
|
+
},
|
|
21
|
+
{
|
|
22
|
+
"args": [
|
|
23
|
+
"fold",
|
|
24
|
+
"--as",
|
|
25
|
+
"receipts"
|
|
26
|
+
],
|
|
27
|
+
"status": 0,
|
|
28
|
+
"stdout": "bound-lock/1 at=place:sha256:70bf5821f9542f93b1d4063f906ee40abbfa3efbbdbc03372a94b0fa9ec8aae6 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=70bf5821f9542f93\nbound-lock/1 at=place:sha256:70bf5821f9542f93b1d4063f906ee40abbfa3efbbdbc03372a94b0fa9ec8aae6 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/confidence/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-union-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"A\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:A\\\"},{\\\"id\\\":\\\"B\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"justification\\\":\\\"hypothesis:B\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"10\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for all declared events succeeding; references are not verified\\\"},\\\"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 0 ms · readers 0 ms · alphabets 1 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 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 28 ms · regions 9 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 0 ms\nBEAT fold f37da1ee folded 0.1 s · 0.3 s folded\nKEPT fold f37da1ee miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 255
|
|
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 justification reference required\nOBSERVE 0 run · 0 read by key · 178 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence justification reference required\n",
|
|
47
|
+
"runtimeMs": 348
|
|
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:b8a2d1557981495a1aefde4dad15129d88649de0e7b3149872e15450716e769c by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=b8a2d1557981495a\nbound-lock/1 at=place:sha256:b8a2d1557981495a1aefde4dad15129d88649de0e7b3149872e15450716e769c by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/confidence/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-union-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"A\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:A\\\"},{\\\"id\\\":\\\"B\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"justification\\\":\\\"hypothesis:B\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"10\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for all declared events succeeding; references are not verified\\\"},\\\"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 · 176 ms\nOWN imports 23 ms · bodies 0 ms · removed 0 ms · readers 1 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 3 ms · resets 1 ms · store 0 ms · ship 1 ms\nSPENT fold capsules 6 ms · own 34 ms · regions 10 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 844afd6b folded 0.3 s · 0.3 s folded\nKEPT fold 844afd6b miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 434
|
|
65
|
+
},
|
|
66
|
+
{
|
|
67
|
+
"args": [
|
|
68
|
+
"fold",
|
|
69
|
+
"--as",
|
|
70
|
+
"receipts"
|
|
71
|
+
],
|
|
72
|
+
"status": 0,
|
|
73
|
+
"stdout": "bound-lock/1 at=place:sha256:b8a2d1557981495a1aefde4dad15129d88649de0e7b3149872e15450716e769c by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=b8a2d1557981495a\nbound-lock/1 at=place:sha256:b8a2d1557981495a1aefde4dad15129d88649de0e7b3149872e15450716e769c by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/confidence/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-union-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"A\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:A\\\"},{\\\"id\\\":\\\"B\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"justification\\\":\\\"hypothesis:B\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"10\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for all declared events succeeding; references are not verified\\\"},\\\"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 17 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 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 27 ms · regions 9 ms · ceilings 2 ms · paid 0 ms · docs 1 ms · ceilings 0 ms\nBEAT fold 844afd6b folded 0.1 s · 0.3 s folded\nKEPT fold 844afd6b miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 259
|
|
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 justification reference required\nOBSERVE 0 run · 0 read by key · 175 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence justification reference required\n",
|
|
92
|
+
"runtimeMs": 346
|
|
93
|
+
}
|
|
94
|
+
]
|
|
95
|
+
}
|
|
96
|
+
]
|
|
97
|
+
}
|