@lapxo/obligations 0.4.5 → 0.4.6

package/vectors/laws/projection-chain.native-capture.json

@@ -0,0 +1,311 @@
+{
+  "archiveApproval": false,
+  "candidatePublicationCorrectionCovered": false,
+  "captures": [
+    {
+      "elapsedMs": 307.3755,
+      "expected": "fact",
+      "name": "orchard-projection",
+      "passed": true,
+      "requestSHA256": "sha256:af165a2d5e4a5764e3116e1b209eb2fe38d97404b45c0a8ec56e13db8b0bacb1",
+      "result": {
+        "kind": "fact",
+        "lines": [
+          "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/projection-chain value=vectors/laws/projection-chain.native.json|contracts/projection-chain.json|proofs/projection-chain.md|vectors/laws/policy.json|vectors/laws/projection-chain.json|samples/laws/projection-chain/yes/sample.json|samples/laws/projection-chain/no/sample.json"
+        ],
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 235.60654100000005,
+      "expected": "fact",
+      "name": "orchard-read",
+      "passed": true,
+      "requestSHA256": "sha256:8fa5a772cbe667f2b45fb24ba9a0245449a20865601f69fcd6ecc4cdbb174f67",
+      "result": {
+        "claims": [
+          {
+            "bound": {
+              "hi": 0,
+              "kind": "interval",
+              "lo": 0
+            },
+            "measure": "count",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain"
+          },
+          {
+            "bound": {
+              "kind": "enumerated",
+              "values": [
+                "sha256:87f01570d75f4b49b8bd88880198c2ed8966a7219c294ee44a2f03de7e4c94f3"
+              ]
+            },
+            "measure": "digest",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain/verification"
+          }
+        ],
+        "kind": "fact",
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 148.71291699999995,
+      "expected": "refuse",
+      "name": "orchard-missing-input",
+      "passed": true,
+      "requestSHA256": "sha256:2d7a5bc8fbbeaf54ec47fd8ef22eb07067d2b4a13626194485555064bbc03945",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection missing-input samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 151.12358299999994,
+      "expected": "refuse",
+      "name": "orchard-handed-source-differs",
+      "passed": true,
+      "requestSHA256": "sha256:734a8a62ea33abc798b03fdd7a79896c6ffd0e1b13a9577d402bdafe0c82e3b9",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection fixture-source-differs samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 157.01758299999995,
+      "expected": "refuse",
+      "name": "orchard-unsupported-general-law",
+      "passed": true,
+      "requestSHA256": "sha256:d921d08e6cfa0044e82bfad47ce55e288ab76544e79e68defa4f533559761a95",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection unsupported-general-law"
+      }
+    },
+    {
+      "elapsedMs": 154.974334,
+      "expected": "refuse",
+      "name": "orchard-non-chain",
+      "passed": true,
+      "requestSHA256": "sha256:393fc624fd442040e3fbe011aedab85dd1dff39aabe22fa02e6c33616525da47",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/non-chain"
+      }
+    },
+    {
+      "elapsedMs": 151.61958400000003,
+      "expected": "refuse",
+      "name": "orchard-changed-prior",
+      "passed": true,
+      "requestSHA256": "sha256:80c0ad5d3cf5e11af22ca96b8feb62b953e75547c0ba3a2e5824f3bea02b07a4",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/changed-prior"
+      }
+    },
+    {
+      "elapsedMs": 150.62041599999998,
+      "expected": "refuse",
+      "name": "orchard-randomized-map",
+      "passed": true,
+      "requestSHA256": "sha256:c13a1747da3d1e0c4078a9f8916133311697268361e9d00429335729c9de6e8d",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/randomized-map"
+      }
+    },
+    {
+      "elapsedMs": 151.52029199999993,
+      "expected": "refuse",
+      "name": "orchard-prior-required",
+      "passed": true,
+      "requestSHA256": "sha256:ceaf5464c4fcf847f87c09024293492df90c9b5a60356819923c1da45357acb7",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/prior-required"
+      }
+    },
+    {
+      "elapsedMs": 177.98341700000014,
+      "expected": "fact",
+      "name": "catalog-projection",
+      "passed": true,
+      "requestSHA256": "sha256:af165a2d5e4a5764e3116e1b209eb2fe38d97404b45c0a8ec56e13db8b0bacb1",
+      "result": {
+        "kind": "fact",
+        "lines": [
+          "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/projection-chain value=vectors/laws/projection-chain.native.json|contracts/projection-chain.json|proofs/projection-chain.md|vectors/laws/policy.json|vectors/laws/projection-chain.json|samples/laws/projection-chain/yes/sample.json|samples/laws/projection-chain/no/sample.json"
+        ],
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 242.84375,
+      "expected": "fact",
+      "name": "catalog-read",
+      "passed": true,
+      "requestSHA256": "sha256:8fa5a772cbe667f2b45fb24ba9a0245449a20865601f69fcd6ecc4cdbb174f67",
+      "result": {
+        "claims": [
+          {
+            "bound": {
+              "hi": 0,
+              "kind": "interval",
+              "lo": 0
+            },
+            "measure": "count",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain"
+          },
+          {
+            "bound": {
+              "kind": "enumerated",
+              "values": [
+                "sha256:87f01570d75f4b49b8bd88880198c2ed8966a7219c294ee44a2f03de7e4c94f3"
+              ]
+            },
+            "measure": "digest",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain/verification"
+          }
+        ],
+        "kind": "fact",
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 259.4943330000001,
+      "expected": "refuse",
+      "name": "catalog-missing-input",
+      "passed": true,
+      "requestSHA256": "sha256:2d7a5bc8fbbeaf54ec47fd8ef22eb07067d2b4a13626194485555064bbc03945",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection missing-input samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 180.65495799999962,
+      "expected": "refuse",
+      "name": "catalog-handed-source-differs",
+      "passed": true,
+      "requestSHA256": "sha256:734a8a62ea33abc798b03fdd7a79896c6ffd0e1b13a9577d402bdafe0c82e3b9",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection fixture-source-differs samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 181.70924999999988,
+      "expected": "refuse",
+      "name": "catalog-unsupported-general-law",
+      "passed": true,
+      "requestSHA256": "sha256:d921d08e6cfa0044e82bfad47ce55e288ab76544e79e68defa4f533559761a95",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection unsupported-general-law"
+      }
+    },
+    {
+      "elapsedMs": 182.4347499999999,
+      "expected": "refuse",
+      "name": "catalog-non-chain",
+      "passed": true,
+      "requestSHA256": "sha256:393fc624fd442040e3fbe011aedab85dd1dff39aabe22fa02e6c33616525da47",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/non-chain"
+      }
+    },
+    {
+      "elapsedMs": 183.4891249999996,
+      "expected": "refuse",
+      "name": "catalog-changed-prior",
+      "passed": true,
+      "requestSHA256": "sha256:80c0ad5d3cf5e11af22ca96b8feb62b953e75547c0ba3a2e5824f3bea02b07a4",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/changed-prior"
+      }
+    },
+    {
+      "elapsedMs": 179.2228329999998,
+      "expected": "refuse",
+      "name": "catalog-randomized-map",
+      "passed": true,
+      "requestSHA256": "sha256:c13a1747da3d1e0c4078a9f8916133311697268361e9d00429335729c9de6e8d",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/randomized-map"
+      }
+    },
+    {
+      "elapsedMs": 176.76712499999985,
+      "expected": "refuse",
+      "name": "catalog-prior-required",
+      "passed": true,
+      "requestSHA256": "sha256:ceaf5464c4fcf847f87c09024293492df90c9b5a60356819923c1da45357acb7",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/prior-required"
+      }
+    }
+  ],
+  "classification": "retained actual host responses; exact historical input identities only",
+  "format": "native-reading-capture@1",
+  "ownerAdmitted": true,
+  "sameOrigin": true,
+  "sourceInputDigests": [
+    {
+      "bytes": 1969,
+      "path": "vectors/laws/projection-chain.native.json",
+      "sha256": "sha256:f9c8005c6da3593efb40c50b5449b375f4bc21c6820a0c6ef214ee1f29db1386"
+    },
+    {
+      "bytes": 1315,
+      "path": "contracts/projection-chain.json",
+      "sha256": "sha256:34add91f4dfd04d38490f85577fcbb95059a58803c8b82c4a82af2d265a421d9"
+    },
+    {
+      "bytes": 1373,
+      "path": "proofs/projection-chain.md",
+      "sha256": "sha256:7e6edc63c8dccd35ad6cc076f36cb61e4f8283cb97f3860d8355c7cab2ba4a5b"
+    },
+    {
+      "bytes": 2761,
+      "path": "vectors/laws/policy.json",
+      "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+    },
+    {
+      "bytes": 751,
+      "path": "vectors/laws/projection-chain.json",
+      "sha256": "sha256:904476a29e10dc29403d9dbc1f9c5d59d0793befccaed72cf8d57aff2d4e300a"
+    },
+    {
+      "bytes": 217,
+      "path": "samples/laws/projection-chain/yes/sample.json",
+      "sha256": "sha256:070799ba415f7a264e3755f0c136fdb58c8c0e077688ec34aaf5d0d132b251d5"
+    },
+    {
+      "bytes": 262,
+      "path": "samples/laws/projection-chain/no/sample.json",
+      "sha256": "sha256:647ec37e4ac3852211391f2bf81d1c05134860207d33d9eb8010c7ff43076965"
+    }
+  ]
+}

package/vectors/laws/projection-chain.native.json

@@ -0,0 +1,56 @@
+{
+  "id": "projection-chain-native@1",
+  "classification": "bounded-enumeration",
+  "universalLeanLaw": false,
+  "originalThreeCards": "open",
+  "scope": "publication/evidence/projection-chain",
+  "identityInputs": [
+    "vectors/laws/projection-chain.native.json",
+    "contracts/projection-chain.json",
+    "proofs/projection-chain.md",
+    "vectors/laws/policy.json",
+    "vectors/laws/projection-chain.json",
+    "samples/laws/projection-chain/yes/sample.json",
+    "samples/laws/projection-chain/no/sample.json"
+  ],
+  "anchors": [
+    {
+      "path": "contracts/projection-chain.json",
+      "sha256": "sha256:34add91f4dfd04d38490f85577fcbb95059a58803c8b82c4a82af2d265a421d9"
+    },
+    {
+      "path": "proofs/projection-chain.md",
+      "sha256": "sha256:7e6edc63c8dccd35ad6cc076f36cb61e4f8283cb97f3860d8355c7cab2ba4a5b"
+    },
+    {
+      "path": "vectors/laws/policy.json",
+      "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+    },
+    {
+      "path": "vectors/laws/projection-chain.json",
+      "sha256": "sha256:904476a29e10dc29403d9dbc1f9c5d59d0793befccaed72cf8d57aff2d4e300a"
+    },
+    {
+      "path": "samples/laws/projection-chain/yes/sample.json",
+      "sha256": "sha256:070799ba415f7a264e3755f0c136fdb58c8c0e077688ec34aaf5d0d132b251d5"
+    },
+    {
+      "path": "samples/laws/projection-chain/no/sample.json",
+      "sha256": "sha256:647ec37e4ac3852211391f2bf81d1c05134860207d33d9eb8010c7ff43076965"
+    }
+  ],
+  "instrument": {
+    "mix-loss.js": "sha256:af9c6a3dbeda91981b394b61e187f916dc0e0304801b7b654ff3e025ebce94cb",
+    "rational.js": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
+  },
+  "capturePolicy": {
+    "timeoutMs": 25000,
+    "responseBytes": 65536
+  },
+  "result": {
+    "checks": 2100,
+    "zeroSupportCases": 2040,
+    "maxResidual": 1.1102230246251565e-16,
+    "transcriptSHA256": "sha256:389843437eed32a21777c1b754abd69826a3ac9b5450ae0720fd1b76b9adf323"
+  }
+}

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

@@ -6,7 +6,7 @@
       "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "tests": {
         "status": 0,
-        "stdout": "✔ installed 0.4.5 exports have no Bound or Topos runtime dependency (4.792917ms)\n✔ installed universal algebra retains the four states and named invalid-chain rejection (0.376875ms)\n✔ installed cofailure measures retain models, unmeasured inputs and named conflict refusal (10.148875ms)\n✔ installed marginal information retains the declared joint prior, two orders and named order refusal (1.332291ms)\nℹ tests 4\nℹ suites 0\nℹ pass 4\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 91.719917\n",
+        "stdout": "\u2714 installed 0.4.6 exports have no Bound or Topos runtime dependency (8.869542ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.413833ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (17.652041ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.941791ms)\n\u2139 tests 4\n\u2139 suites 0\n\u2139 pass 4\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 86.485917\n",
         "stderr": ""
       },
       "exports": {
@@ -16,8 +16,8 @@
       },
       "check": {
         "status": 0,
-        "stdout": "PASS     closed · 1 places · 551 ms\n",
-        "stderr": "RECEIPTS 26 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 551 ms\nCOST     act 1 s\n"
+        "stdout": "PASS     closed \u00b7 1 places \u00b7 748 ms\n",
+        "stderr": "RECEIPTS 41 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 748 ms\nCOST     act 1 s\n"
       }
     },
     {
@@ -25,7 +25,7 @@
       "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "tests": {
         "status": 0,
-        "stdout": "✔ installed 0.4.5 exports have no Bound or Topos runtime dependency (8.154667ms)\n✔ installed universal algebra retains the four states and named invalid-chain rejection (0.422333ms)\n✔ installed cofailure measures retain models, unmeasured inputs and named conflict refusal (17.286417ms)\n✔ installed marginal information retains the declared joint prior, two orders and named order refusal (1.530542ms)\nℹ tests 4\nℹ suites 0\nℹ pass 4\nℹ fail 0\nℹ cancelled 0\nℹ skipped 0\nℹ todo 0\nℹ duration_ms 85.5165\n",
+        "stdout": "\u2714 installed 0.4.6 exports have no Bound or Topos runtime dependency (5.71325ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.37925ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (10.334ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.658083ms)\n\u2139 tests 4\n\u2139 suites 0\n\u2139 pass 4\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 97.375167\n",
         "stderr": ""
       },
       "exports": {
@@ -35,8 +35,8 @@
       },
       "check": {
         "status": 0,
-        "stdout": "PASS     closed · 1 places · 505 ms\n",
-        "stderr": "RECEIPTS 26 read · 0 opened · reading closures\nRECEIPTS 1 read · 0 opened · 505 ms\nCOST     act 1 s\n"
+        "stdout": "PASS     closed \u00b7 1 places \u00b7 624 ms\n",
+        "stderr": "RECEIPTS 41 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 624 ms\nCOST     act 1 s\n"
       }
     }
   ]

package/CHANGELOG.md

@@ -1,10 +0,0 @@
-# 0.4.5 — linaje
-
-Conditional M0 evidence beside the unchanged algebra and wire format.
-
-- Cumulative-floor quotas and the off-diagonal probability limit are checked in Lean under the declared binary-lineage sampling model.
-- The 720-case finite grid, the Wright–Fisher counterexample and pair-coincidence identities retain their exact domains. Triple agreement adds no independent equation.
-- The diagonal is a bounded N=1..12 kernel vector plus a cited proof in text, not a general Lean limit theorem. The computational binomial/integral bridge remains unclaimed.
-- Named open demands: conditional-lineage-identification, causal-subgroup-recovery and oracle-free-reference.
-
-All existing exports, compiled implementations and M/3–M/4 are retained from published 0.4.4.