@lapxo/obligations 0.3.5 → 0.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +8 -143
- package/TARGET.bound +574 -507
- package/dist/measures/error-events.d.ts +27 -0
- package/dist/measures/error-events.js +43 -0
- package/dist/measures/experiments.d.ts +15 -0
- package/dist/measures/experiments.js +53 -0
- package/dist/measures/fitting.d.ts +243 -0
- package/dist/measures/fitting.js +115 -0
- package/dist/measures/identification.d.ts +156 -0
- package/dist/measures/identification.js +107 -0
- package/dist/measures/index.d.ts +18 -0
- package/dist/measures/index.js +9 -0
- package/dist/measures/m3-experiment.d.ts +69 -0
- package/dist/measures/m3-experiment.js +70 -0
- package/dist/measures/m3.d.ts +139 -0
- package/dist/measures/m3.js +181 -0
- package/dist/measures/model.d.ts +14 -0
- package/dist/measures/model.js +67 -0
- package/dist/measures/rational.d.ts +19 -0
- package/dist/measures/rational.js +53 -0
- package/dist/measures/spectrum.d.ts +22 -0
- package/dist/measures/spectrum.js +84 -0
- package/docs/measures.md +149 -0
- package/package.json +1 -93
- package/receipts.bound +75 -0
- package/samples/measures/descent.json +92 -0
- package/samples/measures/m3-reader.mjs +732 -0
- package/samples/measures/m3.json +3126 -0
- package/samples/measures/observations.json +212 -0
- package/samples/measures/reader.mjs +424 -0
- package/samples/measures/spectrum.json +6530 -0
- package/samples/measures/unanimity.json +76 -0
- package/samples/no/installed-artifact.json +302 -0
- package/samples/yes/algebra-is-closed.json +17 -0
- package/samples/yes/field-uses-price-and-debit.json +9 -0
- package/samples/yes/installed-artifact.json +397 -0
- package/samples/yes/three-theories-one-algebra.json +5 -0
- package/src/field/motion.ts +59 -0
- package/src/lattice/index.ts +79 -0
- package/vectors/measures/descent.cli.json +148 -0
- package/vectors/measures/installed-artifact.cli.json +43 -0
- package/vectors/measures/m3.cli.json +148 -0
- package/vectors/measures/observations.cli.json +148 -0
- package/vectors/measures/spectrum.cli.json +148 -0
- package/vectors/measures/unanimity.cli.json +148 -0
package/receipts.bound
ADDED
|
@@ -0,0 +1,75 @@
|
|
|
1
|
+
bound-lock/1 at=place:sha256:077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=publication/measures/m3 value=077fedd07ec0ae29
|
|
2
|
+
bound-lock/1 at=place:sha256:18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=publication/measures/unanimity value=18e0fad4695a6a6f
|
|
3
|
+
bound-lock/1 at=place:sha256:2c0faaac62aef9bc565a2840e8a19436052440a5fded5f9cabdd66f9ed298fe6 by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=receipts/readings/c7c4d20a45e112bf416671de5d42c24f23aa5689e6f9159cde74d6e9d17d1b82/18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 value=2c0faaac62aef9bc
|
|
4
|
+
bound-lock/1 at=place:sha256:83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f by=reader:cdca08ad733e form=alphabet measure=observed role=writes scope=release/installed-artifact value=83943e401680e850
|
|
5
|
+
bound-lock/1 at=place:sha256:939cc04aace5d80db2b120fe12408c702fb138c8afb18828d457312c2e827cfe by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=receipts/readings/c33a24fe7e44f97a07f2eb1bd01139e572a2e538f196af51dcd3adcbb08dc176/077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 value=939cc04aace5d80d
|
|
6
|
+
bound-lock/1 at=place:sha256:b3c1b8416389402a9ca5aee3eaaea540ed3b8ffdf2cf70d97d872e140cc37bab by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=receipts/readings/48a7f80c07c1b042a8958e5cf359fefdfcd49e798bca7068ae2c81583447c835/c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d value=b3c1b8416389402a
|
|
7
|
+
bound-lock/1 at=place:sha256:c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=publication/measures/observations value=c6ee351b085197e0
|
|
8
|
+
bound-lock/1 at=place:sha256:cab815ca4325b9f46f16c66bda78f743c93c54a11d985fafe98fff7e5c1cf46a by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=receipts/readings/5d5ed032748c2ce5e5cacdb79d7d51205b024d34ae8347d78a90e4a2372b7928/f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 value=cab815ca4325b9f4
|
|
9
|
+
bound-lock/1 at=place:sha256:ce7c253de8034d108c3542555c0099eb8788d64e5f152a27bdc12cd8158c9d8e by=reader:cdca08ad733e form=alphabet measure=observed role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f value=ce7c253de8034d10
|
|
10
|
+
bound-lock/1 at=place:sha256:dec3605c4d85a890ee258a52cf6df102777903c43dd9e36e8feffe0e6584aa5e by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=receipts/readings/964487e28f37cd493abcd8619ec111b20f73c36e702081c664120dcb01860410/e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 value=dec3605c4d85a890
|
|
11
|
+
bound-lock/1 at=place:sha256:e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=publication/measures/descent value=e1e7be0d27e1e81c
|
|
12
|
+
bound-lock/1 at=place:sha256:e93970860d944d12c66c8adb7498881b15117835b777864649942612a14288a5 by=reader:159ce79a262e form=alphabet measure=observed role=writes scope=./ value=e93970860d944d12
|
|
13
|
+
bound-lock/1 at=place:sha256:eebb072db8c87300436f978be81300b47c76b1249ef3c8d7d29531aa70071ac4 by=reader:36e1f6822242 form=alphabet measure=observed role=writes scope=./ value=eebb072db8c87300
|
|
14
|
+
bound-lock/1 at=place:sha256:f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 by=reader:dcc965ef3951 form=alphabet measure=observed role=writes scope=publication/measures/spectrum value=f9d466a8f9f9945e
|
|
15
|
+
bound-lock/1 about="bound-lock/1 at=place:sha256:077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/m3 value=0..0\n" at=place:sha256:939cc04aace5d80db2b120fe12408c702fb138c8afb18828d457312c2e827cfe by=reader:dcc965ef3951 form=interval measure=count role=writes scope=receipts/readings/c33a24fe7e44f97a07f2eb1bd01139e572a2e538f196af51dcd3adcbb08dc176/077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 value=1..1
|
|
16
|
+
bound-lock/1 about="bound-lock/1 at=place:sha256:18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/unanimity value=0..0\n" at=place:sha256:2c0faaac62aef9bc565a2840e8a19436052440a5fded5f9cabdd66f9ed298fe6 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=receipts/readings/c7c4d20a45e112bf416671de5d42c24f23aa5689e6f9159cde74d6e9d17d1b82/18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 value=1..1
|
|
17
|
+
bound-lock/1 about="bound-lock/1 at=place:sha256:83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f by=reader:cdca08ad733e form=interval measure=count role=writes scope=release/installed-artifact value=0..0\n" at=place:sha256:ce7c253de8034d108c3542555c0099eb8788d64e5f152a27bdc12cd8158c9d8e by=reader:cdca08ad733e form=interval measure=count role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f value=1..1
|
|
18
|
+
bound-lock/1 about="bound-lock/1 at=place:sha256:c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/observations value=0..0\n" at=place:sha256:b3c1b8416389402a9ca5aee3eaaea540ed3b8ffdf2cf70d97d872e140cc37bab by=reader:dcc965ef3951 form=interval measure=count role=writes scope=receipts/readings/48a7f80c07c1b042a8958e5cf359fefdfcd49e798bca7068ae2c81583447c835/c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d value=1..1
|
|
19
|
+
bound-lock/1 about="bound-lock/1 at=place:sha256:e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/descent value=0..0\n" at=place:sha256:dec3605c4d85a890ee258a52cf6df102777903c43dd9e36e8feffe0e6584aa5e by=reader:dcc965ef3951 form=interval measure=count role=writes scope=receipts/readings/964487e28f37cd493abcd8619ec111b20f73c36e702081c664120dcb01860410/e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 value=1..1
|
|
20
|
+
bound-lock/1 about="bound-lock/1 at=place:sha256:f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/spectrum value=0..0\n" at=place:sha256:cab815ca4325b9f46f16c66bda78f743c93c54a11d985fafe98fff7e5c1cf46a by=reader:dcc965ef3951 form=interval measure=count role=writes scope=receipts/readings/5d5ed032748c2ce5e5cacdb79d7d51205b024d34ae8347d78a90e4a2372b7928/f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 value=1..1
|
|
21
|
+
bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/debit.js value=sha256:4e9c79bfb91f542dcb1609846da3d32058b87a4c45cd3eafa13821d567f8feb9\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/graph.js value=sha256:5be27ebec40dcb3ffdc34775622a1c07367daa2ad2de93b3ca0edecf4b823bea\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/ideal.js value=sha256:4c55b1eaad5301c264611e322aee48734c2dd95a7f54493ca1211caf6a4988fd\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/masks.js value=sha256:4f175c64ecdd57f4e0b0746b58940390c6777b7cc8944b27f0badb7ba16bf37f\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/observer.js value=sha256:a2ff9de359770cc855074c673c008c4c4168d371983fd88f14f7c90290d39e7b\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/packed.js value=sha256:292c09c79fe8870f6fd45558a949ab6e1ca9081d97cef9008dff79295e7a53fe\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/provenance.js value=sha256:75d20ac3801c01d2526550a2ec20201ec750290491aa7e8325ecef3fb6d6bb43\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/register.js value=sha256:fa008ab4534bf27169dd85e9e873d4631d461fb0bcf7d5280dbdc25af2ddd4bd\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/shuffle.js value=sha256:8dfd76ebab3d7bedec1e686cb371cfc96b4195c04e7f689df21cad5bd3d5726c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/standing.js value=sha256:261a3ab5322cc48120e42ce468249f83ad88be28dfbb892cfee403e6833dd8d1\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/unit-span.js value=sha256:f882bf1b9c084707e8490e47324fa68ad48f662cb6ee94be5075e48ecb2eb514\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/unit.js value=sha256:a26c30d5456d99667ab44ff56663fff0ced252de60b860acefb820c32a0f5f78\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/vector-move.js value=sha256:0573c65d6a55bc4c20cd0e2e537e9ae6d275825b0d6e09bf20828c193b0d0a87\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/debit/vector.js value=sha256:250eda384b40b23c5dbe20399e1a53a2e3d314847ac1b91c7172028cb6b91fb3\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/encounter.js value=sha256:84a46a48496abb0fcad4d37f7c891e9c7e4a7ea080035f05473d7e052e51bf22\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/field.js value=sha256:820abaed1d422fdb89c759ca31f3732b6bea6ff7bd1a5b20f2114c1626979880\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/fragility.js value=sha256:6c533de862591dfb397d4c93a0bc0660a00065343e6876691816c3e23724cb2e\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/frontier.js value=sha256:11931187be2c7e1afdb139c0e80582d8f2c1beefc30294c671f4d19d61636aba\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/join.js value=sha256:c574e7f455e18284a8f9c120a78e30c3ad87e666dc85c4c9201f1b1d3abc5f71\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/meet.js value=sha256:9b52c83f47dbf56e144aba56cc077ac7eb0ef57579aea5c72c13324d4f9dd39c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/motion.js value=sha256:8ae192e43a7ae7c0b406280984063a8094a67a8a0d4e0d9fa943a21c2c7571b7\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/observe.js value=sha256:e9255aea5a52edaa841ca520804870f714817fb64b764c3d66921055c6165f3f\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/present.js value=sha256:1d730a7a65ffd97f3fce761ddee21b99947bfc60ca190b4107c90562fde26692\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/refine.js value=sha256:1653d77d1e954d29eb5e6968ff8fb9992d05a2f0990ee48d634c931bf24c1201\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/require.js value=sha256:895a5491ca1c60cb0cc7db2325df7c9b02e69ce25df7dc378371fc38df146b9c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/sign.js value=sha256:0286a81e542ce89696d8593dedec9b7930bb67b4bf55b959979638f1eb98f8a9\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/signatures.js value=sha256:4f7b0afb3a20e1e23a64eaa5ba14d3a30c091f7ba435b75d862330067d117e2e\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/field/yield.js value=sha256:89aa3852828ff5ddeeb280532220f63ce8af5c8b66d722833a30282062c3a834\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/axioms.js value=sha256:b2c0d26adcc3374a6d1864f60aeee57d2b0660ebe2ca08cb35602af077f3f722\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/declaration.js value=sha256:c5c4459ad4f5cffe970f87129bd5ddedeb9e35f1163204630788a574a5fdbd78\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/errors.js value=sha256:0cc476498db21b2aab91e90cc0172bb34373cbe2876a21a21efdc8ba088112b0\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/forms.js value=sha256:9061bbb17d68f5d04e469ca83eebf4aa9db184d627b4228bee504f7f0be3dc42\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/index.js value=sha256:597e3c37c0d370687d1ed0674ae0737c8ec9efac5ca270c1abdb84413dd147f5\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/lattice.js value=sha256:0922b8ee14e1fd0e6c56cf026b377e67e070e1ab5ede71b64aebe17ecc4303a7\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/obligatory.js value=sha256:1cce37198c95a6afd9842d82feef430414f1c6f0933a631f70e0d21b9eafb924\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/order.js value=sha256:4752a5da2995163d26712bb96acc9c14d5d65f76366e941ec29c25dd8fdd6741\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/price/attainable.js value=sha256:e40a50e47d4a3c5011dd8c7a71a792f194b79c2a1024a681e9048bb3f8864d83\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/price/blocks.js value=sha256:2429a95d5b61db452262c54a19c2cfe6ce2a87818f01a0b6aaa2f91cc6fc28ae\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/price/index.js value=sha256:5cb7b5aa3a623c2cb6f1e495353161279be762724c48c9f9ff168669d0eeeaa5\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/price/premium.js value=sha256:3c8e7a61164f5dd2416112baa791ed401922afeafe06239c597113bb2b5f78ff\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/price/quote.js value=sha256:af4365d142c302cb4cf98f9d5dbf8cbac1aa53aa5cde602fbf2df2c90303be84\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/scale-lattice.js value=sha256:2669476b7811dc4db1ffe60131fbf5df568030f37d66cacb7062f7ed87704fa6\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/types.js value=sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/lattice/vacuity.js value=sha256:86a33399266ad3d5274838e9580a467d045e8edba6bded643ffdb580a79ae37d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/error-events.js value=sha256:df5c77620adf2de919a0f1eb3df53837ce62d43bfdf72acfde04f80961ded97e\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/experiments.js value=sha256:1b93636b8f8c98332c4a64d5895dd0ec27952062b18eb1c580f58c03f54ccb21\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/fitting.js value=sha256:62235cb2bc72fae9cfa5113fbce6fc8101c3389e68c538ee4b11e01c31d183cc\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/identification.js value=sha256:ba2a5424e4b54c46d82410d506a47483cf5ad6cc272379fec0a5894b730cbe0d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/index.js value=sha256:e056393908931aac0ef64e7abcab68ece360536b6578be1e945e62af6a409475\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/m3-experiment.js value=sha256:159fc546bda79de7f50dfeeccee73854600d0a4d51ca2f875d45866f29b1a0f9\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/m3.js value=sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/model.js value=sha256:70b5d5d4e3c835e03fefa2adf632669eec248a2a2adabf9b054be4fd018cb85a\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/rational.js value=sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/spectrum.js value=sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/replay.js value=sha256:195a93d0e955b30575e5172e4dcb779f8c688997de1a3a3a5c649bcc6a723ab3\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/chain.js value=sha256:d35b6c3becfc9c003e3995f01bc27860c1914eafe314efde9e82a6346f58af1c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/complement.js value=sha256:b3a9d0f794f839a592649211ee5375743cf5cc9fb891926a6061b50a11ab4dde\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/dual.js value=sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/field.js value=sha256:691ea483df5d6021feae901607ccd3b67721514c2963ad539466839d6a1db430\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/field/physics.js value=sha256:69e500cdd7bb1a3eff095c4e15078db508d214adae84c3b3d751ec60de314ddb\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/field/policy.js value=sha256:b248f374304c22f7f08e9639f32cd5651e4092684a874dac3396b9b19fb7ed10\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/field/self.js value=sha256:d8fe9cf3233c45cb87976097920da194cdfae9cd7da4e75f4bb15de533b258df\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/field/wave.js value=sha256:ab030ffa1cf49b5b26a9e5b62a94d4f553c6313c5e7138f66016d7d12f620c0d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/galois.js value=sha256:d00226bf65a595b09fd87a93be678161d87f12978ff2e602784a740645b90d05\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/ideal.js value=sha256:808ae8d7d6b8aabe93aea301078940accf2f983b717d13e8422d7edd0fd22473\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/product.js value=sha256:30e36e380abf5889add3344a02391a9b380f9caeec074b7a31aae8cb705e7e07\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/product/design.js value=sha256:25a6f4a9ace42b36ccb5a3c3ba22e2f6d9c0c1f17e3daf1155b7f0241ccdd82d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/product/mould.js value=sha256:2cb3fd08488befdcbeec8c436497940f3e06f25b0e23ad3c21dbe703a6f2c526\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/product/polygon.js value=sha256:de9b6c41aec0a0dfc0f20db7f5daaf05706d848c9788aea01914a2e1abea43b5\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/product/reach.js value=sha256:81ceeabdccb4451d03f307ca959caa0373512272715dcd46b70444c4ccbc4d61\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/product/resolution.js value=sha256:e99ff8ea01f66fc62144dc160995f8fa4e64adda336d1c31be156dc8d8bd90da\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/quotient.js value=sha256:17bfe8d1d4dfabf20478ffbce8ff23e2602463d1e5c79ea6c3976a53932c2cc0\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/spectrum.js value=sha256:41a7cf926fd64d14ef1e73f630778e21597641f9cf40930a77586e7b08468604\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/views/valuation.js value=sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:cdca08ad733e7f3508b132832e3c241ba46a34343f478e08a21447e9f483491e\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=package.json value=sha256:d4fcea75f99620bffeeb854615fbce517887b0a72cc648d588a07364a60fc3d2\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/no/installed-artifact.json value=sha256:d08045ab5e559ce95d0de9f4ebf5a813ce9c26651bbc9e0fab908690f0a2059b\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/yes/installed-artifact.json value=sha256:9bb1a5894fe05fd4de1e2834427d667de3d85da0c91b3ea5a3981790f6234c4a\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/installed-artifact.cli.json value=sha256:c6ac9ae24c531810bde42db955132170801845ffd06c8acd82a81d8d90859440\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=release/installed-artifact value=dist/debit/debit.js|dist/debit/graph.js|dist/debit/ideal.js|dist/debit/masks.js|dist/debit/observer.js|dist/debit/packed.js|dist/debit/provenance.js|dist/debit/register.js|dist/debit/shuffle.js|dist/debit/standing.js|dist/debit/unit-span.js|dist/debit/unit.js|dist/debit/vector-move.js|dist/debit/vector.js|dist/field/encounter.js|dist/field/field.js|dist/field/fragility.js|dist/field/frontier.js|dist/field/join.js|dist/field/meet.js|dist/field/motion.js|dist/field/observe.js|dist/field/present.js|dist/field/refine.js|dist/field/require.js|dist/field/sign.js|dist/field/signatures.js|dist/field/yield.js|dist/lattice/axioms.js|dist/lattice/declaration.js|dist/lattice/errors.js|dist/lattice/forms.js|dist/lattice/index.js|dist/lattice/lattice.js|dist/lattice/obligatory.js|dist/lattice/order.js|dist/lattice/price/attainable.js|dist/lattice/price/blocks.js|dist/lattice/price/index.js|dist/lattice/price/premium.js|dist/lattice/price/quote.js|dist/lattice/scale-lattice.js|dist/lattice/types.js|dist/lattice/vacuity.js|dist/measures/error-events.js|dist/measures/experiments.js|dist/measures/fitting.js|dist/measures/identification.js|dist/measures/index.js|dist/measures/m3-experiment.js|dist/measures/m3.js|dist/measures/model.js|dist/measures/rational.js|dist/measures/spectrum.js|dist/replay.js|dist/views/chain.js|dist/views/complement.js|dist/views/dual.js|dist/views/field.js|dist/views/field/physics.js|dist/views/field/policy.js|dist/views/field/self.js|dist/views/field/wave.js|dist/views/galois.js|dist/views/ideal.js|dist/views/product.js|dist/views/product/design.js|dist/views/product/mould.js|dist/views/product/polygon.js|dist/views/product/reach.js|dist/views/product/resolution.js|dist/views/quotient.js|dist/views/spectrum.js|dist/views/valuation.js|package.json|samples/no/installed-artifact.json|samples/yes/installed-artifact.json|vectors/measures/installed-artifact.cli.json\n" at=place:sha256:83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f by=reader:cdca08ad733e form=alphabet measure=bytes role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f value=sha256:83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f
|
|
22
|
+
bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=docs/measures.md value=sha256:798d109b5a7640b0df77b16b01e150caedd82ba58231190740e6df43c78fe010\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:dcc965ef39513344ae0eae05d85f7cccc20da4e65e36ccddd04335505b4c6e43\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/measures/descent.json value=sha256:a78c8577a63951b17820ebcb834ba8a50b81e1ca059c20e157b2f95dfddb3a1a\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/descent.cli.json value=sha256:2fe7004a4009d3a4e44eb2617936433075d2b4e330f6971b25ac016909d5e023\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/measures/descent value=docs/measures.md|samples/measures/descent.json|vectors/measures/descent.cli.json\n" at=place:sha256:e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 by=reader:dcc965ef3951 form=alphabet measure=bytes role=writes scope=receipts/readings/964487e28f37cd493abcd8619ec111b20f73c36e702081c664120dcb01860410/e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 value=sha256:e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9
|
|
23
|
+
bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=docs/measures.md value=sha256:798d109b5a7640b0df77b16b01e150caedd82ba58231190740e6df43c78fe010\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:dcc965ef39513344ae0eae05d85f7cccc20da4e65e36ccddd04335505b4c6e43\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/measures/m3.json value=sha256:1f5e3bf0e9724149ac27feb6bce18519025d7736721898dae9a89ccafd500564\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/m3.cli.json value=sha256:2bcbdb466fa775ececce531d0904ee072ae400dc962f1a40a3ad3f122c8631c6\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/measures/m3 value=docs/measures.md|samples/measures/m3.json|vectors/measures/m3.cli.json\n" at=place:sha256:077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 by=reader:dcc965ef3951 form=alphabet measure=bytes role=writes scope=receipts/readings/c33a24fe7e44f97a07f2eb1bd01139e572a2e538f196af51dcd3adcbb08dc176/077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 value=sha256:077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265
|
|
24
|
+
bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=docs/measures.md value=sha256:798d109b5a7640b0df77b16b01e150caedd82ba58231190740e6df43c78fe010\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:dcc965ef39513344ae0eae05d85f7cccc20da4e65e36ccddd04335505b4c6e43\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/measures/observations.json value=sha256:b77baf80ed23536436419f079b7ac3e4769cc9460d0843b0129729c58a1e3dae\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/observations.cli.json value=sha256:ae86e00f99a219b27417d929aa713a6eeb307a979fb8cbc56b7cf28f92e7ff0e\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/measures/observations value=docs/measures.md|samples/measures/observations.json|vectors/measures/observations.cli.json\n" at=place:sha256:c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d by=reader:dcc965ef3951 form=alphabet measure=bytes role=writes scope=receipts/readings/48a7f80c07c1b042a8958e5cf359fefdfcd49e798bca7068ae2c81583447c835/c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d value=sha256:c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d
|
|
25
|
+
bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=docs/measures.md value=sha256:798d109b5a7640b0df77b16b01e150caedd82ba58231190740e6df43c78fe010\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:dcc965ef39513344ae0eae05d85f7cccc20da4e65e36ccddd04335505b4c6e43\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/measures/spectrum.json value=sha256:9d847928cd6998ed5a831a9442721bad05bf65326191c152a207d531b3e31cdf\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/spectrum.cli.json value=sha256:b85dcadd1af12092a17f20a489376db89375823fd9ae69617924946b4d327144\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/measures/spectrum value=docs/measures.md|samples/measures/spectrum.json|vectors/measures/spectrum.cli.json\n" at=place:sha256:f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 by=reader:dcc965ef3951 form=alphabet measure=bytes role=writes scope=receipts/readings/5d5ed032748c2ce5e5cacdb79d7d51205b024d34ae8347d78a90e4a2372b7928/f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 value=sha256:f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97
|
|
26
|
+
bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=docs/measures.md value=sha256:798d109b5a7640b0df77b16b01e150caedd82ba58231190740e6df43c78fe010\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:dcc965ef39513344ae0eae05d85f7cccc20da4e65e36ccddd04335505b4c6e43\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/measures/unanimity.json value=sha256:f91f1c7e14adf59d49880893b70908082ff6922320cb663bc88d7eed28a92229\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/unanimity.cli.json value=sha256:9f2741903489de8d39628374e76685d9b730147233439ff14e1e2c0682c1d836\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/measures/unanimity value=docs/measures.md|samples/measures/unanimity.json|vectors/measures/unanimity.cli.json\n" at=place:sha256:18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 by=reader:dcc965ef3951 form=alphabet measure=bytes role=writes scope=receipts/readings/c7c4d20a45e112bf416671de5d42c24f23aa5689e6f9159cde74d6e9d17d1b82/18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 value=sha256:18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487
|
|
27
|
+
bound-lock/1 at=place:sha256:077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/m3 value=0..0
|
|
28
|
+
bound-lock/1 at=place:sha256:077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 by=reader:dcc965ef3951 form=interval measure=s role=writes scope=receipts/readings/c33a24fe7e44f97a07f2eb1bd01139e572a2e538f196af51dcd3adcbb08dc176/077fedd07ec0ae290872318fe389a9a125488605609547c9c0c04000e1bd7265 value=0.215980..0.215980
|
|
29
|
+
bound-lock/1 at=place:sha256:18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/unanimity value=0..0
|
|
30
|
+
bound-lock/1 at=place:sha256:18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 by=reader:dcc965ef3951 form=interval measure=s role=writes scope=receipts/readings/c7c4d20a45e112bf416671de5d42c24f23aa5689e6f9159cde74d6e9d17d1b82/18e0fad4695a6a6ffb81d6ab67b34df0ec031247314d832ae1aa12823b505487 value=0.191485..0.191485
|
|
31
|
+
bound-lock/1 at=place:sha256:83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f by=reader:cdca08ad733e form=interval measure=count role=writes scope=release/installed-artifact value=0..0
|
|
32
|
+
bound-lock/1 at=place:sha256:83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f by=reader:cdca08ad733e form=interval measure=s role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f value=0.188547..0.188547
|
|
33
|
+
bound-lock/1 at=place:sha256:83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f by=reader:cdca08ad733e form=interval measure=s role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/83943e401680e8505b1f03d8aa17044993ee80744ce6328adcc4e705a627635f value=0.197292..0.197292
|
|
34
|
+
bound-lock/1 at=place:sha256:c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/observations value=0..0
|
|
35
|
+
bound-lock/1 at=place:sha256:c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d by=reader:dcc965ef3951 form=interval measure=s role=writes scope=receipts/readings/48a7f80c07c1b042a8958e5cf359fefdfcd49e798bca7068ae2c81583447c835/c6ee351b085197e09e6b0f51a82e67e2cd09f998862cdc3053255708192efd0d value=0.192332..0.192332
|
|
36
|
+
bound-lock/1 at=place:sha256:e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/descent value=0..0
|
|
37
|
+
bound-lock/1 at=place:sha256:e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 by=reader:dcc965ef3951 form=interval measure=s role=writes scope=receipts/readings/964487e28f37cd493abcd8619ec111b20f73c36e702081c664120dcb01860410/e1e7be0d27e1e81cdaf3085981e041894fe415dad7cc8104900186a2feb3c5d9 value=0.185550..0.185550
|
|
38
|
+
bound-lock/1 at=place:sha256:e93970860d944d12c66c8adb7498881b15117835b777864649942612a14288a5 by=reader:159ce79a262e form=interval measure=unreceipted role=reads scope=door/unreceipted value=0..0
|
|
39
|
+
bound-lock/1 at=place:sha256:eebb072db8c87300436f978be81300b47c76b1249ef3c8d7d29531aa70071ac4 by=reader:36e1f6822242 form=interval measure=count role=reads scope=publish-auth-is-trusted/tokens value=0..0
|
|
40
|
+
bound-lock/1 at=place:sha256:f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 by=reader:dcc965ef3951 form=interval measure=count role=writes scope=publication/measures/spectrum value=0..0
|
|
41
|
+
bound-lock/1 at=place:sha256:f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 by=reader:dcc965ef3951 form=interval measure=s role=writes scope=receipts/readings/5d5ed032748c2ce5e5cacdb79d7d51205b024d34ae8347d78a90e4a2372b7928/f9d466a8f9f9945e87ee62030faa49762ad113c9584065f8891a3e6c6ea30d97 value=0.194637..0.194637
|
|
42
|
+
bound-lock/1 at=cone:0ebb93891634dbfecd3b05ef3adc89f117e83a3765b64a4ff27a90534074e2e3 by=judge form=alphabet measure=id role=writes scope=view/manifest value=published-manifest
|
|
43
|
+
bound-lock/1 at=cone:0ebb93891634dbfecd3b05ef3adc89f117e83a3765b64a4ff27a90534074e2e3 by=judge form=alphabet measure=cone role=writes scope=view/manifest value=package.json
|
|
44
|
+
bound-lock/1 at=receipt:sha256:fa4675a71086f368caf29dd133350581209de481961509ca6dd7d32533d63d7e by=judge form=alphabet measure=status role=writes scope=algebra-is-closed value=present
|
|
45
|
+
bound-lock/1 at=receipt:sha256:fa4675a71086f368caf29dd133350581209de481961509ca6dd7d32533d63d7e by=judge form=alphabet measure=cone role=writes scope=algebra-is-closed value=samples/yes/algebra-is-closed.json|src/lattice/index.ts
|
|
46
|
+
bound-lock/1 at=receipt:sha256:b109b154c68453fb3e9a6808bd243071aca404df4a97dd6505045e024f2eb6f6 by=judge form=alphabet measure=status role=writes scope=field-uses-price-and-debit value=present
|
|
47
|
+
bound-lock/1 at=receipt:sha256:b109b154c68453fb3e9a6808bd243071aca404df4a97dd6505045e024f2eb6f6 by=judge form=alphabet measure=cone role=writes scope=field-uses-price-and-debit value=samples/yes/field-uses-price-and-debit.json|src/field/motion.ts
|
|
48
|
+
bound-lock/1 at=receipt:sha256:231e0f4193c6eaa72349516671d22accd54faabf828027eb2397620af72af7fb by=judge form=alphabet measure=status role=writes scope=three-theories-one-algebra value=present
|
|
49
|
+
bound-lock/1 at=receipt:sha256:231e0f4193c6eaa72349516671d22accd54faabf828027eb2397620af72af7fb by=judge form=alphabet measure=cone role=writes scope=three-theories-one-algebra value=samples/yes/three-theories-one-algebra.json|src/lattice/index.ts
|
|
50
|
+
bound-lock/1 at=place:sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:0c0555d938270172204feeaa3cef6273e9f129db27ef8f8a85fd9f12f0b6b30a
|
|
51
|
+
|
|
52
|
+
bound-lock/1 at=place:sha256:2c2968cb96c16d0dda982e1a2eb82c226026babf3b60fcb6d33ecc5afaf54685 by=bound form=alphabet measure=digest role=writes scope=receipts value=sha256:57cc154a583a13c970fc6880e6abf399bb3b1b2e5796c194e2cf061b6094319a
|
|
53
|
+
|
|
54
|
+
bound-lock/1 at=place:sha256:88cc95d3094da4670d06afff6b0c4e17e5559c081baa2c45afb3b513e11847ec by=bound form=interval measure=count role=writes scope=receipts/. value=2..2
|
|
55
|
+
bound-lock/1 at=place:sha256:c13146cf0613c8e08c59687a261050cdc889e21591e4991886ebbdb11e905dd3 by=bound form=alphabet measure=bytes role=writes scope=receipts/. value=sha256:c13146cf0613c8e08c59687a261050cdc889e21591e4991886ebbdb11e905dd3
|
|
56
|
+
bound-lock/1 at=place:sha256:3b7e909ca65303d79b3d298d5ccc14ca3eb8bff01c99f8b89399da6588f6ff59 by=bound form=interval measure=count role=writes scope=receipts/algebra-is-closed value=2..2
|
|
57
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/algebra-is-closed value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
58
|
+
bound-lock/1 at=place:sha256:dd55d871e80ad1f84c7c89fc783da84994dc05466a32bd495b2241c3ad673789 by=bound form=interval measure=count role=writes scope=receipts/door value=1..1
|
|
59
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/door value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
60
|
+
bound-lock/1 at=place:sha256:24433945d8e148fe487b8b5c8d43d87cf80481b650001f75ee7b2ae93289b286 by=bound form=interval measure=count role=writes scope=receipts/field-uses-price-and-debit value=2..2
|
|
61
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/field-uses-price-and-debit value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
62
|
+
bound-lock/1 at=place:sha256:fca855f71ee0f8414170ac2e4d20beae6d1bf1c49a304999349430d386f4a6ba by=bound form=interval measure=count role=writes scope=receipts/instrument value=1..1
|
|
63
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/instrument value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
64
|
+
bound-lock/1 at=place:sha256:4c392d778886811158bef24dcaed626e65c0d284caa0dbace4452410c64a68f1 by=bound form=interval measure=count role=writes scope=receipts/publication value=10..10
|
|
65
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/publication value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
66
|
+
bound-lock/1 at=place:sha256:f8b6ecc1cadf295a0373223fce2993c58a41b98afaf21ce54ea449716626be95 by=bound form=interval measure=count role=writes scope=receipts/publish-auth-is-trusted value=1..1
|
|
67
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/publish-auth-is-trusted value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
68
|
+
bound-lock/1 at=place:sha256:b7250948fbcc60e5fa872bb4956bf7c5118d3c52a041c11d71d2d46f51c1c9bc by=bound form=interval measure=count role=writes scope=receipts/receipts value=25..25
|
|
69
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/receipts value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
70
|
+
bound-lock/1 at=place:sha256:901dcb67cd11a16d484b01b71c98146387ed403f73a52363beef1207a909a01e by=bound form=interval measure=count role=writes scope=receipts/release value=2..2
|
|
71
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/release value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
72
|
+
bound-lock/1 at=place:sha256:4621c1f9b1c8aeec20ed55e5db3d6cc206d5b38c169c0ffad37e17c79138a1cf by=bound form=interval measure=count role=writes scope=receipts/three-theories-one-algebra value=2..2
|
|
73
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/three-theories-one-algebra value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
74
|
+
bound-lock/1 at=place:sha256:db3f1145e168584bac01e846da6847b545ee760cc5832c0f97b1fa4165468167 by=bound form=interval measure=count role=writes scope=receipts/view value=2..2
|
|
75
|
+
bound-lock/1 at=place:sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767 by=bound form=alphabet measure=bytes role=writes scope=receipts/view value=sha256:34bc2a08bcb6a61ca28ddca720a505e4b39776a935a181f683e9e96e5fcb9767
|
|
@@ -0,0 +1,92 @@
|
|
|
1
|
+
[
|
|
2
|
+
{
|
|
3
|
+
"yes": {
|
|
4
|
+
"group": "descent",
|
|
5
|
+
"place": "orchard",
|
|
6
|
+
"graph": [
|
|
7
|
+
{
|
|
8
|
+
"scope": "base",
|
|
9
|
+
"restsOn": []
|
|
10
|
+
},
|
|
11
|
+
{
|
|
12
|
+
"scope": "one",
|
|
13
|
+
"restsOn": [
|
|
14
|
+
"base"
|
|
15
|
+
]
|
|
16
|
+
},
|
|
17
|
+
{
|
|
18
|
+
"scope": "two",
|
|
19
|
+
"restsOn": [
|
|
20
|
+
"base",
|
|
21
|
+
"one"
|
|
22
|
+
]
|
|
23
|
+
}
|
|
24
|
+
],
|
|
25
|
+
"cell": "base"
|
|
26
|
+
},
|
|
27
|
+
"no": {
|
|
28
|
+
"group": "descent",
|
|
29
|
+
"place": "orchard",
|
|
30
|
+
"graph": [
|
|
31
|
+
{
|
|
32
|
+
"scope": "base",
|
|
33
|
+
"restsOn": [
|
|
34
|
+
"one"
|
|
35
|
+
]
|
|
36
|
+
},
|
|
37
|
+
{
|
|
38
|
+
"scope": "one",
|
|
39
|
+
"restsOn": [
|
|
40
|
+
"base"
|
|
41
|
+
]
|
|
42
|
+
}
|
|
43
|
+
],
|
|
44
|
+
"cell": "base"
|
|
45
|
+
}
|
|
46
|
+
},
|
|
47
|
+
{
|
|
48
|
+
"yes": {
|
|
49
|
+
"group": "descent",
|
|
50
|
+
"place": "catalog",
|
|
51
|
+
"graph": [
|
|
52
|
+
{
|
|
53
|
+
"scope": "base",
|
|
54
|
+
"restsOn": []
|
|
55
|
+
},
|
|
56
|
+
{
|
|
57
|
+
"scope": "one",
|
|
58
|
+
"restsOn": [
|
|
59
|
+
"base"
|
|
60
|
+
]
|
|
61
|
+
},
|
|
62
|
+
{
|
|
63
|
+
"scope": "two",
|
|
64
|
+
"restsOn": [
|
|
65
|
+
"base",
|
|
66
|
+
"one"
|
|
67
|
+
]
|
|
68
|
+
}
|
|
69
|
+
],
|
|
70
|
+
"cell": "base"
|
|
71
|
+
},
|
|
72
|
+
"no": {
|
|
73
|
+
"group": "descent",
|
|
74
|
+
"place": "catalog",
|
|
75
|
+
"graph": [
|
|
76
|
+
{
|
|
77
|
+
"scope": "base",
|
|
78
|
+
"restsOn": [
|
|
79
|
+
"one"
|
|
80
|
+
]
|
|
81
|
+
},
|
|
82
|
+
{
|
|
83
|
+
"scope": "one",
|
|
84
|
+
"restsOn": [
|
|
85
|
+
"base"
|
|
86
|
+
]
|
|
87
|
+
}
|
|
88
|
+
],
|
|
89
|
+
"cell": "base"
|
|
90
|
+
}
|
|
91
|
+
}
|
|
92
|
+
]
|