@lapxo/obligations 0.4.4 → 0.4.5

package/receipts.bound

@@ -1,17 +1,23 @@
 bound-lock/1 at=place:sha256:0cc69f159b6ddd96bb8080c4df3981d8b78bf4423b962df0312c95c9d03c1455 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/unanimity value=0cc69f159b6ddd96
 bound-lock/1 at=place:sha256:162a8b06e2e70acf22b691029b1531eccef1fea81799e3484f0a13255676d541 by=reader:21e6f4a452b5 form=alphabet measure=observed role=writes scope=publication/measures/confidence value=162a8b06e2e70acf
 bound-lock/1 at=place:sha256:1b13c20e8dfdea1f718208f24646659c5bab5f7a73d74fffd884744a677a5090 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=receipts/readings/6242f57c8b1f7a2eb903f7f4786ee948d8b53fc78dbb4e8e14ae416b1b52afd9/6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 value=1b13c20e8dfdea1f
+bound-lock/1 at=place:sha256:2056432f32777a3fca8dc017960637b4122f3361713a70e5b47a70b6b48c324a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=receipts/readings/5df642b1aceb837c13b2f5db3bbabbb8e6208ac903ae0fb40ba154658e2bfdad/8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a value=2056432f32777a3f
 bound-lock/1 at=place:sha256:2361ffd6f7a7d6393207a60f16eb868b7525cae3e7dc139739d7aa21e6c7d2af by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/unanimity-fit value=2361ffd6f7a7d639
 bound-lock/1 at=place:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d by=reader:21e6f4a452b5 form=alphabet measure=observed role=writes scope=publication/measures/tolerant-count value=29418f516fe94574
+bound-lock/1 at=place:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=publication/evidence/m0-finite-grid value=2cc88d676aed52c4
 bound-lock/1 at=place:sha256:302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/observations value=302b8ee9d47488a7
 bound-lock/1 at=place:sha256:34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29 by=reader:7cbbfe707dce form=alphabet measure=observed role=writes scope=release/installed-artifact value=34aa0f1a425ea48c
 bound-lock/1 at=place:sha256:3789a0729cb12ab88e70aaaa57680611b1e1ebe8928b2c6a91d098a8440f34f3 by=reader:3b7b382504a7 form=alphabet measure=observed role=writes scope=receipts/readings/d46ceb64595beb6ec226d9071cc1756b4e2f43a1f7e8344400f851f220d89615/c8f723505434197aab9b711bb72540ceab68ee82dcf49eccd92ccf88dbda1c09 value=3789a0729cb12ab8
 bound-lock/1 at=place:sha256:448a74ba49bcf231cdb7d9a821cfca5801c2665fb96f7a2b739702f716cb0e92 by=reader:3b7b382504a7 form=alphabet measure=observed role=writes scope=publication/laws/l9-mix-loss value=448a74ba49bcf231
 bound-lock/1 at=place:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/coincidence value=464c84552556f453
 bound-lock/1 at=place:sha256:4a76805b19d809015a7b2f141b9fda0215b6924e94bd5d4c41bf0153119bff08 by=reader:53cc6af9e142 form=alphabet measure=observed role=writes scope=receipts/readings/862e6beadae8519ce21305af9b2e9ca7691fc8abdd4200bcad8258269a8a90c9/9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 value=4a76805b19d80901
+bound-lock/1 at=place:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=publication/evidence/m0-allocation value=5754a6ddf5c0d89c
 bound-lock/1 at=place:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/descent value=58c6208d9a0cd430
+bound-lock/1 at=place:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=publication/evidence/m0-limit-offdiag value=5ac739afe2d3f9d8
 bound-lock/1 at=place:sha256:615555c1a9c56859eefd6d79246bf211eafadf4edcc6021ccac14325c0fafd34 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=receipts/readings/c7c4d20a45e112bf416671de5d42c24f23aa5689e6f9159cde74d6e9d17d1b82/0cc69f159b6ddd96bb8080c4df3981d8b78bf4423b962df0312c95c9d03c1455 value=615555c1a9c56859
 bound-lock/1 at=place:sha256:633f75266ac64142ebf1948de75e126bf633fd4e08d98565d0e94e9d45c3642d by=reader:3b7b382504a7 form=alphabet measure=observed role=writes scope=receipts/readings/674ef5c10e61cb0c14a99ddcbdefb0022f0aba116352aa3e606892464b915a34/7729563a0af7a3624b5fb1b67ec05b9bfc52dc9c54a6ebf25f5ad5461e2631bf value=633f75266ac64142
+bound-lock/1 at=place:sha256:660a262cb308353bed45470716e5ace1e9ddda015d5d51ee46162cb8b4f83050 by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=receipts/readings/02a1cde3cadf07955581b480a0bd05850c7db29a077341d7b044bc4ab12b24c8/abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be value=660a262cb308353b
+bound-lock/1 at=place:sha256:6bbed11c6a35e5e1cf793ee37434b374d638ffe3dd90589a1375af88c0f7e4e8 by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=receipts/readings/446d01e624fd6d24d747786b95e2fcbcddcb49c2cc9e557fa5411523a0399769/5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f value=6bbed11c6a35e5e1
 bound-lock/1 at=place:sha256:6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/capacity value=6cbe90675647612e
 bound-lock/1 at=place:sha256:703cffbbe1e8272e758034a6835ac4b63b45da671386ffb1b5dea53094e0a518 by=reader:21e6f4a452b5 form=alphabet measure=observed role=writes scope=receipts/readings/9402e9ae4e0f077063b0b85ba4bce36e5a7b3ca93b7ad1f45aecf6fb325179b0/162a8b06e2e70acf22b691029b1531eccef1fea81799e3484f0a13255676d541 value=703cffbbe1e8272e
 bound-lock/1 at=place:sha256:75acacd271f3acd3425c668d877ada1aac59e88fd4162eadc5712a55203fe600 by=reader:27692ceb8ce8 form=alphabet measure=observed role=writes scope=publication/evidence/cofailure-pairs value=75acacd271f3acd3
@@ -20,10 +26,13 @@ bound-lock/1 at=place:sha256:7729563a0af7a3624b5fb1b67ec05b9bfc52dc9c54a6ebf25f5
 bound-lock/1 at=place:sha256:7b2a2e30f029380673995423dcc79a2b71458f90c829fad4e524ff477c2e536a by=reader:21e6f4a452b5 form=alphabet measure=observed role=writes scope=receipts/readings/d5ee79a4d5dd94960ef5a987f4b41b6ac26a72d93d6488882d3bebe6dcd04283/cd2c814414c04fdac6e303ef8d0677daec8cb665a00fedc5349186037804b6ab value=7b2a2e30f0293806
 bound-lock/1 at=place:sha256:7e17c015a7391ad60fa7f65f8f8cccdf630ddbbd5c4201727a197f5b2b0945f5 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=receipts/readings/5d5ed032748c2ce5e5cacdb79d7d51205b024d34ae8347d78a90e4a2372b7928/b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 value=7e17c015a7391ad6
 bound-lock/1 at=place:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/decisions value=874cf22e6a89d71d
+bound-lock/1 at=place:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=publication/evidence/m0-pair-coincidence value=8e10a67dd677a3c0
 bound-lock/1 at=place:sha256:8fff07261da5459953205473913468113026d98f687d4db851ca58222bdeaacd by=reader:ac7d9019dec6 form=alphabet measure=observed role=writes scope=receipts/readings/2934f68cd6dc7ac7490d556d9bd3819c30b46868c50e3e494be3a559288fef54/eb2aeb2bef9541f446da19b33766ad1c75ed9429513a8c50693a525adb825289 value=8fff07261da54599
+bound-lock/1 at=place:sha256:93db7951d17326b12d0e7593f2cef0aaeb23488cfdf2a92d59f99ca046b1c55b by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=receipts/readings/ca8424bbf1a1b9816473adc86c795fc0781bb84aa7045eed4427b40751ee3dda/5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 value=93db7951d17326b1
 bound-lock/1 at=place:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=alphabet measure=observed role=writes scope=publication/evidence/marginal-information value=9abe744ab79628bc
 bound-lock/1 at=place:sha256:9e6a6180cde10d00b7d7552d92ae2cf19aff2b913cdbe95eb6106a9dbd4db031 by=reader:bf943a1b6733 form=alphabet measure=observed role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/f0022a81c168743f16fccdf3095e9788822933c7e020d5196132bf300d7ee46a value=9e6a6180cde10d00
 bound-lock/1 at=place:sha256:a8477faa163119d19c591b7874b8aeadb1352ebe8caafc24bfa87b9f4895117c by=reader:7cbbfe707dce form=alphabet measure=observed role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29 value=a8477faa163119d1
+bound-lock/1 at=place:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=publication/evidence/m0-limit-diag value=abf7f867992bcf17
 bound-lock/1 at=place:sha256:b49dac8c99f1aa654f7af6e9d12c2b98804e5d4ecd3a60f5251fd39eaf0fc078 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=receipts/readings/c33a24fe7e44f97a07f2eb1bd01139e572a2e538f196af51dcd3adcbb08dc176/fa678cf26d86e7e7632abd261a0337d81760895210035c0005c8d778761e7b0b value=b49dac8c99f1aa65
 bound-lock/1 at=place:sha256:b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/spectrum value=b8a1f14d038b0040
 bound-lock/1 at=place:sha256:ba6becfba8f1cd83561866386340e2365e07a475d0a5ac4da85c29035948f9e4 by=reader:4949e256f87e form=alphabet measure=observed role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/f88c8593411feda21dba18bedaea247d8724668fc0243263910853afef53fd03 value=ba6becfba8f1cd83
@@ -42,6 +51,7 @@ bound-lock/1 at=place:sha256:f0022a81c168743f16fccdf3095e9788822933c7e020d519613
 bound-lock/1 at=place:sha256:f3ae5eb1ad3652a9f4b56ca7b9cb15959869d3d561a1c26701cd02c10253396b by=reader:159ce79a262e form=alphabet measure=observed role=writes scope=./ value=f3ae5eb1ad3652a9
 bound-lock/1 at=place:sha256:f88c8593411feda21dba18bedaea247d8724668fc0243263910853afef53fd03 by=reader:4949e256f87e form=alphabet measure=observed role=writes scope=publication/evidence/semilattice value=f88c8593411feda2
 bound-lock/1 at=place:sha256:fa678cf26d86e7e7632abd261a0337d81760895210035c0005c8d778761e7b0b by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=publication/measures/m3 value=fa678cf26d86e7e7
+bound-lock/1 at=place:sha256:fe01a38e23c195a0e3c985b40255cb4a86d0b6f8ed38488e9ef1a9db2f3c11ee by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=receipts/readings/7a726b2e51efc58434d93f214aa12078d9467a6706a088f8d3726a62e31ffe2e/2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e value=fe01a38e23c195a0
 bound-lock/1 at=witness:sha256:0cc69f159b6ddd96bb8080c4df3981d8b78bf4423b962df0312c95c9d03c1455 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=docs/measures.md value=0cc69f159b6ddd96
 bound-lock/1 at=witness:sha256:0cc69f159b6ddd96bb8080c4df3981d8b78bf4423b962df0312c95c9d03c1455 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=samples/measures/unanimity.json value=0cc69f159b6ddd96
 bound-lock/1 at=witness:sha256:0cc69f159b6ddd96bb8080c4df3981d8b78bf4423b962df0312c95c9d03c1455 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/implementation.json value=0cc69f159b6ddd96
@@ -58,6 +68,20 @@ bound-lock/1 at=witness:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf
 bound-lock/1 at=witness:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d by=reader:21e6f4a452b5 form=alphabet measure=observed role=writes scope=samples/measures/tolerant-count.json value=29418f516fe94574
 bound-lock/1 at=witness:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d by=reader:21e6f4a452b5 form=alphabet measure=observed role=writes scope=vectors/measures/implementation-042.json value=29418f516fe94574
 bound-lock/1 at=witness:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d by=reader:21e6f4a452b5 form=alphabet measure=observed role=writes scope=vectors/measures/tolerant-count.cli.json value=29418f516fe94574
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=contracts/m0-finite-grid.json value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045.lean value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/lake-manifest.json value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/lakefile.toml value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=proofs/m0-045/lean-toolchain value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=samples/laws/m0-finite-grid/no/sample.json value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=samples/laws/m0-finite-grid/yes/sample.json value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=vectors/laws/m0-finite-grid.lean.json value=2cc88d676aed52c4
+bound-lock/1 at=witness:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=2cc88d676aed52c4
 bound-lock/1 at=witness:sha256:302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=docs/measures.md value=302b8ee9d47488a7
 bound-lock/1 at=witness:sha256:302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=samples/measures/observations.json value=302b8ee9d47488a7
 bound-lock/1 at=witness:sha256:302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/implementation.json value=302b8ee9d47488a7
@@ -157,10 +181,38 @@ bound-lock/1 at=witness:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35
 bound-lock/1 at=witness:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=samples/measures/coincidence.json value=464c84552556f453
 bound-lock/1 at=witness:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/coincidence.cli.json value=464c84552556f453
 bound-lock/1 at=witness:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/implementation.json value=464c84552556f453
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=contracts/m0-allocation.json value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045.lean value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/lake-manifest.json value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/lakefile.toml value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=proofs/m0-045/lean-toolchain value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=samples/laws/m0-allocation/no/sample.json value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=samples/laws/m0-allocation/yes/sample.json value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=vectors/laws/m0-allocation.lean.json value=5754a6ddf5c0d89c
+bound-lock/1 at=witness:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=5754a6ddf5c0d89c
 bound-lock/1 at=witness:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=docs/measures.md value=58c6208d9a0cd430
 bound-lock/1 at=witness:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=samples/measures/descent.json value=58c6208d9a0cd430
 bound-lock/1 at=witness:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/descent.cli.json value=58c6208d9a0cd430
 bound-lock/1 at=witness:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/implementation.json value=58c6208d9a0cd430
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=contracts/m0-limit-offdiag.json value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045.lean value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/lake-manifest.json value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/lakefile.toml value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=proofs/m0-045/lean-toolchain value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=samples/laws/m0-limit-offdiag/no/sample.json value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=samples/laws/m0-limit-offdiag/yes/sample.json value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=vectors/laws/m0-limit-offdiag.lean.json value=5ac739afe2d3f9d8
+bound-lock/1 at=witness:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=5ac739afe2d3f9d8
 bound-lock/1 at=witness:sha256:6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=docs/measures.md value=6cbe90675647612e
 bound-lock/1 at=witness:sha256:6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=samples/measures/capacity.json value=6cbe90675647612e
 bound-lock/1 at=witness:sha256:6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/capacity.cli.json value=6cbe90675647612e
@@ -178,11 +230,40 @@ bound-lock/1 at=witness:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8e
 bound-lock/1 at=witness:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=samples/measures/decisions.json value=874cf22e6a89d71d
 bound-lock/1 at=witness:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/decisions.cli.json value=874cf22e6a89d71d
 bound-lock/1 at=witness:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/implementation.json value=874cf22e6a89d71d
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=contracts/m0-pair-coincidence.json value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045.lean value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/lake-manifest.json value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/lakefile.toml value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=proofs/m0-045/lean-toolchain value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=samples/laws/m0-pair-coincidence/no/sample.json value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=samples/laws/m0-pair-coincidence/yes/sample.json value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=vectors/laws/m0-pair-coincidence.lean.json value=8e10a67dd677a3c0
+bound-lock/1 at=witness:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=8e10a67dd677a3c0
 bound-lock/1 at=witness:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=alphabet measure=observed role=writes scope=proofs/marginal-information.json value=9abe744ab79628bc
 bound-lock/1 at=witness:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=alphabet measure=observed role=writes scope=samples/laws/marginal-information/no/sample.json value=9abe744ab79628bc
 bound-lock/1 at=witness:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=alphabet measure=observed role=writes scope=samples/laws/marginal-information/yes/sample.json value=9abe744ab79628bc
 bound-lock/1 at=witness:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=alphabet measure=observed role=writes scope=vectors/laws/marginal-information.json value=9abe744ab79628bc
 bound-lock/1 at=witness:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=9abe744ab79628bc
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=contracts/m0-limit-diag.json value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=docs/proofs/floor-limit-diag.proof.json value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045.lean value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/lake-manifest.json value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/lakefile.toml value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=proofs/m0-045/lean-toolchain value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=samples/laws/m0-limit-diag/no/sample.json value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=samples/laws/m0-limit-diag/yes/sample.json value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=vectors/laws/m0-limit-diag.lean.json value=abf7f867992bcf17
+bound-lock/1 at=witness:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=abf7f867992bcf17
 bound-lock/1 at=witness:sha256:b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=docs/measures.md value=b8a1f14d038b0040
 bound-lock/1 at=witness:sha256:b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=samples/measures/spectrum.json value=b8a1f14d038b0040
 bound-lock/1 at=witness:sha256:b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 by=reader:5c74525da714 form=alphabet measure=observed role=writes scope=vectors/measures/implementation.json value=b8a1f14d038b0040
@@ -228,16 +309,21 @@ bound-lock/1 about="bound-lock/1 at=place:sha256:0cc69f159b6ddd96bb8080c4df3981d
 bound-lock/1 about="bound-lock/1 at=place:sha256:162a8b06e2e70acf22b691029b1531eccef1fea81799e3484f0a13255676d541 by=reader:21e6f4a452b5 form=interval measure=count role=writes scope=publication/measures/confidence value=0..0\n" at=place:sha256:703cffbbe1e8272e758034a6835ac4b63b45da671386ffb1b5dea53094e0a518 by=reader:21e6f4a452b5 form=interval measure=count role=writes scope=receipts/readings/9402e9ae4e0f077063b0b85ba4bce36e5a7b3ca93b7ad1f45aecf6fb325179b0/162a8b06e2e70acf22b691029b1531eccef1fea81799e3484f0a13255676d541 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:2361ffd6f7a7d6393207a60f16eb868b7525cae3e7dc139739d7aa21e6c7d2af by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/unanimity-fit value=0..0\n" at=place:sha256:ea5016bf53e8b0c842bec7f722de110b47cb24b198bf32363555f4e280702c29 by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/6614f916af538e5ae04735920acc0aa586ca30d603651c032e3b7dc707084c7d/2361ffd6f7a7d6393207a60f16eb868b7525cae3e7dc139739d7aa21e6c7d2af value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d by=reader:21e6f4a452b5 form=interval measure=count role=writes scope=publication/measures/tolerant-count value=0..0\n" at=place:sha256:eb5eaebc39904a20f3535560cf489f4b6a8c5af13d198ec26d66fcc6b9003ab1 by=reader:21e6f4a452b5 form=interval measure=count role=writes scope=receipts/readings/b2b7e0733ffd9777be78413de998f21c46233dade599d323a78c0e8dca6bd29a/29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d value=1..1
+bound-lock/1 about="bound-lock/1 at=place:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=digest role=writes scope=publication/evidence/m0-finite-grid/verification value=sha256:bca621588fab949b843918698e1404a05109708d7c88c1c65df7fe5e8e138866\nbound-lock/1 at=place:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=interval measure=count role=writes scope=publication/evidence/m0-finite-grid value=0..0\n" at=place:sha256:fe01a38e23c195a0e3c985b40255cb4a86d0b6f8ed38488e9ef1a9db2f3c11ee by=reader:4b68d86cae08 form=interval measure=count role=writes scope=receipts/readings/7a726b2e51efc58434d93f214aa12078d9467a6706a088f8d3726a62e31ffe2e/2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e value=2..2
 bound-lock/1 about="bound-lock/1 at=place:sha256:302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/observations value=0..0\n" at=place:sha256:c5bd6114beb13522ab084596e255f953f1059e3bc08f7ba8b6cf2e2ddbe4affd by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/48a7f80c07c1b042a8958e5cf359fefdfcd49e798bca7068ae2c81583447c835/302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29 by=reader:7cbbfe707dce form=interval measure=count role=writes scope=release/installed-artifact value=0..0\n" at=place:sha256:a8477faa163119d19c591b7874b8aeadb1352ebe8caafc24bfa87b9f4895117c by=reader:7cbbfe707dce form=interval measure=count role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:448a74ba49bcf231cdb7d9a821cfca5801c2665fb96f7a2b739702f716cb0e92 by=reader:3b7b382504a7 form=interval measure=count role=writes scope=publication/laws/l9-mix-loss value=0..0\n" at=place:sha256:7627209911ce3ef9459771b2b4671227f0a659e16f9270af2d85a36b0b0b2ce6 by=reader:3b7b382504a7 form=interval measure=count role=writes scope=receipts/readings/65a2be93f043aff0d79cadd3ef79a2a59ba1725e4da52add5f605b2e03c77ee4/448a74ba49bcf231cdb7d9a821cfca5801c2665fb96f7a2b739702f716cb0e92 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/coincidence value=0..0\n" at=place:sha256:c647b61cf7c0ed9ebc9ed5f51efba916c74e18c1ee9b38c638fce5e9b4a57f82 by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/b24971cceda14369aec6ea298fa61d57ee3c98116fde9adaa0dc2923b738d1db/464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 value=1..1
+bound-lock/1 about="bound-lock/1 at=place:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=digest role=writes scope=publication/evidence/m0-allocation/verification value=sha256:68b481012d499b4f5c874d89a9d23e5d789852721da78b232677a5adfffe277e\nbound-lock/1 at=place:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=interval measure=count role=writes scope=publication/evidence/m0-allocation value=0..0\n" at=place:sha256:93db7951d17326b12d0e7593f2cef0aaeb23488cfdf2a92d59f99ca046b1c55b by=reader:cf227e2af3a5 form=interval measure=count role=writes scope=receipts/readings/ca8424bbf1a1b9816473adc86c795fc0781bb84aa7045eed4427b40751ee3dda/5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 value=2..2
 bound-lock/1 about="bound-lock/1 at=place:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/descent value=0..0\n" at=place:sha256:da7b44d1a7650b1e2908aa68e45975a85c4ffb41a46070ec02e5e74ff3c7726b by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/964487e28f37cd493abcd8619ec111b20f73c36e702081c664120dcb01860410/58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 value=1..1
+bound-lock/1 about="bound-lock/1 at=place:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=digest role=writes scope=publication/evidence/m0-limit-offdiag/verification value=sha256:1c1faed36a8e48ba663665d98f28308621ca8563f62286b66eba52a318027e75\nbound-lock/1 at=place:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=interval measure=count role=writes scope=publication/evidence/m0-limit-offdiag value=0..0\n" at=place:sha256:6bbed11c6a35e5e1cf793ee37434b374d638ffe3dd90589a1375af88c0f7e4e8 by=reader:5d3a511cf5bb form=interval measure=count role=writes scope=receipts/readings/446d01e624fd6d24d747786b95e2fcbcddcb49c2cc9e557fa5411523a0399769/5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f value=2..2
 bound-lock/1 about="bound-lock/1 at=place:sha256:6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/capacity value=0..0\n" at=place:sha256:1b13c20e8dfdea1f718208f24646659c5bab5f7a73d74fffd884744a677a5090 by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/6242f57c8b1f7a2eb903f7f4786ee948d8b53fc78dbb4e8e14ae416b1b52afd9/6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:75acacd271f3acd3425c668d877ada1aac59e88fd4162eadc5712a55203fe600 by=reader:27692ceb8ce8 form=interval measure=count role=writes scope=publication/evidence/cofailure-pairs value=0..0\n" at=place:sha256:bd292105c0a7bbbefd401481f3650f8ddc6e8c0fd56f47a5453fddfcc919fa0d by=reader:27692ceb8ce8 form=interval measure=count role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/75acacd271f3acd3425c668d877ada1aac59e88fd4162eadc5712a55203fe600 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:7729563a0af7a3624b5fb1b67ec05b9bfc52dc9c54a6ebf25f5ad5461e2631bf by=reader:3b7b382504a7 form=interval measure=count role=writes scope=publication/laws/l8-phase-defect value=0..0\n" at=place:sha256:633f75266ac64142ebf1948de75e126bf633fd4e08d98565d0e94e9d45c3642d by=reader:3b7b382504a7 form=interval measure=count role=writes scope=receipts/readings/674ef5c10e61cb0c14a99ddcbdefb0022f0aba116352aa3e606892464b915a34/7729563a0af7a3624b5fb1b67ec05b9bfc52dc9c54a6ebf25f5ad5461e2631bf value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/decisions value=0..0\n" at=place:sha256:c21dd432b73f6f1495252ed6e18be5805b9ddeac7934c17960015ee686c8ba94 by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/04904bf6730b7abdf41f365fae9db3d40002851466e9871e84c80d6a8b31c9f0/874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a value=1..1
+bound-lock/1 about="bound-lock/1 at=place:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=digest role=writes scope=publication/evidence/m0-pair-coincidence/verification value=sha256:097d1cfa9184cc9aa58f39942dc2f5e02050fa9b52655172a9b917d7e738b3a3\nbound-lock/1 at=place:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=interval measure=count role=writes scope=publication/evidence/m0-pair-coincidence value=0..0\n" at=place:sha256:2056432f32777a3fca8dc017960637b4122f3361713a70e5b47a70b6b48c324a by=reader:f63e12b96d61 form=interval measure=count role=writes scope=receipts/readings/5df642b1aceb837c13b2f5db3bbabbb8e6208ac903ae0fb40ba154658e2bfdad/8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a value=2..2
 bound-lock/1 about="bound-lock/1 at=place:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=interval measure=count role=writes scope=publication/evidence/marginal-information value=0..0\n" at=place:sha256:4a76805b19d809015a7b2f141b9fda0215b6924e94bd5d4c41bf0153119bff08 by=reader:53cc6af9e142 form=interval measure=count role=writes scope=receipts/readings/862e6beadae8519ce21305af9b2e9ca7691fc8abdd4200bcad8258269a8a90c9/9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 value=1..1
+bound-lock/1 about="bound-lock/1 at=place:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=digest role=writes scope=publication/evidence/m0-limit-diag/verification value=sha256:dbe67163e1d6dc0dcf3e27934bb13da0d7afafce49ec8f3fb14818140a9d34f6\nbound-lock/1 at=place:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=interval measure=count role=writes scope=publication/evidence/m0-limit-diag value=0..0\n" at=place:sha256:660a262cb308353bed45470716e5ace1e9ddda015d5d51ee46162cb8b4f83050 by=reader:393e3b78b125 form=interval measure=count role=writes scope=receipts/readings/02a1cde3cadf07955581b480a0bd05850c7db29a077341d7b044bc4ab12b24c8/abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be value=2..2
 bound-lock/1 about="bound-lock/1 at=place:sha256:b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/spectrum value=0..0\n" at=place:sha256:7e17c015a7391ad60fa7f65f8f8cccdf630ddbbd5c4201727a197f5b2b0945f5 by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/5d5ed032748c2ce5e5cacdb79d7d51205b024d34ae8347d78a90e4a2372b7928/b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:c8f723505434197aab9b711bb72540ceab68ee82dcf49eccd92ccf88dbda1c09 by=reader:3b7b382504a7 form=interval measure=count role=writes scope=publication/laws/l7-tolerant-k value=0..0\n" at=place:sha256:3789a0729cb12ab88e70aaaa57680611b1e1ebe8928b2c6a91d098a8440f34f3 by=reader:3b7b382504a7 form=interval measure=count role=writes scope=receipts/readings/d46ceb64595beb6ec226d9071cc1756b4e2f43a1f7e8344400f851f220d89615/c8f723505434197aab9b711bb72540ceab68ee82dcf49eccd92ccf88dbda1c09 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:cd2c814414c04fdac6e303ef8d0677daec8cb665a00fedc5349186037804b6ab by=reader:21e6f4a452b5 form=interval measure=count role=writes scope=publication/measures/common-cause-capacity value=0..0\n" at=place:sha256:7b2a2e30f029380673995423dcc79a2b71458f90c829fad4e524ff477c2e536a by=reader:21e6f4a452b5 form=interval measure=count role=writes scope=receipts/readings/d5ee79a4d5dd94960ef5a987f4b41b6ac26a72d93d6488882d3bebe6dcd04283/cd2c814414c04fdac6e303ef8d0677daec8cb665a00fedc5349186037804b6ab value=1..1
@@ -245,6 +331,11 @@ bound-lock/1 about="bound-lock/1 at=place:sha256:eb2aeb2bef9541f446da19b33766ad1
 bound-lock/1 about="bound-lock/1 at=place:sha256:f0022a81c168743f16fccdf3095e9788822933c7e020d5196132bf300d7ee46a by=reader:bf943a1b6733 form=interval measure=count role=writes scope=publication/evidence/linage-rest value=0..0\n" at=place:sha256:9e6a6180cde10d00b7d7552d92ae2cf19aff2b913cdbe95eb6106a9dbd4db031 by=reader:bf943a1b6733 form=interval measure=count role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/f0022a81c168743f16fccdf3095e9788822933c7e020d5196132bf300d7ee46a value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:f88c8593411feda21dba18bedaea247d8724668fc0243263910853afef53fd03 by=reader:4949e256f87e form=interval measure=count role=writes scope=publication/evidence/semilattice value=0..0\n" at=place:sha256:ba6becfba8f1cd83561866386340e2365e07a475d0a5ac4da85c29035948f9e4 by=reader:4949e256f87e form=interval measure=count role=writes scope=receipts/readings/7490769db4f54949bb188ea93aa3faeea9949a0eb14465cf38ab1a2b191d9c11/f88c8593411feda21dba18bedaea247d8724668fc0243263910853afef53fd03 value=1..1
 bound-lock/1 about="bound-lock/1 at=place:sha256:fa678cf26d86e7e7632abd261a0337d81760895210035c0005c8d778761e7b0b by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/m3 value=0..0\n" at=place:sha256:b49dac8c99f1aa654f7af6e9d12c2b98804e5d4ecd3a60f5251fd39eaf0fc078 by=reader:5c74525da714 form=interval measure=count role=writes scope=receipts/readings/c33a24fe7e44f97a07f2eb1bd01139e572a2e538f196af51dcd3adcbb08dc176/fa678cf26d86e7e7632abd261a0337d81760895210035c0005c8d778761e7b0b value=1..1
+bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=contracts/m0-allocation.json value=sha256:9fe73bccb91c414d978bfdafd6e3c6b117f60d228dc1e4e9e265db8d891df67f\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:cf227e2af3a5d9e0e6e331516d2ca3dd9318eacc7b8217d4149950e316ef2e9d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045.lean value=sha256:be4956a2720d696e5456ad108543945c6f65f1986126513f10edcd4f1841bced\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=sha256:b26a1b68522e881e446a47f4c84cd8b569a1c48f085a5c9a9d03abdeecafacce\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=sha256:e870a43e435f4b4b52f28f44dd7391c40704faa41febd272434d2e56b2bd6771\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=sha256:4d83f047fc5e199f46b2cc28dfe77b006a7dd408f0f14ed54afb5e21315148e2\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=sha256:aedc88b8ba4edf884cacec78da82eef29187ded0199d44674466425af1585b8c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=sha256:af8a95d00cd0956acaec06deeebe7156dccf156b698408275c3e710f58c1c1e8\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lake-manifest.json value=sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lakefile.toml value=sha256:965c6f528716b66d706ea51bfdc5254feac3acf945026f8e74371c11532d8174\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lean-toolchain value=sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-allocation/no/sample.json value=sha256:564fa91fd0fcfb5dbc6224e82fd17158d8d1e6d033e24f3fc0ab2c8b694fdf6d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-allocation/yes/sample.json value=sha256:be81ea97da793e384a43df5c46d764197c09f11953f21dc9483b573103c7f0fc\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/m0-allocation.lean.json value=sha256:6c479cc3d04085b196aced31a1d5b699cfc6d0e384e1eed0fb482ee51fb4f425\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/evidence/m0-allocation value=proofs/m0-045/Obligations045/ConsensusGrid.lean|proofs/m0-045/Obligations045/M0Coincidence.lean|proofs/m0-045/Obligations045/M0Diagonal.lean|proofs/m0-045/Obligations045/M0Limit.lean|proofs/m0-045/Obligations045/M0Offdiag.lean|proofs/m0-045/Obligations045.lean|proofs/m0-045/lake-manifest.json|proofs/m0-045/lakefile.toml|proofs/m0-045/lean-toolchain|vectors/laws/m0-allocation.lean.json|contracts/m0-allocation.json|samples/laws/m0-allocation/yes/sample.json|samples/laws/m0-allocation/no/sample.json|vectors/laws/policy.json\n" at=place:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=bytes role=writes scope=receipts/readings/ca8424bbf1a1b9816473adc86c795fc0781bb84aa7045eed4427b40751ee3dda/5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 value=sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98
+bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=contracts/m0-finite-grid.json value=sha256:be646f6799ac0106f8de31870799df4e1525e22deb4b8e9299433b5139387a33\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:4b68d86cae08619e7b16fe59a30cf65dfd1c276949a7148cff8bbf8fbc1ee231\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045.lean value=sha256:be4956a2720d696e5456ad108543945c6f65f1986126513f10edcd4f1841bced\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=sha256:b26a1b68522e881e446a47f4c84cd8b569a1c48f085a5c9a9d03abdeecafacce\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=sha256:e870a43e435f4b4b52f28f44dd7391c40704faa41febd272434d2e56b2bd6771\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=sha256:4d83f047fc5e199f46b2cc28dfe77b006a7dd408f0f14ed54afb5e21315148e2\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=sha256:aedc88b8ba4edf884cacec78da82eef29187ded0199d44674466425af1585b8c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=sha256:af8a95d00cd0956acaec06deeebe7156dccf156b698408275c3e710f58c1c1e8\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lake-manifest.json value=sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lakefile.toml value=sha256:965c6f528716b66d706ea51bfdc5254feac3acf945026f8e74371c11532d8174\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lean-toolchain value=sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-finite-grid/no/sample.json value=sha256:0361cd9a6fae977c3613560df9213176c728e07c23396e3aa43992b9da4de15f\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-finite-grid/yes/sample.json value=sha256:62c5c8db8d66602b452e1a7baf84c98e601d60c3e62730393313a7e02ed2fd17\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/m0-finite-grid.lean.json value=sha256:14391fbf80c81bd5efdf840a82a3d37976de759ee70eed1e8fbb1480f605135a\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/evidence/m0-finite-grid value=proofs/m0-045/Obligations045/ConsensusGrid.lean|proofs/m0-045/Obligations045/M0Coincidence.lean|proofs/m0-045/Obligations045/M0Diagonal.lean|proofs/m0-045/Obligations045/M0Limit.lean|proofs/m0-045/Obligations045/M0Offdiag.lean|proofs/m0-045/Obligations045.lean|proofs/m0-045/lake-manifest.json|proofs/m0-045/lakefile.toml|proofs/m0-045/lean-toolchain|vectors/laws/m0-finite-grid.lean.json|contracts/m0-finite-grid.json|samples/laws/m0-finite-grid/yes/sample.json|samples/laws/m0-finite-grid/no/sample.json|vectors/laws/policy.json\n" at=place:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=bytes role=writes scope=receipts/readings/7a726b2e51efc58434d93f214aa12078d9467a6706a088f8d3726a62e31ffe2e/2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e value=sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e
+bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=contracts/m0-limit-diag.json value=sha256:1f5f36f751999f100c9572a67ef4508ff78d8a7a07186f4eda72cb95c7803220\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=docs/proofs/floor-limit-diag.proof.json value=sha256:6f090440c1c08fb6238541f143b868a29ace832d236b44382eb0f8f74cbed5d0\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:393e3b78b12597188bcd0fe56a1d78d2fa2f7fe7b7be800ac63a93f2c431330b\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045.lean value=sha256:be4956a2720d696e5456ad108543945c6f65f1986126513f10edcd4f1841bced\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=sha256:b26a1b68522e881e446a47f4c84cd8b569a1c48f085a5c9a9d03abdeecafacce\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=sha256:e870a43e435f4b4b52f28f44dd7391c40704faa41febd272434d2e56b2bd6771\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=sha256:4d83f047fc5e199f46b2cc28dfe77b006a7dd408f0f14ed54afb5e21315148e2\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=sha256:aedc88b8ba4edf884cacec78da82eef29187ded0199d44674466425af1585b8c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=sha256:af8a95d00cd0956acaec06deeebe7156dccf156b698408275c3e710f58c1c1e8\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lake-manifest.json value=sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lakefile.toml value=sha256:965c6f528716b66d706ea51bfdc5254feac3acf945026f8e74371c11532d8174\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lean-toolchain value=sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-limit-diag/no/sample.json value=sha256:ee8b5e661a32eb5fa10b99f8a3d90f94007be570ec526649521afeb997335098\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-limit-diag/yes/sample.json value=sha256:9e01e8d46fb9fd8c9e34aaf13841cdce501749976490793ebaa53cb5ffe29a1e\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/m0-limit-diag.lean.json value=sha256:3a03f810b7313c588683c40e95e62e93b691746b9db7073df62e97133210c2f6\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/evidence/m0-limit-diag value=proofs/m0-045/Obligations045/ConsensusGrid.lean|proofs/m0-045/Obligations045/M0Coincidence.lean|proofs/m0-045/Obligations045/M0Diagonal.lean|proofs/m0-045/Obligations045/M0Limit.lean|proofs/m0-045/Obligations045/M0Offdiag.lean|proofs/m0-045/Obligations045.lean|proofs/m0-045/lake-manifest.json|proofs/m0-045/lakefile.toml|proofs/m0-045/lean-toolchain|vectors/laws/m0-limit-diag.lean.json|contracts/m0-limit-diag.json|samples/laws/m0-limit-diag/yes/sample.json|samples/laws/m0-limit-diag/no/sample.json|vectors/laws/policy.json|docs/proofs/floor-limit-diag.proof.json\n" at=place:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=bytes role=writes scope=receipts/readings/02a1cde3cadf07955581b480a0bd05850c7db29a077341d7b044bc4ab12b24c8/abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be value=sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be
+bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=contracts/m0-limit-offdiag.json value=sha256:4a710e685b231752526f5e29c0cf7cd216ac4dfee13e0a6a2aebfc8da5f243fc\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:5d3a511cf5bb7bb3ad10d74a51c12162319170a575200b0390e15cfd75adc9c3\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045.lean value=sha256:be4956a2720d696e5456ad108543945c6f65f1986126513f10edcd4f1841bced\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=sha256:b26a1b68522e881e446a47f4c84cd8b569a1c48f085a5c9a9d03abdeecafacce\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=sha256:e870a43e435f4b4b52f28f44dd7391c40704faa41febd272434d2e56b2bd6771\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=sha256:4d83f047fc5e199f46b2cc28dfe77b006a7dd408f0f14ed54afb5e21315148e2\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=sha256:aedc88b8ba4edf884cacec78da82eef29187ded0199d44674466425af1585b8c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=sha256:af8a95d00cd0956acaec06deeebe7156dccf156b698408275c3e710f58c1c1e8\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lake-manifest.json value=sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lakefile.toml value=sha256:965c6f528716b66d706ea51bfdc5254feac3acf945026f8e74371c11532d8174\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lean-toolchain value=sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-limit-offdiag/no/sample.json value=sha256:2718eeb031fd23d571856d4ed4c12858f6c8b82587edf375bf5ff4beeda3f516\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-limit-offdiag/yes/sample.json value=sha256:0981e4a86179eece41a3895a6dc61f7eedb41c581eaec385ae0ed690e98e4768\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/m0-limit-offdiag.lean.json value=sha256:0ba538399b1db9c31ce7c53f3dfde2198cd0d5c69296e81f883d3d89e7687a25\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/evidence/m0-limit-offdiag value=proofs/m0-045/Obligations045/ConsensusGrid.lean|proofs/m0-045/Obligations045/M0Coincidence.lean|proofs/m0-045/Obligations045/M0Diagonal.lean|proofs/m0-045/Obligations045/M0Limit.lean|proofs/m0-045/Obligations045/M0Offdiag.lean|proofs/m0-045/Obligations045.lean|proofs/m0-045/lake-manifest.json|proofs/m0-045/lakefile.toml|proofs/m0-045/lean-toolchain|vectors/laws/m0-limit-offdiag.lean.json|contracts/m0-limit-offdiag.json|samples/laws/m0-limit-offdiag/yes/sample.json|samples/laws/m0-limit-offdiag/no/sample.json|vectors/laws/policy.json\n" at=place:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=bytes role=writes scope=receipts/readings/446d01e624fd6d24d747786b95e2fcbcddcb49c2cc9e557fa5411523a0399769/5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f value=sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f
+bound-lock/1 about="bound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=contracts/m0-pair-coincidence.json value=sha256:47857119d04f3a55ac81e75a862f52985e732314923355c31358d68648b3f7ab\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:f63e12b96d61a1fad8233d18eb7af4516bd49efef285bc2323fbcad8a83bc648\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045.lean value=sha256:be4956a2720d696e5456ad108543945c6f65f1986126513f10edcd4f1841bced\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/ConsensusGrid.lean value=sha256:b26a1b68522e881e446a47f4c84cd8b569a1c48f085a5c9a9d03abdeecafacce\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Coincidence.lean value=sha256:e870a43e435f4b4b52f28f44dd7391c40704faa41febd272434d2e56b2bd6771\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Diagonal.lean value=sha256:4d83f047fc5e199f46b2cc28dfe77b006a7dd408f0f14ed54afb5e21315148e2\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Limit.lean value=sha256:aedc88b8ba4edf884cacec78da82eef29187ded0199d44674466425af1585b8c\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/Obligations045/M0Offdiag.lean value=sha256:af8a95d00cd0956acaec06deeebe7156dccf156b698408275c3e710f58c1c1e8\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lake-manifest.json value=sha256:fc8b4ba4b08bbcadf736bc8bcf803b5fdedfebafb57dec61ce0106e99964285d\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lakefile.toml value=sha256:965c6f528716b66d706ea51bfdc5254feac3acf945026f8e74371c11532d8174\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=proofs/m0-045/lean-toolchain value=sha256:55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-pair-coincidence/no/sample.json value=sha256:6e9714c278e220c144369fb7f9c04183353893f0ad3c79370a6177e7be00e472\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/laws/m0-pair-coincidence/yes/sample.json value=sha256:a9c709cffd1cf91a60ad80dfe4975de118f0b6df41f01a1f3ad10687fc0d363b\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/m0-pair-coincidence.lean.json value=sha256:7ac442da612c6a5913a32eae49eb0111a74585fcf7c2f2dfe81d717abb9482d9\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/evidence/m0-pair-coincidence value=proofs/m0-045/Obligations045/ConsensusGrid.lean|proofs/m0-045/Obligations045/M0Coincidence.lean|proofs/m0-045/Obligations045/M0Diagonal.lean|proofs/m0-045/Obligations045/M0Limit.lean|proofs/m0-045/Obligations045/M0Offdiag.lean|proofs/m0-045/Obligations045.lean|proofs/m0-045/lake-manifest.json|proofs/m0-045/lakefile.toml|proofs/m0-045/lean-toolchain|vectors/laws/m0-pair-coincidence.lean.json|contracts/m0-pair-coincidence.json|samples/laws/m0-pair-coincidence/yes/sample.json|samples/laws/m0-pair-coincidence/no/sample.json|vectors/laws/policy.json\n" at=place:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=bytes role=writes scope=receipts/readings/5df642b1aceb837c13b2f5db3bbabbb8e6208ac903ae0fb40ba154658e2bfdad/8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a value=sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a
 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:767c01b525fe5e97997acebdd2aac89c0d6e579fd9d6955c339292d17d34d048\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/capacity.js value=sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/cofailure-pairs.js value=sha256:f1b13c0f233b86e6e40e793aa5a7f341c2f3f3cf6e4edb22a60e28c010dcca88\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/coincidence.js value=sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/confidence.js value=sha256:28e7f2c69c392abf08788db2a4a24a215c4f8d135d68359b99a477b2aee2a752\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/error-events.js value=sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200\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:d4f2d30a15a31715f02458a2bc75ce11bbfd10862ee7047b747a43f9291edbc0\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/marginal-information.js value=sha256:cb6679315dfc693d8cd11d20d2bcb9f252a2e525d76568934f857642b9312698\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/mix-loss.js value=sha256:af9c6a3dbeda91981b394b61e187f916dc0e0304801b7b654ff3e025ebce94cb\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/phase-defect.js value=sha256:02188b862c7d9976c8c40f7f3bec5a94358d7ef3257264cec00cb046f74cb807\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/measures/tolerant-subsets.js value=sha256:e99481ddf1c92fbef2ba34e9ad75e98f7aa98e29e9e638837e1c6ad49c99e2bb\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=dist/measures/unanimity-fit.js value=sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76\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:7cbbfe707dceaf35d423755a5de36ab995a2b8b9dc05810fd4698021610cd8c7\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=package.json value=sha256:5224bbdaa263b1e0236252f6fe16afecc71f4e36b55c41a6e00c9a1ec140e144\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/no/installed-artifact.json value=sha256:3756e60577f853e04bc84aa9f65cf209722355f3e66a7b55820867e34759f2a4\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/yes/installed-artifact.json value=sha256:a47e3d9c6323300ec5dbec1c0e732fbc8697a12731afb7c206a0eece8b067eef\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/installed-artifact.cli.json value=sha256:3dbcb03c852db1601b6196d7bbd6b86b7f4b208c08fc94c7a14bf923e5528c34\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/capacity.js|dist/measures/cofailure-pairs.js|dist/measures/coincidence.js|dist/measures/confidence.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/marginal-information.js|dist/measures/mix-loss.js|dist/measures/model.js|dist/measures/phase-defect.js|dist/measures/rational.js|dist/measures/spectrum.js|dist/measures/tolerant-subsets.js|dist/measures/unanimity-fit.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:34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29 by=reader:7cbbfe707dce form=alphabet measure=bytes role=writes scope=receipts/readings/b8abf69bb11de6bb4e8c16be9bcc5f186c03ec80789258cfebb5ba79a729e316/34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29 value=sha256:34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29
 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:cd6f2870904b8a493d59ac904ee6fce11c8f7557402465febb75110a6e6796d7\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:21e6f4a452b50d40eaf91a2351df3c7cc39f906b50379fb525f9600c3b93de5b\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/measures/common-cause-capacity.json value=sha256:64734ae1db7c8b827ad1c7660c04f941ef0602bd6c428db045b2c8c4c7a22b8f\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/common-cause-capacity.cli.json value=sha256:a6a10335b77c10b3ecc7a0dcc2be9faf11366502f996772c42a6f770103c3e31\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/implementation-042.json value=sha256:8a6086d042bbf67cf6161cd97022aa8eaf43d41ac2a46fbd4680a83f394fa7cf\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/measures/common-cause-capacity value=docs/measures.md|samples/measures/common-cause-capacity.json|vectors/measures/common-cause-capacity.cli.json|vectors/measures/implementation-042.json\n" at=place:sha256:cd2c814414c04fdac6e303ef8d0677daec8cb665a00fedc5349186037804b6ab by=reader:21e6f4a452b5 form=alphabet measure=bytes role=writes scope=receipts/readings/d5ee79a4d5dd94960ef5a987f4b41b6ac26a72d93d6488882d3bebe6dcd04283/cd2c814414c04fdac6e303ef8d0677daec8cb665a00fedc5349186037804b6ab value=sha256:cd2c814414c04fdac6e303ef8d0677daec8cb665a00fedc5349186037804b6ab
 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:cd6f2870904b8a493d59ac904ee6fce11c8f7557402465febb75110a6e6796d7\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=implementation value=sha256:21e6f4a452b50d40eaf91a2351df3c7cc39f906b50379fb525f9600c3b93de5b\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=samples/measures/confidence.json value=sha256:5f2d009a3cf4adb48962408ebd551ffdb89e1948c3afd52ba4185a2774d31581\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/confidence.cli.json value=sha256:51d57e5c189f9c319062e2b3ca690a0ba5b38111a193ca3b6b57247d0b97a4e7\nbound-lock/1 at=policy:input-identity by=host form=alphabet measure=digest role=writes scope=vectors/measures/implementation-042.json value=sha256:8a6086d042bbf67cf6161cd97022aa8eaf43d41ac2a46fbd4680a83f394fa7cf\nbound-lock/1 at=receipt:1 form=alphabet measure=reads needs= role=reads scope=publication/measures/confidence value=docs/measures.md|samples/measures/confidence.json|vectors/measures/confidence.cli.json|vectors/measures/implementation-042.json\n" at=place:sha256:162a8b06e2e70acf22b691029b1531eccef1fea81799e3484f0a13255676d541 by=reader:21e6f4a452b5 form=alphabet measure=bytes role=writes scope=receipts/readings/9402e9ae4e0f077063b0b85ba4bce36e5a7b3ca93b7ad1f45aecf6fb325179b0/162a8b06e2e70acf22b691029b1531eccef1fea81799e3484f0a13255676d541 value=sha256:162a8b06e2e70acf22b691029b1531eccef1fea81799e3484f0a13255676d541
@@ -274,6 +365,9 @@ bound-lock/1 at=place:sha256:2361ffd6f7a7d6393207a60f16eb868b7525cae3e7dc139739d
 bound-lock/1 at=place:sha256:2361ffd6f7a7d6393207a60f16eb868b7525cae3e7dc139739d7aa21e6c7d2af by=reader:5c74525da714 form=interval measure=s role=writes scope=receipts/readings/6614f916af538e5ae04735920acc0aa586ca30d603651c032e3b7dc707084c7d/2361ffd6f7a7d6393207a60f16eb868b7525cae3e7dc139739d7aa21e6c7d2af value=0.391373..0.391373
 bound-lock/1 at=place:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d by=reader:21e6f4a452b5 form=interval measure=count role=writes scope=publication/measures/tolerant-count value=0..0
 bound-lock/1 at=place:sha256:29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d by=reader:21e6f4a452b5 form=interval measure=s role=writes scope=receipts/readings/b2b7e0733ffd9777be78413de998f21c46233dade599d323a78c0e8dca6bd29a/29418f516fe945740984575eb7432aca5b7bebb96d43f4adf4d8ad60fee6578d value=0.393076..0.393076
+bound-lock/1 at=place:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=alphabet measure=digest role=writes scope=publication/evidence/m0-finite-grid/verification value=sha256:bca621588fab949b843918698e1404a05109708d7c88c1c65df7fe5e8e138866
+bound-lock/1 at=place:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=interval measure=count role=writes scope=publication/evidence/m0-finite-grid value=0..0
+bound-lock/1 at=place:sha256:2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e by=reader:4b68d86cae08 form=interval measure=s role=writes scope=receipts/readings/7a726b2e51efc58434d93f214aa12078d9467a6706a088f8d3726a62e31ffe2e/2cc88d676aed52c4a4d1b18d41122c6d52435929ea686711ebb7f2613c962d5e value=11.650528..11.650528
 bound-lock/1 at=place:sha256:302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/observations value=0..0
 bound-lock/1 at=place:sha256:302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 by=reader:5c74525da714 form=interval measure=s role=writes scope=receipts/readings/48a7f80c07c1b042a8958e5cf359fefdfcd49e798bca7068ae2c81583447c835/302b8ee9d47488a7f3bd90f925d15115f4dd35a5e3e520d3fe512bcc36710c80 value=0.398222..0.398222
 bound-lock/1 at=place:sha256:34aa0f1a425ea48c973cbffb06fb04bb45e131fe05e346739d1444ed566b8c29 by=reader:7cbbfe707dce form=interval measure=count role=writes scope=release/installed-artifact value=0..0
@@ -282,8 +376,14 @@ bound-lock/1 at=place:sha256:448a74ba49bcf231cdb7d9a821cfca5801c2665fb96f7a2b739
 bound-lock/1 at=place:sha256:448a74ba49bcf231cdb7d9a821cfca5801c2665fb96f7a2b739702f716cb0e92 by=reader:3b7b382504a7 form=interval measure=s role=writes scope=receipts/readings/65a2be93f043aff0d79cadd3ef79a2a59ba1725e4da52add5f605b2e03c77ee4/448a74ba49bcf231cdb7d9a821cfca5801c2665fb96f7a2b739702f716cb0e92 value=0.347280..0.347280
 bound-lock/1 at=place:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/coincidence value=0..0
 bound-lock/1 at=place:sha256:464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 by=reader:5c74525da714 form=interval measure=s role=writes scope=receipts/readings/b24971cceda14369aec6ea298fa61d57ee3c98116fde9adaa0dc2923b738d1db/464c84552556f45346c71db927e064bb1afcb1b6270e6bf35e6016169ea1eec2 value=0.337926..0.337926
+bound-lock/1 at=place:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=alphabet measure=digest role=writes scope=publication/evidence/m0-allocation/verification value=sha256:68b481012d499b4f5c874d89a9d23e5d789852721da78b232677a5adfffe277e
+bound-lock/1 at=place:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=interval measure=count role=writes scope=publication/evidence/m0-allocation value=0..0
+bound-lock/1 at=place:sha256:5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 by=reader:cf227e2af3a5 form=interval measure=s role=writes scope=receipts/readings/ca8424bbf1a1b9816473adc86c795fc0781bb84aa7045eed4427b40751ee3dda/5754a6ddf5c0d89c301d342f614ace914bfb6bd2b1d13fb292d8cde1c44c6e98 value=14.637612..14.637612
 bound-lock/1 at=place:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/descent value=0..0
 bound-lock/1 at=place:sha256:58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 by=reader:5c74525da714 form=interval measure=s role=writes scope=receipts/readings/964487e28f37cd493abcd8619ec111b20f73c36e702081c664120dcb01860410/58c6208d9a0cd4301d03cc6c4bcdf554819dce6aab21d26ad1836ec00f357f51 value=0.354150..0.354150
+bound-lock/1 at=place:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=alphabet measure=digest role=writes scope=publication/evidence/m0-limit-offdiag/verification value=sha256:1c1faed36a8e48ba663665d98f28308621ca8563f62286b66eba52a318027e75
+bound-lock/1 at=place:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=interval measure=count role=writes scope=publication/evidence/m0-limit-offdiag value=0..0
+bound-lock/1 at=place:sha256:5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f by=reader:5d3a511cf5bb form=interval measure=s role=writes scope=receipts/readings/446d01e624fd6d24d747786b95e2fcbcddcb49c2cc9e557fa5411523a0399769/5ac739afe2d3f9d8c74c6752afbb03b04e924f0eb26ca878609c0f8d4428f01f value=13.584993..13.584993
 bound-lock/1 at=place:sha256:6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/capacity value=0..0
 bound-lock/1 at=place:sha256:6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 by=reader:5c74525da714 form=interval measure=s role=writes scope=receipts/readings/6242f57c8b1f7a2eb903f7f4786ee948d8b53fc78dbb4e8e14ae416b1b52afd9/6cbe90675647612e364bed106dcaf2776a99505ec63c37fa35cf51d8cd23db94 value=0.548705..0.548705
 bound-lock/1 at=place:sha256:75acacd271f3acd3425c668d877ada1aac59e88fd4162eadc5712a55203fe600 by=reader:27692ceb8ce8 form=interval measure=count role=writes scope=publication/evidence/cofailure-pairs value=0..0
@@ -292,8 +392,14 @@ bound-lock/1 at=place:sha256:7729563a0af7a3624b5fb1b67ec05b9bfc52dc9c54a6ebf25f5
 bound-lock/1 at=place:sha256:7729563a0af7a3624b5fb1b67ec05b9bfc52dc9c54a6ebf25f5ad5461e2631bf by=reader:3b7b382504a7 form=interval measure=s role=writes scope=receipts/readings/674ef5c10e61cb0c14a99ddcbdefb0022f0aba116352aa3e606892464b915a34/7729563a0af7a3624b5fb1b67ec05b9bfc52dc9c54a6ebf25f5ad5461e2631bf value=0.367762..0.367762
 bound-lock/1 at=place:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/decisions value=0..0
 bound-lock/1 at=place:sha256:874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a by=reader:5c74525da714 form=interval measure=s role=writes scope=receipts/readings/04904bf6730b7abdf41f365fae9db3d40002851466e9871e84c80d6a8b31c9f0/874cf22e6a89d71d1e36c1ef968fd283e0ce1fd80534dca8ed2171d3b84b9c2a value=0.392137..0.392137
+bound-lock/1 at=place:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=alphabet measure=digest role=writes scope=publication/evidence/m0-pair-coincidence/verification value=sha256:097d1cfa9184cc9aa58f39942dc2f5e02050fa9b52655172a9b917d7e738b3a3
+bound-lock/1 at=place:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=interval measure=count role=writes scope=publication/evidence/m0-pair-coincidence value=0..0
+bound-lock/1 at=place:sha256:8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a by=reader:f63e12b96d61 form=interval measure=s role=writes scope=receipts/readings/5df642b1aceb837c13b2f5db3bbabbb8e6208ac903ae0fb40ba154658e2bfdad/8e10a67dd677a3c06a111b6ca597c9c0d3ea8b5ef574f456c77d0ec0d4bdae9a value=9.575188..9.575188
 bound-lock/1 at=place:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=interval measure=count role=writes scope=publication/evidence/marginal-information value=0..0
 bound-lock/1 at=place:sha256:9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 by=reader:53cc6af9e142 form=interval measure=s role=writes scope=receipts/readings/862e6beadae8519ce21305af9b2e9ca7691fc8abdd4200bcad8258269a8a90c9/9abe744ab79628bc68ba78f9411741f6f6fbe4a71c1d0dae3594e23adb018672 value=0.341556..0.341556
+bound-lock/1 at=place:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=alphabet measure=digest role=writes scope=publication/evidence/m0-limit-diag/verification value=sha256:dbe67163e1d6dc0dcf3e27934bb13da0d7afafce49ec8f3fb14818140a9d34f6
+bound-lock/1 at=place:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=interval measure=count role=writes scope=publication/evidence/m0-limit-diag value=0..0
+bound-lock/1 at=place:sha256:abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be by=reader:393e3b78b125 form=interval measure=s role=writes scope=receipts/readings/02a1cde3cadf07955581b480a0bd05850c7db29a077341d7b044bc4ab12b24c8/abf7f867992bcf17cf520486df5fb6242f20e014285f568a335640ea6de3c2be value=3.053235..3.053235
 bound-lock/1 at=place:sha256:b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 by=reader:5c74525da714 form=interval measure=count role=writes scope=publication/measures/spectrum value=0..0
 bound-lock/1 at=place:sha256:b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 by=reader:5c74525da714 form=interval measure=s role=writes scope=receipts/readings/5d5ed032748c2ce5e5cacdb79d7d51205b024d34ae8347d78a90e4a2372b7928/b8a1f14d038b0040d83dd33ae4cfe8414b2a291bdc8e897b0c1cf9c824a4ced9 value=0.357912..0.357912
 bound-lock/1 at=place:sha256:c8f723505434197aab9b711bb72540ceab68ee82dcf49eccd92ccf88dbda1c09 by=reader:3b7b382504a7 form=interval measure=count role=writes scope=publication/laws/l7-tolerant-k value=0..0
@@ -489,44 +595,46 @@ bound-lock/1 at=cone:80f51f69560d26290a2880167a36aec106458894a0905faec69f5052311
 bound-lock/1 at=cone:cd1331b873eec49e4996cd81ab21680920cebd3dca48801021f776e758d6fc95 by=judge form=alphabet measure=id role=writes scope=view/tsconfig value=build
 bound-lock/1 at=cone:cd1331b873eec49e4996cd81ab21680920cebd3dca48801021f776e758d6fc95 by=judge form=alphabet measure=cone role=writes scope=view/tsconfig value=tsconfig.json
 bound-lock/1 at=place:sha256:ab038f976b6db0e40f5718a075618e11df5f620cddb7426acb74ad55cd7c836b by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:ab038f976b6db0e40f5718a075618e11df5f620cddb7426acb74ad55cd7c836b
-bound-lock/1 at=place:sha256:62d0b620d833adc2c5b94931d55cdc7a26c1eca46efb41f9bd44984b3156b024 by=bound form=alphabet measure=digest role=writes scope=receipts value=sha256:fd05005958fc9f3253eaf40a466b8f33af379097c12ff777ce4b0f1a229d47a9
+bound-lock/1 at=place:sha256:65b4c4aa8961295994621fae4f05c7ed24110f9382736b6635f53732dc0b453c by=bound form=alphabet measure=digest role=writes scope=receipts value=sha256:28ddcbfc7d970006d277cef589b067a82a5a5052547bd37d6ad576901f1eef55
 bound-lock/1 at=place:sha256:960d8472e9f9d8ff2b6ab6b19b994481e8718c743969ff003a77cbc13dbf7cdb by=bound form=interval measure=count role=writes scope=receipts/. value=2..2
+bound-lock/1 at=place:sha256:08aad7e72faccbbde0c44bfed7e1c1af6c4c6bd3f182b3234a30fe07904984f6 by=bound form=alphabet measure=bytes role=writes scope=receipts/. value=sha256:08aad7e72faccbbde0c44bfed7e1c1af6c4c6bd3f182b3234a30fe07904984f6
 bound-lock/1 at=place:sha256:6982ebdb36be85a9368dfe5007ffc6a375bf69b619d984efcbb0bb8d30c877ce by=bound form=interval measure=count role=writes scope=receipts/algebra-is-closed value=2..2
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/algebra-is-closed value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:45595fa406f309f84e97eb94b01fd86883367224786f3d9bb6a14b82fe11990c by=bound form=interval measure=count role=writes scope=receipts/audit value=16..16
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/audit value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
+bound-lock/1 at=place:sha256:26cfce13b3d118617f84542e24b4ca96a4666ca5be9fa4a0e68bcbd11740b6f8 by=bound form=interval measure=count role=writes scope=receipts/contracts value=5..5
+bound-lock/1 at=place:sha256:b7d9244414fac3eaf3442c710e443b95ee928a7693216eb2d0b1aa8ca30b6a72 by=bound form=alphabet measure=bytes role=writes scope=receipts/contracts value=sha256:b7d9244414fac3eaf3442c710e443b95ee928a7693216eb2d0b1aa8ca30b6a72
 bound-lock/1 at=place:sha256:9fbb1e5c9370cb43eb2fe9ac262e5068da7dddab071f0082a5d143099cd6f47b by=bound form=interval measure=count role=writes scope=receipts/dist value=83..83
-bound-lock/1 at=place:sha256:085c68cd674cfc0c447e9dec9f2bc9e67bd473bc334e455aa76d125e55328489 by=bound form=interval measure=count role=writes scope=receipts/docs value=15..15
+bound-lock/1 at=place:sha256:30f0586888f84fe18b5d000fda2871e25a62f2f376c33a452e8bf053b779b214 by=bound form=alphabet measure=bytes role=writes scope=receipts/dist value=sha256:30f0586888f84fe18b5d000fda2871e25a62f2f376c33a452e8bf053b779b214
+bound-lock/1 at=place:sha256:6e57597496a0b06e0d8f56faf8fc9eddb6773da331574cb8607dbd68ad3419d6 by=bound form=interval measure=count role=writes scope=receipts/docs value=16..16
+bound-lock/1 at=place:sha256:fb9d1a9ccde38197f5336fbf6b854dca20d679257195ec09937c039d2d252146 by=bound form=alphabet measure=bytes role=writes scope=receipts/docs value=sha256:fb9d1a9ccde38197f5336fbf6b854dca20d679257195ec09937c039d2d252146
 bound-lock/1 at=place:sha256:817a7e25a64427fa8c41549bf6464e2c0984b287c883c251ac228ab338f64019 by=bound form=interval measure=count role=writes scope=receipts/door value=1..1
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/door value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:b2214c66ac0bab459048e708de8c59034d19b9d9cc9b3bb0b335920cb38da790 by=bound form=interval measure=count role=writes scope=receipts/field-uses-price-and-debit value=2..2
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/field-uses-price-and-debit value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:7c2bb2bf1a5e5dd8a5d1c46cdbfe2f0e2ce3a4813ea83dbbcf59be2e0c6442b4 by=bound form=interval measure=count role=writes scope=receipts/instrument value=1..1
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/instrument value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:60858ea0a2d68667b9c358426240c7073e589889cedef2f5ee47bdb89de8aad9 by=bound form=interval measure=count role=writes scope=receipts/law value=114..114
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/law value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:191abaead290046c620a84c3e2a9635d5fccceecadfccf5e2b8ccd058f7fc9d6 by=bound form=interval measure=count role=writes scope=receipts/package.json value=1..1
-bound-lock/1 at=place:sha256:b454124375d08725bad0515210d8267846da0da9892712eda49b6c3964c730df by=bound form=interval measure=count role=writes scope=receipts/proofs value=8..8
-bound-lock/1 at=place:sha256:8fec84ba8e760849d24a8df5944f7eabc459af52443c5a43c606331f718b94c5 by=bound form=interval measure=count role=writes scope=receipts/publication value=50..50
+bound-lock/1 at=place:sha256:79fec431a4c5a92a21e65e3a09667793930a767a111fac1489a1a57972505dee by=bound form=alphabet measure=bytes role=writes scope=receipts/package.json value=sha256:79fec431a4c5a92a21e65e3a09667793930a767a111fac1489a1a57972505dee
+bound-lock/1 at=place:sha256:d1dd2dff44907ae3443977f4aac90567b279b49c1e11e68369a68726c476172f by=bound form=interval measure=count role=writes scope=receipts/proofs value=53..53
+bound-lock/1 at=place:sha256:7bdfb0d6db578f0058fedf9d63efbc253b01ad89a09274d0c900f7e765256992 by=bound form=alphabet measure=bytes role=writes scope=receipts/proofs value=sha256:7bdfb0d6db578f0058fedf9d63efbc253b01ad89a09274d0c900f7e765256992
+bound-lock/1 at=place:sha256:6b0e6af8e322c9ef29ad843d3c7f196eb7b10aaa145c797510c8d375cb4e0163 by=bound form=interval measure=count role=writes scope=receipts/publication value=65..65
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/publication value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:f8b6ecc1cadf295a0373223fce2993c58a41b98afaf21ce54ea449716626be95 by=bound form=interval measure=count role=writes scope=receipts/publish-auth-is-trusted value=1..1
-bound-lock/1 at=place:sha256:27a39e68f9cb280a06991fd25b5fcb92f2397a07fe85ff6492c5b4ab451b20ad by=bound form=interval measure=count role=writes scope=receipts/receipts value=84..84
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/publish-auth-is-trusted value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
+bound-lock/1 at=place:sha256:483597389bd54ba5e2924d43ff2494f765427ff20db372a99c2641aae457b16e by=bound form=interval measure=count role=writes scope=receipts/receipts value=104..104
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/receipts value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:5920c4d72a2aea04a33d79b389cfa26ce004010095fcbb5019df6b3c45bd98e1 by=bound form=interval measure=count role=writes scope=receipts/release value=2..2
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/release value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
 bound-lock/1 at=place:sha256:89dd945a586376e1226005b85f2cc6bdcd331b9710fb5c47839a7b5177aafacc by=bound form=interval measure=count role=writes scope=receipts/replay-folds-what-landed value=2..2
-bound-lock/1 at=place:sha256:cc5ebee83c3d220519ffd6e3e38188220cb4f14a904c9be70f349723cf8fa789 by=bound form=interval measure=count role=writes scope=receipts/samples value=29..29
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/replay-folds-what-landed value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
+bound-lock/1 at=place:sha256:d296f294e094a81c23d5ab38bf4a28d9edea7cbc7cffda8e47afc489376fdbf1 by=bound form=interval measure=count role=writes scope=receipts/samples value=39..39
+bound-lock/1 at=place:sha256:6d0dcebc15edccce5cd922631dd441b56738bd9bf8659ebb7213d0fdd5568c4f by=bound form=alphabet measure=bytes role=writes scope=receipts/samples value=sha256:6d0dcebc15edccce5cd922631dd441b56738bd9bf8659ebb7213d0fdd5568c4f
 bound-lock/1 at=place:sha256:f5d1b714b02f2860ec76a8dce7bd447d8b36092497203c313abd599e268d905b by=bound form=interval measure=count role=writes scope=receipts/three-theories-one-algebra value=2..2
-bound-lock/1 at=place:sha256:167db67d520386172e0ffdd424ee9699ef02480e9558d3ef6f3580d855b1e18a by=bound form=interval measure=count role=writes scope=receipts/vectors value=46..46
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/three-theories-one-algebra value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d
+bound-lock/1 at=place:sha256:2c4680d563f16f3bc4ccdfa04f4a019ff6caaa0ea1296bca60d4004c1a953a01 by=bound form=interval measure=count role=writes scope=receipts/vectors value=56..56
+bound-lock/1 at=place:sha256:494bc1197ebd23455c5b5b9c8df31870f2126e284f284847c8869229bf987e74 by=bound form=alphabet measure=bytes role=writes scope=receipts/vectors value=sha256:494bc1197ebd23455c5b5b9c8df31870f2126e284f284847c8869229bf987e74
 bound-lock/1 at=place:sha256:fe4a7be18b80b4943d3a592534a5984b0e8399a8ca9bebda33661f700a174b0c by=bound form=interval measure=count role=writes scope=receipts/view value=30..30
-bound-lock/1 at=place:sha256:ca4b68ff714b7937d034938fd206663d8e5653f96c8e3ee88b757f61f81f900f by=bound form=alphabet measure=bytes role=writes scope=receipts/. value=sha256:ca4b68ff714b7937d034938fd206663d8e5653f96c8e3ee88b757f61f81f900f
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/algebra-is-closed value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/audit value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:4f92bec52395d76fb63d2c225ad89e56880ee7d162d3c2a1a8cf151e1f87ab73 by=bound form=alphabet measure=bytes role=writes scope=receipts/dist value=sha256:4f92bec52395d76fb63d2c225ad89e56880ee7d162d3c2a1a8cf151e1f87ab73
-bound-lock/1 at=place:sha256:1f9a36a9bc2003c9274f6cf4be98a35f45cba6669dc7ac5ee790196e1f190600 by=bound form=alphabet measure=bytes role=writes scope=receipts/docs value=sha256:1f9a36a9bc2003c9274f6cf4be98a35f45cba6669dc7ac5ee790196e1f190600
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/door value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/field-uses-price-and-debit value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/instrument value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/law value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:26b784bcf2a081d597f4018bffe751c3382be30ca79b8f5878b2154a572de0cc by=bound form=alphabet measure=bytes role=writes scope=receipts/package.json value=sha256:26b784bcf2a081d597f4018bffe751c3382be30ca79b8f5878b2154a572de0cc
-bound-lock/1 at=place:sha256:61da893ce31fe6ba23bf9bc2fb035828987728d23773ec0d20cf88a7f389266b by=bound form=alphabet measure=bytes role=writes scope=receipts/proofs value=sha256:61da893ce31fe6ba23bf9bc2fb035828987728d23773ec0d20cf88a7f389266b
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/publication value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/publish-auth-is-trusted value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/receipts value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/release value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/replay-folds-what-landed value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:05f21144f6bd761fd8c37455ed55079d24685405b9412b22bb7dffcebee32732 by=bound form=alphabet measure=bytes role=writes scope=receipts/samples value=sha256:05f21144f6bd761fd8c37455ed55079d24685405b9412b22bb7dffcebee32732
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/three-theories-one-algebra value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
-bound-lock/1 at=place:sha256:7dd915b92c2fd9901f78ff2d16508f097228ae3bef3c8a52611954708cc52721 by=bound form=alphabet measure=bytes role=writes scope=receipts/vectors value=sha256:7dd915b92c2fd9901f78ff2d16508f097228ae3bef3c8a52611954708cc52721
-bound-lock/1 at=place:sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde by=bound form=alphabet measure=bytes role=writes scope=receipts/view value=sha256:b83ef5e00dced87def563d943d8e9ce4ff8681527d784e1a7229f01fb58a3bde
+bound-lock/1 at=place:sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d by=bound form=alphabet measure=bytes role=writes scope=receipts/view value=sha256:99f28ec6838c53bc4cf56f3fc9efff07a7561b94a24699922cdbf330650fe27d

package/samples/laws/m0-allocation/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "missing-input",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-allocation/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-allocation",
+  "contract": "contracts/m0-allocation.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-finite-grid/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "false-wf-floor-monotonicity",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-finite-grid/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-finite-grid",
+  "contract": "contracts/m0-finite-grid.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-limit-diag/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "zero-diagonal-mass",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-limit-diag/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-limit-diag",
+  "contract": "contracts/m0-limit-diag.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-limit-offdiag/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "missing-offdiag-hypothesis",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-limit-offdiag/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-limit-offdiag",
+  "contract": "contracts/m0-limit-offdiag.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-pair-coincidence/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "false-triple-moment",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-pair-coincidence/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-pair-coincidence",
+  "contract": "contracts/m0-pair-coincidence.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}