@lapxo/obligations 0.3.4 → 0.4.0

package/samples/measures/unanimity.json

@@ -0,0 +1,76 @@
+[
+  {
+    "yes": {
+      "group": "unanimity",
+      "place": "orchard",
+      "model": {
+        "c": 0.01,
+        "p": 0.1,
+        "n": 2
+      },
+      "k": 3,
+      "searchLimit": 100,
+      "experiment": {
+        "seed": 123456,
+        "trials": 2000
+      },
+      "bias": 0.9,
+      "shared": true
+    },
+    "no": {
+      "group": "unanimity",
+      "place": "orchard",
+      "model": {
+        "c": 0.01,
+        "p": 0.1,
+        "n": 2
+      },
+      "k": 3,
+      "searchLimit": 100,
+      "experiment": {
+        "seed": 123456,
+        "trials": 2000
+      },
+      "bias": 0.9,
+      "shared": true,
+      "claim": "monotone-from-one"
+    }
+  },
+  {
+    "yes": {
+      "group": "unanimity",
+      "place": "catalog",
+      "model": {
+        "c": 0.01,
+        "p": 0.1,
+        "n": 2
+      },
+      "k": 3,
+      "searchLimit": 100,
+      "experiment": {
+        "seed": 123456,
+        "trials": 2000
+      },
+      "bias": 0.9,
+      "shared": true
+    },
+    "no": {
+      "group": "unanimity",
+      "place": "catalog",
+      "model": {
+        "c": 0.01,
+        "p": 0.1,
+        "n": 2
+      },
+      "k": 3,
+      "searchLimit": 100,
+      "experiment": {
+        "seed": 123456,
+        "trials": 2000
+      },
+      "bias": 0.9,
+      "shared": true,
+      "claim": "monotone-from-one"
+    }
+  }
+]

package/samples/no/installed-artifact.json

@@ -0,0 +1,302 @@
+{
+  "format": "installed-acceptance/1",
+  "code": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
+  "implementation": [
+    {
+      "path": "dist/debit/debit.js",
+      "sha256": "sha256:0000000000000000000000000000000000000000000000000000000000000000"
+    },
+    {
+      "path": "dist/debit/graph.js",
+      "sha256": "sha256:5be27ebec40dcb3ffdc34775622a1c07367daa2ad2de93b3ca0edecf4b823bea"
+    },
+    {
+      "path": "dist/debit/ideal.js",
+      "sha256": "sha256:4c55b1eaad5301c264611e322aee48734c2dd95a7f54493ca1211caf6a4988fd"
+    },
+    {
+      "path": "dist/debit/masks.js",
+      "sha256": "sha256:4f175c64ecdd57f4e0b0746b58940390c6777b7cc8944b27f0badb7ba16bf37f"
+    },
+    {
+      "path": "dist/debit/observer.js",
+      "sha256": "sha256:a2ff9de359770cc855074c673c008c4c4168d371983fd88f14f7c90290d39e7b"
+    },
+    {
+      "path": "dist/debit/packed.js",
+      "sha256": "sha256:292c09c79fe8870f6fd45558a949ab6e1ca9081d97cef9008dff79295e7a53fe"
+    },
+    {
+      "path": "dist/debit/provenance.js",
+      "sha256": "sha256:75d20ac3801c01d2526550a2ec20201ec750290491aa7e8325ecef3fb6d6bb43"
+    },
+    {
+      "path": "dist/debit/register.js",
+      "sha256": "sha256:fa008ab4534bf27169dd85e9e873d4631d461fb0bcf7d5280dbdc25af2ddd4bd"
+    },
+    {
+      "path": "dist/debit/shuffle.js",
+      "sha256": "sha256:8dfd76ebab3d7bedec1e686cb371cfc96b4195c04e7f689df21cad5bd3d5726c"
+    },
+    {
+      "path": "dist/debit/standing.js",
+      "sha256": "sha256:261a3ab5322cc48120e42ce468249f83ad88be28dfbb892cfee403e6833dd8d1"
+    },
+    {
+      "path": "dist/debit/unit-span.js",
+      "sha256": "sha256:f882bf1b9c084707e8490e47324fa68ad48f662cb6ee94be5075e48ecb2eb514"
+    },
+    {
+      "path": "dist/debit/unit.js",
+      "sha256": "sha256:a26c30d5456d99667ab44ff56663fff0ced252de60b860acefb820c32a0f5f78"
+    },
+    {
+      "path": "dist/debit/vector-move.js",
+      "sha256": "sha256:0573c65d6a55bc4c20cd0e2e537e9ae6d275825b0d6e09bf20828c193b0d0a87"
+    },
+    {
+      "path": "dist/debit/vector.js",
+      "sha256": "sha256:250eda384b40b23c5dbe20399e1a53a2e3d314847ac1b91c7172028cb6b91fb3"
+    },
+    {
+      "path": "dist/field/encounter.js",
+      "sha256": "sha256:84a46a48496abb0fcad4d37f7c891e9c7e4a7ea080035f05473d7e052e51bf22"
+    },
+    {
+      "path": "dist/field/field.js",
+      "sha256": "sha256:820abaed1d422fdb89c759ca31f3732b6bea6ff7bd1a5b20f2114c1626979880"
+    },
+    {
+      "path": "dist/field/fragility.js",
+      "sha256": "sha256:6c533de862591dfb397d4c93a0bc0660a00065343e6876691816c3e23724cb2e"
+    },
+    {
+      "path": "dist/field/frontier.js",
+      "sha256": "sha256:11931187be2c7e1afdb139c0e80582d8f2c1beefc30294c671f4d19d61636aba"
+    },
+    {
+      "path": "dist/field/join.js",
+      "sha256": "sha256:c574e7f455e18284a8f9c120a78e30c3ad87e666dc85c4c9201f1b1d3abc5f71"
+    },
+    {
+      "path": "dist/field/meet.js",
+      "sha256": "sha256:9b52c83f47dbf56e144aba56cc077ac7eb0ef57579aea5c72c13324d4f9dd39c"
+    },
+    {
+      "path": "dist/field/motion.js",
+      "sha256": "sha256:8ae192e43a7ae7c0b406280984063a8094a67a8a0d4e0d9fa943a21c2c7571b7"
+    },
+    {
+      "path": "dist/field/observe.js",
+      "sha256": "sha256:e9255aea5a52edaa841ca520804870f714817fb64b764c3d66921055c6165f3f"
+    },
+    {
+      "path": "dist/field/present.js",
+      "sha256": "sha256:1d730a7a65ffd97f3fce761ddee21b99947bfc60ca190b4107c90562fde26692"
+    },
+    {
+      "path": "dist/field/refine.js",
+      "sha256": "sha256:1653d77d1e954d29eb5e6968ff8fb9992d05a2f0990ee48d634c931bf24c1201"
+    },
+    {
+      "path": "dist/field/require.js",
+      "sha256": "sha256:895a5491ca1c60cb0cc7db2325df7c9b02e69ce25df7dc378371fc38df146b9c"
+    },
+    {
+      "path": "dist/field/sign.js",
+      "sha256": "sha256:0286a81e542ce89696d8593dedec9b7930bb67b4bf55b959979638f1eb98f8a9"
+    },
+    {
+      "path": "dist/field/signatures.js",
+      "sha256": "sha256:4f7b0afb3a20e1e23a64eaa5ba14d3a30c091f7ba435b75d862330067d117e2e"
+    },
+    {
+      "path": "dist/field/yield.js",
+      "sha256": "sha256:89aa3852828ff5ddeeb280532220f63ce8af5c8b66d722833a30282062c3a834"
+    },
+    {
+      "path": "dist/lattice/axioms.js",
+      "sha256": "sha256:b2c0d26adcc3374a6d1864f60aeee57d2b0660ebe2ca08cb35602af077f3f722"
+    },
+    {
+      "path": "dist/lattice/declaration.js",
+      "sha256": "sha256:c5c4459ad4f5cffe970f87129bd5ddedeb9e35f1163204630788a574a5fdbd78"
+    },
+    {
+      "path": "dist/lattice/errors.js",
+      "sha256": "sha256:0cc476498db21b2aab91e90cc0172bb34373cbe2876a21a21efdc8ba088112b0"
+    },
+    {
+      "path": "dist/lattice/forms.js",
+      "sha256": "sha256:9061bbb17d68f5d04e469ca83eebf4aa9db184d627b4228bee504f7f0be3dc42"
+    },
+    {
+      "path": "dist/lattice/index.js",
+      "sha256": "sha256:597e3c37c0d370687d1ed0674ae0737c8ec9efac5ca270c1abdb84413dd147f5"
+    },
+    {
+      "path": "dist/lattice/lattice.js",
+      "sha256": "sha256:0922b8ee14e1fd0e6c56cf026b377e67e070e1ab5ede71b64aebe17ecc4303a7"
+    },
+    {
+      "path": "dist/lattice/obligatory.js",
+      "sha256": "sha256:1cce37198c95a6afd9842d82feef430414f1c6f0933a631f70e0d21b9eafb924"
+    },
+    {
+      "path": "dist/lattice/order.js",
+      "sha256": "sha256:4752a5da2995163d26712bb96acc9c14d5d65f76366e941ec29c25dd8fdd6741"
+    },
+    {
+      "path": "dist/lattice/price/attainable.js",
+      "sha256": "sha256:e40a50e47d4a3c5011dd8c7a71a792f194b79c2a1024a681e9048bb3f8864d83"
+    },
+    {
+      "path": "dist/lattice/price/blocks.js",
+      "sha256": "sha256:2429a95d5b61db452262c54a19c2cfe6ce2a87818f01a0b6aaa2f91cc6fc28ae"
+    },
+    {
+      "path": "dist/lattice/price/index.js",
+      "sha256": "sha256:5cb7b5aa3a623c2cb6f1e495353161279be762724c48c9f9ff168669d0eeeaa5"
+    },
+    {
+      "path": "dist/lattice/price/premium.js",
+      "sha256": "sha256:3c8e7a61164f5dd2416112baa791ed401922afeafe06239c597113bb2b5f78ff"
+    },
+    {
+      "path": "dist/lattice/price/quote.js",
+      "sha256": "sha256:af4365d142c302cb4cf98f9d5dbf8cbac1aa53aa5cde602fbf2df2c90303be84"
+    },
+    {
+      "path": "dist/lattice/scale-lattice.js",
+      "sha256": "sha256:2669476b7811dc4db1ffe60131fbf5df568030f37d66cacb7062f7ed87704fa6"
+    },
+    {
+      "path": "dist/lattice/types.js",
+      "sha256": "sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881"
+    },
+    {
+      "path": "dist/lattice/vacuity.js",
+      "sha256": "sha256:86a33399266ad3d5274838e9580a467d045e8edba6bded643ffdb580a79ae37d"
+    },
+    {
+      "path": "dist/measures/error-events.js",
+      "sha256": "sha256:df5c77620adf2de919a0f1eb3df53837ce62d43bfdf72acfde04f80961ded97e"
+    },
+    {
+      "path": "dist/measures/experiments.js",
+      "sha256": "sha256:1b93636b8f8c98332c4a64d5895dd0ec27952062b18eb1c580f58c03f54ccb21"
+    },
+    {
+      "path": "dist/measures/fitting.js",
+      "sha256": "sha256:62235cb2bc72fae9cfa5113fbce6fc8101c3389e68c538ee4b11e01c31d183cc"
+    },
+    {
+      "path": "dist/measures/identification.js",
+      "sha256": "sha256:ba2a5424e4b54c46d82410d506a47483cf5ad6cc272379fec0a5894b730cbe0d"
+    },
+    {
+      "path": "dist/measures/index.js",
+      "sha256": "sha256:e056393908931aac0ef64e7abcab68ece360536b6578be1e945e62af6a409475"
+    },
+    {
+      "path": "dist/measures/m3-experiment.js",
+      "sha256": "sha256:159fc546bda79de7f50dfeeccee73854600d0a4d51ca2f875d45866f29b1a0f9"
+    },
+    {
+      "path": "dist/measures/m3.js",
+      "sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
+    },
+    {
+      "path": "dist/measures/model.js",
+      "sha256": "sha256:70b5d5d4e3c835e03fefa2adf632669eec248a2a2adabf9b054be4fd018cb85a"
+    },
+    {
+      "path": "dist/measures/rational.js",
+      "sha256": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
+    },
+    {
+      "path": "dist/measures/spectrum.js",
+      "sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
+    },
+    {
+      "path": "dist/replay.js",
+      "sha256": "sha256:195a93d0e955b30575e5172e4dcb779f8c688997de1a3a3a5c649bcc6a723ab3"
+    },
+    {
+      "path": "dist/views/chain.js",
+      "sha256": "sha256:d35b6c3becfc9c003e3995f01bc27860c1914eafe314efde9e82a6346f58af1c"
+    },
+    {
+      "path": "dist/views/complement.js",
+      "sha256": "sha256:b3a9d0f794f839a592649211ee5375743cf5cc9fb891926a6061b50a11ab4dde"
+    },
+    {
+      "path": "dist/views/dual.js",
+      "sha256": "sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881"
+    },
+    {
+      "path": "dist/views/field.js",
+      "sha256": "sha256:691ea483df5d6021feae901607ccd3b67721514c2963ad539466839d6a1db430"
+    },
+    {
+      "path": "dist/views/field/physics.js",
+      "sha256": "sha256:69e500cdd7bb1a3eff095c4e15078db508d214adae84c3b3d751ec60de314ddb"
+    },
+    {
+      "path": "dist/views/field/policy.js",
+      "sha256": "sha256:b248f374304c22f7f08e9639f32cd5651e4092684a874dac3396b9b19fb7ed10"
+    },
+    {
+      "path": "dist/views/field/self.js",
+      "sha256": "sha256:d8fe9cf3233c45cb87976097920da194cdfae9cd7da4e75f4bb15de533b258df"
+    },
+    {
+      "path": "dist/views/field/wave.js",
+      "sha256": "sha256:ab030ffa1cf49b5b26a9e5b62a94d4f553c6313c5e7138f66016d7d12f620c0d"
+    },
+    {
+      "path": "dist/views/galois.js",
+      "sha256": "sha256:d00226bf65a595b09fd87a93be678161d87f12978ff2e602784a740645b90d05"
+    },
+    {
+      "path": "dist/views/ideal.js",
+      "sha256": "sha256:808ae8d7d6b8aabe93aea301078940accf2f983b717d13e8422d7edd0fd22473"
+    },
+    {
+      "path": "dist/views/product.js",
+      "sha256": "sha256:30e36e380abf5889add3344a02391a9b380f9caeec074b7a31aae8cb705e7e07"
+    },
+    {
+      "path": "dist/views/product/design.js",
+      "sha256": "sha256:25a6f4a9ace42b36ccb5a3c3ba22e2f6d9c0c1f17e3daf1155b7f0241ccdd82d"
+    },
+    {
+      "path": "dist/views/product/mould.js",
+      "sha256": "sha256:2cb3fd08488befdcbeec8c436497940f3e06f25b0e23ad3c21dbe703a6f2c526"
+    },
+    {
+      "path": "dist/views/product/polygon.js",
+      "sha256": "sha256:de9b6c41aec0a0dfc0f20db7f5daaf05706d848c9788aea01914a2e1abea43b5"
+    },
+    {
+      "path": "dist/views/product/reach.js",
+      "sha256": "sha256:81ceeabdccb4451d03f307ca959caa0373512272715dcd46b70444c4ccbc4d61"
+    },
+    {
+      "path": "dist/views/product/resolution.js",
+      "sha256": "sha256:e99ff8ea01f66fc62144dc160995f8fa4e64adda336d1c31be156dc8d8bd90da"
+    },
+    {
+      "path": "dist/views/quotient.js",
+      "sha256": "sha256:17bfe8d1d4dfabf20478ffbce8ff23e2602463d1e5c79ea6c3976a53932c2cc0"
+    },
+    {
+      "path": "dist/views/spectrum.js",
+      "sha256": "sha256:41a7cf926fd64d14ef1e73f630778e21597641f9cf40930a77586e7b08468604"
+    },
+    {
+      "path": "dist/views/valuation.js",
+      "sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
+    }
+  ]
+}

package/samples/yes/algebra-is-closed.json

@@ -0,0 +1,17 @@
+{
+ "witness": "algebra-is-closed",
+ "forms": [
+  "ladder",
+  "alphabet",
+  "continuous",
+  "lattice"
+ ],
+ "each_has": [
+  "meet",
+  "join",
+  "top",
+  "bottom"
+ ],
+ "why": "every form is a lattice with its meet and its join, and replay is the one loop over them; nothing the algebra needs lives outside it",
+ "expected.ok": true
+}

package/samples/yes/field-uses-price-and-debit.json

@@ -0,0 +1,9 @@
+{
+ "witness": "field-uses-price-and-debit",
+ "about": "obligations/src/field/motion.ts reads a point's sightings as a declaration on a scale and asks the other two theories the rest: its state and register (debit/unit, debit/unit-span), its render (FREE green, REQUIRED grey, FORBIDDEN red, CONFLICT fork), its premium (lattice/price/premium), degeneration (isSupermodular), exact withdrawal (isDistributive) and the moves between two readings. vectors/field-uses.json holds 10 cases on the chain C5, the pentagon N5 and the diamond M3, two of them falsifiers; every case was checked by hand against the gap theorem and the debit's table of states. Not done: c_n as a bound on encounters — the price proves c_n bounds the premium on partitions, and the debit uses it as the unit of price; it bounds no count of encounters.",
+ "then": {
+  "cases": 10,
+  "hold": 10,
+  "falsifiers": 2
+ }
+}