@lapxo/bound 0.1.1 → 0.1.3

package/dist/host/selected-topos.js

@@ -1,3 +1,4 @@
+import { ContentNeeded } from "./content-needed.js";
 import { createHash } from 'node:crypto';
 import { readStanding } from '@lapxo/topos/standing';
 import { parse, wireAt } from '@lapxo/topos/wire';
@@ -5,13 +6,9 @@ import { fieldOf } from "../fold/claims.js";
 import { blobAt } from "../land/ledger.js";
 import { observeFile } from "../observe/files.js";
 import { ownStore, ownLock } from "../observe/runner.js";
-import { replaceWhole } from "../land/ledger.js";
-import { join } from 'node:path';
 /** Resolve content using the instrument wire's admitted digest algorithms. No transport interpretation. */
 export function toposAt(digest) {
     const topos = readStanding(Buffer.from(contentAt(digest)).toString('utf8'));
-    for (const dependency of topos.dependencies)
-        contentAt(dependency);
     return topos;
 }
 export function contentAt(digest) {
@@ -27,7 +24,7 @@ export function contentAt(digest) {
             throw Error(`REFUSE·pin ${name} digest is not admitted`);
         const bytes = observeFile(blobAt(ownStore(), name));
         if (bytes === undefined)
-            throw Error(`REFUSE·pin ${name} content unavailable · not laid`);
+            throw new ContentNeeded(name);
         if (createHash(algorithm).update(bytes).digest('hex') !== hex)
             throw Error(`REFUSE·pin ${name} content hash mismatch · not laid`);
         return bytes;
@@ -36,12 +33,10 @@ export function contentAt(digest) {
 }
 /** A declared JS context offer uses this host adapter only after selection; execution is not selection. */
 export function contextModuleAt(digest) {
-    const bytes = contentAt(digest);
-    const at = join(ownStore(), 'cas', 'runtime', digest.replace(':', '_') + '.mjs');
-    replaceWhole(at, bytes);
-    return at;
+    contentAt(digest);
+    return blobAt(ownStore(), digest);
 }
-/** Selection verifies the standing and its directly declared closure. It does not request any capability. */
+/** Selection verifies standing identity. Requested capabilities verify their artifact bytes separately. */
 export function selectedTopoi(pins, resolve = toposAt) {
     return [...new Set(pins.map(pin => fieldOf(pin, 'value')))].map(digest => ({ digest, topos: resolve(digest) }));
 }

package/dist/host/source-content.d.ts

@@ -5,6 +5,8 @@ export interface ContentPort {
     readonly fetch: (url: string) => Promise<Uint8Array>;
 }
 /** Transport uses declared locations; only the requested digest admits bytes into the cache. */
-export declare function resolveSelectedContent(lines: readonly string[], port: ContentPort): Promise<readonly string[]>;
+export declare function resolveSelectedContent(lines: readonly string[], port: ContentPort, requested: readonly string[]): Promise<readonly string[]>;
 /** Exact resource URLs; no repository checkout or inferred release. */
-export declare function resolveSources(standing: readonly string[]): Promise<void>;
+export declare function resolveSources(standing: readonly string[], requested: readonly string[]): Promise<void>;
+/** A changed verified store is the only reason to retry. A repeated miss never loops or changes a named pin. */
+export declare function resolveRequested<T>(resolve: (digest: string) => Promise<void>, fold: () => Promise<T>): Promise<T>;

package/dist/host/source-content.js

@@ -1,11 +1,11 @@
+import { ContentNeeded } from "./content-needed.js";
 import { createHash } from 'node:crypto';
-import { readStanding } from '@lapxo/topos/standing';
 import { parse, wireAt } from '@lapxo/topos/wire';
 import { blobAt, landBlob } from "../land/ledger.js";
 import { observeFile } from "../observe/files.js";
 import { ownLock, ownStore } from "../observe/runner.js";
 /** Transport uses declared locations; only the requested digest admits bytes into the cache. */
-export async function resolveSelectedContent(lines, port) {
+export async function resolveSelectedContent(lines, port, requested) {
     const fields = lines.flatMap(line => { const p = parse(line); return p.kind === 'fact' && p.value.fields.value !== 'withdraw' ? [p.value.fields] : []; });
     const selectionIndex = (scope) => { const match = /(^|\/)uses\//.exec(scope); return match === null ? -1 : match.index + match[1].length; };
     // A dependency constraint is not a content binding. Historical artifact records
@@ -21,7 +21,6 @@ export async function resolveSelectedContent(lines, port) {
         if (urls.length)
             locations.set(binding.value ?? '', [...new Set([...(locations.get(binding.value ?? '') ?? []), ...urls])]);
     }
-    const roots = [...new Set(bindings.filter(f => selectionIndex(f.scope ?? '') >= 0).map(f => f.value ?? ''))];
     const received = [];
     const validate = (digest) => {
         const split = digest.indexOf(':');
@@ -30,9 +29,6 @@ export async function resolveSelectedContent(lines, port) {
             throw Error(`REFUSE·pin ${digest} digest is not admitted`);
         return { algorithm, hex };
     };
-    // Refuse malformed declared selections before materializing any dependency.
-    for (const binding of bindings)
-        validate(binding.value ?? '');
     const ensure = async (digest) => {
         const { algorithm, hex } = validate(digest);
         const verify = (bytes) => {
@@ -66,22 +62,24 @@ export async function resolveSelectedContent(lines, port) {
         }
         throw Error(`REFUSE·source ${digest} ${last instanceof Error ? last.message : 'declared sources unavailable'}`);
     };
-    for (const digest of new Set(bindings.filter(f => f.scope?.startsWith('dep/') && f.role === 'reads').map(f => f.value ?? '')))
+    for (const digest of new Set(requested))
         await ensure(digest);
-    for (const digest of roots) {
-        const topos = readStanding(Buffer.from(await ensure(digest)).toString('utf8'));
-        for (const dependency of topos.dependencies)
-            await ensure(dependency);
-    }
     return received;
 }
 /** Exact resource URLs; no repository checkout or inferred release. */
-export async function resolveSources(standing) {
+export async function resolveSources(standing, requested) {
     const instrument = ownLock().flatMap(line => { const p = parse(line); return p.kind === 'fact' ? [p.value.fields] : []; });
     const wire = wireAt(instrument, Number.MAX_SAFE_INTEGER);
     if (wire === null)
         throw Error('REFUSE·pin instrument has no admitted wire');
-    const received = await resolveSelectedContent([...standing, ...ownLock().filter(line => { const p = parse(line); return p.kind === 'fact' && (p.value.fields.scope?.startsWith('dep/') || p.value.fields.scope?.startsWith('sources/')); })], {
+    const bindings = ownLock().filter(line => {
+        const p = parse(line);
+        if (p.kind !== 'fact')
+            return false;
+        const fields = p.value.fields;
+        return fields.scope?.startsWith('sources/') || fields.scope?.startsWith('dep/');
+    });
+    const received = await resolveSelectedContent([...standing, ...bindings], {
         algorithms: wire.digests,
         read: digest => observeFile(blobAt(ownStore(), digest)),
         write: (digest, bytes) => { landBlob(ownStore(), digest, bytes); },
@@ -91,7 +89,22 @@ export async function resolveSources(standing) {
                 throw Error(`HTTP ${response.status}`);
             return new Uint8Array(await response.arrayBuffer());
         },
-    });
+    }, requested);
     for (const digest of received)
         process.stdout.write(`FETCHED  ${digest} · verified\n`);
 }
+/** A changed verified store is the only reason to retry. A repeated miss never loops or changes a named pin. */
+export async function resolveRequested(resolve, fold) {
+    const attempted = new Set();
+    for (;;) {
+        try {
+            return await fold();
+        }
+        catch (error) {
+            if (!(error instanceof ContentNeeded) || attempted.has(error.digest))
+                throw error;
+            attempted.add(error.digest);
+            await resolve(error.digest);
+        }
+    }
+}

package/dist/land/leaving.js

@@ -1,3 +1,5 @@
+import { readOnly } from "../host/read-only.js";
+import { meets } from "../fold/closed.js";
 import { fieldOf } from "../fold/claims.js";
 import { sourced } from "./vouched.js";
 import { observedClaims } from "../fold/observed.js";
@@ -14,6 +16,8 @@ export function coordinatesWithdrawn(root, store, signed, standing) {
         .map((line) => fieldOf(line, 'scope').slice(family.length + 1));
     if (!asked.length)
         return { taken: [], refused: [] };
+    if (readOnly() && !meets(root, store, ''))
+        throw Error('REFUSE·withdraw current native receipts are required to judge file removal; fold the declared inputs first');
     /** A run rewrites every block of a test file under one observation, so a block whose title moved still holds a row
      * from an older one: what reads a file now is what the latest run of each test file wrote, and nothing older. */
     const memo = observedClaims(root, store, { wait: false }).filter((line) => fieldOf(line, 'measure') === 'memo');

package/dist/land/ledger.js

@@ -1,3 +1,4 @@
+import { requireEffects } from "../host/read-only.js";
 import { appendFileSync, closeSync, dirname, existsSync, join, linkSync, mkdirSync, openSync, readFileSync, readSync, renameSync, rmSync, statSync, writeFileSync } from "../host/io.js";
 import { storeRoot } from "../host/ports/store.js";
 import { canonical, EXTENSION, PROTOCOL } from '@lapxo/topos/wire';
@@ -81,6 +82,7 @@ function landWhole(at, bytes) {
 }
 /** A file replaced whole: the bytes land in a temp beside it and the name moves in one rename, so a killed write keeps the temp, never a torn file under the name a later read parses. */
 export function replaceWhole(at, bytes) {
+    requireEffects('persistent replacement');
     mkdirSync(dirname(at), { recursive: true });
     const part = `${at}.${process.pid}.part`;
     writeFileSync(part, bytes);
@@ -124,6 +126,7 @@ export function landMemo(store, key, bytes) {
 }
 export const landEnvelope = (store, digest, bytes) => landWhole(storeAt(store, 'cas', 'envelopes', `${digest.slice(digest.indexOf(':') + 1)}.json`), bytes);
 export function land(store, writer, lines) {
+    requireEffects('ledger admission');
     const at = writerFile(store, writer);
     return { at, appended: appendNew(at, lines) };
 }

package/dist/observe/regions.js

@@ -1,5 +1,5 @@
 import { selectedCapsules } from "../host/selected-capsules.js";
-import { selectionLines } from "../fold/reach.js";
+import { selectionLines, projectionLines } from "../fold/reach.js";
 export { selectionLines } from "../fold/reach.js";
 import { createHash } from 'node:crypto';
 import { basename, dirname, join, relative } from 'node:path';
@@ -23,11 +23,11 @@ import { coordinatesUnder, observeText } from "./files.js";
 import { ownLock } from "./runner.js";
 import { nameOf } from "../render/page.js";
 import { placeLines, takenFor } from "../fold/place-inputs.js";
+import { isRegionDeclaration } from "../fold/region-declarations.js";
 const fact = (scope, value, form = 'alphabet', measure = 'fact') => canonical({ scope, role: 'writes', form, measure, value, by: 'fold', at: 'place:fold' });
 const described = (local = []) => {
     const lock = ownLock();
-    const measures = ['lines', 'receipts', 'reads', wordOn(lock, 'region-coordinate', lock), wordOn(lock, 'region-leaf', lock)];
-    const eligible = (line) => fieldOf(line, 'scope').startsWith('region/') && measures.includes(fieldOf(line, 'measure')) && fieldOf(line, 'value') !== 'withdraw';
+    const eligible = (line) => isRegionDeclaration(line, lock);
     const key = (line) => `${fieldOf(line, 'scope')} ${fieldOf(line, 'measure')}`;
     const supplied = local.filter(eligible);
     const overridden = new Set(supplied.map(key));
@@ -125,7 +125,7 @@ export function capsulesOf(fold) {
     const cached = heldCapsules.get(fold);
     if (cached !== undefined)
         return cached;
-    const got = selectedCapsules(selectionLines(fold)).map(one => one.capsule);
+    const got = selectedCapsules(selectionLines(fold), undefined, undefined, projectionLines(fold)).map(one => one.capsule);
     heldCapsules.set(fold, got);
     return got;
 }

package/dist/observe/run.js

@@ -30,5 +30,9 @@ export function runReader(module, root, inputs) {
         throw new Error(`${module}: reader exited ${ran.status ?? `with signal ${ran.signal}`}\n${ran.stderr ?? ''}${ran.stdout ?? ''}`);
     if (ran.stderr)
         process.stderr.write(ran.stderr);
-    return responsesOf(ran.stdout ?? '', inputs.length).map((answer) => (answer.claims ?? []));
+    return responsesOf(ran.stdout ?? '', inputs.length).map((answer) => {
+        if (answer.kind !== 'fact')
+            throw new Error(`REFUSE·reader ${module} · ${answer.why ?? 'no reading answered'}`);
+        return (answer.claims ?? []);
+    });
 }

package/dist/render/view.js

@@ -166,7 +166,8 @@ export function prerender(fold, views) {
     capsuleViews(fold, due.map((view) => ({ asking: view.regions.filter((asked) => REGIONS[asked.name] === undefined), shape: view.shape })));
 }
 export function viewOf(fold, view) {
-    const live = !view.shape;
+    // Native receipts project current file bytes, not only the cached fold's observations.
+    const live = !view.shape || view.regions.some(asked => asked.name === 'receipts');
     const kept = !live && fold.key ? keptRender(fold.store, fold.key, view.name) : undefined;
     if (kept !== undefined)
         return kept;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lapxo/bound",
-  "version": "0.1.1",
+  "version": "0.1.3",
   "type": "module",
   "description": "Read the bounds you already wrote, fold them, and name the contradictions.",
   "main": "dist/cli/verb.js",

package/receipts.bound

@@ -1,92 +1,94 @@
-bound-lock/1 at=place:sha256:7c1117301f0b1ea3623a7e6ee08299c42d99d17337d90e0c24738cd2d4743700 by=reader:2c507e7fe764 form=alphabet measure=observed role=writes scope=./ value=7c1117301f0b1ea3
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=alphabet measure=observed role=writes scope= value=bc7f74f65fd8c012
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:bbff6b8fc616 form=alphabet measure=observed role=writes scope= value=cf63a02f966dd484
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=alphabet measure=observed role=writes scope= value=cf63a02f966dd484
-bound-lock/1 at=place:sha256:7c1117301f0b1ea3623a7e6ee08299c42d99d17337d90e0c24738cd2d4743700 by=reader:2c507e7fe764 form=interval measure=unreceipted role=reads scope=door/unreceipted value=0..0
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/duplicate/src value=none
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/host value=none
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/key value=none
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/org value=none
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/path value=none
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/host value=0..0
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/key value=0..0
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/org value=0..0
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/path value=0..0
-bound-lock/1 at=place:sha256:bc7f74f65fd8c012cf50082e552a00ad775dd697ca35ddbf7b0b7f4ef5247c78 by=reader:0f5306d0e183 form=interval measure=duplicate-bodies role=reads scope=duplicate/src value=0..0
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:bbff6b8fc616 form=alphabet measure=text role=reads scope=capture/help value="clean-checkout: verbs fold land sign · flags --as --check --key --key-file --signer --place\n"
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:bbff6b8fc616 form=alphabet measure=text role=reads scope=capture/meeting value="INPUT [[\"Ana\",10,14],[\"Luis\",12,16],[\"room\",10,13],[\"boss\",18,20]]\nMEET {\"lo\":12,\"hi\":13}\nCONFLICT boss\nWITHDRAW boss {\"lo\":12,\"hi\":13}\n"
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=cli-exit-closed role=reads scope=cli/exit/closed value=0..0
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=cli-exit-refuse role=reads scope=cli/exit/refuse value=1..1
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=cli-exit-usage role=reads scope=cli/exit/usage value=2..2
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=cli-flags role=reads scope=cli/flags value=6..6
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=count role=reads scope=idempotent value=0..0
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=count role=reads scope=nothing-deleted value=0..0
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=count role=reads scope=offline value=0..0
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=count role=reads scope=one-writer value=0..0
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=count role=reads scope=resolve-by-url value=0..0
-bound-lock/1 at=place:sha256:cf63a02f966dd4844eedeb6209ba969e84b83c9921e55901105e81460b352bf7 by=reader:c448c64e0bac form=interval measure=count role=reads scope=the-stranger value=0..0
-bound-lock/1 at=cone:4292d62653bf8b34ace44df7d63dd12682cce5eaea39c8512f48e147dca718e1 by=judge form=alphabet measure=id role=writes scope=view/citation-file value=cff
-bound-lock/1 at=cone:4292d62653bf8b34ace44df7d63dd12682cce5eaea39c8512f48e147dca718e1 by=judge form=alphabet measure=cone role=writes scope=view/citation-file value=CITATION.cff
-bound-lock/1 at=cone:ec781d88336155facc27fe7b493d2ed01688534446d44f400037a0f7385c9031 by=judge form=alphabet measure=id role=writes scope=view/explanation value=idea|what-holds|refuses
-bound-lock/1 at=cone:ec781d88336155facc27fe7b493d2ed01688534446d44f400037a0f7385c9031 by=judge form=alphabet measure=cone role=writes scope=view/explanation value=docs/why.md
-bound-lock/1 at=cone:d6a0e68127376ef71fe6c7b646b31765611cd14e0a65aa93f21908e4596cb80f by=judge form=alphabet measure=id role=writes scope=view/guide value=seq
-bound-lock/1 at=cone:d6a0e68127376ef71fe6c7b646b31765611cd14e0a65aa93f21908e4596cb80f by=judge form=alphabet measure=cone role=writes scope=view/guide value=docs/guide.md
-bound-lock/1 at=cone:067095e4453bdfa7289c8b77b509ec31a01ae659269fa58e5ce5bd044bb1f98f by=judge form=alphabet measure=id role=writes scope=view/manifest-render value=text@3
-bound-lock/1 at=cone:067095e4453bdfa7289c8b77b509ec31a01ae659269fa58e5ce5bd044bb1f98f by=judge form=alphabet measure=cone role=writes scope=view/manifest-render value=package.json
-bound-lock/1 at=cone:5c88adaa88cf2d08504c88d19da3a5d9ca79ab7daca95518d9148e8b999f017f by=judge form=alphabet measure=id role=writes scope=view/readme-historical value=hero@3|commands@3|idea@3|open@3
-bound-lock/1 at=cone:5c88adaa88cf2d08504c88d19da3a5d9ca79ab7daca95518d9148e8b999f017f by=judge form=alphabet measure=cone role=writes scope=view/readme-historical value=README.md
-bound-lock/1 at=cone:03b387412c2548f73e11625dd659bc326f28bbdd17528ce42986fb167ac39f18 by=judge form=alphabet measure=id role=writes scope=view/reference value=term|set|ref
-bound-lock/1 at=cone:03b387412c2548f73e11625dd659bc326f28bbdd17528ce42986fb167ac39f18 by=judge form=alphabet measure=cone role=writes scope=view/reference value=docs/reference.md
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:bbff6b8fc616 form=alphabet measure=observed role=writes scope= value=40cc23c552b08991
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=alphabet measure=observed role=writes scope= value=40cc23c552b08991
+bound-lock/1 at=place:sha256:9929aa53c804813ee66b4cc736b437fd1551dc65e5e5bd0cbcc7c683aa52a754 by=reader:2c507e7fe764 form=alphabet measure=observed role=writes scope=./ value=9929aa53c804813e
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=alphabet measure=observed role=writes scope= value=b699375c1400cd59
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:bbff6b8fc616 form=alphabet measure=text role=reads scope=capture/help value="closing: verbs fold land sign · flags --as --check --key --key-file --signer --place\n"
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:bbff6b8fc616 form=alphabet measure=text role=reads scope=capture/meeting value="INPUT [[\"Ana\",10,14],[\"Luis\",12,16],[\"room\",10,13],[\"boss\",18,20]]\nMEET {\"lo\":12,\"hi\":13}\nCONFLICT boss\nWITHDRAW boss {\"lo\":12,\"hi\":13}\n"
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=cli-exit-closed role=reads scope=cli/exit/closed value=0..0
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=cli-exit-refuse role=reads scope=cli/exit/refuse value=1..1
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=cli-exit-usage role=reads scope=cli/exit/usage value=2..2
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=cli-flags role=reads scope=cli/flags value=6..6
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=count role=reads scope=admission/one-boundary value=0..0
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=count role=reads scope=idempotent value=0..0
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=count role=reads scope=nothing-deleted value=0..0
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=count role=reads scope=offline value=0..0
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=count role=reads scope=one-writer value=0..0
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=count role=reads scope=resolve-by-url value=0..0
+bound-lock/1 at=place:sha256:40cc23c552b0899171f4a7cd1ad45972a4ae361b235637bc4d483bb2710f6243 by=reader:c448c64e0bac form=interval measure=count role=reads scope=the-stranger value=0..0
+bound-lock/1 at=place:sha256:9929aa53c804813ee66b4cc736b437fd1551dc65e5e5bd0cbcc7c683aa52a754 by=reader:2c507e7fe764 form=interval measure=unreceipted role=reads scope=door/unreceipted value=0..0
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/duplicate/src value=none
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/host value=none
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/key value=none
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/org value=none
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/path value=none
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/host value=0..0
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/key value=0..0
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/org value=0..0
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/path value=0..0
+bound-lock/1 at=place:sha256:b699375c1400cd59fd5befbd1e9529c8b0898adf29f810030ea9395ed4cc3b59 by=reader:0f5306d0e183 form=interval measure=duplicate-bodies role=reads scope=duplicate/src value=0..0
+bound-lock/1 at=cone:0abeb4d9e38dbbf12bf63c9e20e50b4066f7cae49b2a42a0b93e3ee6ea34aedb by=judge form=alphabet measure=status role=writes scope=law/a-fact-is-a-printed-line value=present
+bound-lock/1 at=cone:0abeb4d9e38dbbf12bf63c9e20e50b4066f7cae49b2a42a0b93e3ee6ea34aedb by=judge form=alphabet measure=cone role=writes scope=law/a-fact-is-a-printed-line value=samples/yes/a-fact-is-a-printed-line.json|samples/no/a-fact-is-a-printed-line.json
+bound-lock/1 at=cone:957f15a6bf76172db7ad6fc3ad985d3a2d29d53b0d7f26496278534a6b27eaa5 by=judge form=alphabet measure=status role=writes scope=law/a-refuse-plants value=present
+bound-lock/1 at=cone:957f15a6bf76172db7ad6fc3ad985d3a2d29d53b0d7f26496278534a6b27eaa5 by=judge form=alphabet measure=cone role=writes scope=law/a-refuse-plants value=samples/yes/a-refuse-plants.json|samples/no/a-refuse-plants.json
+bound-lock/1 at=cone:c4e8823785cb957bd016ff4f294f1fa5c89213b8cac249ffdc93b972288b8d48 by=judge form=alphabet measure=status role=writes scope=law/one-lot-one-place value=present
+bound-lock/1 at=cone:c4e8823785cb957bd016ff4f294f1fa5c89213b8cac249ffdc93b972288b8d48 by=judge form=alphabet measure=cone role=writes scope=law/one-lot-one-place value=samples/yes/one-lot-one-place.json|samples/no/one-lot-one-place.json
+bound-lock/1 at=cone:9b1915d477c82eba64f0b9a7928018db772788398ca8a13afd438831417ee43a by=judge form=alphabet measure=status role=writes scope=law/three-verbs value=present
+bound-lock/1 at=cone:9b1915d477c82eba64f0b9a7928018db772788398ca8a13afd438831417ee43a by=judge form=alphabet measure=cone role=writes scope=law/three-verbs value=samples/yes/three-verbs.json|samples/no/three-verbs.json
+bound-lock/1 at=cone:f4bf42894d608f16e39cb757609c9d0a82f50b31749b13599a4fc5ee303fcdf8 by=judge form=alphabet measure=status role=writes scope=law/verify-agrees value=present
+bound-lock/1 at=cone:f4bf42894d608f16e39cb757609c9d0a82f50b31749b13599a4fc5ee303fcdf8 by=judge form=alphabet measure=cone role=writes scope=law/verify-agrees value=samples/yes/verify-agrees.json|samples/no/verify-agrees.json
+bound-lock/1 at=cone:9cc03cfd962a5375f224deaed0024be40feb6d25911b6ba35dbb82ad1d9f4189 by=judge form=alphabet measure=id role=writes scope=view/citation-file value=cff
+bound-lock/1 at=cone:9cc03cfd962a5375f224deaed0024be40feb6d25911b6ba35dbb82ad1d9f4189 by=judge form=alphabet measure=cone role=writes scope=view/citation-file value=CITATION.cff
+bound-lock/1 at=cone:f12a6d5d3451cf44692317c7794d23b1664e1dc7ff731cfbd09729b55dcee42d by=judge form=alphabet measure=id role=writes scope=view/explanation value=idea|what-holds|refuses
+bound-lock/1 at=cone:f12a6d5d3451cf44692317c7794d23b1664e1dc7ff731cfbd09729b55dcee42d by=judge form=alphabet measure=cone role=writes scope=view/explanation value=docs/why.md
+bound-lock/1 at=cone:5af7aa019f81d75b150501e03cf4c96cce75f87d47ed0922c1f3179c14e5e67d by=judge form=alphabet measure=id role=writes scope=view/guide value=seq
+bound-lock/1 at=cone:5af7aa019f81d75b150501e03cf4c96cce75f87d47ed0922c1f3179c14e5e67d by=judge form=alphabet measure=cone role=writes scope=view/guide value=docs/guide.md
+bound-lock/1 at=cone:7b91bf0014d8100d1b61f5e6f791d8ae700ee401ebd864b7f38487166e38f125 by=judge form=alphabet measure=id role=writes scope=view/manifest-render value=text@3
+bound-lock/1 at=cone:7b91bf0014d8100d1b61f5e6f791d8ae700ee401ebd864b7f38487166e38f125 by=judge form=alphabet measure=cone role=writes scope=view/manifest-render value=package.json
+bound-lock/1 at=cone:9558058ec6009c2b79dc7eb25fa74d3798d7724e888fb8b85c5bbc07adc6cc7c by=judge form=alphabet measure=id role=writes scope=view/readme-historical value=hero@3|commands@3|idea@3
+bound-lock/1 at=cone:9558058ec6009c2b79dc7eb25fa74d3798d7724e888fb8b85c5bbc07adc6cc7c by=judge form=alphabet measure=cone role=writes scope=view/readme-historical value=README.md
+bound-lock/1 at=cone:73e5f49f2c68ae68297168be62142f4c0310322535b892de92e7b5b71cbbd798 by=judge form=alphabet measure=id role=writes scope=view/reference value=term|set|ref
+bound-lock/1 at=cone:73e5f49f2c68ae68297168be62142f4c0310322535b892de92e7b5b71cbbd798 by=judge form=alphabet measure=cone role=writes scope=view/reference value=docs/reference.md
 bound-lock/1 at=cone:83acd4200e0d85822ec7758f1425c8ece7e8ca0523660aa6bf2f17484642a79e by=judge form=alphabet measure=id role=writes scope=view/release-workflow-render value=text@3
 bound-lock/1 at=cone:83acd4200e0d85822ec7758f1425c8ece7e8ca0523660aa6bf2f17484642a79e by=judge form=alphabet measure=cone role=writes scope=view/release-workflow-render value=.github/workflows/release.yml
 bound-lock/1 at=cone:fd85558d34bab73004bfbaef02834284a34899a49d582069417ffb79be54e0a6 by=judge form=alphabet measure=id role=writes scope=view/usage-profile value=text@3
 bound-lock/1 at=cone:fd85558d34bab73004bfbaef02834284a34899a49d582069417ffb79be54e0a6 by=judge form=alphabet measure=cone role=writes scope=view/usage-profile value=docs/usage.md
-bound-lock/1 at=receipt:sha256:91fb702201feaa066f8b313957a0b48a65a1dab26154cbf38f2dcde06203c3b5 by=judge form=alphabet measure=status role=writes scope=law/a-refuse-plants value=present
-bound-lock/1 at=receipt:sha256:91fb702201feaa066f8b313957a0b48a65a1dab26154cbf38f2dcde06203c3b5 by=judge form=alphabet measure=cone role=writes scope=law/a-refuse-plants value=samples/no/a-refuse-plants.json|samples/yes/a-refuse-plants.json
-bound-lock/1 at=receipt:sha256:c5ff9ee255a2f5d34e1775b867e2de8bedcb8a010618465c466912e0b354c61d by=judge form=alphabet measure=status role=writes scope=law/a-fact-is-a-printed-line value=present
-bound-lock/1 at=receipt:sha256:c5ff9ee255a2f5d34e1775b867e2de8bedcb8a010618465c466912e0b354c61d by=judge form=alphabet measure=cone role=writes scope=law/a-fact-is-a-printed-line value=samples/no/a-fact-is-a-printed-line.json|samples/yes/a-fact-is-a-printed-line.json
-bound-lock/1 at=receipt:sha256:cdc30f156b5742558af939ed554215651f7f0cc5beef88424592973b7abc80f8 by=judge form=alphabet measure=status role=writes scope=law/verify-agrees value=present
-bound-lock/1 at=receipt:sha256:cdc30f156b5742558af939ed554215651f7f0cc5beef88424592973b7abc80f8 by=judge form=alphabet measure=cone role=writes scope=law/verify-agrees value=samples/no/verify-agrees.json|samples/yes/verify-agrees.json
-bound-lock/1 at=receipt:sha256:72109d540c9b48fd2ce4940f149a904bd11bb9f6ddf47b5896ef52907b65b17c by=judge form=alphabet measure=status role=writes scope=law/one-lot-one-place value=present
-bound-lock/1 at=receipt:sha256:72109d540c9b48fd2ce4940f149a904bd11bb9f6ddf47b5896ef52907b65b17c by=judge form=alphabet measure=cone role=writes scope=law/one-lot-one-place value=samples/no/one-lot-one-place.json|samples/yes/one-lot-one-place.json
-bound-lock/1 at=receipt:sha256:85dfabb6bfeefb75fa8aefc54ae0af616b94b49018715ac3161eb754c6cdd19a by=judge form=alphabet measure=status role=writes scope=law/three-verbs value=present
-bound-lock/1 at=receipt:sha256:85dfabb6bfeefb75fa8aefc54ae0af616b94b49018715ac3161eb754c6cdd19a by=judge form=alphabet measure=cone role=writes scope=law/three-verbs value=samples/no/three-verbs.json|samples/yes/three-verbs.json
-bound-lock/1 at=cone:5c88adaa88cf2d08504c88d19da3a5d9ca79ab7daca95518d9148e8b999f017f by=judge form=alphabet measure=id role=writes scope=view/readme-historical value=hero@3|commands@3|idea@3
-bound-lock/1 at=place:sha256:44ae5ba4c91d17e21fa68848a3795fedb40e2ae19a79d8c55960245d1d796c20 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:44ae5ba4c91d17e21fa68848a3795fedb40e2ae19a79d8c55960245d1d796c20
+bound-lock/1 at=place:sha256:e064b385010dae875b295ecf6956194ba021b9e52e6c2fc46a83dc68da3aec27 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:e064b385010dae875b295ecf6956194ba021b9e52e6c2fc46a83dc68da3aec27
 
-bound-lock/1 at=place:sha256:644cb7f0a301de95343d23dd9ea66ae91bb3d06f3e5b3b8ee31709fa3b4bc3b2 by=bound form=alphabet measure=digest role=writes scope=receipts value=sha256:04e8e3efff9ff65c7b93d8e5475ac19c1d196701838cf632192d1b1c45a70506
+bound-lock/1 at=place:sha256:e8c3217b254e3791bdbae6950cfba902eec02e2434823a780e977b257fcfb2a3 by=bound form=alphabet measure=digest role=writes scope=receipts value=sha256:008db755b44f5484c2ca4c710c2a7860861be233e84d830205449514e7e3b5a0
 
-bound-lock/1 at=place:sha256:94030da0d84a6c91e1d171285b10a63072b7a24d71b2e32748157f50ac85149c by=bound form=interval measure=count role=writes scope=receipts/ value=2..2
-bound-lock/1 at=place:sha256:6c9512033a0e5631d7a84bbf999c10c52d9a263ca87021a0a8191a23c9710233 by=bound form=alphabet measure=bytes role=writes scope=receipts/ value=sha256:6c9512033a0e5631d7a84bbf999c10c52d9a263ca87021a0a8191a23c9710233
-bound-lock/1 at=place:sha256:21f2609c4392af50cd456e5d4118d80024ecc7131457973d3df93e1196098996 by=bound form=interval measure=count role=writes scope=receipts/. value=1..1
-bound-lock/1 at=place:sha256:6c9512033a0e5631d7a84bbf999c10c52d9a263ca87021a0a8191a23c9710233 by=bound form=alphabet measure=bytes role=writes scope=receipts/. value=sha256:6c9512033a0e5631d7a84bbf999c10c52d9a263ca87021a0a8191a23c9710233
-bound-lock/1 at=place:sha256:692ab612dedbc110a760f4741848af5f652dfc78ecfde2494068137217424d3e by=bound form=interval measure=count role=writes scope=receipts/capture value=2..2
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/capture value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:3601c3fe8c72ae7cb44b0c222de1820464072d3381d3f02ae4b73350a691e01f by=bound form=interval measure=count role=writes scope=receipts/cli value=4..4
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/cli value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:3410c80b2791ed2e384e75ba9fb9e793d0cf803240b5b9c8970b4fb4956e56ff by=bound form=interval measure=count role=writes scope=receipts/door value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/door value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:4b0af40eb9b9262ab6f85f95258b48e0fe7443eec9df2a427c64b37bf7f1baf3 by=bound form=interval measure=count role=writes scope=receipts/duplicate value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/duplicate value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:ed696ec2b59dd5dcd2697ea7c33abc97af6b10337d0db4de808e85a5c3c884c6 by=bound form=interval measure=count role=writes scope=receipts/idempotent value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/idempotent value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:8961733d781d249c0ecef3c9ce3deea5f2f77b5ca608d772457daa311c12b203 by=bound form=interval measure=count role=writes scope=receipts/instrument value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/instrument value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:53563ab619e2f2498bcee50f84f5dfebcaf65f44e3f52673520b4674b672d05b by=bound form=interval measure=count role=writes scope=receipts/law value=10..10
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/law value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:be88067990999be2a9f64c6a8ce7821a5b059e01a77b623d180a1b4ef3af8ac5 by=bound form=interval measure=count role=writes scope=receipts/literal value=4..4
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/literal value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:80508745fa8b478d4d534b07c7f31c5a5e020d6f07d086fe240f3cfb31d40c70 by=bound form=interval measure=count role=writes scope=receipts/nothing-deleted value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/nothing-deleted value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:84da879e348a8933984303561ad96c24a1255d3051e964d18f9a8ba62c58b1c3 by=bound form=interval measure=count role=writes scope=receipts/offline value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/offline value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:eb9eeb5aaf72da07c83f7a8d38f410b68ec4f899029ca2910b8e272ea9454ed4 by=bound form=interval measure=count role=writes scope=receipts/one-writer value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/one-writer value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:8776cff2b3219dab669ec849f40df450dfd7cc1ff573e30e280fd9d56db96376 by=bound form=interval measure=count role=writes scope=receipts/resolve-by-url value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/resolve-by-url value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:a05c9b0fc8f3a21066418a26cbc9c9c83bf8dacbe7bedd728a3972a0756f350f by=bound form=interval measure=count role=writes scope=receipts/source value=5..5
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/source value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:81ab86378ee3ea130a9f05408a4eb983454b20ac4b69aaa39d74ed3670befc7c by=bound form=interval measure=count role=writes scope=receipts/the-stranger value=1..1
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/the-stranger value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
-bound-lock/1 at=place:sha256:f1218964c3874b0fde60dbc28725a87818457e633e9c420c6d13bc56412a015b by=bound form=interval measure=count role=writes scope=receipts/view value=17..17
-bound-lock/1 at=place:sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb by=bound form=alphabet measure=bytes role=writes scope=receipts/view value=sha256:2b57c1d5e39a81f601aa58e1214fb6e20d22d949107aebee509d341e1951a8cb
+bound-lock/1 at=place:sha256:f9495a7e1b259457771ccbe4655708d6f2b8949796cd3eed002bb9b8a2535065 by=bound form=interval measure=count role=writes scope=receipts/ value=2..2
+bound-lock/1 at=place:sha256:bc97b9c5fe401f32b9f60d435c7dbed9daa9cd2fd230c6f96621cb0f9bc78455 by=bound form=alphabet measure=bytes role=writes scope=receipts/ value=sha256:bc97b9c5fe401f32b9f60d435c7dbed9daa9cd2fd230c6f96621cb0f9bc78455
+bound-lock/1 at=place:sha256:812ed239fc179522ca981ce214fbbbd9af420dc2a7bd4105c8dec209a53dcf30 by=bound form=interval measure=count role=writes scope=receipts/. value=1..1
+bound-lock/1 at=place:sha256:bc97b9c5fe401f32b9f60d435c7dbed9daa9cd2fd230c6f96621cb0f9bc78455 by=bound form=alphabet measure=bytes role=writes scope=receipts/. value=sha256:bc97b9c5fe401f32b9f60d435c7dbed9daa9cd2fd230c6f96621cb0f9bc78455
+bound-lock/1 at=place:sha256:51f8ec16e9aee9570bbac7be2f6d6d50a581fb4cb54edbd6b3471a4169b3eb2a by=bound form=interval measure=count role=writes scope=receipts/admission value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/admission value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:1112a297d95c541a6f2ae92093fd6d7fefb2694a5b5253e9071888d6245078f3 by=bound form=interval measure=count role=writes scope=receipts/capture value=2..2
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/capture value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:c70ee3afda8b9ea8fef345e4bc92fe9d5e7b38e0cf143d4af0419286f969bed9 by=bound form=interval measure=count role=writes scope=receipts/cli value=4..4
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/cli value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:decf862797835d394ac7b5ba44402a87d9f0a67e3cf6f32b90b1eec1327baa0f by=bound form=interval measure=count role=writes scope=receipts/door value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/door value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:014318cec8485f3445a279014b6952666ae31d2f1d67dba91e6581209e6392f7 by=bound form=interval measure=count role=writes scope=receipts/duplicate value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/duplicate value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:6daccc383c5e5e10b563ebf3dac5cac0f4d03c76cf51d67e0686574e80076d90 by=bound form=interval measure=count role=writes scope=receipts/idempotent value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/idempotent value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:fb8eb6bab790e3f765b32dd43454dfb60d706c46e5a1fb741eb27a8c59adf284 by=bound form=interval measure=count role=writes scope=receipts/instrument value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/instrument value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:24023fde10bc3f5ad0c60d2b04cca3907b111a5431c6d6f0fc1171a9c3a67c8c by=bound form=interval measure=count role=writes scope=receipts/law value=10..10
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/law value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:91f74471e67f7cc3059528a77e380060b6233afb96e43d6c79e734c6303fdd07 by=bound form=interval measure=count role=writes scope=receipts/literal value=4..4
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/literal value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:dcb4255ece525c1f368207f3b6a1a8203a3e7196df78855ef826531297e13968 by=bound form=interval measure=count role=writes scope=receipts/nothing-deleted value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/nothing-deleted value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:fef3a3dadf2ba2832d5fff709c52ebcf78ae23532ab817744ec9de608a9ee872 by=bound form=interval measure=count role=writes scope=receipts/offline value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/offline value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:b0f4e47d5e3d6c3ebe94113e791c60545cd7136317e8f693aebd6bafd3f2faca by=bound form=interval measure=count role=writes scope=receipts/one-writer value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/one-writer value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:5fa995bc53e359570c66d14279f375559704987195ad119271920b87bb8b668d by=bound form=interval measure=count role=writes scope=receipts/resolve-by-url value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/resolve-by-url value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:1ee2c8e22d1dc6f9969bc99c0dbd17bbb2860eddadb0b2a57cce32647ff5b9a9 by=bound form=interval measure=count role=writes scope=receipts/source value=5..5
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/source value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:03207c0f6ba1156044ff41c55a2c049cb0a7660acc4b6107c2c07c769b318991 by=bound form=interval measure=count role=writes scope=receipts/the-stranger value=1..1
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/the-stranger value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608
+bound-lock/1 at=place:sha256:9c6206291fe5caef0dce2c7960c82a3fbdf43e2f6eca5e676d26f1ba0042a265 by=bound form=interval measure=count role=writes scope=receipts/view value=16..16
+bound-lock/1 at=place:sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608 by=bound form=alphabet measure=bytes role=writes scope=receipts/view value=sha256:eab7831facb21de01dfee8ad6996b4bf4e71303c96156f231876213df55cc608