@lapxo/obligations 0.4.1 → 0.4.3

package/vectors/measures/confidence.cli.json

@@ -0,0 +1,97 @@
+{
+  "instrument": "@lapxo/bound@0.1.8",
+  "implementation": "sha256:8a6086d042bbf67cf6161cd97022aa8eaf43d41ac2a46fbd4680a83f394fa7cf",
+  "inventory": "vectors/measures/implementation-042.json",
+  "captures": [
+    {
+      "place": "orchard",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "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",
+          "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",
+          "runtimeMs": 430
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "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",
+          "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",
+          "runtimeMs": 255
+        }
+      ]
+    },
+    {
+      "place": "orchard",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "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",
+          "runtimeMs": 348
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "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",
+          "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",
+          "runtimeMs": 434
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "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",
+          "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",
+          "runtimeMs": 259
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "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",
+          "runtimeMs": 346
+        }
+      ]
+    }
+  ]
+}

package/vectors/measures/implementation-042.json

@@ -0,0 +1,86 @@
+[
+  {
+    "path": "src/debit/ideal.js",
+    "sha256": "sha256:4c55b1eaad5301c264611e322aee48734c2dd95a7f54493ca1211caf6a4988fd"
+  },
+  {
+    "path": "src/debit/unit-span.js",
+    "sha256": "sha256:f882bf1b9c084707e8490e47324fa68ad48f662cb6ee94be5075e48ecb2eb514"
+  },
+  {
+    "path": "src/debit/unit.js",
+    "sha256": "sha256:a26c30d5456d99667ab44ff56663fff0ced252de60b860acefb820c32a0f5f78"
+  },
+  {
+    "path": "src/lattice/errors.js",
+    "sha256": "sha256:0cc476498db21b2aab91e90cc0172bb34373cbe2876a21a21efdc8ba088112b0"
+  },
+  {
+    "path": "src/lattice/order.js",
+    "sha256": "sha256:4752a5da2995163d26712bb96acc9c14d5d65f76366e941ec29c25dd8fdd6741"
+  },
+  {
+    "path": "src/measures/capacity.js",
+    "sha256": "sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4"
+  },
+  {
+    "path": "src/measures/coincidence.js",
+    "sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
+  },
+  {
+    "path": "src/measures/confidence.js",
+    "sha256": "sha256:28e7f2c69c392abf08788db2a4a24a215c4f8d135d68359b99a477b2aee2a752"
+  },
+  {
+    "path": "src/measures/error-events.js",
+    "sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
+  },
+  {
+    "path": "src/measures/experiments.js",
+    "sha256": "sha256:1b93636b8f8c98332c4a64d5895dd0ec27952062b18eb1c580f58c03f54ccb21"
+  },
+  {
+    "path": "src/measures/fitting.js",
+    "sha256": "sha256:62235cb2bc72fae9cfa5113fbce6fc8101c3389e68c538ee4b11e01c31d183cc"
+  },
+  {
+    "path": "src/measures/identification.js",
+    "sha256": "sha256:ba2a5424e4b54c46d82410d506a47483cf5ad6cc272379fec0a5894b730cbe0d"
+  },
+  {
+    "path": "src/measures/index.js",
+    "sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
+  },
+  {
+    "path": "src/measures/m3-experiment.js",
+    "sha256": "sha256:159fc546bda79de7f50dfeeccee73854600d0a4d51ca2f875d45866f29b1a0f9"
+  },
+  {
+    "path": "src/measures/m3.js",
+    "sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
+  },
+  {
+    "path": "src/measures/model.js",
+    "sha256": "sha256:70b5d5d4e3c835e03fefa2adf632669eec248a2a2adabf9b054be4fd018cb85a"
+  },
+  {
+    "path": "src/measures/rational.js",
+    "sha256": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
+  },
+  {
+    "path": "src/measures/spectrum.js",
+    "sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
+  },
+  {
+    "path": "src/measures/unanimity-fit.js",
+    "sha256": "sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76"
+  },
+  {
+    "path": "test/support/measures-reader.js",
+    "sha256": "sha256:7bb9d417a3990d1758a2fcdb6264f842a2469953753bce49ce796c29622cacec"
+  },
+  {
+    "path": "test/support/unanimity-experiment.js",
+    "sha256": "sha256:e9df8eb11850b6bcb049f170f8dac35cb3edc1fe1679e3731646095f0ed3d921"
+  }
+]

package/vectors/measures/installed-artifact.cli.json

@@ -3,60 +3,44 @@
   "places": [
     {
       "name": "orchard",
-      "code": "sha256:df91b63109afbe37c359ee07b497ebc2ded0af71a2fb10982376a095ff685dbc",
+      "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8",
+      "code": "sha256:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401",
       "tests": {
         "status": 0,
-        "stdout": "✔ finite exact joint probabilities reproduce the four captured information vectors (96.6705ms)\n✔ p=0 is k-invariant; limit statements never overwrite finite or uninformative channels (0.883709ms)\n✔ the binary all-wrong channel carries a full bit; plurality is not an information bound (0.208375ms)\n✔ finite decision accuracy, decision information and posterior information stay separate (4.620875ms)\n✔ work budgets refuse before exponential evaluation and logs are explicitly declared (0.302375ms)\n✔ equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit (1.764292ms)\n✔ uniform independent wrong values exactly match the declared reference (13.227917ms)\n✔ independent events with nonuniform labels exceed the uniform reference without proving a cause (1.055666ms)\n✔ redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged (1.659959ms)\n✔ absence, zero reference and insufficient budget are distinct, never inferred independence (1.561ms)\n✔ estimated marginals condition on truth rather than pooling distinct populations (0.845334ms)\n✔ analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (0.849167ms)\n✔ repeated eigenvalues have no unique top loading; their full variance subspace remains readable (0.715459ms)\n✔ subset variance is descriptive, not a probability of error (0.081375ms)\n✔ invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.25675ms)\n✔ spectrum and trace participation ratios agree on handed error events (0.296666ms)\n✔ T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.155667ms)\n✔ descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.151958ms)\n✔ independent balanced errors and perfectly shared errors have different effective ranks (1.457291ms)\n✔ redelivery and declaration order add neither observations nor origins (0.254083ms)\n✔ missing observations and no variation do not prove independence (0.088ms)\n✔ population covariance is normalized by the observed event population (0.10475ms)\n✔ T5 reference stream reproduces model counts without claiming certification (70.355625ms)\n✔ interest is an explicit controlled bias within the reference model (2.893208ms)\n✔ declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never Φ or D (7.534584ms)\n✔ zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.256584ms)\n✔ the same finite-data procedure identifies a declared overlapping two-factor system (3.135875ms)\n✔ population identification recovers exact shared survival without identifying private versus singleton error (1.659959ms)\n✔ rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.179375ms)\n✔ general declared pair systems recover more than one factor and reject unexplained residuals (0.271166ms)\n✔ dissent certificate depends on actual ordered configuration, never on dissent alone (0.56725ms)\n✔ M/3 captured covering, partial and impossible-conditioning vectors are exact (2.154875ms)\n✔ singleton governance is preserved and collision partitions distinguish zero from absence (1.346417ms)\n✔ probe uses the exact posterior and is unmeasured only at zero extension mass (0.160292ms)\n✔ validation and budget refuse or remain unmeasured before accumulating a partial result (0.533458ms)\n✔ half-even display is independent of binary floating point and uses declared digits (0.083709ms)\n✔ controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (31.903958ms)\n✔ partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.347167ms)\n✔ the actual four algebraic states and their cells survive every descriptive measure unchanged (4.667208ms)\n✔ an exact curve retains both binary parameter branches rather than fabricating identification (2.084042ms)\n✔ perfect unanimity keeps the whole compatible ambiguity and no causal result (0.246458ms)\n✔ paired-group bootstrap retains cross-size sampling dependence and is deterministic (1.722375ms)\n✔ counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse (0.289042ms)\nℹ tests 43\nℹ suites 0\nℹ pass 43\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 309.739\n",
+        "stdout": "✔ L7 exact oracles include sum-p>=1 without triviality and retain stronger 0.4.2 bound (1.917792ms)\n✔ L7 actual dependent witness refutes top-k+1 guarantee (0.140542ms)\n✔ L7 sorted coefficient formula bounds all triples of events on nonuniform four-atom space (50.850667ms)\n✔ L7 pairwise zero correlation cannot pay for joint-independence convolution (0.622959ms)\n✔ L7 refuses absent hypotheses, malformed marginals and count domains by name (0.249459ms)\n✔ L8 fixed numerical controls distinguish odd minimum, negative defect and zero-shift maximum (1.3195ms)\n✔ L8 exhaustively checks the handed finite domain, including degeneracies and symmetry (3.55375ms)\n✔ L8 refuses invalid domains and information interpretations by name (0.318417ms)\n✔ L9: one mix tie hides two named forks; uniform mean loss is half a bit (1.8655ms)\n✔ L9: missing prior stays unmeasured, invalid declared priors refuse by name (0.321833ms)\n✔ L9: support and prior affect loss; zero mass does not imply global injectivity (0.207292ms)\n✔ L9: constant winners may lose information and weight rescaling adds none (0.11575ms)\n✔ L9: named value tie and bottom tie remain distinct; aliases cannot inflate configuration entropy (0.150458ms)\n✔ L9: explicit logarithm policy and configuration ceiling are retained (0.065667ms)\nℹ tests 14\nℹ suites 0\nℹ pass 14\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 179.033125\n",
         "stderr": ""
       },
       "exports": {
-        "args": [
-          "--input-type=module",
-          "-e",
-          "const names=[\".\",\"./debit\",\"./encounter\",\"./field\",\"./forms\",\"./lattice\",\"./measures\",\"./packed\",\"./present\",\"./price\",\"./replay\",\"./shuffle\",\"./signatures\",\"./views/field\",\"./views/product\"];for(const n of names)await import('@lapxo/obligations'+(n==='.'?'':n.slice(1)));console.log(JSON.stringify(names));"
-        ],
         "status": 0,
         "stdout": "[\".\",\"./debit\",\"./encounter\",\"./field\",\"./forms\",\"./lattice\",\"./measures\",\"./packed\",\"./present\",\"./price\",\"./replay\",\"./shuffle\",\"./signatures\",\"./views/field\",\"./views/product\"]\n",
         "stderr": ""
       },
       "check": {
-        "args": [
-          "<workspace>/published-bound-018/node_modules/@lapxo/bound/dist/cli/verb.js",
-          "fold",
-          "--check"
-        ],
         "status": 0,
-        "stdout": "PASS     closed · 1 places · 486 ms\n",
-        "stderr": "RECEIPTS 10 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 486 ms\nCOST     act 0 s\n"
+        "stdout": "PASS     closed · 1 places · 630 ms\n",
+        "stderr": "RECEIPTS 16 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 630 ms\nCOST     act 1 s\n",
+        "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8"
       }
     },
     {
       "name": "catalog",
-      "code": "sha256:df91b63109afbe37c359ee07b497ebc2ded0af71a2fb10982376a095ff685dbc",
+      "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8",
+      "code": "sha256:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401",
       "tests": {
         "status": 0,
-        "stdout": "✔ finite exact joint probabilities reproduce the four captured information vectors (109.532875ms)\n✔ p=0 is k-invariant; limit statements never overwrite finite or uninformative channels (0.830667ms)\n✔ the binary all-wrong channel carries a full bit; plurality is not an information bound (0.176583ms)\n✔ finite decision accuracy, decision information and posterior information stay separate (4.429917ms)\n✔ work budgets refuse before exponential evaluation and logs are explicitly declared (0.310958ms)\n✔ equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit (5.633292ms)\n✔ uniform independent wrong values exactly match the declared reference (10.223625ms)\n✔ independent events with nonuniform labels exceed the uniform reference without proving a cause (0.487167ms)\n✔ redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged (0.37775ms)\n✔ absence, zero reference and insufficient budget are distinct, never inferred independence (0.135709ms)\n✔ estimated marginals condition on truth rather than pooling distinct populations (0.3585ms)\n✔ analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (0.947959ms)\n✔ repeated eigenvalues have no unique top loading; their full variance subspace remains readable (0.732625ms)\n✔ subset variance is descriptive, not a probability of error (0.080833ms)\n✔ invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.248417ms)\n✔ spectrum and trace participation ratios agree on handed error events (0.298334ms)\n✔ T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.158417ms)\n✔ descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.147875ms)\n✔ independent balanced errors and perfectly shared errors have different effective ranks (1.59575ms)\n✔ redelivery and declaration order add neither observations nor origins (0.232375ms)\n✔ missing observations and no variation do not prove independence (0.076667ms)\n✔ population covariance is normalized by the observed event population (0.085208ms)\n✔ T5 reference stream reproduces model counts without claiming certification (79.045625ms)\n✔ interest is an explicit controlled bias within the reference model (3.6475ms)\n✔ declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never Φ or D (2.914958ms)\n✔ zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.248958ms)\n✔ the same finite-data procedure identifies a declared overlapping two-factor system (1.402041ms)\n✔ population identification recovers exact shared survival without identifying private versus singleton error (3.57625ms)\n✔ rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.306666ms)\n✔ general declared pair systems recover more than one factor and reject unexplained residuals (0.924167ms)\n✔ dissent certificate depends on actual ordered configuration, never on dissent alone (2.257042ms)\n✔ M/3 captured covering, partial and impossible-conditioning vectors are exact (4.595084ms)\n✔ singleton governance is preserved and collision partitions distinguish zero from absence (0.467416ms)\n✔ probe uses the exact posterior and is unmeasured only at zero extension mass (0.1495ms)\n✔ validation and budget refuse or remain unmeasured before accumulating a partial result (0.48875ms)\n✔ half-even display is independent of binary floating point and uses declared digits (0.069083ms)\n✔ controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (47.648291ms)\n✔ partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.353708ms)\n✔ the actual four algebraic states and their cells survive every descriptive measure unchanged (4.794625ms)\n✔ an exact curve retains both binary parameter branches rather than fabricating identification (1.703291ms)\n✔ perfect unanimity keeps the whole compatible ambiguity and no causal result (0.170791ms)\n✔ paired-group bootstrap retains cross-size sampling dependence and is deterministic (1.440083ms)\n✔ counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse (0.250667ms)\nℹ tests 43\nℹ suites 0\nℹ pass 43\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 293.636209\n",
+        "stdout": "✔ L7 exact oracles include sum-p>=1 without triviality and retain stronger 0.4.2 bound (1.975291ms)\n✔ L7 actual dependent witness refutes top-k+1 guarantee (0.154ms)\n✔ L7 sorted coefficient formula bounds all triples of events on nonuniform four-atom space (55.736125ms)\n✔ L7 pairwise zero correlation cannot pay for joint-independence convolution (0.670666ms)\n✔ L7 refuses absent hypotheses, malformed marginals and count domains by name (0.276833ms)\n✔ L8 fixed numerical controls distinguish odd minimum, negative defect and zero-shift maximum (1.439708ms)\n✔ L8 exhaustively checks the handed finite domain, including degeneracies and symmetry (3.24325ms)\n✔ L8 refuses invalid domains and information interpretations by name (0.339875ms)\n✔ L9: one mix tie hides two named forks; uniform mean loss is half a bit (2.196416ms)\n✔ L9: missing prior stays unmeasured, invalid declared priors refuse by name (0.46075ms)\n✔ L9: support and prior affect loss; zero mass does not imply global injectivity (0.24325ms)\n✔ L9: constant winners may lose information and weight rescaling adds none (0.133958ms)\n✔ L9: named value tie and bottom tie remain distinct; aliases cannot inflate configuration entropy (0.169666ms)\n✔ L9: explicit logarithm policy and configuration ceiling are retained (0.076917ms)\nℹ tests 14\nℹ suites 0\nℹ pass 14\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 182.334708\n",
         "stderr": ""
       },
       "exports": {
-        "args": [
-          "--input-type=module",
-          "-e",
-          "const names=[\".\",\"./debit\",\"./encounter\",\"./field\",\"./forms\",\"./lattice\",\"./measures\",\"./packed\",\"./present\",\"./price\",\"./replay\",\"./shuffle\",\"./signatures\",\"./views/field\",\"./views/product\"];for(const n of names)await import('@lapxo/obligations'+(n==='.'?'':n.slice(1)));console.log(JSON.stringify(names));"
-        ],
         "status": 0,
         "stdout": "[\".\",\"./debit\",\"./encounter\",\"./field\",\"./forms\",\"./lattice\",\"./measures\",\"./packed\",\"./present\",\"./price\",\"./replay\",\"./shuffle\",\"./signatures\",\"./views/field\",\"./views/product\"]\n",
         "stderr": ""
       },
       "check": {
-        "args": [
-          "<workspace>/published-bound-018/node_modules/@lapxo/bound/dist/cli/verb.js",
-          "fold",
-          "--check"
-        ],
         "status": 0,
-        "stdout": "PASS     closed · 1 places · 553 ms\n",
-        "stderr": "RECEIPTS 10 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 553 ms\nCOST     act 1 s\n"
+        "stdout": "PASS     closed · 1 places · 642 ms\n",
+        "stderr": "RECEIPTS 16 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 642 ms\nCOST     act 1 s\n",
+        "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8"
       }
     }
   ]

package/vectors/measures/t12/expected.json

@@ -0,0 +1,35 @@
+{
+  "evidence": "fixed arithmetic oracle",
+  "values": [
+    {
+      "n": 4,
+      "c": "0",
+      "q": "1/2",
+      "bits": 2
+    },
+    {
+      "n": 4,
+      "c": "1",
+      "q": "0",
+      "bits": 0.4150374992788439
+    },
+    {
+      "n": 4,
+      "c": "1",
+      "q": "1/2",
+      "bits": 0.20751874963942196
+    },
+    {
+      "n": 4,
+      "c": "1",
+      "q": "1/4",
+      "bits": 0
+    },
+    {
+      "n": 4,
+      "c": "1/5",
+      "q": "1/2",
+      "bits": 1.6415037499278844
+    }
+  ]
+}

package/vectors/measures/tolerant-count.cli.json

@@ -0,0 +1,97 @@
+{
+  "instrument": "@lapxo/bound@0.1.8",
+  "implementation": "sha256:8a6086d042bbf67cf6161cd97022aa8eaf43d41ac2a46fbd4680a83f394fa7cf",
+  "inventory": "vectors/measures/implementation-042.json",
+  "captures": [
+    {
+      "place": "orchard",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=14237f14da2bc334\nbound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"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",
+          "stderr": "READER   test/support/measures-reader.js · 1 run · 176 ms\nOBSERVE  1 run · 0 read by key · 180 ms\nOWN      imports 18 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 6 ms · own 28 ms · regions 10 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT     fold de3cda0d folded 0.3 s · 0.3 s folded\nKEPT     fold de3cda0d miss · no fold was kept before this one\n",
+          "runtimeMs": 439
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=14237f14da2bc334\nbound-lock/1 at=place:sha256:14237f14da2bc334b78bb9f58edd489daa543c6923ab79d95e01c5aaebb0dc88 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"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",
+          "stderr": "OBSERVE  0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN      imports 18 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 4 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 6 ms · own 27 ms · regions 10 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 0 ms\nBEAT     fold de3cda0d folded 0.1 s · 0.3 s folded\nKEPT     fold de3cda0d miss · no fold was kept before this one\n",
+          "runtimeMs": 259
+        }
+      ]
+    },
+    {
+      "place": "orchard",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence allowed failure count must be an integer in 0..m\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·confidence allowed failure count must be an integer in 0..m\n",
+          "runtimeMs": 338
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=930d183c6901065c\nbound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"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",
+          "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 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 1 ms · applied 1 ms · laid 3 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 5 ms · own 29 ms · regions 12 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT     fold 16e59ae8 folded 0.3 s · 0.3 s folded\nKEPT     fold 16e59ae8 miss · no fold was kept before this one\n",
+          "runtimeMs": 433
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=930d183c6901065c\nbound-lock/1 at=place:sha256:930d183c6901065c279d8945539291d6905d1af93cb49c1f7a24a8964912d23c by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/tolerant-count/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"each-failure-probability-justified\\\"],\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"9\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"},{\\\"id\\\":\\\"3\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:3\\\"},{\\\"id\\\":\\\"4\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"10\\\"},\\\"justification\\\":\\\"hypothesis:4\\\"}],\\\"failureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"4\\\",\\\"denominator\\\":\\\"5\\\"},\\\"trivial\\\":false,\\\"meaning\\\":\\\"lower bound for at most k declared failures; references are not verified\\\",\\\"allowedFailures\\\":2,\\\"totalDeclarations\\\":5,\\\"exclusionOrder\\\":[\\\"0\\\",\\\"1\\\",\\\"2\\\",\\\"3\\\",\\\"4\\\"],\\\"candidates\\\":[{\\\"excludedCount\\\":0,\\\"threshold\\\":3,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"13\\\",\\\"denominator\\\":\\\"30\\\"}},{\\\"excludedCount\\\":1,\\\"threshold\\\":2,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"2\\\",\\\"denominator\\\":\\\"5\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},{\\\"excludedCount\\\":2,\\\"threshold\\\":1,\\\"remainingFailureSum\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"10\\\"}}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"}},\\\"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",
+          "stderr": "OBSERVE  0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN      imports 20 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 6 ms · own 29 ms · regions 11 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT     fold 16e59ae8 folded 0.1 s · 0.3 s folded\nKEPT     fold 16e59ae8 miss · no fold was kept before this one\n",
+          "runtimeMs": 261
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence allowed failure count must be an integer in 0..m\nOBSERVE  0 run · 0 read by key · 177 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·confidence allowed failure count must be an integer in 0..m\n",
+          "runtimeMs": 344
+        }
+      ]
+    }
+  ]
+}