@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
@@ -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:b3c63641210c8de016889d702c578ecc42ae91af7dd50ba5a76c74fe07bc85fc by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=b3c63641210c8de0\nbound-lock/1 at=place:sha256:b3c63641210c8de016889d702c578ecc42ae91af7dd50ba5a76c74fe07bc85fc by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity-fit/orchard value=\"{\\\"result\\\":{\\\"procedure\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"n\\\":64,\\\"c\\\":\\\"1/20\\\",\\\"p\\\":\\\"1/5\\\",\\\"lineage\\\":\\\"orchard\\\",\\\"sizes\\\":[2,4,8,16,32],\\\"prng\\\":\\\"xorshift32\\\",\\\"seed\\\":1729,\\\"trials\\\":2000,\\\"randomWords\\\":200000},\\\"words\\\":75003,\\\"counts\\\":[{\\\"k\\\":2,\\\"unanimous\\\":1290,\\\"trials\\\":2000},{\\\"k\\\":4,\\\"unanimous\\\":866,\\\"trials\\\":2000},{\\\"k\\\":8,\\\"unanimous\\\":426,\\\"trials\\\":2000},{\\\"k\\\":16,\\\"unanimous\\\":170,\\\"trials\\\":2000},{\\\"k\\\":32,\\\"unanimous\\\":105,\\\"trials\\\":2000}],\\\"fit\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"lineage\\\":\\\"orchard\\\",\\\"cardinality\\\":64,\\\"policy\\\":{\\\"procedure\\\":\\\"exact-c-slices-on-declared-p-grid@1\\\",\\\"p\\\":[\\\"0\\\",\\\"1/5\\\",\\\"3/10\\\",\\\"1/2\\\",\\\"1\\\"],\\\"tolerance\\\":\\\"3/100\\\",\\\"budget\\\":\\\"1000000\\\",\\\"bootstrap\\\":{\\\"B\\\":0,\\\"seed\\\":1,\\\"prng\\\":\\\"xorshift32\\\",\\\"randomWords\\\":0}},\\\"meaning\\\":\\\"compatible with (c,p) under the declared model, on the declared p slices only\\\",\\\"workUnit\\\":\\\"rational-bit-and-group-bound\\\",\\\"status\\\":\\\"measured\\\",\\\"compatible\\\":[{\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"c\\\":{\\\"lo\\\":{\\\"numerator\\\":\\\"32040778605528414136096015823699199541\\\",\\\"denominator\\\":\\\"1159627899214332703338869797092009746416\\\"},\\\"hi\\\":{\\\"numerator\\\":\\\"1832231046357135517891122688535018769718623987121061734816339181269968880326887\\\",\\\"denominator\\\":\\\"22406443843736653739393993086940909161309336846348052284575347171630228890092512\\\"}},\\\"residuals\\\":[{\\\"k\\\":2,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"1072279715842810609203549141249402481173906043615593912946155962640210422978388978093500035505938541007221452382449187\\\",\\\"denominator\\\":\\\"1623946087711015860396412714478108358652540288679492473178184937325416380621939815896790812598498815134844572743777312\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"129\\\",\\\"denominator\\\":\\\"200\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-620862231730134481196573510275564746075438935433031693655666951632921436930944921001749034497670131131167574067820519\\\",\\\"denominator\\\":\\\"40598652192775396509910317861952708966313507216987311829454623433135409515548495397419770314962470378371114318594432800\\\"}},{\\\"k\\\":4,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"717614779737420623850142881747323763646700087505152107246165554579288653380072958244993645054537986761823730234011687\\\",\\\"denominator\\\":\\\"1623946087711015860396412714478108358652540288679492473178184937325416380621939815896790812598498815134844572743777312\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"433\\\",\\\"denominator\\\":\\\"1000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-1805765469818844537312022047287855543768767813366483295001434589672920071346627245210402899923499976054503779494513863\\\",\\\"denominator\\\":\\\"202993260963876982549551589309763544831567536084936559147273117165677047577742476987098851574812351891855571592972164000\\\"}},{\\\"k\\\":8,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"346381462145100096586493168217681797149986967143764269909697384045699784060144476502180434686415895917965268773886687\\\",\\\"denominator\\\":\\\"1623946087711015860396412714478108358652540288679492473178184937325416380621939815896790812598498815134844572743777312\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"213\\\",\\\"denominator\\\":\\\"1000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-60118182831714790257157504230589594624485706879046640342999049423261873458911964520498950366956036780421847432764943\\\",\\\"denominator\\\":\\\"202993260963876982549551589309763544831567536084936559147273117165677047577742476987098851574812351891855571592972164000\\\"}},{\\\"k\\\":16,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"45546225807011244074501931392138050049208691241975310249629607240226518243954377\\\",\\\"denominator\\\":\\\"560161096093416343484849827173522729032733421158701307114383679290755722252312800\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"17\\\",\\\"denominator\\\":\\\"200\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"2067467360929145121710303917611381918573649556514300855093005499487718147492211\\\",\\\"denominator\\\":\\\"560161096093416343484849827173522729032733421158701307114383679290755722252312800\\\"}},{\\\"k\\\":32,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"159845227436847169346876637425543509154635394316180997840368531147347754916093\\\",\\\"denominator\\\":\\\"2882675228952218065697923705051917472030427616097800028870813356811523437500000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"400\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-8504777916855720897735642910317841873037944471046496324650829914742774447343\\\",\\\"denominator\\\":\\\"2882675228952218065697923705051917472030427616097800028870813356811523437500000\\\"}}]}],\\\"identification\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"finite slices do not certify continuous parameter identification\\\",\\\"diagnostics\\\":[]},\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"bootstrap not requested\\\",\\\"words\\\":0}}},\\\"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 · 182 ms\nOBSERVE 1 run · 0 read by key · 186 ms\nOWN imports 18 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 1 ms · ship 0 ms\nSPENT fold capsules 6 ms · own 27 ms · regions 8 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold fdb25e1b folded 0.3 s · 0.3 s folded\nKEPT fold fdb25e1b miss · no fold was kept before this one\n",
19
+ "runtimeMs": 440
20
+ },
21
+ {
22
+ "args": [
23
+ "fold",
24
+ "--as",
25
+ "receipts"
26
+ ],
27
+ "status": 0,
28
+ "stdout": "bound-lock/1 at=place:sha256:b3c63641210c8de016889d702c578ecc42ae91af7dd50ba5a76c74fe07bc85fc by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=b3c63641210c8de0\nbound-lock/1 at=place:sha256:b3c63641210c8de016889d702c578ecc42ae91af7dd50ba5a76c74fe07bc85fc by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity-fit/orchard value=\"{\\\"result\\\":{\\\"procedure\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"n\\\":64,\\\"c\\\":\\\"1/20\\\",\\\"p\\\":\\\"1/5\\\",\\\"lineage\\\":\\\"orchard\\\",\\\"sizes\\\":[2,4,8,16,32],\\\"prng\\\":\\\"xorshift32\\\",\\\"seed\\\":1729,\\\"trials\\\":2000,\\\"randomWords\\\":200000},\\\"words\\\":75003,\\\"counts\\\":[{\\\"k\\\":2,\\\"unanimous\\\":1290,\\\"trials\\\":2000},{\\\"k\\\":4,\\\"unanimous\\\":866,\\\"trials\\\":2000},{\\\"k\\\":8,\\\"unanimous\\\":426,\\\"trials\\\":2000},{\\\"k\\\":16,\\\"unanimous\\\":170,\\\"trials\\\":2000},{\\\"k\\\":32,\\\"unanimous\\\":105,\\\"trials\\\":2000}],\\\"fit\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"lineage\\\":\\\"orchard\\\",\\\"cardinality\\\":64,\\\"policy\\\":{\\\"procedure\\\":\\\"exact-c-slices-on-declared-p-grid@1\\\",\\\"p\\\":[\\\"0\\\",\\\"1/5\\\",\\\"3/10\\\",\\\"1/2\\\",\\\"1\\\"],\\\"tolerance\\\":\\\"3/100\\\",\\\"budget\\\":\\\"1000000\\\",\\\"bootstrap\\\":{\\\"B\\\":0,\\\"seed\\\":1,\\\"prng\\\":\\\"xorshift32\\\",\\\"randomWords\\\":0}},\\\"meaning\\\":\\\"compatible with (c,p) under the declared model, on the declared p slices only\\\",\\\"workUnit\\\":\\\"rational-bit-and-group-bound\\\",\\\"status\\\":\\\"measured\\\",\\\"compatible\\\":[{\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"c\\\":{\\\"lo\\\":{\\\"numerator\\\":\\\"32040778605528414136096015823699199541\\\",\\\"denominator\\\":\\\"1159627899214332703338869797092009746416\\\"},\\\"hi\\\":{\\\"numerator\\\":\\\"1832231046357135517891122688535018769718623987121061734816339181269968880326887\\\",\\\"denominator\\\":\\\"22406443843736653739393993086940909161309336846348052284575347171630228890092512\\\"}},\\\"residuals\\\":[{\\\"k\\\":2,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"1072279715842810609203549141249402481173906043615593912946155962640210422978388978093500035505938541007221452382449187\\\",\\\"denominator\\\":\\\"1623946087711015860396412714478108358652540288679492473178184937325416380621939815896790812598498815134844572743777312\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"129\\\",\\\"denominator\\\":\\\"200\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-620862231730134481196573510275564746075438935433031693655666951632921436930944921001749034497670131131167574067820519\\\",\\\"denominator\\\":\\\"40598652192775396509910317861952708966313507216987311829454623433135409515548495397419770314962470378371114318594432800\\\"}},{\\\"k\\\":4,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"717614779737420623850142881747323763646700087505152107246165554579288653380072958244993645054537986761823730234011687\\\",\\\"denominator\\\":\\\"1623946087711015860396412714478108358652540288679492473178184937325416380621939815896790812598498815134844572743777312\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"433\\\",\\\"denominator\\\":\\\"1000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-1805765469818844537312022047287855543768767813366483295001434589672920071346627245210402899923499976054503779494513863\\\",\\\"denominator\\\":\\\"202993260963876982549551589309763544831567536084936559147273117165677047577742476987098851574812351891855571592972164000\\\"}},{\\\"k\\\":8,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"346381462145100096586493168217681797149986967143764269909697384045699784060144476502180434686415895917965268773886687\\\",\\\"denominator\\\":\\\"1623946087711015860396412714478108358652540288679492473178184937325416380621939815896790812598498815134844572743777312\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"213\\\",\\\"denominator\\\":\\\"1000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-60118182831714790257157504230589594624485706879046640342999049423261873458911964520498950366956036780421847432764943\\\",\\\"denominator\\\":\\\"202993260963876982549551589309763544831567536084936559147273117165677047577742476987098851574812351891855571592972164000\\\"}},{\\\"k\\\":16,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"45546225807011244074501931392138050049208691241975310249629607240226518243954377\\\",\\\"denominator\\\":\\\"560161096093416343484849827173522729032733421158701307114383679290755722252312800\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"17\\\",\\\"denominator\\\":\\\"200\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"2067467360929145121710303917611381918573649556514300855093005499487718147492211\\\",\\\"denominator\\\":\\\"560161096093416343484849827173522729032733421158701307114383679290755722252312800\\\"}},{\\\"k\\\":32,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"159845227436847169346876637425543509154635394316180997840368531147347754916093\\\",\\\"denominator\\\":\\\"2882675228952218065697923705051917472030427616097800028870813356811523437500000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"21\\\",\\\"denominator\\\":\\\"400\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-8504777916855720897735642910317841873037944471046496324650829914742774447343\\\",\\\"denominator\\\":\\\"2882675228952218065697923705051917472030427616097800028870813356811523437500000\\\"}}]}],\\\"identification\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"finite slices do not certify continuous parameter identification\\\",\\\"diagnostics\\\":[]},\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"bootstrap not requested\\\",\\\"words\\\":0}}},\\\"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 1 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 1 ms · applied 0 ms · laid 4 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 8 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold fdb25e1b folded 0.1 s · 0.3 s folded\nKEPT fold fdb25e1b 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 /private<place>/test/support/measures-reader.js · Error: REFUSE·unanimity experiment invalid declared procedure\nOBSERVE 0 run · 0 read by key · 190 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·unanimity experiment invalid declared procedure\n",
47
+ "runtimeMs": 357
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:ad69c6f0ac540b195fc0d475f89691970dbac4345385218cd55aa9e4b380b11e by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=ad69c6f0ac540b19\nbound-lock/1 at=place:sha256:ad69c6f0ac540b195fc0d475f89691970dbac4345385218cd55aa9e4b380b11e by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity-fit/catalog value=\"{\\\"result\\\":{\\\"procedure\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"n\\\":64,\\\"c\\\":\\\"1/5\\\",\\\"p\\\":\\\"3/10\\\",\\\"lineage\\\":\\\"catalog\\\",\\\"sizes\\\":[2,4,8,16,32],\\\"prng\\\":\\\"xorshift32\\\",\\\"seed\\\":2718,\\\"trials\\\":2000,\\\"randomWords\\\":200000},\\\"words\\\":69262,\\\"counts\\\":[{\\\"k\\\":2,\\\"unanimous\\\":1188,\\\"trials\\\":2000},{\\\"k\\\":4,\\\"unanimous\\\":760,\\\"trials\\\":2000},{\\\"k\\\":8,\\\"unanimous\\\":497,\\\"trials\\\":2000},{\\\"k\\\":16,\\\"unanimous\\\":400,\\\"trials\\\":2000},{\\\"k\\\":32,\\\"unanimous\\\":394,\\\"trials\\\":2000}],\\\"fit\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"lineage\\\":\\\"catalog\\\",\\\"cardinality\\\":64,\\\"policy\\\":{\\\"procedure\\\":\\\"exact-c-slices-on-declared-p-grid@1\\\",\\\"p\\\":[\\\"0\\\",\\\"1/5\\\",\\\"3/10\\\",\\\"1/2\\\",\\\"1\\\"],\\\"tolerance\\\":\\\"3/100\\\",\\\"budget\\\":\\\"1000000\\\",\\\"bootstrap\\\":{\\\"B\\\":0,\\\"seed\\\":1,\\\"prng\\\":\\\"xorshift32\\\",\\\"randomWords\\\":0}},\\\"meaning\\\":\\\"compatible with (c,p) under the declared model, on the declared p slices only\\\",\\\"workUnit\\\":\\\"rational-bit-and-group-bound\\\",\\\"status\\\":\\\"measured\\\",\\\"compatible\\\":[{\\\"p\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"c\\\":{\\\"lo\\\":{\\\"numerator\\\":\\\"603559741637597\\\",\\\"denominator\\\":\\\"3535957022453222\\\"},\\\"hi\\\":{\\\"numerator\\\":\\\"1311203\\\",\\\"denominator\\\":\\\"5864528\\\"}},\\\"residuals\\\":[{\\\"k\\\":2,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"12269643579813911305015\\\",\\\"denominator\\\":\\\"20736718964973549109216\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"297\\\",\\\"denominator\\\":\\\"500\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"5995935672547108232413\\\",\\\"denominator\\\":\\\"2592089870621693638652000\\\"}},{\\\"k\\\":4,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"137868540147953151\\\",\\\"denominator\\\":\\\"353595702245322200\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"19\\\",\\\"denominator\\\":\\\"50\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-700434658946143\\\",\\\"denominator\\\":\\\"70719140449064440\\\"}},{\\\"k\\\":8,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"69407655394630951\\\",\\\"denominator\\\":\\\"285134817492000000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"497\\\",\\\"denominator\\\":\\\"2000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"1448346752131049\\\",\\\"denominator\\\":\\\"285134817492000000\\\"}},{\\\"k\\\":16,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"1304684447866317381761621611094362676918252998603\\\",\\\"denominator\\\":\\\"6529782870652634575437368768943167100000000000000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"1272126264209533325852142694270743081747001397\\\",\\\"denominator\\\":\\\"6529782870652634575437368768943167100000000000000\\\"}},{\\\"k\\\":32,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"2688735363569521454035858530228151859987235598994389262168008103005623533403829075191653\\\",\\\"denominator\\\":\\\"13638302276097772190519719206367589554977817803169275541086000000000000000000000000000000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"197\\\",\\\"denominator\\\":\\\"1000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-1989815178260332503473846573736717656605491770041980574066103005623533403829075191653\\\",\\\"denominator\\\":\\\"13638302276097772190519719206367589554977817803169275541086000000000000000000000000000000\\\"}}]}],\\\"identification\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"finite slices do not certify continuous parameter identification\\\",\\\"diagnostics\\\":[]},\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"bootstrap not requested\\\",\\\"words\\\":0}}},\\\"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 · 185 ms\nOBSERVE 1 run · 0 read by key · 189 ms\nOWN imports 18 ms · bodies 1 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 1 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 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 bf259d85 folded 0.3 s · 0.3 s folded\nKEPT fold bf259d85 miss · no fold was kept before this one\n",
64
+ "runtimeMs": 442
65
+ },
66
+ {
67
+ "args": [
68
+ "fold",
69
+ "--as",
70
+ "receipts"
71
+ ],
72
+ "status": 0,
73
+ "stdout": "bound-lock/1 at=place:sha256:ad69c6f0ac540b195fc0d475f89691970dbac4345385218cd55aa9e4b380b11e by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=ad69c6f0ac540b19\nbound-lock/1 at=place:sha256:ad69c6f0ac540b195fc0d475f89691970dbac4345385218cd55aa9e4b380b11e by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity-fit/catalog value=\"{\\\"result\\\":{\\\"procedure\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"n\\\":64,\\\"c\\\":\\\"1/5\\\",\\\"p\\\":\\\"3/10\\\",\\\"lineage\\\":\\\"catalog\\\",\\\"sizes\\\":[2,4,8,16,32],\\\"prng\\\":\\\"xorshift32\\\",\\\"seed\\\":2718,\\\"trials\\\":2000,\\\"randomWords\\\":200000},\\\"words\\\":69262,\\\"counts\\\":[{\\\"k\\\":2,\\\"unanimous\\\":1188,\\\"trials\\\":2000},{\\\"k\\\":4,\\\"unanimous\\\":760,\\\"trials\\\":2000},{\\\"k\\\":8,\\\"unanimous\\\":497,\\\"trials\\\":2000},{\\\"k\\\":16,\\\"unanimous\\\":400,\\\"trials\\\":2000},{\\\"k\\\":32,\\\"unanimous\\\":394,\\\"trials\\\":2000}],\\\"fit\\\":{\\\"model\\\":\\\"single-dominant-factor@1\\\",\\\"lineage\\\":\\\"catalog\\\",\\\"cardinality\\\":64,\\\"policy\\\":{\\\"procedure\\\":\\\"exact-c-slices-on-declared-p-grid@1\\\",\\\"p\\\":[\\\"0\\\",\\\"1/5\\\",\\\"3/10\\\",\\\"1/2\\\",\\\"1\\\"],\\\"tolerance\\\":\\\"3/100\\\",\\\"budget\\\":\\\"1000000\\\",\\\"bootstrap\\\":{\\\"B\\\":0,\\\"seed\\\":1,\\\"prng\\\":\\\"xorshift32\\\",\\\"randomWords\\\":0}},\\\"meaning\\\":\\\"compatible with (c,p) under the declared model, on the declared p slices only\\\",\\\"workUnit\\\":\\\"rational-bit-and-group-bound\\\",\\\"status\\\":\\\"measured\\\",\\\"compatible\\\":[{\\\"p\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"c\\\":{\\\"lo\\\":{\\\"numerator\\\":\\\"603559741637597\\\",\\\"denominator\\\":\\\"3535957022453222\\\"},\\\"hi\\\":{\\\"numerator\\\":\\\"1311203\\\",\\\"denominator\\\":\\\"5864528\\\"}},\\\"residuals\\\":[{\\\"k\\\":2,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"12269643579813911305015\\\",\\\"denominator\\\":\\\"20736718964973549109216\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"297\\\",\\\"denominator\\\":\\\"500\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"5995935672547108232413\\\",\\\"denominator\\\":\\\"2592089870621693638652000\\\"}},{\\\"k\\\":4,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"137868540147953151\\\",\\\"denominator\\\":\\\"353595702245322200\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"19\\\",\\\"denominator\\\":\\\"50\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-700434658946143\\\",\\\"denominator\\\":\\\"70719140449064440\\\"}},{\\\"k\\\":8,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"69407655394630951\\\",\\\"denominator\\\":\\\"285134817492000000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"497\\\",\\\"denominator\\\":\\\"2000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"1448346752131049\\\",\\\"denominator\\\":\\\"285134817492000000\\\"}},{\\\"k\\\":16,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"1304684447866317381761621611094362676918252998603\\\",\\\"denominator\\\":\\\"6529782870652634575437368768943167100000000000000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"1272126264209533325852142694270743081747001397\\\",\\\"denominator\\\":\\\"6529782870652634575437368768943167100000000000000\\\"}},{\\\"k\\\":32,\\\"at\\\":\\\"slice-midpoint\\\",\\\"predicted\\\":{\\\"numerator\\\":\\\"2688735363569521454035858530228151859987235598994389262168008103005623533403829075191653\\\",\\\"denominator\\\":\\\"13638302276097772190519719206367589554977817803169275541086000000000000000000000000000000\\\"},\\\"observed\\\":{\\\"numerator\\\":\\\"197\\\",\\\"denominator\\\":\\\"1000\\\"},\\\"residual\\\":{\\\"numerator\\\":\\\"-1989815178260332503473846573736717656605491770041980574066103005623533403829075191653\\\",\\\"denominator\\\":\\\"13638302276097772190519719206367589554977817803169275541086000000000000000000000000000000\\\"}}]}],\\\"identification\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"finite slices do not certify continuous parameter identification\\\",\\\"diagnostics\\\":[]},\\\"uncertainty\\\":{\\\"status\\\":\\\"unmeasured\\\",\\\"cause\\\":\\\"bootstrap not requested\\\",\\\"words\\\":0}}},\\\"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 16 ms · bodies 0 ms · removed 1 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 26 ms · regions 8 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 1 ms\nBEAT fold bf259d85 folded 0.1 s · 0.3 s folded\nKEPT fold bf259d85 miss · no fold was kept before this one\n",
75
+ "runtimeMs": 246
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·unanimity experiment invalid declared procedure\nOBSERVE 0 run · 0 read by key · 181 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·unanimity experiment invalid declared procedure\n",
92
+ "runtimeMs": 343
93
+ }
94
+ ]
95
+ }
96
+ ]
97
+ }
@@ -1,24 +1,12 @@
1
1
  {
2
- "instrument": "@lapxo/bound@0.1.6",
3
- "reader": "sha256:d212d85a14143228f69ab6b47e49169fdafbd44592e9063455e845e1bf419230",
2
+ "instrument": "@lapxo/bound@0.1.7",
3
+ "implementation": "sha256:a0b02d4bf5dc891c88529a8a833ed33c83d210fe23d2ecb7bdf1dd5bb0a6219c",
4
+ "inventory": "vectors/measures/implementation.json",
4
5
  "captures": [
5
6
  {
6
7
  "place": "orchard",
7
8
  "negative": false,
8
9
  "events": [
9
- {
10
- "args": [
11
- "land",
12
- "--key",
13
- "device",
14
- "--key-file",
15
- "<fixture-key>"
16
- ],
17
- "status": 0,
18
- "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
19
- "stderr": "",
20
- "runtimeMs": 246
21
- },
22
10
  {
23
11
  "args": [
24
12
  "fold",
@@ -26,9 +14,9 @@
26
14
  "receipts"
27
15
  ],
28
16
  "status": 0,
29
- "stdout": "bound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/orchard value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
30
- "stderr": "READER reader.mjs · 1 run · 172 ms\nOBSERVE 1 run · 0 read by key · 176 ms\nOWN imports 19 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 4 ms · own 27 ms · regions 2 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold edd628d7 folded 0.3 s\nKEPT fold edd628d7 miss · no fold was kept before this one\n",
31
- "runtimeMs": 468
17
+ "stdout": "bound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity/orchard value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
18
+ "stderr": "READER test/support/measures-reader.js · 1 run · 170 ms\nOBSERVE 1 run · 0 read by key · 173 ms\nOWN imports 17 ms · bodies 0 ms · removed 1 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 1 ms · applied 0 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 26 ms · regions 8 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 301768f2 folded 0.3 s · 0.3 s folded\nKEPT fold 301768f2 miss · no fold was kept before this one\n",
19
+ "runtimeMs": 419
32
20
  },
33
21
  {
34
22
  "args": [
@@ -37,9 +25,9 @@
37
25
  "receipts"
38
26
  ],
39
27
  "status": 0,
40
- "stdout": "bound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/orchard value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
41
- "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 2 ms\nOWN imports 18 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 26 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 0 ms\nBEAT fold edd628d7 folded 0.1 s · 0.3 s folded\nKEPT fold edd628d7 miss · no fold was kept before this one\n",
42
- "runtimeMs": 239
28
+ "stdout": "bound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=901507d77be93b9b\nbound-lock/1 at=place:sha256:901507d77be93b9b27e1c3f728ed1534ad657529824c2b0c06a0b2a658b05909 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity/orchard value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
29
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 2 ms\nOWN imports 17 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 301768f2 folded 0.1 s · 0.3 s folded\nKEPT fold 301768f2 miss · no fold was kept before this one\n",
30
+ "runtimeMs": 252
43
31
  }
44
32
  ]
45
33
  },
@@ -47,19 +35,6 @@
47
35
  "place": "orchard",
48
36
  "negative": true,
49
37
  "events": [
50
- {
51
- "args": [
52
- "land",
53
- "--key",
54
- "device",
55
- "--key-file",
56
- "<fixture-key>"
57
- ],
58
- "status": 0,
59
- "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 127 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
60
- "stderr": "",
61
- "runtimeMs": 243
62
- },
63
38
  {
64
39
  "args": [
65
40
  "fold",
@@ -68,8 +43,8 @@
68
43
  ],
69
44
  "status": 1,
70
45
  "stdout": "",
71
- "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-orchard-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\nOBSERVE 0 run · 0 read by key · 169 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-orchard-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\n",
72
- "runtimeMs": 327
46
+ "stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\nOBSERVE 0 run · 0 read by key · 180 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\n",
47
+ "runtimeMs": 342
73
48
  }
74
49
  ]
75
50
  },
@@ -77,19 +52,6 @@
77
52
  "place": "catalog",
78
53
  "negative": false,
79
54
  "events": [
80
- {
81
- "args": [
82
- "land",
83
- "--key",
84
- "device",
85
- "--key-file",
86
- "<fixture-key>"
87
- ],
88
- "status": 0,
89
- "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
90
- "stderr": "",
91
- "runtimeMs": 243
92
- },
93
55
  {
94
56
  "args": [
95
57
  "fold",
@@ -97,9 +59,9 @@
97
59
  "receipts"
98
60
  ],
99
61
  "status": 0,
100
- "stdout": "bound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/catalog value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
101
- "stderr": "READER reader.mjs · 1 run · 179 ms\nOBSERVE 1 run · 0 read by key · 183 ms\nOWN imports 18 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 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 4 ms · own 27 ms · regions 2 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 79884b50 folded 0.3 s\nKEPT fold 79884b50 miss · no fold was kept before this one\n",
102
- "runtimeMs": 486
62
+ "stdout": "bound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity/catalog value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
63
+ "stderr": "READER test/support/measures-reader.js · 1 run · 174 ms\nOBSERVE 1 run · 0 read by key · 178 ms\nOWN imports 17 ms · bodies 0 ms · removed 1 ms · readers 0 ms · alphabets 0 ms · capsules 0 ms · regions 2 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT fold 095fa5ce folded 0.3 s · 0.3 s folded\nKEPT fold 095fa5ce miss · no fold was kept before this one\n",
64
+ "runtimeMs": 426
103
65
  },
104
66
  {
105
67
  "args": [
@@ -108,9 +70,9 @@
108
70
  "receipts"
109
71
  ],
110
72
  "status": 0,
111
- "stdout": "bound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/unanimity/catalog value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
112
- "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 24 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 4 ms · own 33 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT fold 79884b50 folded 0.1 s · 0.3 s folded\nKEPT fold 79884b50 miss · no fold was kept before this one\n",
113
- "runtimeMs": 252
73
+ "stdout": "bound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd form=alphabet measure=observed role=writes scope=inputs/sample.json value=b9188f4342e7c858\nbound-lock/1 at=place:sha256:b9188f4342e7c858ca26a8cb3c8ce84b9fed4dc0f6e403efdb5d37abe54ce1b9 by=reader:41b2920eb5dd form=alphabet measure=result role=writes scope=measurement/unanimity/catalog value=\"{\\\"result\\\":{\\\"F\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623},\\\"threshold\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":3},\\\"dissent\\\":{\\\"unanimity\\\":{\\\"events\\\":1448,\\\"falseEvents\\\":22,\\\"rate\\\":0.015193370165745856},\\\"majorityWithDissent\\\":{\\\"events\\\":552,\\\"falseEvents\\\":52,\\\"rate\\\":0.09420289855072464}},\\\"interest\\\":{\\\"events\\\":1660,\\\"falseEvents\\\":46,\\\"rate\\\":0.027710843373493974},\\\"sequence\\\":[{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.10900000000000001},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.02421513750304213},{\\\"status\\\":\\\"measured\\\",\\\"value\\\":0.01499931759246623}]},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a\n",
74
+ "stderr": "OBSERVE 0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN imports 17 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT fold capsules 5 ms · own 27 ms · regions 8 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT fold 095fa5ce folded 0.1 s · 0.3 s folded\nKEPT fold 095fa5ce miss · no fold was kept before this one\n",
75
+ "runtimeMs": 249
114
76
  }
115
77
  ]
116
78
  },
@@ -118,19 +80,6 @@
118
80
  "place": "catalog",
119
81
  "negative": true,
120
82
  "events": [
121
- {
122
- "args": [
123
- "land",
124
- "--key",
125
- "device",
126
- "--key-file",
127
- "<fixture-key>"
128
- ],
129
- "status": 0,
130
- "stdout": "FACT landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET 29 claims · 0 superseded · 129 ms\nFACT vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
131
- "stderr": "",
132
- "runtimeMs": 243
133
- },
134
83
  {
135
84
  "args": [
136
85
  "fold",
@@ -139,8 +88,8 @@
139
88
  ],
140
89
  "status": 1,
141
90
  "stdout": "",
142
- "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-catalog-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\nOBSERVE 0 run · 0 read by key · 179 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/unanimity-catalog-no/reader.mjs · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\n",
143
- "runtimeMs": 339
91
+ "stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\nOBSERVE 0 run · 0 read by key · 172 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader /private<place>/test/support/measures-reader.js · Error: REFUSE·measure T1 monotonicity counterexample {\"sequence\":[{\"status\":\"measured\",\"value\":0.10900000000000001},{\"status\":\"measured\",\"value\":0.02421513750304213},{\"status\":\"measured\",\"value\":0.01499931759246623}],\"threshold\":{\"status\":\"measured\",\"value\":3}}\n",
92
+ "runtimeMs": 334
144
93
  }
145
94
  ]
146
95
  }