@lapxo/obligations 0.3.4 → 0.4.0

package/vectors/measures/descent.cli.json

@@ -0,0 +1,148 @@
+{
+  "instrument": "@lapxo/bound@0.1.6",
+  "reader": "sha256:d212d85a14143228f69ab6b47e49169fdafbd44592e9063455e845e1bf419230",
+  "captures": [
+    {
+      "place": "orchard",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "land",
+            "--key",
+            "device",
+            "--key-file",
+            "<fixture-key>"
+          ],
+          "status": 0,
+          "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",
+          "stderr": "",
+          "runtimeMs": 242
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=0d7fd2bd29fab21d\nbound-lock/1 at=place:sha256:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/descent/orchard value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
+          "stderr": "READER   reader.mjs · 1 run · 169 ms\nOBSERVE  1 run · 0 read by key · 173 ms\nOWN      imports 48 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 2 ms · zoomed 0 ms · applied 2 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 8 ms · own 61 ms · regions 3 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT     fold 47318f21 folded 0.4 s\nKEPT     fold 47318f21 miss · no fold was kept before this one\n",
+          "runtimeMs": 523
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=0d7fd2bd29fab21d\nbound-lock/1 at=place:sha256:0d7fd2bd29fab21d9030bed4a9bd8cf625137e380cdcf128aaecd80ef2ef3c8d by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/descent/orchard value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
+          "stderr": "OBSERVE  0 run · 1 read by key · 1 readers kept whole · 2 ms\nOWN      imports 20 ms · bodies 0 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 2 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 5 ms · own 27 ms · regions 2 ms · ceilings 1 ms · paid 1 ms · docs 0 ms · ceilings 0 ms\nBEAT     fold 47318f21 folded 0.1 s · 0.4 s folded\nKEPT     fold 47318f21 miss · no fold was kept before this one\n",
+          "runtimeMs": 244
+        }
+      ]
+    },
+    {
+      "place": "orchard",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "land",
+            "--key",
+            "device",
+            "--key-file",
+            "<fixture-key>"
+          ],
+          "status": 0,
+          "stdout": "FACT     landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET   29 claims · 0 superseded · 132 ms\nFACT     vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
+          "stderr": "",
+          "runtimeMs": 249
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/descent-orchard-no/reader.mjs · Error: REFUSE·measure cyclic descent at base\nOBSERVE  0 run · 0 read by key · 179 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/descent-orchard-no/reader.mjs · Error: REFUSE·measure cyclic descent at base\n",
+          "runtimeMs": 338
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "land",
+            "--key",
+            "device",
+            "--key-file",
+            "<fixture-key>"
+          ],
+          "status": 0,
+          "stdout": "FACT     landed 29 unique lines from 29 in TARGET · 0 of 29 signed lines fail admission by declared authority\nTARGET   29 claims · 0 superseded · 128 ms\nFACT     vouched · 0 sources under 0 locations · 0 needs refused as globs\n",
+          "stderr": "",
+          "runtimeMs": 247
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=e5fcea63bd2851f9\nbound-lock/1 at=place:sha256:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/descent/catalog value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\n",
+          "stderr": "READER   reader.mjs · 1 run · 169 ms\nOBSERVE  1 run · 0 read by key · 173 ms\nOWN      imports 24 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 1 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 0 ms · zoomed 1 ms · applied 1 ms · laid 2 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 5 ms · own 33 ms · regions 2 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT     fold 4f003001 folded 0.3 s\nKEPT     fold 4f003001 miss · no fold was kept before this one\n",
+          "runtimeMs": 479
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:11685772d6d8 form=alphabet measure=observed role=writes scope=inputs/sample.json value=e5fcea63bd2851f9\nbound-lock/1 at=place:sha256:e5fcea63bd2851f9a7dc6ee25c371630ab721fb9fff15030276e9fa3c5b4338c by=reader:11685772d6d8 form=alphabet measure=result role=writes scope=measurement/descent/catalog value=\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"value\\\":2},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:82d3010064cef600a72e2b316ba5564b23750b0a0701f5b3861017ee653c16d6\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 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 2 ms · resets 1 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 4 ms · own 26 ms · regions 1 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT     fold 4f003001 folded 0.1 s · 0.3 s folded\nKEPT     fold 4f003001 miss · no fold was kept before this one\n",
+          "runtimeMs": 244
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "land",
+            "--key",
+            "device",
+            "--key-file",
+            "<fixture-key>"
+          ],
+          "status": 0,
+          "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",
+          "stderr": "",
+          "runtimeMs": 246
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "stderr": "REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/descent-catalog-no/reader.mjs · Error: REFUSE·measure cyclic descent at base\nOBSERVE  0 run · 0 read by key · 178 ms\nbound: REFUSE·reader reader.mjs · REFUSE·reader <workspace>/native-v3/descent-catalog-no/reader.mjs · Error: REFUSE·measure cyclic descent at base\n",
+          "runtimeMs": 348
+        }
+      ]
+    }
+  ]
+}

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

@@ -0,0 +1,43 @@
+{
+  "format": "installed-acceptance/1",
+  "places": [
+    {
+      "name": "orchard",
+      "code": "sha256:36e9236efa5873e1620b9f33011cc6bf488f8cecf4a06e80f8d7f2dfd80f5d30",
+      "tests": {
+        "status": 0,
+        "stdout": "✔ analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (0.919166ms)\n✔ repeated eigenvalues have no unique top loading; their full variance subspace remains readable (0.751375ms)\n✔ subset variance is descriptive, not a probability of error (0.08075ms)\n✔ invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.256042ms)\n✔ spectrum and trace participation ratios agree on handed error events (0.257375ms)\n✔ T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.158125ms)\n✔ descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.150375ms)\n✔ independent balanced errors and perfectly shared errors have different effective ranks (2.304417ms)\n✔ redelivery and declaration order add neither observations nor origins (0.546333ms)\n✔ missing observations and no variation do not prove independence (0.176875ms)\n✔ population covariance is normalized by the observed event population (0.201625ms)\n✔ T5 reference stream reproduces model counts without claiming certification (62.868958ms)\n✔ interest is an explicit controlled bias within the reference model (3.411ms)\n✔ declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never Φ or D (2.414083ms)\n✔ zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.209458ms)\n✔ the same finite-data procedure identifies a declared overlapping two-factor system (1.182125ms)\n✔ population identification recovers exact shared survival without identifying private versus singleton error (2.99175ms)\n✔ rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.229333ms)\n✔ general declared pair systems recover more than one factor and reject unexplained residuals (0.279042ms)\n✔ dissent certificate depends on actual ordered configuration, never on dissent alone (0.568542ms)\n✔ M/3 captured covering, partial and impossible-conditioning vectors are exact (2.187291ms)\n✔ singleton governance is preserved and collision partitions distinguish zero from absence (0.36375ms)\n✔ probe uses the exact posterior and is unmeasured only at zero extension mass (0.130375ms)\n✔ validation and budget refuse or remain unmeasured before accumulating a partial result (0.485792ms)\n✔ half-even display is independent of binary floating point and uses declared digits (0.072708ms)\n✔ controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (33.313625ms)\n✔ partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.400417ms)\n✔ the actual four algebraic states and their cells survive every descriptive measure unchanged (3.234542ms)\nℹ tests 28\nℹ suites 0\nℹ pass 28\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 208.564083\n",
+        "stderr": ""
+      },
+      "exports": {
+        "status": 0,
+        "stdout": "[\".\",\"./debit\",\"./encounter\",\"./field\",\"./forms\",\"./lattice\",\"./measures\",\"./packed\",\"./present\",\"./price\",\"./replay\",\"./shuffle\",\"./signatures\",\"./views/field\",\"./views/product\"]\n",
+        "stderr": ""
+      },
+      "check": {
+        "status": 0,
+        "stdout": "PASS     closed · 1 places · 414 ms\n",
+        "stderr": "RECEIPTS 5 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 414 ms\nCOST     act 0 s\n"
+      }
+    },
+    {
+      "name": "catalog",
+      "code": "sha256:36e9236efa5873e1620b9f33011cc6bf488f8cecf4a06e80f8d7f2dfd80f5d30",
+      "tests": {
+        "status": 0,
+        "stdout": "✔ analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (2.397209ms)\n✔ repeated eigenvalues have no unique top loading; their full variance subspace remains readable (0.7965ms)\n✔ subset variance is descriptive, not a probability of error (0.085333ms)\n✔ invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.261792ms)\n✔ spectrum and trace participation ratios agree on handed error events (0.261625ms)\n✔ T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.164875ms)\n✔ descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.15375ms)\n✔ independent balanced errors and perfectly shared errors have different effective ranks (1.367958ms)\n✔ redelivery and declaration order add neither observations nor origins (0.217958ms)\n✔ missing observations and no variation do not prove independence (0.067041ms)\n✔ population covariance is normalized by the observed event population (0.080209ms)\n✔ T5 reference stream reproduces model counts without claiming certification (56.86425ms)\n✔ interest is an explicit controlled bias within the reference model (3.248083ms)\n✔ declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never Φ or D (4.0365ms)\n✔ zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.266584ms)\n✔ the same finite-data procedure identifies a declared overlapping two-factor system (1.103458ms)\n✔ population identification recovers exact shared survival without identifying private versus singleton error (1.788291ms)\n✔ rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.203958ms)\n✔ general declared pair systems recover more than one factor and reject unexplained residuals (0.363625ms)\n✔ dissent certificate depends on actual ordered configuration, never on dissent alone (1.202334ms)\n✔ M/3 captured covering, partial and impossible-conditioning vectors are exact (2.075791ms)\n✔ singleton governance is preserved and collision partitions distinguish zero from absence (0.364792ms)\n✔ probe uses the exact posterior and is unmeasured only at zero extension mass (0.131042ms)\n✔ validation and budget refuse or remain unmeasured before accumulating a partial result (0.48925ms)\n✔ half-even display is independent of binary floating point and uses declared digits (0.072208ms)\n✔ controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (33.400333ms)\n✔ partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.361917ms)\n✔ the actual four algebraic states and their cells survive every descriptive measure unchanged (3.179083ms)\nℹ tests 28\nℹ suites 0\nℹ pass 28\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 205.148542\n",
+        "stderr": ""
+      },
+      "exports": {
+        "status": 0,
+        "stdout": "[\".\",\"./debit\",\"./encounter\",\"./field\",\"./forms\",\"./lattice\",\"./measures\",\"./packed\",\"./present\",\"./price\",\"./replay\",\"./shuffle\",\"./signatures\",\"./views/field\",\"./views/product\"]\n",
+        "stderr": ""
+      },
+      "check": {
+        "status": 0,
+        "stdout": "PASS     closed · 1 places · 415 ms\n",
+        "stderr": "RECEIPTS 5 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 415 ms\nCOST     act 0 s\n"
+      }
+    }
+  ]
+}