@lapxo/bound 0.2.4 → 0.2.5

package/dist/render/capsule.js

@@ -1,30 +1 @@
-import { matches } from '@lapxo/topos/wire';
-import { askingOf, capsulesOf } from "../observe/regions.js";
-export const capsuleRegions = (fold, asking, shape = '') => capsuleViews(fold, [{ asking, shape }])[0] ?? new Map();
-/**
- * A region this instrument does not render is rendered by a capsule: one the place uses by the digest of its lock and
- * its bytes, or else one the instrument carries. What the views of one fold ask of each capsule is asked at once; a
- * region one capsule answered is not asked of another, and one it refused or never answered is named and asked of the
- * next only when no region was offered. A refusal from an offered region stops the request; it never selects another implementation.
- */
-export const capsuleViews = (fold, views) => capsuleAnswers(fold, views).map((answers) => new Map([...answers].map(([name, answer]) => [name, answer.lines])));
-/** What each capsule answered a view's regions with, the capsule by its digest, and whether the place's pin chose it. */
-export function capsuleAnswers(fold, views) {
-    const outs = views.map(() => new Map());
-    if (!views.some((view) => view.asking.length))
-        return outs;
-    const asking = askingOf(fold);
-    for (const capsule of capsulesOf(fold)) {
-        const asked = views.flatMap((view, i) => view.asking.filter((one) => capsule.declaration.renders.some((glob) => matches(glob, one.name)) && !outs[i].has(one.name))
-            .flatMap((one) => ((request) => (request === undefined ? [] : [{ i, one, request }]))(asking(capsule.declaration, one, 'render', view.shape))));
-        const answers = capsule.ask(asked.map((one) => one.request));
-        asked.forEach(({ i, one, request }, at) => {
-            const said = answers[at];
-            if (said?.kind === 'fact')
-                outs[i].set(one.name, { lines: ((got) => got.lines ?? got.leaf ?? [])(said), by: capsule.digest });
-            else
-                throw new Error(`REFUSE·capsule ${capsule.digest} · ${request.rootScope}${one.name} · ${said?.why ?? 'no answer'}`);
-        });
-    }
-    return outs;
-}
+var d=Object.defineProperty;var p=(s,e)=>d(s,"name",{value:e,configurable:!0});import{library11_matches as h}from"../vendor/runtime.js";import{askingOf as g,capsulesOf as k}from"../observe/regions.js";const y=p((s,e,n="")=>w(s,[{asking:e,shape:n}])[0]??new Map,"capsuleRegions"),w=p((s,e)=>M(s,e).map(n=>new Map([...n].map(([i,a])=>[i,a.lines]))),"capsuleViews");function M(s,e){const n=e.map(()=>new Map);if(!e.some(a=>a.asking.length))return n;const i=g(s);for(const a of k(s)){const m=e.flatMap((t,c)=>t.asking.filter(r=>a.declaration.renders.some(o=>h(o,r.name))&&!n[c].has(r.name)).flatMap(r=>(o=>o===void 0?[]:[{i:c,one:r,request:o}])(i(a.declaration,r,"render",t.shape)))),u=a.ask(m.map(t=>t.request));m.forEach(({i:t,one:c,request:r},o)=>{const l=u[o];if(l?.kind==="fact")n[t].set(c.name,{lines:(f=>f.lines??f.leaf??[])(l),by:a.digest});else throw new Error(`REFUSE\xB7capsule ${a.digest} \xB7 ${r.rootScope}${c.name} \xB7 ${l?.why??"no answer"}`)})}return n}p(M,"capsuleAnswers");export{M as capsuleAnswers,y as capsuleRegions,w as capsuleViews};

package/dist/render/field.js

@@ -1,40 +1 @@
-import { fieldOf } from "../fold/claims.js";
-import { placesIn } from "../fold/places.js";
-import { placedAt } from "../fold/reach.js";
-import { polesOf, rankOf, unpackRegions } from "../fold/region.js";
-import { INTERVALS } from '@lapxo/topos/forms';
-const WORST = ['disagreement', 'outside', 'unanswered', 'met'];
-const empty = (ceiling) => ceiling !== undefined && 'lo' in ceiling && !INTERVALS.inhabited(ceiling);
-/** Host file-region readings, grouped by coordinate prefix. These statuses do not compute object encounters. */
-export function field(fold, at) {
-    if (fold.regions === undefined)
-        return ['GREY     field · this fold carries no region summaries; it is read again at the next fold'];
-    const regions = unpackRegions(fold.regions);
-    const places = placesIn(fold.root);
-    const place = fold.under?.replace(/\/$/, '');
-    const here = (line) => place === undefined || [place, undefined].includes(placedAt(places, line));
-    const own = { ...fold.own, unread: fold.ceilings.unread.length + fold.ceilings.vacuous.length };
-    const poles = new Map();
-    const states = [
-        ...regions.bounds.filter((bound) => here(bound.line)).map((bound) => {
-            const ceiling = (poles.get(bound.region) ?? poles.set(bound.region, polesOf(regions, bound.region)).get(bound.region)).get(`${bound.question} ${bound.measure}`)?.ceiling;
-            const got = rankOf(regions, bound, own);
-            return [fieldOf(bound.line, 'scope'), empty(ceiling) ? 'disagreement' : got.bars || got.sums ? 'outside' : got.met ? 'met' : 'unanswered'];
-        }),
-        ...fold.missing.filter(here).map((line) => [fieldOf(line, 'scope'), 'unanswered']),
-        ...fold.forks.flatMap((fork) => fork.lines.slice(0, 1)).filter(here).map((line) => [fieldOf(line, 'scope'), 'disagreement']),
-    ];
-    const cells = new Map();
-    for (const [scope, state] of states) {
-        const cell = scope.split('/').slice(0, Math.max(1, at)).join('/');
-        const held = cells.get(cell);
-        cells.set(cell, { state: held !== undefined && WORST.indexOf(held.state) < WORST.indexOf(state) ? held.state : state, bounds: (held?.bounds ?? 0) + 1 });
-    }
-    const ordered = [...cells].sort((a, b) => WORST.indexOf(a[1].state) - WORST.indexOf(b[1].state) || a[0].localeCompare(b[0]));
-    return [
-        '## field', '', '```',
-        `FIELD    @${at} · ${cells.size} groups · ${states.length} bounds · readings · no encounters computed · ${WORST.map((state) => `${state} ${ordered.filter(([, one]) => one.state === state).length}`).join(' · ')}`,
-        ...ordered.map(([cell, one]) => `FIELD    ${cell} · ${one.state} · ${one.bounds} bounds`),
-        '```',
-    ];
-}
+var O=Object.defineProperty;var c=(n,o)=>O(n,"name",{value:o,configurable:!0});import{fieldOf as p}from"../fold/claims.js";import{placesIn as w}from"../fold/places.js";import{placedAt as x}from"../fold/reach.js";import{polesOf as E,rankOf as I,unpackRegions as R}from"../fold/region.js";import{library4_INTERVALS as L}from"../vendor/runtime.js";const i=["disagreement","outside","unanswered","met"],M=c(n=>n!==void 0&&"lo"in n&&!L.inhabited(n),"empty");function D(n,o){if(n.regions===void 0)return["GREY     field \xB7 this fold carries no region summaries; it is read again at the next fold"];const l=R(n.regions),$=w(n.root),m=n.under?.replace(/\/$/,""),d=c(e=>m===void 0||[m,void 0].includes(x($,e)),"here"),h={...n.own,unread:n.ceilings.unread.length+n.ceilings.vacuous.length},g=new Map,u=[...l.bounds.filter(e=>d(e.line)).map(e=>{const s=(g.get(e.region)??g.set(e.region,E(l,e.region)).get(e.region)).get(`${e.question} ${e.measure}`)?.ceiling,t=I(l,e,h);return[p(e.line,"scope"),M(s)?"disagreement":t.bars||t.sums?"outside":t.met?"met":"unanswered"]}),...n.missing.filter(d).map(e=>[p(e,"scope"),"unanswered"]),...n.forks.flatMap(e=>e.lines.slice(0,1)).filter(d).map(e=>[p(e,"scope"),"disagreement"])],r=new Map;for(const[e,s]of u){const t=e.split("/").slice(0,Math.max(1,o)).join("/"),a=r.get(t);r.set(t,{state:a!==void 0&&i.indexOf(a.state)<i.indexOf(s)?a.state:s,bounds:(a?.bounds??0)+1})}const f=[...r].sort((e,s)=>i.indexOf(e[1].state)-i.indexOf(s[1].state)||e[0].localeCompare(s[0]));return["## field","","```",`FIELD    @${o} \xB7 ${r.size} groups \xB7 ${u.length} bounds \xB7 readings \xB7 no encounters computed \xB7 ${i.map(e=>`${e} ${f.filter(([,s])=>s.state===e).length}`).join(" \xB7 ")}`,...f.map(([e,s])=>`FIELD    ${e} \xB7 ${s.state} \xB7 ${s.bounds} bounds`),"```"]}c(D,"field");export{D as field};

package/dist/render/names.js

@@ -1,4 +1 @@
-/** The regions bound renders itself, by name: a view that asks any other is answered by a capsule that declares it, or refused whole. */
-export const REGION_NAMES = [
-    'receipts', 'help', 'lines', 'red', 'forks', 'programs', 'why', 'sign', 'take', 'history', 'field', 'evidence',
-];
+const e=["receipts","help","lines","red","forks","programs","why","sign","take","history","field","evidence"];export{e as REGION_NAMES};

package/dist/render/open.js

@@ -1,61 +1 @@
-import { fieldOf } from "../fold/claims.js";
-import { alphabet } from '@lapxo/topos/wire';
-import { declaredConfig as declared } from '@lapxo/topos/forms';
-import { bytesDigest } from "../fold/digests.js";
-/**
- * What is open, as cells, taken once when the tree is folded and read by the view rather than taken again at every
- * render. A line of the lock with more than one bit still free is a question this tree has not answered; a cell with
- * one legal state is applied and not open; a cell a reading has already answered is applied whatever its width; a
- * cell standing on one origin with a closer already named is asked and not open. A cell says of itself that it is a
- * decision: a ceiling in force is not a question because it is wide, and a lock with no decision in it is a lock with
- * nothing open, which the render says by saying nothing. What each state would be worth is rendered beside it, and a quantity this instrument cannot yet take is
- * rendered grey with the name of what would take it, never as a number it invented.
- */
-export function openCells(input) {
-    const { store, standing, observed } = input;
-    const rests = new Map();
-    const asked = new Set();
-    for (const line of standing) {
-        for (const name of fieldOf(line, 'restsOn').split('|').filter(Boolean))
-            rests.set(name, (rests.get(name) ?? 0) + 1);
-        for (const need of fieldOf(line, 'needs').split('|').filter(Boolean))
-            asked.add(need);
-    }
-    const by = new Map();
-    for (const line of [...standing, ...observed]) {
-        const at = fieldOf(line, 'scope');
-        by.set(at, (by.get(at) ?? new Set()).add(fieldOf(line, 'by')));
-    }
-    const grey = new Set(input.grey.map((line) => fieldOf(line, 'scope')));
-    const answered = new Set(observed.map((line) => fieldOf(line, 'scope')));
-    const asDecision = standing.filter((line) => fieldOf(line, 'shape') === 'decision' && fieldOf(line, 'value') !== 'withdraw');
-    const held = asDecision.length ? asDecision : [];
-    const out = [];
-    for (const line of held) {
-        const scope = fieldOf(line, 'scope');
-        const value = fieldOf(line, 'value');
-        const freedom = declared(line);
-        const bits = freedom.bits;
-        if (freedom.kind === 'inactive' || (bits !== null && bits < 1))
-            continue;
-        if (answered.has(scope) || (grey.has(scope) && asked.has(scope)))
-            continue;
-        const needs = fieldOf(line, 'needs');
-        out.push({
-            scope,
-            ceiling: value,
-            bits,
-            freedom: freedom.kind,
-            states: freedom.kind === 'finite' && freedom.form === 'alphabet' ? [...new Set(alphabet(value).members)] : [],
-            origins: [...(by.get(scope) ?? new Set())].sort(),
-            rank: rests.get(scope) ?? 0,
-            cone: needs ? bytesDigest(store, new TextEncoder().encode(needs)).replace(/^[^:]*:/, '').slice(0, 8) : '',
-        });
-    }
-    return out.sort((a, b) => b.rank - a.rank || (b.bits ?? 0) - (a.bits ?? 0) || a.scope.localeCompare(b.scope));
-}
-export const openCards = (open) => open.flatMap((cell) => [
-    `OPEN     ${cell.scope} · cone ${cell.cone || 'grey · a demand would name it'} · ceiling ${cell.ceiling}`
-        + ` · origins ${cell.origins.length} ${cell.origins.join(' ')} · ${cell.bits === null ? `unknown freedom (${cell.freedom})` : `${cell.bits.toFixed(1)} bits`}`,
-    ...cell.states.map((state) => `CANDIDATE ${state} · rank ${cell.rank}`),
-]);
+var $=Object.defineProperty;var f=(s,o)=>$(s,"name",{value:o,configurable:!0});import{fieldOf as t}from"../fold/claims.js";import{library11_alphabet as y}from"../vendor/runtime.js";import{library4_declaredConfig as S}from"../vendor/runtime.js";import{bytesDigest as v}from"../fold/digests.js";function O(s){const{store:o,standing:i,observed:p}=s,a=new Map,m=new Set;for(const e of i){for(const n of t(e,"restsOn").split("|").filter(Boolean))a.set(n,(a.get(n)??0)+1);for(const n of t(e,"needs").split("|").filter(Boolean))m.add(n)}const c=new Map;for(const e of[...i,...p]){const n=t(e,"scope");c.set(n,(c.get(n)??new Set).add(t(e,"by")))}const h=new Set(s.grey.map(e=>t(e,"scope"))),u=new Set(p.map(e=>t(e,"scope"))),l=i.filter(e=>t(e,"shape")==="decision"&&t(e,"value")!=="withdraw"),k=l.length?l:[],g=[];for(const e of k){const n=t(e,"scope"),b=t(e,"value"),r=S(e),d=r.bits;if(r.kind==="inactive"||d!==null&&d<1||u.has(n)||h.has(n)&&m.has(n))continue;const w=t(e,"needs");g.push({scope:n,ceiling:b,bits:d,freedom:r.kind,states:r.kind==="finite"&&r.form==="alphabet"?[...new Set(y(b).members)]:[],origins:[...c.get(n)??new Set].sort(),rank:a.get(n)??0,cone:w?v(o,new TextEncoder().encode(w)).replace(/^[^:]*:/,"").slice(0,8):""})}return g.sort((e,n)=>n.rank-e.rank||(n.bits??0)-(e.bits??0)||e.scope.localeCompare(n.scope))}f(O,"openCells");const A=f(s=>s.flatMap(o=>[`OPEN     ${o.scope} \xB7 cone ${o.cone||"grey \xB7 a demand would name it"} \xB7 ceiling ${o.ceiling} \xB7 origins ${o.origins.length} ${o.origins.join(" ")} \xB7 ${o.bits===null?`unknown freedom (${o.freedom})`:`${o.bits.toFixed(1)} bits`}`,...o.states.map(i=>`CANDIDATE ${i} \xB7 rank ${o.rank}`)]),"openCards");export{A as openCards,O as openCells};

package/dist/render/page.js

@@ -1,7 +1 @@
-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');
+var a=Object.defineProperty;var s=(r,o)=>a(r,"name",{value:o,configurable:!0});import{fieldOf as e}from"../fold/claims.js";import{ownLock as p}from"../observe/runner.js";import{library11_steps as n}from"../vendor/runtime.js";const c=s((r,o)=>e(p().find(t=>e(t,"scope")===r&&(!o||e(t,"measure")===o)&&e(t,"value")!=="withdraw")??"","value"),"own"),u=s(()=>n(c("head/second"))[0]??"","secondName"),w=s(r=>(r.under??"").replace(/\/$/,"")||e(r.standing.find(o=>e(o,"scope")==="publish/bootstrap"&&e(o,"value")!=="withdraw")??"","value"),"nameOf");export{w as nameOf,u as secondName};

package/dist/render/receipts.js

@@ -1,47 +1 @@
-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());
-    // 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] : []);
-    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}`);
-}
+var k=Object.defineProperty;var m=(e,r)=>k(e,"name",{value:r,configurable:!0});import{library11_canonical as c}from"../vendor/runtime.js";import{selectedWireList as E}from"../host/selected-topos.js";import{fieldOf as p}from"../fold/claims.js";import{ownLockOf as L}from"../fold/signed.js";import{library6_receiptProjection as R}from"../vendor/runtime.js";import{receiptsOf as j,keepCarried as x}from"../fold/resolved.js";import{bytesDigest as D}from"../fold/digests.js";import{keyOf as P}from"../fold/keys.js";import{fileRegionDigest as W}from"../fold/closed.js";import{readersBehind as _}from"../fold/observed.js";import{instrumentDigest as B}from"../fold/digests.js";import{ownLock as y,ownRoot as C,sourceOf as F}from"../observe/runner.js";import{wireLine as M}from"../fold/wire.js";function X(e,r){const l=e.under?L(e.root,e.under.replace(/\/$/,"")):e.standing,a="uses/",v=l.filter(t=>{const n=p(t,"scope");return n.startsWith(a)&&n.length>a.length&&!n.slice(a.length).includes("/")&&p(t,"value")!=="withdraw"}),$=E(l,e.epoch,v,"receipt-fields"),f=M(y(),"receipt-instrument"),s=f===void 0?void 0:p(f,"value"),u=s===void 0?void 0:B(e.store,F(),[],C(),y()),i=[...j(e).filter(t=>!s||p(t,"scope")!==s),...s&&u?[c({scope:s,role:"writes",form:"alphabet",measure:"digest",value:u,at:`place:${u}`,by:"bound"})]:[]],d=m(t=>D(e.store,new TextEncoder().encode(t)),"hash"),b=P(e.store,"attest"),h=R(i,$,d,b?[b]:[]),O=x(e.store,i);if(r===0)return[c({scope:"receipts",role:"writes",form:"alphabet",measure:"digest",value:h.root,at:`place:${O}`,by:"bound"})];if(r===1){const t=d("").split(":")[0],n=_().length===0;return h.regions.flatMap(o=>{const w=W(e.root,e.under??"",o.scope,t,i),g=c({scope:o.scope,role:"writes",form:"interval",measure:"count",value:`${o.count}..${o.count}`,at:`place:${o.digest}`,by:"bound"});return n?[g,c({scope:o.scope,role:"writes",form:"alphabet",measure:"bytes",value:w,at:`place:${w}`,by:"bound"})]:[g]})}if(r===8)return i;throw Error(`REFUSE\xB7receipt unsupported resolution ${r}`)}m(X,"receiptRegion");export{X as receiptRegion};

package/dist/render/shape.js

@@ -1,74 +1 @@
-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 };
-}
+var u=Object.defineProperty;var i=(e,n)=>u(e,"name",{value:n,configurable:!0});import{join as h}from"../host/io.js";import{library14_coherence as w}from"../vendor/runtime.js";import{fieldOf as p}from"../fold/claims.js";import{ledgerLines as M}from"../land/ledger.js";import{coordinatesUnder as O}from"../observe/files.js";import{rolesOf as $}from"../fold/roles.js";const z=i(e=>e.split("/")[0]??e,"headOf");function S(e){const n=new Map,r=new Map,t=new Map,s=i((o,c,a)=>{const g=z(o);n.set(g,(n.get(g)??new Set).add(c)),r.set(g,[...r.get(g)??[],a]);const f=t.get(g)??new Map;f.set(o,(f.get(o)??new Set).add(c)),t.set(g,f)},"spoke");for(const o of e.standing)s(p(o,"scope"),p(o,"by"),Number(p(o,"epoch"))||0);for(const o of e.observed)s(p(o,"scope"),p(o,"by"),e.epoch);return new Map([...n].sort().map(([o,c])=>[o,{origins:c,epochs:r.get(o)??[],alone:[...(t.get(o)??new Map).values()].filter(a=>a.size<2).length,scopes:(t.get(o)??new Map).size}]))}i(S,"regionsOf");const b=i(e=>e.origins.size>2?"polygon":e.origins.size===2?"edge":"point","shapeOf"),m=i(e=>Math.max(...e.epochs)-Math.min(...e.epochs),"widthOf"),l=i(e=>`${new Set(e.epochs).size} of ${m(e)+1}`,"rhythmOf"),v=i(e=>e.epoch+1,"periodOf"),d=i((e,n)=>w(e.epochs.map((r,t)=>({origin:String(t),epoch:r,span:{lo:0,hi:1}})),n),"togetherness");function F(e){const n=v(e);return[...S(e)].map(([r,t])=>`SHAPE    ${r} \xB7 ${b(t)} of ${t.origins.size} \xB7 ${t.alone?"fragile":"robust"} \xB7 coherence ${d(t,n).toFixed(2)} \xB7 width ${m(t)} \xB7 rhythm ${l(t)}`)}i(F,"shapeLines");function H(e){const n=new Map,r=new Set;for(const o of M(e.store,"judge")){const c=p(o,"scope"),a=p(o,"value");n.has(c)&&n.get(c)!==a&&r.add(c),n.set(c,a)}const t=new Set(e.history.map(o=>p(o,"scope"))),s=[...r].filter(o=>t.has(o)).length;return{observation:r.size-s,signature:s}}i(H,"moved");function N(e){const n=$(e.store),r=O(h(e.root,e.under??""),e.root,s=>s===""||n(s)!=="foreign"&&h(e.root,s)!==e.store).filter(s=>n(s)==="source"),t=new Set(e.observed.map(s=>p(s,"scope")));return{unread:r.filter(s=>!t.has(s)).length,sources:r.length}}i(N,"horizonOf");export{N as horizonOf,H as moved,F as shapeLines};

package/dist/render/target.js

@@ -1,52 +1,4 @@
-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,
-    };
-}
+var k=Object.defineProperty;var c=(s,d)=>k(s,"name",{value:d,configurable:!0});import{claimKey as a,foldClaims as w}from"../fold/claims.js";import{library11_PROTOCOL as m}from"../vendor/runtime.js";const u=c(s=>/(?:^|\s)scope=([^\s]+)/.exec(s)?.[1]??"","scopeOf");function O(s){return s.startsWith(m)?/\bsig=/.test(s):!1}c(O,"isRootPolicyLine");const x=c((s,d)=>(f=>f!==void 0&&f<d)(/(?:^|\s)expires=(\d{4}-\d{2}-\d{2})/.exec(s)?.[1]),"isExpired");function P(s,d=new Date().toISOString().slice(0,10),f,h){const n=w(s.filter(e=>O(e)&&!x(e,d)),h),$=new Map(n.forks.map(e=>[e.key,e])),y=n.standing.slice().sort((e,t)=>{const i=`${u(e)} ${a(e)}`,r=`${u(t)} ${a(t)}`;return i<r?-1:i>r?1:0}),o=[],l=new Set,g=[],p=[];for(const e of y){const t=a(e),i=$.get(t);i&&!l.has(t)&&(l.add(t),o.push(`# fork ${t} \xB7 ${i.lines.length} signed lines stand; narrow or withdraw one`));const r=f?.(e);r?.kind==="grey"?(g.push(e),o.push(`# grey ${u(e)} \xB7 ${r.why??""}`)):r?.kind==="refuse"&&(p.push(e),o.push(`# refuse ${u(e)} \xB7 ${r.why??""}`)),o.push(e)}return{text:`# rendered from ledger/owner
+${o.join(`
+`)}${o.length?`
+`:""}`,standing:n.standing.length,superseded:n.superseded,retracted:n.retracted,forks:n.forks,grey:g,refused:p,vacuous:n.vacuous}}c(P,"renderTarget");export{P as renderTarget};

package/dist/render/view.js

@@ -1,197 +1,7 @@
-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 { fieldOf, foldClaims, selfName } from "../fold/claims.js";
-import { keepRender, keptRender } from "../fold/kept.js";
-import { bytesDigest, signaturesOf } from "../fold/digests.js";
-import { authorityFor, rootSigner, writerFor } from "../fold/signers.js";
-import { lockLines } from "../fold/keys.js";
-import { appliedIn } from "../fold/signed.js";
-import { ledgerLines } from "../land/ledger.js";
-import { horizonOf, moved, shapeLines } from "./shape.js";
-import { rankLines } from "../fold/rank.js";
-import { differing, regionsOf } from "../fold/region.js";
-import { field } from "./field.js";
-import { helpLines } from "../cli/names.js";
-/** Authenticated delivery history is evidence, not the place's normative standing. */
-const evidence = (fold) => {
-    const authority = authorityFor(lockLines(fold.store), rootSigner(fold.root), signaturesOf(fold.store).admitted);
-    const place = (fold.under ?? '').replace(/\/$/, '');
-    const deliveries = place ? appliedIn(fold.root, place)
-        : [...new Set(authority.admitted.flatMap(key => ledgerLines(fold.store, key.id)))];
-    return deliveries
-        .filter(line => authority.of(line).kind === 'admitted');
-};
-const block = (name, lines) => (lines.length ? [`## ${name}`, '', '```', ...lines, '```'] : []);
-const seconds = (ms) => `${(ms / 1000).toFixed(1)} s`;
-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`, `${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` : ''}`)
-            + ' · readings · no encounters computed'
-            + ` · ${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,
-    evidence,
-    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) {
-    // Native receipts project current file bytes, not only the cached fold's observations.
-    const live = !view.shape || view.regions.some(asked => asked.name === 'receipts');
-    const kept = !live && fold.key ? keptRender(fold.store, fold.key, view.name) : undefined;
-    if (kept !== undefined)
-        return kept;
-    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}`)] : [])];
-        })];
-}
+var E=Object.defineProperty;var a=(e,n)=>E(e,"name",{value:n,configurable:!0});import{viewInput as N}from"../host/reading-context.js";import{receiptRegion as u}from"./receipts.js";import{releasePolicyLines as S}from"../fold/release-policy.js";import{join as I}from"../host/io.js";import{observeText as w}from"../observe/files.js";import{secondName as d}from"./page.js";import{capsuleAnswers as L,capsuleRegions as M,capsuleViews as A}from"./capsule.js";import{declaredBy as K}from"../observe/regions.js";import{readersBehind as j}from"../fold/observed.js";import{library11_LOCK as T,library11_canonical as $,library11_matches as C}from"../vendor/runtime.js";import{fieldOf as c,foldClaims as D,selfName as l}from"../fold/claims.js";import{keepRender as F,keptRender as y}from"../fold/kept.js";import{bytesDigest as G,signaturesOf as B}from"../fold/digests.js";import{authorityFor as H,rootSigner as P,writerFor as V}from"../fold/signers.js";import{lockLines as f}from"../fold/keys.js";import{appliedIn as W}from"../fold/signed.js";import{ledgerLines as Y}from"../land/ledger.js";import{horizonOf as U,moved as _,shapeLines as z}from"./shape.js";import{rankLines as Z}from"../fold/rank.js";import{differing as q,regionsOf as k}from"../fold/region.js";import{field as v}from"./field.js";import{helpLines as J}from"../cli/names.js";function Q(e,n,t){const r=H(f(n),P(e),B(n).admitted),o=(t??"").replace(/\/$/,"");return(o?W(e,o):[...new Set(r.admitted.flatMap(i=>N("evidence-ledger:"+n+":"+i.id,()=>Y(n,i.id))))]).filter(i=>r.of(i).kind==="admitted")}a(Q,"evidenceLines");const X=a(e=>Q(e.root,e.store,e.under),"evidence"),m=a((e,n)=>n.length?[`## ${e}`,"","```",...n,"```"]:[],"block"),O=a(e=>`${(e/1e3).toFixed(1)} s`,"seconds"),ee=a(e=>{const n=e.costs.length?[...e.costs].sort((i,p)=>i-p)[Math.floor(e.costs.length/2)]??0:0,t=_(e),r=U(e),o=e.observed.filter(i=>c(i,"scope")==="refuse/reader").length,s=e.ceilings;return m("programs",[`PROGRAMS${e.under?` ${e.under}`:""} ${[`${e.claims} claims`,`${e.history.length} history`].join(" \xB7 ")} \xB7 ${e.forks.length+(e.second.verdict==="forks"?1:0)} forks \xB7 ${e.grey.length} grey \xB7 ${e.refused.length} refused \xB7 ${e.vacuous} vacuous \xB7 ${d()} ${e.second.verdict}${e.second.verdict==="agrees"&&!e.second.external?", never disagreed":""} \xB7 store ${e.observed.length} observed${o?` \xB7 ${o} refuse\xB7reader`:""}`+(e.under?` \xB7 ceilings ${s.read} met here \xB7 ${s.short.length} short \xB7 ${s.over.length} over`:` \xB7 ceilings ${s.read}/${s.total} read \xB7 ${s.short.length} short \xB7 ${s.over.length} over \xB7 ${s.unread.length} unread${s.vacuous.length?` \xB7 ${s.vacuous.length} vacuous unread`:""}`)+` \xB7 readings \xB7 no encounters computed \xB7 ${e.effects} \xB7 take ${e.costs.length?O(e.costs[e.costs.length-1]??0):"none"} last`+(e.costs.length>1?` \xB7 ${O(n)} median of ${e.costs.length}`:""),...z(e),...Z(e),`OPEN     ${(e.open??[]).length} unresolved decisions`,`MOVED    ${t.observation+t.signature} verdicts turned \xB7 ${t.observation} by observation \xB7 ${t.signature} by signature`,`HORIZON  ${r.unread} of ${r.sources} sources no reader reaches`,...S(e.release),...ne(e)])},"programs");function ne(e){const n=e.signed,t=new Map;for(const s of e.standing){const i=/^keys\/([^/]+)$/.exec(c(s,"scope"))?.[1];i&&c(s,"measure")==="coverage"&&t.set(i,c(s,"value"))}const r=e.second.verdict==="agrees"?"green":e.second.verdict==="forks"?"fork":"grey",o=e.second.verdict==="agrees"?0:e.claims;return[...[...t].sort().map(([s,i])=>`KEY      keys/${s} \xB7 floor ${n.get(s)??0} lines signed \xB7 ceiling ${i} \xB7 ${n.get(s)?r:"grey"}`),`LOCK     ${e.under??""}${T} \xB7 floor ${e.landed} sources vouched \xB7 ceiling ${e.lock} lines \xB7 ${r}`,`BLIND    ${o} lines stand on one origin \xB7 second head ${e.second.verdict==="stale"&&e.second.epoch?`agreed at epoch ${e.second.epoch}, elsewhere`:e.second.verdict}`]}a(ne,"asCells");const b=new WeakMap,je=a((e,n)=>{b.set(e,n)},"askWhy"),se=a(e=>{const n=b.get(e);if(n){const i=e.standing.filter(p=>c(p,"needs").split("|").includes(n)||c(p,"shape")===n);return m("why",i.length?i.map(p=>`WHY      ${c(p,"scope")} \xB7 ${c(p,"at")} \xB7 ${c(p,"value")}`):[`OPEN     ${n}`])}const t=e.standing.find(i=>c(i,"scope")===`${e.under??""}view/why`||c(i,"scope")==="view/why"),r=c(t??"","shape")||c(t??"","needs").split("|").find(Boolean)||"",o=r?w(I(e.root,e.under??"",r)):void 0;if(o===void 0)return[];const s=o.replace(/^---\n[\s\S]*?\n---\n/,"").split(`
+
+`).map(i=>i.trim()).filter(i=>i&&!i.startsWith("#")).map(i=>i.split(`
+`).join(" "));return s.length?["## why","",...s.flatMap(i=>[i,""])].slice(0,-1):[]},"why"),te=a(e=>{const n=e.standing.filter(t=>/^keys\/[^/]+$/.test(c(t,"scope"))&&c(t,"measure")==="class").map(t=>`KEY      ${c(t,"scope").slice(5)} \xB7 ${c(t,"value")}`);return m("sign",[`SIGN     write the lines you propose as by=target, then: ${l()} 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",...n])},"sign"),re=a(e=>m("take",[`TAKE     ${l()} land <batch> --key-file <pem> \xB7 the land that takes a demand pays it by moving what it asks about`,...e.missing.map(n=>`TAKE     ${c(n,"scope")} \xB7 open: sign it again in a batch`)]),"take"),ie=a(e=>m("red",[...j().map(n=>`GREY     reading: ${n.module} \xB7 ${n.places} places \xB7 lands behind this fold`),...e.ceilings.short.map(n=>`SHORT    ${n}`),...e.ceilings.over.map(n=>`OVER     ${n}`),...e.missing.map(n=>`MISSING  ${c(n,"scope")}`),...e.orphans.map(n=>`ORPHAN   ${n}`),...e.under?[]:[...e.ceilings.unread.length?[`UNREAD   ${e.ceilings.unread.join(" \xB7 ")}`]:[],...e.ceilings.vacuous.length?[`VACUOUS  ${e.ceilings.vacuous.join(" \xB7 ")}`]:[],...e.refused.map(n=>`REFUSED  ${c(n,"scope")}`)]]),"red"),oe=a(e=>m("forks",[...e.forks.map(n=>`FORK     ${n.key}`),...e.second.verdict==="forks"?[`FORK     ${d()}/target \xB7 the second head finds other lines standing`]:[]]),"forks"),ae=a(e=>{const n=f(e.store),t=a(o=>D(n.filter(s=>(Number(c(s,"epoch"))||0)<=o)).standing,"at"),r=q(k(t(e.epoch-1),t(e.epoch-1),[]),k(t(e.epoch),t(e.epoch),[]));return m("history",[...e.history.map(o=>`HISTORY  ${c(o,"scope")} \xB7 ${c(o,"at")}`),...r.regions.map(o=>`MOVED    ${o||"."} \xB7 at epoch ${e.epoch} \xB7 ${r.compared} regions compared`)])},"history"),h={receipts:a(e=>u(e,1),"receipts"),help:a(()=>J(),"help"),lines:a(e=>e.standing,"lines"),evidence:X,red:ie,forks:oe,programs:ee,why:se,sign:te,take:re,history:ae,field:a(e=>v(e,3),"field")},ce={field:v,receipts:u},Te=a((e,n)=>(t=>n.regions.map(r=>r.name).filter(r=>h[r]===void 0&&!t.some(o=>C(o,r))))(K(e)),"unrendered");function pe(e,n,t=""){const r=[],o=M(e,n.filter(s=>h[s.name]===void 0),t);for(const s of n){const i=h[s.name],p=ce[s.name],g=p!==void 0?p(e,s.at):i!==void 0?me(i(e),s.at):o.get(s.name)??[];g.length&&r.push(...g,"")}return`${r.join(`
+`).replace(/\n+$/,"")}
+`}a(pe,"render");function me(e,n){if(n>=3||!e.length)return e;const t=e.findIndex(s=>s.startsWith("```"));if(t<0)return n>1?e:e.slice(0,3);const r=e.slice(t+1,e.lastIndexOf("```")),o=n<=1?r.slice(0,1):r.map(s=>s.split(" \xB7 ").slice(0,n).join(" \xB7 "));return[...e.slice(0,t+1),...o,"```"]}a(me,"read");function Ce(e,n){const t=n.filter(r=>"regions"in r&&!(e.key&&y(e.store,e.key,r.name)!==void 0));A(e,t.map(r=>({asking:r.regions.filter(o=>h[o.name]===void 0),shape:r.shape})))}a(Ce,"prerender");function De(e,n){const t=!n.shape||n.regions.some(i=>i.name==="receipts"),r=!t&&e.key?y(e.store,e.key,n.name):void 0;if(r!==void 0)return r;const o=pe(e,n.regions,n.shape),s=V(e.standing,"fold");return!t&&e.key&&s!==void 0&&F(e.store,s,e.key,n.name,e.epoch,o),o}a(De,"viewOf");function Fe(e,n){const t=L(e,[{asking:n.regions.filter(s=>h[s.name]===void 0),shape:n.shape}])[0],r=n.shape?G(e.store,new TextEncoder().encode(e.standing.filter(s=>c(s,"shape")===n.shape||c(s,"needs").split("|").includes(n.shape)).join(`
+`))):"";return[...r?[$({scope:`rendered/${n.name}/cone`,role:"writes",form:"alphabet",measure:"digest",value:r,at:`place:${n.shape}`,by:"target"})]:[],...n.regions.flatMap(s=>{const i=t?.get(s.name),p=h[s.name]!==void 0?e.instrument:i?.by;if(!p)return[];const g=a((R,x)=>$({scope:`rendered/${n.name}/${s.name}`,role:"writes",form:"alphabet",measure:R,value:x,at:`place:${p}`,by:"target"}),"line");return[g("digest",p),...i?[g("pin",`uses/${p}`)]:[]]})]}a(Fe,"renderedOf");export{je as askWhy,Q as evidenceLines,Ce as prerender,pe as render,Fe as renderedOf,Te as unrendered,De as viewOf};

package/dist/vendor/50086958553b9376d600583f7dff354196bfeb41170fc6d1482ca7bea7c493e2.LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Lapxo
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.