@lapxo/bound 0.2.3 → 0.2.5

package/dist/land/leaving.js

@@ -1,55 +1 @@
-import { readOnly } from "../host/read-only.js";
-import { meets } from "../fold/closed.js";
-import { fieldOf } from "../fold/claims.js";
-import { sourced } from "./vouched.js";
-import { observedClaims } from "../fold/observed.js";
-/**
- * A file goes from the tree through a line, never through a hand: its path withdrawn in the family the lock sources files
- * by is the only way a file goes, and the fold refuses it while a block still reads the file — what a run depends on is judged by the run's
- * own memo, which names every file each block read, and not by a search for the file's name in a test. A search misses
- * a name built in a loop; the memo does not. A test file goes with its own blocks, and is refused while one of them
- * is the only run of a vector or a sample, which it names.
- */
-export function coordinatesWithdrawn(root, store, signed, standing) {
-    const family = sourced(standing);
-    const asked = signed.filter((line) => fieldOf(line, 'scope').startsWith(`${family}/`) && fieldOf(line, 'value') === 'withdraw')
-        .map((line) => fieldOf(line, 'scope').slice(family.length + 1));
-    if (!asked.length)
-        return { taken: [], refused: [] };
-    if (readOnly() && !meets(root, store, ''))
-        throw Error('REFUSE·withdraw current native receipts are required to judge file removal; fold the declared inputs first');
-    /** A run rewrites every block of a test file under one observation, so a block whose title moved still holds a row
-     * from an older one: what reads a file now is what the latest run of each test file wrote, and nothing older. */
-    const memo = observedClaims(root, store, { wait: false }).filter((line) => fieldOf(line, 'measure') === 'memo');
-    const fileOf = (scope) => scope.split('/').slice(0, 2).join('/');
-    const last = new Map();
-    for (const line of memo)
-        last.set(fileOf(fieldOf(line, 'scope')), fieldOf(line, 'at'));
-    const latest = new Map();
-    for (const line of memo) {
-        const scope = fieldOf(line, 'scope');
-        if (fieldOf(line, 'at') === last.get(fileOf(scope)))
-            latest.set(scope, fieldOf(line, 'value'));
-    }
-    const refused = [];
-    const taken = [];
-    const ownOf = (inside) => (/^test\/[^/]+\.test\.ts$/.test(inside) ? `vector-memo/${inside.slice('test/'.length)}/` : undefined);
-    const leaving = asked.map((path) => ownOf(path.slice(path.indexOf('/') + 1))).filter((own) => own !== undefined);
-    const runs = (value) => value.split('|').filter((token) => token.startsWith('read:') && !token.includes('#')).map((token) => token.slice('read:'.length));
-    for (const path of asked) {
-        const inside = path.slice(path.indexOf('/') + 1);
-        const own = ownOf(inside);
-        const reads = (value) => value.split('|').some((token) => token.startsWith(`in:${inside}:`) && /^[0-9a-f]{12}$/.test(token.slice(`in:${inside}:`.length)));
-        const by = [...latest].find(([scope, value]) => (own === undefined || !scope.startsWith(own)) && reads(value))?.[0];
-        const elsewhere = new Set([...latest].filter(([scope]) => !leaving.some((one) => scope.startsWith(one))).flatMap(([, value]) => runs(value)));
-        const only = own === undefined ? undefined : [...latest].filter(([scope]) => scope.startsWith(own))
-            .flatMap(([scope, value]) => runs(value).filter((name) => !elsewhere.has(name)).map((name) => `${scope}, the only run of ${name}`))[0];
-        if (by !== undefined)
-            refused.push({ path, by });
-        else if (only !== undefined)
-            refused.push({ path, by: only });
-        else
-            taken.push(path);
-    }
-    return { taken, refused };
-}
+var j=Object.defineProperty;var o=(r,f)=>j(r,"name",{value:f,configurable:!0});import{readOnly as S}from"../host/read-only.js";import{meets as k}from"../fold/closed.js";import{fieldOf as n}from"../fold/claims.js";import{sourced as q}from"./vouched.js";import{observedClaims as C}from"../fold/observed.js";function D(r,f,O,M){const p=q(M),c=O.filter(e=>n(e,"scope").startsWith(`${p}/`)&&n(e,"value")==="withdraw").map(e=>n(e,"scope").slice(p.length+1));if(!c.length)return{taken:[],refused:[]};if(S()&&!k(r,f,""))throw Error("REFUSE\xB7withdraw current native receipts are required to judge file removal; fold the declared inputs first");const u=C(r,f,{wait:!1}).filter(e=>n(e,"measure")==="memo"),h=o(e=>e.split("/").slice(0,2).join("/"),"fileOf"),w=new Map;for(const e of u)w.set(h(n(e,"scope")),n(e,"at"));const l=new Map;for(const e of u){const t=n(e,"scope");n(e,"at")===w.get(h(t))&&l.set(t,n(e,"value"))}const d=[],g=[],$=o(e=>/^test\/[^/]+\.test\.ts$/.test(e)?`vector-memo/${e.slice(5)}/`:void 0,"ownOf"),b=c.map(e=>$(e.slice(e.indexOf("/")+1))).filter(e=>e!==void 0),v=o(e=>e.split("|").filter(t=>t.startsWith("read:")&&!t.includes("#")).map(t=>t.slice(5)),"runs");for(const e of c){const t=e.slice(e.indexOf("/")+1),a=$(t),x=o(s=>s.split("|").some(i=>i.startsWith(`in:${t}:`)&&/^[0-9a-f]{12}$/.test(i.slice(`in:${t}:`.length))),"reads"),W=[...l].find(([s,i])=>(a===void 0||!s.startsWith(a))&&x(i))?.[0],E=new Set([...l].filter(([s])=>!b.some(i=>s.startsWith(i))).flatMap(([,s])=>v(s))),y=a===void 0?void 0:[...l].filter(([s])=>s.startsWith(a)).flatMap(([s,i])=>v(i).filter(m=>!E.has(m)).map(m=>`${s}, the only run of ${m}`))[0];W!==void 0?d.push({path:e,by:W}):y!==void 0?d.push({path:e,by:y}):g.push(e)}return{taken:g,refused:d}}o(D,"coordinatesWithdrawn");export{D as coordinatesWithdrawn};

package/dist/land/ledger.js

@@ -1,188 +1,7 @@
-import { actLines, committedLocalActs } from "../host/ports/local-act.js";
-import { readdirSync } from 'node:fs';
-import { requireEffects } from "../host/read-only.js";
-import { appendFileSync, closeSync, dirname, existsSync, join, linkSync, mkdirSync, openSync, readFileSync, readSync, renameSync, rmSync, statSync, writeFileSync } from "../host/io.js";
-import { storeRoot } from "../host/ports/store.js";
-import { canonical, EXTENSION, PROTOCOL } from '@lapxo/topos/wire';
-import { fieldOf } from "../fold/claims.js";
-import { observeText } from "../observe/files.js";
-export function storeOf(root) {
-    return join(storeRoot(root), EXTENSION);
-}
-/**
- * The store of a place: every name under it is read here and nowhere else, whoever needs a place asks for it by its
- * steps, and one append-only file per writer stands beside the bytes kept by digest — one per region for a writer
- * whose lines are about regions, so a fold opens only the regions it reaches. A file is read once per stamp, and a
- * ledger only grows: what it held is kept, and only the bytes appended since, from where it last ended a line, are read.
- */
-export function storeAt(store, ...steps) {
-    return join(store, ...steps);
-}
-export function writerFile(store, writer) {
-    return storeAt(store, 'ledger', `${writer.replace(/[^a-zA-Z0-9_-]/g, '')}${EXTENSION}`);
-}
-const held = new Map();
-export function ledgerLines(store, writer) {
-    return journalLines(store, writer, '.', linesAt(writerFile(store, writer)));
-}
-export function shardFile(store, writer, region) {
-    return storeAt(store, 'ledger', writer.replace(/[^a-zA-Z0-9_-]/g, ''), `${region.replace(/\/+$/, '') || '@'}${EXTENSION}`);
-}
-export const shardLines = (store, writer, region) => journalLines(store, writer, region, linesAt(shardFile(store, writer, region)));
-const journalMemo = new Map();
-function journalLines(store, writer, place, legacy) {
-    const fresh = committedLocalActs(store).flatMap(act => act.bundle.placements?.filter(p => p.place === place).flatMap(p => actLines(p.records).filter(line => fieldOf(line, 'by') === writer)) ?? []);
-    if (!fresh.length)
-        return legacy;
-    const lines = [...new Set([...legacy, ...fresh])], key = store + '\0' + writer + '\0' + place, last = journalMemo.get(key);
-    if (last?.length === lines.length && last.every((line, i) => line === lines[i]))
-        return last;
-    journalMemo.set(key, lines);
-    return lines;
-}
-function legacyWriters(store) {
-    const at = join(store, 'ledger');
-    return existsSync(at) ? readdirSync(at).filter(name => name.endsWith(EXTENSION)).map(name => name.slice(0, -EXTENSION.length)) : [];
-}
-export function ledgerWriters(store) {
-    const legacy = legacyWriters(store);
-    const committed = committedLocalActs(store).flatMap(act => act.bundle.placements?.filter(p => p.place === '.').flatMap(p => actLines(p.records).map(line => fieldOf(line, 'by'))) ?? []);
-    return [...new Set([...legacy, ...committed])];
-}
-/** One synchronous root-history read, not a retained authority snapshot.
- * Preserve writer order and each writer's legacy-before-committed ordering.
- * Every call rereads the complete committed inventory exactly once. */
-export function rootLedgerLines(store) {
-    const legacy = legacyWriters(store), acts = committedLocalActs(store);
-    const fresh = acts.flatMap(act => act.bundle.placements?.filter(p => p.place === '.').flatMap(p => actLines(p.records)) ?? []);
-    const writers = [...new Set([...legacy, ...fresh.map(line => fieldOf(line, 'by'))])];
-    return writers.flatMap(writer => {
-        // Authority-history identity needs actual bytes. A writer's size and mtime
-        // cannot distinguish a same-size edit or stand in for an admission proof.
-        const at = writerFile(store, writer), prior = existsSync(at) ? readFileSync(at, 'utf8').split('\n').filter(line => line.startsWith(PROTOCOL)) : [];
-        const committed = fresh.filter(line => fieldOf(line, 'by') === writer);
-        return committed.length ? [...new Set([...prior, ...committed])] : prior;
-    });
-}
-export function landShard(store, writer, region, lines) {
-    return appendNew(shardFile(store, writer, region), lines);
-}
-function linesAt(at) {
-    const st = statSync(at, { throwIfNoEntry: false });
-    if (!st)
-        return [];
-    const stamp = `${Math.floor(st.mtimeMs)}-${st.size}`;
-    const mine = held.get(at);
-    if (mine?.stamp === stamp)
-        return mine.lines;
-    const grown = mine !== undefined && mine.size > 0 && st.size > mine.size ? tailOf(at, mine.size, st.size) : undefined;
-    const lines = grown !== undefined && mine !== undefined ? [...mine.lines, ...grown.split('\n').filter((line) => line.startsWith(PROTOCOL))] : readFileSync(at, 'utf8').split('\n').filter((line) => line.startsWith(PROTOCOL));
-    held.set(at, { stamp, size: st.size, lines });
-    return lines;
-}
-function tailOf(at, from, to) {
-    const fd = openSync(at, 'r');
-    try {
-        const bytes = Buffer.alloc(to - from + 1);
-        readSync(fd, bytes, 0, bytes.length, from - 1);
-        return bytes[0] === 0x0a ? bytes.subarray(1).toString('utf8') : undefined;
-    }
-    finally {
-        closeSync(fd);
-    }
-}
-function appendNew(at, lines) {
-    const had = new Set(linesAt(at));
-    const fresh = [...new Set(lines)].filter((line) => line.startsWith(PROTOCOL) && !had.has(line));
-    if (fresh.length) {
-        mkdirSync(dirname(at), { recursive: true });
-        appendFileSync(at, `${fresh.join('\n')}\n`);
-    }
-    return fresh.length;
-}
-export function signedLines(store, writer) {
-    return ledgerLines(store, writer).filter((line) => line.includes(`by=${writer}`) && /\bsig=/.test(line));
-}
-export function blobAt(store, digest) {
-    return storeAt(store, 'cas', 'blobs', digest.slice(digest.indexOf(':') + 1));
-}
-/**
- * Where the bytes of one digest are kept: naming a blob is not reading it. A file named by the digest of its bytes lands
- * whole, once, whoever lands it: every writer writes the same bytes, so a
- * rename over one already there changes nothing, and a reader never meets half of it.
- */
-function landWhole(at, bytes) {
-    if (existsSync(at))
-        return at;
-    replaceWhole(at, bytes);
-    return at;
-}
-/** A file replaced whole: the bytes land in a temp beside it and the name moves in one rename, so a killed write keeps the temp, never a torn file under the name a later read parses. */
-export function replaceWhole(at, bytes) {
-    requireEffects('persistent replacement');
-    mkdirSync(dirname(at), { recursive: true });
-    const part = `${at}.${process.pid}.part`;
-    writeFileSync(part, bytes);
-    renameSync(part, at);
-}
-export const landBlob = (store, digest, bytes) => {
-    const at = landWhole(blobAt(store, digest), bytes);
-    holdStore(store, 'blobs', digest, bytes.byteLength);
-    return at;
-};
-export function holdStore(store, kind, name, bytes) {
-    const hex = name.replace(/^[^:]*:/, '');
-    const scope = `cas/${kind}/${hex}`;
-    const held = ledgerLines(store, 'store').filter((line) => fieldOf(line, 'scope') === scope);
-    if (held.length && fieldOf(held[held.length - 1], 'value') !== 'withdraw')
-        return;
-    land(store, 'store', [canonical({
-            scope, role: 'writes', form: 'interval', measure: 'bytes',
-            value: `${bytes}..${bytes}`, at: `place:${kind === 'answers' ? hex : `sha256:${hex}`}`, by: 'store',
-        })]);
-}
-export const memoAt = (store, key) => storeAt(store, 'cas', 'memo', ...key.split('/').map((step) => step.replace(/[^a-zA-Z0-9._@-]/g, '_')));
-export function landMemo(store, key, bytes) {
-    const at = memoAt(store, key);
-    if (existsSync(at))
-        return at;
-    mkdirSync(dirname(at), { recursive: true });
-    const part = `${at}.${process.pid}.part`;
-    writeFileSync(part, bytes);
-    try {
-        linkSync(part, at);
-    }
-    catch (error) {
-        if (error.code !== 'EEXIST')
-            throw error;
-    }
-    finally {
-        rmSync(part, { force: true });
-    }
-    return at;
-}
-export const landEnvelope = (store, digest, bytes) => landWhole(storeAt(store, 'cas', 'envelopes', `${digest.slice(digest.indexOf(':') + 1)}.json`), bytes);
-export function land(store, writer, lines) {
-    requireEffects('ledger admission');
-    const at = writerFile(store, writer);
-    return { at, appended: appendNew(at, lines) };
-}
-const step = (value) => value.replace(/[^a-zA-Z0-9._@-]/g, '_');
-function verdictAt(store, tree, lot) {
-    return memoAt(store, `verdict/${step(tree)}/${step(lot)}`);
-}
-export function keptVerdict(store, tree, lot) {
-    const text = observeText(verdictAt(store, tree, lot));
-    if (text === undefined)
-        return undefined;
-    try {
-        const got = JSON.parse(text);
-        return Array.isArray(got) ? got : undefined;
-    }
-    catch {
-        return undefined;
-    }
-}
-export function keepVerdict(store, tree, lot, judged) {
-    landMemo(store, `verdict/${step(tree)}/${step(lot)}`, new TextEncoder().encode(JSON.stringify(judged)));
-}
+var Z=Object.defineProperty;var i=(e,t)=>Z(e,"name",{value:t,configurable:!0});import{preparingView as R,viewInput as M}from"../host/reading-context.js";import{actLines as g,committedLocalActs as x}from"../host/ports/local-act.js";import{readdirSync as V}from"node:fs";import{requireEffects as z}from"../host/read-only.js";import{appendFileSync as X,closeSync as B,dirname as S,existsSync as u,join as $,linkSync as C,mkdirSync as b,openSync as J,readFileSync as w,readSync as P,renameSync as q,rmSync as D,statSync as G,writeFileSync as A}from"../host/io.js";import{storeRoot as H}from"../host/ports/store.js";import{library11_canonical as K,library11_EXTENSION as d,library11_PROTOCOL as m}from"../vendor/runtime.js";import{fieldOf as p}from"../fold/claims.js";import{observeText as Q}from"../observe/files.js";function he(e){return $(H(e),d)}i(he,"storeOf");function h(e,...t){return $(e,...t)}i(h,"storeAt");function O(e,t){return h(e,"ledger",`${t.replace(/[^a-zA-Z0-9_-]/g,"")}${d}`)}i(O,"writerFile");const L=new Map;function E(e,t){return N(e,t,".",v(O(e,t)))}i(E,"ledgerLines");function W(e,t,n){return h(e,"ledger",t.replace(/[^a-zA-Z0-9_-]/g,""),`${n.replace(/\/+$/,"")||"@"}${d}`)}i(W,"shardFile");const ye=i((e,t,n)=>N(e,t,n,v(W(e,t,n))),"shardLines"),_=new Map;function N(e,t,n,r){const o=x(e).flatMap(f=>f.bundle.placements?.filter(l=>l.place===n).flatMap(l=>g(l.records).filter(k=>p(k,"by")===t))??[]);if(!o.length)return r;const s=[...new Set([...r,...o])],c=e+"\0"+t+"\0"+n,a=_.get(c);return a?.length===s.length&&a.every((f,l)=>f===s[l])?a:(_.set(c,s),s)}i(N,"journalLines");function T(e){const t=$(e,"ledger");return M("ledger-writers:"+t,()=>u(t)?V(t).filter(n=>n.endsWith(d)).map(n=>n.slice(0,-d.length)):[],!1)}i(T,"legacyWriters");function ge(e){const t=T(e),n=x(e).flatMap(r=>r.bundle.placements?.filter(o=>o.place===".").flatMap(o=>g(o.records).map(s=>p(s,"by")))??[]);return[...new Set([...t,...n])]}i(ge,"ledgerWriters");function xe(e){const t=T(e),r=x(e).flatMap(s=>s.bundle.placements?.filter(c=>c.place===".").flatMap(c=>g(c.records))??[]);return[...new Set([...t,...r.map(s=>p(s,"by"))])].flatMap(s=>{const c=O(e,s),a=u(c)?w(c,"utf8").split(`
+`).filter(l=>l.startsWith(m)):[],f=r.filter(l=>p(l,"by")===s);return f.length?[...new Set([...a,...f])]:a})}i(xe,"rootLedgerLines");function Se(e,t,n,r){return j(W(e,t,n),r)}i(Se,"landShard");function v(e){if(R())return M("ledger:"+e,()=>u(e)?w(e,"utf8").split(`
+`).filter(c=>c.startsWith(m)):[],!1);const t=G(e,{throwIfNoEntry:!1});if(!t)return[];const n=`${Math.floor(t.mtimeMs)}-${t.size}`,r=L.get(e);if(r?.stamp===n)return r.lines;const o=r!==void 0&&r.size>0&&t.size>r.size?U(e,r.size,t.size):void 0,s=o!==void 0&&r!==void 0?[...r.lines,...o.split(`
+`).filter(c=>c.startsWith(m))]:w(e,"utf8").split(`
+`).filter(c=>c.startsWith(m));return L.set(e,{stamp:n,size:t.size,lines:s}),s}i(v,"linesAt");function U(e,t,n){const r=J(e,"r");try{const o=Buffer.alloc(n-t+1);return P(r,o,0,o.length,t-1),o[0]===10?o.subarray(1).toString("utf8"):void 0}finally{B(r)}}i(U,"tailOf");function j(e,t){const n=new Set(v(e)),r=[...new Set(t)].filter(o=>o.startsWith(m)&&!n.has(o));return r.length&&(b(S(e),{recursive:!0}),X(e,`${r.join(`
+`)}
+`)),r.length}i(j,"appendNew");function $e(e,t){return E(e,t).filter(n=>n.includes(`by=${t}`)&&/\bsig=/.test(n))}i($e,"signedLines");function Y(e,t){return h(e,"cas","blobs",t.slice(t.indexOf(":")+1))}i(Y,"blobAt");function F(e,t){return u(e)||ee(e,t),e}i(F,"landWhole");function ee(e,t){z("persistent replacement"),b(S(e),{recursive:!0});const n=`${e}.${process.pid}.part`;A(n,t),q(n,e)}i(ee,"replaceWhole");const be=i((e,t,n)=>{const r=F(Y(e,t),n);return te(e,"blobs",t,n.byteLength),r},"landBlob");function te(e,t,n,r){const o=n.replace(/^[^:]*:/,""),s=`cas/${t}/${o}`,c=E(e,"store").filter(a=>p(a,"scope")===s);c.length&&p(c[c.length-1],"value")!=="withdraw"||re(e,"store",[K({scope:s,role:"writes",form:"interval",measure:"bytes",value:`${r}..${r}`,at:`place:${t==="answers"?o:`sha256:${o}`}`,by:"store"})])}i(te,"holdStore");const I=i((e,t)=>h(e,"cas","memo",...t.split("/").map(n=>n.replace(/[^a-zA-Z0-9._@-]/g,"_"))),"memoAt");function ne(e,t,n){const r=I(e,t);if(u(r))return r;b(S(r),{recursive:!0});const o=`${r}.${process.pid}.part`;A(o,n);try{C(o,r)}catch(s){if(s.code!=="EEXIST")throw s}finally{D(o,{force:!0})}return r}i(ne,"landMemo");const we=i((e,t,n)=>F(h(e,"cas","envelopes",`${t.slice(t.indexOf(":")+1)}.json`),n),"landEnvelope");function re(e,t,n){z("ledger admission");const r=O(e,t);return{at:r,appended:j(r,n)}}i(re,"land");const y=i(e=>e.replace(/[^a-zA-Z0-9._@-]/g,"_"),"step");function oe(e,t,n){return I(e,`verdict/${y(t)}/${y(n)}`)}i(oe,"verdictAt");function Oe(e,t,n){const r=Q(oe(e,t,n));if(r!==void 0)try{const o=JSON.parse(r);return Array.isArray(o)?o:void 0}catch{return}}i(Oe,"keptVerdict");function ve(e,t,n,r){ne(e,`verdict/${y(t)}/${y(n)}`,new TextEncoder().encode(JSON.stringify(r)))}i(ve,"keepVerdict");export{Y as blobAt,te as holdStore,ve as keepVerdict,Oe as keptVerdict,re as land,be as landBlob,we as landEnvelope,ne as landMemo,Se as landShard,E as ledgerLines,ge as ledgerWriters,I as memoAt,ee as replaceWhole,xe as rootLedgerLines,W as shardFile,ye as shardLines,$e as signedLines,h as storeAt,he as storeOf,O as writerFile};

package/dist/land/owned.js

@@ -1,66 +1,4 @@
-import { join, renameSync, writeFileSync } from "../host/io.js";
-import { fieldOf, LOCK } from "../fold/claims.js";
-import { lockStanding } from "../fold/keys.js";
-import { placesIn } from "../fold/places.js";
-import { admittedIn, forksIn, tellOwn } from "../fold/signed.js";
-import { wordOf } from "../fold/wire.js";
-import { observeText } from "../observe/files.js";
-import { landShard, storeOf } from "./ledger.js";
-/**
- * A lot named with --place lands in those own locks and not the ledger: a lot never mixes. A line the ledger does not admit is a place's own when that place's own lock admits it: signed by a key the tree admits,
- * inside the window it held, inside its coverage of the place, the line's scope read as a region of the place. An own
- * lock speaks of its place without naming it, so a line whose scope names a place first is the ledger's alone, and the
- * same line can stand in many own locks: named places take every line they admit, and with none named a line lands in
- * the one own lock that admits it. The lines are told to their locks for the gates and land in them signed, beside what
- * the ledger takes. A line no lock admits, or one two locks would take and no place names, is admitted nowhere, and a
- * batch that holds one is refused whole: nothing is ever written into a lock bare. An own lot never forks a lock: lines
- * that would leave a place's lock with two standing claims where it had one are refused whole, so a lot for many places
- * lands the same lines at each, and lines meant for one place go in a lot of their own.
- */
-export function ownedOf(root, signed, admits, coverage, named = [], placedAt = () => undefined) {
-    const places = placesIn(root);
-    const headed = (line) => places.includes(fieldOf(line, 'scope').split('/')[0] ?? '');
-    const ledger = named.length ? [] : signed.filter(admits);
-    const rest = [...new Set(signed.filter((line) => (named.length || !admits(line)) && !headed(line)))];
-    const placed = signed.filter((line) => !ledger.includes(line) && !rest.includes(line));
-    if (!rest.length)
-        return { ledger, own: new Map(), nowhere: placed, forked: [] };
-    const family = wordOf(lockStanding(storeOf(root)), 'families', 'region');
-    const covers = new Set(rest.map((line) => fieldOf(line, 'by')).flatMap((by) => coverage(by)));
-    const namedOf = (line) => placedAt(line) ?? named;
-    const asked = [...new Set(rest.flatMap((line) => (namedOf(line).length ? namedOf(line) : places)))].filter((place) => [...covers].some((prefix) => prefix === '*' || prefix.startsWith(`${family}/${place}/`) || prefix === `${family}/${place}`));
-    const takers = new Map();
-    for (const place of asked) {
-        tellOwn(place, rest);
-        for (const line of rest)
-            if ((!namedOf(line).length || namedOf(line).includes(place)) && admittedIn(root, place, line))
-                takers.set(line, [...(takers.get(line) ?? []), place]);
-        tellOwn(place, []);
-    }
-    const lands = (line) => (namedOf(line).length ? (takers.get(line)?.length ?? 0) > 0 : takers.get(line)?.length === 1);
-    const own = new Map();
-    for (const line of rest.filter(lands))
-        for (const place of takers.get(line))
-            own.set(place, [...(own.get(place) ?? []), line]);
-    const forked = [...own].flatMap(([place, lines]) => {
-        tellOwn(place, []);
-        const before = new Set(forksIn(root, place));
-        tellOwn(place, lines);
-        return forksIn(root, place).filter((key) => !before.has(key)).map((key) => ({ place, key }));
-    });
-    return { ledger, own, nowhere: [...placed, ...rest.filter((line) => !lands(line))], forked };
-}
-/** A place's own lock gains the lines a batch landed there, appended whole: a reader never meets half of it, and every line already there keeps its bytes as they were. */
-export function landOwned(root, place, lines, committed = false) {
-    if (!lines.length)
-        return tellOwn(place, []);
-    const at = join(root, place, LOCK);
-    const text = observeText(at) ?? '';
-    if (!committed)
-        for (const by of new Set(lines.map(line => fieldOf(line, 'by')))) {
-            landShard(storeOf(root), by, `${place}/${LOCK}`, lines.filter(line => fieldOf(line, 'by') === by));
-        }
-    writeFileSync(`${at}.${process.pid}.landing`, `${text.replace(/\n*$/, '\n')}${lines.join('\n')}\n`);
-    renameSync(`${at}.${process.pid}.landing`, at);
-    tellOwn(place, []);
-}
+var C=Object.defineProperty;var i=(n,o)=>C(n,"name",{value:o,configurable:!0});import{join as F,renameSync as K,writeFileSync as L}from"../host/io.js";import{fieldOf as g,LOCK as b}from"../fold/claims.js";import{lockStanding as T}from"../fold/keys.js";import{placesIn as W}from"../fold/places.js";import{admittedIn as q,forksIn as k,tellOwn as c}from"../fold/signed.js";import{wordOf as z}from"../fold/wire.js";import{observeText as A}from"../observe/files.js";import{landShard as B,storeOf as M}from"./ledger.js";function U(n,o,s,w,r=[],h=()=>{}){const l=W(n),a=i(t=>l.includes(g(t,"scope").split("/")[0]??""),"headed"),$=r.length?[]:o.filter(s),f=[...new Set(o.filter(t=>(r.length||!s(t))&&!a(t)))],S=o.filter(t=>!$.includes(t)&&!f.includes(t));if(!f.length)return{ledger:$,own:new Map,nowhere:S,forked:[]};const O=z(T(M(n)),"families","region"),I=new Set(f.map(t=>g(t,"by")).flatMap(t=>w(t))),d=i(t=>h(t)??r,"namedOf"),j=[...new Set(f.flatMap(t=>d(t).length?d(t):l))].filter(t=>[...I].some(e=>e==="*"||e.startsWith(`${O}/${t}/`)||e===`${O}/${t}`)),m=new Map;for(const t of j){c(t,f);for(const e of f)(!d(e).length||d(e).includes(t))&&q(n,t,e)&&m.set(e,[...m.get(e)??[],t]);c(t,[])}const y=i(t=>d(t).length?(m.get(t)?.length??0)>0:m.get(t)?.length===1,"lands"),p=new Map;for(const t of f.filter(y))for(const e of m.get(t))p.set(e,[...p.get(e)??[],t]);const v=[...p].flatMap(([t,e])=>{c(t,[]);const x=new Set(k(n,t));return c(t,e),k(n,t).filter(u=>!x.has(u)).map(u=>({place:t,key:u}))});return{ledger:$,own:p,nowhere:[...S,...f.filter(t=>!y(t))],forked:v}}i(U,"ownedOf");function V(n,o,s,w=!1){if(!s.length)return c(o,[]);const r=F(n,o,b),h=A(r)??"";if(!w)for(const l of new Set(s.map(a=>g(a,"by"))))B(M(n),l,`${o}/${b}`,s.filter(a=>g(a,"by")===l));L(`${r}.${process.pid}.landing`,`${h.replace(/\n*$/,`
+`)}${s.join(`
+`)}
+`),K(`${r}.${process.pid}.landing`,r),c(o,[])}i(V,"landOwned");export{V as landOwned,U as ownedOf};

package/dist/land/sign.js

@@ -1,53 +1 @@
-import { canonical, parse, parseForSigning, signedBytes, signedFieldsOf } from '@lapxo/topos/wire';
-import { verifyBytes } from "../host/adapters/keys/ed25519.js";
-import { SigningFailure } from "../host/ports/signing.js";
-function prepareConsentLine(line, stamp) {
-    const got = parseForSigning(line);
-    if (got.kind !== 'fact')
-        return { kind: 'refuse', why: 'REFUSE·accept not a claim line' };
-    const fields = got.value.fields;
-    const scope = fields['scope'] ?? '?';
-    if (fields['sig'] !== undefined)
-        return { kind: 'refuse', why: `REFUSE·accept ${scope} is already signed` };
-    if (fields['by'] !== 'target')
-        return { kind: 'refuse', why: `REFUSE·accept ${scope} must be drafted by=target` };
-    const covered = signedFieldsOf(fields, stamp.by);
-    if (stamp.epoch !== undefined)
-        covered['epoch'] = String(stamp.epoch);
-    return { kind: 'fact', fields: covered };
-}
-/** Prepare and verify a whole lot. No key material and no output/admission side effects. */
-export async function signConsentLot(lines, stamp, publicKey, admitted, invoke) {
-    const fields = [];
-    for (const line of lines) {
-        const prepared = prepareConsentLine(line, stamp);
-        if (prepared.kind === 'refuse')
-            return prepared;
-        fields.push(prepared.fields);
-    }
-    if (!fields.length)
-        return { kind: 'refuse', why: `REFUSE·signer ${stamp.by} empty lot` };
-    let records;
-    try {
-        records = await invoke({ bytes: fields.map(f => signedBytes(f)), keyId: stamp.by, algorithm: stamp.algorithm });
-    }
-    catch (error) {
-        return { kind: 'refuse', why: error instanceof SigningFailure ? error.message : `REFUSE·signer ${stamp.by} acquisition failed` };
-    }
-    if (records.length !== fields.length || records.some((record, i) => record.keyId !== stamp.by
-        || !verifyBytes(signedBytes(fields[i]), publicKey, record.signature, admitted))) {
-        return { kind: 'refuse', why: `REFUSE·signer ${stamp.by} signature does not verify` };
-    }
-    return { kind: 'fact', lines: fields.map((f, i) => canonical({ ...f, sig: records[i].signature })) };
-}
-export function verifiesOwnerLine(line, publicKeyPem, admitted) {
-    const got = parse(line);
-    if (got.kind !== 'fact')
-        return false;
-    const { sig, ...rest } = got.value.fields;
-    return typeof sig === 'string' && verifyBytes(signedBytes(rest), publicKeyPem, sig, admitted);
-}
-export function verifiesFields(fields, publicKey, admitted) {
-    const { sig, ...rest } = fields;
-    return typeof sig === 'string' && verifyBytes(signedBytes(rest), publicKey, sig, admitted);
-}
+var u=Object.defineProperty;var a=(t,e)=>u(t,"name",{value:e,configurable:!0});import{library11_canonical as l,library11_parse as y,library11_parseForSigning as p,library11_signedBytes as d,library11_signedFieldsOf as h}from"../vendor/runtime.js";import{verifyBytes as g}from"../host/adapters/keys/ed25519.js";import{SigningFailure as b}from"../host/ports/signing.js";function k(t,e){const o=p(t);if(o.kind!=="fact")return{kind:"refuse",why:"REFUSE\xB7accept not a claim line"};const i=o.value.fields,s=i.scope??"?";if(i.sig!==void 0)return{kind:"refuse",why:`REFUSE\xB7accept ${s} is already signed`};if(i.by!=="target")return{kind:"refuse",why:`REFUSE\xB7accept ${s} must be drafted by=target`};const n=h(i,e.by);return e.epoch!==void 0&&(n.epoch=String(e.epoch)),{kind:"fact",fields:n}}a(k,"prepareConsentLine");async function m(t,e,o,i,s){const n=[];for(const r of t){const f=k(r,e);if(f.kind==="refuse")return f;n.push(f.fields)}if(!n.length)return{kind:"refuse",why:`REFUSE\xB7signer ${e.by} empty lot`};let c;try{c=await s({bytes:n.map(r=>d(r)),keyId:e.by,algorithm:e.algorithm})}catch(r){return{kind:"refuse",why:r instanceof b?r.message:`REFUSE\xB7signer ${e.by} acquisition failed`}}return c.length!==n.length||c.some((r,f)=>r.keyId!==e.by||!g(d(n[f]),o,r.signature,i))?{kind:"refuse",why:`REFUSE\xB7signer ${e.by} signature does not verify`}:{kind:"fact",lines:n.map((r,f)=>l({...r,sig:c[f].signature}))}}a(m,"signConsentLot");function v(t,e,o){const i=y(t);if(i.kind!=="fact")return!1;const{sig:s,...n}=i.value.fields;return typeof s=="string"&&g(d(n),e,s,o)}a(v,"verifiesOwnerLine");function R(t,e,o){const{sig:i,...s}=t;return typeof i=="string"&&g(d(s),e,i,o)}a(R,"verifiesFields");export{m as signConsentLot,R as verifiesFields,v as verifiesOwnerLine};

package/dist/land/standing-pin.js

@@ -1,49 +1 @@
-import { readStanding } from '@lapxo/topos/standing';
-import { fieldOf } from "../fold/claims.js";
-import { contentAt } from "../host/selected-topos.js";
-import { storeOf } from "./ledger.js";
-import { ContentNeeded } from "../host/content-needed.js";
-import { observeFile } from "../observe/files.js";
-import { createHash } from 'node:crypto';
-import { resolve, relative } from 'node:path';
-/** A declared local file is already held content. Check its bytes before
- * admission; neither fetch it nor write a CAS entry during this inspection. */
-function heldStanding(root, line) {
-    const digest = fieldOf(line, 'value');
-    try {
-        return contentAt(digest, storeOf(root));
-    }
-    catch (error) {
-        if (!(error instanceof ContentNeeded))
-            throw error;
-    }
-    const name = fieldOf(line, 'needs');
-    if (!name || name.includes('|') || name.includes('*'))
-        throw new ContentNeeded(digest);
-    const path = resolve(root, name), local = relative(resolve(root), path);
-    if (!local || local === '..' || local.startsWith('../'))
-        throw Error('standing coordinate is outside the place');
-    const bytes = observeFile(path);
-    if (bytes === undefined)
-        throw new ContentNeeded(digest);
-    const split = digest.indexOf(':'), algorithm = digest.slice(0, split), hex = digest.slice(split + 1);
-    if (createHash(algorithm).update(bytes).digest('hex') !== hex)
-        throw Error('standing coordinate content hash mismatch');
-    return bytes;
-}
-/** A new world selection names standing bytes. Artifact aliases remain separate.
- * Admission reads laid content only; it never fetches or executes a provider. */
-export function admitStandingPins(root, lines, read) {
-    for (const line of lines) {
-        const scope = fieldOf(line, 'scope'), value = fieldOf(line, 'value');
-        const parts = scope.split('/');
-        if (!(scope === 'uses' || parts.slice(0, -1).includes('uses')) || value === 'withdraw')
-            continue;
-        try {
-            readStanding(new TextDecoder('utf-8', { fatal: true }).decode(read ? read(value) : heldStanding(root, line)));
-        }
-        catch (error) {
-            throw Error(`REFUSE·pin ${scope} ${value} · ${error instanceof Error ? error.message : String(error)} · nothing landed`);
-        }
-    }
-}
+var u=Object.defineProperty;var d=(r,n)=>u(r,"name",{value:n,configurable:!0});import{library7_readStanding as g}from"../vendor/runtime.js";import{fieldOf as c}from"../fold/claims.js";import{contentAt as w}from"../host/selected-topos.js";import{storeOf as v}from"./ledger.js";import{ContentNeeded as f}from"../host/content-needed.js";import{observeFile as E}from"../observe/files.js";import{createHash as S}from"node:crypto";import{resolve as m,relative as x}from"node:path";function y(r,n){const t=c(n,"value");try{return w(t,v(r))}catch(l){if(!(l instanceof f))throw l}const e=c(n,"needs");if(!e||e.includes("|")||e.includes("*"))throw new f(t);const i=m(r,e),o=x(m(r),i);if(!o||o===".."||o.startsWith("../"))throw Error("standing coordinate is outside the place");const a=E(i);if(a===void 0)throw new f(t);const s=t.indexOf(":"),h=t.slice(0,s),p=t.slice(s+1);if(S(h).update(a).digest("hex")!==p)throw Error("standing coordinate content hash mismatch");return a}d(y,"heldStanding");function P(r,n,t){for(const e of n){const i=c(e,"scope"),o=c(e,"value"),a=i.split("/");if(!(!(i==="uses"||a.slice(0,-1).includes("uses"))||o==="withdraw"))try{g(new TextDecoder("utf-8",{fatal:!0}).decode(t?t(o):y(r,e)))}catch(s){throw Error(`REFUSE\xB7pin ${i} ${o} \xB7 ${s instanceof Error?s.message:String(s)} \xB7 nothing landed`)}}}d(P,"admitStandingPins");export{P as admitStandingPins};

package/dist/land/vouched.js

@@ -1,112 +1 @@
-import { createHash, join } from "../host/io.js";
-import { said, wordOf, wordsOf } from "../fold/wire.js";
-import { fieldOf } from "../fold/claims.js";
-import { point, region, within } from '@lapxo/obligations/field';
-import { canonical } from '@lapxo/topos/wire';
-import { land, ledgerLines } from "./ledger.js";
-import { lockStanding } from "../fold/keys.js";
-import { ownLock } from "../observe/runner.js";
-import { entriesIn, linkOf, observeFile, observeText, stampOf } from "../observe/files.js";
-/** A location is a file or a directory; `x/*` names the directory `x/`. A deeper glob is not a location. */
-export function locationsOf(needs) {
-    const locations = [];
-    const refused = [];
-    for (const raw of needs.split('|').map((n) => n.trim()).filter(Boolean)) {
-        const steps = raw.split('/').filter(Boolean);
-        while (steps[steps.length - 1] === '*' || steps[steps.length - 1] === '**')
-            steps.pop();
-        if (!steps.length || raw.includes('#') || steps.some((step) => step.includes('*'))) {
-            refused.push(raw);
-            continue;
-        }
-        locations.push(steps.join('/'));
-    }
-    return { locations, refused };
-}
-function digestOf(bytes) {
-    return `sha256:${createHash('sha256').update(bytes).digest('hex')}`;
-}
-/**
- * The source coordinates under one location, by digest. A path whose role is not source is never walked, so nothing under
- * it is read. A link is a coordinate whose bytes are its target; it is never followed.
- */
-export function coordinatesOf(root, location, roleOf) {
-    const out = new Map();
-    const visit = (rel) => {
-        if (roleOf(rel) !== 'source')
-            return;
-        const abs = join(root, rel);
-        const st = stampOf(abs);
-        if (!st)
-            return;
-        if (st.kind === 'link') {
-            out.set(rel, digestOf(`link:${linkOf(abs)}`));
-            return;
-        }
-        if (st.kind === 'dir') {
-            for (const name of entriesIn(abs).map((entry) => entry.name).sort())
-                visit(join(rel, name));
-            return;
-        }
-        if (st.kind === 'file')
-            out.set(rel, digestOf(Buffer.from(observeFile(abs) ?? new Uint8Array())));
-    };
-    visit(location.replace(/\/$/, ''));
-    return out;
-}
-/** The law a witness file says it answers for: its own `witness=<law>` line, or its `"witness"` field. */
-export function witnessOf(root, coordinate) {
-    if (stampOf(join(root, coordinate))?.kind !== 'file')
-        return undefined;
-    const text = observeText(join(root, coordinate)) ?? '';
-    return /^witness=([^\s]+)/m.exec(text)?.[1] ?? /"witness"\s*:\s*"([^"]+)"/.exec(text)?.[1];
-}
-function storeFamily(standing, coordinate) {
-    const names = said(ownLock(), coordinate);
-    if (!names.length)
-        throw new Error(`REFUSE·instrument ${coordinate} has no admitted declaration in the instrument lock`);
-    return wordsOf(standing, 'families').length ? wordOf(standing, 'families', names) : names[0];
-}
-export const vouching = (standing) => storeFamily(standing, 'store/vouches');
-export const sourced = (standing) => storeFamily(standing, 'store/source');
-export const sourceOf = (line) => (fieldOf(line, 'measure') === 'digest' && fieldOf(line, 'scope').includes('/') ? fieldOf(line, 'scope').slice(fieldOf(line, 'scope').indexOf('/') + 1) : undefined);
-export function inside(path, location) {
-    return within(point(path), region(location));
-}
-export function vouchedCoordinates(store) {
-    const out = new Map();
-    const standing = lockStanding(store);
-    if (!wordsOf(standing, 'states').length)
-        return out;
-    const absent = wordOf(standing, 'states', 'absent');
-    for (const line of ledgerLines(store, vouching(standing))) {
-        const path = sourceOf(line);
-        const value = fieldOf(line, 'value');
-        if (!path || !value)
-            continue;
-        if (value === absent)
-            out.delete(path);
-        else
-            out.set(path, value);
-    }
-    return out;
-}
-export function everLanded(store) {
-    const out = new Set();
-    for (const line of ledgerLines(store, vouching(lockStanding(store)))) {
-        const path = sourceOf(line);
-        if (path)
-            out.add(path);
-    }
-    return out;
-}
-export function hasVouchedTree(store) {
-    return ledgerLines(store, vouching(lockStanding(store))).length > 0;
-}
-export function landCoordinates(store, present, gone, at) {
-    const standing = lockStanding(store);
-    const line = (path, value) => canonical({
-        scope: `${sourced(standing)}/${path}`, role: 'writes', form: 'alphabet', measure: 'digest', value, by: 'land', at,
-    });
-    return land(store, vouching(standing), [...[...present].map(([path, value]) => line(path, value)), ...gone.map((path) => line(path, wordOf(standing, 'states', 'absent')))]).appended;
-}
+var v=Object.defineProperty;var r=(e,n)=>v(e,"name",{value:n,configurable:!0});import{createHash as y,join as u}from"../host/io.js";import{said as $,wordOf as d,wordsOf as h}from"../fold/wire.js";import{fieldOf as f}from"../fold/claims.js";import{library12_point as _,library12_region as B,library12_within as E}from"../vendor/runtime.js";import{library11_canonical as F}from"../vendor/runtime.js";import{land as L,ledgerLines as m}from"./ledger.js";import{lockStanding as p}from"../fold/keys.js";import{ownLock as S}from"../observe/runner.js";import{entriesIn as j,linkOf as C,observeFile as M,observeText as T,stampOf as g}from"../observe/files.js";function K(e){const n=[],o=[];for(const i of e.split("|").map(t=>t.trim()).filter(Boolean)){const t=i.split("/").filter(Boolean);for(;t[t.length-1]==="*"||t[t.length-1]==="**";)t.pop();if(!t.length||i.includes("#")||t.some(s=>s.includes("*"))){o.push(i);continue}n.push(t.join("/"))}return{locations:n,refused:o}}r(K,"locationsOf");function w(e){return`sha256:${y("sha256").update(e).digest("hex")}`}r(w,"digestOf");function N(e,n,o){const i=new Map,t=r(s=>{if(o(s)!=="source")return;const a=u(e,s),c=g(a);if(c){if(c.kind==="link"){i.set(s,w(`link:${C(a)}`));return}if(c.kind==="dir"){for(const O of j(a).map(k=>k.name).sort())t(u(s,O));return}c.kind==="file"&&i.set(s,w(Buffer.from(M(a)??new Uint8Array)))}},"visit");return t(n.replace(/\/$/,"")),i}r(N,"coordinatesOf");function P(e,n){if(g(u(e,n))?.kind!=="file")return;const o=T(u(e,n))??"";return/^witness=([^\s]+)/m.exec(o)?.[1]??/"witness"\s*:\s*"([^"]+)"/.exec(o)?.[1]}r(P,"witnessOf");function x(e,n){const o=$(S(),n);if(!o.length)throw new Error(`REFUSE\xB7instrument ${n} has no admitted declaration in the instrument lock`);return h(e,"families").length?d(e,"families",o):o[0]}r(x,"storeFamily");const l=r(e=>x(e,"store/vouches"),"vouching"),U=r(e=>x(e,"store/source"),"sourced"),b=r(e=>f(e,"measure")==="digest"&&f(e,"scope").includes("/")?f(e,"scope").slice(f(e,"scope").indexOf("/")+1):void 0,"sourceOf");function Q(e,n){return E(_(e),B(n))}r(Q,"inside");function W(e){const n=new Map,o=p(e);if(!h(o,"states").length)return n;const i=d(o,"states","absent");for(const t of m(e,l(o))){const s=b(t),a=f(t,"value");!s||!a||(a===i?n.delete(s):n.set(s,a))}return n}r(W,"vouchedCoordinates");function X(e){const n=new Set;for(const o of m(e,l(p(e)))){const i=b(o);i&&n.add(i)}return n}r(X,"everLanded");function Y(e){return m(e,l(p(e))).length>0}r(Y,"hasVouchedTree");function Z(e,n,o,i){const t=p(e),s=r((a,c)=>F({scope:`${U(t)}/${a}`,role:"writes",form:"alphabet",measure:"digest",value:c,by:"land",at:i}),"line");return L(e,l(t),[...[...n].map(([a,c])=>s(a,c)),...o.map(a=>s(a,d(t,"states","absent")))]).appended}r(Z,"landCoordinates");export{N as coordinatesOf,X as everLanded,Y as hasVouchedTree,Q as inside,Z as landCoordinates,K as locationsOf,b as sourceOf,U as sourced,W as vouchedCoordinates,l as vouching,P as witnessOf};

package/dist/land/withdraw.js

@@ -1,24 +1 @@
-import { ENVELOPE } from '@lapxo/topos/wire';
-import { fieldsOf } from "../fold/claims.js";
-import { declaredConfig as declared } from '@lapxo/topos/forms';
-/** A withdrawal takes every held line that states each field it states, its value and envelope aside. The signer's name is the envelope: a key whose coverage holds the scope takes a standing line of it, whoever signed that line. */
-function takes(withdraw, line) {
-    const w = fieldsOf(withdraw);
-    const f = fieldsOf(line);
-    return Object.keys(w).filter((k) => !ENVELOPE.has(k) && k !== 'value').every((k) => f[k] === w[k]);
-}
-export function retractedTogether(signed) {
-    const withdraws = signed.filter((line) => fieldsOf(line)['value'] === 'withdraw');
-    const claims = signed.filter((line) => fieldsOf(line)['value'] !== 'withdraw');
-    return withdraws.flatMap((withdraw) => claims.filter((line) => takes(withdraw, line)).map((line) => ({ withdraw, line })));
-}
-export function withdrawal(withdraws, held) {
-    const taken = held.filter((line) => fieldsOf(line)['value'] !== 'withdraw' && withdraws.some((w) => takes(w, line)));
-    const scaled = taken.map((line) => ({ line, got: declared(line) }));
-    return {
-        taken,
-        exact: scaled.filter((x) => x.got.distributive === true).map((x) => x.line),
-        inexact: scaled.filter((x) => x.got.distributive === false).map((x) => x.line),
-        open: scaled.filter((x) => x.got.distributive === null).map((x) => x.line),
-    };
-}
+var s=Object.defineProperty;var o=(r,i)=>s(r,"name",{value:i,configurable:!0});import{library11_ENVELOPE as c}from"../vendor/runtime.js";import{fieldsOf as l}from"../fold/claims.js";import{library4_declaredConfig as u}from"../vendor/runtime.js";function f(r,i){const a=l(r),e=l(i);return Object.keys(a).filter(t=>!c.has(t)&&t!=="value").every(t=>e[t]===a[t])}o(f,"takes");function v(r){const i=r.filter(e=>l(e).value==="withdraw"),a=r.filter(e=>l(e).value!=="withdraw");return i.flatMap(e=>a.filter(t=>f(e,t)).map(t=>({withdraw:e,line:t})))}o(v,"retractedTogether");function b(r,i){const a=i.filter(t=>l(t).value!=="withdraw"&&r.some(n=>f(n,t))),e=a.map(t=>({line:t,got:u(t)}));return{taken:a,exact:e.filter(t=>t.got.distributive===!0).map(t=>t.line),inexact:e.filter(t=>t.got.distributive===!1).map(t=>t.line),open:e.filter(t=>t.got.distributive===null).map(t=>t.line)}}o(b,"withdrawal");export{v as retractedTogether,b as withdrawal};