@lapxo/bound 0.1.0

package/dist/render/page.js

@@ -0,0 +1,7 @@
+import { fieldOf } from "../fold/claims.js";
+import { ownLock } from "../observe/runner.js";
+import { steps } from '@lapxo/topos/wire';
+const own = (scope, measure) => fieldOf(ownLock().find((line) => fieldOf(line, 'scope') === scope && (!measure || fieldOf(line, 'measure') === measure) && fieldOf(line, 'value') !== 'withdraw') ?? '', 'value');
+export const secondName = () => steps(own('head/second'))[0] ?? '';
+export const nameOf = (fold) => (fold.under ?? '').replace(/\/$/, '')
+    || fieldOf(fold.standing.find((line) => fieldOf(line, 'scope') === 'publish/bootstrap' && fieldOf(line, 'value') !== 'withdraw') ?? '', 'value');

package/dist/render/receipts.d.ts

@@ -0,0 +1,3 @@
+import type { PlaceFold } from '../cli/place.ts';
+/** Native receipts are a protocol projection of actual fold observations, not a domain renderer or an acceptance verdict. */
+export declare function receiptRegion(fold: PlaceFold, at: number): readonly string[];

package/dist/render/receipts.js

@@ -0,0 +1,46 @@
+import { canonical } from '@lapxo/topos/wire';
+import { selectedWireList } from "../host/selected-topos.js";
+import { fieldOf } from "../fold/claims.js";
+import { ownLockOf } from "../fold/signed.js";
+import { receiptProjection } from '@lapxo/topos/receipts';
+import { receiptsOf, keepCarried } from "../fold/resolved.js";
+import { bytesDigest } from "../fold/digests.js";
+import { keyOf } from "../fold/keys.js";
+import { fileRegionDigest } from "../fold/closed.js";
+import { readersBehind } from "../fold/observed.js";
+import { instrumentDigest } from "../fold/digests.js";
+import { ownLock, ownRoot, sourceOf } from "../observe/runner.js";
+import { wireLine } from "../fold/wire.js";
+/** Native receipts are a protocol projection of actual fold observations, not a domain renderer or an acceptance verdict. */
+export function receiptRegion(fold, at) {
+    const local = fold.under ? ownLockOf(fold.root, fold.under.replace(/\/$/, '')) : fold.standing;
+    const prefix = 'uses/';
+    const pins = local.filter(line => {
+        const scope = fieldOf(line, 'scope');
+        return scope.startsWith(prefix) && scope.length > prefix.length && !scope.slice(prefix.length).includes('/') && fieldOf(line, 'value') !== 'withdraw';
+    });
+    const fields = selectedWireList(local, fold.epoch, pins, 'receipt-fields');
+    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' })] : [])];
+    const hash = (bytes) => bytesDigest(fold.store, new TextEncoder().encode(bytes));
+    const head = keyOf(fold.store, 'attest');
+    const projection = receiptProjection(observed, fields, hash, head ? [head] : []);
+    const set = keepCarried(fold.store, observed);
+    if (at === 0)
+        return [canonical({ scope: 'receipts', role: 'writes', form: 'alphabet', measure: 'digest', value: projection.root, at: `place:${set}`, by: 'bound' })];
+    if (at === 1) {
+        const algorithm = hash('').split(':')[0];
+        const current = readersBehind().length === 0;
+        return projection.regions.flatMap(region => {
+            const bytes = fileRegionDigest(fold.root, fold.under ?? '', region.scope, algorithm, observed);
+            const count = canonical({ scope: region.scope, role: 'writes', form: 'interval', measure: 'count', value: `${region.count}..${region.count}`, at: `place:${region.digest}`, by: 'bound' });
+            // A stale reading remains visible but cannot seal the current file bytes.
+            return current ? [count, canonical({ scope: region.scope, role: 'writes', form: 'alphabet', measure: 'bytes', value: bytes, at: `place:${bytes}`, by: 'bound' })] : [count];
+        });
+    }
+    if (at === 8)
+        return observed;
+    throw Error(`REFUSE·receipt unsupported resolution ${at}`);
+}

package/dist/render/shape.d.ts

@@ -0,0 +1,16 @@
+import type { PlaceFold } from '../cli/place.ts';
+export declare function shapeLines(fold: PlaceFold): readonly string[];
+/**
+ * What moved a verdict: the world under it, or a head that signed. A demand whose judgement came out differently than
+ * the time before moved by observation unless its own line was re-signed, in which case the lock moved and not the
+ * world; a verdict moved by a signature is not the world moving.
+ */
+export declare function moved(fold: PlaceFold): {
+    readonly observation: number;
+    readonly signature: number;
+};
+/** The source coordinates of the tree no reader has reached: the number that falls when knowing advances. The walk never enters the store or a foreign directory, whose coordinates are never sources. */
+export declare function horizonOf(fold: PlaceFold): {
+    readonly unread: number;
+    readonly sources: number;
+};

package/dist/render/shape.js

@@ -0,0 +1,74 @@
+import { join } from "../host/io.js";
+import { coherence } from '@lapxo/obligations/views/field';
+import { fieldOf } from "../fold/claims.js";
+import { ledgerLines } from "../land/ledger.js";
+import { coordinatesUnder } from "../observe/files.js";
+import { rolesOf } from "../fold/roles.js";
+const headOf = (scope) => scope.split('/')[0] ?? scope;
+/**
+ * A region of the tree read as a cell of the field: its origins are everyone who spoke there, the head that signed a
+ * line and the reader that landed a reading alike, and its epochs are when they spoke. A scope only one of them ever
+ * touched is where the region rests on a single origin. What figure the region makes, whether it holds without any
+ * one of them, how wide in epochs it is and how together its lines arrived are the five questions the algebra asks of
+ * a cell, asked of the lock that measures the tree.
+ */
+function regionsOf(fold) {
+    const origins = new Map();
+    const epochs = new Map();
+    const scopes = new Map();
+    const spoke = (at, by, epoch) => {
+        const head = headOf(at);
+        origins.set(head, (origins.get(head) ?? new Set()).add(by));
+        epochs.set(head, [...(epochs.get(head) ?? []), epoch]);
+        const inside = scopes.get(head) ?? new Map();
+        inside.set(at, (inside.get(at) ?? new Set()).add(by));
+        scopes.set(head, inside);
+    };
+    for (const line of fold.standing)
+        spoke(fieldOf(line, 'scope'), fieldOf(line, 'by'), Number(fieldOf(line, 'epoch')) || 0);
+    for (const line of fold.observed)
+        spoke(fieldOf(line, 'scope'), fieldOf(line, 'by'), fold.epoch);
+    return new Map([...origins].sort().map(([head, said]) => [head, {
+            origins: said,
+            epochs: epochs.get(head) ?? [],
+            alone: [...(scopes.get(head) ?? new Map()).values()].filter((by) => by.size < 2).length,
+            scopes: (scopes.get(head) ?? new Map()).size,
+        }]));
+}
+const shapeOf = (held) => (held.origins.size > 2 ? 'polygon' : held.origins.size === 2 ? 'edge' : 'point');
+const widthOf = (held) => Math.max(...held.epochs) - Math.min(...held.epochs);
+const rhythmOf = (held) => `${new Set(held.epochs).size} of ${widthOf(held) + 1}`;
+const periodOf = (fold) => fold.epoch + 1;
+const togetherness = (held, period) => coherence(held.epochs.map((epoch, i) => ({ origin: String(i), epoch, span: { lo: 0, hi: 1 } })), period);
+export function shapeLines(fold) {
+    const period = periodOf(fold);
+    return [...regionsOf(fold)].map(([head, held]) => `SHAPE    ${head} · ${shapeOf(held)} of ${held.origins.size} · ${held.alone ? 'fragile' : 'robust'} · coherence ${togetherness(held, period).toFixed(2)}`
+        + ` · width ${widthOf(held)} · rhythm ${rhythmOf(held)}`);
+}
+/**
+ * What moved a verdict: the world under it, or a head that signed. A demand whose judgement came out differently than
+ * the time before moved by observation unless its own line was re-signed, in which case the lock moved and not the
+ * world; a verdict moved by a signature is not the world moving.
+ */
+export function moved(fold) {
+    const said = new Map();
+    const turned = new Set();
+    for (const line of ledgerLines(fold.store, 'judge')) {
+        const at = fieldOf(line, 'scope');
+        const value = fieldOf(line, 'value');
+        if (said.has(at) && said.get(at) !== value)
+            turned.add(at);
+        said.set(at, value);
+    }
+    const resigned = new Set(fold.history.map((line) => fieldOf(line, 'scope')));
+    const signature = [...turned].filter((at) => resigned.has(at)).length;
+    return { observation: turned.size - signature, signature };
+}
+/** The source coordinates of the tree no reader has reached: the number that falls when knowing advances. The walk never enters the store or a foreign directory, whose coordinates are never sources. */
+export function horizonOf(fold) {
+    const role = rolesOf(fold.store);
+    const sources = coordinatesUnder(join(fold.root, fold.under ?? ''), fold.root, (dir) => dir === '' || (role(dir) !== 'foreign' && join(fold.root, dir) !== fold.store))
+        .filter((coordinate) => role(coordinate) === 'source');
+    const seen = new Set(fold.observed.map((line) => fieldOf(line, 'scope')));
+    return { unread: sources.filter((coordinate) => !seen.has(coordinate)).length, sources: sources.length };
+}

package/dist/render/target.d.ts

@@ -0,0 +1,18 @@
+import type { Fork } from '../fold/claims.ts';
+/** TARGET is a render of the fold of the owner's ledger: a fork shows every signed line that stands, under a note. */
+export declare function renderTarget(ownerLines: readonly string[], today?: string, authority?: (line: string) => {
+    readonly kind: string;
+    readonly why?: string;
+}, receipts?: readonly {
+    readonly scope: string;
+    readonly moved: readonly string[];
+}[]): {
+    readonly text: string;
+    readonly standing: number;
+    readonly superseded: readonly string[];
+    readonly retracted: readonly string[];
+    readonly forks: readonly Fork[];
+    readonly grey: readonly string[];
+    readonly refused: readonly string[];
+    readonly vacuous: readonly string[];
+};

package/dist/render/target.js

@@ -0,0 +1,52 @@
+import { claimKey, foldClaims } from "../fold/claims.js";
+import { PROTOCOL } from '@lapxo/topos/wire';
+const scopeOf = (line) => /(?:^|\s)scope=([^\s]+)/.exec(line)?.[1] ?? '';
+/** A root policy line: signed by a key the authority reads, or one of the few scopes that bind unsigned. */
+function isRootPolicyLine(line) {
+    if (!line.startsWith(PROTOCOL))
+        return false;
+    return /\bsig=/.test(line);
+}
+const isExpired = (line, today) => ((expires) => expires !== undefined && expires < today)(/(?:^|\s)expires=(\d{4}-\d{2}-\d{2})/.exec(line)?.[1]);
+/** TARGET is a render of the fold of the owner's ledger: a fork shows every signed line that stands, under a note. */
+export function renderTarget(ownerLines, today = new Date().toISOString().slice(0, 10), authority, receipts) {
+    const folded = foldClaims(ownerLines.filter((line) => isRootPolicyLine(line) && !isExpired(line, today)), receipts);
+    const forked = new Map(folded.forks.map((f) => [f.key, f]));
+    const sorted = folded.standing.slice().sort((a, b) => {
+        const left = `${scopeOf(a)} ${claimKey(a)}`;
+        const right = `${scopeOf(b)} ${claimKey(b)}`;
+        return left < right ? -1 : left > right ? 1 : 0;
+    });
+    const body = [];
+    const announced = new Set();
+    const grey = [];
+    const refused = [];
+    for (const line of sorted) {
+        const key = claimKey(line);
+        const fork = forked.get(key);
+        if (fork && !announced.has(key)) {
+            announced.add(key);
+            body.push(`# fork ${key} · ${fork.lines.length} signed lines stand; narrow or withdraw one`);
+        }
+        const verdict = authority?.(line);
+        if (verdict?.kind === 'grey') {
+            grey.push(line);
+            body.push(`# grey ${scopeOf(line)} · ${verdict.why ?? ''}`);
+        }
+        else if (verdict?.kind === 'refuse') {
+            refused.push(line);
+            body.push(`# refuse ${scopeOf(line)} · ${verdict.why ?? ''}`);
+        }
+        body.push(line);
+    }
+    return {
+        text: `# rendered from ledger/owner\n${body.join('\n')}${body.length ? '\n' : ''}`,
+        standing: folded.standing.length,
+        superseded: folded.superseded,
+        retracted: folded.retracted,
+        forks: folded.forks,
+        grey,
+        refused,
+        vacuous: folded.vacuous,
+    };
+}

package/dist/render/view.d.ts

@@ -0,0 +1,22 @@
+import type { PlaceFold } from '../cli/place.ts';
+import type { View } from '../fold/views.ts';
+export declare const askWhy: (fold: PlaceFold, coord: string) => void;
+export declare const unrendered: (fold: PlaceFold, view: {
+    readonly regions: readonly {
+        readonly name: string;
+    }[];
+}) => readonly string[];
+export declare function render(fold: PlaceFold, regions: readonly {
+    readonly name: string;
+    readonly at: number;
+}[], shape?: string): string;
+export declare function prerender(fold: PlaceFold, views: readonly View[]): void;
+export declare function viewOf(fold: PlaceFold, view: View): string;
+export declare function renderedOf(fold: PlaceFold, view: {
+    readonly name: string;
+    readonly shape: string;
+    readonly regions: readonly {
+        readonly name: string;
+        readonly at: number;
+    }[];
+}): readonly string[];

package/dist/render/view.js

@@ -0,0 +1,191 @@
+import { receiptRegion } from "./receipts.js";
+import { releasePolicyLines } from "../fold/release-policy.js";
+import { join } from "../host/io.js";
+import { observeText } from "../observe/files.js";
+import { secondName } from "./page.js";
+import { capsuleAnswers, capsuleRegions, capsuleViews } from "./capsule.js";
+import { declaredBy } from "../observe/regions.js";
+import { readersBehind } from "../fold/observed.js";
+import { LOCK, canonical, matches } from '@lapxo/topos/wire';
+import { STATES } from '@lapxo/obligations';
+import { fieldOf, foldClaims, selfName } from "../fold/claims.js";
+import { keepRender, keptRender } from "../fold/kept.js";
+import { bytesDigest } from "../fold/digests.js";
+import { writerFor } from "../fold/signers.js";
+import { lockLines } from "../fold/keys.js";
+import { horizonOf, moved, shapeLines } from "./shape.js";
+import { rankLines } from "../fold/rank.js";
+import { differing, regionsOf } from "../fold/region.js";
+import { verdictsFor } from "../fold/paid.js";
+import { field } from "./field.js";
+import { helpLines } from "../cli/names.js";
+const block = (name, lines) => (lines.length ? [`## ${name}`, '', '```', ...lines, '```'] : []);
+const seconds = (ms) => `${(ms / 1000).toFixed(1)} s`;
+const statesOf = (fold) => {
+    const held = new Map();
+    for (const one of Object.values(verdictsFor(fold)))
+        held.set(one, (held.get(one) ?? 0) + 1);
+    return STATES.flatMap((one) => (held.get(one) ? [`${one} ${held.get(one)}`] : []));
+};
+const programs = (fold) => {
+    const median = fold.costs.length ? [...fold.costs].sort((a, b) => a - b)[Math.floor(fold.costs.length / 2)] ?? 0 : 0;
+    const turned = moved(fold);
+    const far = horizonOf(fold);
+    const refusedByReader = fold.observed.filter((line) => fieldOf(line, 'scope') === 'refuse/reader').length;
+    const c = fold.ceilings;
+    return block('programs', [
+        `PROGRAMS${fold.under ? ` ${fold.under}` : ''} ${[`${fold.claims} claims`, ...statesOf(fold), `${fold.history.length} history`].join(' · ')}`
+            + ` · ${fold.forks.length + (fold.second.verdict === 'forks' ? 1 : 0)} forks · ${fold.grey.length} grey · ${fold.refused.length} refused · ${fold.vacuous} vacuous`
+            + ` · ${secondName()} ${fold.second.verdict}${fold.second.verdict === 'agrees' && !fold.second.external ? ', never disagreed' : ''}`
+            + ` · store ${fold.observed.length} observed${refusedByReader ? ` · ${refusedByReader} refuse·reader` : ''}`
+            + (fold.under ? ` · ceilings ${c.read} met here · ${c.short.length} short · ${c.over.length} over`
+                : ` · ceilings ${c.read}/${c.total} read · ${c.short.length} short · ${c.over.length} over · ${c.unread.length} unread${c.vacuous.length ? ` · ${c.vacuous.length} vacuous unread` : ''}`)
+            + ` · ${fold.effects} · take ${fold.costs.length ? seconds(fold.costs[fold.costs.length - 1] ?? 0) : 'none'} last`
+            + (fold.costs.length > 1 ? ` · ${seconds(median)} median of ${fold.costs.length}` : ''),
+        ...shapeLines(fold),
+        ...rankLines(fold),
+        `OPEN     ${(fold.open ?? []).length} unresolved decisions`,
+        `MOVED    ${turned.observation + turned.signature} verdicts turned · ${turned.observation} by observation · ${turned.signature} by signature`,
+        `HORIZON  ${far.unread} of ${far.sources} sources no reader reaches`,
+        ...releasePolicyLines(fold.release),
+        ...asCells(fold),
+    ]);
+};
+/**
+ * A key and a lock are cells under the one relation: what each has signed is its floor, what it may sign its ceiling,
+ * and it stays grey while it is its own only origin. What a place has already been observed to be travels with it as
+ * the reader's own lines, digest and all: a clone lands them and runs nothing, since running is how a second head
+ * disagrees and not how the first one sees green.
+ */
+function asCells(fold) {
+    const signed = fold.signed;
+    const coverage = new Map();
+    for (const line of fold.standing) {
+        const key = /^keys\/([^/]+)$/.exec(fieldOf(line, 'scope'))?.[1];
+        if (key && fieldOf(line, 'measure') === 'coverage')
+            coverage.set(key, fieldOf(line, 'value'));
+    }
+    const colour = fold.second.verdict === 'agrees' ? 'green' : fold.second.verdict === 'forks' ? 'fork' : 'grey';
+    const alone = fold.second.verdict === 'agrees' ? 0 : fold.claims;
+    return [
+        ...[...coverage].sort().map(([key, covers]) => `KEY      keys/${key} · floor ${signed.get(key) ?? 0} lines signed · ceiling ${covers} · ${signed.get(key) ? colour : 'grey'}`),
+        `LOCK     ${fold.under ?? ''}${LOCK} · floor ${fold.landed} sources vouched · ceiling ${fold.lock} lines · ${colour}`,
+        `BLIND    ${alone} lines stand on one origin · second head ${fold.second.verdict === 'stale' && fold.second.epoch ? `agreed at epoch ${fold.second.epoch}, elsewhere` : fold.second.verdict}`,
+    ];
+}
+const whyAt = new WeakMap();
+export const askWhy = (fold, coord) => { whyAt.set(fold, coord); };
+const why = (fold) => {
+    const coord = whyAt.get(fold);
+    if (coord) {
+        const hits = fold.standing.filter((line) => fieldOf(line, 'needs').split('|').includes(coord) || fieldOf(line, 'shape') === coord);
+        return block('why', hits.length ? hits.map((line) => `WHY      ${fieldOf(line, 'scope')} · ${fieldOf(line, 'at')} · ${fieldOf(line, 'value')}`) : [`OPEN     ${coord}`]);
+    }
+    const named = fold.standing.find((line) => fieldOf(line, 'scope') === `${fold.under ?? ''}view/why` || fieldOf(line, 'scope') === 'view/why');
+    const at = fieldOf(named ?? '', 'shape') || fieldOf(named ?? '', 'needs').split('|').find(Boolean) || '';
+    const held = at ? observeText(join(fold.root, fold.under ?? '', at)) : undefined;
+    if (held === undefined)
+        return [];
+    const prose = held.replace(/^---\n[\s\S]*?\n---\n/, '').split('\n\n')
+        .map((part) => part.trim()).filter((part) => part && !part.startsWith('#'))
+        .map((part) => part.split('\n').join(' '));
+    return prose.length ? ['## why', '', ...prose.flatMap((part) => [part, ''])].slice(0, -1) : [];
+};
+const sign = (fold) => {
+    const keys = fold.standing
+        .filter((line) => /^keys\/[^/]+$/.test(fieldOf(line, 'scope')) && fieldOf(line, 'measure') === 'class')
+        .map((line) => `KEY      ${fieldOf(line, 'scope').slice('keys/'.length)} · ${fieldOf(line, 'value')}`);
+    return block('sign', [
+        `SIGN     write the lines you propose as by=target, then: ${selfName()} sign <file> --key-file <pem of an admitted key>`,
+        'SIGN     a line is never edited in place: withdraw the old content in the same batch, or the fold forks',
+        ...keys,
+    ]);
+};
+const take = (fold) => block('take', [
+    `TAKE     ${selfName()} land <batch> --key-file <pem> · the land that takes a demand pays it by moving what it asks about`,
+    ...fold.missing.map((line) => `TAKE     ${fieldOf(line, 'scope')} · open: sign it again in a batch`),
+]);
+const red = (fold) => block('red', [
+    ...readersBehind().map((one) => `GREY     reading: ${one.module} · ${one.places} places · lands behind this fold`),
+    ...fold.ceilings.short.map((s) => `SHORT    ${s}`),
+    ...fold.ceilings.over.map((o) => `OVER     ${o}`),
+    ...fold.missing.map((line) => `MISSING  ${fieldOf(line, 'scope')}`),
+    ...fold.orphans.map((file) => `ORPHAN   ${file}`),
+    ...(fold.under ? [] : [
+        ...(fold.ceilings.unread.length ? [`UNREAD   ${fold.ceilings.unread.join(' · ')}`] : []),
+        ...(fold.ceilings.vacuous.length ? [`VACUOUS  ${fold.ceilings.vacuous.join(' · ')}`] : []),
+        ...fold.refused.map((line) => `REFUSED  ${fieldOf(line, 'scope')}`),
+    ]),
+]);
+const forks = (fold) => block('forks', [
+    ...fold.forks.map((fork) => `FORK     ${fork.key}`),
+    ...(fold.second.verdict === 'forks' ? [`FORK     ${secondName()}/target · the second head finds other lines standing`] : []),
+]);
+const history = (fold) => {
+    const lines = lockLines(fold.store);
+    const at = (epoch) => foldClaims(lines.filter((line) => (Number(fieldOf(line, 'epoch')) || 0) <= epoch)).standing;
+    const moved = differing(regionsOf(at(fold.epoch - 1), at(fold.epoch - 1), []), regionsOf(at(fold.epoch), at(fold.epoch), []));
+    return block('history', [
+        ...fold.history.map((line) => `HISTORY  ${fieldOf(line, 'scope')} · ${fieldOf(line, 'at')}`),
+        ...moved.regions.map((region) => `MOVED    ${region || '.'} · at epoch ${fold.epoch} · ${moved.compared} regions compared`),
+    ]);
+};
+const REGIONS = {
+    receipts: (fold) => receiptRegion(fold, 1),
+    help: () => helpLines(),
+    lines: (fold) => fold.standing,
+    red, forks, programs, why, sign, take, history,
+    field: (fold) => field(fold, 3),
+};
+const AT = { field, receipts: receiptRegion };
+export const unrendered = (fold, view) => ((declared) => view.regions.map((asked) => asked.name).filter((name) => REGIONS[name] === undefined && !declared.some((glob) => matches(glob, name))))(declaredBy(fold));
+export function render(fold, regions, shape = '') {
+    const out = [];
+    const capsules = capsuleRegions(fold, regions.filter((asked) => REGIONS[asked.name] === undefined), shape);
+    for (const asked of regions) {
+        const region = REGIONS[asked.name];
+        const resolving = AT[asked.name];
+        const body = resolving !== undefined ? resolving(fold, asked.at) : region !== undefined ? read(region(fold), asked.at) : capsules.get(asked.name) ?? [];
+        if (body.length)
+            out.push(...body, '');
+    }
+    return `${out.join('\n').replace(/\n+$/, '')}\n`;
+}
+function read(body, at) {
+    if (at >= 3 || !body.length)
+        return body;
+    const head = body.findIndex((line) => line.startsWith('```'));
+    if (head < 0)
+        return at > 1 ? body : body.slice(0, 3);
+    const lines = body.slice(head + 1, body.lastIndexOf('```'));
+    const kept = at <= 1 ? lines.slice(0, 1) : lines.map((line) => line.split(' · ').slice(0, at).join(' · '));
+    return [...body.slice(0, head + 1), ...kept, '```'];
+}
+export function prerender(fold, views) {
+    const due = views.filter((view) => 'regions' in view && !(fold.key && keptRender(fold.store, fold.key, view.name) !== undefined));
+    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;
+    const kept = !live && fold.key ? keptRender(fold.store, fold.key, view.name) : undefined;
+    if (kept !== undefined)
+        return kept;
+    const text = render(fold, view.regions, view.shape);
+    const folder = writerFor(fold.standing, 'fold');
+    if (!live && fold.key && folder !== undefined)
+        keepRender(fold.store, folder, fold.key, view.name, fold.epoch, text);
+    return text;
+}
+export function renderedOf(fold, view) {
+    const answers = capsuleAnswers(fold, [{ asking: view.regions.filter((asked) => REGIONS[asked.name] === undefined), shape: view.shape }])[0];
+    const cone = view.shape ? bytesDigest(fold.store, new TextEncoder().encode(fold.standing.filter((line) => fieldOf(line, 'shape') === view.shape || fieldOf(line, 'needs').split('|').includes(view.shape)).join('\n'))) : '';
+    const head = cone ? [canonical({ scope: `rendered/${view.name}/cone`, role: 'writes', form: 'alphabet', measure: 'digest', value: cone, at: `place:${view.shape}`, by: 'target' })] : [];
+    return [...head, ...view.regions.flatMap((asked) => {
+            const answer = answers?.get(asked.name);
+            const by = REGIONS[asked.name] !== undefined ? fold.instrument : answer?.by;
+            if (!by)
+                return [];
+            const line = (measure, value) => canonical({ scope: `rendered/${view.name}/${asked.name}`, role: 'writes', form: 'alphabet', measure, value, at: `place:${by}`, by: 'target' });
+            return [line('digest', by), ...(answer ? [line('pin', `uses/${by}`)] : [])];
+        })];
+}

package/docs/readme-assets/atlas.svg

@@ -0,0 +1,169 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="1200" height="760" viewBox="0 0 1200 760" role="img" aria-labelledby="title desc">
+<title id="title">One history, several views</title><desc id="desc">Illustrative spatial view of B, C, G and independent D. C rests on B and G rests on C. B's travelling ceiling is 0 to 50 and travelling floor 40 to 100. Its local join widens only B to 0 to 100. Region receipts retain selected topos and implementation identity. Background points are decorative, not additional measured cells.</desc>
+<defs>
+<radialGradient id="bg"><stop stop-color="#163445"/><stop offset="1" stop-color="#080f1c"/></radialGradient>
+<radialGradient id="dot"><stop stop-color="#fff"/><stop offset=".4" stop-color="#b4f8ed"/><stop offset="1" stop-color="#2c8c9a"/></radialGradient>
+<linearGradient id="edge"><stop stop-color="#62d9c4"/><stop offset="1" stop-color="#8da4ef"/></linearGradient>
+<filter id="glow" x="-100%" y="-100%" width="300%" height="300%"><feGaussianBlur stdDeviation="12"/></filter>
+<marker id="arrow" viewBox="0 0 10 10" refX="8" refY="5" markerWidth="5" markerHeight="5" orient="auto-start-reverse"><path d="M0 0 10 5 0 10" fill="#7ce4d1"/></marker>
+</defs>
+<style>text{font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Arial,sans-serif;fill:#eef5fa}.muted{fill:#aac0ce;font-size:16px}.small{fill:#aac0ce;font-size:14px}.label{font-size:19px;font-weight:600}.mono{font-family:Menlo,Consolas,monospace;font-size:15px;fill:#8fe7d7}</style>
+<rect width="1200" height="760" rx="24" fill="url(#bg)"/>
+<text x="64" y="68" class="small" letter-spacing="3">THE ALGEBRA IN 60 SECONDS</text>
+<text x="64" y="118" font-size="38" font-weight="600">One history. Several views.</text>
+<text x="64" y="152" class="muted">A cell keeps its readings. A connection carries only what travels.</text>
+
+<path d="M687.2 493.6 Q622.5 471.6 557.7 519.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M687.2 493.6 Q611.8 400.4 536.4 377.1" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="687.2" cy="493.6" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M557.7 519.6 Q599.3 438.0 640.9 426.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M557.7 519.6 Q694.0 469.6 830.3 489.7" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="557.7" cy="519.6" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M640.9 426.5 Q679.9 444.8 718.9 533.1" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M640.9 426.5 Q532.8 423.4 424.6 490.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="640.9" cy="426.5" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M718.9 533.1 Q593.9 462.3 468.9 461.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M718.9 533.1 Q723.2 406.5 727.6 349.8" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="718.9" cy="533.1" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M468.9 461.5 Q624.8 408.6 780.7 425.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M468.9 461.5 Q584.9 469.0 701.0 546.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="468.9" cy="461.5" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M780.7 425.6 Q680.5 453.3 580.3 550.9" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M780.7 425.6 Q600.0 368.0 419.3 380.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="780.7" cy="425.6" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M580.3 550.9 Q558.3 429.0 536.4 377.1" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M580.3 550.9 Q726.7 444.2 873.2 407.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="580.3" cy="550.9" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M536.4 377.1 Q683.3 398.4 830.3 489.7" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M536.4 377.1 Q510.2 415.4 484.0 523.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="536.4" cy="377.1" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M830.3 489.7 Q627.4 455.0 424.6 490.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M830.3 489.7 Q713.5 362.0 596.8 304.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="830.3" cy="489.7" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M424.6 490.3 Q576.1 385.1 727.6 349.8" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M424.6 490.3 Q627.3 458.2 829.9 496.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="424.6" cy="490.3" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M727.6 349.8 Q714.3 413.1 701.0 546.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M727.6 349.8 Q546.7 349.1 365.9 418.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="727.6" cy="349.8" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M701.0 546.4 Q560.2 428.4 419.3 380.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M701.0 546.4 Q760.0 399.0 818.9 321.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="701.0" cy="546.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M419.3 380.4 Q646.3 358.9 873.2 407.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M419.3 380.4 Q518.5 419.1 617.6 527.9" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="419.3" cy="380.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M873.2 407.4 Q678.6 430.5 484.0 523.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M873.2 407.4 Q665.3 320.4 457.4 303.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="873.2" cy="407.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M484.0 523.6 Q540.4 378.9 596.8 304.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M484.0 523.6 Q690.8 432.3 897.5 411.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="484.0" cy="523.6" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M596.8 304.3 Q713.4 365.1 829.9 496.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M596.8 304.3 Q502.6 347.7 408.4 461.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="596.8" cy="304.3" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M829.9 496.0 Q597.9 422.2 365.9 418.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M829.9 496.0 Q759.5 344.6 689.1 263.2" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="829.9" cy="496.0" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M365.9 418.3 Q592.4 334.9 818.9 321.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M365.9 418.3 Q564.7 418.1 763.4 487.9" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="365.9" cy="418.3" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M818.9 321.5 Q718.3 389.7 617.6 527.9" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M818.9 321.5 Q597.5 294.7 376.0 338.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="818.9" cy="321.5" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M617.6 527.9 Q537.5 380.6 457.4 303.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M617.6 527.9 Q743.8 388.6 869.9 319.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="617.6" cy="527.9" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M457.4 303.3 Q677.5 322.2 897.5 411.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M457.4 303.3 Q493.2 355.5 529.1 477.7" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="457.4" cy="303.3" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M897.5 411.0 Q653.0 401.0 408.4 461.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M897.5 411.0 Q720.1 295.0 542.7 248.9" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="897.5" cy="411.0" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M408.4 461.0 Q548.8 327.1 689.1 263.2" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M408.4 461.0 Q631.6 401.1 854.7 411.2" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="408.4" cy="461.0" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M689.1 263.2 Q726.2 340.6 763.4 487.9" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M689.1 263.2 Q539.2 287.2 389.2 381.2" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="689.1" cy="263.2" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M763.4 487.9 Q569.7 377.9 376.0 338.0" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M763.4 487.9 Q762.5 335.1 761.7 252.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="763.4" cy="487.9" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M376.0 338.0 Q623.0 293.7 869.9 319.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M376.0 338.0 Q523.1 359.3 670.2 450.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="376.0" cy="338.0" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M869.9 319.4 Q699.5 363.5 529.1 477.7" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M869.9 319.4 Q659.0 260.9 448.0 272.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="869.9" cy="319.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M529.1 477.7 Q535.9 328.3 542.7 248.9" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M529.1 477.7 Q690.3 366.0 851.4 324.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="529.1" cy="477.7" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M542.7 248.9 Q698.7 295.1 854.7 411.2" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M542.7 248.9 Q514.0 289.8 485.2 400.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="542.7" cy="248.9" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M854.7 411.2 Q621.9 361.2 389.2 381.2" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M854.7 411.2 Q742.8 285.3 631.0 229.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="854.7" cy="411.2" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M389.2 381.2 Q575.4 281.7 761.7 252.3" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M389.2 381.2 Q574.0 347.8 758.8 384.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="389.2" cy="381.2" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M761.7 252.3 Q716.0 316.4 670.2 450.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M761.7 252.3 Q606.9 244.3 452.2 306.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="761.7" cy="252.3" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M670.2 450.6 Q559.1 326.5 448.0 272.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M670.2 450.6 Q715.3 322.0 760.3 263.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="670.2" cy="450.6" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M448.0 272.4 Q649.7 263.4 851.4 324.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M448.0 272.4 Q525.9 286.7 603.9 371.1" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="448.0" cy="272.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M851.4 324.4 Q668.3 327.5 485.2 400.6" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M851.4 324.4 Q707.4 252.6 563.4 250.8" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="851.4" cy="324.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M485.2 400.6 Q558.1 280.0 631.0 229.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M485.2 400.6 Q604.9 318.9 724.5 307.1" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="485.2" cy="400.6" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M631.0 229.4 Q694.9 271.9 758.8 384.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<path d="M631.0 229.4 Q605.0 231.0 579.1 302.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="631.0" cy="229.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M758.8 384.4 Q605.5 310.4 452.2 306.4" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="758.8" cy="384.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M452.2 306.4 Q606.2 249.9 760.3 263.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="452.2" cy="306.4" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M760.3 263.5 Q682.1 282.3 603.9 371.1" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="760.3" cy="263.5" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M603.9 371.1 Q583.6 276.0 563.4 250.8" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="603.9" cy="371.1" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M563.4 250.8 Q644.0 244.0 724.5 307.1" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="563.4" cy="250.8" r="1.6" fill="#8cafbc" opacity=".4"/>
+<path d="M724.5 307.1 Q651.8 269.8 579.1 302.5" stroke="#588d9e" stroke-width=".6" opacity=".13" fill="none"/>
+<circle cx="724.5" cy="307.1" r="1.6" fill="#8cafbc" opacity=".4"/>
+<circle cx="579.1" cy="302.5" r="1.6" fill="#8cafbc" opacity=".4"/>
+<ellipse cx="557" cy="422" rx="240" ry="132" transform="rotate(-16 557 422)" stroke="#547c96" stroke-dasharray="3 9" fill="#71b9bd" fill-opacity=".025"/>
+<path d="M391 402 Q469 255 583 351" stroke="url(#edge)" stroke-width="2.6" fill="none" marker-end="url(#arrow)"/>
+<path d="M603 367 Q681 397 689 457" stroke="url(#edge)" stroke-width="2.6" fill="none" marker-end="url(#arrow)"/>
+<ellipse cx="379" cy="420" rx="57" ry="24" transform="rotate(-20 379 420)" stroke="#bba4f8" stroke-width="2" fill="#bba4f8" fill-opacity=".06"/>
+<path d="M356 439 Q334 464 317 481" stroke="#bba4f8" opacity=".7" fill="none"/>
+<text x="65" y="283" class="label">Travelling bounds</text>
+<text x="65" y="313" class="mono">ceiling 0..50</text><text x="65" y="340" class="mono">floor 40..100</text>
+<text x="65" y="369" class="small">B → C → G</text>
+<path d="M243 319 289 319 336 398" stroke="#608797" fill="none"/>
+<text x="65" y="498" class="label">Local join</text>
+<text x="65" y="528" font-size="16" fill="#c3b2fa">B widens to 0..100</text>
+<text x="65" y="555" class="small">The travelling sign stays live.</text>
+<path d="M240 511 284 511 317 481" stroke="#847fa1" fill="none"/>
+
+<circle cx="379" cy="420" r="22" fill="#78d7c8" opacity=".4" filter="url(#glow)"/><circle cx="379" cy="420" r="8" fill="url(#dot)"/><text x="397" y="411" class="label">B</text>
+<circle cx="590" cy="354" r="22" fill="#78d7c8" opacity=".4" filter="url(#glow)"/><circle cx="590" cy="354" r="8" fill="url(#dot)"/><text x="608" y="345" class="label">C</text>
+<circle cx="690" cy="468" r="22" fill="#78d7c8" opacity=".4" filter="url(#glow)"/><circle cx="690" cy="468" r="8" fill="url(#dot)"/><text x="708" y="459" class="label">G</text>
+<circle cx="927" cy="302" r="22" fill="#78d7c8" opacity=".4" filter="url(#glow)"/><circle cx="927" cy="302" r="8" fill="url(#dot)"/><text x="945" y="293" class="label">D</text>
+<text x="621" y="331" class="small">ceiling 0..50</text>
+<text x="718" y="496" class="small">ceiling 0..50</text>
+<text x="868" y="251" class="label">Independent cell</text>
+<text x="868" y="278" class="small">D declares no rest on B.</text>
+<text x="449" y="573" class="small">Region: the cells selected by a view</text>
+<path d="M64 624H1136" stroke="#304658"/>
+<text x="64" y="664" class="label">Selected topos</text>
+<text x="64" y="693" class="small">Forms and views · pinned folded standing</text>
+<text x="655" y="664" class="label">Receipts at resolution 1</text>
+<text x="655" y="693" class="small">Semantic inputs + selected implementation</text>
+<text x="64" y="733" font-size="12" fill="#8ea6b7">Illustrative layout · connections denote declared rest · position and size do not measure importance</text>
+</svg>