@lapxo/bound 0.1.2 → 0.1.4

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

@@ -2,9 +2,11 @@ export interface ContentPort {
     readonly algorithms: ReadonlySet<string>;
     readonly read: (digest: string) => Uint8Array | undefined;
     readonly write: (digest: string, bytes: Uint8Array) => void;
-    readonly fetch: (url: string) => Promise<Uint8Array>;
+    readonly fetch: (url: string, digest?: 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[], materializeInstrument?: boolean): 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,12 @@
+import { transportBytes } from "./ports/transport.js";
+import { contentStore, verifiedContent } from "./content-store.js";
+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";
+import { landBlob } from "../land/ledger.js";
+import { ownLock } 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 +22,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 +30,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) => {
@@ -48,12 +45,9 @@ export async function resolveSelectedContent(lines, port) {
             throw Error(`REFUSE·pin ${digest} content unavailable · no declared source · not laid`);
         let last;
         for (const url of urls) {
-            const parsed = new URL(url);
-            if (!['https:', 'http:'].includes(parsed.protocol))
-                throw Error(`REFUSE·source ${url} needs an explicit transport adapter`);
             let bytes;
             try {
-                bytes = await port.fetch(url);
+                bytes = await port.fetch(url, digest);
             }
             catch (error) {
                 last = error;
@@ -66,17 +60,12 @@ 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, materializeInstrument = false) {
+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)
@@ -86,19 +75,36 @@ export async function resolveSources(standing, materializeInstrument = false) {
         if (p.kind !== 'fact')
             return false;
         const fields = p.value.fields;
-        return fields.scope?.startsWith('sources/') || (fields.scope?.startsWith('dep/') && (fields.role !== 'reads' || (materializeInstrument && !!fields.needs)));
+        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); },
-        fetch: async (url) => {
-            const response = await fetch(url, { signal: AbortSignal.timeout(30000) });
-            if (!response.ok)
-                throw Error(`HTTP ${response.status}`);
-            return new Uint8Array(await response.arrayBuffer());
-        },
-    });
+        read: digest => { try {
+            return verifiedContent(digest).bytes;
+        }
+        catch (error) {
+            if (error instanceof ContentNeeded)
+                return undefined;
+            throw error;
+        } },
+        write: (digest, bytes) => { landBlob(contentStore(), digest, bytes); },
+        fetch: async (url, digest) => transportBytes(url, digest, [...ownLock(), ...standing]),
+    }, 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/identity.d.ts

@@ -1,3 +1,4 @@
+import type { ReaderLifetime } from '@lapxo/topos/wire';
 import type { Kind } from './run.ts';
 /** Where a reader's vectors lie: in its package, beside its source, under the name of its module, the folder the wire's vector family names. */
 export declare const vectorsOf: (module: string, standing: readonly string[]) => string;
@@ -13,6 +14,7 @@ export declare function identityOf(input: {
     readonly code: string;
     readonly lineage: readonly string[];
     readonly kept: readonly string[];
+    readonly lifetime?: ReaderLifetime;
 }): {
     readonly by: string;
     readonly lines: readonly string[];

package/dist/observe/identity.js

@@ -19,7 +19,7 @@ export function resetsOnEqualEmits(lines) {
     }
     return [...named.values()].filter((ats) => ats.size > 1).length;
 }
-function emitted(store, root, module, kind, cases) {
+function emitted(store, root, module, kind, cases, lifetime) {
     const laid = kind === 'process' ? mkdtempSync(join(tmpdir(), `${selfName()}-vectors-`)) : root;
     try {
         for (const one of kind === 'process' ? cases : []) {
@@ -28,7 +28,7 @@ function emitted(store, root, module, kind, cases) {
                 writeFileSync(join(laid, one.place, name), text);
             }
         }
-        const rows = runReader(resolve(root, module), laid, cases.map((one) => ({ place: one.place, ...(kind === 'js' ? { text: one.text ?? '' } : {}) })));
+        const rows = runReader(resolve(root, module), laid, cases.map((one) => ({ place: one.place, ...(kind === 'js' ? { text: one.text ?? '' } : {}) })), lifetime);
         if (cases.length && rows.every((mine) => !mine.length))
             return undefined;
         const said = rows.map((mine) => mine.filter((row) => !/^(cost|derived|vector-memo)\//.test(row.scope)).map((row) => JSON.stringify(row)).sort());
@@ -50,7 +50,7 @@ export function identityOf(input) {
     const known = mine.find((line) => fieldOf(line, 'measure') === 'extension' && fieldOf(line, 'at') === `place:${key}`);
     if (known !== undefined && fieldOf(known, 'value') === input.code)
         return { by: input.code, lines: [] };
-    const emits = emitted(input.store, input.root, input.module, input.kind, JSON.parse(text).cases ?? []);
+    const emits = emitted(input.store, input.root, input.module, input.kind, JSON.parse(text).cases ?? [], input.lifetime);
     if (emits === undefined)
         return { by: input.code, lines: [] };
     const by = input.code;

package/dist/observe/regions.js

@@ -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));

package/dist/observe/run.d.ts

@@ -1,3 +1,4 @@
+import type { ReaderLifetime } from '@lapxo/topos/wire';
 export type Kind = 'js' | 'process';
 /** The kinds this host starts. A reader of any other kind is signed and stays potential: nothing here runs it. */
 export declare const runs: (kind: string) => kind is Kind;
@@ -26,5 +27,5 @@ export declare const hostOf: () => string;
  * the file it is handed or alone when it reads the place by running it, as the region it was matched for when its
  * capsule reads with several, and answers one list of claims per place.
  */
-export declare function runReader(module: string, root: string, inputs: readonly Input[]): readonly (readonly Row[])[];
+export declare function runReader(module: string, root: string, inputs: readonly Input[], limits?: ReaderLifetime): readonly (readonly Row[])[];
 export {};

package/dist/observe/run.js

@@ -1,3 +1,4 @@
+import { boundedProcess } from "../host/process-lifetime.js";
 import { spawnSync } from 'node:child_process';
 import { existsSync } from 'node:fs';
 import { PROTOCOL } from '@lapxo/topos/wire';
@@ -13,7 +14,7 @@ export const hostOf = () => processOf('host');
  * the file it is handed or alone when it reads the place by running it, as the region it was matched for when its
  * capsule reads with several, and answers one list of claims per place.
  */
-export function runReader(module, root, inputs) {
+export function runReader(module, root, inputs, limits) {
     if (!inputs.length)
         return [];
     const requests = inputs.map((input) => ({
@@ -23,12 +24,17 @@ export function runReader(module, root, inputs) {
     const reader = readerOf(module);
     if (!existsSync(reader.path))
         throw new Error(`REFUSE·reader ${module} unavailable; its declared capability needs an admitted provider`);
-    const ran = spawnSync(process.execPath, [...reader.flags, hostOf(), reader.path, module], { cwd: root, input: JSON.stringify(requests), encoding: 'utf8', maxBuffer: 1 << 28 });
-    if (ran.error)
+    const args = [...reader.flags, hostOf(), reader.path, module];
+    const ran = limits === undefined ? spawnSync(process.execPath, args, { cwd: root, input: JSON.stringify(requests), encoding: 'utf8', maxBuffer: 1 << 28 }) : boundedProcess(process.execPath, args, JSON.stringify(requests), limits, root);
+    if ('error' in ran && ran.error)
         throw Object.assign(new Error(`${module}: reader process failed: ${ran.error.message}`), { cause: ran.error });
     if (ran.status !== 0)
         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/receipts.js

@@ -23,7 +23,8 @@ export function receiptRegion(fold, at) {
     const contract = wireLine(ownLock(), 'receipt-instrument');
     const coordinate = contract === undefined ? undefined : fieldOf(contract, 'value');
     const implementation = coordinate === undefined ? undefined : instrumentDigest(fold.store, sourceOf(), [], ownRoot(), ownLock());
-    const observed = [...receiptsOf(fold), ...(coordinate && implementation ? [canonical({ scope: coordinate, role: 'writes', form: 'alphabet', measure: 'digest', value: implementation, at: `place:${implementation}`, by: 'bound' })] : [])];
+    // The current implementation seal is metadata, not an observation carried from a previous fold.
+    const observed = [...receiptsOf(fold).filter(line => !coordinate || fieldOf(line, 'scope') !== coordinate), ...(coordinate && implementation ? [canonical({ scope: coordinate, role: 'writes', form: 'alphabet', measure: 'digest', value: implementation, at: `place:${implementation}`, by: 'bound' })] : [])];
     const hash = (bytes) => bytesDigest(fold.store, new TextEncoder().encode(bytes));
     const head = keyOf(fold.store, 'attest');
     const projection = receiptProjection(observed, fields, hash, head ? [head] : []);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lapxo/bound",
-  "version": "0.1.2",
+  "version": "0.1.4",
   "type": "module",
   "description": "Read the bounds you already wrote, fold them, and name the contradictions.",
   "main": "dist/cli/verb.js",
@@ -32,7 +32,7 @@
   "license": "MIT",
   "dependencies": {
     "@lapxo/obligations": "0.3.5",
-    "@lapxo/topos": "0.1.8"
+    "@lapxo/topos": "0.1.9"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",

package/receipts.bound

@@ -1,30 +1,31 @@
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:bbff6b8fc616 form=alphabet measure=observed role=writes scope= value=1e59e9487e0c7e29
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=alphabet measure=observed role=writes scope= value=1e59e9487e0c7e29
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=alphabet measure=observed role=writes scope= value=82fe2a1cdfef232a
-bound-lock/1 at=place:sha256:a01b65b584b8fca7fc21b082bb5382010eb7e39088e93eed9b62f848d1efe179 by=reader:2c507e7fe764 form=alphabet measure=observed role=writes scope=./ value=a01b65b584b8fca7
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:bbff6b8fc616 form=alphabet measure=text role=reads scope=capture/help value="admission-checkout: verbs fold land sign · flags --as --check --key --key-file --signer --place\n"
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb 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:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=cli-exit-closed role=reads scope=cli/exit/closed value=0..0
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=cli-exit-refuse role=reads scope=cli/exit/refuse value=1..1
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=cli-exit-usage role=reads scope=cli/exit/usage value=2..2
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=cli-flags role=reads scope=cli/flags value=6..6
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=count role=reads scope=idempotent value=0..0
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=count role=reads scope=nothing-deleted value=0..0
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=count role=reads scope=offline value=0..0
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=count role=reads scope=one-writer value=0..0
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=count role=reads scope=resolve-by-url value=0..0
-bound-lock/1 at=place:sha256:1e59e9487e0c7e29c11b4dff71aaa2ff5e2a331860f08cae8d834152a3177bfb by=reader:c448c64e0bac form=interval measure=count role=reads scope=the-stranger value=0..0
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/duplicate/src value=none
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/host value=none
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/key value=none
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/org value=none
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/path value=none
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/host value=0..0
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/key value=0..0
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/org value=0..0
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/path value=0..0
-bound-lock/1 at=place:sha256:82fe2a1cdfef232a395e34381b10b62de9ae82fdb81c440946f6e844933d0f05 by=reader:0f5306d0e183 form=interval measure=duplicate-bodies role=reads scope=duplicate/src value=0..0
-bound-lock/1 at=place:sha256:a01b65b584b8fca7fc21b082bb5382010eb7e39088e93eed9b62f848d1efe179 by=reader:2c507e7fe764 form=interval measure=unreceipted role=reads scope=door/unreceipted value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:bbff6b8fc616 form=alphabet measure=observed role=writes scope= value=ab7da20ef55567fd
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=alphabet measure=observed role=writes scope= value=ab7da20ef55567fd
+bound-lock/1 at=place:sha256:c79e6047c8b811fc107bf779ceae2c944f25a4b48d2391e74c78b532e479b4e8 by=reader:2c507e7fe764 form=alphabet measure=observed role=writes scope=./ value=c79e6047c8b811fc
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=alphabet measure=observed role=writes scope= value=c8df87bf85f05d4f
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 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:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 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:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=cli-exit-closed role=reads scope=cli/exit/closed value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=cli-exit-refuse role=reads scope=cli/exit/refuse value=1..1
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=cli-exit-usage role=reads scope=cli/exit/usage value=2..2
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=cli-flags role=reads scope=cli/flags value=6..6
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=count role=reads scope=admission/one-boundary value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=count role=reads scope=idempotent value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=count role=reads scope=nothing-deleted value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=count role=reads scope=offline value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=count role=reads scope=one-writer value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=count role=reads scope=resolve-by-url value=0..0
+bound-lock/1 at=place:sha256:ab7da20ef55567fd8a85a49fff3ef412a55367b7046fcd4b5b0fbb1b332bb239 by=reader:c448c64e0bac form=interval measure=count role=reads scope=the-stranger value=0..0
+bound-lock/1 at=place:sha256:c79e6047c8b811fc107bf779ceae2c944f25a4b48d2391e74c78b532e479b4e8 by=reader:2c507e7fe764 form=interval measure=unreceipted role=reads scope=door/unreceipted value=0..0
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/duplicate/src value=none
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/host value=none
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/key value=none
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/org value=none
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=alphabet measure=id role=reads scope=source/locations/literal/path value=none
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/host value=0..0
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/key value=0..0
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/org value=0..0
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 by=reader:0f5306d0e183 form=interval measure=count role=reads scope=literal/path value=0..0
+bound-lock/1 at=place:sha256:c8df87bf85f05d4f10c5e3e4011067fd84144738a09e83a9ed1bdf4d7c3078d0 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
@@ -35,57 +36,57 @@ bound-lock/1 at=cone:9b1915d477c82eba64f0b9a7928018db772788398ca8a13afd438831417
 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: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:7a5a827c8ab936737b9da72412171bb04548dea9fdc94a746a5a5930e2211e8b by=judge form=alphabet measure=id role=writes scope=view/explanation value=idea|what-holds|refuses
-bound-lock/1 at=cone:7a5a827c8ab936737b9da72412171bb04548dea9fdc94a746a5a5930e2211e8b by=judge form=alphabet measure=cone role=writes scope=view/explanation value=docs/why.md
+bound-lock/1 at=cone:38393cb6f8e1d9c0c7afd2c6faf7a953232e0edbb57f1029e50c0f828ddf4197 by=judge form=alphabet measure=id role=writes scope=view/citation-file value=cff
+bound-lock/1 at=cone:38393cb6f8e1d9c0c7afd2c6faf7a953232e0edbb57f1029e50c0f828ddf4197 by=judge form=alphabet measure=cone role=writes scope=view/citation-file value=CITATION.cff
+bound-lock/1 at=cone:2207bfb7237fd7dbf4e4fb11f070cf4ec126ae7db52044504795b64eccfc9e0c by=judge form=alphabet measure=id role=writes scope=view/explanation value=idea|what-holds|refuses
+bound-lock/1 at=cone:2207bfb7237fd7dbf4e4fb11f070cf4ec126ae7db52044504795b64eccfc9e0c 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: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
-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:0216dcddc9cc5cf08e750f1e10cbe17ad3408e9ee4b6aa3185ded9b880d1f9b0 by=judge form=alphabet measure=id role=writes scope=view/manifest-render value=text@3
+bound-lock/1 at=cone:0216dcddc9cc5cf08e750f1e10cbe17ad3408e9ee4b6aa3185ded9b880d1f9b0 by=judge form=alphabet measure=cone role=writes scope=view/manifest-render value=package.json
+bound-lock/1 at=cone:fa1469604beca94fbe698011c94bf0fedcdea56ce9b851809d8d99d13bc648a2 by=judge form=alphabet measure=id role=writes scope=view/readme-historical value=hero@3|commands@3|idea@3
+bound-lock/1 at=cone:fa1469604beca94fbe698011c94bf0fedcdea56ce9b851809d8d99d13bc648a2 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=place:sha256:1f51a966c0b5a4436f4794fdb49accc9ccb374be101875a84ce7706c74456585 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:1f51a966c0b5a4436f4794fdb49accc9ccb374be101875a84ce7706c74456585
-
-bound-lock/1 at=place:sha256:38cffb32270b1fb2d20d20780d4067bab680143e644b45d11d469cd9e6afa09c by=bound form=alphabet measure=digest role=writes scope=receipts value=sha256:00a64627484a759e94ec545eb5a33cd36d014a5c30c6c2e4ac895e9c93dc87a9
-
-bound-lock/1 at=place:sha256:e4410fae0c1ed17811a8270307e03c0430454d2af3ecfc8f9c6ec3cc9d8c6400 by=bound form=interval measure=count role=writes scope=receipts/ value=2..2
-bound-lock/1 at=place:sha256:12cdd83040b43da2dfc289a3ccaa3f0eee25999811e3dd3fc98b4144fb73b86b by=bound form=alphabet measure=bytes role=writes scope=receipts/ value=sha256:12cdd83040b43da2dfc289a3ccaa3f0eee25999811e3dd3fc98b4144fb73b86b
-bound-lock/1 at=place:sha256:c139cc42748b2ece6d728ed12df20282e5aca9b6116ecfeed93cac1c6ebaf924 by=bound form=interval measure=count role=writes scope=receipts/. value=1..1
-bound-lock/1 at=place:sha256:12cdd83040b43da2dfc289a3ccaa3f0eee25999811e3dd3fc98b4144fb73b86b by=bound form=alphabet measure=bytes role=writes scope=receipts/. value=sha256:12cdd83040b43da2dfc289a3ccaa3f0eee25999811e3dd3fc98b4144fb73b86b
-bound-lock/1 at=place:sha256:83ac0ba7618e1c99a643cd3778a3a024e881baa2b6618a05d8b519f18427cad4 by=bound form=interval measure=count role=writes scope=receipts/capture value=2..2
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/capture value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:fee29d63168a9e603471291bf2d94220c40d8a4b0c7835dd6be32d4cc3858bbd by=bound form=interval measure=count role=writes scope=receipts/cli value=4..4
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/cli value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:f4491a96c7514fdaf076d7b428226db7c2004037054319d8db76826a97244deb by=bound form=interval measure=count role=writes scope=receipts/door value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/door value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:3b2a62bab9f7087a5c6f9d65d2a6c8a3ea09bc0a47596a07e66cec075abc1fac by=bound form=interval measure=count role=writes scope=receipts/duplicate value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/duplicate value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:e72a72f0c01f5a819e1d8e5545b7b98ed98203df92bb79553d90828d1006fcb8 by=bound form=interval measure=count role=writes scope=receipts/idempotent value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/idempotent value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:92a8a2d334a4d8e1b93b4535f49362faed71c2b836a68012f49c4c0f56fa8724 by=bound form=interval measure=count role=writes scope=receipts/instrument value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/instrument value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
+bound-lock/1 at=place:sha256:2b9e2b300e99a774144996b034812d2f6630c230c70ad0cf39c2385b435cde31 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:2b9e2b300e99a774144996b034812d2f6630c230c70ad0cf39c2385b435cde31
+bound-lock/1 at=place:sha256:5a227f054030a40455a7b540aa60c3839f1cee0532a285dd60e788c78acd90f5 by=bound form=alphabet measure=digest role=writes scope=receipts value=sha256:86d74168cbb84387ed9c513e2b371dd3d51f8ac071b23dcf9f9fe7f14bb527be
+bound-lock/1 at=place:sha256:1708944f6cdec2b588a774a8428c4593584a89e1950c6d229a64e078a82a93fc by=bound form=interval measure=count role=writes scope=receipts/ value=2..2
+bound-lock/1 at=place:sha256:b640331baae474caedf5407440fde660bd5c636f60dc5240e0881835f0fcef7d by=bound form=interval measure=count role=writes scope=receipts/. value=1..1
+bound-lock/1 at=place:sha256:f6727d0688d4d99d601e8fb543996618bb51310d2bb172895261501714c95584 by=bound form=interval measure=count role=writes scope=receipts/admission value=1..1
+bound-lock/1 at=place:sha256:1a7d0d8e652f008f5d8e25b53f78755caf703bffdd80ab36a19838596d888590 by=bound form=interval measure=count role=writes scope=receipts/capture value=2..2
+bound-lock/1 at=place:sha256:5b2bbc14f2d71c5b156a2900469191077ba537f6e8dc412293c7c8008752d7fb by=bound form=interval measure=count role=writes scope=receipts/cli value=4..4
+bound-lock/1 at=place:sha256:1ba3aadc3fc9eb4c7bc601c7f5467c41929d79466313e908999d56a1cf50b08d by=bound form=interval measure=count role=writes scope=receipts/door value=1..1
+bound-lock/1 at=place:sha256:ff7c3f1ad83d53e399d24f2638c01c15c895b76b1bf26d06c132f728b5ae56f5 by=bound form=interval measure=count role=writes scope=receipts/duplicate value=1..1
+bound-lock/1 at=place:sha256:f2068c6936f87554740100696c1c533f1e109b1ec94e2c17287e08183e3f4ed4 by=bound form=interval measure=count role=writes scope=receipts/idempotent value=1..1
+bound-lock/1 at=place:sha256:3b9e8da7aa8f1a10a4f01de3236c6ee36d02fde650e954440ac4a59f187e9884 by=bound form=interval measure=count role=writes scope=receipts/instrument value=1..1
 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:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/law value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:1a8833c3e1e9cfa9c89c437605c9a40e1ca1b41de188c918004afdd8008c317a by=bound form=interval measure=count role=writes scope=receipts/literal value=4..4
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/literal value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:96e1ec3e4e80102099785e608d7e9d34b387b69dda9c8d8f70bc5ff52f76bb8e by=bound form=interval measure=count role=writes scope=receipts/nothing-deleted value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/nothing-deleted value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:a42ff6e261f257df1cf68a7d96c992e356818d34d293e7b094c22af2dd064e5d by=bound form=interval measure=count role=writes scope=receipts/offline value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/offline value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:ba413473f8f9622fce61e80caf4c26ee74e2c8e847cb3c6a510e1d8e535e1ad7 by=bound form=interval measure=count role=writes scope=receipts/one-writer value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/one-writer value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:a9b844716b2addcea27e2cecdce64fdb87df9e4d94aaf48f4a642ee0b760f1b5 by=bound form=interval measure=count role=writes scope=receipts/resolve-by-url value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/resolve-by-url value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:0f6af9d527081810070aeb8e5df78e2e5ef56893fff2f995505f24ad845f3686 by=bound form=interval measure=count role=writes scope=receipts/source value=5..5
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/source value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:ba39ecd64ab6d52954a2c6509e98825092d6d52c719707dc33599bff85a3bfe3 by=bound form=interval measure=count role=writes scope=receipts/the-stranger value=1..1
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/the-stranger value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
-bound-lock/1 at=place:sha256:94cad2b845d4a89330040bc0d0e062260ecc114b8dc7a092b2b072ab1fa7dcad by=bound form=interval measure=count role=writes scope=receipts/view value=16..16
-bound-lock/1 at=place:sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014 by=bound form=alphabet measure=bytes role=writes scope=receipts/view value=sha256:6a61a4c6fcdb2c128638dd568c351d41fa0fbd53ab82c2c021b0e1c992243014
+bound-lock/1 at=place:sha256:95911622e93010cc4662b2daf80d1b412f49968d9409fd3357b9c5f9502d552b by=bound form=interval measure=count role=writes scope=receipts/literal value=4..4
+bound-lock/1 at=place:sha256:dafbe0ac24795e387c523cdd1b5edfaaaa33bd55e34ee99ed51f12edc1b5c6ad by=bound form=interval measure=count role=writes scope=receipts/nothing-deleted value=1..1
+bound-lock/1 at=place:sha256:ed596ff6a2b891871961af526dda7bbfd05e2a6aefc181d10a4ba3a2923007e2 by=bound form=interval measure=count role=writes scope=receipts/offline value=1..1
+bound-lock/1 at=place:sha256:281c92fcd639c99b5cf2fbfde6def0825f5ea5b5e64a4810910ef25dd2fb74e7 by=bound form=interval measure=count role=writes scope=receipts/one-writer value=1..1
+bound-lock/1 at=place:sha256:33de48fd74213538fb6c43cadb9a264ce08f58159d51e62b1b333c5b592e994e by=bound form=interval measure=count role=writes scope=receipts/resolve-by-url value=1..1
+bound-lock/1 at=place:sha256:ded656218830b8bc739d6138f03c6cb586f3d24bfd44e4f9bf830a0abd95ccf9 by=bound form=interval measure=count role=writes scope=receipts/source value=5..5
+bound-lock/1 at=place:sha256:5e4c70661ea67c16c9437b6b189e14d351c12e2c95432b0422b7f62abd014161 by=bound form=interval measure=count role=writes scope=receipts/the-stranger value=1..1
+bound-lock/1 at=place:sha256:fa57d0e94c4564179cd375ca21dc974936fd08ec7b0e21d827bf8bce767b2729 by=bound form=interval measure=count role=writes scope=receipts/view value=16..16
+bound-lock/1 at=place:sha256:0a01469a1b91d0c00123aeaaf6bfd35ffae8cba64dc06d7cc79029332a105ed8 by=bound form=alphabet measure=bytes role=writes scope=receipts/ value=sha256:0a01469a1b91d0c00123aeaaf6bfd35ffae8cba64dc06d7cc79029332a105ed8
+bound-lock/1 at=place:sha256:0a01469a1b91d0c00123aeaaf6bfd35ffae8cba64dc06d7cc79029332a105ed8 by=bound form=alphabet measure=bytes role=writes scope=receipts/. value=sha256:0a01469a1b91d0c00123aeaaf6bfd35ffae8cba64dc06d7cc79029332a105ed8
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/admission value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/capture value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/cli value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/door value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/duplicate value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/idempotent value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/instrument value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/law value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/literal value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/nothing-deleted value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/offline value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/one-writer value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/resolve-by-url value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/source value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/the-stranger value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d
+bound-lock/1 at=place:sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d by=bound form=alphabet measure=bytes role=writes scope=receipts/view value=sha256:b9206465188ba307a75919bbdbf6f69f2f69e0b8508ff424600810d1a16da85d