@lapxo/bound 0.1.8 → 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +56 -20
- package/TARGET.bound +70 -27
- package/assets/wasm/guest.js +4 -0
- package/assets/wasm/manifest.json +27 -0
- package/assets/wasm/runtime.js +6 -0
- package/assets/wasm/runtime.wasm +0 -0
- package/dist/cli/accept.js +83 -59
- package/dist/cli/act-result.d.ts +9 -0
- package/dist/cli/act-result.js +68 -13
- package/dist/cli/args.d.ts +1 -0
- package/dist/cli/args.js +5 -2
- package/dist/cli/custodian.d.ts +1 -0
- package/dist/cli/custodian.js +29 -0
- package/dist/cli/native-descendant.d.ts +1 -0
- package/dist/cli/native-descendant.js +19 -0
- package/dist/cli/native.d.ts +1 -0
- package/dist/cli/native.js +60 -0
- package/dist/cli/observe.js +9 -2
- package/dist/cli/pass.js +9 -4
- package/dist/cli/place.d.ts +2 -0
- package/dist/cli/place.js +7 -4
- package/dist/cli/standing-result.js +7 -26
- package/dist/cli/verb.js +65 -9
- package/dist/engine/index.d.ts +11 -0
- package/dist/engine/index.js +9 -0
- package/dist/engine/object.d.ts +17 -0
- package/dist/engine/object.js +38 -0
- package/dist/fold/admission-history.js +2 -2
- package/dist/fold/claims.d.ts +4 -0
- package/dist/fold/claims.js +23 -3
- package/dist/fold/closed.d.ts +1 -1
- package/dist/fold/closed.js +36 -7
- package/dist/fold/digests.d.ts +1 -1
- package/dist/fold/digests.js +6 -4
- package/dist/fold/evidence.d.ts +1 -1
- package/dist/fold/kept.js +2 -1
- package/dist/fold/object.d.ts +3 -17
- package/dist/fold/object.js +2 -38
- package/dist/fold/observed.d.ts +1 -0
- package/dist/fold/observed.js +54 -9
- package/dist/fold/readers.d.ts +4 -3
- package/dist/fold/readers.js +18 -13
- package/dist/fold/resolved.js +12 -2
- package/dist/fold/signers.js +2 -2
- package/dist/host/adapters/modules/javascript.d.ts +2 -0
- package/dist/host/adapters/modules/javascript.js +8 -6
- package/dist/host/admitted-place.d.ts +5 -0
- package/dist/host/admitted-place.js +57 -0
- package/dist/host/capsule-process.d.ts +1 -1
- package/dist/host/capsule-process.js +4 -1
- package/dist/host/capsule.d.ts +4 -0
- package/dist/host/capsule.js +16 -2
- package/dist/host/cell-receipts.js +1 -1
- package/dist/host/contextual-place.d.ts +59 -0
- package/dist/host/contextual-place.js +77 -0
- package/dist/host/hash.d.ts +7 -0
- package/dist/host/hash.js +6 -0
- package/dist/host/io.d.ts +2 -0
- package/dist/host/io.js +2 -0
- package/dist/host/lifetime.js +61 -22
- package/dist/host/native/bounded-file.d.ts +8 -0
- package/dist/host/native/bounded-file.js +32 -0
- package/dist/host/native/command.d.ts +36 -0
- package/dist/host/native/command.js +91 -0
- package/dist/host/native/control-bridge-worker.d.ts +1 -0
- package/dist/host/native/control-bridge-worker.js +88 -0
- package/dist/host/native/control-bridge.d.ts +30 -0
- package/dist/host/native/control-bridge.js +110 -0
- package/dist/host/native/control-selection.d.ts +29 -0
- package/dist/host/native/control-selection.js +32 -0
- package/dist/host/native/custody.d.ts +5 -0
- package/dist/host/native/custody.js +91 -0
- package/dist/host/native/deadline.d.ts +12 -0
- package/dist/host/native/deadline.js +28 -0
- package/dist/host/native/descendants.d.ts +1 -0
- package/dist/host/native/descendants.js +528 -0
- package/dist/host/native/generated-custodian.d.ts +122 -0
- package/dist/host/native/generated-custodian.js +267 -0
- package/dist/host/native/generated.d.ts +217 -0
- package/dist/host/native/generated.js +379 -0
- package/dist/host/native/image.d.ts +36 -0
- package/dist/host/native/image.js +45 -0
- package/dist/host/native/jobs.d.ts +75 -0
- package/dist/host/native/jobs.js +148 -0
- package/dist/host/native/loader.d.ts +80 -0
- package/dist/host/native/loader.js +269 -0
- package/dist/host/native/materialize.d.ts +22 -0
- package/dist/host/native/materialize.js +175 -0
- package/dist/host/native/module-closure.d.ts +27 -0
- package/dist/host/native/module-closure.js +99 -0
- package/dist/host/native/module-syntax.d.ts +8 -0
- package/dist/host/native/module-syntax.js +63 -0
- package/dist/host/native/native-binary.d.ts +54 -0
- package/dist/host/native/native-binary.js +115 -0
- package/dist/host/native/native-program.d.ts +56 -0
- package/dist/host/native/native-program.js +72 -0
- package/dist/host/native/node-jobs.d.ts +84 -0
- package/dist/host/native/node-jobs.js +187 -0
- package/dist/host/native/node-launch.d.ts +72 -0
- package/dist/host/native/node-launch.js +159 -0
- package/dist/host/native/preload.d.ts +1 -0
- package/dist/host/native/preload.js +45 -0
- package/dist/host/native/reading.d.ts +91 -0
- package/dist/host/native/reading.js +249 -0
- package/dist/host/native/receipt-environment.d.ts +3 -0
- package/dist/host/native/receipt-environment.js +41 -0
- package/dist/host/native/references.d.ts +5 -0
- package/dist/host/native/references.js +30 -0
- package/dist/host/native/root.d.ts +17 -0
- package/dist/host/native/root.js +37 -0
- package/dist/host/native/route.d.ts +66 -0
- package/dist/host/native/route.js +216 -0
- package/dist/host/native/runtime.d.ts +4 -0
- package/dist/host/native/runtime.js +9 -0
- package/dist/host/native-reader-context.d.ts +3 -0
- package/dist/host/native-reader-context.js +8 -0
- package/dist/host/objects.d.ts +2 -1
- package/dist/host/objects.js +24 -4
- package/dist/host/place-clock-selection.d.ts +55 -0
- package/dist/host/place-clock-selection.js +124 -0
- package/dist/host/ports/local-act.d.ts +10 -0
- package/dist/host/ports/local-act.js +78 -6
- package/dist/host/ports/place-act.d.ts +46 -0
- package/dist/host/ports/place-act.js +169 -0
- package/dist/host/process-lifetime.js +8 -3
- package/dist/host/provide.d.ts +25 -0
- package/dist/host/provide.js +115 -13
- package/dist/host/reading-closures.d.ts +17 -1
- package/dist/host/reading-closures.js +98 -18
- package/dist/host/reading-context.d.ts +29 -0
- package/dist/host/reading-context.js +53 -0
- package/dist/host/reference-authenticated.d.ts +28 -0
- package/dist/host/reference-authenticated.js +84 -0
- package/dist/host/reference-native.d.ts +10 -0
- package/dist/host/reference-native.js +50 -0
- package/dist/host/reference-profile.d.ts +23 -0
- package/dist/host/reference-profile.js +62 -0
- package/dist/host/reference.d.ts +6 -0
- package/dist/host/reference.js +24 -0
- package/dist/host/root-clock-source.d.ts +85 -0
- package/dist/host/root-clock-source.js +305 -0
- package/dist/host/selected-capsules.js +3 -2
- package/dist/host/selected-topos.d.ts +1 -1
- package/dist/host/selected-topos.js +9 -1
- package/dist/land/act.d.ts +26 -0
- package/dist/land/act.js +96 -3
- package/dist/land/ledger.d.ts +4 -0
- package/dist/land/ledger.js +20 -2
- package/dist/observe/regions.d.ts +4 -0
- package/dist/observe/regions.js +109 -1
- package/dist/observe/runner.d.ts +4 -0
- package/dist/observe/runner.js +9 -2
- package/dist/wasm/adapter.d.ts +51 -0
- package/dist/wasm/adapter.js +180 -0
- package/dist/wasm/node-worker.d.ts +1 -0
- package/dist/wasm/node-worker.js +13 -0
- package/dist/wasm/object.d.ts +8 -0
- package/dist/wasm/object.js +76 -0
- package/dist/wasm/worker.d.ts +1 -0
- package/dist/wasm/worker.js +7 -0
- package/docs/contracts/authenticated-reference.publication.json +25 -0
- package/docs/contracts/cli.md +13 -0
- package/docs/contracts/engine-object-projection.publication.json +25 -0
- package/docs/contracts/engine.md +39 -0
- package/docs/contracts/native-publication.inventory.json +8 -0
- package/docs/contracts/optional-wasm-adapter.publication.json +25 -0
- package/docs/contracts/publication-additions.inventory.json +8 -0
- package/docs/contracts/reference-port.md +33 -0
- package/docs/contracts/reference-port.publication.json +25 -0
- package/licenses/wasm/bound.txt +21 -0
- package/licenses/wasm/fast-text-encoding.txt +201 -0
- package/licenses/wasm/jitl-quickjs-ffi-types.txt +21 -0
- package/licenses/wasm/jitl-quickjs-wasmfile-release-sync.txt +47 -0
- package/licenses/wasm/obligations.txt +21 -0
- package/licenses/wasm/quickjs-emscripten-core.txt +21 -0
- package/licenses/wasm/topos.txt +21 -0
- package/package.json +94 -4
- package/receipts.bound +7672 -573
- package/samples/authenticated-reference/no.json +31 -0
- package/samples/authenticated-reference/yes/editorial-state/TARGET.bound +57 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/arrival.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/coverage.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/era.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/order.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/signature.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/transport.arrival.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/transport.coverage.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/transport.era.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/transport.order.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/transport.signature.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json +1 -0
- package/samples/authenticated-reference/yes/editorial-state/inputs/yes.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/TARGET.bound +57 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/arrival.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/coverage.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/era.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/order.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/signature.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/transport.arrival.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/transport.coverage.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/transport.era.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/transport.order.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/transport.signature.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json +1 -0
- package/samples/authenticated-reference/yes/weather-reading/inputs/yes.json +1 -0
- package/samples/authenticated-reference/yes.json +19 -0
- package/samples/engine-alphabet/TARGET.bound +29 -0
- package/samples/engine-alphabet/inputs/sample.json +323 -0
- package/samples/engine-alphabet/package.json +1 -0
- package/samples/engine-alphabet/reader.js +1457 -0
- package/samples/engine-alphabet/receipts.bound +12 -0
- package/samples/engine-interval/TARGET.bound +29 -0
- package/samples/engine-interval/inputs/sample.json +277 -0
- package/samples/engine-interval/package.json +1 -0
- package/samples/engine-interval/reader.js +1457 -0
- package/samples/engine-interval/receipts.bound +12 -0
- package/samples/no/engine-order/TARGET.bound +29 -0
- package/samples/no/engine-order/inputs/sample.json +277 -0
- package/samples/no/engine-order/package.json +1 -0
- package/samples/no/engine-order/reader.js +1457 -0
- package/samples/reference-port/no/catalog/standing.json +1 -0
- package/samples/reference-port/no/catalog/transport.json +1 -0
- package/samples/reference-port/no/route-notes/standing.json +1 -0
- package/samples/reference-port/no/route-notes/transport.json +1 -0
- package/samples/reference-port/yes/catalog/TARGET.bound +33 -0
- package/samples/reference-port/yes/catalog/standing.json +1 -0
- package/samples/reference-port/yes/catalog/transport.json +1 -0
- package/samples/reference-port/yes/route-notes/TARGET.bound +33 -0
- package/samples/reference-port/yes/route-notes/standing.json +1 -0
- package/samples/reference-port/yes/route-notes/transport.json +1 -0
- package/samples/wasm/editorial-notes/TARGET.bound +65 -0
- package/samples/wasm/editorial-notes/esm.bound +59 -0
- package/samples/wasm/editorial-notes/no-deadline.bound +65 -0
- package/samples/wasm/editorial-notes/no-memory.bound +65 -0
- package/samples/wasm/editorial-notes/no-missing-limit.bound +64 -0
- package/samples/wasm/editorial-notes/receipts.bound +1 -0
- package/samples/wasm/water-level/TARGET.bound +65 -0
- package/samples/wasm/water-level/esm.bound +59 -0
- package/samples/wasm/water-level/no-deadline.bound +65 -0
- package/samples/wasm/water-level/no-memory.bound +65 -0
- package/samples/wasm/water-level/no-missing-limit.bound +64 -0
- package/samples/wasm/water-level/receipts.bound +1 -0
- package/vectors/engine-object.cli.json +548 -0
- package/vectors/native/authenticated-reference-formation.vector.json +53 -0
- package/vectors/native/authenticated-reference.cli.json +157 -0
- package/vectors/native/authenticated-reference.vector.json +440 -0
- package/vectors/reference-port.cli.json +688 -0
- package/vectors/wasm-object.cli.json +452 -0
|
@@ -0,0 +1,323 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "alphabet",
|
|
3
|
+
"pin": "sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28",
|
|
4
|
+
"history": [
|
|
5
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/device sig=\"ed25519:sample:Awlmj9Hxg1Evpc3fj/rsp5g0SGG1a/d9aKFid5iPd8xRyNemG4MlGXMzs/H41oGmgHVK/ZTb2fLun1LVH58jDA==\" value=authorize",
|
|
6
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=coverage role=writes scope=keys/device sig=\"ed25519:sample:xY7HB4FPj9pwYz2EnGjLVLapxHypphYcN2PhJ0U4mEMHZprzkeGHDbYN1Fn+bZxk3qMpTTJRwIeNpx7seNAxDg==\" value=*",
|
|
7
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=public-key role=writes scope=keys/device sig=\"ed25519:sample:eQJVnU+49tDvYziEXg51fE9cUSoSYHj/2CBvzA7GhY6kupba3R8pLGA/saedeyTgV4a9WQWNZpCux1hfQiwSCQ==\" value=\"MCowBQYDK2VwAyEAgvEztLpB288vOqHOUS1OFEsFIOX1Xk34EeixkF1QOCY=\"",
|
|
8
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=signer role=writes scope=keys/device sig=\"ed25519:sample:Z4Zn8q+o38WffQ3aufCK9hoK7BbWRK2IlN7SafRYZLiIw4kW+1e/mROnKwEEdStB/DxpIciuZOzXCCSAWVUiDw==\" value=file",
|
|
9
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/reader sig=\"ed25519:sample:qVYrvZvxudkreHLRrNJVm8PPg+1xjSbpO/1hiPySPM5763PX5woQl+svOHLT0FCbBetL+UZyBzMCTplYHpORCw==\" value=read",
|
|
10
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=class role=writes scope=keys/folder sig=\"ed25519:sample:+nUtPgIzMd+cqjhFfhhCsTJNHcl1GdaLCnltJ2cJ/0fHxGFzv7ixc+3tm9kRpmssopUBgfWIJL1cpDJUGgw3CQ==\" value=fold",
|
|
11
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=milliseconds role=writes scope=signer/timeout sig=\"ed25519:sample:hh5Rbe2RkOm+U4ykv1mnKPUmbd1uI+XRzbM3LEaklUkedtODvXip8DdNwmcmZnQm6LC0Ma6rQIPCJBc7Y+0vDw==\" value=5000..5000",
|
|
12
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=interval measure=bytes role=writes scope=signer/response-bytes sig=\"ed25519:sample:wVTN44SxWS+LMZTdyCCSRiNqo4A6q+t6GwiZg54EcTizyGh/xPl79aWEP4xU6Q08LFvRsI9vspPx7AtlEIZ0CA==\" value=65536..65536",
|
|
13
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/digest-algorithms sig=\"ed25519:sample:4dSuP38A8ijbmJFuWG5Bjg0efHJXNkvribriUxGRHiC12FxpNZJjhCtXPXivKLGdTkmL3bsrfVa/FJ6apSA4DA==\" value=sha256",
|
|
14
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/signature-algorithms sig=\"ed25519:sample:aOrG372ZpUYYRT/zkN68JLjaflr/L/FxNRJgOl7znhBQzfGmL799jiGZJsTvFuy/THaBXX9UPQVAxYNbGaxRBQ==\" value=ed25519:sample",
|
|
15
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/era sig=\"ed25519:sample:n+LlEPo1aoxsQ1T748OkvKqt9oUudaH3KcXFzCC+ZlsfK+p0jl8BwUDlZTPM8iAMWtnlChV9h+I/pI7Qe6XmBA==\" value=sample",
|
|
16
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/families sig=\"ed25519:sample:H3nrSQQgt+ARnF+QaH4bkDCBqZc0OjVEwOjZ8a24c2bgIAn1gvz8ZaHxYcou+d2RqtHcWYbsVayM7r/ux0QxDw==\" value=B|C|D|G|keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|evidence|uses",
|
|
17
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/forms sig=\"ed25519:sample:DAS/jN52u3X6R505ktUC8gP4GhDUm9D2WAkweAYrpZIc89WOuh7R7RqGDdOmG5cbQh6qYIbfViV3z7TMgp7HDg==\" value=alphabet|interval",
|
|
18
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/roles sig=\"ed25519:sample:EsKliCDrnbiLg40cD5Z8NCD0hf+dCbJScdKkXKpGfB7WX+9o9X1r7FGnyvThHKw2gBqLZPXxqmEZd/D7R7+hCA==\" value=reads|writes|demands",
|
|
19
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/at-classes sig=\"ed25519:sample:7y1FZuuli+k7dE7YHrfyIFzjMibDpJsncQR71DnQYEBjzkctNvs/IksYn0iZvsw0GP2HR+e4VeHF1sncb53vBg==\" value=origin|place|receipt|witness|policy",
|
|
20
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/receipt-inputs sig=\"ed25519:sample:AozxH5GTqUYByPmnXVoH9dAdCO2bp0XryUZ73vlz49FCNA3bZpayB02Ep5cSqjE0M1PfiE4JqEGLNpBQWdY7Aw==\" value=semantic-live@1",
|
|
21
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=writes scope=wire/region-measures sig=\"ed25519:sample:hIfZ0WuXLWohMBpGxedqDD+y+GZXty5qtIkuPf/j0WWXglBbGNv4nYHRID/Fg80gkSbV8PK1b+9FkQVgnKAtDg==\" value=coordinates|leaves",
|
|
22
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=id role=demands scope=view/cells sig=\"ed25519:sample:POpC6KoAQxL4jBpzrbRuvUIiOfvBp26/EUFgTwxSMx6+jUAx5ka5pGO4SrB3Wv+otJISdr8paWCgE7fmHOopDw==\" value=cells@1",
|
|
23
|
+
"bound-lock/1 at=policy:sample by=device epoch=1 form=alphabet measure=digest role=writes scope=uses/sample sig=\"ed25519:sample:rKAShWfLYhr3vzcHYkoj0LFZt940MOZZGP5fF7gEAN9BJ8ZcYwDAOmw7OABIkQqnqQPeS4aNEGbiQvBJ/L+XAg==\" value=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28",
|
|
24
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/fields sig=\"ed25519:sample:FmG/ydVvEDq57oeifc5j0/Ugjl3lPuKqJneomK2JnkNFIHytO3Ys3gfPSgsw3T2kiACvgf2z75lg+zd2KHgJBA==\" value=about|at|by|condition|epoch|form|id|kind|measure|needs|origin|params|pole|reach|restsOn|role|scope|shape|sig|sign|takes|topos|type|value|view|widens",
|
|
25
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/required sig=\"ed25519:sample:iKPami4QlOoQt4Kwa3WPcWYmcq/RzsAHOnDnpMuOp+NFn/BGg/VzIoaGwRsDf9iWSHjw/CToXD9GWn2Z3ammCw==\" value=at|by|form|measure|role|scope|value",
|
|
26
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/types sig=\"ed25519:sample:kIOP8nfnDdVed2iqrnI18TCQmLNnQzoeA5bx0OZ7pDrKBXcmNcbRsJYyICKOh38ny1zcyaSZh11gDYGiXL6YCw==\" value=cell|claim|mark",
|
|
27
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/common sig=\"ed25519:sample:DYvaH7E4yNiuQQFFsySxN+hFFJJ7y4c3TtTEWbRh/Bru10YyEnBAGS3UezY9OjR5frIbeBYR/bXk3FVBQl8FDw==\" value=by|epoch|id|scope|sig|type",
|
|
28
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/reserved sig=\"ed25519:sample:YaedQv7lVljDe+C4ebnAhJoOh5HbsaIve9wzd/MnAZF0VIfnmUPrwhGxHM3VQfY2n5s/FSRje4/eBZqFyR98Cw==\" value=id|origin|params|pole|reach|sign|takes|topos|type|widens",
|
|
29
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/config sig=\"ed25519:sample:6VNSI9JqE836rDhoOAPMMhY3we8N2WF5Ya4a0NGDm23/mKKjccAa2K3vkWX3O3uA5CNVUZnR5VCNwXc8GSZSCg==\" value=about|at|by|condition|epoch|form|kind|measure|needs|restsOn|role|scope|shape|sig|value|view",
|
|
30
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/cell sig=\"ed25519:sample:sJC4eJ/fPQdCKPpOTBcaX+TPWrZhiYAy1Z/Qa3IOoKzq61diWbIewYniPmGB/NexTomSOfKwmAnhYNDII+crAQ==\" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type",
|
|
31
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/cell sig=\"ed25519:sample:9m9TbuduF2S0cyLHwcb41yeS40C5omfN3HLJMsi8IXFrmuUWq2CY0qHsjdgOtgvsQms/5ndDKaKc+L/qD5UNAQ==\" value=by|epoch|form|id|measure|params|restsOn|scope|sig|topos|type",
|
|
32
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/positive sig=\"ed25519:sample:D2AncAt2XvIUJEcw2r4h/mt+Lb6of7l/fG0jgzUhmY72i2V0kqrqg9imYAmdlMg02bJBCxNv5syllZv2uzb/Cw==\" value=by|epoch|id|origin|scope|sig|sign|type|value",
|
|
33
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/positive sig=\"ed25519:sample:ip1Zg8LmCIRcaUsseKK8xFr8/R/+hfGRl3SkZToV6UksOJNe95944+BuI5HKAGMFQlty0nZoZZdwPjZF0ZBpAA==\" value=by|epoch|id|origin|scope|sig|sign|type|value",
|
|
34
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/claim/negative sig=\"ed25519:sample:HSf2m3PYqE0uhC3HOw25Bsp+JmkG+OAmAMwGSS05yNfk9uwYsNmSxmE/ovkWnsB7qoTN1G5mI2vUw/W99+TEAw==\" value=by|epoch|id|scope|sig|sign|takes|type",
|
|
35
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/claim/negative sig=\"ed25519:sample:rws/YsDaKORlEMEplLPZPpGhiwqWCqcmh+W3HCUpVcpPkjvWRQILEDcngBojzL9T1H1rmi+ihAwez/+dhPzFBA==\" value=by|epoch|id|scope|sig|sign|takes|type",
|
|
36
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/travelling sig=\"ed25519:sample:Io1Rx7SuFH4SbhUloyhFIrdAz9k+4ouPCC98i3F0kXHrmAK2GMR4Dcz7SRKyR2totrHRaDYWPG5R/1/BJAZ5DQ==\" value=by|epoch|id|pole|reach|scope|sig|sign|type|value",
|
|
37
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/travelling sig=\"ed25519:sample:OVmLGhuRAb1Fo2HDTV9fsoBNk1a7zT7n0VyVAtZTI9hlkXo9t+crXwpiAiq0F2q3a6N1PNt8HQh3PasAcjjHDQ==\" value=by|epoch|id|pole|reach|scope|sig|sign|type|value",
|
|
38
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/local sig=\"ed25519:sample:9Dpv/qaHntZYmdC76LxZT4tkvbNc9gBvUf1RHb3k7fHjM2ftPHrxm0es45G80iUAfG7vRA7kE5wgq7ZTBBuACw==\" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens",
|
|
39
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/local sig=\"ed25519:sample:AmLgK2dMWt0SpbtAoek+V0l4bdwXQOj2U2aiOgL2vFygmvDPL1Q8jeNYfmFPD3FIST8n0cizBoKmPrObQmw9DQ==\" value=by|epoch|id|pole|reach|scope|sig|sign|type|value|widens",
|
|
40
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/floor-travelling sig=\"ed25519:sample:x5QppqfGI4qF9CkkWYNLtynAPYMeeLHRWixTTz/8MFRM8/0rmj87GLeHdGpgkqrVU6gKV+RDVexeChYSQ+r5Aw==\" value=by|epoch|id|pole|reach|scope|sig|sign|type|value",
|
|
41
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/floor-travelling sig=\"ed25519:sample:vMC1yMHSKcRt2sIOEvu1VE8w+SZGICPj1HtlPFPwG1qVfWbo8OmiT/uYf2dt7rKR5+J9z7Wa5gDtj6dlBulxAA==\" value=by|epoch|id|pole|reach|scope|sig|sign|type|value",
|
|
42
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/required/mark/negative sig=\"ed25519:sample:QE9ABtb+G9y85jt2m7UUo8hCUdNdrNpBVLuspZWTeoB0Ej52r+cY/1yGqK14tJ4glSMNd2JsbfB8ZpaBIi5fAw==\" value=by|epoch|id|scope|sig|sign|takes|type",
|
|
43
|
+
"bound-lock/1 at=policy:topos/fold by=device epoch=1 form=alphabet measure=id role=reads scope=wire/object/allowed/mark/negative sig=\"ed25519:sample:Vu4dsbUszuwmm7UKe6b2Byg1MimvB3IuI72JVdrE025+vbSwNBDwFz/eGfp1x7SPrjmHfj8wOQzcH1YKv4M8Dw==\" value=by|epoch|id|scope|sig|sign|takes|type",
|
|
44
|
+
"bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/ana sig=\"ed25519:sample:2rJw4jPD7AilzQzOdKkRpTVJspJZvyd1UwlXAhgv458r16W4NHijH/BdGB9cVn5d7Y+u07iw95adZsTDr5+uCg==\" value=ana",
|
|
45
|
+
"bound-lock/1 at=policy:sample by=device condition=C epoch=1 form=alphabet measure=id role=writes scope=evidence/origin/luis sig=\"ed25519:sample:kVOej25IS+5i69Qu71lgO0EsL/ZdlTro7tW/neC1WCw5tAf1hsT2E6+DnAN+hH6ZVYhQAYQ2OnaoUJIA0sR6DQ==\" value=luis",
|
|
46
|
+
"bound-lock/1 at=policy:sample by=device condition=B epoch=1 form=alphabet measure=id role=writes scope=evidence/witness/local-opening sig=\"ed25519:sample:OTVF5eiooQPRc7XH/9G6rGOOX7EVRAC2Y7YW8jhEGrHWsBvvSB5IpJqb7PtCPdakoPDOqewm3Ugxm/R7/Pf3Bg==\" value=local-opening",
|
|
47
|
+
"bound-lock/1 by=device epoch=2 form=alphabet id=def-B measure=artifact params=\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\" restsOn=none scope=B sig=\"ed25519:sample:1Sbiy6HrZGDaN/0anPUcGy6IqqVLdCBnToo6S5kxDcSPwJGz+Tx+Z6JBs9/8ls/3TjgYjiG8lo3+aMF9Ql0aAg==\" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell",
|
|
48
|
+
"bound-lock/1 by=device epoch=2 form=alphabet id=def-C measure=artifact params=\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\" restsOn=B scope=C sig=\"ed25519:sample:gjI3EwxEcdUuBnDq02kQ4gn47pYJniy62gCNZz8rzn+8lOw5rOikT7wfkmRII4RntojTTzIlN2DEY/8ty/XEBw==\" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell",
|
|
49
|
+
"bound-lock/1 by=device epoch=2 form=alphabet id=def-G measure=artifact params=\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\" restsOn=C scope=G sig=\"ed25519:sample:EbSKgsbqCgH2yXxZVk++sxBRZjIeU5Q+V8uwiDfdenQ1diq7nn3NNupZQowNwbbijsTbreb9hMVkLPBcXKaLDQ==\" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell",
|
|
50
|
+
"bound-lock/1 by=device epoch=2 form=alphabet id=def-D measure=artifact params=\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\" restsOn=none scope=D sig=\"ed25519:sample:sk6645xwRNZM13ybqn13xojxFm86j+PzlwmNo5IIPX4b9oXoSjXl+wQMnwU5IXlY244HvT11jPVsHlCD/HwTAw==\" topos=sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28 type=cell",
|
|
51
|
+
"bound-lock/1 by=device epoch=3 id=s-B pole=ceiling reach=travels scope=B sig=\"ed25519:sample:eZI4pHaa87UYMJbvnhy+0KAHsukqN+NyyjwprOA8JsVEIzGyYw0/E0d4BcJbuqjs6ciJCA7XdAUrhsMs5r8OCA==\" sign=+1 type=mark value=lock|readme",
|
|
52
|
+
"bound-lock/1 by=device epoch=4 id=j-B pole=ceiling reach=local scope=B sig=\"ed25519:sample:NF7LXLljUZfy5maTVs4tzIQi88KRDeoPSUzgmUKBflvtaQedsvSGpUFPl7fCOAqGcN1JquZmLy8xCR0SaI6nCw==\" sign=+1 type=mark value=lock|readme|source widens=local-opening",
|
|
53
|
+
"bound-lock/1 by=device epoch=5 id=r-B pole=floor reach=travels scope=B sig=\"ed25519:sample:tyvpsBpbVNwcr9GDf8zSKT4NseVxOTVS9rI/1mm3yL0ApdgFBQpMJQcTuXKvOIwTEGNGzbyyQo152lYtGRPrCQ==\" sign=+1 type=mark value=lock",
|
|
54
|
+
"bound-lock/1 by=device epoch=6 id=c-C origin=ana scope=C sig=\"ed25519:sample:Pqk+dSjj+PM2t+PsMbup7jPLHYM3lM4sJwe9hWH8cYKU+0rpcCc+QRL1dCjYJD+yJjcspTFzsvif4hbKmwanCA==\" sign=+1 type=claim value=lock|readme",
|
|
55
|
+
"bound-lock/1 by=device epoch=7 id=c-L origin=luis scope=C sig=\"ed25519:sample:mldZsVhykAOWuPeoFJ0wXjKhU84LkPjt1UXcJxI3IKboG+WvahxmVasaGXHpo8310Be7gT/mbSB2qjbSu38UBg==\" sign=+1 type=claim value=lock",
|
|
56
|
+
"bound-lock/1 by=device epoch=8 id=disagreement origin=ana scope=C sig=\"ed25519:sample:1dup6T1QrnYskUP442+I3rPMqwBw/ZMq8sETMZHHln/AGLP9kt2j53mAgTBGq94uy1FBmo+/Zs5ArPWMYX6QCQ==\" sign=+1 type=claim value=readme",
|
|
57
|
+
"bound-lock/1 by=device epoch=9 id=withdraw-disagreement scope=C sig=\"ed25519:sample:QqbbaLtGei1L90papzdmQPODN0741ajFXc7zOFpGJbGllFqpIDOR+fHd7dJBhuOXm683GJCO0mqGWiCsNYvKBQ==\" sign=-1 takes=disagreement type=claim",
|
|
58
|
+
"bound-lock/1 by=device epoch=10 id=withdraw-c-C scope=C sig=\"ed25519:sample:QtRFXHw8+waSnnkQNgBWWmqfPMgxjeDD04pvZW89yfGYgsJBEd2YLNf5z6t3ks3AUeeWBbyjSvLLFTcr6VpMBQ==\" sign=-1 takes=c-C type=claim",
|
|
59
|
+
"bound-lock/1 by=device epoch=11 id=withdraw-c-L scope=C sig=\"ed25519:sample:TV5/s+RtGsdFC6AAtpNEXIN+aLfelSFRBboChykb5/yFrhMggMUMuHx1rpa0nDJcMVPndnLc+0CfVF99r6r6AA==\" sign=-1 takes=c-L type=claim",
|
|
60
|
+
"bound-lock/1 by=device epoch=12 id=outside-a origin=ana scope=C sig=\"ed25519:sample:6G7GtdlxnkHeppzrkyMGRe5vhQyG2FmdFUnGkmI60vdQWJxVV21QM0Zui5+ZCDn8HLvxrOnzGj4kxB6bQ+aXBg==\" sign=+1 type=claim value=source",
|
|
61
|
+
"bound-lock/1 by=device epoch=13 id=outside-b origin=luis scope=C sig=\"ed25519:sample:mUmGZCsCw9Vu+DdjVqtCgmTR+8m15ZbCVyfA4zHWG2CpRSHonCDK7wWlaSpIOBgkbNWUzV8lr61eNcJiiyxIBw==\" sign=+1 type=claim value=source",
|
|
62
|
+
"bound-lock/1 by=device epoch=14 id=incompatible-floor pole=floor reach=travels scope=G sig=\"ed25519:sample:fg1grFhXbGj7AxxkgDZbzd+6gPo3L6VQeYPBoXEV3Q3QY7lY3a2NGpeAz6BZZQSZF0EMRKaYlwP7YOD9Bwl3Bg==\" sign=+1 type=mark value=source",
|
|
63
|
+
"bound-lock/1 by=device epoch=15 id=withdraw-j scope=B sig=\"ed25519:sample:lbemLrA6hcjW5fZ5Nh2gn5Oy04NbzCjXAmAfDAuwKo2GWL/Jp6+g7Hmomcbh0SXnQYVeIAkMfoP8zkVfipmwAg==\" sign=-1 takes=j-B type=mark"
|
|
64
|
+
],
|
|
65
|
+
"expected": [
|
|
66
|
+
{
|
|
67
|
+
"cell": "B",
|
|
68
|
+
"state": "REQUIRED",
|
|
69
|
+
"parts": {
|
|
70
|
+
"floor": {
|
|
71
|
+
"words": {
|
|
72
|
+
"0": 1
|
|
73
|
+
},
|
|
74
|
+
"width": 3
|
|
75
|
+
},
|
|
76
|
+
"ceiling": {
|
|
77
|
+
"words": {
|
|
78
|
+
"0": 3
|
|
79
|
+
},
|
|
80
|
+
"width": 3
|
|
81
|
+
},
|
|
82
|
+
"origins": [],
|
|
83
|
+
"rest": [],
|
|
84
|
+
"required": {
|
|
85
|
+
"words": {
|
|
86
|
+
"0": 1
|
|
87
|
+
},
|
|
88
|
+
"width": 3
|
|
89
|
+
},
|
|
90
|
+
"signed": {
|
|
91
|
+
"words": {
|
|
92
|
+
"0": 3
|
|
93
|
+
},
|
|
94
|
+
"width": 3
|
|
95
|
+
}
|
|
96
|
+
},
|
|
97
|
+
"rest": [],
|
|
98
|
+
"ownMarks": [
|
|
99
|
+
"s-B",
|
|
100
|
+
"r-B"
|
|
101
|
+
],
|
|
102
|
+
"ownClaims": [],
|
|
103
|
+
"marks": [
|
|
104
|
+
{
|
|
105
|
+
"pole": "ceiling",
|
|
106
|
+
"reach": "travels",
|
|
107
|
+
"span": {
|
|
108
|
+
"words": {
|
|
109
|
+
"0": 3
|
|
110
|
+
},
|
|
111
|
+
"width": 3
|
|
112
|
+
},
|
|
113
|
+
"id": "s-B",
|
|
114
|
+
"at": 3
|
|
115
|
+
},
|
|
116
|
+
{
|
|
117
|
+
"pole": "floor",
|
|
118
|
+
"reach": "travels",
|
|
119
|
+
"span": {
|
|
120
|
+
"words": {
|
|
121
|
+
"0": 1
|
|
122
|
+
},
|
|
123
|
+
"width": 3
|
|
124
|
+
},
|
|
125
|
+
"id": "r-B",
|
|
126
|
+
"at": 5
|
|
127
|
+
}
|
|
128
|
+
],
|
|
129
|
+
"claims": []
|
|
130
|
+
},
|
|
131
|
+
{
|
|
132
|
+
"cell": "C",
|
|
133
|
+
"state": "FORBIDDEN",
|
|
134
|
+
"parts": {
|
|
135
|
+
"floor": {
|
|
136
|
+
"words": {
|
|
137
|
+
"0": 0
|
|
138
|
+
},
|
|
139
|
+
"width": 3
|
|
140
|
+
},
|
|
141
|
+
"ceiling": {
|
|
142
|
+
"words": {
|
|
143
|
+
"0": 0
|
|
144
|
+
},
|
|
145
|
+
"width": 3
|
|
146
|
+
},
|
|
147
|
+
"origins": [
|
|
148
|
+
{
|
|
149
|
+
"id": "outside-a",
|
|
150
|
+
"at": 12,
|
|
151
|
+
"origin": "ana",
|
|
152
|
+
"span": {
|
|
153
|
+
"words": {
|
|
154
|
+
"0": 4
|
|
155
|
+
},
|
|
156
|
+
"width": 3
|
|
157
|
+
}
|
|
158
|
+
},
|
|
159
|
+
{
|
|
160
|
+
"id": "outside-b",
|
|
161
|
+
"at": 13,
|
|
162
|
+
"origin": "luis",
|
|
163
|
+
"span": {
|
|
164
|
+
"words": {
|
|
165
|
+
"0": 4
|
|
166
|
+
},
|
|
167
|
+
"width": 3
|
|
168
|
+
}
|
|
169
|
+
}
|
|
170
|
+
],
|
|
171
|
+
"rest": [
|
|
172
|
+
"B"
|
|
173
|
+
],
|
|
174
|
+
"required": {
|
|
175
|
+
"words": {
|
|
176
|
+
"0": 1
|
|
177
|
+
},
|
|
178
|
+
"width": 3
|
|
179
|
+
},
|
|
180
|
+
"signed": {
|
|
181
|
+
"words": {
|
|
182
|
+
"0": 3
|
|
183
|
+
},
|
|
184
|
+
"width": 3
|
|
185
|
+
}
|
|
186
|
+
},
|
|
187
|
+
"rest": [
|
|
188
|
+
"B"
|
|
189
|
+
],
|
|
190
|
+
"ownMarks": [],
|
|
191
|
+
"ownClaims": [
|
|
192
|
+
{
|
|
193
|
+
"id": "outside-a",
|
|
194
|
+
"origin": "ana"
|
|
195
|
+
},
|
|
196
|
+
{
|
|
197
|
+
"id": "outside-b",
|
|
198
|
+
"origin": "luis"
|
|
199
|
+
}
|
|
200
|
+
],
|
|
201
|
+
"marks": [],
|
|
202
|
+
"claims": [
|
|
203
|
+
{
|
|
204
|
+
"id": "outside-a",
|
|
205
|
+
"at": 12,
|
|
206
|
+
"origin": "ana",
|
|
207
|
+
"span": {
|
|
208
|
+
"words": {
|
|
209
|
+
"0": 4
|
|
210
|
+
},
|
|
211
|
+
"width": 3
|
|
212
|
+
}
|
|
213
|
+
},
|
|
214
|
+
{
|
|
215
|
+
"id": "outside-b",
|
|
216
|
+
"at": 13,
|
|
217
|
+
"origin": "luis",
|
|
218
|
+
"span": {
|
|
219
|
+
"words": {
|
|
220
|
+
"0": 4
|
|
221
|
+
},
|
|
222
|
+
"width": 3
|
|
223
|
+
}
|
|
224
|
+
}
|
|
225
|
+
]
|
|
226
|
+
},
|
|
227
|
+
{
|
|
228
|
+
"cell": "G",
|
|
229
|
+
"state": "CONFLICT",
|
|
230
|
+
"parts": {
|
|
231
|
+
"floor": {
|
|
232
|
+
"words": {
|
|
233
|
+
"0": 0
|
|
234
|
+
},
|
|
235
|
+
"width": 3
|
|
236
|
+
},
|
|
237
|
+
"ceiling": {
|
|
238
|
+
"words": {
|
|
239
|
+
"0": 3
|
|
240
|
+
},
|
|
241
|
+
"width": 3
|
|
242
|
+
},
|
|
243
|
+
"origins": [],
|
|
244
|
+
"rest": [
|
|
245
|
+
"C",
|
|
246
|
+
"B"
|
|
247
|
+
],
|
|
248
|
+
"required": {
|
|
249
|
+
"words": {
|
|
250
|
+
"0": 0
|
|
251
|
+
},
|
|
252
|
+
"width": 3
|
|
253
|
+
},
|
|
254
|
+
"signed": {
|
|
255
|
+
"words": {
|
|
256
|
+
"0": 3
|
|
257
|
+
},
|
|
258
|
+
"width": 3
|
|
259
|
+
}
|
|
260
|
+
},
|
|
261
|
+
"rest": [
|
|
262
|
+
"C",
|
|
263
|
+
"B"
|
|
264
|
+
],
|
|
265
|
+
"ownMarks": [
|
|
266
|
+
"incompatible-floor"
|
|
267
|
+
],
|
|
268
|
+
"ownClaims": [],
|
|
269
|
+
"marks": [
|
|
270
|
+
{
|
|
271
|
+
"pole": "floor",
|
|
272
|
+
"reach": "travels",
|
|
273
|
+
"span": {
|
|
274
|
+
"words": {
|
|
275
|
+
"0": 4
|
|
276
|
+
},
|
|
277
|
+
"width": 3
|
|
278
|
+
},
|
|
279
|
+
"id": "incompatible-floor",
|
|
280
|
+
"at": 14
|
|
281
|
+
}
|
|
282
|
+
],
|
|
283
|
+
"claims": []
|
|
284
|
+
},
|
|
285
|
+
{
|
|
286
|
+
"cell": "D",
|
|
287
|
+
"state": "REQUIRED",
|
|
288
|
+
"parts": {
|
|
289
|
+
"floor": {
|
|
290
|
+
"words": {
|
|
291
|
+
"0": 7
|
|
292
|
+
},
|
|
293
|
+
"width": 3
|
|
294
|
+
},
|
|
295
|
+
"ceiling": {
|
|
296
|
+
"words": {
|
|
297
|
+
"0": 7
|
|
298
|
+
},
|
|
299
|
+
"width": 3
|
|
300
|
+
},
|
|
301
|
+
"origins": [],
|
|
302
|
+
"rest": [],
|
|
303
|
+
"required": {
|
|
304
|
+
"words": {
|
|
305
|
+
"0": 7
|
|
306
|
+
},
|
|
307
|
+
"width": 3
|
|
308
|
+
},
|
|
309
|
+
"signed": {
|
|
310
|
+
"words": {
|
|
311
|
+
"0": 7
|
|
312
|
+
},
|
|
313
|
+
"width": 3
|
|
314
|
+
}
|
|
315
|
+
},
|
|
316
|
+
"rest": [],
|
|
317
|
+
"ownMarks": [],
|
|
318
|
+
"ownClaims": [],
|
|
319
|
+
"marks": [],
|
|
320
|
+
"claims": []
|
|
321
|
+
}
|
|
322
|
+
]
|
|
323
|
+
}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"type":"module","private":true}
|