@lapxo/bound 0.1.8 → 0.2.0

package/samples/wasm/water-level/TARGET.bound

@@ -0,0 +1,65 @@
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/device sig="ed25519:sample:eKBKzxQy7y0rAkYWQR+b9iIFU500G7l9FRqYaO8JlIOXtsJNsTd04oOoAa17vgqyYUd78tJnT7KtUUIZNZipCw==" value=authorize
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=coverage role=writes scope=keys/device sig="ed25519:sample:yeJexsgnQUc62w09E7Ch6hiR83/kTktpGSiKC9eiPqkglaY6SviSQt9lYznvRtRbDGKrTYbwdkX+mn7mk6GmBQ==" value=*
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=public-key role=writes scope=keys/device sig="ed25519:sample:6GeDXby5EaUUirHQRlH9BLUCsFYjTaWrye4kMoltI8AeSr+3O1e/PAIUKBAuXkq6tTLfQaanEVX3iEpZQXBADw==" value="MCowBQYDK2VwAyEAEohct6cuSJ2XB3MKNb55D2ji0YCJgeUergp3XxxlPzo="
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=signer role=writes scope=keys/device sig="ed25519:sample:wu2CKpJ8EuyRgS337vTWmGblocd0L5BYs8ML7qjFV/snZbTENFygVmWV3Q7qVQNvcbME0PcLZb76ET7XO58zAQ==" value=file
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/reader sig="ed25519:sample:mijknbhdyxPwT9aciD+PAr79cAr/leWDDoNoKYs/yfOYg1hUVhUM1AbVWi2eIfROqLtPJfH+8bGVBTXb7EXUDw==" value=read
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/folder sig="ed25519:sample:hhhn86mmUDeuaxTmxoSfMRhLPStXX0lL3nskQYMj3c4lqCCLYmlvjGqzEu5DKx8PNM+FFEIk/9HuReWs8J8hAQ==" value=fold
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=signer/timeout sig="ed25519:sample:3WS/wUE/vMslNv9QpClOshY0igHzx8ix8Zxa4g+jfca5h5Mys+J0cug0HN/eEq0YZdlmoxEdNAandKCUuwFyBw==" value=5000..5000
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=bytes role=writes scope=signer/response-bytes sig="ed25519:sample:t/222OUQ0bxEPBsspy0JTFOHJk4J7UJunALw61HWId6AomoHc9mHtLJVdTikBBA/rd3wU0a4Zlkw06VjlrcTDw==" value=65536..65536
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/digest-algorithms sig="ed25519:sample:ko6RiRPizeRsYylr15XHMh16xLt39pJs6QX9bkiB/vrvhNqJq98JqG/muv5ieqVb9HOWmCPhrDSSzVx/5hXgCg==" value=sha256
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/signature-algorithms sig="ed25519:sample:rLaj+ztOjoLxnJopuq8JjQ25uyCrUWIeSlJSj5YDb8sxyLHPhvQEBc31c9E0cFC9okC3JdVG/BkkIPQJFrxkDg==" value=ed25519:sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/era sig="ed25519:sample:V9uz7s4CNtgwB88+yS8zeXzICbPSUp30wjt1om9SL99VNLiwz+2WVSqogCSRvdYF5SkgzngaXtGSxqHcuYMZCQ==" value=sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/families sig="ed25519:sample:HUgHPVyQcAI6x63DD6rXlr+fVqTLHnOsKpEPg7vrDv3GKgrfVqvxGWEHTgzYojMBIWj5CAYcaXP5ccNdBeYHCQ==" value=B|C|D|G|keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|evidence|uses|engine
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/forms sig="ed25519:sample:2kXb9/+GdpgcxDvr4snsG+Fya2cCwvXRnHpa8WtkEjqOa/l3hQePeTBr9w74dRvgk9BWUK/dHINyDOoIpKTZCA==" value=alphabet|interval
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/roles sig="ed25519:sample:Ol1vYD/Z+gxMCJABhHyoBDvbHMT4gGaLw4TmdxNVgdxuOMsmFOg60UIz5BKguqhOcvX6OZPXlqOoSgYOPW9JAQ==" value=reads|writes|demands
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/at-classes sig="ed25519:sample:bcQmtPsI1bt0ELYhRE5hcWZAe/ULKovBU+Togmolul23SPwAIk/8COAHuPJadZ2c9J1ymJbAD/iUAtcNNblyBw==" value=origin|place|receipt|witness|policy
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/receipt-inputs sig="ed25519:sample:R9DjmjuMlwif0NsgOdQH6SGVRKsA4GbPurbkpSpUkIvteNFG8rWhCx6/BSA4TzXshdi7JDClWcskwzxHzZwLCg==" value=semantic-live@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/region-measures sig="ed25519:sample:y2wZoamaKhmaqOVE0zTFbvxBDWwmKmc330UBOlkptblqrznW5X/867ivB6+mlqpdAI4Epzj0j7PVLc2Yb9RMDw==" value=coordinates|leaves
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=demands scope=view/cells sig="ed25519:sample:KZIfwdQDFB2RQnDSfNl3qrtSoYa/nx/dZNIKYz24IFrXukJptLM3YDbmu4q7ZUM3PwZ6nfXOcYo/JvveiiEzBQ==" value=cells@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:Z6NnZN/JfBbqruthQSBwBPi0P5dpxjRmlZavyMmptONmHjWB4bwRkxlw7dYqwuJGx3mSChzEdXc279dX5gUqBA==" value=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/fields sig="ed25519:sample:YozW7TGayeKJSmD2ntBsPV8GRA3qEYnBBf/dIYFMDxICHyWLhbZTn9eV7Pox8UsupRos1zH6SmFC0d3gXUKaDg==" value=about|at|by|condition|epoch|form|id|kind|measure|needs|origin|params|pole|reach|restsOn|role|scope|shape|sig|sign|takes|topos|type|value|view|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/required sig="ed25519:sample:JxJ6nOBUAWr0W3c2wPoMPCg5Pq25bRuaYT+CxYrpCvSYrkLXgV+cs69VwFRKZ7EFVtD3BVLrVMHB4xwVVvLYDQ==" value=at|by|form|measure|role|scope|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/types sig="ed25519:sample:zqVHzQtK1Sxxmc1ZyRh9s9YmUtqGoXgoA6j0RTI7tOiTmpg8MxheOHsGvDdDzynD9WcblS+F7hddfP9B/6zeDQ==" value=cell|claim|mark
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/common sig="ed25519:sample:8AlbIbrTxOQiTDcQIHS/xW/SPnLPxfytcOcNHM2TtcJq1ssxevjs0282idEmI7NSrVoZh1NkV9LP2AYiqlE8Cg==" value=by|epoch|id|scope|sig|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/reserved sig="ed25519:sample:FOMfn85IvvX7WIQmumpJexQ+M0oQEjWeSBZL/YUmMXYsumsA6JjNb2mefS89BTIfSImeapYw+oF3q3tuvb57Aw==" value=id|origin|params|pole|reach|sign|takes|topos|type|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/config sig="ed25519:sample:EYxtZFRjysjOKhog+u/yhnabCwbJZOgOT0MkHP8057J3kUPvjiVpaHa1LBHDjfk6ioPmY9UINzolidx0/oA6Bg==" value=about|at|by|condition|epoch|form|kind|measure|needs|restsOn|role|scope|shape|sig|value|view
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/cell sig="ed25519:sample:avjdK9O4p3pM0VMNNLTtBJyvQrbIwyztsNthIozSMolThJm6kpeOQCdCKk3RTZo/BAD854sJL07j2lzuob8WDw==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/cell sig="ed25519:sample:3pYqxPOEQSoyKp/jwRSr+wEPnrAVLBw9wToTGnfZBxXoZ5Qb9VA8e5b3/b0cR3ad9K/yyMky5fxO1kD0R1yrDg==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/positive sig="ed25519:sample:DWvtmOs8eMu1G9hAhLo/LwsdzykvsuWGaz294VHlpCdVIvqaZ+rceoV1BZykdVjyqIYFjkHegtqMay2wv826Aw==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/positive sig="ed25519:sample:PtsR0mMgKTf4rgRp5Ic3pTUxwptOrskUHrWs27y4aXWh58MOGgnsOJYo6iEVRVCjEhyKS5qf77HjVjbL+5/ICg==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/negative sig="ed25519:sample:4GTqAdi5IYHal4gxPbzoIcxNOZveK6UPRqrQEgsB1q9oeK3C2vNfC7Sgtle5BQjjhPyeXUu7VbgEemh7zgHQBw==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/negative sig="ed25519:sample:OfVdXo6f+qt1TRHdHJzsw6u+VP+NdGOsFFoLnwTWQ2UJogO/X/xJTsfMLWZULLNcXn0GOmxS1qAimgK+C/H4Ag==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/travelling sig="ed25519:sample:RXLzztMHN4jvyx+FwgX5MHRTIzbuWx7aVDJuaYYaCUTEGr+oLZab9aA7WhsR/dbjXcyRdTbadXAMLUB6Vj+BCw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/travelling sig="ed25519:sample:2JFwQ5+LD6DTWGJvH8MRiVcdk3/mAve7MTR13+edtg19R6QZL2kUzUfWIR7kMbEyuXvinFrtqVLBMUqsAjNRBQ==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/local sig="ed25519:sample:DHSjeKzVjSbDSrNLVuAE6te0Je4XR1t/mFA298qgPvOGrAiCiRx59dEKgbJS+95ZRLnI2BzyOcqPMKdE/JxbBA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/local sig="ed25519:sample:QPj468Kp3T6xvJLLQBu7bdp2aSM+UbvFhveVgajqZIKupXCZAI/osCQeCC2Jkmrd4RXihXeeQ4VXvKbvlqXTCA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/floor-travelling sig="ed25519:sample:5wbFBMJrR3ux+/ds+05z37G/jU7252qIc+/hFva9Mx7isSZXrXoIos22wRatE9Z7Fym5JCrFA8Sh15OJnmhzDw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/floor-travelling sig="ed25519:sample:DL3aqU6pt506NTKXh63TDPFCudGCQSZcE7e85jJZqmBl4f9he/eKKB+mH4uuFRog7q6xKjBVMMkGDRRahSrrDA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/negative sig="ed25519:sample:rZqius7EnXNadcQQwlhrGbdMabg7wweMtnCljZnctB/SCnypQlabHO0+Lr+yA3mbWtDnr+9XK/6K67mJfWFIDg==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/negative sig="ed25519:sample:up4kVG0xOKGHgYC3WA7XgqmEGaFCwblqPq0iyy7cBQsQtRG+t/azIFVPri1qJe5mqioRIpaOuHm6YDsHIFNBAA==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/ana sig="ed25519:sample:Tx/QqvhdBZ0BeE/LyqMHx1N7zouQcobn8gZ8DajDmA6XISr6fQhwIx+ULlRng0Yd3/UPNKBJpLRKHjcDscgsDA==" value=ana
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/luis sig="ed25519:sample:RqXEG9B8YMpqEOYtoWk4BRdjngyAivoVIbd1ER7P5IUEQmyurY6ucjVUheIxJgsaL3nNklxyRAUS75ArCM1aDg==" value=luis
+bound-lock/1 at=policy:sample by=device condition=B epoch=1 form=alphabet measure=id role=writes scope=evidence/witness/local-opening sig="ed25519:sample:MWTnb7Zji0On1HWTpAkWOOnW0hyuDoxlZiJOjEFd1zBWvlgrAC7247FvYFQU/jH/S/tg6vA/TdQXO5WBqHjjAA==" value=local-opening
+bound-lock/1 by=device epoch=2 form=interval id=def-B measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=B sig="ed25519:sample:iQdr60u8egpM/bwvF9Au9yATNwdScCnp2GKjGXmqyftQFSBBeKF//wLOnTz8SkTP7cXBhfVwhjSEuUTU54E2Ag==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-C measure=count params="{\"lo\":0,\"hi\":100}" restsOn=B scope=C sig="ed25519:sample:nb97LLBzg3Sh2Z/3Zd27u3QlOt3fB3MFG4HoAZUNzp31J00N9yjj7YbZS6VFCyMpQnuVevFrA32IibkuuQ8gAw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-G measure=count params="{\"lo\":0,\"hi\":100}" restsOn=C scope=G sig="ed25519:sample:OkI3N1WHaoGQKVqT9tQbFjSRBei/l12dao1BtnOghZtH8Q3V8nvc9wQP7LFn2DnDAOMXvUw1ubHXCock8BwEBA==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-D measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=D sig="ed25519:sample:puQiMA+YCVOX0yKIihijAhG9ajpAKDLM3X/ng3ZX58QL/39TGIJvoiCCFzaDQOFYF5r50qWlEShGDDnEk+znCw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:rLoTr7BP4zsoRurEuz2lN/VeqMtg+YldibcX2LggLfQ78Rw7pV/87am132yDRC1wyc8xfH5J4Grp8qpa7IRAAA==" sign=+1 type=mark value=0..50
+bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:fxqybwoWAIYns78iHvfLtxY6lhzXIBT5n6qIZUXg6aBzseyQjpt4zi9wk7zp9CdqZwFj1BkFVIzSi7uBOdycDA==" sign=+1 type=mark value=0..100 widens=local-opening
+bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:G8sd22Ked9SKr8sCxGu1vAIhMwOMDE+XkVzzmzmzOp/RLRcGyGKvypbhgxHfTdC2mZA2SSdIo4sqpwPB2yJEBA==" sign=+1 type=mark value=40..*
+bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:YF4P0EhPseNcZ5ADZetrnPoi05CRbOiov/4fd/my2Uf7ABNuynrJSqG6zgaXJXbs4KS9vOQGChwFQYzCGq5PBA==" sign=+1 type=claim value=42..48
+bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:t1HGpET4B8CAtfqOWJKwh+EnKC74vpUIuL0ZYx7zZciiMlfQ8RLQqK5de5e/sjmAKahFYK+yh7GMvvVBB2DaAg==" sign=+1 type=claim value=44..47
+bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:42/yWImvuU65h6SZVRG6AvCMvEKE1v++CgLF/TMwNZeesyt1uVS8QQvK4nvhqZ9SK+oAG5C39IkU5kEchZOWDA==" sign=+1 type=claim value=40..43
+bound-lock/1 by=device epoch=9 id=withdraw-disagreement scope=C sig="ed25519:sample:+QDVM1YCP5zEub9YBCE/025Bzf+LlgNniKFKF84FHXqhkVOrwSiWjgt0BcS6BLUPImEPNrLUzf6l/icJ+S3FBQ==" sign=-1 takes=disagreement type=claim
+bound-lock/1 by=device epoch=10 id=withdraw-c-C scope=C sig="ed25519:sample:Pif/lULD4kL6E4qbtrpF36o4C9huNfFSvqSDYE1YsZoqqofdVUUBrmrcovN+vsm9vhRP0VW3/+61610KCl/DCQ==" sign=-1 takes=c-C type=claim
+bound-lock/1 by=device epoch=11 id=withdraw-c-L scope=C sig="ed25519:sample:daAxvSAjqF6SQJHY6z5sixPwbUEFfl+0Sqfnu56/ccpHX2aw8MtRkgdw1wujToSaiMg93tF7KuZdQCJeIBmlDA==" sign=-1 takes=c-L type=claim
+bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:XkNk3PB+XM2+MuqHpwFPWBKJn4f7SX5QO4+OE/mhEvJ3T4GLhchsjsJrnylr2NNDQ6s40A6totx9iPBP7vYIBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:VGS5Ih+hH99yXk/E8LO1EtqvurNupDa9Mgg8b8bXggZlZm9kPf2oPEfinvFhs6pheaKfKSfK4+s+MRpeNZgJBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:hod/R6673bcOxchTXl+oRFnUsUdPV6vhDa8+rPy1pQFopxgqr/KnR2uW3ScEJXn/egwvZDcwE9Uo6+I84/FoDg==" sign=+1 type=mark value=60..*
+bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=alphabet measure=id role=writes scope=engine/object sig="ed25519:sample:yN7crs+FvpKwhVtdNRtVY2bHwWXABIioYC9uXfVaCHez2dR65otci9I2J7Zbxh/zlndNp13nijYamfc5DV5vCA==" value=wasm@1
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/memory sig="ed25519:sample:ADZ4HsFQViaSD9vUcl6TtfqWWluCFmk67TBvIwnugkXekqbfe6fTHJJ3esU6xyr8swf4OY9KqR61WTawqXHFBw==" value=0..67108864
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/stack sig="ed25519:sample:JM1fjsSe/AsagwR7rWenaewoZQjvUMpEFbXC+KVwsOZgo1gIOPa3PqQCuYKJYUyacmY8ZOVuGMqJe14M/jlOBQ==" value=0..1048576
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/execution sig="ed25519:sample:A73aCAci7ubRFJyGmi079vbV23mekGsg5UuK2ltCrgh41gv3T4Nf/mLGkhPnzRYFMJaM1rjdayJxkC+LSFchCw==" value=0..10000
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/worker-lifetime sig="ed25519:sample:YGlW8wNVBv1/yrUeUi7xh2CQk7bobnWPnX/1ZcqS+KWd/Hq9G4+BbjuqWpCN2NPlIJ04TmpRwQdZX14u/xxMCg==" value=0..15000
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/response sig="ed25519:sample:Cerw/uQjmsDi4Mk09WfBvCkzwktbPHX+fLI6L0DJ5RlevFPmVnzdmyscuqs3rcJkwe+cEiRYxr2dha4CwZ5BAw==" value=0..1048576

package/samples/wasm/water-level/esm.bound

@@ -0,0 +1,59 @@
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/device sig="ed25519:sample:eKBKzxQy7y0rAkYWQR+b9iIFU500G7l9FRqYaO8JlIOXtsJNsTd04oOoAa17vgqyYUd78tJnT7KtUUIZNZipCw==" value=authorize
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=coverage role=writes scope=keys/device sig="ed25519:sample:yeJexsgnQUc62w09E7Ch6hiR83/kTktpGSiKC9eiPqkglaY6SviSQt9lYznvRtRbDGKrTYbwdkX+mn7mk6GmBQ==" value=*
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=public-key role=writes scope=keys/device sig="ed25519:sample:6GeDXby5EaUUirHQRlH9BLUCsFYjTaWrye4kMoltI8AeSr+3O1e/PAIUKBAuXkq6tTLfQaanEVX3iEpZQXBADw==" value="MCowBQYDK2VwAyEAEohct6cuSJ2XB3MKNb55D2ji0YCJgeUergp3XxxlPzo="
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=signer role=writes scope=keys/device sig="ed25519:sample:wu2CKpJ8EuyRgS337vTWmGblocd0L5BYs8ML7qjFV/snZbTENFygVmWV3Q7qVQNvcbME0PcLZb76ET7XO58zAQ==" value=file
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/reader sig="ed25519:sample:mijknbhdyxPwT9aciD+PAr79cAr/leWDDoNoKYs/yfOYg1hUVhUM1AbVWi2eIfROqLtPJfH+8bGVBTXb7EXUDw==" value=read
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/folder sig="ed25519:sample:hhhn86mmUDeuaxTmxoSfMRhLPStXX0lL3nskQYMj3c4lqCCLYmlvjGqzEu5DKx8PNM+FFEIk/9HuReWs8J8hAQ==" value=fold
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=signer/timeout sig="ed25519:sample:3WS/wUE/vMslNv9QpClOshY0igHzx8ix8Zxa4g+jfca5h5Mys+J0cug0HN/eEq0YZdlmoxEdNAandKCUuwFyBw==" value=5000..5000
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=bytes role=writes scope=signer/response-bytes sig="ed25519:sample:t/222OUQ0bxEPBsspy0JTFOHJk4J7UJunALw61HWId6AomoHc9mHtLJVdTikBBA/rd3wU0a4Zlkw06VjlrcTDw==" value=65536..65536
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/digest-algorithms sig="ed25519:sample:ko6RiRPizeRsYylr15XHMh16xLt39pJs6QX9bkiB/vrvhNqJq98JqG/muv5ieqVb9HOWmCPhrDSSzVx/5hXgCg==" value=sha256
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/signature-algorithms sig="ed25519:sample:rLaj+ztOjoLxnJopuq8JjQ25uyCrUWIeSlJSj5YDb8sxyLHPhvQEBc31c9E0cFC9okC3JdVG/BkkIPQJFrxkDg==" value=ed25519:sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/era sig="ed25519:sample:V9uz7s4CNtgwB88+yS8zeXzICbPSUp30wjt1om9SL99VNLiwz+2WVSqogCSRvdYF5SkgzngaXtGSxqHcuYMZCQ==" value=sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/families sig="ed25519:sample:HUgHPVyQcAI6x63DD6rXlr+fVqTLHnOsKpEPg7vrDv3GKgrfVqvxGWEHTgzYojMBIWj5CAYcaXP5ccNdBeYHCQ==" value=B|C|D|G|keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|evidence|uses|engine
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/forms sig="ed25519:sample:2kXb9/+GdpgcxDvr4snsG+Fya2cCwvXRnHpa8WtkEjqOa/l3hQePeTBr9w74dRvgk9BWUK/dHINyDOoIpKTZCA==" value=alphabet|interval
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/roles sig="ed25519:sample:Ol1vYD/Z+gxMCJABhHyoBDvbHMT4gGaLw4TmdxNVgdxuOMsmFOg60UIz5BKguqhOcvX6OZPXlqOoSgYOPW9JAQ==" value=reads|writes|demands
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/at-classes sig="ed25519:sample:bcQmtPsI1bt0ELYhRE5hcWZAe/ULKovBU+Togmolul23SPwAIk/8COAHuPJadZ2c9J1ymJbAD/iUAtcNNblyBw==" value=origin|place|receipt|witness|policy
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/receipt-inputs sig="ed25519:sample:R9DjmjuMlwif0NsgOdQH6SGVRKsA4GbPurbkpSpUkIvteNFG8rWhCx6/BSA4TzXshdi7JDClWcskwzxHzZwLCg==" value=semantic-live@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/region-measures sig="ed25519:sample:y2wZoamaKhmaqOVE0zTFbvxBDWwmKmc330UBOlkptblqrznW5X/867ivB6+mlqpdAI4Epzj0j7PVLc2Yb9RMDw==" value=coordinates|leaves
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=demands scope=view/cells sig="ed25519:sample:KZIfwdQDFB2RQnDSfNl3qrtSoYa/nx/dZNIKYz24IFrXukJptLM3YDbmu4q7ZUM3PwZ6nfXOcYo/JvveiiEzBQ==" value=cells@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:Z6NnZN/JfBbqruthQSBwBPi0P5dpxjRmlZavyMmptONmHjWB4bwRkxlw7dYqwuJGx3mSChzEdXc279dX5gUqBA==" value=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/fields sig="ed25519:sample:YozW7TGayeKJSmD2ntBsPV8GRA3qEYnBBf/dIYFMDxICHyWLhbZTn9eV7Pox8UsupRos1zH6SmFC0d3gXUKaDg==" value=about|at|by|condition|epoch|form|id|kind|measure|needs|origin|params|pole|reach|restsOn|role|scope|shape|sig|sign|takes|topos|type|value|view|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/required sig="ed25519:sample:JxJ6nOBUAWr0W3c2wPoMPCg5Pq25bRuaYT+CxYrpCvSYrkLXgV+cs69VwFRKZ7EFVtD3BVLrVMHB4xwVVvLYDQ==" value=at|by|form|measure|role|scope|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/types sig="ed25519:sample:zqVHzQtK1Sxxmc1ZyRh9s9YmUtqGoXgoA6j0RTI7tOiTmpg8MxheOHsGvDdDzynD9WcblS+F7hddfP9B/6zeDQ==" value=cell|claim|mark
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/common sig="ed25519:sample:8AlbIbrTxOQiTDcQIHS/xW/SPnLPxfytcOcNHM2TtcJq1ssxevjs0282idEmI7NSrVoZh1NkV9LP2AYiqlE8Cg==" value=by|epoch|id|scope|sig|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/reserved sig="ed25519:sample:FOMfn85IvvX7WIQmumpJexQ+M0oQEjWeSBZL/YUmMXYsumsA6JjNb2mefS89BTIfSImeapYw+oF3q3tuvb57Aw==" value=id|origin|params|pole|reach|sign|takes|topos|type|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/config sig="ed25519:sample:EYxtZFRjysjOKhog+u/yhnabCwbJZOgOT0MkHP8057J3kUPvjiVpaHa1LBHDjfk6ioPmY9UINzolidx0/oA6Bg==" value=about|at|by|condition|epoch|form|kind|measure|needs|restsOn|role|scope|shape|sig|value|view
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/cell sig="ed25519:sample:avjdK9O4p3pM0VMNNLTtBJyvQrbIwyztsNthIozSMolThJm6kpeOQCdCKk3RTZo/BAD854sJL07j2lzuob8WDw==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/cell sig="ed25519:sample:3pYqxPOEQSoyKp/jwRSr+wEPnrAVLBw9wToTGnfZBxXoZ5Qb9VA8e5b3/b0cR3ad9K/yyMky5fxO1kD0R1yrDg==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/positive sig="ed25519:sample:DWvtmOs8eMu1G9hAhLo/LwsdzykvsuWGaz294VHlpCdVIvqaZ+rceoV1BZykdVjyqIYFjkHegtqMay2wv826Aw==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/positive sig="ed25519:sample:PtsR0mMgKTf4rgRp5Ic3pTUxwptOrskUHrWs27y4aXWh58MOGgnsOJYo6iEVRVCjEhyKS5qf77HjVjbL+5/ICg==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/negative sig="ed25519:sample:4GTqAdi5IYHal4gxPbzoIcxNOZveK6UPRqrQEgsB1q9oeK3C2vNfC7Sgtle5BQjjhPyeXUu7VbgEemh7zgHQBw==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/negative sig="ed25519:sample:OfVdXo6f+qt1TRHdHJzsw6u+VP+NdGOsFFoLnwTWQ2UJogO/X/xJTsfMLWZULLNcXn0GOmxS1qAimgK+C/H4Ag==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/travelling sig="ed25519:sample:RXLzztMHN4jvyx+FwgX5MHRTIzbuWx7aVDJuaYYaCUTEGr+oLZab9aA7WhsR/dbjXcyRdTbadXAMLUB6Vj+BCw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/travelling sig="ed25519:sample:2JFwQ5+LD6DTWGJvH8MRiVcdk3/mAve7MTR13+edtg19R6QZL2kUzUfWIR7kMbEyuXvinFrtqVLBMUqsAjNRBQ==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/local sig="ed25519:sample:DHSjeKzVjSbDSrNLVuAE6te0Je4XR1t/mFA298qgPvOGrAiCiRx59dEKgbJS+95ZRLnI2BzyOcqPMKdE/JxbBA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/local sig="ed25519:sample:QPj468Kp3T6xvJLLQBu7bdp2aSM+UbvFhveVgajqZIKupXCZAI/osCQeCC2Jkmrd4RXihXeeQ4VXvKbvlqXTCA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/floor-travelling sig="ed25519:sample:5wbFBMJrR3ux+/ds+05z37G/jU7252qIc+/hFva9Mx7isSZXrXoIos22wRatE9Z7Fym5JCrFA8Sh15OJnmhzDw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/floor-travelling sig="ed25519:sample:DL3aqU6pt506NTKXh63TDPFCudGCQSZcE7e85jJZqmBl4f9he/eKKB+mH4uuFRog7q6xKjBVMMkGDRRahSrrDA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/negative sig="ed25519:sample:rZqius7EnXNadcQQwlhrGbdMabg7wweMtnCljZnctB/SCnypQlabHO0+Lr+yA3mbWtDnr+9XK/6K67mJfWFIDg==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/negative sig="ed25519:sample:up4kVG0xOKGHgYC3WA7XgqmEGaFCwblqPq0iyy7cBQsQtRG+t/azIFVPri1qJe5mqioRIpaOuHm6YDsHIFNBAA==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/ana sig="ed25519:sample:Tx/QqvhdBZ0BeE/LyqMHx1N7zouQcobn8gZ8DajDmA6XISr6fQhwIx+ULlRng0Yd3/UPNKBJpLRKHjcDscgsDA==" value=ana
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/luis sig="ed25519:sample:RqXEG9B8YMpqEOYtoWk4BRdjngyAivoVIbd1ER7P5IUEQmyurY6ucjVUheIxJgsaL3nNklxyRAUS75ArCM1aDg==" value=luis
+bound-lock/1 at=policy:sample by=device condition=B epoch=1 form=alphabet measure=id role=writes scope=evidence/witness/local-opening sig="ed25519:sample:MWTnb7Zji0On1HWTpAkWOOnW0hyuDoxlZiJOjEFd1zBWvlgrAC7247FvYFQU/jH/S/tg6vA/TdQXO5WBqHjjAA==" value=local-opening
+bound-lock/1 by=device epoch=2 form=interval id=def-B measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=B sig="ed25519:sample:iQdr60u8egpM/bwvF9Au9yATNwdScCnp2GKjGXmqyftQFSBBeKF//wLOnTz8SkTP7cXBhfVwhjSEuUTU54E2Ag==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-C measure=count params="{\"lo\":0,\"hi\":100}" restsOn=B scope=C sig="ed25519:sample:nb97LLBzg3Sh2Z/3Zd27u3QlOt3fB3MFG4HoAZUNzp31J00N9yjj7YbZS6VFCyMpQnuVevFrA32IibkuuQ8gAw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-G measure=count params="{\"lo\":0,\"hi\":100}" restsOn=C scope=G sig="ed25519:sample:OkI3N1WHaoGQKVqT9tQbFjSRBei/l12dao1BtnOghZtH8Q3V8nvc9wQP7LFn2DnDAOMXvUw1ubHXCock8BwEBA==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-D measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=D sig="ed25519:sample:puQiMA+YCVOX0yKIihijAhG9ajpAKDLM3X/ng3ZX58QL/39TGIJvoiCCFzaDQOFYF5r50qWlEShGDDnEk+znCw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:rLoTr7BP4zsoRurEuz2lN/VeqMtg+YldibcX2LggLfQ78Rw7pV/87am132yDRC1wyc8xfH5J4Grp8qpa7IRAAA==" sign=+1 type=mark value=0..50
+bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:fxqybwoWAIYns78iHvfLtxY6lhzXIBT5n6qIZUXg6aBzseyQjpt4zi9wk7zp9CdqZwFj1BkFVIzSi7uBOdycDA==" sign=+1 type=mark value=0..100 widens=local-opening
+bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:G8sd22Ked9SKr8sCxGu1vAIhMwOMDE+XkVzzmzmzOp/RLRcGyGKvypbhgxHfTdC2mZA2SSdIo4sqpwPB2yJEBA==" sign=+1 type=mark value=40..*
+bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:YF4P0EhPseNcZ5ADZetrnPoi05CRbOiov/4fd/my2Uf7ABNuynrJSqG6zgaXJXbs4KS9vOQGChwFQYzCGq5PBA==" sign=+1 type=claim value=42..48
+bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:t1HGpET4B8CAtfqOWJKwh+EnKC74vpUIuL0ZYx7zZciiMlfQ8RLQqK5de5e/sjmAKahFYK+yh7GMvvVBB2DaAg==" sign=+1 type=claim value=44..47
+bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:42/yWImvuU65h6SZVRG6AvCMvEKE1v++CgLF/TMwNZeesyt1uVS8QQvK4nvhqZ9SK+oAG5C39IkU5kEchZOWDA==" sign=+1 type=claim value=40..43
+bound-lock/1 by=device epoch=9 id=withdraw-disagreement scope=C sig="ed25519:sample:+QDVM1YCP5zEub9YBCE/025Bzf+LlgNniKFKF84FHXqhkVOrwSiWjgt0BcS6BLUPImEPNrLUzf6l/icJ+S3FBQ==" sign=-1 takes=disagreement type=claim
+bound-lock/1 by=device epoch=10 id=withdraw-c-C scope=C sig="ed25519:sample:Pif/lULD4kL6E4qbtrpF36o4C9huNfFSvqSDYE1YsZoqqofdVUUBrmrcovN+vsm9vhRP0VW3/+61610KCl/DCQ==" sign=-1 takes=c-C type=claim
+bound-lock/1 by=device epoch=11 id=withdraw-c-L scope=C sig="ed25519:sample:daAxvSAjqF6SQJHY6z5sixPwbUEFfl+0Sqfnu56/ccpHX2aw8MtRkgdw1wujToSaiMg93tF7KuZdQCJeIBmlDA==" sign=-1 takes=c-L type=claim
+bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:XkNk3PB+XM2+MuqHpwFPWBKJn4f7SX5QO4+OE/mhEvJ3T4GLhchsjsJrnylr2NNDQ6s40A6totx9iPBP7vYIBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:VGS5Ih+hH99yXk/E8LO1EtqvurNupDa9Mgg8b8bXggZlZm9kPf2oPEfinvFhs6pheaKfKSfK4+s+MRpeNZgJBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:hod/R6673bcOxchTXl+oRFnUsUdPV6vhDa8+rPy1pQFopxgqr/KnR2uW3ScEJXn/egwvZDcwE9Uo6+I84/FoDg==" sign=+1 type=mark value=60..*
+bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark

package/samples/wasm/water-level/no-deadline.bound

@@ -0,0 +1,65 @@
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/device sig="ed25519:sample:eKBKzxQy7y0rAkYWQR+b9iIFU500G7l9FRqYaO8JlIOXtsJNsTd04oOoAa17vgqyYUd78tJnT7KtUUIZNZipCw==" value=authorize
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=coverage role=writes scope=keys/device sig="ed25519:sample:yeJexsgnQUc62w09E7Ch6hiR83/kTktpGSiKC9eiPqkglaY6SviSQt9lYznvRtRbDGKrTYbwdkX+mn7mk6GmBQ==" value=*
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=public-key role=writes scope=keys/device sig="ed25519:sample:6GeDXby5EaUUirHQRlH9BLUCsFYjTaWrye4kMoltI8AeSr+3O1e/PAIUKBAuXkq6tTLfQaanEVX3iEpZQXBADw==" value="MCowBQYDK2VwAyEAEohct6cuSJ2XB3MKNb55D2ji0YCJgeUergp3XxxlPzo="
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=signer role=writes scope=keys/device sig="ed25519:sample:wu2CKpJ8EuyRgS337vTWmGblocd0L5BYs8ML7qjFV/snZbTENFygVmWV3Q7qVQNvcbME0PcLZb76ET7XO58zAQ==" value=file
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/reader sig="ed25519:sample:mijknbhdyxPwT9aciD+PAr79cAr/leWDDoNoKYs/yfOYg1hUVhUM1AbVWi2eIfROqLtPJfH+8bGVBTXb7EXUDw==" value=read
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/folder sig="ed25519:sample:hhhn86mmUDeuaxTmxoSfMRhLPStXX0lL3nskQYMj3c4lqCCLYmlvjGqzEu5DKx8PNM+FFEIk/9HuReWs8J8hAQ==" value=fold
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=signer/timeout sig="ed25519:sample:3WS/wUE/vMslNv9QpClOshY0igHzx8ix8Zxa4g+jfca5h5Mys+J0cug0HN/eEq0YZdlmoxEdNAandKCUuwFyBw==" value=5000..5000
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=bytes role=writes scope=signer/response-bytes sig="ed25519:sample:t/222OUQ0bxEPBsspy0JTFOHJk4J7UJunALw61HWId6AomoHc9mHtLJVdTikBBA/rd3wU0a4Zlkw06VjlrcTDw==" value=65536..65536
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/digest-algorithms sig="ed25519:sample:ko6RiRPizeRsYylr15XHMh16xLt39pJs6QX9bkiB/vrvhNqJq98JqG/muv5ieqVb9HOWmCPhrDSSzVx/5hXgCg==" value=sha256
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/signature-algorithms sig="ed25519:sample:rLaj+ztOjoLxnJopuq8JjQ25uyCrUWIeSlJSj5YDb8sxyLHPhvQEBc31c9E0cFC9okC3JdVG/BkkIPQJFrxkDg==" value=ed25519:sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/era sig="ed25519:sample:V9uz7s4CNtgwB88+yS8zeXzICbPSUp30wjt1om9SL99VNLiwz+2WVSqogCSRvdYF5SkgzngaXtGSxqHcuYMZCQ==" value=sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/families sig="ed25519:sample:HUgHPVyQcAI6x63DD6rXlr+fVqTLHnOsKpEPg7vrDv3GKgrfVqvxGWEHTgzYojMBIWj5CAYcaXP5ccNdBeYHCQ==" value=B|C|D|G|keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|evidence|uses|engine
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/forms sig="ed25519:sample:2kXb9/+GdpgcxDvr4snsG+Fya2cCwvXRnHpa8WtkEjqOa/l3hQePeTBr9w74dRvgk9BWUK/dHINyDOoIpKTZCA==" value=alphabet|interval
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/roles sig="ed25519:sample:Ol1vYD/Z+gxMCJABhHyoBDvbHMT4gGaLw4TmdxNVgdxuOMsmFOg60UIz5BKguqhOcvX6OZPXlqOoSgYOPW9JAQ==" value=reads|writes|demands
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/at-classes sig="ed25519:sample:bcQmtPsI1bt0ELYhRE5hcWZAe/ULKovBU+Togmolul23SPwAIk/8COAHuPJadZ2c9J1ymJbAD/iUAtcNNblyBw==" value=origin|place|receipt|witness|policy
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/receipt-inputs sig="ed25519:sample:R9DjmjuMlwif0NsgOdQH6SGVRKsA4GbPurbkpSpUkIvteNFG8rWhCx6/BSA4TzXshdi7JDClWcskwzxHzZwLCg==" value=semantic-live@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/region-measures sig="ed25519:sample:y2wZoamaKhmaqOVE0zTFbvxBDWwmKmc330UBOlkptblqrznW5X/867ivB6+mlqpdAI4Epzj0j7PVLc2Yb9RMDw==" value=coordinates|leaves
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=demands scope=view/cells sig="ed25519:sample:KZIfwdQDFB2RQnDSfNl3qrtSoYa/nx/dZNIKYz24IFrXukJptLM3YDbmu4q7ZUM3PwZ6nfXOcYo/JvveiiEzBQ==" value=cells@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:Z6NnZN/JfBbqruthQSBwBPi0P5dpxjRmlZavyMmptONmHjWB4bwRkxlw7dYqwuJGx3mSChzEdXc279dX5gUqBA==" value=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/fields sig="ed25519:sample:YozW7TGayeKJSmD2ntBsPV8GRA3qEYnBBf/dIYFMDxICHyWLhbZTn9eV7Pox8UsupRos1zH6SmFC0d3gXUKaDg==" value=about|at|by|condition|epoch|form|id|kind|measure|needs|origin|params|pole|reach|restsOn|role|scope|shape|sig|sign|takes|topos|type|value|view|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/required sig="ed25519:sample:JxJ6nOBUAWr0W3c2wPoMPCg5Pq25bRuaYT+CxYrpCvSYrkLXgV+cs69VwFRKZ7EFVtD3BVLrVMHB4xwVVvLYDQ==" value=at|by|form|measure|role|scope|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/types sig="ed25519:sample:zqVHzQtK1Sxxmc1ZyRh9s9YmUtqGoXgoA6j0RTI7tOiTmpg8MxheOHsGvDdDzynD9WcblS+F7hddfP9B/6zeDQ==" value=cell|claim|mark
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/common sig="ed25519:sample:8AlbIbrTxOQiTDcQIHS/xW/SPnLPxfytcOcNHM2TtcJq1ssxevjs0282idEmI7NSrVoZh1NkV9LP2AYiqlE8Cg==" value=by|epoch|id|scope|sig|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/reserved sig="ed25519:sample:FOMfn85IvvX7WIQmumpJexQ+M0oQEjWeSBZL/YUmMXYsumsA6JjNb2mefS89BTIfSImeapYw+oF3q3tuvb57Aw==" value=id|origin|params|pole|reach|sign|takes|topos|type|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/config sig="ed25519:sample:EYxtZFRjysjOKhog+u/yhnabCwbJZOgOT0MkHP8057J3kUPvjiVpaHa1LBHDjfk6ioPmY9UINzolidx0/oA6Bg==" value=about|at|by|condition|epoch|form|kind|measure|needs|restsOn|role|scope|shape|sig|value|view
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/cell sig="ed25519:sample:avjdK9O4p3pM0VMNNLTtBJyvQrbIwyztsNthIozSMolThJm6kpeOQCdCKk3RTZo/BAD854sJL07j2lzuob8WDw==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/cell sig="ed25519:sample:3pYqxPOEQSoyKp/jwRSr+wEPnrAVLBw9wToTGnfZBxXoZ5Qb9VA8e5b3/b0cR3ad9K/yyMky5fxO1kD0R1yrDg==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/positive sig="ed25519:sample:DWvtmOs8eMu1G9hAhLo/LwsdzykvsuWGaz294VHlpCdVIvqaZ+rceoV1BZykdVjyqIYFjkHegtqMay2wv826Aw==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/positive sig="ed25519:sample:PtsR0mMgKTf4rgRp5Ic3pTUxwptOrskUHrWs27y4aXWh58MOGgnsOJYo6iEVRVCjEhyKS5qf77HjVjbL+5/ICg==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/negative sig="ed25519:sample:4GTqAdi5IYHal4gxPbzoIcxNOZveK6UPRqrQEgsB1q9oeK3C2vNfC7Sgtle5BQjjhPyeXUu7VbgEemh7zgHQBw==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/negative sig="ed25519:sample:OfVdXo6f+qt1TRHdHJzsw6u+VP+NdGOsFFoLnwTWQ2UJogO/X/xJTsfMLWZULLNcXn0GOmxS1qAimgK+C/H4Ag==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/travelling sig="ed25519:sample:RXLzztMHN4jvyx+FwgX5MHRTIzbuWx7aVDJuaYYaCUTEGr+oLZab9aA7WhsR/dbjXcyRdTbadXAMLUB6Vj+BCw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/travelling sig="ed25519:sample:2JFwQ5+LD6DTWGJvH8MRiVcdk3/mAve7MTR13+edtg19R6QZL2kUzUfWIR7kMbEyuXvinFrtqVLBMUqsAjNRBQ==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/local sig="ed25519:sample:DHSjeKzVjSbDSrNLVuAE6te0Je4XR1t/mFA298qgPvOGrAiCiRx59dEKgbJS+95ZRLnI2BzyOcqPMKdE/JxbBA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/local sig="ed25519:sample:QPj468Kp3T6xvJLLQBu7bdp2aSM+UbvFhveVgajqZIKupXCZAI/osCQeCC2Jkmrd4RXihXeeQ4VXvKbvlqXTCA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/floor-travelling sig="ed25519:sample:5wbFBMJrR3ux+/ds+05z37G/jU7252qIc+/hFva9Mx7isSZXrXoIos22wRatE9Z7Fym5JCrFA8Sh15OJnmhzDw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/floor-travelling sig="ed25519:sample:DL3aqU6pt506NTKXh63TDPFCudGCQSZcE7e85jJZqmBl4f9he/eKKB+mH4uuFRog7q6xKjBVMMkGDRRahSrrDA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/negative sig="ed25519:sample:rZqius7EnXNadcQQwlhrGbdMabg7wweMtnCljZnctB/SCnypQlabHO0+Lr+yA3mbWtDnr+9XK/6K67mJfWFIDg==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/negative sig="ed25519:sample:up4kVG0xOKGHgYC3WA7XgqmEGaFCwblqPq0iyy7cBQsQtRG+t/azIFVPri1qJe5mqioRIpaOuHm6YDsHIFNBAA==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/ana sig="ed25519:sample:Tx/QqvhdBZ0BeE/LyqMHx1N7zouQcobn8gZ8DajDmA6XISr6fQhwIx+ULlRng0Yd3/UPNKBJpLRKHjcDscgsDA==" value=ana
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/luis sig="ed25519:sample:RqXEG9B8YMpqEOYtoWk4BRdjngyAivoVIbd1ER7P5IUEQmyurY6ucjVUheIxJgsaL3nNklxyRAUS75ArCM1aDg==" value=luis
+bound-lock/1 at=policy:sample by=device condition=B epoch=1 form=alphabet measure=id role=writes scope=evidence/witness/local-opening sig="ed25519:sample:MWTnb7Zji0On1HWTpAkWOOnW0hyuDoxlZiJOjEFd1zBWvlgrAC7247FvYFQU/jH/S/tg6vA/TdQXO5WBqHjjAA==" value=local-opening
+bound-lock/1 by=device epoch=2 form=interval id=def-B measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=B sig="ed25519:sample:iQdr60u8egpM/bwvF9Au9yATNwdScCnp2GKjGXmqyftQFSBBeKF//wLOnTz8SkTP7cXBhfVwhjSEuUTU54E2Ag==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-C measure=count params="{\"lo\":0,\"hi\":100}" restsOn=B scope=C sig="ed25519:sample:nb97LLBzg3Sh2Z/3Zd27u3QlOt3fB3MFG4HoAZUNzp31J00N9yjj7YbZS6VFCyMpQnuVevFrA32IibkuuQ8gAw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-G measure=count params="{\"lo\":0,\"hi\":100}" restsOn=C scope=G sig="ed25519:sample:OkI3N1WHaoGQKVqT9tQbFjSRBei/l12dao1BtnOghZtH8Q3V8nvc9wQP7LFn2DnDAOMXvUw1ubHXCock8BwEBA==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-D measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=D sig="ed25519:sample:puQiMA+YCVOX0yKIihijAhG9ajpAKDLM3X/ng3ZX58QL/39TGIJvoiCCFzaDQOFYF5r50qWlEShGDDnEk+znCw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:rLoTr7BP4zsoRurEuz2lN/VeqMtg+YldibcX2LggLfQ78Rw7pV/87am132yDRC1wyc8xfH5J4Grp8qpa7IRAAA==" sign=+1 type=mark value=0..50
+bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:fxqybwoWAIYns78iHvfLtxY6lhzXIBT5n6qIZUXg6aBzseyQjpt4zi9wk7zp9CdqZwFj1BkFVIzSi7uBOdycDA==" sign=+1 type=mark value=0..100 widens=local-opening
+bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:G8sd22Ked9SKr8sCxGu1vAIhMwOMDE+XkVzzmzmzOp/RLRcGyGKvypbhgxHfTdC2mZA2SSdIo4sqpwPB2yJEBA==" sign=+1 type=mark value=40..*
+bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:YF4P0EhPseNcZ5ADZetrnPoi05CRbOiov/4fd/my2Uf7ABNuynrJSqG6zgaXJXbs4KS9vOQGChwFQYzCGq5PBA==" sign=+1 type=claim value=42..48
+bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:t1HGpET4B8CAtfqOWJKwh+EnKC74vpUIuL0ZYx7zZciiMlfQ8RLQqK5de5e/sjmAKahFYK+yh7GMvvVBB2DaAg==" sign=+1 type=claim value=44..47
+bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:42/yWImvuU65h6SZVRG6AvCMvEKE1v++CgLF/TMwNZeesyt1uVS8QQvK4nvhqZ9SK+oAG5C39IkU5kEchZOWDA==" sign=+1 type=claim value=40..43
+bound-lock/1 by=device epoch=9 id=withdraw-disagreement scope=C sig="ed25519:sample:+QDVM1YCP5zEub9YBCE/025Bzf+LlgNniKFKF84FHXqhkVOrwSiWjgt0BcS6BLUPImEPNrLUzf6l/icJ+S3FBQ==" sign=-1 takes=disagreement type=claim
+bound-lock/1 by=device epoch=10 id=withdraw-c-C scope=C sig="ed25519:sample:Pif/lULD4kL6E4qbtrpF36o4C9huNfFSvqSDYE1YsZoqqofdVUUBrmrcovN+vsm9vhRP0VW3/+61610KCl/DCQ==" sign=-1 takes=c-C type=claim
+bound-lock/1 by=device epoch=11 id=withdraw-c-L scope=C sig="ed25519:sample:daAxvSAjqF6SQJHY6z5sixPwbUEFfl+0Sqfnu56/ccpHX2aw8MtRkgdw1wujToSaiMg93tF7KuZdQCJeIBmlDA==" sign=-1 takes=c-L type=claim
+bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:XkNk3PB+XM2+MuqHpwFPWBKJn4f7SX5QO4+OE/mhEvJ3T4GLhchsjsJrnylr2NNDQ6s40A6totx9iPBP7vYIBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:VGS5Ih+hH99yXk/E8LO1EtqvurNupDa9Mgg8b8bXggZlZm9kPf2oPEfinvFhs6pheaKfKSfK4+s+MRpeNZgJBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:hod/R6673bcOxchTXl+oRFnUsUdPV6vhDa8+rPy1pQFopxgqr/KnR2uW3ScEJXn/egwvZDcwE9Uo6+I84/FoDg==" sign=+1 type=mark value=60..*
+bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=alphabet measure=id role=writes scope=engine/object sig="ed25519:sample:yN7crs+FvpKwhVtdNRtVY2bHwWXABIioYC9uXfVaCHez2dR65otci9I2J7Zbxh/zlndNp13nijYamfc5DV5vCA==" value=wasm@1
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/memory sig="ed25519:sample:ADZ4HsFQViaSD9vUcl6TtfqWWluCFmk67TBvIwnugkXekqbfe6fTHJJ3esU6xyr8swf4OY9KqR61WTawqXHFBw==" value=0..67108864
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/stack sig="ed25519:sample:JM1fjsSe/AsagwR7rWenaewoZQjvUMpEFbXC+KVwsOZgo1gIOPa3PqQCuYKJYUyacmY8ZOVuGMqJe14M/jlOBQ==" value=0..1048576
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/execution sig="ed25519:sample:A73aCAci7ubRFJyGmi079vbV23mekGsg5UuK2ltCrgh41gv3T4Nf/mLGkhPnzRYFMJaM1rjdayJxkC+LSFchCw==" value=0..10000
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/worker-lifetime sig="ed25519:sample:EbIO07k5XNKWpowL/R8ywT6DKJpfzeQdIolcXUVisN+eRNjnZYkSO50ViQRlFCjUKF5yKo3UWRUNrMlbf2bwBw==" value=0..1
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/response sig="ed25519:sample:Cerw/uQjmsDi4Mk09WfBvCkzwktbPHX+fLI6L0DJ5RlevFPmVnzdmyscuqs3rcJkwe+cEiRYxr2dha4CwZ5BAw==" value=0..1048576

package/samples/wasm/water-level/no-memory.bound

@@ -0,0 +1,65 @@
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/device sig="ed25519:sample:eKBKzxQy7y0rAkYWQR+b9iIFU500G7l9FRqYaO8JlIOXtsJNsTd04oOoAa17vgqyYUd78tJnT7KtUUIZNZipCw==" value=authorize
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=coverage role=writes scope=keys/device sig="ed25519:sample:yeJexsgnQUc62w09E7Ch6hiR83/kTktpGSiKC9eiPqkglaY6SviSQt9lYznvRtRbDGKrTYbwdkX+mn7mk6GmBQ==" value=*
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=public-key role=writes scope=keys/device sig="ed25519:sample:6GeDXby5EaUUirHQRlH9BLUCsFYjTaWrye4kMoltI8AeSr+3O1e/PAIUKBAuXkq6tTLfQaanEVX3iEpZQXBADw==" value="MCowBQYDK2VwAyEAEohct6cuSJ2XB3MKNb55D2ji0YCJgeUergp3XxxlPzo="
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=signer role=writes scope=keys/device sig="ed25519:sample:wu2CKpJ8EuyRgS337vTWmGblocd0L5BYs8ML7qjFV/snZbTENFygVmWV3Q7qVQNvcbME0PcLZb76ET7XO58zAQ==" value=file
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/reader sig="ed25519:sample:mijknbhdyxPwT9aciD+PAr79cAr/leWDDoNoKYs/yfOYg1hUVhUM1AbVWi2eIfROqLtPJfH+8bGVBTXb7EXUDw==" value=read
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/folder sig="ed25519:sample:hhhn86mmUDeuaxTmxoSfMRhLPStXX0lL3nskQYMj3c4lqCCLYmlvjGqzEu5DKx8PNM+FFEIk/9HuReWs8J8hAQ==" value=fold
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=signer/timeout sig="ed25519:sample:3WS/wUE/vMslNv9QpClOshY0igHzx8ix8Zxa4g+jfca5h5Mys+J0cug0HN/eEq0YZdlmoxEdNAandKCUuwFyBw==" value=5000..5000
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=bytes role=writes scope=signer/response-bytes sig="ed25519:sample:t/222OUQ0bxEPBsspy0JTFOHJk4J7UJunALw61HWId6AomoHc9mHtLJVdTikBBA/rd3wU0a4Zlkw06VjlrcTDw==" value=65536..65536
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/digest-algorithms sig="ed25519:sample:ko6RiRPizeRsYylr15XHMh16xLt39pJs6QX9bkiB/vrvhNqJq98JqG/muv5ieqVb9HOWmCPhrDSSzVx/5hXgCg==" value=sha256
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/signature-algorithms sig="ed25519:sample:rLaj+ztOjoLxnJopuq8JjQ25uyCrUWIeSlJSj5YDb8sxyLHPhvQEBc31c9E0cFC9okC3JdVG/BkkIPQJFrxkDg==" value=ed25519:sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/era sig="ed25519:sample:V9uz7s4CNtgwB88+yS8zeXzICbPSUp30wjt1om9SL99VNLiwz+2WVSqogCSRvdYF5SkgzngaXtGSxqHcuYMZCQ==" value=sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/families sig="ed25519:sample:HUgHPVyQcAI6x63DD6rXlr+fVqTLHnOsKpEPg7vrDv3GKgrfVqvxGWEHTgzYojMBIWj5CAYcaXP5ccNdBeYHCQ==" value=B|C|D|G|keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|evidence|uses|engine
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/forms sig="ed25519:sample:2kXb9/+GdpgcxDvr4snsG+Fya2cCwvXRnHpa8WtkEjqOa/l3hQePeTBr9w74dRvgk9BWUK/dHINyDOoIpKTZCA==" value=alphabet|interval
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/roles sig="ed25519:sample:Ol1vYD/Z+gxMCJABhHyoBDvbHMT4gGaLw4TmdxNVgdxuOMsmFOg60UIz5BKguqhOcvX6OZPXlqOoSgYOPW9JAQ==" value=reads|writes|demands
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/at-classes sig="ed25519:sample:bcQmtPsI1bt0ELYhRE5hcWZAe/ULKovBU+Togmolul23SPwAIk/8COAHuPJadZ2c9J1ymJbAD/iUAtcNNblyBw==" value=origin|place|receipt|witness|policy
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/receipt-inputs sig="ed25519:sample:R9DjmjuMlwif0NsgOdQH6SGVRKsA4GbPurbkpSpUkIvteNFG8rWhCx6/BSA4TzXshdi7JDClWcskwzxHzZwLCg==" value=semantic-live@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/region-measures sig="ed25519:sample:y2wZoamaKhmaqOVE0zTFbvxBDWwmKmc330UBOlkptblqrznW5X/867ivB6+mlqpdAI4Epzj0j7PVLc2Yb9RMDw==" value=coordinates|leaves
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=demands scope=view/cells sig="ed25519:sample:KZIfwdQDFB2RQnDSfNl3qrtSoYa/nx/dZNIKYz24IFrXukJptLM3YDbmu4q7ZUM3PwZ6nfXOcYo/JvveiiEzBQ==" value=cells@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:Z6NnZN/JfBbqruthQSBwBPi0P5dpxjRmlZavyMmptONmHjWB4bwRkxlw7dYqwuJGx3mSChzEdXc279dX5gUqBA==" value=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/fields sig="ed25519:sample:YozW7TGayeKJSmD2ntBsPV8GRA3qEYnBBf/dIYFMDxICHyWLhbZTn9eV7Pox8UsupRos1zH6SmFC0d3gXUKaDg==" value=about|at|by|condition|epoch|form|id|kind|measure|needs|origin|params|pole|reach|restsOn|role|scope|shape|sig|sign|takes|topos|type|value|view|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/required sig="ed25519:sample:JxJ6nOBUAWr0W3c2wPoMPCg5Pq25bRuaYT+CxYrpCvSYrkLXgV+cs69VwFRKZ7EFVtD3BVLrVMHB4xwVVvLYDQ==" value=at|by|form|measure|role|scope|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/types sig="ed25519:sample:zqVHzQtK1Sxxmc1ZyRh9s9YmUtqGoXgoA6j0RTI7tOiTmpg8MxheOHsGvDdDzynD9WcblS+F7hddfP9B/6zeDQ==" value=cell|claim|mark
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/common sig="ed25519:sample:8AlbIbrTxOQiTDcQIHS/xW/SPnLPxfytcOcNHM2TtcJq1ssxevjs0282idEmI7NSrVoZh1NkV9LP2AYiqlE8Cg==" value=by|epoch|id|scope|sig|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/reserved sig="ed25519:sample:FOMfn85IvvX7WIQmumpJexQ+M0oQEjWeSBZL/YUmMXYsumsA6JjNb2mefS89BTIfSImeapYw+oF3q3tuvb57Aw==" value=id|origin|params|pole|reach|sign|takes|topos|type|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/config sig="ed25519:sample:EYxtZFRjysjOKhog+u/yhnabCwbJZOgOT0MkHP8057J3kUPvjiVpaHa1LBHDjfk6ioPmY9UINzolidx0/oA6Bg==" value=about|at|by|condition|epoch|form|kind|measure|needs|restsOn|role|scope|shape|sig|value|view
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/cell sig="ed25519:sample:avjdK9O4p3pM0VMNNLTtBJyvQrbIwyztsNthIozSMolThJm6kpeOQCdCKk3RTZo/BAD854sJL07j2lzuob8WDw==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/cell sig="ed25519:sample:3pYqxPOEQSoyKp/jwRSr+wEPnrAVLBw9wToTGnfZBxXoZ5Qb9VA8e5b3/b0cR3ad9K/yyMky5fxO1kD0R1yrDg==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/positive sig="ed25519:sample:DWvtmOs8eMu1G9hAhLo/LwsdzykvsuWGaz294VHlpCdVIvqaZ+rceoV1BZykdVjyqIYFjkHegtqMay2wv826Aw==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/positive sig="ed25519:sample:PtsR0mMgKTf4rgRp5Ic3pTUxwptOrskUHrWs27y4aXWh58MOGgnsOJYo6iEVRVCjEhyKS5qf77HjVjbL+5/ICg==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/negative sig="ed25519:sample:4GTqAdi5IYHal4gxPbzoIcxNOZveK6UPRqrQEgsB1q9oeK3C2vNfC7Sgtle5BQjjhPyeXUu7VbgEemh7zgHQBw==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/negative sig="ed25519:sample:OfVdXo6f+qt1TRHdHJzsw6u+VP+NdGOsFFoLnwTWQ2UJogO/X/xJTsfMLWZULLNcXn0GOmxS1qAimgK+C/H4Ag==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/travelling sig="ed25519:sample:RXLzztMHN4jvyx+FwgX5MHRTIzbuWx7aVDJuaYYaCUTEGr+oLZab9aA7WhsR/dbjXcyRdTbadXAMLUB6Vj+BCw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/travelling sig="ed25519:sample:2JFwQ5+LD6DTWGJvH8MRiVcdk3/mAve7MTR13+edtg19R6QZL2kUzUfWIR7kMbEyuXvinFrtqVLBMUqsAjNRBQ==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/local sig="ed25519:sample:DHSjeKzVjSbDSrNLVuAE6te0Je4XR1t/mFA298qgPvOGrAiCiRx59dEKgbJS+95ZRLnI2BzyOcqPMKdE/JxbBA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/local sig="ed25519:sample:QPj468Kp3T6xvJLLQBu7bdp2aSM+UbvFhveVgajqZIKupXCZAI/osCQeCC2Jkmrd4RXihXeeQ4VXvKbvlqXTCA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/floor-travelling sig="ed25519:sample:5wbFBMJrR3ux+/ds+05z37G/jU7252qIc+/hFva9Mx7isSZXrXoIos22wRatE9Z7Fym5JCrFA8Sh15OJnmhzDw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/floor-travelling sig="ed25519:sample:DL3aqU6pt506NTKXh63TDPFCudGCQSZcE7e85jJZqmBl4f9he/eKKB+mH4uuFRog7q6xKjBVMMkGDRRahSrrDA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/negative sig="ed25519:sample:rZqius7EnXNadcQQwlhrGbdMabg7wweMtnCljZnctB/SCnypQlabHO0+Lr+yA3mbWtDnr+9XK/6K67mJfWFIDg==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/negative sig="ed25519:sample:up4kVG0xOKGHgYC3WA7XgqmEGaFCwblqPq0iyy7cBQsQtRG+t/azIFVPri1qJe5mqioRIpaOuHm6YDsHIFNBAA==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/ana sig="ed25519:sample:Tx/QqvhdBZ0BeE/LyqMHx1N7zouQcobn8gZ8DajDmA6XISr6fQhwIx+ULlRng0Yd3/UPNKBJpLRKHjcDscgsDA==" value=ana
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/luis sig="ed25519:sample:RqXEG9B8YMpqEOYtoWk4BRdjngyAivoVIbd1ER7P5IUEQmyurY6ucjVUheIxJgsaL3nNklxyRAUS75ArCM1aDg==" value=luis
+bound-lock/1 at=policy:sample by=device condition=B epoch=1 form=alphabet measure=id role=writes scope=evidence/witness/local-opening sig="ed25519:sample:MWTnb7Zji0On1HWTpAkWOOnW0hyuDoxlZiJOjEFd1zBWvlgrAC7247FvYFQU/jH/S/tg6vA/TdQXO5WBqHjjAA==" value=local-opening
+bound-lock/1 by=device epoch=2 form=interval id=def-B measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=B sig="ed25519:sample:iQdr60u8egpM/bwvF9Au9yATNwdScCnp2GKjGXmqyftQFSBBeKF//wLOnTz8SkTP7cXBhfVwhjSEuUTU54E2Ag==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-C measure=count params="{\"lo\":0,\"hi\":100}" restsOn=B scope=C sig="ed25519:sample:nb97LLBzg3Sh2Z/3Zd27u3QlOt3fB3MFG4HoAZUNzp31J00N9yjj7YbZS6VFCyMpQnuVevFrA32IibkuuQ8gAw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-G measure=count params="{\"lo\":0,\"hi\":100}" restsOn=C scope=G sig="ed25519:sample:OkI3N1WHaoGQKVqT9tQbFjSRBei/l12dao1BtnOghZtH8Q3V8nvc9wQP7LFn2DnDAOMXvUw1ubHXCock8BwEBA==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-D measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=D sig="ed25519:sample:puQiMA+YCVOX0yKIihijAhG9ajpAKDLM3X/ng3ZX58QL/39TGIJvoiCCFzaDQOFYF5r50qWlEShGDDnEk+znCw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:rLoTr7BP4zsoRurEuz2lN/VeqMtg+YldibcX2LggLfQ78Rw7pV/87am132yDRC1wyc8xfH5J4Grp8qpa7IRAAA==" sign=+1 type=mark value=0..50
+bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:fxqybwoWAIYns78iHvfLtxY6lhzXIBT5n6qIZUXg6aBzseyQjpt4zi9wk7zp9CdqZwFj1BkFVIzSi7uBOdycDA==" sign=+1 type=mark value=0..100 widens=local-opening
+bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:G8sd22Ked9SKr8sCxGu1vAIhMwOMDE+XkVzzmzmzOp/RLRcGyGKvypbhgxHfTdC2mZA2SSdIo4sqpwPB2yJEBA==" sign=+1 type=mark value=40..*
+bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:YF4P0EhPseNcZ5ADZetrnPoi05CRbOiov/4fd/my2Uf7ABNuynrJSqG6zgaXJXbs4KS9vOQGChwFQYzCGq5PBA==" sign=+1 type=claim value=42..48
+bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:t1HGpET4B8CAtfqOWJKwh+EnKC74vpUIuL0ZYx7zZciiMlfQ8RLQqK5de5e/sjmAKahFYK+yh7GMvvVBB2DaAg==" sign=+1 type=claim value=44..47
+bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:42/yWImvuU65h6SZVRG6AvCMvEKE1v++CgLF/TMwNZeesyt1uVS8QQvK4nvhqZ9SK+oAG5C39IkU5kEchZOWDA==" sign=+1 type=claim value=40..43
+bound-lock/1 by=device epoch=9 id=withdraw-disagreement scope=C sig="ed25519:sample:+QDVM1YCP5zEub9YBCE/025Bzf+LlgNniKFKF84FHXqhkVOrwSiWjgt0BcS6BLUPImEPNrLUzf6l/icJ+S3FBQ==" sign=-1 takes=disagreement type=claim
+bound-lock/1 by=device epoch=10 id=withdraw-c-C scope=C sig="ed25519:sample:Pif/lULD4kL6E4qbtrpF36o4C9huNfFSvqSDYE1YsZoqqofdVUUBrmrcovN+vsm9vhRP0VW3/+61610KCl/DCQ==" sign=-1 takes=c-C type=claim
+bound-lock/1 by=device epoch=11 id=withdraw-c-L scope=C sig="ed25519:sample:daAxvSAjqF6SQJHY6z5sixPwbUEFfl+0Sqfnu56/ccpHX2aw8MtRkgdw1wujToSaiMg93tF7KuZdQCJeIBmlDA==" sign=-1 takes=c-L type=claim
+bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:XkNk3PB+XM2+MuqHpwFPWBKJn4f7SX5QO4+OE/mhEvJ3T4GLhchsjsJrnylr2NNDQ6s40A6totx9iPBP7vYIBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:VGS5Ih+hH99yXk/E8LO1EtqvurNupDa9Mgg8b8bXggZlZm9kPf2oPEfinvFhs6pheaKfKSfK4+s+MRpeNZgJBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:hod/R6673bcOxchTXl+oRFnUsUdPV6vhDa8+rPy1pQFopxgqr/KnR2uW3ScEJXn/egwvZDcwE9Uo6+I84/FoDg==" sign=+1 type=mark value=60..*
+bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=alphabet measure=id role=writes scope=engine/object sig="ed25519:sample:yN7crs+FvpKwhVtdNRtVY2bHwWXABIioYC9uXfVaCHez2dR65otci9I2J7Zbxh/zlndNp13nijYamfc5DV5vCA==" value=wasm@1
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/memory sig="ed25519:sample:SFy33q6YPGc7nSZt5mLUj717QjPMttypLlbWjGA6E/InhWLRY/sYjVcQisUIopfYCuHvFrIZzSRjkxhPIc2rCw==" value=0..1
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/stack sig="ed25519:sample:JM1fjsSe/AsagwR7rWenaewoZQjvUMpEFbXC+KVwsOZgo1gIOPa3PqQCuYKJYUyacmY8ZOVuGMqJe14M/jlOBQ==" value=0..1048576
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/execution sig="ed25519:sample:A73aCAci7ubRFJyGmi079vbV23mekGsg5UuK2ltCrgh41gv3T4Nf/mLGkhPnzRYFMJaM1rjdayJxkC+LSFchCw==" value=0..10000
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/worker-lifetime sig="ed25519:sample:YGlW8wNVBv1/yrUeUi7xh2CQk7bobnWPnX/1ZcqS+KWd/Hq9G4+BbjuqWpCN2NPlIJ04TmpRwQdZX14u/xxMCg==" value=0..15000
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/response sig="ed25519:sample:Cerw/uQjmsDi4Mk09WfBvCkzwktbPHX+fLI6L0DJ5RlevFPmVnzdmyscuqs3rcJkwe+cEiRYxr2dha4CwZ5BAw==" value=0..1048576

package/samples/wasm/water-level/no-missing-limit.bound

@@ -0,0 +1,64 @@
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/device sig="ed25519:sample:eKBKzxQy7y0rAkYWQR+b9iIFU500G7l9FRqYaO8JlIOXtsJNsTd04oOoAa17vgqyYUd78tJnT7KtUUIZNZipCw==" value=authorize
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=coverage role=writes scope=keys/device sig="ed25519:sample:yeJexsgnQUc62w09E7Ch6hiR83/kTktpGSiKC9eiPqkglaY6SviSQt9lYznvRtRbDGKrTYbwdkX+mn7mk6GmBQ==" value=*
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=public-key role=writes scope=keys/device sig="ed25519:sample:6GeDXby5EaUUirHQRlH9BLUCsFYjTaWrye4kMoltI8AeSr+3O1e/PAIUKBAuXkq6tTLfQaanEVX3iEpZQXBADw==" value="MCowBQYDK2VwAyEAEohct6cuSJ2XB3MKNb55D2ji0YCJgeUergp3XxxlPzo="
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=signer role=writes scope=keys/device sig="ed25519:sample:wu2CKpJ8EuyRgS337vTWmGblocd0L5BYs8ML7qjFV/snZbTENFygVmWV3Q7qVQNvcbME0PcLZb76ET7XO58zAQ==" value=file
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/reader sig="ed25519:sample:mijknbhdyxPwT9aciD+PAr79cAr/leWDDoNoKYs/yfOYg1hUVhUM1AbVWi2eIfROqLtPJfH+8bGVBTXb7EXUDw==" value=read
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/folder sig="ed25519:sample:hhhn86mmUDeuaxTmxoSfMRhLPStXX0lL3nskQYMj3c4lqCCLYmlvjGqzEu5DKx8PNM+FFEIk/9HuReWs8J8hAQ==" value=fold
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=signer/timeout sig="ed25519:sample:3WS/wUE/vMslNv9QpClOshY0igHzx8ix8Zxa4g+jfca5h5Mys+J0cug0HN/eEq0YZdlmoxEdNAandKCUuwFyBw==" value=5000..5000
+bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=bytes role=writes scope=signer/response-bytes sig="ed25519:sample:t/222OUQ0bxEPBsspy0JTFOHJk4J7UJunALw61HWId6AomoHc9mHtLJVdTikBBA/rd3wU0a4Zlkw06VjlrcTDw==" value=65536..65536
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/digest-algorithms sig="ed25519:sample:ko6RiRPizeRsYylr15XHMh16xLt39pJs6QX9bkiB/vrvhNqJq98JqG/muv5ieqVb9HOWmCPhrDSSzVx/5hXgCg==" value=sha256
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/signature-algorithms sig="ed25519:sample:rLaj+ztOjoLxnJopuq8JjQ25uyCrUWIeSlJSj5YDb8sxyLHPhvQEBc31c9E0cFC9okC3JdVG/BkkIPQJFrxkDg==" value=ed25519:sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/era sig="ed25519:sample:V9uz7s4CNtgwB88+yS8zeXzICbPSUp30wjt1om9SL99VNLiwz+2WVSqogCSRvdYF5SkgzngaXtGSxqHcuYMZCQ==" value=sample
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/families sig="ed25519:sample:HUgHPVyQcAI6x63DD6rXlr+fVqTLHnOsKpEPg7vrDv3GKgrfVqvxGWEHTgzYojMBIWj5CAYcaXP5ccNdBeYHCQ==" value=B|C|D|G|keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|evidence|uses|engine
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/forms sig="ed25519:sample:2kXb9/+GdpgcxDvr4snsG+Fya2cCwvXRnHpa8WtkEjqOa/l3hQePeTBr9w74dRvgk9BWUK/dHINyDOoIpKTZCA==" value=alphabet|interval
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/roles sig="ed25519:sample:Ol1vYD/Z+gxMCJABhHyoBDvbHMT4gGaLw4TmdxNVgdxuOMsmFOg60UIz5BKguqhOcvX6OZPXlqOoSgYOPW9JAQ==" value=reads|writes|demands
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/at-classes sig="ed25519:sample:bcQmtPsI1bt0ELYhRE5hcWZAe/ULKovBU+Togmolul23SPwAIk/8COAHuPJadZ2c9J1ymJbAD/iUAtcNNblyBw==" value=origin|place|receipt|witness|policy
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/receipt-inputs sig="ed25519:sample:R9DjmjuMlwif0NsgOdQH6SGVRKsA4GbPurbkpSpUkIvteNFG8rWhCx6/BSA4TzXshdi7JDClWcskwzxHzZwLCg==" value=semantic-live@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/region-measures sig="ed25519:sample:y2wZoamaKhmaqOVE0zTFbvxBDWwmKmc330UBOlkptblqrznW5X/867ivB6+mlqpdAI4Epzj0j7PVLc2Yb9RMDw==" value=coordinates|leaves
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=demands scope=view/cells sig="ed25519:sample:KZIfwdQDFB2RQnDSfNl3qrtSoYa/nx/dZNIKYz24IFrXukJptLM3YDbmu4q7ZUM3PwZ6nfXOcYo/JvveiiEzBQ==" value=cells@1
+bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:Z6NnZN/JfBbqruthQSBwBPi0P5dpxjRmlZavyMmptONmHjWB4bwRkxlw7dYqwuJGx3mSChzEdXc279dX5gUqBA==" value=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/fields sig="ed25519:sample:YozW7TGayeKJSmD2ntBsPV8GRA3qEYnBBf/dIYFMDxICHyWLhbZTn9eV7Pox8UsupRos1zH6SmFC0d3gXUKaDg==" value=about|at|by|condition|epoch|form|id|kind|measure|needs|origin|params|pole|reach|restsOn|role|scope|shape|sig|sign|takes|topos|type|value|view|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/required sig="ed25519:sample:JxJ6nOBUAWr0W3c2wPoMPCg5Pq25bRuaYT+CxYrpCvSYrkLXgV+cs69VwFRKZ7EFVtD3BVLrVMHB4xwVVvLYDQ==" value=at|by|form|measure|role|scope|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/types sig="ed25519:sample:zqVHzQtK1Sxxmc1ZyRh9s9YmUtqGoXgoA6j0RTI7tOiTmpg8MxheOHsGvDdDzynD9WcblS+F7hddfP9B/6zeDQ==" value=cell|claim|mark
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/common sig="ed25519:sample:8AlbIbrTxOQiTDcQIHS/xW/SPnLPxfytcOcNHM2TtcJq1ssxevjs0282idEmI7NSrVoZh1NkV9LP2AYiqlE8Cg==" value=by|epoch|id|scope|sig|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/reserved sig="ed25519:sample:FOMfn85IvvX7WIQmumpJexQ+M0oQEjWeSBZL/YUmMXYsumsA6JjNb2mefS89BTIfSImeapYw+oF3q3tuvb57Aw==" value=id|origin|params|pole|reach|sign|takes|topos|type|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/config sig="ed25519:sample:EYxtZFRjysjOKhog+u/yhnabCwbJZOgOT0MkHP8057J3kUPvjiVpaHa1LBHDjfk6ioPmY9UINzolidx0/oA6Bg==" value=about|at|by|condition|epoch|form|kind|measure|needs|restsOn|role|scope|shape|sig|value|view
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/cell sig="ed25519:sample:avjdK9O4p3pM0VMNNLTtBJyvQrbIwyztsNthIozSMolThJm6kpeOQCdCKk3RTZo/BAD854sJL07j2lzuob8WDw==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/cell sig="ed25519:sample:3pYqxPOEQSoyKp/jwRSr+wEPnrAVLBw9wToTGnfZBxXoZ5Qb9VA8e5b3/b0cR3ad9K/yyMky5fxO1kD0R1yrDg==" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/positive sig="ed25519:sample:DWvtmOs8eMu1G9hAhLo/LwsdzykvsuWGaz294VHlpCdVIvqaZ+rceoV1BZykdVjyqIYFjkHegtqMay2wv826Aw==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/positive sig="ed25519:sample:PtsR0mMgKTf4rgRp5Ic3pTUxwptOrskUHrWs27y4aXWh58MOGgnsOJYo6iEVRVCjEhyKS5qf77HjVjbL+5/ICg==" value=by|epoch|id|origin|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/negative sig="ed25519:sample:4GTqAdi5IYHal4gxPbzoIcxNOZveK6UPRqrQEgsB1q9oeK3C2vNfC7Sgtle5BQjjhPyeXUu7VbgEemh7zgHQBw==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/negative sig="ed25519:sample:OfVdXo6f+qt1TRHdHJzsw6u+VP+NdGOsFFoLnwTWQ2UJogO/X/xJTsfMLWZULLNcXn0GOmxS1qAimgK+C/H4Ag==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/travelling sig="ed25519:sample:RXLzztMHN4jvyx+FwgX5MHRTIzbuWx7aVDJuaYYaCUTEGr+oLZab9aA7WhsR/dbjXcyRdTbadXAMLUB6Vj+BCw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/travelling sig="ed25519:sample:2JFwQ5+LD6DTWGJvH8MRiVcdk3/mAve7MTR13+edtg19R6QZL2kUzUfWIR7kMbEyuXvinFrtqVLBMUqsAjNRBQ==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/local sig="ed25519:sample:DHSjeKzVjSbDSrNLVuAE6te0Je4XR1t/mFA298qgPvOGrAiCiRx59dEKgbJS+95ZRLnI2BzyOcqPMKdE/JxbBA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/local sig="ed25519:sample:QPj468Kp3T6xvJLLQBu7bdp2aSM+UbvFhveVgajqZIKupXCZAI/osCQeCC2Jkmrd4RXihXeeQ4VXvKbvlqXTCA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/floor-travelling sig="ed25519:sample:5wbFBMJrR3ux+/ds+05z37G/jU7252qIc+/hFva9Mx7isSZXrXoIos22wRatE9Z7Fym5JCrFA8Sh15OJnmhzDw==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/floor-travelling sig="ed25519:sample:DL3aqU6pt506NTKXh63TDPFCudGCQSZcE7e85jJZqmBl4f9he/eKKB+mH4uuFRog7q6xKjBVMMkGDRRahSrrDA==" value=by|epoch|id|pole|reach|scope|sig|sign|type|value
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/negative sig="ed25519:sample:rZqius7EnXNadcQQwlhrGbdMabg7wweMtnCljZnctB/SCnypQlabHO0+Lr+yA3mbWtDnr+9XK/6K67mJfWFIDg==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/negative sig="ed25519:sample:up4kVG0xOKGHgYC3WA7XgqmEGaFCwblqPq0iyy7cBQsQtRG+t/azIFVPri1qJe5mqioRIpaOuHm6YDsHIFNBAA==" value=by|epoch|id|scope|sig|sign|takes|type
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/ana sig="ed25519:sample:Tx/QqvhdBZ0BeE/LyqMHx1N7zouQcobn8gZ8DajDmA6XISr6fQhwIx+ULlRng0Yd3/UPNKBJpLRKHjcDscgsDA==" value=ana
+bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/luis sig="ed25519:sample:RqXEG9B8YMpqEOYtoWk4BRdjngyAivoVIbd1ER7P5IUEQmyurY6ucjVUheIxJgsaL3nNklxyRAUS75ArCM1aDg==" value=luis
+bound-lock/1 at=policy:sample by=device condition=B epoch=1 form=alphabet measure=id role=writes scope=evidence/witness/local-opening sig="ed25519:sample:MWTnb7Zji0On1HWTpAkWOOnW0hyuDoxlZiJOjEFd1zBWvlgrAC7247FvYFQU/jH/S/tg6vA/TdQXO5WBqHjjAA==" value=local-opening
+bound-lock/1 by=device epoch=2 form=interval id=def-B measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=B sig="ed25519:sample:iQdr60u8egpM/bwvF9Au9yATNwdScCnp2GKjGXmqyftQFSBBeKF//wLOnTz8SkTP7cXBhfVwhjSEuUTU54E2Ag==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-C measure=count params="{\"lo\":0,\"hi\":100}" restsOn=B scope=C sig="ed25519:sample:nb97LLBzg3Sh2Z/3Zd27u3QlOt3fB3MFG4HoAZUNzp31J00N9yjj7YbZS6VFCyMpQnuVevFrA32IibkuuQ8gAw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-G measure=count params="{\"lo\":0,\"hi\":100}" restsOn=C scope=G sig="ed25519:sample:OkI3N1WHaoGQKVqT9tQbFjSRBei/l12dao1BtnOghZtH8Q3V8nvc9wQP7LFn2DnDAOMXvUw1ubHXCock8BwEBA==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=2 form=interval id=def-D measure=count params="{\"lo\":0,\"hi\":100}" restsOn=none scope=D sig="ed25519:sample:puQiMA+YCVOX0yKIihijAhG9ajpAKDLM3X/ng3ZX58QL/39TGIJvoiCCFzaDQOFYF5r50qWlEShGDDnEk+znCw==" topos=sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e type=cell
+bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:rLoTr7BP4zsoRurEuz2lN/VeqMtg+YldibcX2LggLfQ78Rw7pV/87am132yDRC1wyc8xfH5J4Grp8qpa7IRAAA==" sign=+1 type=mark value=0..50
+bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:fxqybwoWAIYns78iHvfLtxY6lhzXIBT5n6qIZUXg6aBzseyQjpt4zi9wk7zp9CdqZwFj1BkFVIzSi7uBOdycDA==" sign=+1 type=mark value=0..100 widens=local-opening
+bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:G8sd22Ked9SKr8sCxGu1vAIhMwOMDE+XkVzzmzmzOp/RLRcGyGKvypbhgxHfTdC2mZA2SSdIo4sqpwPB2yJEBA==" sign=+1 type=mark value=40..*
+bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:YF4P0EhPseNcZ5ADZetrnPoi05CRbOiov/4fd/my2Uf7ABNuynrJSqG6zgaXJXbs4KS9vOQGChwFQYzCGq5PBA==" sign=+1 type=claim value=42..48
+bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:t1HGpET4B8CAtfqOWJKwh+EnKC74vpUIuL0ZYx7zZciiMlfQ8RLQqK5de5e/sjmAKahFYK+yh7GMvvVBB2DaAg==" sign=+1 type=claim value=44..47
+bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:42/yWImvuU65h6SZVRG6AvCMvEKE1v++CgLF/TMwNZeesyt1uVS8QQvK4nvhqZ9SK+oAG5C39IkU5kEchZOWDA==" sign=+1 type=claim value=40..43
+bound-lock/1 by=device epoch=9 id=withdraw-disagreement scope=C sig="ed25519:sample:+QDVM1YCP5zEub9YBCE/025Bzf+LlgNniKFKF84FHXqhkVOrwSiWjgt0BcS6BLUPImEPNrLUzf6l/icJ+S3FBQ==" sign=-1 takes=disagreement type=claim
+bound-lock/1 by=device epoch=10 id=withdraw-c-C scope=C sig="ed25519:sample:Pif/lULD4kL6E4qbtrpF36o4C9huNfFSvqSDYE1YsZoqqofdVUUBrmrcovN+vsm9vhRP0VW3/+61610KCl/DCQ==" sign=-1 takes=c-C type=claim
+bound-lock/1 by=device epoch=11 id=withdraw-c-L scope=C sig="ed25519:sample:daAxvSAjqF6SQJHY6z5sixPwbUEFfl+0Sqfnu56/ccpHX2aw8MtRkgdw1wujToSaiMg93tF7KuZdQCJeIBmlDA==" sign=-1 takes=c-L type=claim
+bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:XkNk3PB+XM2+MuqHpwFPWBKJn4f7SX5QO4+OE/mhEvJ3T4GLhchsjsJrnylr2NNDQ6s40A6totx9iPBP7vYIBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:VGS5Ih+hH99yXk/E8LO1EtqvurNupDa9Mgg8b8bXggZlZm9kPf2oPEfinvFhs6pheaKfKSfK4+s+MRpeNZgJBQ==" sign=+1 type=claim value=65..75
+bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:hod/R6673bcOxchTXl+oRFnUsUdPV6vhDa8+rPy1pQFopxgqr/KnR2uW3ScEJXn/egwvZDcwE9Uo6+I84/FoDg==" sign=+1 type=mark value=60..*
+bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=alphabet measure=id role=writes scope=engine/object sig="ed25519:sample:yN7crs+FvpKwhVtdNRtVY2bHwWXABIioYC9uXfVaCHez2dR65otci9I2J7Zbxh/zlndNp13nijYamfc5DV5vCA==" value=wasm@1
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/memory sig="ed25519:sample:ADZ4HsFQViaSD9vUcl6TtfqWWluCFmk67TBvIwnugkXekqbfe6fTHJJ3esU6xyr8swf4OY9KqR61WTawqXHFBw==" value=0..67108864
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/execution sig="ed25519:sample:A73aCAci7ubRFJyGmi079vbV23mekGsg5UuK2ltCrgh41gv3T4Nf/mLGkhPnzRYFMJaM1rjdayJxkC+LSFchCw==" value=0..10000
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=engine/wasm/worker-lifetime sig="ed25519:sample:YGlW8wNVBv1/yrUeUi7xh2CQk7bobnWPnX/1ZcqS+KWd/Hq9G4+BbjuqWpCN2NPlIJ04TmpRwQdZX14u/xxMCg==" value=0..15000
+bound-lock/1 at=policy:wasm-native-sample by=device epoch=1 form=interval measure=bytes role=writes scope=engine/wasm/response sig="ed25519:sample:Cerw/uQjmsDi4Mk09WfBvCkzwktbPHX+fLI6L0DJ5RlevFPmVnzdmyscuqs3rcJkwe+cEiRYxr2dha4CwZ5BAw==" value=0..1048576

package/samples/wasm/water-level/receipts.bound

@@ -0,0 +1 @@
+# Native object output is measured by the publication vector; no cell receipt is claimed here.