@lapxo/obligations 0.4.2 → 0.4.3

package/vectors/laws/l9-mix-loss.json

@@ -0,0 +1,130 @@
+{
+  "id": "L9-mix-noninjectivity",
+  "classification": [
+    "law-by-counterexample:existence-of-noninjectivity",
+    "measure-with-declared-prior"
+  ],
+  "policy": "vectors/laws/policy.json",
+  "sample": "samples/measures/l9-mix-loss.json",
+  "contract": {
+    "configuration": "Assignments of each named factor to a named value in the explicitly supplied admissible finite configuration list; duplicate assignments with new IDs are refused.",
+    "mix": "Exact rational sum of nonnegative declared weights by value, positive total; unique maximum emits that value, every tie emits the same distinguished bottom.",
+    "fork": "Assignments retain all factor names and values, hence are injective on the declared configurations.",
+    "prior": "Uniform is a selected modeling choice only when kind=uniform is explicitly present. Without a prior, unmeasured; explicit prior must name every configuration and sum exactly to one.",
+    "loss": "H(configuration | mix) under that prior, equal to H(configuration)-H(mix) for a deterministic projection; no causal, M/3, M/4 or algebraic-act contract is added.",
+    "ceiling": "budget bounds declared configuration count only; input validation, rational arithmetic and elapsed act cost are not claimed bounded by that count."
+  },
+  "oracle": {
+    "counterexample": {
+      "configurations": [
+        {
+          "x": "a",
+          "y": "b"
+        },
+        {
+          "x": "b",
+          "y": "a"
+        }
+      ],
+      "sameMix": "tie",
+      "distinctNamedForks": true
+    },
+    "uniformFourConfigurations": {
+      "configurationBits": 2,
+      "mixBits": 1.5,
+      "conditionalLossBits": 0.5,
+      "tiePosteriorBits": 1,
+      "forkLossBits": 0
+    },
+    "rejectedInterpretation": "log2(4/3) is not the conditional loss for this prior",
+    "numeric": "binary64-log2 approximations; tolerance 1e-12"
+  },
+  "nativeCapture": {
+    "instrument": "@lapxo/bound@0.1.8",
+    "mode": "published-host-ABI",
+    "host": "dist/cli/host.js",
+    "hostSha256": "sha256:b0f52ce76b88ed793543897a0bef490414bfb4af2f5b876a3665dabf8583f879",
+    "reader": "test/support/measures-reader.js",
+    "implementation": "vectors/laws/implementation-043.json",
+    "implementationSha256": "sha256:361492637c3ea9eeec83fe7707fd16a0ae53b8882fe4de212bae1838721b710f",
+    "limits": {
+      "timeoutMs": 5000,
+      "responseBytes": 65536
+    },
+    "fullFold": false,
+    "admission": false,
+    "signatures": false,
+    "captures": [
+      {
+        "place": "orchard",
+        "case": "yes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expected\\\":{\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"tieConditionalBits\\\":1,\\\"forkLossBits\\\":0},\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:8490e9d9db186156ef7edd9052bfd4765b516b873d58e0de198cfdf231fb2cb9",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 126.06233299999985,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l9-mix-loss/orchard\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"declared-weighted-mix-projection@1\\\",\\\"parameters\\\":{\\\"m\\\":2,\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}]},\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}}]},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"unit\\\":\\\"bits\\\",\\\"approximation\\\":\\\"binary64-log2\\\",\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"entropyDifferenceBits\\\":0.5,\\\"forkLossBits\\\":0,\\\"mixInjectiveOnConfigurations\\\":false,\\\"mixInjectiveOnPositiveSupport\\\":false,\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"ab\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]},{\\\"id\\\":\\\"ba\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"bb\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]}],\\\"outputs\\\":[{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"aa\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0},{\\\"output\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"configurations\\\":[\\\"ab\\\",\\\"ba\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"conditionalBits\\\":1},{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"bb\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0}],\\\"meaning\\\":\\\"conditional entropy of the declared configuration given its deterministic mix output; named fork is injective\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:ecb4e88e7e6525974d1e69a52d323501155dc359bf72249621dc1eebd7c73060",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 127.334292,
+          "stdoutSha256": "sha256:ecb4e88e7e6525974d1e69a52d323501155dc359bf72249621dc1eebd7c73060",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      },
+      {
+        "place": "orchard",
+        "case": "no",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"explicit\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":\\\"1/8\\\"}]}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expectedRefusal\\\":\\\"REFUSE·mix-loss prior probabilities must sum exactly to one\\\",\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:9454f6951a913341f4c5435abaa75d675ef78c675639c9c8f2b5012cda13f595",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 124.40258300000005,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·mix-loss prior probabilities must sum exactly to one\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:22e1ffc0fc7c27e0fed1e1a62dacdd17088a6c0814e2301138c80b0758b3de34",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+      },
+      {
+        "place": "catalog",
+        "case": "yes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expected\\\":{\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"tieConditionalBits\\\":1,\\\"forkLossBits\\\":0},\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:8b75462af1be9958dd5abffeb94a37d6803024495466da8c313f207beb9e7745",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 125.88016700000003,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l9-mix-loss/catalog\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"declared-weighted-mix-projection@1\\\",\\\"parameters\\\":{\\\"m\\\":2,\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}]},\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}}]},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"unit\\\":\\\"bits\\\",\\\"approximation\\\":\\\"binary64-log2\\\",\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"entropyDifferenceBits\\\":0.5,\\\"forkLossBits\\\":0,\\\"mixInjectiveOnConfigurations\\\":false,\\\"mixInjectiveOnPositiveSupport\\\":false,\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"ab\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]},{\\\"id\\\":\\\"ba\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"bb\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]}],\\\"outputs\\\":[{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"aa\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0},{\\\"output\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"configurations\\\":[\\\"ab\\\",\\\"ba\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"conditionalBits\\\":1},{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"bb\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0}],\\\"meaning\\\":\\\"conditional entropy of the declared configuration given its deterministic mix output; named fork is injective\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:a90a0118bdde5f1fa65353304761ea57b9d67a09155e9174288f3a7501c0b916",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 129.32158299999992,
+          "stdoutSha256": "sha256:a90a0118bdde5f1fa65353304761ea57b9d67a09155e9174288f3a7501c0b916",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      },
+      {
+        "place": "catalog",
+        "case": "no",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"explicit\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":\\\"1/8\\\"}]}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expectedRefusal\\\":\\\"REFUSE·mix-loss prior probabilities must sum exactly to one\\\",\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:d4dec3671ea9f327062e3e54e2638d9b0c3231a25148d6642db62475b6710612",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 126.56683399999974,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·mix-loss prior probabilities must sum exactly to one\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:22e1ffc0fc7c27e0fed1e1a62dacdd17088a6c0814e2301138c80b0758b3de34",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+      }
+    ],
+    "isolation": "two separate working directories with identical digest-verified reader image; no ledger, key or store; one origin"
+  },
+  "admission": "not performed; no signatures or owner authority"
+}

package/vectors/laws/policy.json

@@ -0,0 +1,22 @@
+{
+  "id": "obligations-mathematical-vectors@1",
+  "scope": "Mathematical vector interpretation and test-only byte identity; no admission, signing, origin status or general fold engine.",
+  "numeric": {
+    "probabilities": "Exact rational arithmetic. Fractions use rational strings or numerator/denominator integer strings. Explicit finite dyadic constants such as 0, 0.25, 0.5 and 1 in fixed tables denote those exact rationals; do not infer measured probabilities from agreement.",
+    "integerCertificates": "Integer coefficients, counts and finite certificate identities are exact. State counts and partition witnesses retain their handed finite domains.",
+    "logarithms": {"policy":"binary64-log2","meaning":"Entropy, phase and information values computed with Math.log2 are explicit binary64 approximations, not exact real certificates.","defaultAbsoluteTolerance":1e-12,"exception":"A vector or reused historical sample may declare its own decimal precision or tolerance; the specific test must state it."}
+  },
+  "jsonIdentity": {
+    "objectKeys": "Sort object keys lexicographically recursively before JSON serialization.",
+    "arrays": "Preserve every array's order, including constraint witnesses, coefficient order, effective act order and timestamps. Never sort arrays merely to make hashes equal.",
+    "numbers": "Use the handed finite JSON numbers with standard JSON encoding; no decimal rounding, epsilon normalization or replacement of approximation by an exact claim.",
+    "hash": "SHA-256 of the resulting UTF-8 JSON bytes, demonstrated only in tests. A hash establishes byte identity under the declared projection, not theorem truth."
+  },
+  "claimCollectionProjection": {
+    "domain": "Fixed distinct static claims with explicit unique IDs, fixed values and origins, and no order-sensitive widening, withdrawal, epoch or mark interpretation.",
+    "operation": "Keep every claim field and sort this explicitly named collection by its unique ID before canonical JSON encoding. This sorting is a projection specific to that unordered collection; it does not reorder the object or its effective acts.",
+    "duplicates": "Duplicate IDs fall outside the distinct-claim domain and are refused; conflicting duplicates are never resolved by first/last arrival or a chosen value.",
+    "limit": "Equal hashes across arrival permutations apply only to this fixed unordered projection. Distinct effective mark order, including equal-time widening/signature sequence, remains visible and may have different values and hashes."
+  },
+  "research": "Claimed general hypotheses, C3 unqualified odd-period argmin and any unspecified objective stay open. Passing finite vectors alone does not establish unrestricted proofs or independent origins."
+}

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

@@ -3,10 +3,11 @@
   "places": [
     {
       "name": "orchard",
-      "code": "sha256:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
+      "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8",
+      "code": "sha256:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401",
       "tests": {
         "status": 0,
-        "stdout": "\u2714 finite exact joint probabilities reproduce the four captured information vectors (151.624459ms)\n\u2714 p=0 is k-invariant; limit statements never overwrite finite or uninformative channels (0.831958ms)\n\u2714 the binary all-wrong channel carries a full bit; plurality is not an information bound (0.165ms)\n\u2714 finite decision accuracy, decision information and posterior information stay separate (9.463667ms)\n\u2714 work budgets refuse before exponential evaluation and logs are explicitly declared (0.327792ms)\n\u2714 equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit (1.731625ms)\n\u2714 uniform independent wrong values exactly match the declared reference (6.408916ms)\n\u2714 independent events with nonuniform labels exceed the uniform reference without proving a cause (0.864208ms)\n\u2714 redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged (0.619458ms)\n\u2714 absence, zero reference and insufficient budget are distinct, never inferred independence (0.322459ms)\n\u2714 estimated marginals condition on truth rather than pooling distinct populations (0.25575ms)\n\u2714 042 installed covering cause preserves declared symmetric channel boundaries (7.677333ms)\n\u2714 042 installed covering cause refuses missing accuracy and invalid probabilities (0.277542ms)\n\u2714 042 installed union bound retains justification and refuses unnamed premises (1.092916ms)\n\u2714 042 installed tolerant count keeps heterogeneous subset bounds and paired failure counterexample (0.834417ms)\n\u2714 042 installed three conditional measures preserve every frozen algebra state (7.96675ms)\n\u2714 analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (1.789125ms)\n\u2714 repeated eigenvalues have no unique top loading; their full variance subspace remains readable (1.515167ms)\n\u2714 subset variance is descriptive, not a probability of error (0.175375ms)\n\u2714 invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.526041ms)\n\u2714 spectrum and trace participation ratios agree on handed error events (0.672709ms)\n\u2714 T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.340666ms)\n\u2714 descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.312541ms)\n\u2714 independent balanced errors and perfectly shared errors have different effective ranks (1.47525ms)\n\u2714 redelivery and declaration order add neither observations nor origins (0.730791ms)\n\u2714 missing observations and no variation do not prove independence (0.112625ms)\n\u2714 population covariance is normalized by the observed event population (0.478084ms)\n\u2714 T5 reference stream reproduces model counts without claiming certification (103.775792ms)\n\u2714 interest is an explicit controlled bias within the reference model (14.584083ms)\n\u2714 declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never \u03a6 or D (3.478417ms)\n\u2714 zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.221ms)\n\u2714 the same finite-data procedure identifies a declared overlapping two-factor system (1.337042ms)\n\u2714 population identification recovers exact shared survival without identifying private versus singleton error (1.6775ms)\n\u2714 rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.175208ms)\n\u2714 general declared pair systems recover more than one factor and reject unexplained residuals (0.262417ms)\n\u2714 dissent certificate depends on actual ordered configuration, never on dissent alone (0.556166ms)\n\u2714 M/3 captured covering, partial and impossible-conditioning vectors are exact (2.809417ms)\n\u2714 singleton governance is preserved and collision partitions distinguish zero from absence (0.380041ms)\n\u2714 probe uses the exact posterior and is unmeasured only at zero extension mass (0.131333ms)\n\u2714 validation and budget refuse or remain unmeasured before accumulating a partial result (1.362583ms)\n\u2714 half-even display is independent of binary floating point and uses declared digits (0.136333ms)\n\u2714 controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (64.287542ms)\n\u2714 partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.982292ms)\n\u2714 the actual four algebraic states and their cells survive every descriptive measure unchanged (4.754416ms)\n\u2714 an exact curve retains both binary parameter branches rather than fabricating identification (1.855042ms)\n\u2714 perfect unanimity keeps the whole compatible ambiguity and no causal result (0.21525ms)\n\u2714 paired-group bootstrap retains cross-size sampling dependence and is deterministic (2.403125ms)\n\u2714 counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse (0.327375ms)\n\u2139 tests 48\n\u2139 suites 0\n\u2139 pass 48\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 348.229875\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": {
@@ -16,16 +17,18 @@
       },
       "check": {
         "status": 0,
-        "stdout": "PASS     closed \u00b7 1 places \u00b7 741 ms\n",
-        "stderr": "RECEIPTS 13 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 741 ms\nCOST     act 1 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:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
+      "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8",
+      "code": "sha256:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401",
       "tests": {
         "status": 0,
-        "stdout": "\u2714 finite exact joint probabilities reproduce the four captured information vectors (125.380708ms)\n\u2714 p=0 is k-invariant; limit statements never overwrite finite or uninformative channels (0.839667ms)\n\u2714 the binary all-wrong channel carries a full bit; plurality is not an information bound (0.168834ms)\n\u2714 finite decision accuracy, decision information and posterior information stay separate (6.465958ms)\n\u2714 work budgets refuse before exponential evaluation and logs are explicitly declared (0.332292ms)\n\u2714 equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit (1.745875ms)\n\u2714 uniform independent wrong values exactly match the declared reference (12.067ms)\n\u2714 independent events with nonuniform labels exceed the uniform reference without proving a cause (0.982083ms)\n\u2714 redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged (0.772042ms)\n\u2714 absence, zero reference and insufficient budget are distinct, never inferred independence (0.300875ms)\n\u2714 estimated marginals condition on truth rather than pooling distinct populations (0.321292ms)\n\u2714 042 installed covering cause preserves declared symmetric channel boundaries (1.383ms)\n\u2714 042 installed covering cause refuses missing accuracy and invalid probabilities (0.206875ms)\n\u2714 042 installed union bound retains justification and refuses unnamed premises (0.750208ms)\n\u2714 042 installed tolerant count keeps heterogeneous subset bounds and paired failure counterexample (0.300792ms)\n\u2714 042 installed three conditional measures preserve every frozen algebra state (0.336958ms)\n\u2714 analytic eigensystem satisfies residual and orthogonality; inputs are unchanged (0.852958ms)\n\u2714 repeated eigenvalues have no unique top loading; their full variance subspace remains readable (7.810292ms)\n\u2714 subset variance is descriptive, not a probability of error (0.105625ms)\n\u2714 invalid matrices refuse, and an insufficient numerical budget never claims a spectrum (0.28125ms)\n\u2714 spectrum and trace participation ratios agree on handed error events (0.320667ms)\n\u2714 T1 handles counterexample, degeneracies, and large counts without underflow misclassification (0.170084ms)\n\u2714 descent counts distinct scopes, keeps absence unknown, and refuses cycles (0.158125ms)\n\u2714 independent balanced errors and perfectly shared errors have different effective ranks (1.451917ms)\n\u2714 redelivery and declaration order add neither observations nor origins (0.2225ms)\n\u2714 missing observations and no variation do not prove independence (0.0735ms)\n\u2714 population covariance is normalized by the observed event population (0.082625ms)\n\u2714 T5 reference stream reproduces model counts without claiming certification (82.277459ms)\n\u2714 interest is an explicit controlled bias within the reference model (10.119042ms)\n\u2714 declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never \u03a6 or D (2.4735ms)\n\u2714 zero joint counts, absent rank and insufficient resources never report fitted probabilities (0.227709ms)\n\u2714 the same finite-data procedure identifies a declared overlapping two-factor system (3.545042ms)\n\u2714 population identification recovers exact shared survival without identifying private versus singleton error (1.660584ms)\n\u2714 rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes (0.172125ms)\n\u2714 general declared pair systems recover more than one factor and reject unexplained residuals (2.479708ms)\n\u2714 dissent certificate depends on actual ordered configuration, never on dissent alone (0.60925ms)\n\u2714 M/3 captured covering, partial and impossible-conditioning vectors are exact (2.146125ms)\n\u2714 singleton governance is preserved and collision partitions distinguish zero from absence (0.380084ms)\n\u2714 probe uses the exact posterior and is unmeasured only at zero extension mass (0.128459ms)\n\u2714 validation and budget refuse or remain unmeasured before accumulating a partial result (0.480125ms)\n\u2714 half-even display is independent of binary floating point and uses declared digits (0.071583ms)\n\u2714 controlled T1 and T5 declare their stream and denominators and match handed M/3 populations (47.147625ms)\n\u2714 partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell (0.354083ms)\n\u2714 the actual four algebraic states and their cells survive every descriptive measure unchanged (4.505917ms)\n\u2714 an exact curve retains both binary parameter branches rather than fabricating identification (1.923667ms)\n\u2714 perfect unanimity keeps the whole compatible ambiguity and no causal result (0.186041ms)\n\u2714 paired-group bootstrap retains cross-size sampling dependence and is deterministic (1.529292ms)\n\u2714 counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse (0.26275ms)\n\u2139 tests 48\n\u2139 suites 0\n\u2139 pass 48\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 315.037167\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": {
@@ -35,8 +38,9 @@
       },
       "check": {
         "status": 0,
-        "stdout": "PASS     closed \u00b7 1 places \u00b7 743 ms\n",
-        "stderr": "RECEIPTS 13 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 743 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"
       }
     }
   ]