@lapxo/obligations 0.4.2 → 0.4.4

package/vectors/laws/meet-semilattice.native.json

@@ -0,0 +1,265 @@
+{
+  "instrument": "@lapxo/bound@0.2.1",
+  "instrumentClosureSha256": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
+  "readerRuntime": "sha256:14ce5a564be859a9f9798370ea0a4e40f2d442531079a80a3ef06f379faf54f1",
+  "provider": "sha256:d2e9315741b53b4a1740d7204179c948443bdc1edfb0d57f55b93e1c1d355fd2",
+  "limits": {
+    "timeoutMs": 5000,
+    "responseBytes": 65536
+  },
+  "structuralForks": 0,
+  "grammar": "pass",
+  "events": [
+    {
+      "place": "orchard",
+      "case": "yes",
+      "context": {
+        "instrument": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
+        "implementation": "sha256:14ce5a564be859a9f9798370ea0a4e40f2d442531079a80a3ef06f379faf54f1",
+        "policy": "sha256:1c26da6173999eb5ae19989713bd9e05f776de5a99972a0b722779fa2f154245",
+        "inputs": [
+          [
+            "provider",
+            "sha256:d2e9315741b53b4a1740d7204179c948443bdc1edfb0d57f55b93e1c1d355fd2"
+          ],
+          [
+            "fixture",
+            "sha256:362272af3ac8f17a86abb22dd3305a8b43db8d70f42c94c415b789f81a4ace17"
+          ],
+          [
+            "proofs/lean/lean-toolchain",
+            "sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea"
+          ],
+          [
+            "proofs/lean/lakefile.toml",
+            "sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32"
+          ],
+          [
+            "proofs/lean/lake-manifest.json",
+            "sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d"
+          ],
+          [
+            "proofs/lean/Obligations.lean",
+            "sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca"
+          ],
+          [
+            "proofs/lean/Obligations/Cell.lean",
+            "sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f"
+          ],
+          [
+            "proofs/lean/Obligations/Bridge.lean",
+            "sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b"
+          ],
+          [
+            "src/lattice/forms.ts",
+            "sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84"
+          ],
+          [
+            "vectors/laws/policy.json",
+            "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+          ],
+          [
+            "vectors/laws/meet-semilattice.json",
+            "sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614"
+          ],
+          [
+            "samples/laws/semilattice/yes.json",
+            "sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503"
+          ],
+          [
+            "samples/laws/semilattice/no.json",
+            "sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2"
+          ]
+        ],
+        "environment": [
+          [
+            "variables",
+            "sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80"
+          ],
+          [
+            "cwd",
+            "sha256:988edf9f9978e37fa50984da68726eb09ee93480f9fbe11cc0953665aef2a442"
+          ],
+          [
+            "flags",
+            "sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945"
+          ],
+          [
+            "runtime",
+            "sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090"
+          ],
+          [
+            "platform",
+            "sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288"
+          ]
+        ]
+      },
+      "fixture": "sha256:362272af3ac8f17a86abb22dd3305a8b43db8d70f42c94c415b789f81a4ace17",
+      "receiptSha256": "sha256:86e4e73e3fa320fb35aec8a6d4918f691a72f0364f385345840f2b3af6cd6188",
+      "selection": "sha256:d2e9315741b53b4a1740d7204179c948443bdc1edfb0d57f55b93e1c1d355fd2 offers/capsule/semilattice-044",
+      "read": 1,
+      "executed": 1,
+      "reuseExecuted": 0,
+      "executionMs": 597.591042,
+      "verificationMs": 0.5687080000000151,
+      "reuseMs": 9.810040999999956,
+      "verifiedWithoutLedgerOrStore": 1,
+      "requireReadingContext": true,
+      "tamperedCarrierRejected": true,
+      "differentEnvironmentRejected": true,
+      "receipts": "bound-lock/1 at=place:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=publication/evidence/semilattice value=sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/lean-toolchain value=sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/lakefile.toml value=sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/lake-manifest.json value=sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations.lean value=sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations/Cell.lean value=sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations/Bridge.lean value=sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=src/lattice/forms.ts value=sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=vectors/laws/meet-semilattice.json value=sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=samples/laws/semilattice/yes.json value=sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503\nbound-lock/1 at=witness:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=samples/laws/semilattice/no.json value=sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2\nbound-lock/1 at=place:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=interval measure=count role=writes scope=publication/evidence/semilattice value=0..0\nbound-lock/1 at=place:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=digest role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb/identity value=sha256:34ea6dada793247601e53850bb8a9238064c7205264ec4b50fd8593b33dfd972\nbound-lock/1 at=place:sha256:b2b42f50f42ff7a469ca86f3320a74bec8da14fa597b395daaa48a7c51020c1e by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb value=sha256:b2b42f50f42ff7a469ca86f3320a74bec8da14fa597b395daaa48a7c51020c1e\nbound-lock/1 about=\"[\\\"reading-context@1\\\",\\\"sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af\\\",\\\"sha256:14ce5a564be859a9f9798370ea0a4e40f2d442531079a80a3ef06f379faf54f1\\\",\\\"sha256:8d260dbccbe591c07b6bd3f9faaee60a514dac6f8177e33e029a1ec219c068cf\\\",[[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"fixture\\\\\\\"]\\\",\\\"sha256:362272af3ac8f17a86abb22dd3305a8b43db8d70f42c94c415b789f81a4ace17\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations.lean\\\\\\\"]\\\",\\\"sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations/Bridge.lean\\\\\\\"]\\\",\\\"sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations/Cell.lean\\\\\\\"]\\\",\\\"sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/lake-manifest.json\\\\\\\"]\\\",\\\"sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/lakefile.toml\\\\\\\"]\\\",\\\"sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/lean-toolchain\\\\\\\"]\\\",\\\"sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"provider\\\\\\\"]\\\",\\\"sha256:d2e9315741b53b4a1740d7204179c948443bdc1edfb0d57f55b93e1c1d355fd2\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/semilattice/no.json\\\\\\\"]\\\",\\\"sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/semilattice/yes.json\\\\\\\"]\\\",\\\"sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/lattice/forms.ts\\\\\\\"]\\\",\\\"sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/meet-semilattice.json\\\\\\\"]\\\",\\\"sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations.lean\\\\\\\"]\\\",\\\"sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations/Bridge.lean\\\\\\\"]\\\",\\\"sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations/Cell.lean\\\\\\\"]\\\",\\\"sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/lake-manifest.json\\\\\\\"]\\\",\\\"sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/lakefile.toml\\\\\\\"]\\\",\\\"sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/lean-toolchain\\\\\\\"]\\\",\\\"sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/semilattice/no.json\\\\\\\"]\\\",\\\"sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/semilattice/yes.json\\\\\\\"]\\\",\\\"sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/lattice/forms.ts\\\\\\\"]\\\",\\\"sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/meet-semilattice.json\\\\\\\"]\\\",\\\"sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"plan\\\\\\\"]\\\",\\\"sha256:a0e70216cc3b169ecb35ce9b2214b74387e8f04baf9c9def3ae54adaedcd19c9\\\"]],[[\\\"cwd\\\",\\\"sha256:988edf9f9978e37fa50984da68726eb09ee93480f9fbe11cc0953665aef2a442\\\"],[\\\"flags\\\",\\\"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945\\\"],[\\\"platform\\\",\\\"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288\\\"],[\\\"runtime\\\",\\\"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090\\\"],[\\\"variables\\\",\\\"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80\\\"]]]\\n\" at=place:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=alphabet measure=bytes role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb value=sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb\nbound-lock/1 about=\"bound-lock/1 at=place:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=interval measure=count role=writes scope=publication/evidence/semilattice value=0..0\\n\" at=place:sha256:b2b42f50f42ff7a469ca86f3320a74bec8da14fa597b395daaa48a7c51020c1e by=reader:88ca354d6a26 form=interval measure=count role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb value=1..1\nbound-lock/1 at=place:sha256:15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb by=reader:88ca354d6a26 form=interval measure=s role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/15a4da054dea7166cbb47d8a7bfc4c0fa63b2c79bb9335113a7ac5d8bdd54eeb value=0.286577..0.286577\n"
+    },
+    {
+      "place": "orchard-missing-negative",
+      "case": "no",
+      "fixture": "sha256:d7d5a28662d2d76a7a3a2a39edabf8e028c370b74eceadb74140d744aaf54b54",
+      "expectedRefusal": "REFUSE·semilattice two-complete-places",
+      "refusal": "Error: REFUSE·reading publication/evidence/semilattice · Error: REFUSE·semilattice two-complete-places",
+      "executionMs": 559.4855829999999,
+      "fixturePreserved": true
+    },
+    {
+      "place": "orchard-false-contract",
+      "case": "no",
+      "fixture": "sha256:0bd4790fdc9ec4e56e1d6151f689ca2cbb9fc0cc8dcaf0f07dff2cfa9da20e31",
+      "expectedRefusal": "REFUSE·semilattice contract-claims",
+      "refusal": "Error: REFUSE·reading publication/evidence/semilattice · Error: REFUSE·semilattice contract-claims",
+      "executionMs": 545.040334,
+      "fixturePreserved": true
+    },
+    {
+      "place": "catalog",
+      "case": "yes",
+      "context": {
+        "instrument": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
+        "implementation": "sha256:14ce5a564be859a9f9798370ea0a4e40f2d442531079a80a3ef06f379faf54f1",
+        "policy": "sha256:1c26da6173999eb5ae19989713bd9e05f776de5a99972a0b722779fa2f154245",
+        "inputs": [
+          [
+            "provider",
+            "sha256:d2e9315741b53b4a1740d7204179c948443bdc1edfb0d57f55b93e1c1d355fd2"
+          ],
+          [
+            "fixture",
+            "sha256:362272af3ac8f17a86abb22dd3305a8b43db8d70f42c94c415b789f81a4ace17"
+          ],
+          [
+            "proofs/lean/lean-toolchain",
+            "sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea"
+          ],
+          [
+            "proofs/lean/lakefile.toml",
+            "sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32"
+          ],
+          [
+            "proofs/lean/lake-manifest.json",
+            "sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d"
+          ],
+          [
+            "proofs/lean/Obligations.lean",
+            "sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca"
+          ],
+          [
+            "proofs/lean/Obligations/Cell.lean",
+            "sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f"
+          ],
+          [
+            "proofs/lean/Obligations/Bridge.lean",
+            "sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b"
+          ],
+          [
+            "src/lattice/forms.ts",
+            "sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84"
+          ],
+          [
+            "vectors/laws/policy.json",
+            "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+          ],
+          [
+            "vectors/laws/meet-semilattice.json",
+            "sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614"
+          ],
+          [
+            "samples/laws/semilattice/yes.json",
+            "sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503"
+          ],
+          [
+            "samples/laws/semilattice/no.json",
+            "sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2"
+          ]
+        ],
+        "environment": [
+          [
+            "variables",
+            "sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80"
+          ],
+          [
+            "cwd",
+            "sha256:7f360641781fcf4a244e9d9690524db2476aa13098f12ce51b359f734ca3ffc1"
+          ],
+          [
+            "flags",
+            "sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945"
+          ],
+          [
+            "runtime",
+            "sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090"
+          ],
+          [
+            "platform",
+            "sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288"
+          ]
+        ]
+      },
+      "fixture": "sha256:362272af3ac8f17a86abb22dd3305a8b43db8d70f42c94c415b789f81a4ace17",
+      "receiptSha256": "sha256:5a14a782ae3c34cad1c472c388673fd4839f37b2c9585c52bb46b96c5d4902e9",
+      "selection": "sha256:d2e9315741b53b4a1740d7204179c948443bdc1edfb0d57f55b93e1c1d355fd2 offers/capsule/semilattice-044",
+      "read": 1,
+      "executed": 1,
+      "reuseExecuted": 0,
+      "executionMs": 534.6974170000003,
+      "verificationMs": 0.688083000000006,
+      "reuseMs": 6.293959000000086,
+      "verifiedWithoutLedgerOrStore": 1,
+      "requireReadingContext": true,
+      "tamperedCarrierRejected": true,
+      "differentEnvironmentRejected": true,
+      "receipts": "bound-lock/1 at=place:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=publication/evidence/semilattice value=sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/lean-toolchain value=sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/lakefile.toml value=sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/lake-manifest.json value=sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations.lean value=sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations/Cell.lean value=sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations/Bridge.lean value=sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=src/lattice/forms.ts value=sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=vectors/laws/meet-semilattice.json value=sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=samples/laws/semilattice/yes.json value=sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503\nbound-lock/1 at=witness:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=samples/laws/semilattice/no.json value=sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2\nbound-lock/1 at=place:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=interval measure=count role=writes scope=publication/evidence/semilattice value=0..0\nbound-lock/1 at=place:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=digest role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d/identity value=sha256:24996242934e26331dd3778bc11fb5b3b54bb2e9ba42649b0007982988953cc7\nbound-lock/1 at=place:sha256:b1cc161d83c785605e72bb5dbd88f2c113bc82bc01aa003b904e69476c87ffc7 by=reader:88ca354d6a26 form=alphabet measure=observed role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d value=sha256:b1cc161d83c785605e72bb5dbd88f2c113bc82bc01aa003b904e69476c87ffc7\nbound-lock/1 about=\"[\\\"reading-context@1\\\",\\\"sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af\\\",\\\"sha256:14ce5a564be859a9f9798370ea0a4e40f2d442531079a80a3ef06f379faf54f1\\\",\\\"sha256:8d260dbccbe591c07b6bd3f9faaee60a514dac6f8177e33e029a1ec219c068cf\\\",[[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"fixture\\\\\\\"]\\\",\\\"sha256:362272af3ac8f17a86abb22dd3305a8b43db8d70f42c94c415b789f81a4ace17\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations.lean\\\\\\\"]\\\",\\\"sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations/Bridge.lean\\\\\\\"]\\\",\\\"sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations/Cell.lean\\\\\\\"]\\\",\\\"sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/lake-manifest.json\\\\\\\"]\\\",\\\"sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/lakefile.toml\\\\\\\"]\\\",\\\"sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/lean-toolchain\\\\\\\"]\\\",\\\"sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"provider\\\\\\\"]\\\",\\\"sha256:d2e9315741b53b4a1740d7204179c948443bdc1edfb0d57f55b93e1c1d355fd2\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/semilattice/no.json\\\\\\\"]\\\",\\\"sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/semilattice/yes.json\\\\\\\"]\\\",\\\"sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/lattice/forms.ts\\\\\\\"]\\\",\\\"sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/meet-semilattice.json\\\\\\\"]\\\",\\\"sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations.lean\\\\\\\"]\\\",\\\"sha256:7b7915b01274dc170520a6baaeaaa83ecf20ecf6462e72bcb25d9e03424065ca\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations/Bridge.lean\\\\\\\"]\\\",\\\"sha256:531c1ede945470d68f683d60f27d7526cfe26139db897ceb54aaf6cf3caa275b\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations/Cell.lean\\\\\\\"]\\\",\\\"sha256:eec00e81ecb1ca9cc00bea10a41c14030ed362f81fb409c988e87fbd67e3ae5f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/lake-manifest.json\\\\\\\"]\\\",\\\"sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/lakefile.toml\\\\\\\"]\\\",\\\"sha256:c21110b310604fa643942a067cab53b5f806fb6eceefa19f5f665c2706b4ff32\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/lean-toolchain\\\\\\\"]\\\",\\\"sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/semilattice/no.json\\\\\\\"]\\\",\\\"sha256:983e78a765648fa90e9a03b492c0d439b6d97d4448a9edbb953c3353c6bdb0c2\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/semilattice/yes.json\\\\\\\"]\\\",\\\"sha256:7ccb80e4f8551991204f178df0a6b902db93c71a0847b24bb469579c52d3c503\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/lattice/forms.ts\\\\\\\"]\\\",\\\"sha256:5efbfaa2a999261e9d78232648bbb17b46f967abea25ae89ed141a6e442afc84\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/meet-semilattice.json\\\\\\\"]\\\",\\\"sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"plan\\\\\\\"]\\\",\\\"sha256:a0e70216cc3b169ecb35ce9b2214b74387e8f04baf9c9def3ae54adaedcd19c9\\\"]],[[\\\"cwd\\\",\\\"sha256:7f360641781fcf4a244e9d9690524db2476aa13098f12ce51b359f734ca3ffc1\\\"],[\\\"flags\\\",\\\"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945\\\"],[\\\"platform\\\",\\\"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288\\\"],[\\\"runtime\\\",\\\"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090\\\"],[\\\"variables\\\",\\\"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80\\\"]]]\\n\" at=place:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=alphabet measure=bytes role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d value=sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d\nbound-lock/1 about=\"bound-lock/1 at=place:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=interval measure=count role=writes scope=publication/evidence/semilattice value=0..0\\n\" at=place:sha256:b1cc161d83c785605e72bb5dbd88f2c113bc82bc01aa003b904e69476c87ffc7 by=reader:88ca354d6a26 form=interval measure=count role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d value=1..1\nbound-lock/1 at=place:sha256:793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d by=reader:88ca354d6a26 form=interval measure=s role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/793dfd826e6672c663eb06628506b3c954008f4f4c2a5678c684fb514d9c8a2d value=0.265421..0.265421\n"
+    },
+    {
+      "place": "catalog-missing-negative",
+      "case": "no",
+      "fixture": "sha256:d7d5a28662d2d76a7a3a2a39edabf8e028c370b74eceadb74140d744aaf54b54",
+      "expectedRefusal": "REFUSE·semilattice two-complete-places",
+      "refusal": "Error: REFUSE·reading publication/evidence/semilattice · Error: REFUSE·semilattice two-complete-places",
+      "executionMs": 511.54504099999986,
+      "fixturePreserved": true
+    },
+    {
+      "place": "catalog-false-contract",
+      "case": "no",
+      "fixture": "sha256:0bd4790fdc9ec4e56e1d6151f689ca2cbb9fc0cc8dcaf0f07dff2cfa9da20e31",
+      "expectedRefusal": "REFUSE·semilattice contract-claims",
+      "refusal": "Error: REFUSE·reading publication/evidence/semilattice · Error: REFUSE·semilattice contract-claims",
+      "executionMs": 555.6122499999997,
+      "fixturePreserved": true
+    }
+  ],
+  "signatures": 0,
+  "admission": false,
+  "ownerUsed": false,
+  "kernelReexecution": false,
+  "currentAdmissionResponse": false,
+  "publicDeliveryVerified": false,
+  "READY": false,
+  "meaning": "actual context-bearing native candidate receipts for evidence integrity and finite correspondence; not admitted law or independent kernel proof",
+  "candidateScope": "publication/evidence/semilattice",
+  "proofVector": "vectors/laws/meet-semilattice.json",
+  "proofVectorSha256": "sha256:50b2199bdcd1e77274f7461fba5cfe114d8e361db1dbc17cc889df62969ca614",
+  "readerSource": "test/support/semilattice-reader.ts",
+  "readerSourceSha256": "sha256:11b0a00973f1cdb516f05c8b85da5ac9f12fdbbbd56d13c71b6564b3ea1f6d7c",
+  "providerStanding": "bound-lock/1 at=witness:044/semilattice-evidence form=alphabet kind=capsule measure=digest restsOn=sha256:14ce5a564be859a9f9798370ea0a4e40f2d442531079a80a3ef06f379faf54f1 role=writes scope=offers/capsule/semilattice-044 value=sha256:14ce5a564be859a9f9798370ea0a4e40f2d442531079a80a3ef06f379faf54f1\nbound-lock/1 at=witness:044/semilattice-evidence form=alphabet measure=input-projection role=writes scope=region/semilattice-044 value=inputs\nbound-lock/1 at=witness:044/semilattice-evidence form=alphabet measure=reads role=writes scope=region/semilattice-044 value=offers/capsule/semilattice-044|region/semilattice-044|proofs/lean/lean-toolchain|proofs/lean/lakefile.toml|proofs/lean/lake-manifest.json|proofs/lean/Obligations.lean|proofs/lean/Obligations/Cell.lean|proofs/lean/Obligations/Bridge.lean|src/lattice/forms.ts|vectors/laws/policy.json|vectors/laws/meet-semilattice.json|samples/laws/semilattice/yes.json|samples/laws/semilattice/no.json\nbound-lock/1 at=witness:044/semilattice-evidence form=alphabet measure=writes role=writes scope=region/semilattice-044 value=count\n",
+  "inputIdentityEncoding": "sha256 of compact JSON tuple array; native reading-context additionally commits every coordinate, implementation, policy and execution environment",
+  "places": "two directories, one origin; shared immutable instrument and dependencies",
+  "setupCosts": "fixture construction, instrument hydration, compiler acquisition and capsule archive preparation are outside the native execution timings; no preparation ceiling certified"
+}

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/laws/resolution-encounters.json

@@ -0,0 +1,171 @@
+{
+  "id": "resolution-encounters@1",
+  "policy": "vectors/laws/policy.json",
+  "anchors": [
+    {
+      "path": "proofs/helly-comb.json",
+      "sha256": "sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1"
+    },
+    {
+      "path": "proofs/resolution-encounters.json",
+      "sha256": "sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f"
+    },
+    {
+      "path": "proofs/coordination.json",
+      "sha256": "sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a"
+    },
+    {
+      "path": "proofs/lean/Obligations/HellyComb.lean",
+      "sha256": "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06"
+    },
+    {
+      "path": "vectors/laws/helly-comb.lean.json",
+      "sha256": "sha256:e3ae1b0a9a579180a6d4495682bfbd7742e423e59e8a0b0fdd8d0528c16f497d"
+    },
+    {
+      "path": "samples/laws/linage-rest/yes.json",
+      "sha256": "sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f"
+    },
+    {
+      "path": "samples/laws/linage-rest/no.json",
+      "sha256": "sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d"
+    },
+    {
+      "path": "samples/yes/H1-uncertainty.json",
+      "sha256": "sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304"
+    },
+    {
+      "path": "samples/no/H1-uncertainty.json",
+      "sha256": "sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7"
+    },
+    {
+      "path": "vectors/laws/policy.json",
+      "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+    },
+    {
+      "path": "src/measures/unanimity-fit.ts",
+      "sha256": "sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47"
+    },
+    {
+      "path": "src/measures/rational.ts",
+      "sha256": "sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a"
+    },
+    {
+      "path": "test/support/linage-rest-reader.ts",
+      "sha256": "sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315"
+    }
+  ],
+  "result": {
+    "historicalNegative": {
+      "products": [
+        {
+          "numerator": "4",
+          "denominator": "1"
+        },
+        {
+          "numerator": "2",
+          "denominator": "1"
+        },
+        {
+          "numerator": "3",
+          "denominator": "1"
+        },
+        {
+          "numerator": "4",
+          "denominator": "1"
+        }
+      ],
+      "declaredFloor": {
+        "numerator": "24",
+        "denominator": "5"
+      },
+      "allBelowFloor": true,
+      "interpretation": "existing negative sample refutes its declared numeric floor; its prose about a rising product is incorrect"
+    },
+    "classification": "open conjecture and finite diagnostic countertables",
+    "historicalProducts": [
+      {
+        "numerator": "24",
+        "denominator": "5"
+      },
+      {
+        "numerator": "287",
+        "denominator": "25"
+      },
+      {
+        "numerator": "78",
+        "denominator": "5"
+      },
+      {
+        "numerator": "586",
+        "denominator": "25"
+      },
+      {
+        "numerator": "519",
+        "denominator": "20"
+      },
+      {
+        "numerator": "1057",
+        "denominator": "25"
+      }
+    ],
+    "historicalProductsMonotone": true,
+    "countertables": [
+      {
+        "products": [
+          {
+            "numerator": "4",
+            "denominator": "1"
+          },
+          {
+            "numerator": "2",
+            "denominator": "1"
+          }
+        ],
+        "monotone": false,
+        "floorHolds": true,
+        "ceilingHolds": true,
+        "handedK": {
+          "numerator": "1",
+          "denominator": "1"
+        },
+        "handedN": {
+          "numerator": "8",
+          "denominator": "1"
+        }
+      },
+      {
+        "products": [
+          {
+            "numerator": "2",
+            "denominator": "1"
+          },
+          {
+            "numerator": "4",
+            "denominator": "1"
+          },
+          {
+            "numerator": "8",
+            "denominator": "1"
+          }
+        ],
+        "monotone": true,
+        "floorHolds": false,
+        "ceilingHolds": false,
+        "handedK": {
+          "numerator": "3",
+          "denominator": "1"
+        },
+        "handedN": {
+          "numerator": "5",
+          "denominator": "1"
+        }
+      }
+    ],
+    "universalBound": false,
+    "countingModelDeclared": false,
+    "wordIndependentJustified": false
+  },
+  "admission": false,
+  "signatures": 0
+}

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

@@ -3,10 +3,10 @@
   "places": [
     {
       "name": "orchard",
-      "code": "sha256:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
+      "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "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": "\u2714 installed 0.4.4 exports have no Bound or Topos runtime dependency (5.040375ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.402875ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (10.096167ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.380833ms)\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 93.171416\n",
         "stderr": ""
       },
       "exports": {
@@ -16,16 +16,16 @@
       },
       "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 \u00b7 1 places \u00b7 456 ms\n",
+        "stderr": "RECEIPTS 21 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 456 ms\nCOST     act 0 s\n"
       }
     },
     {
       "name": "catalog",
-      "code": "sha256:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
+      "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "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": "\u2714 installed 0.4.4 exports have no Bound or Topos runtime dependency (5.045875ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.407542ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (10.023166ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.298958ms)\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 92.05125\n",
         "stderr": ""
       },
       "exports": {
@@ -35,8 +35,8 @@
       },
       "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 \u00b7 1 places \u00b7 452 ms\n",
+        "stderr": "RECEIPTS 21 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 452 ms\nCOST     act 0 s\n"
       }
     }
   ]