@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
|
@@ -0,0 +1,97 @@
|
|
|
1
|
+
{
|
|
2
|
+
"instrument": "@lapxo/bound@0.1.7",
|
|
3
|
+
"implementation": "sha256:a0b02d4bf5dc891c88529a8a833ed33c83d210fe23d2ecb7bdf1dd5bb0a6219c",
|
|
4
|
+
"inventory": "vectors/measures/implementation.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:70ea2f0699ff770aa59892aefd3f2867b767478abb6be5951053b959743d0301 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=70ea2f0699ff770a\nbound-lock/1 at=place:sha256:70ea2f0699ff770aa59892aefd3f2867b767478abb6be5951053b959743d0301 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/decisions/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":4,\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"p\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"factor-independent-of-truth\\\",\\\"uniform-shared-wrong-value\\\",\\\"independent-homogeneous-private-channel\\\"],\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":0.9144580100231441,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"1024\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":0.3790130604514917,\\\"factorAmbiguity\\\":0.3895364293811329},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"12500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"4904\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"2503\\\",\\\"denominator\\\":\\\"12500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2503\\\",\\\"denominator\\\":\\\"14712\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"1029\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"352\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"352\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"6\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"352\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"6250\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"100\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"6250\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"100\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"64\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"126\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"64\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"64\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"42\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}}],\\\"decision\\\":{\\\"rule\\\":\\\"posterior-map-uniform-ties@1\\\",\\\"accuracy\\\":{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"information\\\":0.6463688999864976,\\\"joint\\\":[[{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"}],[{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"}],[{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"}],[{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"}]],\\\"tiePolicy\\\":\\\"uniform-over-maximizers\\\"}},\\\"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 · 183 ms\nOBSERVE 1 run · 0 read by key · 187 ms\nOWN imports 17 ms · bodies 1 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 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 28 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 53afe49a folded 0.3 s · 0.3 s folded\nKEPT fold 53afe49a miss · no fold was kept before this one\n",
|
|
19
|
+
"runtimeMs": 446
|
|
20
|
+
},
|
|
21
|
+
{
|
|
22
|
+
"args": [
|
|
23
|
+
"fold",
|
|
24
|
+
"--as",
|
|
25
|
+
"receipts"
|
|
26
|
+
],
|
|
27
|
+
"status": 0,
|
|
28
|
+
"stdout": "bound-lock/1 at=place:sha256:70ea2f0699ff770aa59892aefd3f2867b767478abb6be5951053b959743d0301 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=70ea2f0699ff770a\nbound-lock/1 at=place:sha256:70ea2f0699ff770aa59892aefd3f2867b767478abb6be5951053b959743d0301 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/decisions/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":4,\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"p\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"factor-independent-of-truth\\\",\\\"uniform-shared-wrong-value\\\",\\\"independent-homogeneous-private-channel\\\"],\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":0.9144580100231441,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"1024\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":0.3790130604514917,\\\"factorAmbiguity\\\":0.3895364293811329},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"12500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"4904\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"2503\\\",\\\"denominator\\\":\\\"12500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2503\\\",\\\"denominator\\\":\\\"14712\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"1029\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"352\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"352\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"6\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"352\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"6250\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"100\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"6250\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"100\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"64\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"126\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"64\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"64\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"42\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}}],\\\"decision\\\":{\\\"rule\\\":\\\"posterior-map-uniform-ties@1\\\",\\\"accuracy\\\":{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"3125\\\"},\\\"information\\\":0.6463688999864976,\\\"joint\\\":[[{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"}],[{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"}],[{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"}],[{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"467\\\",\\\"denominator\\\":\\\"18750\\\"},{\\\"numerator\\\":\\\"2191\\\",\\\"denominator\\\":\\\"12500\\\"}]],\\\"tiePolicy\\\":\\\"uniform-over-maximizers\\\"}},\\\"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 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 28 ms · regions 8 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 53afe49a folded 0.1 s · 0.3 s folded\nKEPT fold 53afe49a miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 264
|
|
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 /private<place>/test/support/measures-reader.js · Error: REFUSE·capacity unknown decision rule\nOBSERVE 0 run · 0 read by key · 182 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·capacity unknown decision rule\n",
|
|
47
|
+
"runtimeMs": 353
|
|
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:25dce7b9faff6a8722e32ed49ad2f7504565ed16cfeb24f331c93dc3e15dfdde by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=25dce7b9faff6a87\nbound-lock/1 at=place:sha256:25dce7b9faff6a8722e32ed49ad2f7504565ed16cfeb24f331c93dc3e15dfdde by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/decisions/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":1,\\\"n\\\":2,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"factor-independent-of-truth\\\",\\\"uniform-shared-wrong-value\\\",\\\"independent-homogeneous-private-channel\\\"],\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":1,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"4\\\",\\\"loss\\\":{\\\"exclusion\\\":0,\\\"privateUncertainty\\\":0,\\\"factorAmbiguity\\\":0},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"decision\\\":{\\\"rule\\\":\\\"posterior-map-uniform-ties@1\\\",\\\"accuracy\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"information\\\":1,\\\"joint\\\":[[{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}],[{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}]],\\\"tiePolicy\\\":\\\"uniform-over-maximizers\\\"}},\\\"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 · 171 ms\nOBSERVE 1 run · 0 read by key · 174 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 4e34f367 folded 0.3 s · 0.3 s folded\nKEPT fold 4e34f367 miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 422
|
|
65
|
+
},
|
|
66
|
+
{
|
|
67
|
+
"args": [
|
|
68
|
+
"fold",
|
|
69
|
+
"--as",
|
|
70
|
+
"receipts"
|
|
71
|
+
],
|
|
72
|
+
"status": 0,
|
|
73
|
+
"stdout": "bound-lock/1 at=place:sha256:25dce7b9faff6a8722e32ed49ad2f7504565ed16cfeb24f331c93dc3e15dfdde by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=25dce7b9faff6a87\nbound-lock/1 at=place:sha256:25dce7b9faff6a8722e32ed49ad2f7504565ed16cfeb24f331c93dc3e15dfdde by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/decisions/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":1,\\\"n\\\":2,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"factor-independent-of-truth\\\",\\\"uniform-shared-wrong-value\\\",\\\"independent-homogeneous-private-channel\\\"],\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":1,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"4\\\",\\\"loss\\\":{\\\"exclusion\\\":0,\\\"privateUncertainty\\\":0,\\\"factorAmbiguity\\\":0},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"decision\\\":{\\\"rule\\\":\\\"posterior-map-uniform-ties@1\\\",\\\"accuracy\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"information\\\":1,\\\"joint\\\":[[{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}],[{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}]],\\\"tiePolicy\\\":\\\"uniform-over-maximizers\\\"}},\\\"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 · 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 0 ms · zoom 1 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 25 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 4e34f367 folded 0.1 s · 0.3 s folded\nKEPT fold 4e34f367 miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 247
|
|
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 /private<place>/test/support/measures-reader.js · Error: REFUSE·capacity unknown decision rule\nOBSERVE 0 run · 0 read by key · 175 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·capacity unknown decision rule\n",
|
|
92
|
+
"runtimeMs": 335
|
|
93
|
+
}
|
|
94
|
+
]
|
|
95
|
+
}
|
|
96
|
+
]
|
|
97
|
+
}
|
|
@@ -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": 242
|
|
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:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:
|
|
30
|
-
"stderr": "READER reader.
|
|
31
|
-
"runtimeMs":
|
|
17
|
+
"stdout": "bound-lock/1 at=place:sha256:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=0d7fd2bd29fab21d\nbound-lock/1 at=place:sha256:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/descent/orchard value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"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 · 203 ms\nOBSERVE 1 run · 0 read by key · 208 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 1 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 27 ms · regions 8 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold fb24b1d0 folded 0.3 s · 0.3 s folded\nKEPT fold fb24b1d0 miss · no fold was kept before this one\n",
|
|
19
|
+
"runtimeMs": 522
|
|
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:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d 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:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=0d7fd2bd29fab21d\nbound-lock/1 at=place:sha256:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/descent/orchard value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"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 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 1 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 8 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold fb24b1d0 folded 0.1 s · 0.3 s folded\nKEPT fold fb24b1d0 miss · no fold was kept before this one\n",
|
|
30
|
+
"runtimeMs": 260
|
|
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 · 132 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
|
|
60
|
-
"stderr": "",
|
|
61
|
-
"runtimeMs": 249
|
|
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 cyclic descent at base\nOBSERVE 0 run · 0 read by key · 200 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure cyclic descent at base\n",
|
|
47
|
+
"runtimeMs": 369
|
|
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 · 128 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
|
|
90
|
-
"stderr": "",
|
|
91
|
-
"runtimeMs": 247
|
|
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:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:
|
|
101
|
-
"stderr": "READER reader.
|
|
102
|
-
"runtimeMs":
|
|
62
|
+
"stdout": "bound-lock/1 at=place:sha256:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=e5fcea63bd2851f9\nbound-lock/1 at=place:sha256:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/descent/catalog value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"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 · 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 0 ms · zoomed 1 ms · applied 0 ms · laid 3 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 26 ms · regions 8 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold fe3f7c03 folded 0.3 s · 0.3 s folded\nKEPT fold fe3f7c03 miss · no fold was kept before this one\n",
|
|
64
|
+
"runtimeMs": 421
|
|
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:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c 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:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=e5fcea63bd2851f9\nbound-lock/1 at=place:sha256:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/descent/catalog value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"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 0 ms · zoom 1 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 25 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold fe3f7c03 folded 0.1 s · 0.3 s folded\nKEPT fold fe3f7c03 miss · no fold was kept before this one\n",
|
|
75
|
+
"runtimeMs": 246
|
|
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": 246
|
|
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 cyclic descent at base\nOBSERVE 0 run · 0 read by key · 175 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure cyclic descent at base\n",
|
|
92
|
+
"runtimeMs": 335
|
|
144
93
|
}
|
|
145
94
|
]
|
|
146
95
|
}
|
|
@@ -0,0 +1,86 @@
|
|
|
1
|
+
[
|
|
2
|
+
{
|
|
3
|
+
"path": "src/debit/ideal.js",
|
|
4
|
+
"sha256": "sha256:4c55b1eaad5301c264611e322aee48734c2dd95a7f54493ca1211caf6a4988fd"
|
|
5
|
+
},
|
|
6
|
+
{
|
|
7
|
+
"path": "src/debit/unit-span.js",
|
|
8
|
+
"sha256": "sha256:f882bf1b9c084707e8490e47324fa68ad48f662cb6ee94be5075e48ecb2eb514"
|
|
9
|
+
},
|
|
10
|
+
{
|
|
11
|
+
"path": "src/debit/unit.js",
|
|
12
|
+
"sha256": "sha256:a26c30d5456d99667ab44ff56663fff0ced252de60b860acefb820c32a0f5f78"
|
|
13
|
+
},
|
|
14
|
+
{
|
|
15
|
+
"path": "src/lattice/errors.js",
|
|
16
|
+
"sha256": "sha256:0cc476498db21b2aab91e90cc0172bb34373cbe2876a21a21efdc8ba088112b0"
|
|
17
|
+
},
|
|
18
|
+
{
|
|
19
|
+
"path": "src/lattice/order.js",
|
|
20
|
+
"sha256": "sha256:4752a5da2995163d26712bb96acc9c14d5d65f76366e941ec29c25dd8fdd6741"
|
|
21
|
+
},
|
|
22
|
+
{
|
|
23
|
+
"path": "src/measures/capacity.js",
|
|
24
|
+
"sha256": "sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4"
|
|
25
|
+
},
|
|
26
|
+
{
|
|
27
|
+
"path": "src/measures/coincidence.js",
|
|
28
|
+
"sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
|
|
29
|
+
},
|
|
30
|
+
{
|
|
31
|
+
"path": "src/measures/confidence.js",
|
|
32
|
+
"sha256": "sha256:28e7f2c69c392abf08788db2a4a24a215c4f8d135d68359b99a477b2aee2a752"
|
|
33
|
+
},
|
|
34
|
+
{
|
|
35
|
+
"path": "src/measures/error-events.js",
|
|
36
|
+
"sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
|
|
37
|
+
},
|
|
38
|
+
{
|
|
39
|
+
"path": "src/measures/experiments.js",
|
|
40
|
+
"sha256": "sha256:1b93636b8f8c98332c4a64d5895dd0ec27952062b18eb1c580f58c03f54ccb21"
|
|
41
|
+
},
|
|
42
|
+
{
|
|
43
|
+
"path": "src/measures/fitting.js",
|
|
44
|
+
"sha256": "sha256:62235cb2bc72fae9cfa5113fbce6fc8101c3389e68c538ee4b11e01c31d183cc"
|
|
45
|
+
},
|
|
46
|
+
{
|
|
47
|
+
"path": "src/measures/identification.js",
|
|
48
|
+
"sha256": "sha256:ba2a5424e4b54c46d82410d506a47483cf5ad6cc272379fec0a5894b730cbe0d"
|
|
49
|
+
},
|
|
50
|
+
{
|
|
51
|
+
"path": "src/measures/index.js",
|
|
52
|
+
"sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
|
|
53
|
+
},
|
|
54
|
+
{
|
|
55
|
+
"path": "src/measures/m3-experiment.js",
|
|
56
|
+
"sha256": "sha256:159fc546bda79de7f50dfeeccee73854600d0a4d51ca2f875d45866f29b1a0f9"
|
|
57
|
+
},
|
|
58
|
+
{
|
|
59
|
+
"path": "src/measures/m3.js",
|
|
60
|
+
"sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
|
|
61
|
+
},
|
|
62
|
+
{
|
|
63
|
+
"path": "src/measures/model.js",
|
|
64
|
+
"sha256": "sha256:70b5d5d4e3c835e03fefa2adf632669eec248a2a2adabf9b054be4fd018cb85a"
|
|
65
|
+
},
|
|
66
|
+
{
|
|
67
|
+
"path": "src/measures/rational.js",
|
|
68
|
+
"sha256": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
|
|
69
|
+
},
|
|
70
|
+
{
|
|
71
|
+
"path": "src/measures/spectrum.js",
|
|
72
|
+
"sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
|
|
73
|
+
},
|
|
74
|
+
{
|
|
75
|
+
"path": "src/measures/unanimity-fit.js",
|
|
76
|
+
"sha256": "sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76"
|
|
77
|
+
},
|
|
78
|
+
{
|
|
79
|
+
"path": "test/support/measures-reader.js",
|
|
80
|
+
"sha256": "sha256:7bb9d417a3990d1758a2fcdb6264f842a2469953753bce49ce796c29622cacec"
|
|
81
|
+
},
|
|
82
|
+
{
|
|
83
|
+
"path": "test/support/unanimity-experiment.js",
|
|
84
|
+
"sha256": "sha256:e9df8eb11850b6bcb049f170f8dac35cb3edc1fe1679e3731646095f0ed3d921"
|
|
85
|
+
}
|
|
86
|
+
]
|
|
@@ -0,0 +1,82 @@
|
|
|
1
|
+
[
|
|
2
|
+
{
|
|
3
|
+
"path": "src/debit/ideal.js",
|
|
4
|
+
"sha256": "sha256:4c55b1eaad5301c264611e322aee48734c2dd95a7f54493ca1211caf6a4988fd"
|
|
5
|
+
},
|
|
6
|
+
{
|
|
7
|
+
"path": "src/debit/unit-span.js",
|
|
8
|
+
"sha256": "sha256:f882bf1b9c084707e8490e47324fa68ad48f662cb6ee94be5075e48ecb2eb514"
|
|
9
|
+
},
|
|
10
|
+
{
|
|
11
|
+
"path": "src/debit/unit.js",
|
|
12
|
+
"sha256": "sha256:a26c30d5456d99667ab44ff56663fff0ced252de60b860acefb820c32a0f5f78"
|
|
13
|
+
},
|
|
14
|
+
{
|
|
15
|
+
"path": "src/lattice/errors.js",
|
|
16
|
+
"sha256": "sha256:0cc476498db21b2aab91e90cc0172bb34373cbe2876a21a21efdc8ba088112b0"
|
|
17
|
+
},
|
|
18
|
+
{
|
|
19
|
+
"path": "src/lattice/order.js",
|
|
20
|
+
"sha256": "sha256:4752a5da2995163d26712bb96acc9c14d5d65f76366e941ec29c25dd8fdd6741"
|
|
21
|
+
},
|
|
22
|
+
{
|
|
23
|
+
"path": "src/measures/capacity.js",
|
|
24
|
+
"sha256": "sha256:d9a178aa08c3ecd4d2630cd99560d1461d1f1e557fb96b01fc21052db5f20881"
|
|
25
|
+
},
|
|
26
|
+
{
|
|
27
|
+
"path": "src/measures/coincidence.js",
|
|
28
|
+
"sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
|
|
29
|
+
},
|
|
30
|
+
{
|
|
31
|
+
"path": "src/measures/error-events.js",
|
|
32
|
+
"sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
|
|
33
|
+
},
|
|
34
|
+
{
|
|
35
|
+
"path": "src/measures/experiments.js",
|
|
36
|
+
"sha256": "sha256:1b93636b8f8c98332c4a64d5895dd0ec27952062b18eb1c580f58c03f54ccb21"
|
|
37
|
+
},
|
|
38
|
+
{
|
|
39
|
+
"path": "src/measures/fitting.js",
|
|
40
|
+
"sha256": "sha256:62235cb2bc72fae9cfa5113fbce6fc8101c3389e68c538ee4b11e01c31d183cc"
|
|
41
|
+
},
|
|
42
|
+
{
|
|
43
|
+
"path": "src/measures/identification.js",
|
|
44
|
+
"sha256": "sha256:ba2a5424e4b54c46d82410d506a47483cf5ad6cc272379fec0a5894b730cbe0d"
|
|
45
|
+
},
|
|
46
|
+
{
|
|
47
|
+
"path": "src/measures/index.js",
|
|
48
|
+
"sha256": "sha256:2ad8dfb4eb2da8fdbbfd002656e5fc13f1756247080e40ebcb9aa1183fb32d24"
|
|
49
|
+
},
|
|
50
|
+
{
|
|
51
|
+
"path": "src/measures/m3-experiment.js",
|
|
52
|
+
"sha256": "sha256:159fc546bda79de7f50dfeeccee73854600d0a4d51ca2f875d45866f29b1a0f9"
|
|
53
|
+
},
|
|
54
|
+
{
|
|
55
|
+
"path": "src/measures/m3.js",
|
|
56
|
+
"sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
|
|
57
|
+
},
|
|
58
|
+
{
|
|
59
|
+
"path": "src/measures/model.js",
|
|
60
|
+
"sha256": "sha256:70b5d5d4e3c835e03fefa2adf632669eec248a2a2adabf9b054be4fd018cb85a"
|
|
61
|
+
},
|
|
62
|
+
{
|
|
63
|
+
"path": "src/measures/rational.js",
|
|
64
|
+
"sha256": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
|
|
65
|
+
},
|
|
66
|
+
{
|
|
67
|
+
"path": "src/measures/spectrum.js",
|
|
68
|
+
"sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
|
|
69
|
+
},
|
|
70
|
+
{
|
|
71
|
+
"path": "src/measures/unanimity-fit.js",
|
|
72
|
+
"sha256": "sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76"
|
|
73
|
+
},
|
|
74
|
+
{
|
|
75
|
+
"path": "test/support/measures-reader.js",
|
|
76
|
+
"sha256": "sha256:59c9c25b8d9501bf0b0941e8f410a10e102681cbe856382586c017cd8f0e2010"
|
|
77
|
+
},
|
|
78
|
+
{
|
|
79
|
+
"path": "test/support/unanimity-experiment.js",
|
|
80
|
+
"sha256": "sha256:e9df8eb11850b6bcb049f170f8dac35cb3edc1fe1679e3731646095f0ed3d921"
|
|
81
|
+
}
|
|
82
|
+
]
|
|
@@ -3,10 +3,10 @@
|
|
|
3
3
|
"places": [
|
|
4
4
|
{
|
|
5
5
|
"name": "orchard",
|
|
6
|
-
"code": "sha256:
|
|
6
|
+
"code": "sha256:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
|
|
7
7
|
"tests": {
|
|
8
8
|
"status": 0,
|
|
9
|
-
"stdout": "
|
|
9
|
+
"stdout": "\u2714 finite exact joint probabilities reproduce the four captured information vectors (151.624459ms)\n\u2714 p=0 is k-invariant; limit statements never overwrite finite or uninformative channels (0.831958ms)\n\u2714 the binary all-wrong channel carries a full bit; plurality is not an information bound (0.165ms)\n\u2714 finite decision accuracy, decision information and posterior information stay separate (9.463667ms)\n\u2714 work budgets refuse before exponential evaluation and logs are explicitly declared (0.327792ms)\n\u2714 equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit (1.731625ms)\n\u2714 uniform independent wrong values exactly match the declared reference (6.408916ms)\n\u2714 independent events with nonuniform labels exceed the uniform reference without proving a cause (0.864208ms)\n\u2714 redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged (0.619458ms)\n\u2714 absence, zero reference and insufficient budget are distinct, never inferred independence (0.322459ms)\n\u2714 estimated marginals condition on truth rather than pooling distinct populations (0.25575ms)\n\u2714 042 installed covering cause preserves declared symmetric channel boundaries (7.677333ms)\n\u2714 042 installed covering cause refuses missing accuracy and invalid probabilities (0.277542ms)\n\u2714 042 installed union bound retains justification and refuses unnamed premises (1.092916ms)\n\u2714 042 installed tolerant count keeps heterogeneous subset bounds and paired failure counterexample (0.834417ms)\n\u2714 042 installed three conditional measures preserve every frozen algebra state (7.96675ms)\n\u2714 analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (1.789125ms)\n\u2714 repeated eigenvalues have no unique top loading; their full variance subspace remains readable (1.515167ms)\n\u2714 subset variance is descriptive, not a probability of error (0.175375ms)\n\u2714 invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.526041ms)\n\u2714 spectrum and trace participation ratios agree on handed error events (0.672709ms)\n\u2714 T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.340666ms)\n\u2714 descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.312541ms)\n\u2714 independent balanced errors and perfectly shared errors have different effective ranks (1.47525ms)\n\u2714 redelivery and declaration order add neither observations nor origins (0.730791ms)\n\u2714 missing observations and no variation do not prove independence (0.112625ms)\n\u2714 population covariance is normalized by the observed event population (0.478084ms)\n\u2714 T5 reference stream reproduces model counts without claiming certification (103.775792ms)\n\u2714 interest is an explicit controlled bias within the reference model (14.584083ms)\n\u2714 declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never \u03a6 or D (3.478417ms)\n\u2714 zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.221ms)\n\u2714 the same finite-data procedure identifies a declared overlapping two-factor system (1.337042ms)\n\u2714 population identification recovers exact shared survival without identifying private versus singleton error (1.6775ms)\n\u2714 rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.175208ms)\n\u2714 general declared pair systems recover more than one factor and reject unexplained residuals (0.262417ms)\n\u2714 dissent certificate depends on actual ordered configuration, never on dissent alone (0.556166ms)\n\u2714 M/3 captured covering, partial and impossible-conditioning vectors are exact (2.809417ms)\n\u2714 singleton governance is preserved and collision partitions distinguish zero from absence (0.380041ms)\n\u2714 probe uses the exact posterior and is unmeasured only at zero extension mass (0.131333ms)\n\u2714 validation and budget refuse or remain unmeasured before accumulating a partial result (1.362583ms)\n\u2714 half-even display is independent of binary floating point and uses declared digits (0.136333ms)\n\u2714 controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (64.287542ms)\n\u2714 partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.982292ms)\n\u2714 the actual four algebraic states and their cells survive every descriptive measure unchanged (4.754416ms)\n\u2714 an exact curve retains both binary parameter branches rather than fabricating identification (1.855042ms)\n\u2714 perfect unanimity keeps the whole compatible ambiguity and no causal result (0.21525ms)\n\u2714 paired-group bootstrap retains cross-size sampling dependence and is deterministic (2.403125ms)\n\u2714 counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse (0.327375ms)\n\u2139 tests 48\n\u2139 suites 0\n\u2139 pass 48\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 348.229875\n",
|
|
10
10
|
"stderr": ""
|
|
11
11
|
},
|
|
12
12
|
"exports": {
|
|
@@ -16,16 +16,16 @@
|
|
|
16
16
|
},
|
|
17
17
|
"check": {
|
|
18
18
|
"status": 0,
|
|
19
|
-
"stdout": "PASS closed
|
|
20
|
-
"stderr": "RECEIPTS
|
|
19
|
+
"stdout": "PASS closed \u00b7 1 places \u00b7 741 ms\n",
|
|
20
|
+
"stderr": "RECEIPTS 13 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 741 ms\nCOST act 1 s\n"
|
|
21
21
|
}
|
|
22
22
|
},
|
|
23
23
|
{
|
|
24
24
|
"name": "catalog",
|
|
25
|
-
"code": "sha256:
|
|
25
|
+
"code": "sha256:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
|
|
26
26
|
"tests": {
|
|
27
27
|
"status": 0,
|
|
28
|
-
"stdout": "
|
|
28
|
+
"stdout": "\u2714 finite exact joint probabilities reproduce the four captured information vectors (125.380708ms)\n\u2714 p=0 is k-invariant; limit statements never overwrite finite or uninformative channels (0.839667ms)\n\u2714 the binary all-wrong channel carries a full bit; plurality is not an information bound (0.168834ms)\n\u2714 finite decision accuracy, decision information and posterior information stay separate (6.465958ms)\n\u2714 work budgets refuse before exponential evaluation and logs are explicitly declared (0.332292ms)\n\u2714 equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit (1.745875ms)\n\u2714 uniform independent wrong values exactly match the declared reference (12.067ms)\n\u2714 independent events with nonuniform labels exceed the uniform reference without proving a cause (0.982083ms)\n\u2714 redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged (0.772042ms)\n\u2714 absence, zero reference and insufficient budget are distinct, never inferred independence (0.300875ms)\n\u2714 estimated marginals condition on truth rather than pooling distinct populations (0.321292ms)\n\u2714 042 installed covering cause preserves declared symmetric channel boundaries (1.383ms)\n\u2714 042 installed covering cause refuses missing accuracy and invalid probabilities (0.206875ms)\n\u2714 042 installed union bound retains justification and refuses unnamed premises (0.750208ms)\n\u2714 042 installed tolerant count keeps heterogeneous subset bounds and paired failure counterexample (0.300792ms)\n\u2714 042 installed three conditional measures preserve every frozen algebra state (0.336958ms)\n\u2714 analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (0.852958ms)\n\u2714 repeated eigenvalues have no unique top loading; their full variance subspace remains readable (7.810292ms)\n\u2714 subset variance is descriptive, not a probability of error (0.105625ms)\n\u2714 invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.28125ms)\n\u2714 spectrum and trace participation ratios agree on handed error events (0.320667ms)\n\u2714 T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.170084ms)\n\u2714 descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.158125ms)\n\u2714 independent balanced errors and perfectly shared errors have different effective ranks (1.451917ms)\n\u2714 redelivery and declaration order add neither observations nor origins (0.2225ms)\n\u2714 missing observations and no variation do not prove independence (0.0735ms)\n\u2714 population covariance is normalized by the observed event population (0.082625ms)\n\u2714 T5 reference stream reproduces model counts without claiming certification (82.277459ms)\n\u2714 interest is an explicit controlled bias within the reference model (10.119042ms)\n\u2714 declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never \u03a6 or D (2.4735ms)\n\u2714 zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.227709ms)\n\u2714 the same finite-data procedure identifies a declared overlapping two-factor system (3.545042ms)\n\u2714 population identification recovers exact shared survival without identifying private versus singleton error (1.660584ms)\n\u2714 rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.172125ms)\n\u2714 general declared pair systems recover more than one factor and reject unexplained residuals (2.479708ms)\n\u2714 dissent certificate depends on actual ordered configuration, never on dissent alone (0.60925ms)\n\u2714 M/3 captured covering, partial and impossible-conditioning vectors are exact (2.146125ms)\n\u2714 singleton governance is preserved and collision partitions distinguish zero from absence (0.380084ms)\n\u2714 probe uses the exact posterior and is unmeasured only at zero extension mass (0.128459ms)\n\u2714 validation and budget refuse or remain unmeasured before accumulating a partial result (0.480125ms)\n\u2714 half-even display is independent of binary floating point and uses declared digits (0.071583ms)\n\u2714 controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (47.147625ms)\n\u2714 partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.354083ms)\n\u2714 the actual four algebraic states and their cells survive every descriptive measure unchanged (4.505917ms)\n\u2714 an exact curve retains both binary parameter branches rather than fabricating identification (1.923667ms)\n\u2714 perfect unanimity keeps the whole compatible ambiguity and no causal result (0.186041ms)\n\u2714 paired-group bootstrap retains cross-size sampling dependence and is deterministic (1.529292ms)\n\u2714 counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse (0.26275ms)\n\u2139 tests 48\n\u2139 suites 0\n\u2139 pass 48\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 315.037167\n",
|
|
29
29
|
"stderr": ""
|
|
30
30
|
},
|
|
31
31
|
"exports": {
|
|
@@ -35,8 +35,8 @@
|
|
|
35
35
|
},
|
|
36
36
|
"check": {
|
|
37
37
|
"status": 0,
|
|
38
|
-
"stdout": "PASS closed
|
|
39
|
-
"stderr": "RECEIPTS
|
|
38
|
+
"stdout": "PASS closed \u00b7 1 places \u00b7 743 ms\n",
|
|
39
|
+
"stderr": "RECEIPTS 13 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 743 ms\nCOST act 1 s\n"
|
|
40
40
|
}
|
|
41
41
|
}
|
|
42
42
|
]
|