@lapxo/bound 0.2.3 → 0.2.5

package/dist/judge/late.js

@@ -1,33 +1 @@
-import { canonical } from '@lapxo/topos/wire';
-import { fieldOf } from "../fold/claims.js";
-import { fullDigest } from "../fold/digests.js";
-import { inside, locationsOf, vouchedCoordinates } from "../land/vouched.js";
-import { wordOf } from "../fold/wire.js";
-import { holdsCases } from "../fold/paid.js";
-/**
- * A demand that landed after its coordinates. A take judges what moved, because it assumes the demand came first and the
- * tree after it; a demand that arrives second has nothing left to move — its cone is already in the ledger, every coordinate
- * of it vouched at a digest. Judging that is reading, not observing, so it is answered where it lands and no file is
- * touched to force it. A demand whose cone holds no vouched coordinate is not late, it is unlanded, and it waits for a take.
- */
-export function lateFacts(store, signed, answered) {
-    const vouched = [...vouchedCoordinates(store)];
-    const views = `${wordOf(signed, 'families', 'view')}/`;
-    const out = [];
-    for (const line of signed) {
-        const scope = fieldOf(line, 'scope');
-        const value = fieldOf(line, 'value') || 'present';
-        if (fieldOf(line, 'role') !== 'demands' || value === 'withdraw' || answered.has(scope))
-            continue;
-        const asked = locationsOf(fieldOf(line, 'needs')).locations;
-        if (!asked.length || (!scope.startsWith(views) && !asked.some(holdsCases)))
-            continue;
-        const cone = asked.map((where) => vouched.filter(([coordinate]) => inside(coordinate, where)));
-        if (cone.some((held) => !held.length))
-            continue;
-        const held = cone.flat();
-        const at = `cone:${fullDigest(store, held.map(([coordinate, digest]) => `${coordinate} ${digest}`).sort()).replace(/^sha256:/, '')}`;
-        out.push(canonical({ scope, role: 'writes', form: 'alphabet', measure: fieldOf(line, 'measure') || 'status', value, by: 'judge', at }), canonical({ scope, role: 'writes', form: 'alphabet', measure: 'cone', value: held.map(([coordinate]) => coordinate).join('|'), by: 'judge', at }));
-    }
-    return out;
-}
+var b=Object.defineProperty;var p=(s,a)=>b(s,"name",{value:a,configurable:!0});import{library11_canonical as d}from"../vendor/runtime.js";import{fieldOf as t}from"../fold/claims.js";import{fullDigest as g}from"../fold/digests.js";import{inside as $,locationsOf as j,vouchedCoordinates as y}from"../land/vouched.js";import{wordOf as O}from"../fold/wire.js";import{holdsCases as C}from"../fold/paid.js";function z(s,a,h){const v=[...y(s)],w=`${O(a,"families","view")}/`,c=[];for(const e of a){const n=t(e,"scope"),l=t(e,"value")||"present";if(t(e,"role")!=="demands"||l==="withdraw"||h.has(n))continue;const r=j(t(e,"needs")).locations;if(!r.length||!n.startsWith(w)&&!r.some(C))continue;const m=r.map(o=>v.filter(([i])=>$(i,o)));if(m.some(o=>!o.length))continue;const f=m.flat(),u=`cone:${g(s,f.map(([o,i])=>`${o} ${i}`).sort()).replace(/^sha256:/,"")}`;c.push(d({scope:n,role:"writes",form:"alphabet",measure:t(e,"measure")||"status",value:l,by:"judge",at:u}),d({scope:n,role:"writes",form:"alphabet",measure:"cone",value:f.map(([o])=>o).join("|"),by:"judge",at:u}))}return c}p(z,"lateFacts");export{z as lateFacts};

package/dist/judge/take.js

@@ -1,75 +1,2 @@
-import { createHash, existsSync, join } from "../host/io.js";
-import { fullDigest } from "../fold/digests.js";
-import { answers, point, region } from '@lapxo/obligations/field';
-import { parse, PROTOCOL } from '@lapxo/topos/wire';
-import { observeText } from "../observe/files.js";
-import { storeOf } from "../land/ledger.js";
-import { holdsCases } from "../fold/paid.js";
-/** A demanded location is a region: it is there when some place of the tree answers to it, file or directory alike. */
-function located(root, location) {
-    return existsSync(join(root, location.replace(/\/+$/, '')));
-}
-function namedEffects(_root, _changed, _ROOTS) {
-    return [];
-}
-export function judgeTake(input) {
-    const { root, scope, value, locations, before, after } = input;
-    const paths = [...new Set([...before.keys(), ...after.keys()])].sort();
-    const moved = paths.filter((p) => before.get(p) !== after.get(p));
-    const notOwned = moved.filter((coordinate) => {
-        if (before.has(coordinate) || locations.includes(coordinate) || !input.witnessOf || !input.law)
-            return false;
-        const named = input.witnessOf(coordinate);
-        return named !== undefined && !input.law.includes(named);
-    });
-    const changed = moved.filter((coordinate) => !notOwned.includes(coordinate));
-    const absent = value === 'present' ? locations.filter((l) => !located(root, l)) : [];
-    const effects = changed.length && !absent.length ? namedEffects(root, changed, input.template) : [];
-    const envelope = {
-        scope,
-        cone: [...locations],
-        before: Object.fromEntries([...before].sort()),
-        after: Object.fromEntries([...after].filter(([coordinate]) => !notOwned.includes(coordinate)).sort()),
-        effects,
-    };
-    const digest = fullDigest(storeOf(root), JSON.stringify({ ...envelope, effects: effects.map((e) => ({ kind: e.kind, status: e.status, at: e.at })) }));
-    const refuse = (why) => ({ kind: 'refuse', why, envelope, digest, changed, notOwned });
-    const met = (why) => ({ kind: 'fact', why, envelope, digest, changed, notOwned });
-    if (!changed.length && !input.unpaid)
-        return refuse('nothing in the cone moved against what was vouched');
-    const cone = locations.map((l) => region(l));
-    const outside = changed.filter((coordinate) => !answers([point(coordinate)], cone));
-    if (outside.length)
-        return refuse(`outside the cone: ${outside.join(', ')}`);
-    if (absent.length)
-        return refuse(`demanded locations absent: ${absent.join(', ')}`);
-    if (input.shape === 'lock' || input.shape === 'render') {
-        const lines = locations.map((l) => ({ at: l, text: observeText(join(root, l)) }));
-        const absent = lines.filter((one) => one.text === undefined).map((one) => one.at);
-        if (absent.length)
-            return refuse(`a lock the demand names is not here: ${absent.join(', ')}`);
-        const said = lines.flatMap((one) => (one.text ?? '').split('\n').filter((line) => line.startsWith(PROTOCOL)));
-        const unread = said.filter((line) => parse(line).kind !== 'fact');
-        if (input.shape === 'lock' && (!said.length || unread.length)) {
-            return refuse(`a lock the demand names holds ${said.length ? `${unread.length} lines the wire does not read` : 'no claim'}`);
-        }
-        const rests = input.restsOn ?? '';
-        const digest = rests ? `sha256:${createHash('sha256').update(lines.map((one) => one.text ?? '').join('')).digest('hex')}` : rests;
-        if (rests && digest !== rests)
-            return refuse(`the lock moved: it rests on ${rests} and is ${digest}`);
-        return met(input.shape === 'lock' ? `${said.length} lines of the lock read, at the digest it rests on` : 'the region is here, at the digest it rests on');
-    }
-    const vectors = locations.filter((l) => holdsCases(l) && located(root, l));
-    if (!vectors.length)
-        return refuse('no vector location in the cone exists');
-    const red = effects.filter((e) => e.status === 'red' && e.admitted);
-    if (red.length)
-        return refuse(`effects red: ${red.map((e) => `${e.kind}@${e.at}`).join(', ')}`);
-    return met('demand met in its cone');
-}
-/** A take that met its cone carries the gates its batch passed: their runs join its envelope, and its receipt is sealed with them. */
-export function sealed(root, verdict, gates) {
-    const envelope = { ...verdict.envelope, effects: [...verdict.envelope.effects, ...gates.map(({ kind, status, ms, at, admitted }) => ({ kind, status, ms, at, admitted }))] };
-    const digest = fullDigest(storeOf(root), JSON.stringify({ ...envelope, effects: envelope.effects.map((e) => ({ kind: e.kind, status: e.status, at: e.at })) }));
-    return { ...verdict, envelope, digest };
-}
+var L=Object.defineProperty;var i=(t,s)=>L(t,"name",{value:s,configurable:!0});import{createHash as N,existsSync as P,join as S}from"../host/io.js";import{fullDigest as T}from"../fold/digests.js";import{library12_answers as D,library12_point as H,library12_region as M}from"../vendor/runtime.js";import{library11_parse as W,library11_PROTOCOL as q}from"../vendor/runtime.js";import{observeText as z}from"../observe/files.js";import{storeOf as C}from"../land/ledger.js";import{holdsCases as A}from"../fold/paid.js";function E(t,s){return P(S(t,s.replace(/\/+$/,"")))}i(E,"located");function B(t,s,g){return[]}i(B,"namedEffects");function Z(t){const{root:s,scope:g,value:l,locations:o,before:r,after:d}=t,u=[...new Set([...r.keys(),...d.keys()])].sort().filter(e=>r.get(e)!==d.get(e)),f=u.filter(e=>{if(r.has(e)||o.includes(e)||!t.witnessOf||!t.law)return!1;const h=t.witnessOf(e);return h!==void 0&&!t.law.includes(h)}),c=u.filter(e=>!f.includes(e)),k=l==="present"?o.filter(e=>!E(s,e)):[],O=c.length&&!k.length?B(s,c,t.template):[],b={scope:g,cone:[...o],before:Object.fromEntries([...r].sort()),after:Object.fromEntries([...d].filter(([e])=>!f.includes(e)).sort()),effects:O},v=T(C(s),JSON.stringify({...b,effects:O.map(e=>({kind:e.kind,status:e.status,at:e.at}))})),a=i(e=>({kind:"refuse",why:e,envelope:b,digest:v,changed:c,notOwned:f}),"refuse"),w=i(e=>({kind:"fact",why:e,envelope:b,digest:v,changed:c,notOwned:f}),"met");if(!c.length&&!t.unpaid)return a("nothing in the cone moved against what was vouched");const R=o.map(e=>M(e)),x=c.filter(e=>!D([H(e)],R));if(x.length)return a(`outside the cone: ${x.join(", ")}`);if(k.length)return a(`demanded locations absent: ${k.join(", ")}`);if(t.shape==="lock"||t.shape==="render"){const e=o.map(n=>({at:n,text:z(S(s,n))})),h=e.filter(n=>n.text===void 0).map(n=>n.at);if(h.length)return a(`a lock the demand names is not here: ${h.join(", ")}`);const p=e.flatMap(n=>(n.text??"").split(`
+`).filter(J=>J.startsWith(q))),j=p.filter(n=>W(n).kind!=="fact");if(t.shape==="lock"&&(!p.length||j.length))return a(`a lock the demand names holds ${p.length?`${j.length} lines the wire does not read`:"no claim"}`);const m=t.restsOn??"",_=m&&`sha256:${N("sha256").update(e.map(n=>n.text??"").join("")).digest("hex")}`;return m&&_!==m?a(`the lock moved: it rests on ${m} and is ${_}`):w(t.shape==="lock"?`${p.length} lines of the lock read, at the digest it rests on`:"the region is here, at the digest it rests on")}if(!o.filter(e=>A(e)&&E(s,e)).length)return a("no vector location in the cone exists");const y=O.filter(e=>e.status==="red"&&e.admitted);return y.length?a(`effects red: ${y.map(e=>`${e.kind}@${e.at}`).join(", ")}`):w("demand met in its cone")}i(Z,"judgeTake");function ee(t,s,g){const l={...s.envelope,effects:[...s.envelope.effects,...g.map(({kind:r,status:d,ms:$,at:u,admitted:f})=>({kind:r,status:d,ms:$,at:u,admitted:f}))]},o=T(C(t),JSON.stringify({...l,effects:l.effects.map(r=>({kind:r.kind,status:r.status,at:r.at}))}));return{...s,envelope:l,digest:o}}i(ee,"sealed");export{Z as judgeTake,ee as sealed};

package/dist/judge/widening.js

@@ -1,25 +1 @@
-import { fieldOf } from "../fold/claims.js";
-import { ALPHABETS, idsOf, INTERVALS, spanOf } from '@lapxo/topos/forms';
-/**
- * A ceiling that admits more than it did is not a revision of the same kind as one that admits less: narrowing costs
- * the signer nothing anyone else can dispute, while widening gives back freedom the tree had already spent. So a line
- * that widens what it replaces is refused unless it says what forced it — an `at` of the witness class, which names
- * the reading or the case that made the old bound wrong. Policy may narrow; only a witness may widen. A list of what is
- * forbidden narrows as it grows.
- */
-function widens(now, before) {
-    const [was, held] = [spanOf(fieldOf(before, 'value')), spanOf(fieldOf(now, 'value'))];
-    if (was && held)
-        return INTERVALS.leq(was, held) && !INTERVALS.leq(held, was);
-    const [old, fresh] = [idsOf(fieldOf(before, 'value')), idsOf(fieldOf(now, 'value'))];
-    return old.polarity === fresh.polarity && ALPHABETS.leq(old, fresh) && !ALPHABETS.leq(fresh, old);
-}
-export function widenedWithoutWitness(proposed, standing, isCeiling, witness) {
-    const held = new Map(standing.filter(isCeiling).map((line) => [fieldOf(line, 'scope'), line]));
-    return proposed.filter((line) => {
-        const before = held.get(fieldOf(line, 'scope'));
-        if (!before || !isCeiling(line) || !widens(line, before))
-            return false;
-        return !fieldOf(line, 'at').startsWith(`${witness}:`);
-    });
-}
+var c=Object.defineProperty;var o=(e,a)=>c(e,"name",{value:a,configurable:!0});import{fieldOf as t}from"../fold/claims.js";import{library4_ALPHABETS as n,library4_idsOf as u,library4_INTERVALS as p,library4_spanOf as d}from"../vendor/runtime.js";function y(e,a){const[s,f]=[d(t(a,"value")),d(t(e,"value"))];if(s&&f)return p.leq(s,f)&&!p.leq(f,s);const[l,r]=[u(t(a,"value")),u(t(e,"value"))];return l.polarity===r.polarity&&n.leq(l,r)&&!n.leq(r,l)}o(y,"widens");function O(e,a,s,f){const l=new Map(a.filter(s).map(r=>[t(r,"scope"),r]));return e.filter(r=>{const i=l.get(t(r,"scope"));return!i||!s(r)||!y(r,i)?!1:!t(r,"at").startsWith(`${f}:`)})}o(O,"widenedWithoutWitness");export{O as widenedWithoutWitness};

package/dist/land/act.js

@@ -1,302 +1,8 @@
-import { AsyncLocalStorage } from 'node:async_hooks';
-import { randomUUID } from 'node:crypto';
-import { basename, dirname, existsSync, join, mkdirSync, rmSync, writeFileSync } from "../host/io.js";
-import { selfName } from "../fold/claims.js";
-import { placesIn } from "../fold/places.js";
-import { coordinatesUnder, observeText } from "../observe/files.js";
-const context = new AsyncLocalStorage();
-const held = new Map();
-const pauseFor = (ms) => new Promise((resolve) => { setTimeout(resolve, ms); });
-const ROOT = '_root';
-const MINUTE = 60000;
-const holderOf = (at) => {
-    const text = observeText(at);
-    if (text === undefined)
-        return undefined;
-    const [pid, what, since, token] = text.trim().split(' ');
-    return { pid: Number(pid), what: what ?? '', since: since ?? '', token: token ?? '' };
-};
-function overAMinute(at, began, holder) {
-    if (Date.now() - began < MINUTE)
-        return;
-    const who = holder === undefined ? 'a process' : `${holder.pid} · ${holder.what} since ${holder.since}`;
-    process.stderr.write(`RED      wait · ${named(at)} is held by ${who} · a wait over a minute is a red, not a pause\n`);
-    throw new Error(`${selfName()}: REFUSE·stale nothing landed · a wait over a minute is a red, not a pause`);
-}
-const alive = (pid) => {
-    if (!Number.isSafeInteger(pid) || pid <= 0)
-        return true;
-    try {
-        process.kill(pid, 0);
-        return true;
-    }
-    catch (error) {
-        return error.code !== 'ESRCH';
-    }
-};
-const regionAt = (store, region) => {
-    const coordinate = region.replace(/\/+$/, '');
-    if ((coordinate && coordinate.split('/').some((step) => step === '..' || step === '.' || step === '')) || coordinate.startsWith('/'))
-        throw new Error(`${selfName()}: REFUSE·lock invalid region coordinate`);
-    return join(store, 'locks', coordinate ? encodeURIComponent(coordinate).replace(/^\./, '%2E').replace(/^_root$/, '%5Froot') : ROOT);
-};
-const coordinateOf = (file) => {
-    if (file === ROOT)
-        return '';
-    try {
-        return decodeURIComponent(file);
-    }
-    catch {
-        return file;
-    }
-};
-const lockFiles = (locks) => coordinatesUnder(locks, locks).filter((file) => {
-    if (file !== '.act')
-        return true;
-    // The legacy marker lists paths, while an actual region named .act has a numeric lock owner.
-    const holder = holderOf(join(locks, file));
-    return holder !== undefined && Number.isSafeInteger(holder.pid) && holder.pid > 0;
-});
-const overlaps = (a, b) => !a || !b || a === b || a.startsWith(`${b}/`) || b.startsWith(`${a}/`);
-const treeAt = (store) => join(store, 'lock');
-const named = (at) => (basename(at) === 'lock' ? 'the store' : basename(at).startsWith('@authority-') ? 'root authority' : basename(at) === '@projection' ? 'root projection' : `region ${basename(at) === ROOT ? '.' : basename(at)}`);
-const owns = (at) => {
-    for (let frame = context.getStore(); frame !== undefined; frame = frame.parent) {
-        const token = frame.locks.get(at);
-        if (token !== undefined && held.get(at) === token)
-            return true;
-    }
-    return false;
-};
-const ownsRegion = (store) => [...held.keys()].some((at) => at.startsWith(`${join(store, 'locks')}/`) && owns(at));
-const ownsAuthority = (store) => [...held.keys()].some((at) => dirname(at) === join(store, 'locks') && basename(at).startsWith('@authority-') && owns(at));
-const projectionAt = (store) => join(store, 'locks', '@projection');
-/** Reentry belongs to an awaited act's context. Another process or async act has no inherited authority. */
-async function hold(at, what) {
-    if (owns(at))
-        return;
-    const frame = context.getStore();
-    if (frame === undefined)
-        throw new Error(`${selfName()}: REFUSE·lock no act owns this request`);
-    const began = Date.now();
-    const token = randomUUID();
-    let told = false;
-    mkdirSync(dirname(at), { recursive: true });
-    for (;;) {
-        try {
-            writeFileSync(at, `${process.pid} ${what.replace(/\s+/g, '_')} ${new Date().toISOString()} ${token}\n`, { flag: 'wx' });
-            break;
-        }
-        catch (error) {
-            const code = error.code;
-            if (code === 'ENOENT')
-                mkdirSync(dirname(at), { recursive: true });
-            else if (code !== 'EEXIST')
-                throw error;
-        }
-        const holder = holderOf(at);
-        // Removing a dead owner's lock here would race with another process's recovery. Recovery is a separate host act.
-        if (holder !== undefined && !alive(holder.pid)) {
-            throw new Error(`${selfName()}: REFUSE·stale ${named(at)} belongs to exited process ${holder.pid}; host recovery required`);
-        }
-        overAMinute(at, began, holder);
-        if (!told && holder !== undefined) {
-            process.stderr.write(`WAIT     ${named(at)} is held by ${holder.pid} · ${holder.what} since ${holder.since}\n`);
-            told = true;
-        }
-        await pauseFor(250);
-    }
-    if (told)
-        process.stderr.write(`HELD     ${named(at)} after ${Date.now() - began} ms waiting\n`);
-    held.set(at, token);
-    frame.locks.set(at, token);
-    if (!process.listeners('exit').includes(releaseAll))
-        process.once('exit', releaseAll);
-}
-function release(at, token) {
-    if (held.get(at) !== token)
-        return;
-    held.delete(at);
-    const holder = holderOf(at);
-    if (holder?.pid === process.pid && holder.token === token && existsSync(at))
-        rmSync(at, { force: true });
-}
-function releaseAll() {
-    for (const [at, token] of [...held])
-        release(at, token);
-}
-process.once('SIGTERM', () => {
-    process.stderr.write(`${selfName()}: REFUSE·crash signal\n`);
-    releaseAll();
-    process.exit(1);
-});
-async function framed(takes, act) {
-    const frame = { parent: context.getStore(), locks: new Map() };
-    return context.run(frame, async () => {
-        try {
-            await takes();
-            return await act();
-        }
-        finally {
-            for (const [at, token] of [...frame.locks].reverse())
-                release(at, token);
-            frame.locks.clear();
-        }
-    });
-}
-function guardedRegions(store, regions, what, act, rootAuthority) {
-    return framed(async () => {
-        const tree = treeAt(store);
-        const asked = [...new Set((regions.length ? regions : ['']).map((one) => one.replace(/\/+$/, '')))];
-        if (rootAuthority && (asked.includes('') || (ownsRegion(store) && !owns(tree) && !ownsAuthority(store))))
-            throw new Error(`${selfName()}: REFUSE·lock authority dependencies and child regions must be declared together`);
-        if (owns(tree) || asked.every((region) => owns(regionAt(store, region)))) {
-            for (const region of asked)
-                await hold(regionAt(store, region), what);
-            return;
-        }
-        if (ownsRegion(store))
-            throw new Error(`${selfName()}: REFUSE·lock declare every region before entering an act`);
-        const already = owns(tree);
-        // The tree lock is the acquisition gate. A whole-tree act cannot enter between checking it and taking regions.
-        await hold(tree, what);
-        try {
-            const locks = join(store, 'locks');
-            for (;;) {
-                const conflict = lockFiles(locks).find((file) => !owns(join(locks, file))
-                    && (file.startsWith('@authority-') || file === '@projection' ? asked.includes('')
-                        : asked.some((region) => overlaps(region, file) || overlaps(region, coordinateOf(file)))));
-                if (conflict === undefined)
-                    break;
-                const at = join(locks, conflict);
-                const began = Date.now();
-                let told = false;
-                for (let holder = holderOf(at); holder !== undefined; holder = holderOf(at)) {
-                    if (!alive(holder.pid))
-                        throw new Error(`${selfName()}: REFUSE·stale ${named(at)} belongs to exited process ${holder.pid}; host recovery required`);
-                    overAMinute(at, began, holder);
-                    if (!told) {
-                        process.stderr.write(`WAIT     ${named(at)} is held by ${holder.pid} · ${holder.what} since ${holder.since}\n`);
-                        told = true;
-                    }
-                    await pauseFor(250);
-                }
-                if (told)
-                    process.stderr.write(`HELD     ${named(at)} after ${Date.now() - began} ms waiting\n`);
-            }
-            // Registered under the same acquisition gate as every legacy writer.
-            // Root writes overlap all locks; siblings keep distinct region locks.
-            // '@' is encoded for real region coordinates, so this is host bookkeeping.
-            if (rootAuthority)
-                await hold(join(store, 'locks', `@authority-${randomUUID()}`), what);
-            for (const region of asked.filter(Boolean).sort())
-                await hold(regionAt(store, region), what);
-            if (asked.includes(''))
-                await hold(regionAt(store, ''), what);
-        }
-        finally {
-            if (!already) {
-                const frame = context.getStore();
-                const token = frame.locks.get(tree);
-                if (token !== undefined) {
-                    release(tree, token);
-                    frame.locks.delete(tree);
-                }
-            }
-        }
-    }, act);
-}
-export function underTheRegions(store, regions, what, act) {
-    return guardedRegions(store, regions, what, act, false);
-}
-/** Protect the root authority/policy read through child publication. This is
- * exclusion only: callers must authenticate contexts and compare prepared heads
- * while held. It creates no grant, clock advance, lease or automatic recovery. */
-export function underAuthorityRegions(store, regions, what, act) {
-    return guardedRegions(store, regions, what, act, true);
-}
-/** Protect an authority snapshot without taking a child region. The acquisition
- * gate and temporary root marker exclude a root mutation while registering the
- * shared read; existing child acts continue independently. This is exclusion,
- * never authorization or a clock advance. */
-export function underRootAuthority(store, what, act) {
-    return framed(async () => {
-        const tree = treeAt(store), root = regionAt(store, '');
-        if (owns(tree) || owns(root) || ownsAuthority(store))
-            return;
-        if (ownsRegion(store))
-            throw new Error(`${selfName()}: REFUSE·lock authority dependencies must be declared before entering a region act`);
-        await hold(tree, what);
-        try {
-            await hold(root, what);
-            await hold(join(store, 'locks', `@authority-${randomUUID()}`), what);
-        }
-        finally {
-            const frame = context.getStore();
-            for (const at of [root, tree]) {
-                const token = frame.locks.get(at);
-                if (token !== undefined) {
-                    release(at, token);
-                    frame.locks.delete(at);
-                }
-            }
-        }
-    }, act);
-}
-/** The fixed host may hand its child evidence of an actual held exclusion.
- * It is an operational envelope, not a grant, signer or receipt identity. */
-export function rootAuthorityProtection(store) {
-    const locks = [treeAt(store), regionAt(store, ''), ...held.keys()].filter(at => at === treeAt(store) || at === regionAt(store, '') || dirname(at) === join(store, 'locks') && basename(at).startsWith('@authority-'));
-    const lock = locks.find(owns);
-    if (lock === undefined)
-        throw Error(`${selfName()}: REFUSE·lock root authority is not protected`);
-    const holder = holderOf(lock);
-    if (holder?.pid !== process.pid || holder.token !== held.get(lock))
-        throw Error(`${selfName()}: REFUSE·lock authority protection changed`);
-    return Object.freeze({ store, lock, pid: holder.pid, token: holder.token });
-}
-/** expectedStore and expectedParent come from the fixed host's inheritance
- * channel, never from world data. Matching a live lock proves exclusion only;
- * signature, coverage and current context still require verification. */
-export function assertRootAuthorityProtection(proof, expectedStore, expectedParent) {
-    if (!proof || proof.store !== expectedStore || !Number.isSafeInteger(expectedParent) || expectedParent <= 0 || proof.pid !== expectedParent
-        || typeof proof.lock !== 'string' || typeof proof.token !== 'string' || !proof.token
-        || !(proof.lock === treeAt(expectedStore) || proof.lock === regionAt(expectedStore, '')
-            || dirname(proof.lock) === join(expectedStore, 'locks') && basename(proof.lock).startsWith('@authority-'))) {
-        throw Error(`${selfName()}: REFUSE·lock invalid inherited authority protection`);
-    }
-    const holder = holderOf(proof.lock);
-    if (!alive(expectedParent) || holder?.pid !== proof.pid || holder.token !== proof.token)
-        throw Error(`${selfName()}: REFUSE·lock inherited authority protection ended`);
-}
-/** A child can publish independently, but the joined root projection and its
- * derived ledger appends have one writer. Authority protection already excludes
- * root mutations, so this lock needs no acquisition-gate upgrade. */
-export function underRootProjection(store, what, act) {
-    return framed(async () => {
-        if (owns(treeAt(store)) || owns(regionAt(store, '')))
-            return;
-        if (!ownsAuthority(store))
-            throw new Error(`${selfName()}: REFUSE·lock root projection requires authority protection`);
-        await hold(projectionAt(store), what);
-    }, act);
-}
-export const holdRoot = async (store, what) => {
-    if (!owns(treeAt(store)))
-        await hold(regionAt(store, ''), what);
-};
-export function underTheLock(store, what, act) {
-    return framed(async () => {
-        if (!owns(treeAt(store)) && ownsRegion(store))
-            throw new Error(`${selfName()}: REFUSE·lock a region act cannot upgrade to the tree; declare the tree before entering`);
-        await hold(treeAt(store), what);
-        const locks = join(store, 'locks');
-        const active = lockFiles(locks);
-        for (const file of [...active].sort())
-            await hold(join(locks, file), what);
-        for (const region of [...placesIn(dirname(store))].sort())
-            await hold(regionAt(store, region), what);
-        await hold(regionAt(store, ''), what);
-    }, act);
-}
-export const holds = (store, region) => [treeAt(store), regionAt(store, region)].some(owns);
+var J=Object.defineProperty;var r=(e,t)=>J(e,"name",{value:t,configurable:!0});import{AsyncLocalStorage as q}from"node:async_hooks";import{randomUUID as D}from"node:crypto";import{basename as p,dirname as $,existsSync as L,join as a,mkdirSync as _,rmSync as K,writeFileSync as Q,realpathSync as V,resolve as Y}from"../host/io.js";import{BoundRefusal as Z}from"../host/refusals.js";import{selfName as ee}from"../fold/claims.js";import{placesIn as te}from"../fold/places.js";import{coordinatesUnder as ne,observeText as oe}from"../observe/files.js";const v=new q,we=r((e,t)=>v.run(e,t),"withActHost"),d=r(()=>v.getStore()?.name??ee(),"actName"),b=r(e=>{const t=v.getStore();t?t.report(e):process.stderr.write(e)},"report"),A=r(()=>{if(v.getStore()?.signal?.aborted)throw new Z("host/cancelled","REFUSE\xB7host/cancelled")},"checkCancellation");function E(e){let t=Y(e);const n=[];for(;!L(t);){const o=$(t);if(o===t)break;n.unshift(p(t)),t=o}return a(V(t),...n)}r(E,"canonicalActStore");const F=new q,y=new Map,B=r(e=>new Promise(t=>{setTimeout(t,e)}),"pauseFor"),j="_root",re=6e4,S=r(e=>{const t=oe(e);if(t===void 0)return;const[n,o,i,c]=t.trim().split(" ");return{pid:Number(n),what:o??"",since:i??"",token:c??""}},"holderOf");function z(e,t,n){if(Date.now()-t<re)return;const o=n===void 0?"a process":`${n.pid} \xB7 ${n.what} since ${n.since}`;throw b(`RED      wait \xB7 ${R(e)} is held by ${o} \xB7 a wait over a minute is a red, not a pause
+`),new Error(`${d()}: REFUSE\xB7stale nothing landed \xB7 a wait over a minute is a red, not a pause`)}r(z,"overAMinute");const N=r(e=>{if(!Number.isSafeInteger(e)||e<=0)return!0;try{return process.kill(e,0),!0}catch(t){return t.code!=="ESRCH"}},"alive"),k=r((e,t)=>{const n=t.replace(/\/+$/,"");if(n&&n.split("/").some(o=>o===".."||o==="."||o==="")||n.startsWith("/"))throw new Error(`${d()}: REFUSE\xB7lock invalid region coordinate`);return a(e,"locks",n?encodeURIComponent(n).replace(/^\./,"%2E").replace(/^_root$/,"%5Froot"):j)},"regionAt"),ie=r(e=>{if(e===j)return"";try{return decodeURIComponent(e)}catch{return e}},"coordinateOf"),G=r(e=>ne(e,e).filter(t=>{if(t!==".act")return!0;const n=S(a(e,t));return n!==void 0&&Number.isSafeInteger(n.pid)&&n.pid>0}),"lockFiles"),P=r((e,t)=>!e||!t||e===t||e.startsWith(`${t}/`)||t.startsWith(`${e}/`),"overlaps"),w=r(e=>a(e,"lock"),"treeAt"),R=r(e=>p(e)==="lock"?"the store":p(e).startsWith("@authority-")?"root authority":p(e)==="@projection"?"root projection":`region ${p(e)===j?".":p(e)}`,"named"),l=r(e=>{for(let t=F.getStore();t!==void 0;t=t.parent){const n=t.locks.get(e);if(n!==void 0&&y.get(e)===n)return!0}return!1},"owns"),x=r(e=>[...y.keys()].some(t=>t.startsWith(`${a(e,"locks")}/`)&&l(t)),"ownsRegion"),O=r(e=>[...y.keys()].some(t=>$(t)===a(e,"locks")&&p(t).startsWith("@authority-")&&l(t)),"ownsAuthority"),ce=r(e=>a(e,"locks","@projection"),"projectionAt");async function h(e,t){if(l(e))return;const n=F.getStore();if(n===void 0)throw new Error(`${d()}: REFUSE\xB7lock no act owns this request`);const o=Date.now(),i=D();let c=!1;for(_($(e),{recursive:!0});;){A();try{Q(e,`${process.pid} ${t.replace(/\s+/g,"_")} ${new Date().toISOString()} ${i}
+`,{flag:"wx"});break}catch(g){const u=g.code;if(u==="ENOENT")_($(e),{recursive:!0});else if(u!=="EEXIST")throw g}const s=S(e);if(s!==void 0&&!N(s.pid))throw new Error(`${d()}: REFUSE\xB7stale ${R(e)} belongs to exited process ${s.pid}; host recovery required`);z(e,o,s),!c&&s!==void 0&&(b(`WAIT     ${R(e)} is held by ${s.pid} \xB7 ${s.what} since ${s.since}
+`),c=!0),await B(250)}c&&b(`HELD     ${R(e)} after ${Date.now()-o} ms waiting
+`),y.set(e,i),n.locks.set(e,i),process.listeners("exit").includes(C)||process.once("exit",C)}r(h,"hold");function I(e,t){if(y.get(e)!==t)return;y.delete(e);const n=S(e);n?.pid===process.pid&&n.token===t&&L(e)&&K(e,{force:!0})}r(I,"release");function C(){for(const[e,t]of[...y])I(e,t)}r(C,"releaseAll");function pe(){process.once("SIGTERM",()=>{b(`${d()}: REFUSE\xB7crash signal
+`),C(),process.exit(1)})}r(pe,"installActSignalHandler");async function T(e,t){const n={parent:F.getStore(),locks:new Map};return F.run(n,async()=>{try{return A(),await e(),A(),await t()}finally{for(const[o,i]of[...n.locks].reverse())I(o,i);n.locks.clear()}})}r(T,"framed");function X(e,t,n,o,i){return T(async()=>{const c=w(e),s=[...new Set((t.length?t:[""]).map(u=>u.replace(/\/+$/,"")))];if(i&&(s.includes("")||x(e)&&!l(c)&&!O(e)))throw new Error(`${d()}: REFUSE\xB7lock authority dependencies and child regions must be declared together`);if(l(c)||s.every(u=>l(k(e,u)))){for(const u of s)await h(k(e,u),n);return}if(x(e))throw new Error(`${d()}: REFUSE\xB7lock declare every region before entering an act`);const g=l(c);await h(c,n);try{const u=a(e,"locks");for(;;){const m=G(u).find(f=>!l(a(u,f))&&(f.startsWith("@authority-")||f==="@projection"?s.includes(""):s.some(M=>P(M,f)||P(M,ie(f)))));if(m===void 0)break;const U=a(u,m),H=Date.now();let W=!1;for(let f=S(U);f!==void 0;f=S(U)){if(A(),!N(f.pid))throw new Error(`${d()}: REFUSE\xB7stale ${R(U)} belongs to exited process ${f.pid}; host recovery required`);z(U,H,f),W||(b(`WAIT     ${R(U)} is held by ${f.pid} \xB7 ${f.what} since ${f.since}
+`),W=!0),await B(250)}W&&b(`HELD     ${R(U)} after ${Date.now()-H} ms waiting
+`)}i&&await h(a(e,"locks",`@authority-${D()}`),n);for(const m of s.filter(Boolean).sort())await h(k(e,m),n);s.includes("")&&await h(k(e,""),n)}finally{if(!g){const u=F.getStore(),m=u.locks.get(c);m!==void 0&&(I(c,m),u.locks.delete(c))}}},o)}r(X,"guardedRegions");function Ee(e,t,n,o){return e=E(e),X(e,t,n,o,!1)}r(Ee,"underTheRegions");function ye(e,t,n,o){return e=E(e),X(e,t,n,o,!0)}r(ye,"underAuthorityRegions");function ge(e,t,n){return e=E(e),T(async()=>{const o=w(e),i=k(e,"");if(!(l(o)||l(i)||O(e))){if(x(e))throw new Error(`${d()}: REFUSE\xB7lock authority dependencies must be declared before entering a region act`);await h(o,t);try{await h(i,t),await h(a(e,"locks",`@authority-${D()}`),t)}finally{const c=F.getStore();for(const s of[i,o]){const g=c.locks.get(s);g!==void 0&&(I(s,g),c.locks.delete(s))}}}},n)}r(ge,"underRootAuthority");function me(e){e=E(e);const n=[w(e),k(e,""),...y.keys()].filter(i=>i===w(e)||i===k(e,"")||$(i)===a(e,"locks")&&p(i).startsWith("@authority-")).find(l);if(n===void 0)throw Error(`${d()}: REFUSE\xB7lock root authority is not protected`);const o=S(n);if(o?.pid!==process.pid||o.token!==y.get(n))throw Error(`${d()}: REFUSE\xB7lock authority protection changed`);return Object.freeze({store:e,lock:n,pid:o.pid,token:o.token})}r(me,"rootAuthorityProtection");function $e(e,t,n){if(t=E(t),!e||e.store!==t||!Number.isSafeInteger(n)||n<=0||e.pid!==n||typeof e.lock!="string"||typeof e.token!="string"||!e.token||!(e.lock===w(t)||e.lock===k(t,"")||$(e.lock)===a(t,"locks")&&p(e.lock).startsWith("@authority-")))throw Error(`${d()}: REFUSE\xB7lock invalid inherited authority protection`);const o=S(e.lock);if(!N(n)||o?.pid!==e.pid||o.token!==e.token)throw Error(`${d()}: REFUSE\xB7lock inherited authority protection ended`)}r($e,"assertRootAuthorityProtection");function Se(e,t,n){return e=E(e),T(async()=>{if(!(l(w(e))||l(k(e,"")))){if(!O(e))throw new Error(`${d()}: REFUSE\xB7lock root projection requires authority protection`);await h(ce(e),t)}},n)}r(Se,"underRootProjection");const Re=r(async(e,t)=>{e=E(e),l(w(e))||await h(k(e,""),t)},"holdRoot");function Ue(e,t,n){return e=E(e),T(async()=>{if(!l(w(e))&&x(e))throw new Error(`${d()}: REFUSE\xB7lock a region act cannot upgrade to the tree; declare the tree before entering`);await h(w(e),t);const o=a(e,"locks"),i=G(o);for(const c of[...i].sort())await h(a(o,c),t);for(const c of[...te($(e))].sort())await h(k(e,c),t);await h(k(e,""),t)},n)}r(Ue,"underTheLock");const be=r((e,t)=>(e=E(e),[w(e),k(e,t)].some(l)),"holds");export{$e as assertRootAuthorityProtection,E as canonicalActStore,Re as holdRoot,be as holds,pe as installActSignalHandler,me as rootAuthorityProtection,ye as underAuthorityRegions,ge as underRootAuthority,Se as underRootProjection,Ue as underTheLock,Ee as underTheRegions,we as withActHost};

package/dist/land/alias.js

@@ -1,41 +1 @@
-import { ENVELOPE } from '@lapxo/topos/wire';
-import { fieldOf, fieldsOf } from "../fold/claims.js";
-import { lockStanding } from "../fold/keys.js";
-import { worldsIn } from "../fold/places.js";
-import { ownLockOf } from "../fold/signed.js";
-import { storeOf } from "./ledger.js";
-const retracts = (withdraw, line) => Object.keys(withdraw).filter((key) => !ENVELOPE.has(key) && key !== 'value').every((key) => line[key] === withdraw[key]);
-const pinScope = (scope) => scope === 'uses' || scope.startsWith('uses/') || scope.split('/').slice(1, -1).includes('uses');
-const aliasWithdraw = (line) => fieldOf(line, 'value') === 'withdraw' && fieldOf(line, 'scope').startsWith('dep/') && fieldOf(line, 'role') !== 'reads';
-/**
- * An alias is gone only when no pin will still name its digest. The pins are the root's uses lines and each world's own,
- * minus the pins this batch itself withdraws, plus the pins it adds. Checked before the trial, so a batch that would
- * orphan a pin lands nothing.
- */
-export function aliasPinned(root, signed) {
-    const aliases = lockStanding(storeOf(root)).filter((line) => fieldOf(line, 'scope').startsWith('dep/') && fieldOf(line, 'role') !== 'reads' && fieldOf(line, 'value') !== 'withdraw');
-    const digests = new Map();
-    for (const withdraw of signed.filter(aliasWithdraw)) {
-        const fields = fieldsOf(withdraw);
-        for (const line of aliases) {
-            if (!retracts(fields, fieldsOf(line)))
-                continue;
-            const digest = fieldOf(line, 'value');
-            const kept = signed.some((one) => fieldOf(one, 'scope') === fieldOf(line, 'scope') && fieldOf(one, 'value') === digest);
-            if (!kept)
-                digests.set(`${fieldOf(line, 'scope')}\0${digest}`, { scope: fieldOf(line, 'scope'), digest });
-        }
-    }
-    if (!digests.size)
-        return [];
-    const named = [
-        ...lockStanding(storeOf(root)).filter((line) => pinScope(fieldOf(line, 'scope')) && fieldOf(line, 'value') !== 'withdraw').map((line) => ({ scope: fieldOf(line, 'scope'), value: fieldOf(line, 'value'), fields: fieldsOf(line) })),
-        ...worldsIn(root).flatMap((place) => ownLockOf(root, place).filter((line) => pinScope(fieldOf(line, 'scope')) && fieldOf(line, 'value') !== 'withdraw').map((line) => ({ scope: `${place}/${fieldOf(line, 'scope')}`, value: fieldOf(line, 'value'), fields: fieldsOf(line) }))),
-    ];
-    const still = named.filter((pin) => !signed.some((line) => fieldOf(line, 'value') === 'withdraw' && retracts(fieldsOf(line), pin.fields)));
-    const added = signed.filter((line) => pinScope(fieldOf(line, 'scope')) && fieldOf(line, 'value') !== 'withdraw').map((line) => ({ scope: fieldOf(line, 'scope'), value: fieldOf(line, 'value') }));
-    return [...digests.values()].flatMap((alias) => {
-        const by = [...still.filter((pin) => pin.value === alias.digest).map((pin) => pin.scope), ...added.filter((pin) => pin.value === alias.digest).map((pin) => pin.scope)];
-        return by.length ? [{ scope: alias.scope, digest: alias.digest, by }] : [];
-    });
-}
+var O=Object.defineProperty;var p=(t,a)=>O(t,"name",{value:a,configurable:!0});import{library11_ENVELOPE as E}from"../vendor/runtime.js";import{fieldOf as s,fieldsOf as i}from"../fold/claims.js";import{lockStanding as m}from"../fold/keys.js";import{worldsIn as g}from"../fold/places.js";import{ownLockOf as W}from"../fold/signed.js";import{storeOf as v}from"./ledger.js";const n=p((t,a)=>Object.keys(t).filter(c=>!E.has(c)&&c!=="value").every(c=>a[c]===t[c]),"retracts"),d=p(t=>t==="uses"||t.startsWith("uses/")||t.split("/").slice(1,-1).includes("uses"),"pinScope"),$=p(t=>s(t,"value")==="withdraw"&&s(t,"scope").startsWith("dep/")&&s(t,"role")!=="reads","aliasWithdraw");function j(t,a){const c=m(v(t)).filter(e=>s(e,"scope").startsWith("dep/")&&s(e,"role")!=="reads"&&s(e,"value")!=="withdraw"),f=new Map;for(const e of a.filter($)){const o=i(e);for(const r of c){if(!n(o,i(r)))continue;const l=s(r,"value");a.some(u=>s(u,"scope")===s(r,"scope")&&s(u,"value")===l)||f.set(`${s(r,"scope")}\0${l}`,{scope:s(r,"scope"),digest:l})}}if(!f.size)return[];const w=[...m(v(t)).filter(e=>d(s(e,"scope"))&&s(e,"value")!=="withdraw").map(e=>({scope:s(e,"scope"),value:s(e,"value"),fields:i(e)})),...g(t).flatMap(e=>W(t,e).filter(o=>d(s(o,"scope"))&&s(o,"value")!=="withdraw").map(o=>({scope:`${e}/${s(o,"scope")}`,value:s(o,"value"),fields:i(o)})))].filter(e=>!a.some(o=>s(o,"value")==="withdraw"&&n(i(o),e.fields))),h=a.filter(e=>d(s(e,"scope"))&&s(e,"value")!=="withdraw").map(e=>({scope:s(e,"scope"),value:s(e,"value")}));return[...f.values()].flatMap(e=>{const o=[...w.filter(r=>r.value===e.digest).map(r=>r.scope),...h.filter(r=>r.value===e.digest).map(r=>r.scope)];return o.length?[{scope:e.scope,digest:e.digest,by:o}]:[]})}p(j,"aliasPinned");export{j as aliasPinned};

package/dist/land/held.js

@@ -1,23 +1 @@
-import { fieldOf } from "../fold/claims.js";
-import { spanOf } from '@lapxo/topos/forms';
-import { blobAt, ledgerLines, storeAt } from "./ledger.js";
-const STORE = 'store';
-const pathOf = (store, scope) => {
-    const name = scope.split('/').pop() ?? '';
-    if (scope.startsWith('cas/blobs/'))
-        return blobAt(store, name);
-    if (scope.startsWith('cas/laid/'))
-        return storeAt(store, 'cas', 'laid', name);
-    if (scope.startsWith('cas/answers/'))
-        return storeAt(store, 'cas', 'answers', name);
-    return storeAt(store, ...scope.split('/'));
-};
-const sizeOf = (line) => spanOf(fieldOf(line, 'value'))?.hi ?? 0;
-function inventory(store) {
-    return ledgerLines(store, STORE).filter((line) => fieldOf(line, 'value') !== 'withdraw').map((line) => {
-        const scope = fieldOf(line, 'scope');
-        return { scope, bytes: sizeOf(line), at: pathOf(store, scope) };
-    });
-}
-/** Bytes the store receipts name: a byte lives only while a standing line names it, and the receipts list what is there. */
-export const heldBytes = (_root, store, _standing) => inventory(store).reduce((sum, one) => sum + one.bytes, 0);
+var f=Object.defineProperty;var a=(r,t)=>f(r,"name",{value:t,configurable:!0});import{fieldOf as n}from"../fold/claims.js";import{library4_spanOf as l}from"../vendor/runtime.js";import{blobAt as c,ledgerLines as p,storeAt as i}from"./ledger.js";const u="store",d=a((r,t)=>{const s=t.split("/").pop()??"";return t.startsWith("cas/blobs/")?c(r,s):t.startsWith("cas/laid/")?i(r,"cas","laid",s):t.startsWith("cas/answers/")?i(r,"cas","answers",s):i(r,...t.split("/"))},"pathOf"),m=a(r=>l(n(r,"value"))?.hi??0,"sizeOf");function b(r){return p(r,u).filter(t=>n(t,"value")!=="withdraw").map(t=>{const s=n(t,"scope");return{scope:s,bytes:m(t),at:d(r,s)}})}a(b,"inventory");const v=a((r,t,s)=>b(t).reduce((e,o)=>e+o.bytes,0),"heldBytes");export{v as heldBytes};

package/dist/land/inert.js

@@ -1,33 +1 @@
-import { foldCeilings } from "../fold/ceilings.js";
-import { fieldOf } from "../fold/claims.js";
-import { isCeiling } from "../fold/configures.js";
-import { placedReadings } from "../fold/observed.js";
-import { boundOf, rankOf, regionsOf } from "../fold/region.js";
-/**
- * The ceilings of a batch that would stand unread: no reading meets them and no reading of the instrument's own
- * carries their measure. A batch that also signs a reader goes through whole, since what a reader reads is known only
- * once it runs, and so does a ceiling a gate of the same act reads, whose reading lands with it or refuses it.
- */
-export function inertIn(batch, input) {
-    if (input.signsReader)
-        return [];
-    const folded = foldCeilings({ standing: input.standing, ceilings: batch.filter(input.ceiling), observed: input.observed, own: input.own, epoch: input.epoch });
-    return [...folded.unread, ...folded.vacuous];
-}
-/** What each ceiling of a batch would bite, read off the summaries of the cone before anything lands. */
-export function rankedIn(batch, fold) {
-    const regions = regionsOf(fold.standing, [...fold.standing.filter(isCeiling), ...batch], placedReadings(fold.observed));
-    return batch.map((line) => {
-        const bound = boundOf(regions.named, line);
-        const got = rankOf(regions, bound, fold.own);
-        const bite = got.cells ? `bites ${got.cells} cells in ${got.bars} bars, ${got.fresh} no ceiling above bites` : got.sums ? `bites ${got.sums} sums` : `bites nothing of ${got.met} met`;
-        return `RANK     ${fieldOf(line, 'scope')} · ${bite} · region ${bound.region || '.'}`;
-    });
-}
-/** Every ceiling asked, at resolution one: what the fold reads for it, beside its bound, or unmeasured where no reading answers it. */
-export function readingsIn(ceilings, fold) {
-    const got = foldCeilings({ standing: fold.standing, ceilings, observed: fold.observed, own: fold.own, epoch: fold.epoch });
-    const outside = new Map(got.over.map((one) => [one.ceiling, `${one.side} ${one.got}`]));
-    return ceilings.map((line) => ((scope, read) => `RANK@1   ${scope} · ${fieldOf(line, 'measure')} ${fieldOf(line, 'value')} · ${read === undefined ? 'unmeasured'
-        : `read ${read.length > 3 ? `${read.slice(0, 3).join(' · ')} +${read.length - 3}` : read.join(' · ')}`}${outside.has(scope) ? ` · ${outside.get(scope)}` : read === undefined ? '' : ' · met'}`)(fieldOf(line, 'scope'), got.readings.get(fieldOf(line, 'scope'))));
-}
+var d=Object.defineProperty;var c=(o,e)=>d(o,"name",{value:e,configurable:!0});import{foldCeilings as a}from"../fold/ceilings.js";import{fieldOf as g}from"../fold/claims.js";import{isCeiling as m}from"../fold/configures.js";import{placedReadings as $}from"../fold/observed.js";import{boundOf as u,rankOf as f,regionsOf as b}from"../fold/region.js";function R(o,e){if(e.signsReader)return[];const i=a({standing:e.standing,ceilings:o.filter(e.ceiling),observed:e.observed,own:e.own,epoch:e.epoch});return[...i.unread,...i.vacuous]}c(R,"inertIn");function x(o,e){const i=b(e.standing,[...e.standing.filter(m),...o],$(e.observed));return o.map(t=>{const n=u(i.named,t),s=f(i,n,e.own),r=s.cells?`bites ${s.cells} cells in ${s.bars} bars, ${s.fresh} no ceiling above bites`:s.sums?`bites ${s.sums} sums`:`bites nothing of ${s.met} met`;return`RANK     ${g(t,"scope")} \xB7 ${r} \xB7 region ${n.region||"."}`})}c(x,"rankedIn");function I(o,e){const i=a({standing:e.standing,ceilings:o,observed:e.observed,own:e.own,epoch:e.epoch}),t=new Map(i.over.map(n=>[n.ceiling,`${n.side} ${n.got}`]));return o.map(n=>((s,r)=>`RANK@1   ${s} \xB7 ${g(n,"measure")} ${g(n,"value")} \xB7 ${r===void 0?"unmeasured":`read ${r.length>3?`${r.slice(0,3).join(" \xB7 ")} +${r.length-3}`:r.join(" \xB7 ")}`}${t.has(s)?` \xB7 ${t.get(s)}`:r===void 0?"":" \xB7 met"}`)(g(n,"scope"),i.readings.get(g(n,"scope"))))}c(I,"readingsIn");export{R as inertIn,x as rankedIn,I as readingsIn};