@lapxo/obligations 0.4.3 → 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/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,11 +3,10 @@
   "places": [
     {
       "name": "orchard",
-      "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8",
-      "code": "sha256:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401",
+      "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "tests": {
         "status": 0,
-        "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",
+        "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": {
@@ -17,18 +16,16 @@
       },
       "check": {
         "status": 0,
-        "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"
+        "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",
-      "archiveSha256": "sha256:d0b0c996db09d07b6ea192daf05b89a04519c784341b9b478d59b84b35d939c8",
-      "code": "sha256:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401",
+      "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "tests": {
         "status": 0,
-        "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",
+        "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": {
@@ -38,9 +35,8 @@
       },
       "check": {
         "status": 0,
-        "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"
+        "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"
       }
     }
   ]