@lapxo/obligations 0.4.0 → 0.4.1
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 +78 -30
- package/dist/measures/capacity.d.ts +302 -0
- package/dist/measures/capacity.js +168 -0
- package/dist/measures/coincidence.d.ts +111 -0
- package/dist/measures/coincidence.js +81 -0
- package/dist/measures/error-events.js +23 -4
- package/dist/measures/fitting.d.ts +1 -1
- package/dist/measures/index.d.ts +6 -0
- package/dist/measures/index.js +3 -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 +48 -0
- package/docs/paper.md +233 -0
- package/docs/reference.md +495 -0
- package/package.json +1 -1
- package/receipts.bound +113 -70
- package/samples/measures/capacity.json +71 -0
- package/samples/measures/coincidence.json +624 -0
- package/samples/measures/decisions.json +66 -0
- package/samples/measures/unanimity-fit.json +166 -0
- package/samples/no/installed-artifact.json +14 -2
- package/samples/yes/installed-artifact.json +32 -5
- package/vectors/measures/capacity.cli.json +97 -0
- package/vectors/measures/coincidence.cli.json +97 -0
- package/vectors/measures/decisions.cli.json +97 -0
- package/vectors/measures/descent.cli.json +19 -70
- package/vectors/measures/implementation.json +82 -0
- package/vectors/measures/installed-artifact.cli.json +28 -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/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 · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
|
|
19
|
-
"stderr": "",
|
|
20
|
-
"runtimeMs": 246
|
|
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:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:
|
|
30
|
-
"stderr": "READER reader.
|
|
31
|
-
"runtimeMs":
|
|
17
|
+
"stdout": "bound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd 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: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 · 170 ms\nOBSERVE 1 run · 0 read by key · 173 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 0 ms · zoomed 1 ms · applied 0 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 1 ms · paid 1 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 301768f2 folded 0.3 s · 0.3 s folded\nKEPT fold 301768f2 miss · no fold was kept before this one\n",
|
|
19
|
+
"runtimeMs": 419
|
|
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:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 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:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd 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: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 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 301768f2 folded 0.1 s · 0.3 s folded\nKEPT fold 301768f2 miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 252
|
|
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 · 127 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
|
|
60
|
-
"stderr": "",
|
|
61
|
-
"runtimeMs": 243
|
|
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 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 · 180 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · 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",
|
|
47
|
+
"runtimeMs": 342
|
|
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": 243
|
|
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:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:
|
|
101
|
-
"stderr": "READER reader.
|
|
102
|
-
"runtimeMs":
|
|
62
|
+
"stdout": "bound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd 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: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 · 178 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 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 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 095fa5ce folded 0.3 s · 0.3 s folded\nKEPT fold 095fa5ce miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 426
|
|
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:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 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:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd 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: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 27 ms · regions 8 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 095fa5ce folded 0.1 s · 0.3 s folded\nKEPT fold 095fa5ce miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 249
|
|
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 · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
|
|
131
|
-
"stderr": "",
|
|
132
|
-
"runtimeMs": 243
|
|
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 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 · 172 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · 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",
|
|
92
|
+
"runtimeMs": 334
|
|
144
93
|
}
|
|
145
94
|
]
|
|
146
95
|
}
|