@lapxo/bound 0.1.8 → 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (248) hide show
  1. package/README.md +56 -20
  2. package/TARGET.bound +70 -27
  3. package/assets/wasm/guest.js +4 -0
  4. package/assets/wasm/manifest.json +27 -0
  5. package/assets/wasm/runtime.js +6 -0
  6. package/assets/wasm/runtime.wasm +0 -0
  7. package/dist/cli/accept.js +83 -59
  8. package/dist/cli/act-result.d.ts +9 -0
  9. package/dist/cli/act-result.js +68 -13
  10. package/dist/cli/args.d.ts +1 -0
  11. package/dist/cli/args.js +5 -2
  12. package/dist/cli/custodian.d.ts +1 -0
  13. package/dist/cli/custodian.js +29 -0
  14. package/dist/cli/native-descendant.d.ts +1 -0
  15. package/dist/cli/native-descendant.js +19 -0
  16. package/dist/cli/native.d.ts +1 -0
  17. package/dist/cli/native.js +60 -0
  18. package/dist/cli/observe.js +9 -2
  19. package/dist/cli/pass.js +9 -4
  20. package/dist/cli/place.d.ts +2 -0
  21. package/dist/cli/place.js +7 -4
  22. package/dist/cli/standing-result.js +7 -26
  23. package/dist/cli/verb.js +65 -9
  24. package/dist/engine/index.d.ts +11 -0
  25. package/dist/engine/index.js +9 -0
  26. package/dist/engine/object.d.ts +17 -0
  27. package/dist/engine/object.js +38 -0
  28. package/dist/fold/admission-history.js +2 -2
  29. package/dist/fold/claims.d.ts +4 -0
  30. package/dist/fold/claims.js +23 -3
  31. package/dist/fold/closed.d.ts +1 -1
  32. package/dist/fold/closed.js +36 -7
  33. package/dist/fold/digests.d.ts +1 -1
  34. package/dist/fold/digests.js +6 -4
  35. package/dist/fold/evidence.d.ts +1 -1
  36. package/dist/fold/kept.js +2 -1
  37. package/dist/fold/object.d.ts +3 -17
  38. package/dist/fold/object.js +2 -38
  39. package/dist/fold/observed.d.ts +1 -0
  40. package/dist/fold/observed.js +54 -9
  41. package/dist/fold/readers.d.ts +4 -3
  42. package/dist/fold/readers.js +18 -13
  43. package/dist/fold/resolved.js +12 -2
  44. package/dist/fold/signers.js +2 -2
  45. package/dist/host/adapters/modules/javascript.d.ts +2 -0
  46. package/dist/host/adapters/modules/javascript.js +8 -6
  47. package/dist/host/admitted-place.d.ts +5 -0
  48. package/dist/host/admitted-place.js +57 -0
  49. package/dist/host/capsule-process.d.ts +1 -1
  50. package/dist/host/capsule-process.js +4 -1
  51. package/dist/host/capsule.d.ts +4 -0
  52. package/dist/host/capsule.js +16 -2
  53. package/dist/host/cell-receipts.js +1 -1
  54. package/dist/host/contextual-place.d.ts +59 -0
  55. package/dist/host/contextual-place.js +77 -0
  56. package/dist/host/hash.d.ts +7 -0
  57. package/dist/host/hash.js +6 -0
  58. package/dist/host/io.d.ts +2 -0
  59. package/dist/host/io.js +2 -0
  60. package/dist/host/lifetime.js +61 -22
  61. package/dist/host/native/bounded-file.d.ts +8 -0
  62. package/dist/host/native/bounded-file.js +32 -0
  63. package/dist/host/native/command.d.ts +36 -0
  64. package/dist/host/native/command.js +91 -0
  65. package/dist/host/native/control-bridge-worker.d.ts +1 -0
  66. package/dist/host/native/control-bridge-worker.js +88 -0
  67. package/dist/host/native/control-bridge.d.ts +30 -0
  68. package/dist/host/native/control-bridge.js +110 -0
  69. package/dist/host/native/control-selection.d.ts +29 -0
  70. package/dist/host/native/control-selection.js +32 -0
  71. package/dist/host/native/custody.d.ts +5 -0
  72. package/dist/host/native/custody.js +91 -0
  73. package/dist/host/native/deadline.d.ts +12 -0
  74. package/dist/host/native/deadline.js +28 -0
  75. package/dist/host/native/descendants.d.ts +1 -0
  76. package/dist/host/native/descendants.js +528 -0
  77. package/dist/host/native/generated-custodian.d.ts +122 -0
  78. package/dist/host/native/generated-custodian.js +267 -0
  79. package/dist/host/native/generated.d.ts +217 -0
  80. package/dist/host/native/generated.js +379 -0
  81. package/dist/host/native/image.d.ts +36 -0
  82. package/dist/host/native/image.js +45 -0
  83. package/dist/host/native/jobs.d.ts +75 -0
  84. package/dist/host/native/jobs.js +148 -0
  85. package/dist/host/native/loader.d.ts +80 -0
  86. package/dist/host/native/loader.js +269 -0
  87. package/dist/host/native/materialize.d.ts +22 -0
  88. package/dist/host/native/materialize.js +175 -0
  89. package/dist/host/native/module-closure.d.ts +27 -0
  90. package/dist/host/native/module-closure.js +99 -0
  91. package/dist/host/native/module-syntax.d.ts +8 -0
  92. package/dist/host/native/module-syntax.js +63 -0
  93. package/dist/host/native/native-binary.d.ts +54 -0
  94. package/dist/host/native/native-binary.js +115 -0
  95. package/dist/host/native/native-program.d.ts +56 -0
  96. package/dist/host/native/native-program.js +72 -0
  97. package/dist/host/native/node-jobs.d.ts +84 -0
  98. package/dist/host/native/node-jobs.js +187 -0
  99. package/dist/host/native/node-launch.d.ts +72 -0
  100. package/dist/host/native/node-launch.js +159 -0
  101. package/dist/host/native/preload.d.ts +1 -0
  102. package/dist/host/native/preload.js +45 -0
  103. package/dist/host/native/reading.d.ts +91 -0
  104. package/dist/host/native/reading.js +249 -0
  105. package/dist/host/native/receipt-environment.d.ts +3 -0
  106. package/dist/host/native/receipt-environment.js +41 -0
  107. package/dist/host/native/references.d.ts +5 -0
  108. package/dist/host/native/references.js +30 -0
  109. package/dist/host/native/root.d.ts +17 -0
  110. package/dist/host/native/root.js +37 -0
  111. package/dist/host/native/route.d.ts +66 -0
  112. package/dist/host/native/route.js +216 -0
  113. package/dist/host/native/runtime.d.ts +4 -0
  114. package/dist/host/native/runtime.js +9 -0
  115. package/dist/host/native-reader-context.d.ts +3 -0
  116. package/dist/host/native-reader-context.js +8 -0
  117. package/dist/host/objects.d.ts +2 -1
  118. package/dist/host/objects.js +24 -4
  119. package/dist/host/place-clock-selection.d.ts +55 -0
  120. package/dist/host/place-clock-selection.js +124 -0
  121. package/dist/host/ports/local-act.d.ts +10 -0
  122. package/dist/host/ports/local-act.js +78 -6
  123. package/dist/host/ports/place-act.d.ts +46 -0
  124. package/dist/host/ports/place-act.js +169 -0
  125. package/dist/host/process-lifetime.js +8 -3
  126. package/dist/host/provide.d.ts +25 -0
  127. package/dist/host/provide.js +115 -13
  128. package/dist/host/reading-closures.d.ts +17 -1
  129. package/dist/host/reading-closures.js +98 -18
  130. package/dist/host/reading-context.d.ts +29 -0
  131. package/dist/host/reading-context.js +53 -0
  132. package/dist/host/reference-authenticated.d.ts +28 -0
  133. package/dist/host/reference-authenticated.js +84 -0
  134. package/dist/host/reference-native.d.ts +10 -0
  135. package/dist/host/reference-native.js +50 -0
  136. package/dist/host/reference-profile.d.ts +23 -0
  137. package/dist/host/reference-profile.js +62 -0
  138. package/dist/host/reference.d.ts +6 -0
  139. package/dist/host/reference.js +24 -0
  140. package/dist/host/root-clock-source.d.ts +85 -0
  141. package/dist/host/root-clock-source.js +305 -0
  142. package/dist/host/selected-capsules.js +3 -2
  143. package/dist/host/selected-topos.d.ts +1 -1
  144. package/dist/host/selected-topos.js +9 -1
  145. package/dist/land/act.d.ts +26 -0
  146. package/dist/land/act.js +96 -3
  147. package/dist/land/ledger.d.ts +4 -0
  148. package/dist/land/ledger.js +20 -2
  149. package/dist/observe/regions.d.ts +4 -0
  150. package/dist/observe/regions.js +109 -1
  151. package/dist/observe/runner.d.ts +4 -0
  152. package/dist/observe/runner.js +9 -2
  153. package/dist/wasm/adapter.d.ts +51 -0
  154. package/dist/wasm/adapter.js +180 -0
  155. package/dist/wasm/node-worker.d.ts +1 -0
  156. package/dist/wasm/node-worker.js +13 -0
  157. package/dist/wasm/object.d.ts +8 -0
  158. package/dist/wasm/object.js +76 -0
  159. package/dist/wasm/worker.d.ts +1 -0
  160. package/dist/wasm/worker.js +7 -0
  161. package/docs/contracts/authenticated-reference.publication.json +25 -0
  162. package/docs/contracts/cli.md +13 -0
  163. package/docs/contracts/engine-object-projection.publication.json +25 -0
  164. package/docs/contracts/engine.md +39 -0
  165. package/docs/contracts/native-publication.inventory.json +8 -0
  166. package/docs/contracts/optional-wasm-adapter.publication.json +25 -0
  167. package/docs/contracts/publication-additions.inventory.json +8 -0
  168. package/docs/contracts/reference-port.md +33 -0
  169. package/docs/contracts/reference-port.publication.json +25 -0
  170. package/licenses/wasm/bound.txt +21 -0
  171. package/licenses/wasm/fast-text-encoding.txt +201 -0
  172. package/licenses/wasm/jitl-quickjs-ffi-types.txt +21 -0
  173. package/licenses/wasm/jitl-quickjs-wasmfile-release-sync.txt +47 -0
  174. package/licenses/wasm/obligations.txt +21 -0
  175. package/licenses/wasm/quickjs-emscripten-core.txt +21 -0
  176. package/licenses/wasm/topos.txt +21 -0
  177. package/package.json +94 -4
  178. package/receipts.bound +7672 -573
  179. package/samples/authenticated-reference/no.json +31 -0
  180. package/samples/authenticated-reference/yes/editorial-state/TARGET.bound +57 -0
  181. package/samples/authenticated-reference/yes/editorial-state/inputs/arrival.json +1 -0
  182. package/samples/authenticated-reference/yes/editorial-state/inputs/coverage.json +1 -0
  183. package/samples/authenticated-reference/yes/editorial-state/inputs/era.json +1 -0
  184. package/samples/authenticated-reference/yes/editorial-state/inputs/order.json +1 -0
  185. package/samples/authenticated-reference/yes/editorial-state/inputs/signature.json +1 -0
  186. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.arrival.json +1 -0
  187. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.coverage.json +1 -0
  188. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.era.json +1 -0
  189. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.order.json +1 -0
  190. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.signature.json +1 -0
  191. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json +1 -0
  192. package/samples/authenticated-reference/yes/editorial-state/inputs/yes.json +1 -0
  193. package/samples/authenticated-reference/yes/weather-reading/TARGET.bound +57 -0
  194. package/samples/authenticated-reference/yes/weather-reading/inputs/arrival.json +1 -0
  195. package/samples/authenticated-reference/yes/weather-reading/inputs/coverage.json +1 -0
  196. package/samples/authenticated-reference/yes/weather-reading/inputs/era.json +1 -0
  197. package/samples/authenticated-reference/yes/weather-reading/inputs/order.json +1 -0
  198. package/samples/authenticated-reference/yes/weather-reading/inputs/signature.json +1 -0
  199. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.arrival.json +1 -0
  200. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.coverage.json +1 -0
  201. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.era.json +1 -0
  202. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.order.json +1 -0
  203. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.signature.json +1 -0
  204. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json +1 -0
  205. package/samples/authenticated-reference/yes/weather-reading/inputs/yes.json +1 -0
  206. package/samples/authenticated-reference/yes.json +19 -0
  207. package/samples/engine-alphabet/TARGET.bound +29 -0
  208. package/samples/engine-alphabet/inputs/sample.json +323 -0
  209. package/samples/engine-alphabet/package.json +1 -0
  210. package/samples/engine-alphabet/reader.js +1457 -0
  211. package/samples/engine-alphabet/receipts.bound +12 -0
  212. package/samples/engine-interval/TARGET.bound +29 -0
  213. package/samples/engine-interval/inputs/sample.json +277 -0
  214. package/samples/engine-interval/package.json +1 -0
  215. package/samples/engine-interval/reader.js +1457 -0
  216. package/samples/engine-interval/receipts.bound +12 -0
  217. package/samples/no/engine-order/TARGET.bound +29 -0
  218. package/samples/no/engine-order/inputs/sample.json +277 -0
  219. package/samples/no/engine-order/package.json +1 -0
  220. package/samples/no/engine-order/reader.js +1457 -0
  221. package/samples/reference-port/no/catalog/standing.json +1 -0
  222. package/samples/reference-port/no/catalog/transport.json +1 -0
  223. package/samples/reference-port/no/route-notes/standing.json +1 -0
  224. package/samples/reference-port/no/route-notes/transport.json +1 -0
  225. package/samples/reference-port/yes/catalog/TARGET.bound +33 -0
  226. package/samples/reference-port/yes/catalog/standing.json +1 -0
  227. package/samples/reference-port/yes/catalog/transport.json +1 -0
  228. package/samples/reference-port/yes/route-notes/TARGET.bound +33 -0
  229. package/samples/reference-port/yes/route-notes/standing.json +1 -0
  230. package/samples/reference-port/yes/route-notes/transport.json +1 -0
  231. package/samples/wasm/editorial-notes/TARGET.bound +65 -0
  232. package/samples/wasm/editorial-notes/esm.bound +59 -0
  233. package/samples/wasm/editorial-notes/no-deadline.bound +65 -0
  234. package/samples/wasm/editorial-notes/no-memory.bound +65 -0
  235. package/samples/wasm/editorial-notes/no-missing-limit.bound +64 -0
  236. package/samples/wasm/editorial-notes/receipts.bound +1 -0
  237. package/samples/wasm/water-level/TARGET.bound +65 -0
  238. package/samples/wasm/water-level/esm.bound +59 -0
  239. package/samples/wasm/water-level/no-deadline.bound +65 -0
  240. package/samples/wasm/water-level/no-memory.bound +65 -0
  241. package/samples/wasm/water-level/no-missing-limit.bound +64 -0
  242. package/samples/wasm/water-level/receipts.bound +1 -0
  243. package/vectors/engine-object.cli.json +548 -0
  244. package/vectors/native/authenticated-reference-formation.vector.json +53 -0
  245. package/vectors/native/authenticated-reference.cli.json +157 -0
  246. package/vectors/native/authenticated-reference.vector.json +440 -0
  247. package/vectors/reference-port.cli.json +688 -0
  248. package/vectors/wasm-object.cli.json +452 -0
@@ -0,0 +1 @@
1
+ {"profile":"semantic-standing@1","standing":"bound-lock/1 measure=count scope=catalog/items value=2..4\n"}
@@ -0,0 +1 @@
1
+ {"sample":{"kind":"command","executable":"/bin/cat","args":["samples/reference-port/no/catalog/standing.json"]}}
@@ -0,0 +1 @@
1
+ {"profile":"semantic-standing@1","standing":"bound-lock/1 measure=count scope=route/notes value=7..9\n"}
@@ -0,0 +1 @@
1
+ {"sample":{"kind":"command","executable":"/bin/cat","args":["samples/reference-port/no/route-notes/standing.json"]}}
@@ -0,0 +1,33 @@
1
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/at-classes value=origin|place|receipt|witness|policy
2
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/digest-algorithms value=sha256
3
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/era value=sample
4
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/families value=keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|conformance|vector|sample|cost|source|class|pipeline|host
5
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/fields value=scope|role|form|measure|value|by|at|needs|sig|epoch|shape|restsOn|condition|about|kind|view
6
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/forms value=alphabet|interval
7
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-empty value=declared-empty@1
8
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-inputs value=declared-presence@1
9
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-lifetime value=bounded-process@2
10
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/receipt-fields value=scope|role|form|measure|value|by|at
11
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-coordinate value=coordinates
12
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-measures value=coordinates
13
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/required value=scope|role|form|measure|value|by|at
14
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/roles value=reads|writes|demands
15
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/shapes value=run|sample.json
16
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/signature-algorithms value=ed25519:sample
17
+ bound-lock/1 at=policy:reference-sample by=owner epoch=1 form=alphabet measure=public-key role=writes scope=keys/owner sig="ed25519:sample:OfZHc70C2a63W+Ss/qNPC7DnW9DK+QyPTnsOYZ/v5/RoRDdV/5sCSF8wBbPANW5dqvDMl5tTCgdeV80Ump38AQ==" value="MCowBQYDK2VwAyEAgzRfZFzMTVGnWAhu/mKptNmltXexEOzJ5JuXGDqMXG8="
18
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/folder value=fold
19
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/owner value=authorize
20
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/reader value=read
21
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=coverage role=writes scope=keys/owner value=*
22
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=demands scope=view/receipts shape=receipts.bound value=receipts@8|receipts@0|receipts@1
23
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=writes scope=reader/inputs value=required
24
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=reader needs=inputs/ role=writes scope=reader/conformance shape=sample.json value=reader.js
25
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=signer role=writes scope=keys/owner value=file
26
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=reader/response-bytes value=0..65536
27
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=signer/response-bytes value=65536..65536
28
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=reader/timeout value=0..5000
29
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=signer/timeout value=5000..5000
30
+ bound-lock/1 form=alphabet measure=id role=writes scope=wire/transport value=content-request/1
31
+ bound-lock/1 form=alphabet measure=id role=writes scope=transport/fixture value=sample
32
+ bound-lock/1 form=interval measure=milliseconds role=writes scope=transport/timeout value=0..300
33
+ bound-lock/1 form=interval measure=bytes role=writes scope=transport/response-bytes value=0..8192
@@ -0,0 +1 @@
1
+ {"profile":"semantic-standing@1","standing":"bound-lock/1 measure=count scope=catalog/items value=2..4\n"}
@@ -0,0 +1 @@
1
+ {"sample":{"kind":"command","executable":"/bin/cat","args":["samples/reference-port/yes/catalog/standing.json"]}}
@@ -0,0 +1,33 @@
1
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/at-classes value=origin|place|receipt|witness|policy
2
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/digest-algorithms value=sha256
3
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/era value=sample
4
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/families value=keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|conformance|vector|sample|cost|source|class|pipeline|host
5
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/fields value=scope|role|form|measure|value|by|at|needs|sig|epoch|shape|restsOn|condition|about|kind|view
6
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/forms value=alphabet|interval
7
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-empty value=declared-empty@1
8
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-inputs value=declared-presence@1
9
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-lifetime value=bounded-process@2
10
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/receipt-fields value=scope|role|form|measure|value|by|at
11
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-coordinate value=coordinates
12
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-measures value=coordinates
13
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/required value=scope|role|form|measure|value|by|at
14
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/roles value=reads|writes|demands
15
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/shapes value=run|sample.json
16
+ bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/signature-algorithms value=ed25519:sample
17
+ bound-lock/1 at=policy:reference-sample by=owner epoch=1 form=alphabet measure=public-key role=writes scope=keys/owner sig="ed25519:sample:XCWMBdyYOt3H3sTjX+A6YXirK3JMoVkagUOLxKBw+U4rQr+pOhAVKW0Va8MDBLQ4cN/sXk+N8Ob5CPDVHIXSDQ==" value="MCowBQYDK2VwAyEA7cXQUTJ0F/6tJ8v/zL+ORgdkaKPE3pQ7D4VzGdhhb4I="
18
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/folder value=fold
19
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/owner value=authorize
20
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/reader value=read
21
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=coverage role=writes scope=keys/owner value=*
22
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=demands scope=view/receipts shape=receipts.bound value=receipts@8|receipts@0|receipts@1
23
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=writes scope=reader/inputs value=required
24
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=reader needs=inputs/ role=writes scope=reader/conformance shape=sample.json value=reader.js
25
+ bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=signer role=writes scope=keys/owner value=file
26
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=reader/response-bytes value=0..65536
27
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=signer/response-bytes value=65536..65536
28
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=reader/timeout value=0..5000
29
+ bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=signer/timeout value=5000..5000
30
+ bound-lock/1 form=alphabet measure=id role=writes scope=wire/transport value=content-request/1
31
+ bound-lock/1 form=alphabet measure=id role=writes scope=transport/fixture value=sample
32
+ bound-lock/1 form=interval measure=milliseconds role=writes scope=transport/timeout value=0..300
33
+ bound-lock/1 form=interval measure=bytes role=writes scope=transport/response-bytes value=0..8192
@@ -0,0 +1 @@
1
+ {"profile":"semantic-standing@1","standing":"bound-lock/1 measure=count scope=route/notes value=7..9\n"}
@@ -0,0 +1 @@
1
+ {"sample":{"kind":"command","executable":"/bin/cat","args":["samples/reference-port/yes/route-notes/standing.json"]}}
@@ -0,0 +1,65 @@
1
+ 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
2
+ 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=*
3
+ 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="
4
+ 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
5
+ 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
6
+ 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
7
+ 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
8
+ 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
9
+ 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
10
+ 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
11
+ 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
12
+ 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
13
+ 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
14
+ 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
15
+ 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
16
+ 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
17
+ 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
18
+ 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
19
+ bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:UT52T2BMIB+lsblib3HxotO2rYRoPWNuvkbpZzeQ6f1P8IXE9uWVKGBnYCCVOZCnL+slr1LLbcjmLCvRlSQJCQ==" value=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28
20
+ 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
21
+ 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
22
+ 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
23
+ 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
24
+ 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
25
+ 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
26
+ 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
27
+ 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
28
+ 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
29
+ 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
30
+ 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
31
+ 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
32
+ 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
33
+ 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
34
+ 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
35
+ 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
36
+ 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
37
+ 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
38
+ 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
39
+ 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
40
+ 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
41
+ 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
42
+ 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
43
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-B measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=B sig="ed25519:sample:rxY2Fdrw4Po3cYHZIPoNgc+nDg4U4HZDYaANRDWXH2DXYzHQ3Ag6cPyXVtL0OvHy5SyD47BY5PK2TsTzFuyzCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
44
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-C measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=B scope=C sig="ed25519:sample:MdwY8owNiqPBmV3dsPqMQdw/OlunlQPKCo7+KKiZpPrCqAu5PCJMvIVQ7qT46XDrve8LzZnO2zfTC98REEEIBA==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
45
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-G measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=C scope=G sig="ed25519:sample:HfdZ2xZnN8WT+PADgn7+UqFw1BznPlyA4utVNnrmFpxy4ibmfudGZypPFMfoOQ0KV1ZPeBfNW9eAlW1Tn8ItCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
46
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-D measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=D sig="ed25519:sample:4BD4M5ILuxrB0pLLb8KSDx66yxW2hHq6IS269uoV/BwRmZ5DJ3Xxdaoc6u90i99iC5NzTHBQP5aTqIpnTC3eDQ==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
47
+ bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:ATWwX+WfqSXb3OHOr0L90MyHetymVK0lXG09k5VTTd1cY5d5qfoaxZaKAgwTR1u8pyaDyhV0zbR1JLqqhl1BBA==" sign=+1 type=mark value=lock|readme
48
+ bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:IHM2R0HduhjearxF7sBzZ52HZFTkcqhTcpCYqVht6cKF/lG/NDr10Bf+EmoL5BBVlvzasLnpvWgCzMlw/g6yDA==" sign=+1 type=mark value=lock|readme|source widens=local-opening
49
+ bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:b/Lpt7DiIfkrcYjHRaSqzDZ/YGc77DDeQg4p4bMKTeRPOQgPhZTj794hMsQFNEqS43L+lenDOYiFVfTqaXg0CA==" sign=+1 type=mark value=lock
50
+ bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:Hh0l8G3R/CEaSJBI5Zi/wkTCFL8ayl1gWHivaCzp712iYK2quDkTCtavaUUpguTMVphjksmSi6z+ekGtnyHrDQ==" sign=+1 type=claim value=lock|readme
51
+ bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:9dCwPI9h73fGmb2su5QGjmRhRaiyRC+tm0uarojhlqg6CRHAWoSZq02EcPFQzbDDEZD23DCjTz8fv00mcW9xBw==" sign=+1 type=claim value=lock
52
+ bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:+cvqc4G0zCnb43nPzNAFyMfu8DHDVv24OkS8fSh8pHrbhrrJuPu+oKc5IlH7pxX8UcEDdkSg0CFf/6ioM7OkBw==" sign=+1 type=claim value=readme
53
+ 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
54
+ 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
55
+ 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
56
+ bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:5vWOtp1vtUfRmW+xwga4pqXIK8HORccWgpx/u8AQB5FdHpZkLHhgJe2qIHtdULNz9TuvfOU6x65X3HyJ+oeZBg==" sign=+1 type=claim value=source
57
+ bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:ZRPZH7bLXRkXwY5siRS2tJ0F09KDfFYvlEtwVBfn4RXl6alTsZOxmu1mc/GygDhqsC79qsvY1NUykoUL2SSnBQ==" sign=+1 type=claim value=source
58
+ bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:znAbUPA5NHXdbdYjCHeNTfac5iPkpC8bbzYmhFhOJycvcBIIyLrg2FRjhDtafZoEjNgFSHSrykYasflbTMF+DQ==" sign=+1 type=mark value=source
59
+ bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
60
+ 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
61
+ 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
62
+ 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
63
+ 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
64
+ 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
65
+ 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
@@ -0,0 +1,59 @@
1
+ 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
2
+ 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=*
3
+ 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="
4
+ 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
5
+ 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
6
+ 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
7
+ 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
8
+ 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
9
+ 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
10
+ 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
11
+ 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
12
+ 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
13
+ 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
14
+ 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
15
+ 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
16
+ 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
17
+ 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
18
+ 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
19
+ bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:UT52T2BMIB+lsblib3HxotO2rYRoPWNuvkbpZzeQ6f1P8IXE9uWVKGBnYCCVOZCnL+slr1LLbcjmLCvRlSQJCQ==" value=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28
20
+ 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
21
+ 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
22
+ 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
23
+ 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
24
+ 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
25
+ 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
26
+ 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
27
+ 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
28
+ 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
29
+ 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
30
+ 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
31
+ 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
32
+ 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
33
+ 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
34
+ 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
35
+ 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
36
+ 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
37
+ 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
38
+ 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
39
+ 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
40
+ 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
41
+ 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
42
+ 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
43
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-B measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=B sig="ed25519:sample:rxY2Fdrw4Po3cYHZIPoNgc+nDg4U4HZDYaANRDWXH2DXYzHQ3Ag6cPyXVtL0OvHy5SyD47BY5PK2TsTzFuyzCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
44
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-C measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=B scope=C sig="ed25519:sample:MdwY8owNiqPBmV3dsPqMQdw/OlunlQPKCo7+KKiZpPrCqAu5PCJMvIVQ7qT46XDrve8LzZnO2zfTC98REEEIBA==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
45
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-G measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=C scope=G sig="ed25519:sample:HfdZ2xZnN8WT+PADgn7+UqFw1BznPlyA4utVNnrmFpxy4ibmfudGZypPFMfoOQ0KV1ZPeBfNW9eAlW1Tn8ItCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
46
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-D measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=D sig="ed25519:sample:4BD4M5ILuxrB0pLLb8KSDx66yxW2hHq6IS269uoV/BwRmZ5DJ3Xxdaoc6u90i99iC5NzTHBQP5aTqIpnTC3eDQ==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
47
+ bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:ATWwX+WfqSXb3OHOr0L90MyHetymVK0lXG09k5VTTd1cY5d5qfoaxZaKAgwTR1u8pyaDyhV0zbR1JLqqhl1BBA==" sign=+1 type=mark value=lock|readme
48
+ bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:IHM2R0HduhjearxF7sBzZ52HZFTkcqhTcpCYqVht6cKF/lG/NDr10Bf+EmoL5BBVlvzasLnpvWgCzMlw/g6yDA==" sign=+1 type=mark value=lock|readme|source widens=local-opening
49
+ bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:b/Lpt7DiIfkrcYjHRaSqzDZ/YGc77DDeQg4p4bMKTeRPOQgPhZTj794hMsQFNEqS43L+lenDOYiFVfTqaXg0CA==" sign=+1 type=mark value=lock
50
+ bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:Hh0l8G3R/CEaSJBI5Zi/wkTCFL8ayl1gWHivaCzp712iYK2quDkTCtavaUUpguTMVphjksmSi6z+ekGtnyHrDQ==" sign=+1 type=claim value=lock|readme
51
+ bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:9dCwPI9h73fGmb2su5QGjmRhRaiyRC+tm0uarojhlqg6CRHAWoSZq02EcPFQzbDDEZD23DCjTz8fv00mcW9xBw==" sign=+1 type=claim value=lock
52
+ bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:+cvqc4G0zCnb43nPzNAFyMfu8DHDVv24OkS8fSh8pHrbhrrJuPu+oKc5IlH7pxX8UcEDdkSg0CFf/6ioM7OkBw==" sign=+1 type=claim value=readme
53
+ 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
54
+ 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
55
+ 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
56
+ bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:5vWOtp1vtUfRmW+xwga4pqXIK8HORccWgpx/u8AQB5FdHpZkLHhgJe2qIHtdULNz9TuvfOU6x65X3HyJ+oeZBg==" sign=+1 type=claim value=source
57
+ bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:ZRPZH7bLXRkXwY5siRS2tJ0F09KDfFYvlEtwVBfn4RXl6alTsZOxmu1mc/GygDhqsC79qsvY1NUykoUL2SSnBQ==" sign=+1 type=claim value=source
58
+ bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:znAbUPA5NHXdbdYjCHeNTfac5iPkpC8bbzYmhFhOJycvcBIIyLrg2FRjhDtafZoEjNgFSHSrykYasflbTMF+DQ==" sign=+1 type=mark value=source
59
+ bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
@@ -0,0 +1,65 @@
1
+ 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
2
+ 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=*
3
+ 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="
4
+ 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
5
+ 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
6
+ 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
7
+ 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
8
+ 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
9
+ 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
10
+ 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
11
+ 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
12
+ 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
13
+ 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
14
+ 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
15
+ 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
16
+ 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
17
+ 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
18
+ 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
19
+ bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:UT52T2BMIB+lsblib3HxotO2rYRoPWNuvkbpZzeQ6f1P8IXE9uWVKGBnYCCVOZCnL+slr1LLbcjmLCvRlSQJCQ==" value=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28
20
+ 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
21
+ 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
22
+ 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
23
+ 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
24
+ 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
25
+ 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
26
+ 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
27
+ 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
28
+ 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
29
+ 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
30
+ 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
31
+ 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
32
+ 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
33
+ 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
34
+ 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
35
+ 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
36
+ 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
37
+ 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
38
+ 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
39
+ 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
40
+ 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
41
+ 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
42
+ 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
43
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-B measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=B sig="ed25519:sample:rxY2Fdrw4Po3cYHZIPoNgc+nDg4U4HZDYaANRDWXH2DXYzHQ3Ag6cPyXVtL0OvHy5SyD47BY5PK2TsTzFuyzCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
44
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-C measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=B scope=C sig="ed25519:sample:MdwY8owNiqPBmV3dsPqMQdw/OlunlQPKCo7+KKiZpPrCqAu5PCJMvIVQ7qT46XDrve8LzZnO2zfTC98REEEIBA==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
45
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-G measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=C scope=G sig="ed25519:sample:HfdZ2xZnN8WT+PADgn7+UqFw1BznPlyA4utVNnrmFpxy4ibmfudGZypPFMfoOQ0KV1ZPeBfNW9eAlW1Tn8ItCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
46
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-D measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=D sig="ed25519:sample:4BD4M5ILuxrB0pLLb8KSDx66yxW2hHq6IS269uoV/BwRmZ5DJ3Xxdaoc6u90i99iC5NzTHBQP5aTqIpnTC3eDQ==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
47
+ bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:ATWwX+WfqSXb3OHOr0L90MyHetymVK0lXG09k5VTTd1cY5d5qfoaxZaKAgwTR1u8pyaDyhV0zbR1JLqqhl1BBA==" sign=+1 type=mark value=lock|readme
48
+ bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:IHM2R0HduhjearxF7sBzZ52HZFTkcqhTcpCYqVht6cKF/lG/NDr10Bf+EmoL5BBVlvzasLnpvWgCzMlw/g6yDA==" sign=+1 type=mark value=lock|readme|source widens=local-opening
49
+ bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:b/Lpt7DiIfkrcYjHRaSqzDZ/YGc77DDeQg4p4bMKTeRPOQgPhZTj794hMsQFNEqS43L+lenDOYiFVfTqaXg0CA==" sign=+1 type=mark value=lock
50
+ bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:Hh0l8G3R/CEaSJBI5Zi/wkTCFL8ayl1gWHivaCzp712iYK2quDkTCtavaUUpguTMVphjksmSi6z+ekGtnyHrDQ==" sign=+1 type=claim value=lock|readme
51
+ bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:9dCwPI9h73fGmb2su5QGjmRhRaiyRC+tm0uarojhlqg6CRHAWoSZq02EcPFQzbDDEZD23DCjTz8fv00mcW9xBw==" sign=+1 type=claim value=lock
52
+ bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:+cvqc4G0zCnb43nPzNAFyMfu8DHDVv24OkS8fSh8pHrbhrrJuPu+oKc5IlH7pxX8UcEDdkSg0CFf/6ioM7OkBw==" sign=+1 type=claim value=readme
53
+ 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
54
+ 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
55
+ 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
56
+ bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:5vWOtp1vtUfRmW+xwga4pqXIK8HORccWgpx/u8AQB5FdHpZkLHhgJe2qIHtdULNz9TuvfOU6x65X3HyJ+oeZBg==" sign=+1 type=claim value=source
57
+ bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:ZRPZH7bLXRkXwY5siRS2tJ0F09KDfFYvlEtwVBfn4RXl6alTsZOxmu1mc/GygDhqsC79qsvY1NUykoUL2SSnBQ==" sign=+1 type=claim value=source
58
+ bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:znAbUPA5NHXdbdYjCHeNTfac5iPkpC8bbzYmhFhOJycvcBIIyLrg2FRjhDtafZoEjNgFSHSrykYasflbTMF+DQ==" sign=+1 type=mark value=source
59
+ bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
60
+ 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
61
+ 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
62
+ 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
63
+ 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
64
+ 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
65
+ 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
@@ -0,0 +1,65 @@
1
+ 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
2
+ 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=*
3
+ 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="
4
+ 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
5
+ 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
6
+ 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
7
+ 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
8
+ 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
9
+ 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
10
+ 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
11
+ 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
12
+ 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
13
+ 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
14
+ 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
15
+ 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
16
+ 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
17
+ 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
18
+ 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
19
+ bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:UT52T2BMIB+lsblib3HxotO2rYRoPWNuvkbpZzeQ6f1P8IXE9uWVKGBnYCCVOZCnL+slr1LLbcjmLCvRlSQJCQ==" value=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28
20
+ 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
21
+ 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
22
+ 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
23
+ 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
24
+ 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
25
+ 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
26
+ 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
27
+ 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
28
+ 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
29
+ 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
30
+ 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
31
+ 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
32
+ 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
33
+ 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
34
+ 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
35
+ 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
36
+ 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
37
+ 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
38
+ 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
39
+ 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
40
+ 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
41
+ 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
42
+ 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
43
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-B measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=B sig="ed25519:sample:rxY2Fdrw4Po3cYHZIPoNgc+nDg4U4HZDYaANRDWXH2DXYzHQ3Ag6cPyXVtL0OvHy5SyD47BY5PK2TsTzFuyzCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
44
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-C measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=B scope=C sig="ed25519:sample:MdwY8owNiqPBmV3dsPqMQdw/OlunlQPKCo7+KKiZpPrCqAu5PCJMvIVQ7qT46XDrve8LzZnO2zfTC98REEEIBA==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
45
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-G measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=C scope=G sig="ed25519:sample:HfdZ2xZnN8WT+PADgn7+UqFw1BznPlyA4utVNnrmFpxy4ibmfudGZypPFMfoOQ0KV1ZPeBfNW9eAlW1Tn8ItCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
46
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-D measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=D sig="ed25519:sample:4BD4M5ILuxrB0pLLb8KSDx66yxW2hHq6IS269uoV/BwRmZ5DJ3Xxdaoc6u90i99iC5NzTHBQP5aTqIpnTC3eDQ==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
47
+ bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:ATWwX+WfqSXb3OHOr0L90MyHetymVK0lXG09k5VTTd1cY5d5qfoaxZaKAgwTR1u8pyaDyhV0zbR1JLqqhl1BBA==" sign=+1 type=mark value=lock|readme
48
+ bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:IHM2R0HduhjearxF7sBzZ52HZFTkcqhTcpCYqVht6cKF/lG/NDr10Bf+EmoL5BBVlvzasLnpvWgCzMlw/g6yDA==" sign=+1 type=mark value=lock|readme|source widens=local-opening
49
+ bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:b/Lpt7DiIfkrcYjHRaSqzDZ/YGc77DDeQg4p4bMKTeRPOQgPhZTj794hMsQFNEqS43L+lenDOYiFVfTqaXg0CA==" sign=+1 type=mark value=lock
50
+ bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:Hh0l8G3R/CEaSJBI5Zi/wkTCFL8ayl1gWHivaCzp712iYK2quDkTCtavaUUpguTMVphjksmSi6z+ekGtnyHrDQ==" sign=+1 type=claim value=lock|readme
51
+ bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:9dCwPI9h73fGmb2su5QGjmRhRaiyRC+tm0uarojhlqg6CRHAWoSZq02EcPFQzbDDEZD23DCjTz8fv00mcW9xBw==" sign=+1 type=claim value=lock
52
+ bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:+cvqc4G0zCnb43nPzNAFyMfu8DHDVv24OkS8fSh8pHrbhrrJuPu+oKc5IlH7pxX8UcEDdkSg0CFf/6ioM7OkBw==" sign=+1 type=claim value=readme
53
+ 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
54
+ 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
55
+ 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
56
+ bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:5vWOtp1vtUfRmW+xwga4pqXIK8HORccWgpx/u8AQB5FdHpZkLHhgJe2qIHtdULNz9TuvfOU6x65X3HyJ+oeZBg==" sign=+1 type=claim value=source
57
+ bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:ZRPZH7bLXRkXwY5siRS2tJ0F09KDfFYvlEtwVBfn4RXl6alTsZOxmu1mc/GygDhqsC79qsvY1NUykoUL2SSnBQ==" sign=+1 type=claim value=source
58
+ bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:znAbUPA5NHXdbdYjCHeNTfac5iPkpC8bbzYmhFhOJycvcBIIyLrg2FRjhDtafZoEjNgFSHSrykYasflbTMF+DQ==" sign=+1 type=mark value=source
59
+ bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
60
+ 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
61
+ 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
62
+ 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
63
+ 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
64
+ 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
65
+ 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
@@ -0,0 +1,64 @@
1
+ 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
2
+ 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=*
3
+ 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="
4
+ 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
5
+ 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
6
+ 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
7
+ 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
8
+ 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
9
+ 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
10
+ 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
11
+ 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
12
+ 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
13
+ 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
14
+ 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
15
+ 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
16
+ 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
17
+ 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
18
+ 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
19
+ bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig="ed25519:sample:UT52T2BMIB+lsblib3HxotO2rYRoPWNuvkbpZzeQ6f1P8IXE9uWVKGBnYCCVOZCnL+slr1LLbcjmLCvRlSQJCQ==" value=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28
20
+ 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
21
+ 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
22
+ 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
23
+ 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
24
+ 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
25
+ 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
26
+ 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
27
+ 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
28
+ 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
29
+ 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
30
+ 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
31
+ 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
32
+ 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
33
+ 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
34
+ 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
35
+ 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
36
+ 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
37
+ 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
38
+ 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
39
+ 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
40
+ 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
41
+ 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
42
+ 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
43
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-B measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=B sig="ed25519:sample:rxY2Fdrw4Po3cYHZIPoNgc+nDg4U4HZDYaANRDWXH2DXYzHQ3Ag6cPyXVtL0OvHy5SyD47BY5PK2TsTzFuyzCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
44
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-C measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=B scope=C sig="ed25519:sample:MdwY8owNiqPBmV3dsPqMQdw/OlunlQPKCo7+KKiZpPrCqAu5PCJMvIVQ7qT46XDrve8LzZnO2zfTC98REEEIBA==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
45
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-G measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=C scope=G sig="ed25519:sample:HfdZ2xZnN8WT+PADgn7+UqFw1BznPlyA4utVNnrmFpxy4ibmfudGZypPFMfoOQ0KV1ZPeBfNW9eAlW1Tn8ItCg==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
46
+ bound-lock/1 by=device epoch=2 form=alphabet id=def-D measure=artifact params="{\"tokens\":[\"lock\",\"readme\",\"source\"]}" restsOn=none scope=D sig="ed25519:sample:4BD4M5ILuxrB0pLLb8KSDx66yxW2hHq6IS269uoV/BwRmZ5DJ3Xxdaoc6u90i99iC5NzTHBQP5aTqIpnTC3eDQ==" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell
47
+ bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig="ed25519:sample:ATWwX+WfqSXb3OHOr0L90MyHetymVK0lXG09k5VTTd1cY5d5qfoaxZaKAgwTR1u8pyaDyhV0zbR1JLqqhl1BBA==" sign=+1 type=mark value=lock|readme
48
+ bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig="ed25519:sample:IHM2R0HduhjearxF7sBzZ52HZFTkcqhTcpCYqVht6cKF/lG/NDr10Bf+EmoL5BBVlvzasLnpvWgCzMlw/g6yDA==" sign=+1 type=mark value=lock|readme|source widens=local-opening
49
+ bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig="ed25519:sample:b/Lpt7DiIfkrcYjHRaSqzDZ/YGc77DDeQg4p4bMKTeRPOQgPhZTj794hMsQFNEqS43L+lenDOYiFVfTqaXg0CA==" sign=+1 type=mark value=lock
50
+ bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig="ed25519:sample:Hh0l8G3R/CEaSJBI5Zi/wkTCFL8ayl1gWHivaCzp712iYK2quDkTCtavaUUpguTMVphjksmSi6z+ekGtnyHrDQ==" sign=+1 type=claim value=lock|readme
51
+ bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig="ed25519:sample:9dCwPI9h73fGmb2su5QGjmRhRaiyRC+tm0uarojhlqg6CRHAWoSZq02EcPFQzbDDEZD23DCjTz8fv00mcW9xBw==" sign=+1 type=claim value=lock
52
+ bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig="ed25519:sample:+cvqc4G0zCnb43nPzNAFyMfu8DHDVv24OkS8fSh8pHrbhrrJuPu+oKc5IlH7pxX8UcEDdkSg0CFf/6ioM7OkBw==" sign=+1 type=claim value=readme
53
+ 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
54
+ 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
55
+ 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
56
+ bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig="ed25519:sample:5vWOtp1vtUfRmW+xwga4pqXIK8HORccWgpx/u8AQB5FdHpZkLHhgJe2qIHtdULNz9TuvfOU6x65X3HyJ+oeZBg==" sign=+1 type=claim value=source
57
+ bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig="ed25519:sample:ZRPZH7bLXRkXwY5siRS2tJ0F09KDfFYvlEtwVBfn4RXl6alTsZOxmu1mc/GygDhqsC79qsvY1NUykoUL2SSnBQ==" sign=+1 type=claim value=source
58
+ bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig="ed25519:sample:znAbUPA5NHXdbdYjCHeNTfac5iPkpC8bbzYmhFhOJycvcBIIyLrg2FRjhDtafZoEjNgFSHSrykYasflbTMF+DQ==" sign=+1 type=mark value=source
59
+ bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig="ed25519:sample:nmuw0gNqWIBpMnUzYhkD8xh4Jor7mje3iVNMSvFn5YWvba2n8k0N44UdnsH5e0krRQslGv6xrvYwKEuzrnPWAg==" sign=-1 takes=j-B type=mark
60
+ 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
61
+ 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
62
+ 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
63
+ 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
64
+ 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
@@ -0,0 +1 @@
1
+ # Native object output is measured by the publication vector; no cell receipt is claimed here.