@lapxo/obligations 0.2.0

package/receipts.bound

@@ -0,0 +1,491 @@
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:a09d98fcb8bc form=alphabet measure=observed role=writes scope=src/laws/laws.bound value=1790214097567-58587
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=alphabet measure=observed role=writes scope=src/laws/laws.bound value=1790214097567-58587
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:5cc41c45cf7a form=alphabet measure=observed role=writes scope=./ value=4b9d4841959c9504
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=observed role=writes scope=./ value=4b9d4841959c9504
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/C1-independence-is-distance/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/C3-bootstrap-once/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/C4-dpi-subadditive/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/T10-drift/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/T13-c_n/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/T7-sufficient-resolution/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/T8-exact-withdrawal/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/lem-join/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/lem-mediant/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/prop-dep/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/thm-mi/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/corollary/thm-modular/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T1-only-verdict-bits-travel/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T11-size-is-questions/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T12-reliability-is-encounter-rate/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T14-supermodular-degeneration/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T15-premium-is-residual-information/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T16-encounter-inequality/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T17-coding-of-verdicts/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T18-freedom-is-a-currency/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T19-signatures-fold/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T2-coordinate-where-disagree/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T20-age-is-encounters/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T21-reading-is-an-origin/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T22-fold-is-superposition/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T23-domain-has-a-spectrum/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T24-ignorance-has-coordinates/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T25-rules-earn-their-place/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T26-knowing-has-four-states/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T27-disagreement-can-be-provoked/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T3-fixed-point/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T36-agreement-has-a-resolution/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T37-a-lock-is-a-mould/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T38-origins-are-a-polygon/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T39-cells-grow-until-stopped/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T40-cost-by-density/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T41-distance-is-the-walk-between-lookings/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T42-no-privileged-observer/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T43-each-origin-gives-one-fact-and-one-distance/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T44-an-origin-is-worth-its-reach/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T45-cells-that-rest-on-one-bound-are-entangled/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T46-a-bound-moves-cells-no-walk-reaches/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T47-a-two-pole-object/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T48-epoch-is-phase/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T49-amplitude-has-sign-and-phase/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T5-coarsen-widens/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T50-signatures-are-meets/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T51-the-shape-of-knowing-can-be-designed/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T52-directing-where-origins-land-closes-the-horizon/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T53-a-decision-is-what-the-form-leaves-open/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T55-a-policy-is-four-weights/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T56-forks-over-closes-separates-regimes/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T57-a-refereed-game-governs-itself/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T58-observation-is-over-regions-by-reach/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T6-present-converges/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T63-author-time-memory-are-relative/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T65-ownership-is-being-an-origin/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T66-there-is-no-after/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T67-withdrawal-is-reinterpretation/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T70-a-gap-is-a-coarse-claim/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T73-a-cell-that-folds-itself-converges/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/T9-self-application-converges/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/lem-identity/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/lem-meet/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/lem-merge/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/lem-phi/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/prop-additive/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/prop-cmi/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/prop-halfboolean/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-collapse/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-decomp/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-dep/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-extremal/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-gap/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-local/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-ratio/reproduced value=1..1
+bound-lock/1 at=place:sha256:398796c347835acee9a534c8392d8bfd7e019f4fbbffa3a39d8b6c8f8606bc1e by=reader:cc66f3a0ff57 form=interval measure=count role=reads scope=law/theorem/thm-witness/reproduced value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A0-carrier value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A1-encounter value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A2-meet value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A3-resolution value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A4-epoch value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A5-origin-is-extension value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A6-vacuity value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A7-freedom-conserved value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A8-four-states value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/A9-everything-is-a-bound value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H1-uncertainty value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H2-density-attracts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H3-a-distant-signature-moves-a-cell-that-did-not-move value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H4-enriched-semilattice value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H5-hilbert-is-the-obligatory-without-four-fields value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H6-structure-of-measurement value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H7-the-medium-of-encounters value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/H8-refereed-game value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T1-only-verdict-bits-travel value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T10-drift value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T11-size-is-questions value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T12-reliability-is-encounter-rate value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T16-encounter-inequality value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T20-age-is-encounters value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T5-coarsen-widens value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/T6-present-converges value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/no/obligatory value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A0-carrier value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A1-encounter value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A2-meet value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A3-resolution value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A4-epoch value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A5-origin-is-extension value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A6-vacuity value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A7-freedom-conserved value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A8-four-states value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/A9-everything-is-a-bound value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/C1-independence-is-distance value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/C3-bootstrap-once value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/D0-coordinate value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/D10-open-question value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/D3-state value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/D4-debit-in-bits value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/D8-present value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/D9-yield value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H1-uncertainty value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H2-density-attracts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H3-a-distant-signature-moves-a-cell-that-did-not-move value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H4-enriched-semilattice value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H5-hilbert-is-the-obligatory-without-four-fields value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H6-structure-of-measurement value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H7-the-medium-of-encounters value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H8-refereed-game value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/H9-the-obligatory-is-maximal value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T1-only-verdict-bits-travel value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T10-drift value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T11-size-is-questions value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T12-reliability-is-encounter-rate value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T13-c_n value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T16-encounter-inequality value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T18-freedom-is-a-currency value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T19-signatures-fold value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T2-coordinate-where-disagree value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T20-age-is-encounters value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T21-reading-is-an-origin value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T22-fold-is-superposition value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T23-domain-has-a-spectrum value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T24-ignorance-has-coordinates value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T25-rules-earn-their-place value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T26-knowing-has-four-states value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T27-disagreement-can-be-provoked value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T36-agreement-has-a-resolution value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T37-a-lock-is-a-mould value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T38-origins-are-a-polygon value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T39-cells-grow-until-stopped value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T40-cost-by-density value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T41-distance-is-the-walk-between-lookings value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T42-no-privileged-observer value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T43-each-origin-gives-one-fact-and-one-distance value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T44-an-origin-is-worth-its-reach value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T45-cells-that-rest-on-one-bound-are-entangled value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T46-a-bound-moves-cells-no-walk-reaches value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T47-a-two-pole-object value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T48-epoch-is-phase value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T49-amplitude-has-sign-and-phase value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T5-coarsen-widens value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T50-signatures-are-meets value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T51-the-shape-of-knowing-can-be-designed value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T52-directing-where-origins-land-closes-the-horizon value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T53-a-decision-is-what-the-form-leaves-open value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T55-a-policy-is-four-weights value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T56-forks-over-closes-separates-regimes value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T57-a-refereed-game-governs-itself value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T58-observation-is-over-regions-by-reach value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T6-present-converges value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T63-author-time-memory-are-relative value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T65-ownership-is-being-an-origin value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T66-there-is-no-after value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T67-withdrawal-is-reinterpretation value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T7-sufficient-resolution value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T70-a-gap-is-a-coarse-claim value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T73-a-cell-that-folds-itself-converges value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/T9-self-application value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/lem-identity value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/lem-join value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/lem-meet value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/lem-merge value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/lem-phi value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/obligatory value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/prop-additive value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/prop-cmi value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/prop-dep value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/thm-dep value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/thm-extremal value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/thm-local value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/thm-mi value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/thm-ratio value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=sample/yes/thm-witness value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/laws-papers.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/laws.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/loom.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/obligatory.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vacuity.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vector-transitions.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vector.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-algebra.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-bits.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-blocks.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-closure.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-field.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-golden.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-inputs.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-measure.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-price.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-reach.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors-signatures.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/vectors.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=test/wave.test.ts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/accepts value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/any-of value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/atom/derived value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/atom/formula value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/atom/ledger value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/atom/locks-are-targets value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/atom/states-not-actions value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/atom/verdict value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/attainable value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/bit-loss value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/blocks value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/boolean value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/chains value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/closure value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/coherence value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/complexity value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/debits value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/declaration value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/decline value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/degenerate value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/drift value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/effective value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/encounter value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/entails value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/field value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/field-uses value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/fold value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/freedom value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/hypothesis value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/ideals value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/incidence value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/info/coarsen-fit value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/info/falsifier value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/info/observation-close value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/info/present-convergence value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/info/present-meet value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/info/sufficient-resolution value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/join value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/laws-as-folds value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/measure value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/meet value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/missing value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/premium value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/provenance value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/questions value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/reach value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/region value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/register value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/render value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/shuffle value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/signatures value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/slack value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/spectrum value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/states value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/states-per-step value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/supermodular value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/touches-holds value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/transitions value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/units-16 value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=alphabet measure=pass role=reads scope=vector/vacuity value=pass
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/anyOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/coarsen/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/composeState/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/conflictDebits/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/downset/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/entails/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/foldRegion/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/freedom/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/missing/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/size/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/sufficientResolution/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/unit/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/unitToIdeal/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/upset/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/chain/weakest/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/complement/and/no-samples value=8..8
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/complement/asBoolean/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/complement/bitLoss/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/complement/canonical/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/complement/opinion/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/amplitude/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/budget/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/cell/no-samples value=5..5
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/choose/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/coherence/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/contracts/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/converge/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/coordinate/no-samples value=12..12
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/covers/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/decohere/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/disagree/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/distinct/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/disturbance/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/encounter/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/endsBeforeNow/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/evolve/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/exclusive/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/foldIn/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/fringes/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/interfere/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/join/no-samples value=5..5
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/key/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/latest/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/meet/no-samples value=4..4
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/meetAt/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/observe/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/origins/no-samples value=16..16
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/passes/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/phase/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/play/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/point/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/potential/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/present/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/refine/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/region/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/resolution/no-samples value=8..8
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/sameObject/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/seenAs/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/selfFold/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/sign/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/turned/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/within/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/field/witnessesIn/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/galois/alphabets/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/galois/relate/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/closureViolationsIn/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/complexity/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/dangerous/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/fromIdeals/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/holds/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/idealComplexity/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/idealDebit/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/idealEntails/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/idealJoin/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/idealMeet/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/isDistributive/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/isDownset/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/isIdealPair/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/isUpset/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/moved/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/packer/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/permitAll/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/quadrants/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/rebuild/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/register/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/runQuadrants/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/state/no-samples value=5..5
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/stateAt/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/statesPerDebit/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/table/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/touches/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/transitions/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/unitComplexity/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/ideal/widen/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/alphabetForm/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/foldSigned/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/latticeForm/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/meetViolationsIn/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/posetViolationsIn/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/replay/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/subsets/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/lattice/violationsIn/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/agreements/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/apart/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/area/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/buildGraph/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/centre/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/compose/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/continuousForm/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/curvature/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/density/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/design/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/distance/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/entangled/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/fromScale/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/fuse/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/grow/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/horizon/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/horizonTotal/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/hull/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/intervals/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/ladderForm/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/lone/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/loom/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/neighbours/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/or/no-samples value=4..4
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/outliers/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/pour/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/rank/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/reach/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/reachIds/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/red/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/residual/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/resting/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/sited/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/steady/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/stretch/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/sufficient/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/tense/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/tighter/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/tunnel/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/vertices/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/product/width/no-samples value=3..3
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/quotient/answers/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/quotient/outranks/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/quotient/permutationBlind/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/quotient/permute/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/quotient/retracted/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/quotient/verified/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/spectrum/attainable/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/spectrum/c_n/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/spectrum/classifyValue/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/spectrum/meetBlocks/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/spectrum/spectrum/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/asUnit/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/best/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/chain/no-samples value=5..5
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/collapses/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/conj/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/costOfState/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/declaration/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/declarationOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/defect/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/degenerate/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/disj/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/dropTo/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/frontier/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/gap/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/height/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/isMonotone/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/isSupermodular/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/movesOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/order/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/premium/no-samples value=2..2
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/premiumOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/price/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/pricesAnything/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/registerOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/slack/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/stateOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/unitOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/unitStream/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/vacuityOf/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/withdrawsExactly/no-samples value=1..1
+bound-lock/1 at=place:sha256:8d54815aae1571870b1b28e5d1d19e294ba37cdabde76cba829950895eb20eb2 by=reader:f75ceb058c05 form=interval measure=count role=reads scope=offers/valuation/yieldOf/no-samples value=2..2
+bound-lock/1 at=receipt:sha256:e5440ac0f119dc6aa934921e52ded754a7d49396fc5726824d28cdd47bbbabbf by=judge form=alphabet measure=status role=writes scope=audit/replay-is-the-proof value=present
+bound-lock/1 at=receipt:sha256:e5440ac0f119dc6aa934921e52ded754a7d49396fc5726824d28cdd47bbbabbf by=judge form=alphabet measure=cone role=writes scope=audit/replay-is-the-proof value=samples/yes/replay-folds-what-landed.json|src/replay.ts
+bound-lock/1 at=receipt:sha256:ababfccfcc987255cf85d87e7dca278a27a7d78aaa4ef9b73c62328b76a8dbcb by=judge form=alphabet measure=status role=writes scope=audit/laws-are-the-lock value=present
+bound-lock/1 at=receipt:sha256:ababfccfcc987255cf85d87e7dca278a27a7d78aaa4ef9b73c62328b76a8dbcb by=judge form=alphabet measure=cone role=writes scope=audit/laws-are-the-lock value=samples/no/laws-as-a-directory-of-scripts.json|samples/yes/laws-are-lines-of-the-lock.json
+bound-lock/1 at=receipt:sha256:2cc9fb634892f9ffc1cbd289d3d349f449e5f7bcab91665d41752eff26affeaf by=judge form=alphabet measure=status role=writes scope=audit/laws-are-obligations value=present
+bound-lock/1 at=receipt:sha256:2cc9fb634892f9ffc1cbd289d3d349f449e5f7bcab91665d41752eff26affeaf by=judge form=alphabet measure=cone role=writes scope=audit/laws-are-obligations value=src/laws/laws.bound
+bound-lock/1 at=receipt:sha256:66dd729ea5c06737c91a232eeed13bd5fe8e12ab61fff8b2c9c5dee25a9bbbff by=judge form=alphabet measure=status role=writes scope=audit/laws-are-obligations value=present
+bound-lock/1 at=receipt:sha256:66dd729ea5c06737c91a232eeed13bd5fe8e12ab61fff8b2c9c5dee25a9bbbff by=judge form=alphabet measure=cone role=writes scope=audit/laws-are-obligations value=vectors/info/coarsen-fit.json|vectors/info/falsifier.json|vectors/info/present-convergence.json|vectors/info/present-meet.json|vectors/info/sufficient-resolution.json
+bound-lock/1 at=receipt:sha256:392251a9179144856f60204ce7f08698bfdc07a2d307ca7764c4adcc78660eb6 by=judge form=alphabet measure=status role=writes scope=audit/offers-is-the-api value=present
+bound-lock/1 at=receipt:sha256:392251a9179144856f60204ce7f08698bfdc07a2d307ca7764c4adcc78660eb6 by=judge form=alphabet measure=cone role=writes scope=audit/offers-is-the-api value=offers.bound|samples/yes/A0-carrier.json|samples/yes/A1-encounter.json|samples/yes/A2-meet.json|samples/yes/A3-resolution.json|samples/yes/A4-epoch.json|samples/yes/A5-origin-is-extension.json|samples/yes/A6-vacuity.json|samples/yes/A7-freedom-conserved.json|samples/yes/A8-four-states.json|samples/yes/A9-everything-is-a-bound.json|samples/yes/C1-independence-is-distance.json|samples/yes/C3-bootstrap-once.json|samples/yes/D0-coordinate.json|samples/yes/D10-open-question.json|samples/yes/D3-state.json|samples/yes/D4-debit-in-bits.json|samples/yes/D8-present.json|samples/yes/D9-yield.json|samples/yes/H1-uncertainty.json|samples/yes/L00.json|samples/yes/L01.json|samples/yes/L20b.json|samples/yes/L22b.json|samples/yes/L22c.json|samples/yes/L33.json|samples/yes/T1-only-verdict-bits-travel.json|samples/yes/T10-drift.json|samples/yes/T11-size-is-questions.json|samples/yes/T12-reliability-is-encounter-rate.json|samples/yes/T13-c_n.json|samples/yes/T16-encounter-inequality.json|samples/yes/T18-freedom-is-a-currency.json|samples/yes/T19-signatures-fold.json|samples/yes/T2-coordinate-where-disagree.json|samples/yes/T20-age-is-encounters.json|samples/yes/T21-reading-is-an-origin.json|samples/yes/T22-fold-is-superposition.json|samples/yes/T23-domain-has-a-spectrum.json|samples/yes/T24-ignorance-has-coordinates.json|samples/yes/T25-rules-earn-their-place.json|samples/yes/T26-knowing-has-four-states.json|samples/yes/T27-disagreement-can-be-provoked.json|samples/yes/T5-coarsen-widens.json|samples/yes/T6-present-converges.json|samples/yes/T7-sufficient-resolution.json|samples/yes/T9-self-application.json|samples/yes/every-law-is-one-loop.json|samples/yes/field-uses-price-and-debit.json|samples/yes/lem-identity.json|samples/yes/lem-join.json|samples/yes/lem-meet.json|samples/yes/lem-merge.json|samples/yes/lem-phi.json|samples/yes/prop-additive.json|samples/yes/prop-cmi.json|samples/yes/prop-dep.json|samples/yes/thm-dep.json|samples/yes/thm-extremal.json|samples/yes/thm-local.json|samples/yes/thm-mi.json|samples/yes/thm-ratio.json|samples/yes/thm-witness.json|samples/yes/three-theories-one-algebra.json|src/lattice/arith.ts|src/lattice/atom/forms.ts|src/lattice/forms.ts|src/lattice/index.ts|src/lattice/vacuity.ts|vectors/accepts.json|vectors/atom/card-pack.json|vectors/atom/coverage.json|vectors/atom/derived.json|vectors/atom/formula.json|vectors/atom/generators.json|vectors/atom/ledger.json|vectors/atom/locks-are-targets.json|vectors/atom/states-not-actions.json|vectors/atom/vector-origin.json|vectors/atom/verdict.json|vectors/drift.json|vectors/encounter.json|vectors/field-uses.json|vectors/field.json|vectors/fold.json|vectors/freedom.json|vectors/info/observation-close.json|vectors/join.json|vectors/laws-as-folds.json|vectors/meet.json|vectors/questions.json|vectors/region.json|vectors/render.json|vectors/signatures.json
+bound-lock/1 at=receipt:sha256:e5d82eee0a1132e60ae742a53195cf31fd8b884a5c260d378350bcf9d667b515 by=judge form=alphabet measure=status role=writes scope=docs/why value=present
+bound-lock/1 at=receipt:sha256:e5d82eee0a1132e60ae742a53195cf31fd8b884a5c260d378350bcf9d667b515 by=judge form=alphabet measure=cone role=writes scope=docs/why value=docs/why.md
+bound-lock/1 at=receipt:sha256:67583eebf40aa3a3064640673a93ae75f5d66e1bc3612ba21bf4a0f05e917d8d by=judge form=alphabet measure=status role=writes scope=algebra-is-closed value=present
+bound-lock/1 at=receipt:sha256:67583eebf40aa3a3064640673a93ae75f5d66e1bc3612ba21bf4a0f05e917d8d by=judge form=alphabet measure=cone role=writes scope=algebra-is-closed value=src/lattice/index.ts
+bound-lock/1 at=receipt:sha256:af99aae0c18621993df6c3949f5847a7e74d59ca00bd3f3bf37b6a5fe978878b by=judge form=alphabet measure=status role=writes scope=field-uses-price-and-debit value=present
+bound-lock/1 at=receipt:sha256:af99aae0c18621993df6c3949f5847a7e74d59ca00bd3f3bf37b6a5fe978878b by=judge form=alphabet measure=cone role=writes scope=field-uses-price-and-debit value=src/field/motion.ts
+bound-lock/1 at=cone:bc757956211d2370144a3d6a4f1e36bd9d74bf7f46e06dae879db18f08504acf by=judge form=alphabet measure=status role=writes scope=replay-folds-what-landed value=present
+bound-lock/1 at=cone:bc757956211d2370144a3d6a4f1e36bd9d74bf7f46e06dae879db18f08504acf by=judge form=alphabet measure=cone role=writes scope=replay-folds-what-landed value=samples/yes/replay-folds-what-landed.json|src/replay.ts
+bound-lock/1 at=cone:69558f853ab6c11e508b5e9d6d4712e8d8877504efbe824c645c6d76c21b735a by=judge form=alphabet measure=status role=writes scope=three-theories-one-algebra value=present
+bound-lock/1 at=cone:69558f853ab6c11e508b5e9d6d4712e8d8877504efbe824c645c6d76c21b735a by=judge form=alphabet measure=cone role=writes scope=three-theories-one-algebra value=samples/yes/three-theories-one-algebra.json|src/lattice/index.ts
+bound-lock/1 at=receipt:sha256:64077d59c8f50b72a7f271e8cbc4f6266f5d47b8617fcc9f15ffebd7cb56fe78 by=judge form=alphabet measure=status role=writes scope=docs/why value=present
+bound-lock/1 at=receipt:sha256:64077d59c8f50b72a7f271e8cbc4f6266f5d47b8617fcc9f15ffebd7cb56fe78 by=judge form=alphabet measure=cone role=writes scope=docs/why value=docs/why.md
+bound-lock/1 at=receipt:sha256:fd4ec4c1854d3ab5a2ba24aa550e928c96858715b015ef13a03b5be4a0fbbb72 by=judge form=alphabet measure=status role=writes scope=docs/why value=present
+bound-lock/1 at=receipt:sha256:fd4ec4c1854d3ab5a2ba24aa550e928c96858715b015ef13a03b5be4a0fbbb72 by=judge form=alphabet measure=cone role=writes scope=docs/why value=docs/why.md
+bound-lock/1 at=receipt:sha256:e52fac75df26a90b6a00bc10bf41c4caf65253a216b6dc0eb52c501ca7615dca by=judge form=alphabet measure=status role=writes scope=audit/forms-carry-generators value=present
+bound-lock/1 at=receipt:sha256:e52fac75df26a90b6a00bc10bf41c4caf65253a216b6dc0eb52c501ca7615dca by=judge form=alphabet measure=cone role=writes scope=audit/forms-carry-generators value=src/lattice/forms.ts|vectors/forms.json
+bound-lock/1 at=place:sha256:c43d4cc0c2d74f51e501976969a96b2c2753e4fffd05d8cfe36b4d8f8f5118a3 by=verify epoch=1 form=alphabet measure=status restsOn=sha256:c43d4cc0c2d74f51e501976969a96b2c2753e4fffd05d8cfe36b4d8f8f5118a3 role=writes scope=verify/target sig="ed25519:era1:8rVlOrEyNNrC9PO31qZxPd9AjMzt5qnuAlEEXj9jWs7xTdKtnQ565K6iKDWQ1A/pFfXBnXVSkyhDkRlCpYBfCw==" value=agrees