@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.
Files changed (61) hide show
  1. package/README.md +32 -2
  2. package/TARGET.bound +151 -30
  3. package/dist/lattice/obligatory.js +29 -1
  4. package/dist/measures/capacity.d.ts +324 -0
  5. package/dist/measures/capacity.js +184 -0
  6. package/dist/measures/coincidence.d.ts +111 -0
  7. package/dist/measures/coincidence.js +81 -0
  8. package/dist/measures/confidence.d.ts +73 -0
  9. package/dist/measures/confidence.js +52 -0
  10. package/dist/measures/error-events.js +23 -4
  11. package/dist/measures/fitting.d.ts +1 -1
  12. package/dist/measures/index.d.ts +8 -0
  13. package/dist/measures/index.js +4 -0
  14. package/dist/measures/unanimity-fit.d.ts +156 -0
  15. package/dist/measures/unanimity-fit.js +133 -0
  16. package/docs/img/cell.svg +28 -0
  17. package/docs/img/logo-fork.svg +6 -0
  18. package/docs/img/logo.svg +6 -0
  19. package/docs/img/price.svg +28 -0
  20. package/docs/img/thermometer.svg +28 -0
  21. package/docs/img/withdrawal.svg +28 -0
  22. package/docs/learn/in-phase.md +46 -0
  23. package/docs/learn/price.md +52 -0
  24. package/docs/learn/signature.md +50 -0
  25. package/docs/learn/thermometer.md +58 -0
  26. package/docs/learn/withdrawal.md +51 -0
  27. package/docs/measures.md +64 -0
  28. package/docs/paper.md +233 -0
  29. package/docs/reference.md +495 -0
  30. package/package.json +1 -1
  31. package/receipts.bound +138 -70
  32. package/samples/measures/capacity.json +71 -0
  33. package/samples/measures/coincidence.json +624 -0
  34. package/samples/measures/common-cause-capacity.json +48 -0
  35. package/samples/measures/confidence/union-bound.json +54 -0
  36. package/samples/measures/confidence.json +70 -0
  37. package/samples/measures/decisions.json +66 -0
  38. package/samples/measures/t12/common-cause.json +32 -0
  39. package/samples/measures/tolerant-count.json +144 -0
  40. package/samples/measures/unanimity-fit.json +166 -0
  41. package/samples/no/installed-artifact.json +19 -3
  42. package/samples/yes/installed-artifact.json +42 -6
  43. package/vectors/measures/capacity.cli.json +97 -0
  44. package/vectors/measures/coincidence.cli.json +97 -0
  45. package/vectors/measures/common-cause-capacity.cli.json +97 -0
  46. package/vectors/measures/confidence/expected.json +26 -0
  47. package/vectors/measures/confidence.cli.json +97 -0
  48. package/vectors/measures/decisions.cli.json +97 -0
  49. package/vectors/measures/descent.cli.json +19 -70
  50. package/vectors/measures/implementation-042.json +86 -0
  51. package/vectors/measures/implementation.json +82 -0
  52. package/vectors/measures/installed-artifact.cli.json +8 -8
  53. package/vectors/measures/m3.cli.json +19 -70
  54. package/vectors/measures/observations.cli.json +19 -70
  55. package/vectors/measures/spectrum.cli.json +18 -69
  56. package/vectors/measures/t12/expected.json +35 -0
  57. package/vectors/measures/tolerant-count.cli.json +97 -0
  58. package/vectors/measures/unanimity-fit.cli.json +97 -0
  59. package/vectors/measures/unanimity.cli.json +19 -70
  60. package/samples/measures/m3-reader.mjs +0 -732
  61. package/samples/measures/reader.mjs +0 -424
package/vectors/measures/capacity.cli.json ADDED
@@ -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:68d7ac0535e7da7e943402f04020b9e4c2a367f8064d0f5ad21621db6076c8be by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=68d7ac0535e7da7e\nbound-lock/1 at=place:sha256:68d7ac0535e7da7e943402f04020b9e4c2a367f8064d0f5ad21621db6076c8be by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/capacity/orchard value=\"{\\\"result\\\":{\\\"bound\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":1.6830074998557687,\\\"meaning\\\":\\\"upper bound for every k; achievability depends on the private channel\\\"},\\\"p0\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":0.9610794049684065,\\\"meaning\\\":\\\"mutual information at p=0 for every positive k\\\"},\\\"unanimity\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":4,\\\"n\\\":4,\\\"p\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"workUnit\\\":\\\"rational-bit-bound\\\",\\\"value\\\":{\\\"numerator\\\":\\\"601\\\",\\\"denominator\\\":\\\"2500\\\"}},\\\"information\\\":[{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":1,\\\"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.3130289784606357,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"16\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":1.0854237195576315,\\\"factorAmbiguity\\\":0.2845548018375015},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"14\\\",\\\"denominator\\\":\\\"25\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"14\\\",\\\"denominator\\\":\\\"25\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"11\\\",\\\"denominator\\\":\\\"25\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"11\\\",\\\"denominator\\\":\\\"75\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":2,\\\"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.4697129060158216,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"64\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":0.7631454100421777,\\\"factorAmbiguity\\\":0.45014918379776936},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"11\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"28\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"33\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"42\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"16\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"6\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"16\\\"}}]},{\\\"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\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":7,\\\"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\\\":1.3323217708982082,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"65536\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":0.1359209354405578,\\\"factorAmbiguity\\\":0.2147647935170028},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"823543\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"823543\\\",\\\"denominator\\\":\\\"3323546\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"2500003\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2500003\\\",\\\"denominator\\\":\\\"9970638\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"2470629\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"117649\\\",\\\"denominator\\\":\\\"117658\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"147\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"117658\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"117658\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"1058841\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"16807\\\",\\\"denominator\\\":\\\"16858\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"16858\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"16858\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"1058841\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"16807\\\",\\\"denominator\\\":\\\"16822\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"3125000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"16822\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"16822\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"50421\\\",\\\"denominator\\\":\\\"2500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"2746\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"7203\\\",\\\"denominator\\\":\\\"2500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"2746\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2746\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"151263\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"50421\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"346\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"346\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"7203\\\",\\\"denominator\\\":\\\"312500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"694\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"147\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"694\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"694\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21609\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"442\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"442\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"442\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21609\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"58\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"58\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"312500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"58\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"9261\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"22\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"22\\\"}}]}]},\\\"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 · 332 ms\nSPENT observe measures-reader.js 1+336 ms\nOBSERVE 1 run · 0 read by key · 339 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 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold f23d4335 folded 0.5 s · 0.3 s folded\nKEPT fold f23d4335 miss · no fold was kept before this one\n",
19
+ "runtimeMs": 598
20
+ },
21
+ {
22
+ "args": [
23
+ "fold",
24
+ "--as",
25
+ "receipts"
26
+ ],
27
+ "status": 0,
28
+ "stdout": "bound-lock/1 at=place:sha256:68d7ac0535e7da7e943402f04020b9e4c2a367f8064d0f5ad21621db6076c8be by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=68d7ac0535e7da7e\nbound-lock/1 at=place:sha256:68d7ac0535e7da7e943402f04020b9e4c2a367f8064d0f5ad21621db6076c8be by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/capacity/orchard value=\"{\\\"result\\\":{\\\"bound\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":1.6830074998557687,\\\"meaning\\\":\\\"upper bound for every k; achievability depends on the private channel\\\"},\\\"p0\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":0.9610794049684065,\\\"meaning\\\":\\\"mutual information at p=0 for every positive k\\\"},\\\"unanimity\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":4,\\\"n\\\":4,\\\"p\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"workUnit\\\":\\\"rational-bit-bound\\\",\\\"value\\\":{\\\"numerator\\\":\\\"601\\\",\\\"denominator\\\":\\\"2500\\\"}},\\\"information\\\":[{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":1,\\\"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.3130289784606357,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"16\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":1.0854237195576315,\\\"factorAmbiguity\\\":0.2845548018375015},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"14\\\",\\\"denominator\\\":\\\"25\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"14\\\",\\\"denominator\\\":\\\"25\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"11\\\",\\\"denominator\\\":\\\"25\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"11\\\",\\\"denominator\\\":\\\"75\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":2,\\\"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.4697129060158216,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"64\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":0.7631454100421777,\\\"factorAmbiguity\\\":0.45014918379776936},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"11\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"28\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"33\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"42\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"16\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"6\\\",\\\"denominator\\\":\\\"125\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"16\\\"}}]},{\\\"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\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":7,\\\"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\\\":1.3323217708982082,\\\"probabilitySum\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"work\\\":\\\"65536\\\",\\\"loss\\\":{\\\"exclusion\\\":0.31699250014423125,\\\"privateUncertainty\\\":0.1359209354405578,\\\"factorAmbiguity\\\":0.2147647935170028},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"823543\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"823543\\\",\\\"denominator\\\":\\\"3323546\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"2500003\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2500003\\\",\\\"denominator\\\":\\\"9970638\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"2470629\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"117649\\\",\\\"denominator\\\":\\\"117658\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"147\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"117658\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"117658\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"1058841\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"16807\\\",\\\"denominator\\\":\\\"16858\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"12500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"16858\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"16858\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"1058841\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"16807\\\",\\\"denominator\\\":\\\"16822\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"3125000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"16822\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"6250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"16822\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"50421\\\",\\\"denominator\\\":\\\"2500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"2746\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"7203\\\",\\\"denominator\\\":\\\"2500000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"2746\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2746\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"151263\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"2401\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2458\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"50421\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"346\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"346\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"7203\\\",\\\"denominator\\\":\\\"312500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"694\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"147\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"694\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"694\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21609\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"343\\\",\\\"denominator\\\":\\\"442\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"442\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"63\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"442\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"21609\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"49\\\",\\\"denominator\\\":\\\"58\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"3087\\\",\\\"denominator\\\":\\\"625000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"58\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"312500\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"58\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"9261\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"7\\\",\\\"denominator\\\":\\\"22\\\"}},{\\\"mass\\\":{\\\"numerator\\\":\\\"441\\\",\\\"denominator\\\":\\\"1250000\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"22\\\"}}]}]},\\\"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 22 ms · bodies 1 ms · removed 0 ms · readers 1 ms · alphabets 1 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 4 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 36 ms · regions 9 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 0 ms\nBEAT fold f23d4335 folded 0.1 s · 0.3 s folded\nKEPT fold f23d4335 miss · no fold was kept before this one\n",
30
+ "runtimeMs": 280
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 logarithm policy required\nOBSERVE 0 run · 0 read by key · 189 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·capacity logarithm policy required\n",
47
+ "runtimeMs": 362
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:d3bf7cc2a74c6b71f96206a197f81051de1a9f05f80dbb77600dc08ba196b3a9 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=d3bf7cc2a74c6b71\nbound-lock/1 at=place:sha256:d3bf7cc2a74c6b71f96206a197f81051de1a9f05f80dbb77600dc08ba196b3a9 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/capacity/catalog value=\"{\\\"result\\\":{\\\"bound\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":2,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":1,\\\"meaning\\\":\\\"upper bound for every k; achievability depends on the private channel\\\"},\\\"p0\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":2,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":0.2780719051126378,\\\"meaning\\\":\\\"mutual information at p=0 for every positive k\\\"},\\\"unanimity\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":1,\\\"n\\\":2,\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"workUnit\\\":\\\"rational-bit-bound\\\",\\\"value\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"information\\\":[{\\\"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\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":2,\\\"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\\\":\\\"8\\\",\\\"loss\\\":{\\\"exclusion\\\":0,\\\"privateUncertainty\\\":0,\\\"factorAmbiguity\\\":0},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":4,\\\"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\\\":\\\"32\\\",\\\"loss\\\":{\\\"exclusion\\\":0,\\\"privateUncertainty\\\":0,\\\"factorAmbiguity\\\":0},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}]}]},\\\"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 · 172 ms\nOBSERVE 1 run · 0 read by key · 177 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 1 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 1 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 57df95ca folded 0.3 s · 0.3 s folded\nKEPT fold 57df95ca miss · no fold was kept before this one\n",
64
+ "runtimeMs": 428
65
+ },
66
+ {
67
+ "args": [
68
+ "fold",
69
+ "--as",
70
+ "receipts"
71
+ ],
72
+ "status": 0,
73
+ "stdout": "bound-lock/1 at=place:sha256:d3bf7cc2a74c6b71f96206a197f81051de1a9f05f80dbb77600dc08ba196b3a9 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=d3bf7cc2a74c6b71\nbound-lock/1 at=place:sha256:d3bf7cc2a74c6b71f96206a197f81051de1a9f05f80dbb77600dc08ba196b3a9 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/capacity/catalog value=\"{\\\"result\\\":{\\\"bound\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":2,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":1,\\\"meaning\\\":\\\"upper bound for every k; achievability depends on the private channel\\\"},\\\"p0\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"n\\\":2,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"value\\\":0.2780719051126378,\\\"meaning\\\":\\\"mutual information at p=0 for every positive k\\\"},\\\"unanimity\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":1,\\\"n\\\":2,\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100000\\\"},\\\"workUnit\\\":\\\"rational-bit-bound\\\",\\\"value\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"information\\\":[{\\\"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\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":2,\\\"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\\\":\\\"8\\\",\\\"loss\\\":{\\\"exclusion\\\":0,\\\"privateUncertainty\\\":0,\\\"factorAmbiguity\\\":0},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}]},{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"parameters\\\":{\\\"k\\\":4,\\\"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\\\":\\\"32\\\",\\\"loss\\\":{\\\"exclusion\\\":0,\\\"privateUncertainty\\\":0,\\\"factorAmbiguity\\\":0},\\\"exactConditionalEntropy\\\":[{\\\"mass\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"posterior\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}]}]},\\\"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 1 ms · removed 0 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 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 26 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 57df95ca folded 0.1 s · 0.3 s folded\nKEPT fold 57df95ca miss · no fold was kept before this one\n",
75
+ "runtimeMs": 248
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 logarithm policy required\nOBSERVE 0 run · 0 read by key · 176 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·capacity logarithm policy required\n",
92
+ "runtimeMs": 340
93
+ }
94
+ ]
95
+ }
96
+ ]
97
+ }
package/vectors/measures/coincidence.cli.json ADDED
@@ -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:933514d8d9f800502215a511d2f6ad198542d8884440f68446fe2161b1e2b923 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=933514d8d9f80050\nbound-lock/1 at=place:sha256:933514d8d9f800502215a511d2f6ad198542d8884440f68446fe2161b1e2b923 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/coincidence/orchard value=\"{\\\"result\\\":{\\\"reference\\\":{\\\"model\\\":\\\"independent-uniform-wrong@1\\\",\\\"values\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\",\\\"5\\\",\\\"6\\\",\\\"7\\\",\\\"8\\\",\\\"9\\\",\\\"10\\\",\\\"11\\\",\\\"12\\\",\\\"13\\\",\\\"14\\\",\\\"15\\\",\\\"16\\\",\\\"17\\\",\\\"18\\\",\\\"19\\\",\\\"20\\\",\\\"21\\\",\\\"22\\\",\\\"23\\\",\\\"24\\\",\\\"25\\\",\\\"26\\\",\\\"27\\\",\\\"28\\\",\\\"29\\\",\\\"30\\\",\\\"31\\\",\\\"32\\\",\\\"33\\\",\\\"34\\\",\\\"35\\\",\\\"36\\\",\\\"37\\\",\\\"38\\\",\\\"39\\\",\\\"40\\\",\\\"41\\\",\\\"42\\\",\\\"43\\\",\\\"44\\\",\\\"45\\\",\\\"46\\\",\\\"47\\\",\\\"48\\\",\\\"49\\\",\\\"50\\\",\\\"51\\\",\\\"52\\\",\\\"53\\\",\\\"54\\\",\\\"55\\\",\\\"56\\\",\\\"57\\\",\\\"58\\\",\\\"59\\\",\\\"60\\\",\\\"61\\\",\\\"62\\\",\\\"63\\\"],\\\"marginals\\\":\\\"handed\\\",\\\"errors\\\":[{\\\"origin\\\":\\\"a\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"b\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"c\\\",\\\"probability\\\":\\\"1/2\\\"}]},\\\"policy\\\":{\\\"minEvents\\\":1,\\\"minEventsPerTruth\\\":1,\\\"budget\\\":\\\"10000\\\"},\\\"selection\\\":[\\\"a\\\",\\\"b\\\",\\\"c\\\"],\\\"order\\\":3,\\\"interpretation\\\":\\\"coincidence relative to the declared reference; not causal identification\\\",\\\"status\\\":\\\"measured\\\",\\\"events\\\":4,\\\"falseCoincidences\\\":0,\\\"observed\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"expected\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"31752\\\"},\\\"delta\\\":{\\\"numerator\\\":\\\"-1\\\",\\\"denominator\\\":\\\"31752\\\"},\\\"ratio\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"strata\\\":[{\\\"truth\\\":\\\"0\\\",\\\"events\\\":4,\\\"marginals\\\":[{\\\"origin\\\":\\\"a\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"b\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"c\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"reference\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"31752\\\"}}],\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"descriptive population only; no sampling design handed\\\"}},\\\"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 · 220 ms\nOBSERVE 1 run · 0 read by key · 224 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 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 29 ms · regions 9 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 5f77a04d folded 0.4 s · 0.3 s folded\nKEPT fold 5f77a04d miss · no fold was kept before this one\n",
19
+ "runtimeMs": 493
20
+ },
21
+ {
22
+ "args": [
23
+ "fold",
24
+ "--as",
25
+ "receipts"
26
+ ],
27
+ "status": 0,
28
+ "stdout": "bound-lock/1 at=place:sha256:933514d8d9f800502215a511d2f6ad198542d8884440f68446fe2161b1e2b923 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=933514d8d9f80050\nbound-lock/1 at=place:sha256:933514d8d9f800502215a511d2f6ad198542d8884440f68446fe2161b1e2b923 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/coincidence/orchard value=\"{\\\"result\\\":{\\\"reference\\\":{\\\"model\\\":\\\"independent-uniform-wrong@1\\\",\\\"values\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\",\\\"5\\\",\\\"6\\\",\\\"7\\\",\\\"8\\\",\\\"9\\\",\\\"10\\\",\\\"11\\\",\\\"12\\\",\\\"13\\\",\\\"14\\\",\\\"15\\\",\\\"16\\\",\\\"17\\\",\\\"18\\\",\\\"19\\\",\\\"20\\\",\\\"21\\\",\\\"22\\\",\\\"23\\\",\\\"24\\\",\\\"25\\\",\\\"26\\\",\\\"27\\\",\\\"28\\\",\\\"29\\\",\\\"30\\\",\\\"31\\\",\\\"32\\\",\\\"33\\\",\\\"34\\\",\\\"35\\\",\\\"36\\\",\\\"37\\\",\\\"38\\\",\\\"39\\\",\\\"40\\\",\\\"41\\\",\\\"42\\\",\\\"43\\\",\\\"44\\\",\\\"45\\\",\\\"46\\\",\\\"47\\\",\\\"48\\\",\\\"49\\\",\\\"50\\\",\\\"51\\\",\\\"52\\\",\\\"53\\\",\\\"54\\\",\\\"55\\\",\\\"56\\\",\\\"57\\\",\\\"58\\\",\\\"59\\\",\\\"60\\\",\\\"61\\\",\\\"62\\\",\\\"63\\\"],\\\"marginals\\\":\\\"handed\\\",\\\"errors\\\":[{\\\"origin\\\":\\\"a\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"b\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"c\\\",\\\"probability\\\":\\\"1/2\\\"}]},\\\"policy\\\":{\\\"minEvents\\\":1,\\\"minEventsPerTruth\\\":1,\\\"budget\\\":\\\"10000\\\"},\\\"selection\\\":[\\\"a\\\",\\\"b\\\",\\\"c\\\"],\\\"order\\\":3,\\\"interpretation\\\":\\\"coincidence relative to the declared reference; not causal identification\\\",\\\"status\\\":\\\"measured\\\",\\\"events\\\":4,\\\"falseCoincidences\\\":0,\\\"observed\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"expected\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"31752\\\"},\\\"delta\\\":{\\\"numerator\\\":\\\"-1\\\",\\\"denominator\\\":\\\"31752\\\"},\\\"ratio\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"strata\\\":[{\\\"truth\\\":\\\"0\\\",\\\"events\\\":4,\\\"marginals\\\":[{\\\"origin\\\":\\\"a\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"b\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"c\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"reference\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"31752\\\"}}],\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"descriptive population only; no sampling design handed\\\"}},\\\"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 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 1 ms · applied 0 ms · laid 3 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 28 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 5f77a04d folded 0.1 s · 0.3 s folded\nKEPT fold 5f77a04d miss · no fold was kept before this one\n",
30
+ "runtimeMs": 262
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·coincidence conflicting value 0/a\nOBSERVE 0 run · 0 read by key · 183 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·coincidence conflicting value 0/a\n",
47
+ "runtimeMs": 351
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:e12aac61884ed2855727a740d91da53b023825c706f51ae6b97a2bf5fda392fa by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=e12aac61884ed285\nbound-lock/1 at=place:sha256:e12aac61884ed2855727a740d91da53b023825c706f51ae6b97a2bf5fda392fa by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/coincidence/catalog value=\"{\\\"result\\\":{\\\"reference\\\":{\\\"model\\\":\\\"independent-uniform-wrong@1\\\",\\\"values\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\"],\\\"marginals\\\":\\\"handed\\\",\\\"errors\\\":[{\\\"origin\\\":\\\"a\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"b\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"c\\\",\\\"probability\\\":\\\"1/2\\\"}]},\\\"policy\\\":{\\\"minEvents\\\":1,\\\"minEventsPerTruth\\\":1,\\\"budget\\\":\\\"10000\\\"},\\\"selection\\\":[\\\"a\\\",\\\"b\\\",\\\"c\\\"],\\\"order\\\":3,\\\"interpretation\\\":\\\"coincidence relative to the declared reference; not causal identification\\\",\\\"status\\\":\\\"measured\\\",\\\"events\\\":4,\\\"falseCoincidences\\\":0,\\\"observed\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"expected\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"72\\\"},\\\"delta\\\":{\\\"numerator\\\":\\\"-1\\\",\\\"denominator\\\":\\\"72\\\"},\\\"ratio\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"strata\\\":[{\\\"truth\\\":\\\"0\\\",\\\"events\\\":4,\\\"marginals\\\":[{\\\"origin\\\":\\\"a\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"b\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"c\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"reference\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"72\\\"}}],\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"descriptive population only; no sampling design handed\\\"}},\\\"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 · 172 ms\nOBSERVE 1 run · 0 read by key · 175 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 5 ms · own 26 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 6a154160 folded 0.3 s · 0.3 s folded\nKEPT fold 6a154160 miss · no fold was kept before this one\n",
64
+ "runtimeMs": 431
65
+ },
66
+ {
67
+ "args": [
68
+ "fold",
69
+ "--as",
70
+ "receipts"
71
+ ],
72
+ "status": 0,
73
+ "stdout": "bound-lock/1 at=place:sha256:e12aac61884ed2855727a740d91da53b023825c706f51ae6b97a2bf5fda392fa by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=e12aac61884ed285\nbound-lock/1 at=place:sha256:e12aac61884ed2855727a740d91da53b023825c706f51ae6b97a2bf5fda392fa by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/coincidence/catalog value=\"{\\\"result\\\":{\\\"reference\\\":{\\\"model\\\":\\\"independent-uniform-wrong@1\\\",\\\"values\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\"],\\\"marginals\\\":\\\"handed\\\",\\\"errors\\\":[{\\\"origin\\\":\\\"a\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"b\\\",\\\"probability\\\":\\\"1/2\\\"},{\\\"origin\\\":\\\"c\\\",\\\"probability\\\":\\\"1/2\\\"}]},\\\"policy\\\":{\\\"minEvents\\\":1,\\\"minEventsPerTruth\\\":1,\\\"budget\\\":\\\"10000\\\"},\\\"selection\\\":[\\\"a\\\",\\\"b\\\",\\\"c\\\"],\\\"order\\\":3,\\\"interpretation\\\":\\\"coincidence relative to the declared reference; not causal identification\\\",\\\"status\\\":\\\"measured\\\",\\\"events\\\":4,\\\"falseCoincidences\\\":0,\\\"observed\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"expected\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"72\\\"},\\\"delta\\\":{\\\"numerator\\\":\\\"-1\\\",\\\"denominator\\\":\\\"72\\\"},\\\"ratio\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}},\\\"strata\\\":[{\\\"truth\\\":\\\"0\\\",\\\"events\\\":4,\\\"marginals\\\":[{\\\"origin\\\":\\\"a\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"b\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"origin\\\":\\\"c\\\",\\\"error\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"reference\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"72\\\"}}],\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"descriptive population only; no sampling design handed\\\"}},\\\"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 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 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 6a154160 folded 0.1 s · 0.3 s folded\nKEPT fold 6a154160 miss · no fold was kept before this one\n",
75
+ "runtimeMs": 254
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·coincidence conflicting value 0/a\nOBSERVE 0 run · 0 read by key · 174 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·coincidence conflicting value 0/a\n",
92
+ "runtimeMs": 335
93
+ }
94
+ ]
95
+ }
96
+ ]
97
+ }
package/vectors/measures/common-cause-capacity.cli.json ADDED
@@ -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
+ }
package/vectors/measures/confidence/expected.json ADDED
@@ -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
+ }
package/vectors/measures/confidence.cli.json ADDED
@@ -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
+ }