@lapxo/bound 0.2.4 → 0.2.5

package/dist/cli/place.js

@@ -1,282 +1,6 @@
-import { hostOutput } from "../host/call-context.js";
-import { refreshRetainedJudgment } from "./retained-judgment.js";
-import { timing } from "../host/timing.js";
-import { attestationObservations } from "../fold/evidence.js";
-import { parse as parseEvidenceFields } from '@lapxo/topos/wire';
-import { releasePolicy, releaseFaults } from "../fold/release-policy.js";
-import { point, region, within } from '@lapxo/obligations/field';
-import { basename, join } from 'node:path';
-import { observeText } from "../observe/files.js";
-import { placesOf, viewsOf } from "../fold/views.js";
-import { prerender, viewOf } from "../render/view.js";
-import { meets, instrumentKept } from "../fold/closed.js";
-import { foldPoints, keepFold, keptPlace } from "../fold/kept.js";
-import { openCells } from "../render/open.js";
-import { boundOf, packRegions, regionsNamed, regionsOf, unlikeReplay } from "../fold/region.js";
-import { answersElsewhere, foldCeilings, ceilingSummary } from "../fold/ceilings.js";
-import { keyOf, keyFor, lockLines, lockStanding } from "../fold/keys.js";
-import { wordFrom, wordOf, wordOn } from "../fold/wire.js";
-import { bytesDigest, instrumentOf, signaturesOf } from "../fold/digests.js";
-import { claimKey, fieldOf, fieldsOf, isWire } from "../fold/claims.js";
-import { canonical, LOCK, parse } from '@lapxo/topos/wire';
-import { classDefaults, kindsOf, placesIn, spoken } from "../fold/places.js";
-import { isCeiling } from "../fold/configures.js";
-import { observedClaims, placedReadings } from "../fold/observed.js";
-import { capsuleReadingsOver, currentReceiptObservations, retiredReceiptHistory } from "../observe/regions.js";
-import { costReadings, ownReadings, currentActReadings } from "../fold/own.js";
-import { paidOf } from "../fold/paid.js";
-import { rolesOf } from "../fold/roles.js";
-import { secondHead } from "../fold/second.js";
-import { authorityFor, rootSigner, writerFor } from "../fold/signers.js";
-import { ledgerLines, storeOf } from "../land/ledger.js";
-import { vouchedCoordinates } from "../land/vouched.js";
-import { ownLock, ownRoot } from "../observe/runner.js";
-import { epochOf, historyOf, renderedLock, standingDemands } from "./owner.js";
-function beatsOf(store, standing, under) {
-    const folder = writerFor(standing, 'fold');
-    const middle = (at) => {
-        const ms = (folder === undefined ? [] : ledgerLines(store, folder))
-            .filter((line) => fieldOf(line, 'scope') === `beat/${under ?? '.'}` && fieldOf(line, 'at') === `place:${at}`)
-            .map((line) => Number(fieldOf(line, 'value').split('..')[0])).filter((one) => Number.isFinite(one)).slice(-10).sort((a, b) => a - b);
-        return ms.length ? ms[Math.floor(ms.length / 2)] ?? 0 : 0;
-    };
-    return { kept: middle('kept'), folded: middle('folded') };
-}
-const costsOf = (store) => ledgerLines(store, 'take').filter((line) => fieldOf(line, 'measure') === 'ms')
-    .map((line) => Number(fieldOf(line, 'value').split('..')[0])).filter((ms) => Number.isFinite(ms)).slice(-10);
-function effectStates(_store) {
-    return 'none';
-}
-/**
- * The fold of a place: the standing lock and what readers saw, narrowed to the place when one is named. A demand is the
- * place's when every place it asks about lies there; a SHORT on a question also read outside it is not the place's to
- * answer. The count of a place's own readings is the instrument's, taken inside the place alone. What each key has
- * signed that stands is counted apart: the owner's lines stand in this fold, a second head's in its own ledger, and its
- * word on a lock is asked once for the lines a batch and the ledger own together.
- */
-const counted = new WeakMap();
-const seconds = new WeakMap();
-function secondOf(root, store, attested, owned) {
-    const held = seconds.get(owned);
-    if (held !== undefined)
-        return held;
-    const head = keyOf(store, 'attest');
-    const heard = head === undefined ? undefined : authorityFor([...owned, ...ledgerLines(store, head)], rootSigner(root), signaturesOf(store).admitted);
-    return seconds.set(owned, secondHead(store, attested, (line) => heard?.of(line).kind === 'admitted', owned)).get(owned);
-}
-function signedByKey(store, standing, observed) {
-    const signed = new Map();
-    const reader = (() => {
-        try {
-            return keyFor(store, 'read');
-        }
-        catch {
-            return undefined;
-        }
-    })();
-    for (const line of standing)
-        signed.set(fieldOf(line, 'by'), (signed.get(fieldOf(line, 'by')) ?? 0) + 1);
-    for (const line of standing) {
-        const key = /^keys\/([^/]+)$/.exec(fieldOf(line, 'scope'))?.[1];
-        const lines = key === undefined || signed.has(key) ? undefined : key === reader ? observed : ledgerLines(store, key);
-        if (key !== undefined && lines !== undefined)
-            signed.set(key, counted.get(lines) ?? counted.set(lines, new Set(lines.filter(line => fieldOf(line, 'sig') !== '')).size).get(lines));
-    }
-    return signed;
-}
-/** Generic view checks: declared output equality and one writer per coordinate. Domain measurements belong to selected providers. */
-function viewReadings(place) {
-    const leaf = wordOn(place.standing, 'region-leaf', ownLock());
-    const at = (coordinate) => join(place.root, place.under ?? '', coordinate);
-    const every = [...viewsOf(place.standing).values()].flatMap((view) => ('regions' in view && view.shape ? [view] : []))
-        .filter((view) => observeText(at(view.shape)) !== undefined);
-    const named = (view) => placesOf(place.standing, view).includes(place.under ?? '');
-    const shaped = every.filter((view) => named(view) || (!placesOf(place.standing, view).length && !every.some((other) => other.shape === view.shape && named(other))));
-    prerender(place, shaped);
-    const same = new Set(shaped.filter((view) => observeText(at(view.shape)) === viewOf(place, view)).map((view) => view.name));
-    const differ = shaped.length - same.size;
-    const twice = [...every.filter((view) => named(view) || !placesOf(place.standing, view).length)
-            .reduce((by, view) => by.set(view.shape, (by.get(view.shape) ?? 0) + 1), new Map()).values()].filter((n) => n > 1).length;
-    return { readings: { [`rendered-${leaf}-differ`]: differ, 'rendered-coordinates-differ': differ, [`${leaf}-with-two-views`]: twice, 'coordinates-with-two-views': twice }, same, here: new Set(shaped.map(view => view.name)) };
-}
-const NONE = [];
-const ownings = new WeakMap();
-const ownedOf = (store, told) => ((lock) => ((byLock) => byLock.get(told) ?? byLock.set(told, [...lock, ...told]).get(told))(ownings.get(lock) ?? ownings.set(lock, new WeakMap()).get(lock)))(lockLines(store));
-export function standingOf(root, under, told = NONE) {
-    const store = storeOf(root);
-    const owned = ownedOf(store, told);
-    const rendered = renderedLock(root, store, told);
-    const lock = rendered.text.split('\n').filter(isWire);
-    const said = spoken(root);
-    if (!said.length)
-        return { standing: lock, lock, rendered, owned };
-    const views = `${wordOf(lock, 'families', 'view')}/`;
-    const isView = (line) => fieldOf(line, 'scope').startsWith(views);
-    const ruled = new Set(said.filter((one) => !isView(one.line)).map((one) => claimKey(one.line)));
-    const owners = new Map();
-    for (const one of said.filter((o) => isView(o.line)))
-        owners.set(fieldOf(one.line, 'scope'), (owners.get(fieldOf(one.line, 'scope')) ?? new Set()).add(`${one.place}/`));
-    const tree = lock.flatMap((line) => {
-        const by = isView(line) ? owners.get(fieldOf(line, 'scope')) : undefined;
-        if (by === undefined)
-            return ruled.has(claimKey(line)) ? [] : [line];
-        const needs = fieldOf(line, 'needs').split('|').filter(Boolean);
-        const left = needs.filter((need) => ![...by].some((place) => need.startsWith(place)));
-        if (!needs.length || left.length === needs.length)
-            return [line];
-        const got = parse(line);
-        return left.length && got.kind === 'fact' ? [canonical({ ...got.value.fields, needs: left.join('|') })] : [];
-    });
-    const here = under?.replace(/\/$/, '');
-    const first = said.filter((one) => one.place === here).map((one) => one.line);
-    const rest = said.filter((one) => one.place !== here).map((one) => one.line);
-    const standing = [...new Set([...first, ...tree, ...rest])];
-    return { standing: [...standing, ...inheritedOf(root, standing)], lock, rendered, owned };
-}
-function inheritedOf(root, standing) {
-    const defaults = classDefaults(root);
-    if (!defaults.length)
-        return [];
-    const held = standing.filter(isCeiling);
-    const extra = [];
-    for (const place of placesIn(root)) {
-        const kinds = kindsOf(root, place);
-        const prefix = `${place}/`;
-        const measures = new Set(held.filter((line) => fieldOf(line, 'scope').startsWith(prefix)).map((line) => fieldOf(line, 'measure')));
-        for (const def of defaults) {
-            if (!def.classes.includes('*') && !def.classes.some((kind) => kinds.includes(kind)))
-                continue;
-            const measure = fieldOf(def.line, 'measure');
-            if (measures.has(measure))
-                continue;
-            const got = parse(def.line);
-            if (got.kind !== 'fact')
-                continue;
-            extra.push(canonical({ ...got.value.fields, scope: `${prefix}${fieldOf(def.line, 'scope')}` }));
-            measures.add(measure);
-        }
-    }
-    return extra;
-}
-export function coneOf(root, entry, ceilings, descent) {
-    const store = storeOf(root);
-    const { standing, rendered } = standingOf(root);
-    // Admission consumes the verified completed fold; it does not ask providers again.
-    // Receipt bytes, reader history and instrument identity must all still agree.
-    if (meets(root, store, '') && instrumentKept(store) === instrumentOf(store, entry, standing, root, ownLock())) {
-        const held = keptPlace(store);
-        if (held !== undefined)
-            return { standing, observed: held.observed, own: { ...held.own, ...currentActReadings() }, kept: true };
-    }
-    const named = regionsNamed(standing);
-    const reach = descent !== undefined && descent.length ? [...descent] : [...new Set(ceilings.map((line) => boundOf(named, line).region))];
-    const read = observedClaims(root, store, { wait: false, ...(reach.includes('') ? {} : { reach }) });
-    const current = currentReceiptObservations({ root, store, standing, observed: read });
-    const observed = [...current, ...capsuleReadingsOver({ root, store, standing, observed: read })];
-    const own = {
-        ...ownReadings({ root, store, entry, roleOf: rolesOf(store), standing, observed, unadmitted: rendered.grey.length + rendered.refused.length, orphans: 0 }),
-        ...costReadings(store, standing),
-    };
-    const measured = new Set([...Object.keys(own), ...placedReadings(observed).map((reading) => reading.measure), wordOf(standing, 'states', 'unread')]);
-    const reached = ceilings.every((line) => measured.has(fieldOf(line, 'measure')) || fieldOf(line, 'scope') in own);
-    if (reached)
-        return { standing, observed, own, kept: true };
-    const whole = foldPlace(root, entry);
-    return { ...whole, kept: whole.kept ?? false };
-}
-export const ownCeilings = (under) => ((home) => (under === undefined || under === `${home}/`
-    ? ownLock().filter(isCeiling).map((line) => canonical({ ...fieldsOf(line), scope: `${home}/${fieldOf(line, 'scope')}` })) : []))(basename(ownRoot()));
-export function foldPlace(root, entry, under, look = true, given) {
-    const store = storeOf(root);
-    const digestAt = Date.now();
-    const closed = meets(root, store, under ?? '');
-    const digestMs = Date.now() - digestAt;
-    if (closed && given?.free !== true) {
-        const prior = keptPlace(store, under, instrumentOf(store, entry, standingOf(root).standing, root, ownLock()));
-        if (prior !== undefined) {
-            hostOutput('error', `CLOSED   ${under || '.'} · digest ${digestMs} ms\n`);
-            return refreshRetainedJudgment(prior, [...prior.standing.filter((line) => isCeiling(line) && !(under && fieldOf(line, 'measure') === 'unread')), ...ownCeilings(under)]);
-        }
-    }
-    const { standing, lock: attested, rendered, owned } = given?.standing ?? standingOf(root, under);
-    const folder = writerFor(standing, 'fold');
-    const answered = given === undefined && under ? new Map() : undefined;
-    const reached = given?.observed ?? observedClaims(root, store, { wait: look, ...(under ? { reach: [under], answered } : {}) });
-    const self = instrumentOf(store, entry, standing, root, ownLock());
-    const inside = (place) => !under || within(point(place.replace(/\/\*$/, '')), region(under));
-    const history = historyOf(root, store, standingDemands(store));
-    const theirs = history.live.filter((line) => ((needs) => !under || (needs.length > 0 && needs.every(inside)))(fieldOf(line, 'needs').split('|').filter(Boolean)));
-    const reads = under && under !== `${basename(ownRoot())}/` ? { owned, place: under, scopes: new Set(theirs.map((line) => fieldOf(line, 'scope'))) } : undefined;
-    const spent = [];
-    const took = timing(spent);
-    const read = given?.observed ?? (under ? took('observe', () => observedClaims(root, store, { wait: look })) : reached);
-    const current = currentReceiptObservations({ root, store, ...(under ? { under } : {}), standing, observed: read });
-    const everywhere = [...current, ...took('capsules', () => capsuleReadingsOver({ root, store, ...(under ? { under } : {}), standing, observed: read }))];
-    const points = foldPoints(store, standing, under, folder, self, reached, root, answered, reads);
-    const taken = bytesDigest(store, new TextEncoder().encode(points.join('\n'))).replace(/^sha256:/, '');
-    const observed = everywhere.filter((line) => !/ measure=observed /.test(line) || inside(fieldOf(line, 'scope')));
-    const shared = new Set(under ? placedReadings(everywhere).filter((r) => !inside(r.place)).map((r) => r.question) : []);
-    const live = history;
-    const demands = theirs;
-    const orphans = [];
-    const ceilings = [...standing.filter((line) => isCeiling(line) && !(under && fieldOf(line, 'measure') === 'unread')), ...ownCeilings(under)];
-    const own = took('own', () => ownReadings({
-        root, store, entry, roleOf: rolesOf(store), standing, observed: everywhere,
-        unadmitted: rendered.grey.length + rendered.refused.length, orphans: orphans.length, ...(under ? { under } : {}),
-    }));
-    const regions = took('regions', () => regionsOf(standing, ceilings.filter((line) => !answersElsewhere(line, own, under, new Set(placesIn(root)))), placedReadings(observed)));
-    const fold = (docs) => foldCeilings({ standing, ceilings, observed, own: { ...own, ...docs }, epoch: epochOf(owned), ...(under ? { under, places: new Set(placesIn(root)) } : {}) });
-    const folded = took('ceilings', () => fold({}));
-    const { paid, missing } = took('paid', () => paidOf(store, demands, observed, `${wordFrom(standing, 'families', 'view', lockStanding(store))}/`));
-    const lock = (observeText(join(root, under ?? '', LOCK)) ?? '').split('\n').filter(isWire).length;
-    const second = secondOf(root, store, attested, owned);
-    const policyStanding = standing.filter((line) => !rendered.grey.includes(line) && !rendered.refused.includes(line));
-    const faults = releaseFaults({ forks: rendered.forks, refused: rendered.refused, grey: rendered.grey, orphans, second });
-    const place = {
-        release: releasePolicy({ standing: policyStanding, demands, paid, ceilings, readings: folded, faults, verdicts: attestationObservations(policyStanding.map(line => { const r = parseEvidenceFields(line); return r.kind === 'fact' ? r.value.fields : {}; }), second), snapshot: { fold: taken, instrument: self } }),
-        root, store, ...(under ? { under } : {}), epoch: epochOf(owned), standing, claims: rendered.standing,
-        forks: rendered.forks, grey: rendered.grey, refused: rendered.refused, vacuous: rendered.vacuous.length,
-        demands, paid, missing,
-        history: live.history.filter((line) => fieldOf(line, 'needs').split('|').filter(Boolean).some(inside)),
-        observed,
-        receiptHistory: retiredReceiptHistory({ root, store, ...(under ? { under } : {}), standing, observed: read }),
-        ceilings: ceilingSummary(folded, ceilings.length, shared),
-        orphans,
-        lock,
-        signed: signedByKey(store, standing, everywhere),
-        second,
-        effects: effectStates(store),
-        key: taken,
-        instrument: self,
-        own,
-        open: openCells({ store, standing, observed, grey: rendered.grey, epoch: epochOf(owned) }),
-        regions: packRegions(regions),
-        beats: beatsOf(store, standing, under),
-        landed: [...vouchedCoordinates(store).keys()].filter((coordinate) => !under || coordinate.startsWith(under)).length,
-        costs: costsOf(store),
-    };
-    const { readings: found, same, here } = took('docs', () => viewReadings(place));
-    const family = `${wordFrom(standing, 'families', 'view', lockStanding(store))}/`;
-    const coordinates = new Set([...here].map((name) => `${family}${name}`));
-    const writes = (line) => coordinates.has(fieldOf(line, 'scope'));
-    const holds = (line) => same.has(fieldOf(line, 'scope').slice(family.length));
-    const owed = [...place.missing.filter((line) => !writes(line) || !holds(line)), ...place.paid.filter((line) => writes(line) && !holds(line))];
-    const docs = {
-        ...found, 'payments-lost-on-equal-output': owed.filter((line) => writes(line) && holds(line)).length,
-        'poles-unlike-replay': unlikeReplay(regions, new Set(folded.over.map((one) => one.ceiling)), { ...own, unread: folded.unread.length + folded.vacuous.length }),
-    };
-    const again = took('ceilings', () => fold(docs));
-    const finalPaid = [...place.paid.filter((line) => !writes(line) || holds(line)), ...place.missing.filter((line) => writes(line) && holds(line))];
-    const whole = {
-        ...place,
-        paid: finalPaid,
-        release: releasePolicy({ standing: policyStanding, demands, paid: finalPaid, ceilings, readings: again, faults, verdicts: attestationObservations(policyStanding.map(line => { const r = parseEvidenceFields(line); return r.kind === 'fact' ? r.value.fields : {}; }), second), snapshot: { fold: taken, instrument: self } }),
-        missing: owed,
-        own: { ...place.own, ...docs },
-        ceilings: ceilingSummary(again, ceilings.length, shared),
-    };
-    if (folder !== undefined && meets(root, store, under ?? '', true, whole.observed))
-        took('keep', () => keepFold(store, taken, whole, points, self));
-    hostOutput('error', `SPENT    fold ${spent.join(' ms · ')} ms\n`);
-    return whole;
-}
+var Ae=Object.defineProperty;var m=(e,o)=>Ae(e,"name",{value:o,configurable:!0});import{hostOutput as me}from"../host/call-context.js";import{refreshRetainedJudgment as Ie}from"./retained-judgment.js";import{timing as Je}from"../host/timing.js";import{attestationObservations as ge}from"../fold/evidence.js";import{library11_parse as ue}from"../vendor/runtime.js";import{releasePolicy as he,releaseFaults as Ve}from"../fold/release-policy.js";import{library12_point as Ge,library12_region as Qe,library12_within as Ue}from"../vendor/runtime.js";import{basename as we,join as ye}from"node:path";import{observeText as I}from"../observe/files.js";import{placesOf as J,viewsOf as Xe}from"../fold/views.js";import{prerender as Ye,viewOf as Ze}from"../render/view.js";import{meets as V,instrumentKept as es}from"../fold/closed.js";import{foldPoints as ss,keepFold as ts,keptPlace as ke}from"../fold/kept.js";import{openCells as ns}from"../render/open.js";import{boundOf as is,packRegions as os,regionsNamed as rs,regionsOf as as,unlikeReplay as cs}from"../fold/region.js";import{answersElsewhere as fs,foldCeilings as ds,ceilingSummary as ve}from"../fold/ceilings.js";import{keyOf as ls,keyFor as ps,lockLines as ms,lockStanding as be}from"../fold/keys.js";import{wordFrom as Oe,wordOf as $e,wordOn as gs}from"../fold/wire.js";import{bytesDigest as us,instrumentOf as G,signaturesOf as hs}from"../fold/digests.js";import{claimKey as Se,fieldOf as d,fieldsOf as ws,isWire as Me}from"../fold/claims.js";import{library11_canonical as Q,library11_LOCK as ys,library11_parse as Re}from"../vendor/runtime.js";import{classDefaults as ks,kindsOf as vs,placesIn as U,spoken as bs}from"../fold/places.js";import{isCeiling as T}from"../fold/configures.js";import{observedClaims as X,placedReadings as Y}from"../fold/observed.js";import{capsuleReadingsOver as xe,currentReceiptObservations as Ce,retiredReceiptHistory as Os}from"../observe/regions.js";import{costReadings as $s,ownReadings as Fe,currentActReadings as Ss}from"../fold/own.js";import{paidOf as Ms}from"../fold/paid.js";import{rolesOf as We}from"../fold/roles.js";import{secondHead as Rs}from"../fold/second.js";import{authorityFor as xs,rootSigner as Cs,writerFor as Ne}from"../fold/signers.js";import{ledgerLines as q,storeOf as Z}from"../land/ledger.js";import{vouchedCoordinates as Fs}from"../land/vouched.js";import{ownLock as E,ownRoot as _e}from"../observe/runner.js";import{epochOf as ee,historyOf as Ws,renderedLock as Ns,standingDemands as _s}from"./owner.js";function Ds(e,o,s){const a=Ne(o,"fold"),r=m(n=>{const l=(a===void 0?[]:q(e,a)).filter(c=>d(c,"scope")===`beat/${s??"."}`&&d(c,"at")===`place:${n}`).map(c=>Number(d(c,"value").split("..")[0])).filter(c=>Number.isFinite(c)).slice(-10).sort((c,u)=>c-u);return l.length?l[Math.floor(l.length/2)]??0:0},"middle");return{kept:r("kept"),folded:r("folded")}}m(Ds,"beatsOf");const Es=m(e=>q(e,"take").filter(o=>d(o,"measure")==="ms").map(o=>Number(d(o,"value").split("..")[0])).filter(o=>Number.isFinite(o)).slice(-10),"costsOf");function Ls(e){return"none"}m(Ls,"effectStates");const De=new WeakMap,Ee=new WeakMap;function Ps(e,o,s,a){const r=Ee.get(a);if(r!==void 0)return r;const n=ls(o,"attest"),l=n===void 0?void 0:xs([...a,...q(o,n)],Cs(e),hs(o).admitted);return Ee.set(a,Rs(o,s,c=>l?.of(c).kind==="admitted",a)).get(a)}m(Ps,"secondOf");function js(e,o,s){const a=new Map,r=(()=>{try{return ps(e,"read")}catch{return}})();for(const n of o)a.set(d(n,"by"),(a.get(d(n,"by"))??0)+1);for(const n of o){const l=/^keys\/([^/]+)$/.exec(d(n,"scope"))?.[1],c=l===void 0||a.has(l)?void 0:l===r?s:q(e,l);l!==void 0&&c!==void 0&&a.set(l,De.get(c)??De.set(c,new Set(c.filter(u=>d(u,"sig")!=="")).size).get(c))}return a}m(js,"signedByKey");function Ks(e){const o=gs(e.standing,"region-leaf",E()),s=m(t=>ye(e.root,e.under??"",t),"at"),a=[...Xe(e.standing).values()].flatMap(t=>"regions"in t&&t.shape?[t]:[]).filter(t=>I(s(t.shape))!==void 0),r=m(t=>J(e.standing,t).includes(e.under??""),"named"),n=a.filter(t=>r(t)||!J(e.standing,t).length&&!a.some(h=>h.shape===t.shape&&r(h)));Ye(e,n);const l=new Set(n.filter(t=>I(s(t.shape))===Ze(e,t)).map(t=>t.name)),c=n.length-l.size,u=[...a.filter(t=>r(t)||!J(e.standing,t).length).reduce((t,h)=>t.set(h.shape,(t.get(h.shape)??0)+1),new Map).values()].filter(t=>t>1).length;return{readings:{[`rendered-${o}-differ`]:c,"rendered-coordinates-differ":c,[`${o}-with-two-views`]:u,"coordinates-with-two-views":u},same:l,here:new Set(n.map(t=>t.name))}}m(Ks,"viewReadings");const Bs=[],Le=new WeakMap,Hs=m((e,o)=>(s=>(a=>a.get(o)??a.set(o,[...s,...o]).get(o))(Le.get(s)??Le.set(s,new WeakMap).get(s)))(ms(e)),"ownedOf");function se(e,o,s=Bs){const a=Z(e),r=Hs(a,s),n=Ns(e,a,s),l=n.text.split(`
+`).filter(Me),c=bs(e);if(!c.length)return{standing:l,lock:l,rendered:n,owned:r};const u=`${$e(l,"families","view")}/`,t=m(f=>d(f,"scope").startsWith(u),"isView"),h=new Set(c.filter(f=>!t(f.line)).map(f=>Se(f.line))),p=new Map;for(const f of c.filter(O=>t(O.line)))p.set(d(f.line,"scope"),(p.get(d(f.line,"scope"))??new Set).add(`${f.place}/`));const w=l.flatMap(f=>{const O=t(f)?p.get(d(f,"scope")):void 0;if(O===void 0)return h.has(Se(f))?[]:[f];const S=d(f,"needs").split("|").filter(Boolean),x=S.filter(y=>![...O].some(F=>y.startsWith(F)));if(!S.length||x.length===S.length)return[f];const C=Re(f);return x.length&&C.kind==="fact"?[Q({...C.value.fields,needs:x.join("|")})]:[]}),v=o?.replace(/\/$/,""),R=c.filter(f=>f.place===v).map(f=>f.line),b=c.filter(f=>f.place!==v).map(f=>f.line),g=[...new Set([...R,...w,...b])];return{standing:[...g,...Ts(e,g)],lock:l,rendered:n,owned:r}}m(se,"standingOf");function Ts(e,o){const s=ks(e);if(!s.length)return[];const a=o.filter(T),r=[];for(const n of U(e)){const l=vs(e,n),c=`${n}/`,u=new Set(a.filter(t=>d(t,"scope").startsWith(c)).map(t=>d(t,"measure")));for(const t of s){if(!t.classes.includes("*")&&!t.classes.some(w=>l.includes(w)))continue;const h=d(t.line,"measure");if(u.has(h))continue;const p=Re(t.line);p.kind==="fact"&&(r.push(Q({...p.value.fields,scope:`${c}${d(t.line,"scope")}`})),u.add(h))}}return r}m(Ts,"inheritedOf");function Mt(e,o,s,a){const r=Z(e),{standing:n,rendered:l}=se(e);if(V(e,r,"")&&es(r)===G(r,o,n,e,E())){const g=ke(r);if(g!==void 0)return{standing:n,observed:g.observed,own:{...g.own,...Ss()},kept:!0}}const c=rs(n),u=a!==void 0&&a.length?[...a]:[...new Set(s.map(g=>is(c,g).region))],t=X(e,r,{wait:!1,...u.includes("")?{}:{reach:u}}),p=[...Ce({root:e,store:r,standing:n,observed:t}),...xe({root:e,store:r,standing:n,observed:t})],w={...Fe({root:e,store:r,entry:o,roleOf:We(r),standing:n,observed:p,unadmitted:l.grey.length+l.refused.length,orphans:0}),...$s(r,n)},v=new Set([...Object.keys(w),...Y(p).map(g=>g.measure),$e(n,"states","unread")]);if(s.every(g=>v.has(d(g,"measure"))||d(g,"scope")in w))return{standing:n,observed:p,own:w,kept:!0};const b=qs(e,o);return{...b,kept:b.kept??!1}}m(Mt,"coneOf");const Pe=m(e=>(o=>e===void 0||e===`${o}/`?E().filter(T).map(s=>Q({...ws(s),scope:`${o}/${d(s,"scope")}`})):[])(we(_e())),"ownCeilings");function qs(e,o,s,a=!0,r){const n=Z(e),l=Date.now(),c=V(e,n,s??""),u=Date.now()-l;if(c&&r?.free!==!0){const i=ke(n,s,G(n,o,se(e).standing,e,E()));if(i!==void 0)return me("error",`CLOSED   ${s||"."} \xB7 digest ${u} ms
+`),Ie(i,[...i.standing.filter(k=>T(k)&&!(s&&d(k,"measure")==="unread")),...Pe(s)])}const{standing:t,lock:h,rendered:p,owned:w}=r?.standing??se(e,s),v=Ne(t,"fold"),R=r===void 0&&s?new Map:void 0,b=r?.observed??X(e,n,{wait:a,...s?{reach:[s],answered:R}:{}}),g=G(n,o,t,e,E()),f=m(i=>!s||Ue(Ge(i.replace(/\/\*$/,"")),Qe(s)),"inside"),O=Ws(e,n,_s(n)),S=O.live.filter(i=>(k=>!s||k.length>0&&k.every(f))(d(i,"needs").split("|").filter(Boolean))),x=s&&s!==`${we(_e())}/`?{owned:w,place:s,scopes:new Set(S.map(i=>d(i,"scope")))}:void 0,C=[],y=Je(C),F=r?.observed??(s?y("observe",()=>X(e,n,{wait:a})):b),L=[...Ce({root:e,store:n,...s?{under:s}:{},standing:t,observed:F}),...y("capsules",()=>xe({root:e,store:n,...s?{under:s}:{},standing:t,observed:F}))],te=ss(n,t,s,v,g,b,e,R,x),P=us(n,new TextEncoder().encode(te.join(`
+`))).replace(/^sha256:/,""),W=L.filter(i=>!/ measure=observed /.test(i)||f(d(i,"scope"))),ne=new Set(s?Y(L).filter(i=>!f(i.place)).map(i=>i.question):[]),je=O,j=S,z=[],M=[...t.filter(i=>T(i)&&!(s&&d(i,"measure")==="unread")),...Pe(s)],K=y("own",()=>Fe({root:e,store:n,entry:o,roleOf:We(n),standing:t,observed:L,unadmitted:p.grey.length+p.refused.length,orphans:z.length,...s?{under:s}:{}})),ie=y("regions",()=>as(t,M.filter(i=>!fs(i,K,s,new Set(U(e)))),Y(W))),oe=m(i=>ds({standing:t,ceilings:M,observed:W,own:{...K,...i},epoch:ee(w),...s?{under:s,places:new Set(U(e))}:{}}),"fold"),N=y("ceilings",()=>oe({})),{paid:re,missing:Ke}=y("paid",()=>Ms(n,j,W,`${Oe(t,"families","view",be(n))}/`)),Be=(I(ye(e,s??"",ys))??"").split(`
+`).filter(Me).length,B=Ps(e,n,h,w),H=t.filter(i=>!p.grey.includes(i)&&!p.refused.includes(i)),ae=Ve({forks:p.forks,refused:p.refused,grey:p.grey,orphans:z,second:B}),$={release:he({standing:H,demands:j,paid:re,ceilings:M,readings:N,faults:ae,verdicts:ge(H.map(i=>{const k=ue(i);return k.kind==="fact"?k.value.fields:{}}),B),snapshot:{fold:P,instrument:g}}),root:e,store:n,...s?{under:s}:{},epoch:ee(w),standing:t,claims:p.standing,forks:p.forks,grey:p.grey,refused:p.refused,vacuous:p.vacuous.length,demands:j,paid:re,missing:Ke,history:je.history.filter(i=>d(i,"needs").split("|").filter(Boolean).some(f)),observed:W,receiptHistory:Os({root:e,store:n,...s?{under:s}:{},standing:t,observed:F}),ceilings:ve(N,M.length,ne),orphans:z,lock:Be,signed:js(n,t,L),second:B,effects:Ls(n),key:P,instrument:g,own:K,open:ns({store:n,standing:t,observed:W,grey:p.grey,epoch:ee(w)}),regions:os(ie),beats:Ds(n,t,s),landed:[...Fs(n).keys()].filter(i=>!s||i.startsWith(s)).length,costs:Es(n)},{readings:He,same:Te,here:qe}=y("docs",()=>Ks($)),ce=`${Oe(t,"families","view",be(n))}/`,ze=new Set([...qe].map(i=>`${ce}${i}`)),_=m(i=>ze.has(d(i,"scope")),"writes"),D=m(i=>Te.has(d(i,"scope").slice(ce.length)),"holds"),fe=[...$.missing.filter(i=>!_(i)||!D(i)),...$.paid.filter(i=>_(i)&&!D(i))],de={...He,"payments-lost-on-equal-output":fe.filter(i=>_(i)&&D(i)).length,"poles-unlike-replay":cs(ie,new Set(N.over.map(i=>i.ceiling)),{...K,unread:N.unread.length+N.vacuous.length})},le=y("ceilings",()=>oe(de)),pe=[...$.paid.filter(i=>!_(i)||D(i)),...$.missing.filter(i=>_(i)&&D(i))],A={...$,paid:pe,release:he({standing:H,demands:j,paid:pe,ceilings:M,readings:le,faults:ae,verdicts:ge(H.map(i=>{const k=ue(i);return k.kind==="fact"?k.value.fields:{}}),B),snapshot:{fold:P,instrument:g}}),missing:fe,own:{...$.own,...de},ceilings:ve(le,M.length,ne)};return v!==void 0&&V(e,n,s??"",!0,A.observed)&&y("keep",()=>ts(n,P,A,te,g)),me("error",`SPENT    fold ${C.join(" ms \xB7 ")} ms
+`),A}m(qs,"foldPlace");export{Mt as coneOf,qs as foldPlace,Pe as ownCeilings,se as standingOf};

package/dist/cli/release-result.js

@@ -1,80 +1,3 @@
-import { parse } from '@lapxo/topos/wire';
-import { authorityFor, writerFor, releaseSigner } from "../fold/signers.js";
-import { eraOf } from "../fold/digests.js";
-import { fieldOf, foldClaims } from "../fold/claims.js";
-import { observeText } from "../observe/files.js";
-import { claimLinesIn } from "./args.js";
-import { LOCK } from '@lapxo/topos/wire';
-import { join } from 'node:path';
-/** Judge an external signed approval without landing it, fetching its source,
- * executing a provider, or changing the release-policy verdict of the place.
- * The anchor is the place's key, never a key offered by the approval. */
-export function releaseApproval(lock, lines) {
-    const standing = foldClaims(lock).standing;
-    const id = writerFor(standing, 'authorize');
-    if (!id)
-        throw Error('REFUSE·release place names no authorizer');
-    const one = (rows, scope, measure) => {
-        const selected = rows.filter(line => fieldOf(line, 'scope') === scope && (!measure || fieldOf(line, 'measure') === measure) && fieldOf(line, 'value') !== 'withdraw');
-        if (selected.length !== 1)
-            throw Error(`REFUSE·release ${scope} needs one declaration`);
-        return fieldOf(selected[0], 'value');
-    };
-    const anchor = { ...releaseSigner(standing), id, publicKey: one(standing, `keys/${id}`, 'public-key'), coverage: one(standing, `keys/${id}`, 'coverage').split('|') };
-    if (!lines.length)
-        throw Error('REFUSE·release empty approval');
-    for (const line of lines) {
-        const got = parse(line);
-        if (got.kind !== 'fact')
-            throw Error('REFUSE·release malformed approval');
-        if (got.value.fields['by'] !== id || !got.value.fields['sig'])
-            throw Error(`REFUSE·release approval must be signed by ${id}`);
-    }
-    // A separate release place may declare an era; its configuration must itself
-    // authenticate against the existing anchor. No packet key or coverage is used.
-    const wire = lines.filter(line => ['wire/signature-algorithms', 'audit/wire/signature-algorithms', 'wire/era', 'audit/wire/era'].includes(fieldOf(line, 'scope')));
-    let era;
-    try {
-        era = eraOf(wire.length ? foldClaims(wire).standing : standing);
-    }
-    catch {
-        throw Error('REFUSE·release signature era is absent or conflicting');
-    }
-    const authority = authorityFor([], anchor, era.admitted);
-    for (const line of lines) {
-        const verdict = authority.of(line);
-        if (verdict.kind !== 'admitted')
-            throw Error(`REFUSE·release ${fieldOf(line, 'scope')}: ${verdict.why ?? verdict.kind}`);
-    }
-    const released = lines.filter(line => /^release\/[^/]+$/.test(fieldOf(line, 'scope')) && fieldOf(line, 'measure') === 'digest' && fieldOf(line, 'role') === 'writes');
-    if (released.length !== 1)
-        throw Error('REFUSE·release needs one signed release/<tag> digest');
-    const required = (scope, measure) => {
-        const selected = lines.filter(line => fieldOf(line, 'scope') === scope);
-        if (selected.some(line => fieldOf(line, 'role') !== 'writes' || fieldOf(line, 'form') !== 'alphabet' || fieldOf(line, 'measure') !== measure))
-            throw Error(`REFUSE·release ${scope} is not an approval declaration`);
-        return one(selected, scope, measure);
-    };
-    const digest = required(fieldOf(released[0], 'scope'), 'digest'), name = required('release/artifact', 'id'), source = required('sources/archive', 'id');
-    if (!/^sha256:[a-f0-9]{64}$/.test(digest))
-        throw Error('REFUSE·release archive needs sha256');
-    if (!/^[A-Za-z0-9][A-Za-z0-9._-]*$/.test(name))
-        throw Error('REFUSE·release artifact needs one safe filename');
-    let url;
-    try {
-        url = new URL(source);
-    }
-    catch {
-        throw Error('REFUSE·release archive source needs an absolute URL');
-    }
-    if (url.username || url.password || /[\s\x00-\x1f\x7f]/.test(source))
-        throw Error('REFUSE·release archive source needs a credential-free absolute URL without whitespace');
-    return `READY ${digest} ${name} ${source}`;
-}
-export function printReleaseApproval(root, file) {
-    const text = observeText(file);
-    if (text === undefined)
-        throw Error('REFUSE·release approval file is absent');
-    const lines = text.split('\n').filter(line => line.trim().length > 0);
-    process.stdout.write(releaseApproval(claimLinesIn(join(root, LOCK)), lines) + '\n');
-}
+var S=Object.defineProperty;var f=(n,o)=>S(n,"name",{value:o,configurable:!0});import{library11_parse as y}from"../vendor/runtime.js";import{authorityFor as b,writerFor as $,releaseSigner as x}from"../fold/signers.js";import{eraOf as k}from"../fold/digests.js";import{fieldOf as r,foldClaims as R}from"../fold/claims.js";import{observeText as L}from"../observe/files.js";import{claimLinesIn as A}from"./args.js";import{library11_LOCK as z}from"../vendor/runtime.js";import{join as O}from"node:path";function C(n,o){const a=R(n).standing,s=$(a,"authorize");if(!s)throw Error("REFUSE\xB7release place names no authorizer");const l=f((e,t,c)=>{const i=e.filter(h=>r(h,"scope")===t&&(!c||r(h,"measure")===c)&&r(h,"value")!=="withdraw");if(i.length!==1)throw Error(`REFUSE\xB7release ${t} needs one declaration`);return r(i[0],"value")},"one"),U={...x(a),id:s,publicKey:l(a,`keys/${s}`,"public-key"),coverage:l(a,`keys/${s}`,"coverage").split("|")};if(!o.length)throw Error("REFUSE\xB7release empty approval");for(const e of o){const t=y(e);if(t.kind!=="fact")throw Error("REFUSE\xB7release malformed approval");if(t.value.fields.by!==s||!t.value.fields.sig)throw Error(`REFUSE\xB7release approval must be signed by ${s}`)}const u=o.filter(e=>["wire/signature-algorithms","audit/wire/signature-algorithms","wire/era","audit/wire/era"].includes(r(e,"scope")));let m;try{m=k(u.length?R(u).standing:a)}catch{throw Error("REFUSE\xB7release signature era is absent or conflicting")}const F=b([],U,m.admitted);for(const e of o){const t=F.of(e);if(t.kind!=="admitted")throw Error(`REFUSE\xB7release ${r(e,"scope")}: ${t.why??t.kind}`)}const w=o.filter(e=>/^release\/[^/]+$/.test(r(e,"scope"))&&r(e,"measure")==="digest"&&r(e,"role")==="writes");if(w.length!==1)throw Error("REFUSE\xB7release needs one signed release/<tag> digest");const d=f((e,t)=>{const c=o.filter(i=>r(i,"scope")===e);if(c.some(i=>r(i,"role")!=="writes"||r(i,"form")!=="alphabet"||r(i,"measure")!==t))throw Error(`REFUSE\xB7release ${e} is not an approval declaration`);return l(c,e,t)},"required"),g=d(r(w[0],"scope"),"digest"),v=d("release/artifact","id"),E=d("sources/archive","id");if(!/^sha256:[a-f0-9]{64}$/.test(g))throw Error("REFUSE\xB7release archive needs sha256");if(!/^[A-Za-z0-9][A-Za-z0-9._-]*$/.test(v))throw Error("REFUSE\xB7release artifact needs one safe filename");let p;try{p=new URL(E)}catch{throw Error("REFUSE\xB7release archive source needs an absolute URL")}if(p.username||p.password||/[\s\x00-\x1f\x7f]/.test(E))throw Error("REFUSE\xB7release archive source needs a credential-free absolute URL without whitespace");return`READY ${g} ${v} ${E}`}f(C,"releaseApproval");function B(n,o){const a=L(o);if(a===void 0)throw Error("REFUSE\xB7release approval file is absent");const s=a.split(`
+`).filter(l=>l.trim().length>0);process.stdout.write(C(A(O(n,z)),s)+`
+`)}f(B,"printReleaseApproval");export{B as printReleaseApproval,C as releaseApproval};

package/dist/cli/retained-judgment.js

@@ -1,25 +1 @@
-import { foldCeilings, ceilingSummary } from "../fold/ceilings.js";
-import { currentActReadings } from "../fold/own.js";
-import { placedReadings } from "../fold/observed.js";
-import { placesIn } from "../fold/places.js";
-import { releasePolicy, releaseFaults } from "../fold/release-policy.js";
-import { attestationObservations } from "../fold/evidence.js";
-import { parse } from '@lapxo/topos/wire';
-import { point, region, within } from '@lapxo/obligations/field';
-/** A verified semantic fold can be reused. Its previous act's measurements cannot.
- * Keep history intact and judge current measurements with the ordinary interpreters.
- */
-export function refreshRetainedJudgment(prior, ceilings, current = currentActReadings(prior.under)) {
-    const own = { ...prior.own, ...current };
-    const readings = foldCeilings({ standing: prior.standing, ceilings, observed: prior.observed,
-        own, epoch: prior.epoch, ...(prior.under ? { under: prior.under, places: new Set(placesIn(prior.root)) } : {}) });
-    const standing = prior.standing.filter(line => !prior.grey.includes(line) && !prior.refused.includes(line));
-    const shared = new Set(prior.under ? placedReadings(prior.observed)
-        .filter(reading => !within(point(reading.place.replace(/\/\*$/, '')), region(prior.under)))
-        .map(reading => reading.question) : []);
-    return { ...prior, kept: true, own, ceilings: ceilingSummary(readings, ceilings.length, shared),
-        release: releasePolicy({ standing, demands: prior.demands, paid: prior.paid, ceilings, readings,
-            faults: releaseFaults(prior),
-            verdicts: attestationObservations(standing.map(line => { const got = parse(line); return got.kind === 'fact' ? got.value.fields : {}; }), prior.second),
-            snapshot: { fold: prior.key, instrument: prior.instrument } }) };
-}
+var r=Object.defineProperty;var m=(e,t)=>r(e,"name",{value:t,configurable:!0});import{foldCeilings as u,ceilingSummary as c}from"../fold/ceilings.js";import{currentActReadings as f}from"../fold/own.js";import{placedReadings as g}from"../fold/observed.js";import{placesIn as b}from"../fold/places.js";import{releasePolicy as h,releaseFaults as y}from"../fold/release-policy.js";import{attestationObservations as p}from"../fold/evidence.js";import{library11_parse as v}from"../vendor/runtime.js";import{library12_point as w,library12_region as _,library12_within as k}from"../vendor/runtime.js";function O(e,t,o=f(e.under)){const s={...e.own,...o},a=u({standing:e.standing,ceilings:t,observed:e.observed,own:s,epoch:e.epoch,...e.under?{under:e.under,places:new Set(b(e.root))}:{}}),d=e.standing.filter(n=>!e.grey.includes(n)&&!e.refused.includes(n)),l=new Set(e.under?g(e.observed).filter(n=>!k(w(n.place.replace(/\/\*$/,"")),_(e.under))).map(n=>n.question):[]);return{...e,kept:!0,own:s,ceilings:c(a,t.length,l),release:h({standing:d,demands:e.demands,paid:e.paid,ceilings:t,readings:a,faults:y(e),verdicts:p(d.map(n=>{const i=v(n);return i.kind==="fact"?i.value.fields:{}}),e.second),snapshot:{fold:e.key,instrument:e.instrument}})}}m(O,"refreshRetainedJudgment");export{O as refreshRetainedJudgment};

package/dist/cli/standing-result.js

@@ -1,19 +1,4 @@
-import { hasContextualPlace, contextualStanding } from "../host/contextual-place.js";
-import { publicStandingLines } from "../host/admitted-place.js";
-import { assertStandingView } from "../host/standing-projection.js";
-import { lockStanding } from "../fold/keys.js";
-import { storeOf } from "../land/ledger.js";
-/** An evidence projection, never a new authority lock. Authentication uses
- * the admission snapshot at each local epoch; the existing fold applies
- * supersessions and withdrawals across all declared classes. Storage layout
- * and delivery mode do not enter this public boundary. */
-export function printStandingResult(root) {
-    const store = storeOf(root);
-    assertStandingView(lockStanding(store));
-    if (hasContextualPlace(root)) {
-        process.stdout.write(JSON.stringify(contextualStanding(root)) + '\n');
-        return;
-    }
-    const standing = publicStandingLines(root);
-    process.stdout.write(standing.length ? standing.join('\n') + '\n' : '');
-}
+var o=Object.defineProperty;var r=(t,n)=>o(t,"name",{value:n,configurable:!0});import{hasContextualPlace as s,contextualStanding as e}from"../host/contextual-place.js";import{publicStandingLines as a}from"../host/admitted-place.js";import{assertStandingView as m}from"../host/standing-projection.js";import{lockStanding as p}from"../fold/keys.js";import{storeOf as c}from"../land/ledger.js";function w(t){const n=c(t);if(m(p(n)),s(t)){process.stdout.write(JSON.stringify(e(t))+`
+`);return}const i=a(t);process.stdout.write(i.length?i.join(`
+`)+`
+`:"")}r(w,"printStandingResult");export{w as printStandingResult};

package/dist/cli/takes.js

@@ -1,112 +1,10 @@
-import { hostOutput } from "../host/call-context.js";
-import { existsSync } from 'node:fs';
-import { join } from 'node:path';
-import { fullDigest } from "../fold/digests.js";
-import { canonical } from '@lapxo/topos/wire';
-import { fieldOf, foldClaims } from "../fold/claims.js";
-import { paidOf } from "../fold/paid.js";
-import { rolesOf } from "../fold/roles.js";
-import { writerFor } from "../fold/signers.js";
-import { judgeTake, sealed } from "../judge/take.js";
-import { land, landEnvelope, ledgerLines, storeOf } from "../land/ledger.js";
-import { wordOf } from "../fold/wire.js";
-import { hasVouchedTree, inside, landCoordinates, coordinatesOf, locationsOf, vouchedCoordinates, witnessOf } from "../land/vouched.js";
-import { ownerOf, forkedScopes, signedOwnerLines } from "./owner.js";
-export function judgeDemand(root, demand) {
-    const started = Date.now();
-    const store = storeOf(root);
-    const scope = fieldOf(demand, 'scope');
-    const refuse = (why) => ({ kind: 'refused', scope, why });
-    if (!hasVouchedTree(store))
-        return refuse('no source is vouched; land the lock once');
-    if (forkedScopes(store).has(scope))
-        return refuse('it stands as a fork; the owner narrows or withdraws one line first');
-    const condition = fieldOf(demand, 'condition');
-    if (condition) {
-        const paid = ledgerLines(store, 'judge').filter((line) => fieldOf(line, 'scope') === condition && fieldOf(line, 'value') === 'present').pop();
-        if (!paid)
-            return { kind: 'owed', scope, why: `it rests on ${condition}, which has no FACT: it stands owed until that is paid` };
-        const absent = locationsOf(fieldOf(demand, 'needs')).locations.filter((l) => !existsSync(join(root, l.replace(/\/$/, ''))));
-        if (absent.length)
-            return refuse(`demanded locations absent: ${absent.join(', ')}`);
-        return { kind: 'conditioned', scope, demand, receipt: fieldOf(paid, 'at'), condition };
-    }
-    const { locations, refused } = locationsOf(fieldOf(demand, 'needs'));
-    if (refused.length)
-        return refuse(`needs that are not locations: ${refused.join(', ')}`);
-    const roleOf = rolesOf(store);
-    const ignored = new Map();
-    const walked = (coordinate) => {
-        const role = roleOf(coordinate);
-        if (role !== 'source')
-            ignored.set(role, (ignored.get(role) ?? 0) + 1);
-        return role;
-    };
-    const before = new Map([...vouchedCoordinates(store)].filter(([coordinate]) => locations.some((l) => inside(coordinate, l)) && roleOf(coordinate) === 'source'));
-    const after = new Map();
-    for (const location of locations)
-        for (const [coordinate, digest] of coordinatesOf(root, location, walked))
-            after.set(coordinate, digest);
-    const law = [scope.split('/').pop() ?? scope, fieldOf(demand, 'at').replace(/^witness:/, '')].filter(Boolean);
-    const standing = foldClaims(signedOwnerLines(store)).standing;
-    const unpaid = paidOf(store, [demand], [], `${wordOf(standing, 'families', 'view')}/`).missing.length === 1;
-    const verdict = judgeTake({
-        root, scope, value: fieldOf(demand, 'value'), locations, before, after, law, unpaid,
-        shape: fieldOf(demand, 'shape'), restsOn: fieldOf(demand, 'restsOn'), witnessOf: (coordinate) => witnessOf(root, coordinate),
-        template: wordOf(foldClaims(signedOwnerLines(store)).standing, 'templates', '{roots}'),
-    });
-    return { kind: 'judged', scope, demand, locations, before, after, verdict, ignored, started };
-}
-/** A take its batch let land: its receipt sealed with the gates the batch passed, its cone vouched, its fact landed. */
-export function landTake(root, one, gates) {
-    const store = storeOf(root);
-    if (one.kind === 'refused')
-        return;
-    if (one.kind === 'owed') {
-        hostOutput('out', `OWED     take ${one.scope} · ${one.why}\n`);
-        return;
-    }
-    if (one.kind === 'conditioned') {
-        const { scope, demand, receipt, condition } = one;
-        land(store, 'judge', [canonical({
-                scope, role: 'writes', form: 'alphabet', measure: fieldOf(demand, 'measure') || 'status', value: fieldOf(demand, 'value') || 'present', by: 'judge', at: receipt, condition,
-            })]);
-        land(store, 'take', [canonical({ scope: `take/${scope}`, role: 'writes', form: 'alphabet', measure: 'status', value: 'fact', by: 'judge', at: receipt })]);
-        hostOutput('out', `FACT     take ${scope} · paid by ${receipt} · condition ${condition} · no moved set\n`);
-        return;
-    }
-    const { scope, demand, before, after, ignored, started } = one;
-    const verdict = sealed(root, one.verdict, gates);
-    const who = writerFor(signedOwnerLines(store), 'fold') ?? ownerOf(store);
-    const cone = fullDigest(store, [...before].map(([path, digest]) => `${path} ${digest}`));
-    land(store, 'take', [canonical({ scope: `take/${scope}`, role: 'writes', form: 'alphabet', measure: 'status', value: 'open', by: who, at: `place:${cone}` })]);
-    landEnvelope(store, verdict.digest, `${JSON.stringify(verdict.envelope, null, 1)}\n`);
-    const receipt = `receipt:${verdict.digest}`;
-    const generation = fullDigest(store, [...after].sort().map(([coordinate, digest]) => `${coordinate} ${digest}`));
-    land(store, 'judge', verdict.envelope.effects.map((effect) => canonical({
-        scope: `${effect.kind}/${generation}`, role: 'writes', form: 'alphabet', measure: 'status', value: effect.status, by: 'judge', at: receipt,
-    })));
-    if (verdict.kind === 'fact') {
-        const present = new Map(verdict.changed.filter((path) => after.has(path)).map((path) => [path, after.get(path) ?? '']));
-        const gone = verdict.changed.filter((path) => !after.has(path));
-        landCoordinates(store, present, gone, receipt);
-        land(store, 'judge', [
-            canonical({
-                scope, role: 'writes', form: 'alphabet', measure: fieldOf(demand, 'measure') || 'status', value: fieldOf(demand, 'value') || 'present', by: 'judge', at: receipt,
-            }),
-            canonical({ scope, role: 'writes', form: 'alphabet', measure: 'cone', value: (verdict.changed.length ? verdict.changed : [...after.keys()].sort()).join('|'), by: 'judge', at: receipt }),
-        ]);
-    }
-    const ms = Date.now() - started;
-    land(store, 'take', [
-        canonical({ scope: `take/${scope}`, role: 'writes', form: 'alphabet', measure: 'status', value: verdict.kind, by: 'judge', at: receipt }),
-        canonical({ scope: `take/${scope}`, role: 'writes', form: 'interval', measure: 'ms', value: `${ms}..${ms}`, by: 'judge', at: receipt }),
-    ]);
-    const effects = verdict.envelope.effects.map((e) => `${e.kind}@${e.at || '.'}:${e.admitted ? e.status : `${e.status}·grey`}(${e.ms} ms)`).join(' ') || 'none';
-    hostOutput('out', `${verdict.kind === 'fact' ? 'FACT  ' : 'REFUSE'}   take ${scope} · ${verdict.why}\n`
-        + `MOVED    ${verdict.changed.length} sources: ${verdict.changed.join(' ')}\n`
-        + `IGNORED  ${[...ignored].map(([role, n]) => `${n} ${role}`).join(' · ') || 'none'} (not walked, never landed)\n`
-        + `${verdict.notOwned.length ? `NOT OWN  ${verdict.notOwned.length} witnesses of other laws, left for them: ${verdict.notOwned.join(' ')}\n` : ''}`
-        + `EFFECTS  ${effects}\n`
-        + `RECEIPT  ${verdict.digest} · ${ms} ms\n`);
-}
+var N=Object.defineProperty;var g=(c,s)=>N(c,"name",{value:s,configurable:!0});import{hostOutput as E}from"../host/call-context.js";import{existsSync as x}from"node:fs";import{join as A}from"node:path";import{fullDigest as C}from"../fold/digests.js";import{library11_canonical as u}from"../vendor/runtime.js";import{fieldOf as i,foldClaims as D}from"../fold/claims.js";import{paidOf as R}from"../fold/paid.js";import{rolesOf as I}from"../fold/roles.js";import{writerFor as L}from"../fold/signers.js";import{judgeTake as V,sealed as W}from"../judge/take.js";import{land as $,landEnvelope as B,ledgerLines as G,storeOf as F}from"../land/ledger.js";import{wordOf as M}from"../fold/wire.js";import{hasVouchedTree as J,inside as P,landCoordinates as U,coordinatesOf as _,locationsOf as S,vouchedCoordinates as q,witnessOf as z}from"../land/vouched.js";import{ownerOf as H,forkedScopes as K,signedOwnerLines as T}from"./owner.js";function fe(c,s){const O=Date.now(),r=F(c),a=i(s,"scope"),p=g(e=>({kind:"refused",scope:a,why:e}),"refuse");if(!J(r))return p("no source is vouched; land the lock once");if(K(r).has(a))return p("it stands as a fork; the owner narrows or withdraws one line first");const m=i(s,"condition");if(m){const e=G(r,"judge").filter(f=>i(f,"scope")===m&&i(f,"value")==="present").pop();if(!e)return{kind:"owed",scope:a,why:`it rests on ${m}, which has no FACT: it stands owed until that is paid`};const n=S(i(s,"needs")).locations.filter(f=>!x(A(c,f.replace(/\/$/,""))));return n.length?p(`demanded locations absent: ${n.join(", ")}`):{kind:"conditioned",scope:a,demand:s,receipt:i(e,"at"),condition:m}}const{locations:d,refused:w}=S(i(s,"needs"));if(w.length)return p(`needs that are not locations: ${w.join(", ")}`);const k=I(r),t=new Map,j=g(e=>{const n=k(e);return n!=="source"&&t.set(n,(t.get(n)??0)+1),n},"walked"),v=new Map([...q(r)].filter(([e])=>d.some(n=>P(e,n))&&k(e)==="source")),l=new Map;for(const e of d)for(const[n,f]of _(c,e,j))l.set(n,f);const b=[a.split("/").pop()??a,i(s,"at").replace(/^witness:/,"")].filter(Boolean),h=D(T(r)).standing,y=R(r,[s],[],`${M(h,"families","view")}/`).missing.length===1,o=V({root:c,scope:a,value:i(s,"value"),locations:d,before:v,after:l,law:b,unpaid:y,shape:i(s,"shape"),restsOn:i(s,"restsOn"),witnessOf:g(e=>z(c,e),"witnessOf"),template:M(D(T(r)).standing,"templates","{roots}")});return{kind:"judged",scope:a,demand:s,locations:d,before:v,after:l,verdict:o,ignored:t,started:O}}g(fe,"judgeDemand");function ue(c,s,O){const r=F(c);if(s.kind==="refused")return;if(s.kind==="owed"){E("out",`OWED     take ${s.scope} \xB7 ${s.why}
+`);return}if(s.kind==="conditioned"){const{scope:o,demand:e,receipt:n,condition:f}=s;$(r,"judge",[u({scope:o,role:"writes",form:"alphabet",measure:i(e,"measure")||"status",value:i(e,"value")||"present",by:"judge",at:n,condition:f})]),$(r,"take",[u({scope:`take/${o}`,role:"writes",form:"alphabet",measure:"status",value:"fact",by:"judge",at:n})]),E("out",`FACT     take ${o} \xB7 paid by ${n} \xB7 condition ${f} \xB7 no moved set
+`);return}const{scope:a,demand:p,before:m,after:d,ignored:w,started:k}=s,t=W(c,s.verdict,O),j=L(T(r),"fold")??H(r),v=C(r,[...m].map(([o,e])=>`${o} ${e}`));$(r,"take",[u({scope:`take/${a}`,role:"writes",form:"alphabet",measure:"status",value:"open",by:j,at:`place:${v}`})]),B(r,t.digest,`${JSON.stringify(t.envelope,null,1)}
+`);const l=`receipt:${t.digest}`,b=C(r,[...d].sort().map(([o,e])=>`${o} ${e}`));if($(r,"judge",t.envelope.effects.map(o=>u({scope:`${o.kind}/${b}`,role:"writes",form:"alphabet",measure:"status",value:o.status,by:"judge",at:l}))),t.kind==="fact"){const o=new Map(t.changed.filter(n=>d.has(n)).map(n=>[n,d.get(n)??""])),e=t.changed.filter(n=>!d.has(n));U(r,o,e,l),$(r,"judge",[u({scope:a,role:"writes",form:"alphabet",measure:i(p,"measure")||"status",value:i(p,"value")||"present",by:"judge",at:l}),u({scope:a,role:"writes",form:"alphabet",measure:"cone",value:(t.changed.length?t.changed:[...d.keys()].sort()).join("|"),by:"judge",at:l})])}const h=Date.now()-k;$(r,"take",[u({scope:`take/${a}`,role:"writes",form:"alphabet",measure:"status",value:t.kind,by:"judge",at:l}),u({scope:`take/${a}`,role:"writes",form:"interval",measure:"ms",value:`${h}..${h}`,by:"judge",at:l})]);const y=t.envelope.effects.map(o=>`${o.kind}@${o.at||"."}:${o.admitted?o.status:`${o.status}\xB7grey`}(${o.ms} ms)`).join(" ")||"none";E("out",`${t.kind==="fact"?"FACT  ":"REFUSE"}   take ${a} \xB7 ${t.why}
+MOVED    ${t.changed.length} sources: ${t.changed.join(" ")}
+IGNORED  ${[...w].map(([o,e])=>`${e} ${o}`).join(" \xB7 ")||"none"} (not walked, never landed)
+${t.notOwned.length?`NOT OWN  ${t.notOwned.length} witnesses of other laws, left for them: ${t.notOwned.join(" ")}
+`:""}EFFECTS  ${y}
+RECEIPT  ${t.digest} \xB7 ${h} ms
+`)}g(ue,"landTake");export{fe as judgeDemand,ue as landTake};

package/dist/cli/verb.d.ts

@@ -1,2 +1 @@
-#!/usr/bin/env node
-export {};
+export {} from "../public-types.js";