@lapxo/bound 0.2.4 → 0.2.5

package/dist/engine/computation.js

@@ -0,0 +1,2 @@
+var x=Object.defineProperty;var c=(t,i)=>x(t,"name",{value:i,configurable:!0});import{library2_readingIdentityBytes as w,library2_readingReceiptBytes as U}from"../vendor/runtime.js";import{encodeUTF8 as B}from"./encoding.js";import{invokeByteComputationPort as q,invokeFrameSigningPort as v,invokeSignatureVerificationPort as p}from"./ports.js";import{BoundRefusal as A}from"../host/refusals.js";const a=c(t=>{throw new A("computation/"+t,"REFUSE\xB7computation/"+t)},"refuse"),f=c(t=>{(typeof t!="string"||!/^sha256:[a-f0-9]{64}$/.test(t))&&a("context")},"pin"),d=c(async(t,i)=>{const n=await t(new Uint8Array(i));return f(n),n},"hash"),b="computation/request";async function k(t,i,n){(!t||!t.reading||!(i instanceof Uint8Array)||typeof t.keyId!="string"||!t.keyId||typeof t.algorithm!="string"||!t.algorithm)&&a("context");let e;try{e=structuredClone(t)}catch{return a("context")}f(e.contract),f(e.numericPolicy);try{w(e.reading)}catch{return a("context")}for(const r of[e.reading.instrument,e.reading.implementation,e.reading.policy])f(r);e.reading.inputs.some(([r])=>r===b)&&a("context");const s={...e.reading,inputs:[...e.reading.inputs,[b,await d(n,i)]]};let o;try{o=w(s)}catch{return a("context")}const g=JSON.parse(new TextDecoder().decode(o)),y=await d(n,B(JSON.stringify(["computation-request@1",e.contract,e.numericPolicy,g[3],g[4],g[5]])));return{held:e,question:y,reading:await d(n,o)}}c(k,"prepare");function m(t){return JSON.stringify([t.profile,t.question,t.reading,t.origin,t.result,t.commitment,t.keyId,t.algorithm])+`
+`}c(m,"frame");async function I(t,i,n){const e=await d(n,i);return{profile:"bound-computation@1",question:t.question,reading:t.reading,origin:t.held.reading.implementation,result:e,commitment:await d(n,U(t.reading,e)),keyId:t.held.keyId,algorithm:t.held.algorithm}}c(I,"statement");async function R(t,i,n,e,s){(!(i instanceof Uint8Array)||i.byteLength>e.maxBytes)&&a("budget");const o=new Uint8Array(i),g=await k(t,o,n.digest),y=await q(o,n.evaluate,e,s),r=await I(g,y,n.digest),u=m(r),h=await v({bytes:[u],keyId:r.keyId,algorithm:r.algorithm},n.sign,e,s),l=h[0];return await p(u,l,r.algorithm,n.verify,e,s)||a("signature"),{statement:Object.freeze({...r,signature:l.signature}),output:y}}c(R,"executeComputation");async function z(t,i,n,e,s,o,g){(!(i instanceof Uint8Array)||!(n instanceof Uint8Array)||i.byteLength>o.maxBytes||n.byteLength>o.maxBytes)&&a("budget"),(!e||Object.keys(e).sort().join(",")!=="algorithm,commitment,keyId,origin,profile,question,reading,result,signature"||typeof e.signature!="string")&&a("signature");const y=await k(t,new Uint8Array(i),s.digest),r=await I(y,new Uint8Array(n),s.digest),{signature:u,...h}=e;return m(h)!==m(r)&&a("context"),await p(m(r),{keyId:r.keyId,signature:u},r.algorithm,s.verify,o,g)||a("signature"),Object.freeze({...r,signature:u})}c(z,"verifyComputation");export{R as executeComputation,z as verifyComputation};

package/dist/engine/conformance.js

@@ -0,0 +1,4 @@
+var j=Object.defineProperty;var f=(t,c)=>j(t,"name",{value:c,configurable:!0});import{encodeUTF8 as u}from"./encoding.js";import{invokeByteComputationPort as q}from"./ports.js";import{BoundRefusal as d}from"../host/refusals.js";const o=f(t=>{throw new d("conformance/"+t,"REFUSE\xB7conformance/"+t)},"fail"),A=f(t=>{(typeof t!="string"||!/^sha256:[a-f0-9]{64}$/.test(t))&&o("context")},"pin"),C=f((t,c)=>t.length===c.length&&t.every((l,i)=>l===c[i]),"equal"),m=f(t=>Array.isArray(t)&&t.every(c=>typeof c=="string"&&c.length>0)&&new Set(t).size===t.length,"unique");async function k(t,c,l,i,p){(!(t instanceof Uint8Array)||!i||!Number.isSafeInteger(i.maxCases)||i.maxCases<1||t.byteLength>i.maxBytes)&&o("budget"),(!c||typeof c!="object")&&o("context");let n;try{n=structuredClone(c)}catch{return o("context")}for(const e of[n.suite,n.implementation,n.contract])A(e);(!m(n.rules)||!m(n.refusals))&&o("coverage");const y=f(async e=>{const r=await l.digest(new Uint8Array(e));return A(r),r},"hash"),w=new Uint8Array(t);await y(w)!==n.suite&&o("integrity");let a;try{a=JSON.parse(new TextDecoder("utf-8",{fatal:!0}).decode(w))}catch{return o("suite")}(!a||Object.keys(a).sort().join(",")!=="cases,contract,profile"||a.profile!=="bound-conformance@1"||a.contract!==n.contract||!Array.isArray(a.cases)||!a.cases.length||a.cases.length>i.maxCases)&&o("suite");const v=new Set,x=new Set,S=[...n.rules.map(e=>"rule/"+e),...n.refusals.map(e=>"refusal/"+e)];for(const e of a.cases){(!e||Object.keys(e).sort().join(",")!=="covers,expected,id,request"||typeof e.id!="string"||!e.id||v.has(e.id)||!m(e.covers)||!e.covers.length||typeof e.request!="string"||typeof e.expected!="string")&&o("suite"),v.add(e.id);let r;try{r=JSON.parse(e.expected)}catch{return o("suite")}if(!Array.isArray(r)||r.length!==2||!["fact","refuse"].includes(r[0]))return o("suite");for(const s of e.covers)S.includes(s)||o("coverage"),s.startsWith("refusal/")&&(r[0]!=="refuse"||r[1]!==s.slice(8))&&o("coverage"),x.add(s)}S.some(e=>!x.has(e))&&o("coverage");const h=[];for(const e of a.cases){if(p?.aborted)throw new d("host-port/cancelled","REFUSE\xB7host-port/cancelled");let r;try{r=await q(u(e.request),async(s,O)=>{try{return await l.evaluate(s,O)}catch(g){if(g instanceof d)return u(JSON.stringify(["refuse",g.code])+`
+`);throw g}},i,p)}catch(s){if(p?.aborted||s instanceof d&&["host-port/cancelled","host-port/timeout","host-port/budget"].includes(s.code))throw s;r=u(JSON.stringify(["refuse",s instanceof d?s.code:"operation/failed"])+`
+`)}h.push({id:e.id,met:C(r,u(e.expected)),response:await y(r)})}const b={profile:"bound-conformance-report@1",suite:n.suite,implementation:n.implementation,contract:n.contract,met:h.every(e=>e.met),cases:h};return Object.freeze({...b,commitment:await y(u(JSON.stringify(b)+`
+`))})}f(k,"runConformance");export{k as runConformance};

package/dist/engine/encoding.js

@@ -1,2 +1 @@
-/** Shared, host-free UTF-8 encoding for protocol byte budgets. */
-export const encodeUTF8 = (text) => new TextEncoder().encode(text);
+var c=Object.defineProperty;var o=(e,t)=>c(e,"name",{value:t,configurable:!0});const n=o(e=>new TextEncoder().encode(e),"encodeUTF8"),r=o(e=>new TextDecoder("utf-8",{fatal:!0}).decode(e),"decodeUTF8");export{r as decodeUTF8,n as encodeUTF8};

package/dist/engine/index.d.ts

@@ -1,13 +1 @@
-/**
- * Pure projection of already admitted typed-object records.
- * Input is the effective history already admitted by the host, preserving cell
- * declarations before uses within each epoch and a deterministic selected context.
- * This API performs no admission,
- * signature verification, storage, transport, clock selection or execution.
- * Object operations delegate to the existing Obligations implementation.
- */
-export { objectFold } from './object.ts';
-export type { ObjectReading } from './object.ts';
-export type { ObjectRecord, ObjectContext } from '@lapxo/topos/wire';
-export { readContent, retainContent, invokeSigningPort } from './ports.ts';
-export type { PortLimits, ContentReadPort, PersistencePort, DigestPort, SigningPort, SigningLot, SignatureRecord } from './ports.ts';
+export {public1_ByteComputationPort as ByteComputationPort,public1_ComputationContext as ComputationContext,public1_ComputationStatement as ComputationStatement,public1_ConformanceCase as ConformanceCase,public1_ConformanceReceiver as ConformanceReceiver,public1_ConformanceReport as ConformanceReport,public1_ConformanceSuite as ConformanceSuite,public1_ContentReadPort as ContentReadPort,public1_DigestPort as DigestPort,public1_ObjectContext as ObjectContext,public1_ObjectReading as ObjectReading,public1_ObjectRecord as ObjectRecord,public1_PersistencePort as PersistencePort,public1_PortLimits as PortLimits,public1_RefusalEntry as RefusalEntry,public1_SignatureRecord as SignatureRecord,public1_SignatureVerificationPort as SignatureVerificationPort,public1_SigningLot as SigningLot,public1_SigningPort as SigningPort,public1_executeComputation as executeComputation,public1_invokeSigningPort as invokeSigningPort,public1_objectFold as objectFold,public1_objectFoldBytes as objectFoldBytes,public1_readContent as readContent,public1_readRefusalCatalog as readRefusalCatalog,public1_retainContent as retainContent,public1_runConformance as runConformance,public1_verifyComputation as verifyComputation} from "../public-types.js";

package/dist/engine/index.js

@@ -1,11 +1,2 @@
-/**
- * Pure projection of already admitted typed-object records.
- * Input is the effective history already admitted by the host, preserving cell
- * declarations before uses within each epoch and a deterministic selected context.
- * This API performs no admission,
- * signature verification, storage, transport, clock selection or execution.
- * Object operations delegate to the existing Obligations implementation.
- */
-export { objectFold } from "./object.js";
-// Optional host operations are explicit and injected; objectFold itself never invokes them.
-export { readContent, retainContent, invokeSigningPort } from "./ports.js";
+var a=Object.defineProperty;var i=(n,t)=>a(n,"name",{value:t,configurable:!0});import{objectFold as b}from"./object.js";import{readContent as C,retainContent as E,invokeSigningPort as h}from"./ports.js";import{executeComputation as S,verifyComputation as R}from"./computation.js";import{runConformance as v}from"./conformance.js";import{readRefusalCatalog as O}from"../host/refusals.js";import{library11_validateObjectContext as c}from"../vendor/runtime.js";import{objectFold as f}from"./object.js";import{BoundRefusal as o}from"../host/refusals.js";import{encodeUTF8 as p,decodeUTF8 as u}from"./encoding.js";function x(n,t){let e;try{e=JSON.parse(u(n))}catch{throw new o("engine/input","REFUSE\xB7engine/input")}if(!Array.isArray(e)||e.length!==2||e[0]!=="bound-object-request@1"||!Array.isArray(e[1]))throw new o("engine/input","REFUSE\xB7engine/input");let r;try{r=c(e[1],t)}catch{throw new o("engine/context","REFUSE\xB7engine/context")}if(r.kind!=="fact")throw new o("engine/context","REFUSE\xB7engine/context");return p(JSON.stringify(["fact",f(r.value,t)])+`
+`)}i(x,"objectFoldBytes");export{S as executeComputation,h as invokeSigningPort,b as objectFold,x as objectFoldBytes,C as readContent,O as readRefusalCatalog,E as retainContent,v as runConformance,R as verifyComputation};

package/dist/engine/object.js

@@ -1,38 +1 @@
-import { cell, sign, join, require as requireFloor, observe, mark, parts, state, live, restOf } from '@lapxo/obligations/views/field';
-import { restCoordinates } from '@lapxo/topos/wire';
-export function objectFold(records, context) {
-    let world = new Map();
-    const definitions = new Map(records.filter(r => r.record === 'cell').map(r => [r.fields.scope, r]));
-    const codecs = new Map([...definitions].map(([name, c]) => [name, context.resolve(c)]));
-    const ids = new Map(records.map(r => [r.fields.id, r]));
-    for (const record of [...records].sort((a, b) => Number(a.fields.epoch) - Number(b.fields.epoch))) {
-        const f = record.fields, name = f.scope, at = Number(f.epoch);
-        if (record.record === 'cell') {
-            world = new Map([...world, [name, cell(name, at, [], restCoordinates(f.restsOn))]]);
-            continue;
-        }
-        const codec = codecs.get(name), L = codec.form.lattice(codec.params), held = world.get(name);
-        if (record.record === 'claim') {
-            const target = f.sign === '-1' ? ids.get(f.takes).fields : f;
-            const changed = observe(held, { id: f.id, at, origin: target.origin, span: codec.form.parse(codec.params, target.value), ...(f.takes ? { takes: f.takes } : {}) }, f.sign === '-1' ? -1 : 1);
-            const seen = [...changed.seen];
-            seen[seen.length - 1] = { ...seen.at(-1), id: f.id };
-            world = new Map([...world, [name, { ...changed, seen }]]);
-        }
-        else if (f.sign === '-1') {
-            const target = ids.get(f.takes).fields;
-            world = new Map([...world, [name, { ...held, marks: [...(held.marks ?? []), mark({ id: f.id, at, takes: f.takes, pole: target.pole, reach: 'local', span: codec.form.parse(codec.params, target.value) })] }]]);
-        }
-        else if (f.widens !== undefined) {
-            const changed = join(L, held, codec.form.parse(codec.params, f.value), f.widens, at);
-            const marks = [...(changed.marks ?? [])];
-            marks[marks.length - 1] = { ...marks.at(-1), id: f.id };
-            world = new Map([...world, [name, { ...changed, marks }]]);
-        }
-        else {
-            const span = codec.form.parse(codec.params, f.value);
-            world = f.pole === 'floor' ? requireFloor(L, world, name, span, { id: f.id, at }) : sign(L, world, name, span, { id: f.id, at });
-        }
-    }
-    return [...world].map(([name, c]) => { const codec = codecs.get(name), L = codec.form.lattice(codec.params); return { cell: name, state: state(L, c, world), parts: parts(L, c, world), rest: restOf(c, world), ownMarks: live(c.marks ?? []).map(m => m.id), ownClaims: live(c.seen).map(s => ({ id: s.id, origin: s.origin })), marks: live(c.marks ?? []), claims: live(c.seen) }; });
-}
+var w=Object.defineProperty;var k=(l,m)=>w(l,"name",{value:m,configurable:!0});import{library14_cell as y,library14_sign as _,library14_join as h,library14_require as v,library14_observe as M,library14_mark as j,library14_parts as C,library14_state as N,library14_live as c,library14_restOf as O}from"../vendor/runtime.js";import{library11_restCoordinates as q}from"../vendor/runtime.js";function z(l,m){let a=new Map;const u=new Map(l.filter(s=>s.record==="cell").map(s=>[s.fields.scope,s])),g=new Map([...u].map(([s,e])=>[s,m.resolve(e)])),b=new Map(l.map(s=>[s.fields.id,s]));for(const s of[...l].sort((e,i)=>Number(e.fields.epoch)-Number(i.fields.epoch))){const e=s.fields,i=e.scope,o=Number(e.epoch);if(s.record==="cell"){a=new Map([...a,[i,y(i,o,[],q(e.restsOn))]]);continue}const r=g.get(i),f=r.form.lattice(r.params),d=a.get(i);if(s.record==="claim"){const t=e.sign==="-1"?b.get(e.takes).fields:e,n=M(d,{id:e.id,at:o,origin:t.origin,span:r.form.parse(r.params,t.value),...e.takes?{takes:e.takes}:{}},e.sign==="-1"?-1:1),p=[...n.seen];p[p.length-1]={...p.at(-1),id:e.id},a=new Map([...a,[i,{...n,seen:p}]])}else if(e.sign==="-1"){const t=b.get(e.takes).fields;a=new Map([...a,[i,{...d,marks:[...d.marks??[],j({id:e.id,at:o,takes:e.takes,pole:t.pole,reach:"local",span:r.form.parse(r.params,t.value)})]}]])}else if(e.widens!==void 0){const t=h(f,d,r.form.parse(r.params,e.value),e.widens,o),n=[...t.marks??[]];n[n.length-1]={...n.at(-1),id:e.id},a=new Map([...a,[i,{...t,marks:n}]])}else{const t=r.form.parse(r.params,e.value);a=e.pole==="floor"?v(f,a,i,t,{id:e.id,at:o}):_(f,a,i,t,{id:e.id,at:o})}}return[...a].map(([s,e])=>{const i=g.get(s),o=i.form.lattice(i.params);return{cell:s,state:N(o,e,a),parts:C(o,e,a),rest:O(e,a),ownMarks:c(e.marks??[]).map(r=>r.id),ownClaims:c(e.seen).map(r=>({id:r.id,origin:r.origin})),marks:c(e.marks??[]),claims:c(e.seen)}})}k(z,"objectFold");export{z as objectFold};

package/dist/engine/ports.js

@@ -1,117 +1,2 @@
-import { signerRequestBytes, signerResponseBytes, signerResponseOf } from '@lapxo/topos/wire';
-import { BoundRefusal } from "../host/refusals.js";
-import { encodeUTF8 as encoded } from "./encoding.js";
-class PortFault extends BoundRefusal {
-}
-const fail = (code) => { throw new PortFault('host-port/' + code, 'REFUSE·host-port/' + code); };
-function limitsOf(limits) { if (!limits || !Number.isSafeInteger(limits.timeoutMs) || limits.timeoutMs < 1 || limits.timeoutMs > 2147483647 || !Number.isSafeInteger(limits.maxBytes) || limits.maxBytes < 1)
-    fail('budget'); }
-/** The callback must cooperate with cancellation; JavaScript callbacks are not a sandbox. */
-async function bounded(limits, signal, run) {
-    limitsOf(limits);
-    if (signal?.aborted)
-        fail('cancelled');
-    return new Promise((resolve, reject) => {
-        const controller = new AbortController();
-        let done = false;
-        const finish = (code, value) => { if (done)
-            return; done = true; clearTimeout(timer); signal?.removeEventListener('abort', abort); if (code) {
-            controller.abort();
-            reject(new BoundRefusal('host-port/' + code, 'REFUSE·host-port/' + code));
-        }
-        else
-            resolve(value); };
-        const abort = () => finish('cancelled'), timer = setTimeout(() => finish('timeout'), limits.timeoutMs);
-        signal?.addEventListener('abort', abort, { once: true });
-        if (signal?.aborted) {
-            abort();
-            return;
-        }
-        Promise.resolve().then(() => { if (done)
-            fail('cancelled'); return run(controller.signal); }).then(value => finish(undefined, value), error => finish(error instanceof PortFault ? error.code.slice('host-port/'.length) : 'failed'));
-    });
-}
-function owned(bytes, maxBytes) { if (!(bytes instanceof Uint8Array))
-    fail('response'); if (bytes.byteLength > maxBytes)
-    fail('budget'); if (typeof SharedArrayBuffer !== 'undefined' && bytes.buffer instanceof SharedArrayBuffer)
-    fail('response'); return new Uint8Array(bytes); }
-const identity = (digest) => { if (!/^sha256:[a-f0-9]{64}$/.test(digest))
-    fail('integrity'); };
-export async function readContent(source, digest, ports, limits, signal) {
-    limitsOf(limits);
-    identity(digest);
-    return bounded(limits, signal, async (s) => { const bytes = owned(await ports.read(source, digest, s), limits.maxBytes); if (s.aborted)
-        fail('cancelled'); if (await ports.digestBytes(new Uint8Array(bytes)) !== digest)
-        fail('integrity'); if (s.aborted)
-        fail('cancelled'); return bytes; });
-}
-/** Verify before invoking retention; no operation automatically writes the projected result. */
-export async function retainContent(digest, bytes, ports, limits, signal) {
-    limitsOf(limits);
-    identity(digest);
-    if (signal?.aborted)
-        fail('cancelled');
-    const copy = owned(bytes, limits.maxBytes);
-    return bounded(limits, signal, async (s) => { if (await ports.digestBytes(new Uint8Array(copy)) !== digest)
-        fail('integrity'); if (s.aborted)
-        fail('cancelled'); const result = await ports.retain(digest, copy, s); if (result !== undefined)
-        fail('response'); return Object.freeze({ digest, bytes: copy.byteLength }); });
-}
-/** Acquire canonical line signatures only. The line protocol is not widened
- * for contextual receipt frames. Both operations share bounds and response checks. */
-export async function invokeSigningPort(lot, sign, limits, signal) {
-    validateSigningLot(lot, limits);
-    let request;
-    try {
-        request = signerRequestBytes(lot);
-    }
-    catch {
-        return fail('response');
-    }
-    return invokeDeclaredSignatures(lot, request, sign, limits, signal);
-}
-/** Host-prepared signature frames. This acquires no authority: the contextual
- * transaction validates the frame's domain/receiver and verifies every signature.
- * A carrier cannot select this operation or supply a signature verifier. */
-export async function invokeFrameSigningPort(lot, sign, limits, signal) {
-    validateSigningLot(lot, limits);
-    return invokeDeclaredSignatures(lot, JSON.stringify(lot) + '\n', sign, limits, signal);
-}
-function validateSigningLot(lot, limits) {
-    limitsOf(limits);
-    if (!lot || !Array.isArray(lot.bytes) || !lot.bytes.length || typeof lot.keyId !== 'string' || !lot.keyId || typeof lot.algorithm !== 'string' || !lot.algorithm)
-        fail('budget');
-    let size = 0;
-    for (const bytes of lot.bytes) {
-        if (typeof bytes !== 'string' || bytes.length > limits.maxBytes - size)
-            fail('budget');
-        size += encoded(bytes).length + 1;
-        if (size > limits.maxBytes)
-            fail('budget');
-    }
-}
-function invokeDeclaredSignatures(lot, request, sign, limits, signal) {
-    if (encoded(request).length > limits.maxBytes)
-        fail('budget');
-    const input = Object.freeze({ ...lot, bytes: Object.freeze([...lot.bytes]) });
-    return bounded(limits, signal, async (s) => {
-        const records = await sign(input, s);
-        if (!Array.isArray(records) || records.length !== lot.bytes.length || records.some(r => !r || typeof r.signature !== 'string' || r.signature.length > limits.maxBytes))
-            fail('response');
-        let response;
-        try {
-            response = signerResponseBytes(records);
-        }
-        catch {
-            return fail('response');
-        }
-        if (encoded(response).length > limits.maxBytes)
-            fail('budget');
-        try {
-            return Object.freeze(signerResponseOf(response, lot).map(record => Object.freeze({ ...record })));
-        }
-        catch {
-            return fail('response');
-        }
-    });
-}
+var v=Object.defineProperty;var s=(e,t)=>v(e,"name",{value:t,configurable:!0});import{library11_signerRequestBytes as A,library11_signerResponseBytes as O,library11_signerResponseOf as R}from"../vendor/runtime.js";import{BoundRefusal as B}from"../host/refusals.js";import{encodeUTF8 as b}from"./encoding.js";function j(e,t,n,r){g(n);const a=h(e,n.maxBytes);return p(n,r,async i=>h(await t(a,i),n.maxBytes))}s(j,"invokeByteComputationPort");function E(e,t,n,r,a,i){return g(a),b(e).length+b(t.signature).length>a.maxBytes&&o("budget"),p(a,i,async f=>{const c=await r(e,Object.freeze({...t}),n,f);return typeof c!="boolean"&&o("response"),c})}s(E,"invokeSignatureVerificationPort");class x extends B{static{s(this,"PortFault")}}const o=s(e=>{throw new x("host-port/"+e,"REFUSE\xB7host-port/"+e)},"fail");function g(e){(!e||!Number.isSafeInteger(e.timeoutMs)||e.timeoutMs<1||e.timeoutMs>2147483647||!Number.isSafeInteger(e.maxBytes)||e.maxBytes<1)&&o("budget")}s(g,"limitsOf");async function p(e,t,n){return g(e),t?.aborted&&o("cancelled"),new Promise((r,a)=>{const i=new AbortController;let f=!1;const c=s((u,S)=>{f||(f=!0,clearTimeout(d),t?.removeEventListener("abort",y),u?(i.abort(),a(new B("host-port/"+u,"REFUSE\xB7host-port/"+u))):r(S))},"finish"),y=s(()=>c("cancelled"),"abort"),d=setTimeout(()=>c("timeout"),e.timeoutMs);if(t?.addEventListener("abort",y,{once:!0}),t?.aborted){y();return}Promise.resolve().then(()=>(f&&o("cancelled"),n(i.signal))).then(u=>c(void 0,u),u=>c(u instanceof x?u.code.slice(10):"failed"))})}s(p,"bounded");function h(e,t){return e instanceof Uint8Array||o("response"),e.byteLength>t&&o("budget"),typeof SharedArrayBuffer<"u"&&e.buffer instanceof SharedArrayBuffer&&o("response"),new Uint8Array(e)}s(h,"owned");const l=s(e=>{/^sha256:[a-f0-9]{64}$/.test(e)||o("integrity")},"identity");async function F(e,t,n,r,a){return g(r),l(t),p(r,a,async i=>{const f=h(await n.read(e,t,i),r.maxBytes);return i.aborted&&o("cancelled"),await n.digestBytes(new Uint8Array(f))!==t&&o("integrity"),i.aborted&&o("cancelled"),f})}s(F,"readContent");async function L(e,t,n,r,a){g(r),l(e),a?.aborted&&o("cancelled");const i=h(t,r.maxBytes);return p(r,a,async f=>(await n.digestBytes(new Uint8Array(i))!==e&&o("integrity"),f.aborted&&o("cancelled"),await n.retain(e,i,f)!==void 0&&o("response"),Object.freeze({digest:e,bytes:i.byteLength})))}s(L,"retainContent");async function C(e,t,n,r){m(e,n);let a;try{a=A(e)}catch{return o("response")}return w(e,a,t,n,r)}s(C,"invokeSigningPort");async function I(e,t,n,r){return m(e,n),w(e,JSON.stringify(e)+`
+`,t,n,r)}s(I,"invokeFrameSigningPort");function m(e,t){g(t),(!e||!Array.isArray(e.bytes)||!e.bytes.length||typeof e.keyId!="string"||!e.keyId||typeof e.algorithm!="string"||!e.algorithm)&&o("budget");let n=0;for(const r of e.bytes)(typeof r!="string"||r.length>t.maxBytes-n)&&o("budget"),n+=b(r).length+1,n>t.maxBytes&&o("budget")}s(m,"validateSigningLot");function w(e,t,n,r,a){b(t).length>r.maxBytes&&o("budget");const i=Object.freeze({...e,bytes:Object.freeze([...e.bytes])});return p(r,a,async f=>{const c=await n(i,f);(!Array.isArray(c)||c.length!==e.bytes.length||c.some(d=>!d||typeof d.signature!="string"||d.signature.length>r.maxBytes))&&o("response");let y;try{y=O(c)}catch{return o("response")}b(y).length>r.maxBytes&&o("budget");try{return Object.freeze(R(y,e).map(d=>Object.freeze({...d})))}catch{return o("response")}})}s(w,"invokeDeclaredSignatures");export{j as invokeByteComputationPort,I as invokeFrameSigningPort,E as invokeSignatureVerificationPort,C as invokeSigningPort,F as readContent,L as retainContent};

package/dist/fold/admission-history.js

@@ -1,17 +1 @@
-import { bootstrapAnchor } from "./bootstrap-anchor.js";
-import { rootLedgerLines, storeOf } from "../land/ledger.js";
-import { fieldOf, isConfig } from "./claims.js";
-/** Local admission history only. Foreign ingress is evidence, never coverage.
- * The clock cutoff is meaningful for configuration; object clocks stay intact. */
-export function admissionHistoryAt(root, epoch) {
-    const store = storeOf(root);
-    return [...new Set(rootLedgerLines(store))]
-        .filter(line => fieldOf(line, 'sig') !== '' && (!isConfig(line) || Number(fieldOf(line, 'epoch')) <= epoch));
-}
-/** The original local bootstrap, never today's key selection. */
-export function admissionAnchor(root) {
-    const anchor = bootstrapAnchor(root);
-    if (!anchor)
-        throw Error('REFUSE·act historical admission requires one bootstrap anchor');
-    return { id: anchor.id, keyClass: 'authorize', publicKey: anchor.publicKey, coverage: anchor.coverage, depth: { lo: 1, hi: 16 }, admittedBy: [] };
-}
+var n=Object.defineProperty;var i=(r,o)=>n(r,"name",{value:o,configurable:!0});import{bootstrapAnchor as c}from"./bootstrap-anchor.js";import{rootLedgerLines as a,storeOf as f}from"../land/ledger.js";import{fieldOf as e,isConfig as m}from"./claims.js";function b(r,o){const s=f(r);return[...new Set(a(s))].filter(t=>e(t,"sig")!==""&&(!m(t)||Number(e(t,"epoch"))<=o))}i(b,"admissionHistoryAt");function g(r){const o=c(r);if(!o)throw Error("REFUSE\xB7act historical admission requires one bootstrap anchor");return{id:o.id,keyClass:"authorize",publicKey:o.publicKey,coverage:o.coverage,depth:{lo:1,hi:16},admittedBy:[]}}i(g,"admissionAnchor");export{g as admissionAnchor,b as admissionHistoryAt};

package/dist/fold/bootstrap-anchor.js

@@ -1,28 +1 @@
-import { join } from 'node:path';
-import { existsSync, readFileSync, readdirSync } from 'node:fs';
-import { storeOf } from "../land/ledger.js";
-/** Read the existing place-local root of trust. Names and current claims select no authority. */
-export function bootstrapAnchor(root) {
-    const store = storeOf(root);
-    const files = existsSync(store) ? readdirSync(store).filter(name => name.endsWith('.keys')).sort() : [];
-    if (!files.length)
-        return undefined;
-    const candidates = files.map(name => {
-        let keys;
-        try {
-            keys = JSON.parse(readFileSync(join(store, name), 'utf8'));
-        }
-        catch {
-            throw Error('REFUSE·act bootstrap anchor is unreadable');
-        }
-        const anchors = Object.values(keys ?? {}), anchor = anchors[0];
-        if (anchors.length !== 1 || !anchor || typeof anchor.id !== 'string' || !anchor.id || typeof anchor.publicKey !== 'string' || !anchor.publicKey || !Array.isArray(anchor.coverage) || !anchor.coverage.length || anchor.coverage.some(scope => typeof scope !== 'string' || !scope))
-            throw Error('REFUSE·act historical admission requires one bootstrap anchor');
-        return anchor;
-    });
-    const identities = new Set(candidates.map(anchor => JSON.stringify([anchor.id, anchor.publicKey, [...new Set(anchor.coverage)].sort()])));
-    if (identities.size !== 1)
-        throw Error('REFUSE·act conflicting bootstrap anchors');
-    const anchor = candidates[0];
-    return { id: anchor.id, publicKey: anchor.publicKey, coverage: anchor.coverage };
-}
+var y=Object.defineProperty;var f=(o,e)=>y(o,"name",{value:e,configurable:!0});import{viewInput as d}from"../host/reading-context.js";import{join as l}from"node:path";import{existsSync as h,readFileSync as u,readdirSync as g}from"node:fs";import{storeOf as b}from"../land/ledger.js";function F(o){const e=b(o),n=d("anchor-files:"+e,()=>h(e)?g(e).filter(t=>t.endsWith(".keys")).sort():[]);if(!n.length)return;const s=n.map(t=>{let c;try{c=JSON.parse(d("anchor:"+l(e,t),()=>u(l(e,t),"utf8")))}catch{throw Error("REFUSE\xB7act bootstrap anchor is unreadable")}const a=Object.values(c??{}),r=a[0];if(a.length!==1||!r||typeof r.id!="string"||!r.id||typeof r.publicKey!="string"||!r.publicKey||!Array.isArray(r.coverage)||!r.coverage.length||r.coverage.some(p=>typeof p!="string"||!p))throw Error("REFUSE\xB7act historical admission requires one bootstrap anchor");return r});if(new Set(s.map(t=>JSON.stringify([t.id,t.publicKey,[...new Set(t.coverage)].sort()]))).size!==1)throw Error("REFUSE\xB7act conflicting bootstrap anchors");const i=s[0];return{id:i.id,publicKey:i.publicKey,coverage:i.coverage}}f(F,"bootstrapAnchor");export{F as bootstrapAnchor};

package/dist/fold/ceilings.js

@@ -1,142 +1 @@
-import { point, region, within } from '@lapxo/obligations/field';
-import { fieldOf } from "./claims.js";
-import { wordOf, wordsOf } from "./wire.js";
-import { lockStanding } from "./keys.js";
-import { ownLock, ownStore } from "../observe/runner.js";
-import { ALPHABETS, idsOf, INTERVALS, spanOf } from '@lapxo/topos/forms';
-import { placedReadings } from "./observed.js";
-import { combine, matches } from '@lapxo/topos/wire';
-function meeting(scope) {
-    const whole = region(scope);
-    const steps = scope.split('/');
-    const cuts = steps.slice(1).map((_, i) => ({ head: region(steps.slice(0, i + 1).join('/')), tail: region(steps.slice(i + 1).join('/')) }));
-    const globbed = steps.some((step) => step.includes('*') && step !== '*' && step !== '**');
-    return (reading) => within(reading.asked, whole)
-        || cuts.some(({ head, tail }) => (within(reading.asked, head) && within(reading.where, tail))
-            || (within(reading.where, head) && within(reading.asked, tail)))
-        || (globbed && steps.slice(1).some((_, i) => matches(steps.slice(0, i + 1).join('/'), reading.question) && matches(steps.slice(i + 1).join('/'), reading.where.at.join('/'))));
-}
-export const answersElsewhere = (ceiling, own, under, places) => {
-    const measure = fieldOf(ceiling, 'measure');
-    const step = fieldOf(ceiling, 'scope').split('/')[0] ?? '';
-    const here = under?.split('/')[0];
-    return here !== undefined && step !== here && (places?.has(step) ?? false) && (own[measure] ?? (measure === 'count' ? own[fieldOf(ceiling, 'scope')] : undefined)) !== undefined;
-};
-export function foldCeilings(input) {
-    const readings = new Map();
-    for (const got of placedReadings(input.observed)) {
-        const mine = readings.get(got.measure) ?? [];
-        mine.push({ question: got.question, measure: got.measure, value: got.value, asked: point(got.question), where: point(got.place) });
-        readings.set(got.measure, mine);
-    }
-    const unreadOf = (standing) => wordsOf(standing, 'states').includes('unread') ? wordOf(standing, 'states', 'unread') : undefined;
-    const UNREAD = unreadOf(input.standing) ?? unreadOf(ownLock()) ?? unreadOf(lockStanding(ownStore()));
-    const read = [];
-    const over = [];
-    const unmet = [];
-    const lines = new Map();
-    for (const one of readings.get('line') ?? []) {
-        lines.set(`${one.question} ${one.where.at.join('/')}`, new Map(one.value.split('|').filter(Boolean).map((pair) => [pair.slice(0, pair.lastIndexOf(':')), pair.slice(pair.lastIndexOf(':') + 1)])));
-    }
-    const said = new Map();
-    const bound = (ceiling, question, met, at) => {
-        const scope = fieldOf(ceiling, 'scope');
-        const want = fieldOf(ceiling, 'value');
-        const heard = (got) => void said.set(scope, [...(said.get(scope) ?? []), question === scope ? got : `${question} ${got}`]);
-        if (fieldOf(ceiling, 'form') === 'interval') {
-            const span = spanOf(want);
-            if (!span)
-                return;
-            const lows = met.map((value) => spanOf(value)?.lo ?? 0);
-            let total;
-            try {
-                total = combine(fieldOf(ceiling, 'measure'), lows);
-            }
-            catch {
-                over.push({ ceiling: scope, question, got: `no combination for ${fieldOf(ceiling, 'measure')}, read ${lows.length} times`, side: 'over' });
-                return;
-            }
-            const at = { lo: total, hi: total };
-            heard(String(total));
-            if (!INTERVALS.leq(at, { lo: span.lo, hi: Infinity }))
-                over.push({ ceiling: scope, question, got: String(total), side: 'short' });
-            if (!INTERVALS.leq(at, { lo: -Infinity, hi: span.hi }))
-                over.push({ ceiling: scope, question, got: String(total), side: 'over' });
-            return;
-        }
-        const joined = new Set(met.flatMap((value) => [...idsOf(value).values]));
-        heard([...joined].sort().join('|') || 'none');
-        const allowed = idsOf(want);
-        if (!ALPHABETS.leq({ polarity: 'permit', values: joined }, allowed)) {
-            const outside = [...joined].filter((id) => allowed.values.has(id) === (allowed.polarity === 'forbid')).sort();
-            const line = (id) => (at === undefined || lines.get(at)?.get(id) === undefined ? id : `${id}:${lines.get(at).get(id)}`);
-            over.push({ ceiling: scope, question, got: outside.map(line).join('|'), side: 'over' });
-        }
-    };
-    const own = (measure) => (measure === UNREAD ? undefined : input.own[measure]);
-    // A coordinate projected into this place is not a narrower question merely
-    // because its host prefix adds a segment.
-    const localScope = (scope) => input.under && scope.startsWith(input.under)
-        ? scope.slice(input.under.length) : scope;
-    const literal = (scope) => localScope(scope).split('/').filter((step) => !step.includes('*')).length;
-    const last = [];
-    for (const ceiling of input.ceilings) {
-        const measure = fieldOf(ceiling, 'measure');
-        if (measure === UNREAD) {
-            last.push(ceiling);
-            continue;
-        }
-        const mine = own(measure) ?? (measure === 'count' ? input.own[fieldOf(ceiling, 'scope')] : undefined);
-        if (answersElsewhere(ceiling, input.own, input.under, input.places))
-            continue;
-        if (mine !== undefined) {
-            read.push(ceiling);
-            bound(ceiling, fieldOf(ceiling, 'scope'), [`${mine}..${mine}`]);
-            continue;
-        }
-        const byQuestion = new Map();
-        const where = new Map();
-        const meets = meeting(fieldOf(ceiling, 'scope'));
-        const alone = measure === 'per-file' || fieldOf(ceiling, 'scope').endsWith('/*') || fieldOf(ceiling, 'form') === 'alphabet';
-        const narrower = spanOf(fieldOf(ceiling, 'value')) ? input.ceilings.filter((other) => fieldOf(other, 'measure') === measure && spanOf(fieldOf(other, 'value')) && literal(fieldOf(other, 'scope')) > literal(fieldOf(ceiling, 'scope'))).map((other) => meeting(fieldOf(other, 'scope'))) : [];
-        for (const reading of readings.get(measure) ?? []) {
-            if (!meets(reading) || narrower.some((one) => one(reading)))
-                continue;
-            const question = alone ? reading.where.at.join('/') : reading.question;
-            byQuestion.set(question, [...(byQuestion.get(question) ?? []), reading.value]);
-            where.set(question, `${reading.question} ${reading.where.at.join('/')}`);
-        }
-        if (!byQuestion.size) {
-            unmet.push(ceiling);
-            continue;
-        }
-        read.push(ceiling);
-        for (const [question, met] of byQuestion)
-            bound(ceiling, question, met, where.get(question));
-    }
-    for (const ceiling of last) {
-        read.push(ceiling);
-        bound(ceiling, fieldOf(ceiling, 'scope'), [`${unmet.length}..${unmet.length}`]);
-    }
-    const epochOf = (line) => Number(fieldOf(line, 'epoch')) || 0;
-    return {
-        read,
-        over,
-        unread: unmet.filter((line) => epochOf(line) > input.epoch - 3),
-        vacuous: unmet.filter((line) => epochOf(line) <= input.epoch - 3),
-        readings: said,
-    };
-}
-function listed(misses) {
-    const by = new Map();
-    for (const o of misses)
-        by.set(o.ceiling, [...(by.get(o.ceiling) ?? []), o.question === o.ceiling ? o.got : `${o.question}=${o.got}`]);
-    return [...by].map(([scope, got]) => `${scope} · ${got.length > 4 ? `${got.slice(0, 4).join(' ')} +${got.length - 4}` : got.join(' ')}`);
-}
-/** One summary for fresh and retained judgments over the same declared bounds. */
-export function ceilingSummary(fold, total, shared = new Set()) {
-    return { read: fold.read.length, total, unread: fold.unread.map(line => fieldOf(line, 'scope')),
-        vacuous: fold.vacuous.map(line => fieldOf(line, 'scope')),
-        short: listed(fold.over.filter(one => one.side === 'short' && !shared.has(one.question))),
-        over: listed(fold.over.filter(one => one.side === 'over')) };
-}
+var V=Object.defineProperty;var f=(o,a)=>V(o,"name",{value:a,configurable:!0});import{library12_point as I,library12_region as q,library12_within as $}from"../vendor/runtime.js";import{fieldOf as n}from"./claims.js";import{wordOf as W,wordsOf as z}from"./wire.js";import{lockStanding as C}from"./keys.js";import{ownLock as D,ownStore as Q}from"../observe/runner.js";import{library4_ALPHABETS as U,library4_idsOf as x,library4_INTERVALS as L,library4_spanOf as S}from"../vendor/runtime.js";import{placedReadings as F}from"./observed.js";import{library11_combine as G,library11_matches as N}from"../vendor/runtime.js";function R(o){const a=q(o),s=o.split("/"),r=s.slice(1).map((i,u)=>({head:q(s.slice(0,u+1).join("/")),tail:q(s.slice(u+1).join("/"))})),p=s.some(i=>i.includes("*")&&i!=="*"&&i!=="**");return i=>$(i.asked,a)||r.some(({head:u,tail:h})=>$(i.asked,u)&&$(i.where,h)||$(i.where,u)&&$(i.asked,h))||p&&s.slice(1).some((u,h)=>N(s.slice(0,h+1).join("/"),i.question)&&N(s.slice(h+1).join("/"),i.where.at.join("/")))}f(R,"meeting");const J=f((o,a,s,r)=>{const p=n(o,"measure"),i=n(o,"scope").split("/")[0]??"",u=s?.split("/")[0];return u!==void 0&&i!==u&&(r?.has(i)??!1)&&(a[p]??(p==="count"?a[n(o,"scope")]:void 0))!==void 0},"answersElsewhere");function ie(o){const a=new Map;for(const e of F(o.observed)){const t=a.get(e.measure)??[];t.push({question:e.question,measure:e.measure,value:e.value,asked:I(e.question),where:I(e.place)}),a.set(e.measure,t)}const s=f(e=>z(e,"states").includes("unread")?W(e,"states","unread"):void 0,"unreadOf"),r=s(o.standing)??s(D())??s(C(Q())),p=[],i=[],u=[],h=new Map;for(const e of a.get("line")??[])h.set(`${e.question} ${e.where.at.join("/")}`,new Map(e.value.split("|").filter(Boolean).map(t=>[t.slice(0,t.lastIndexOf(":")),t.slice(t.lastIndexOf(":")+1)])));const O=new Map,_=f((e,t,w,g)=>{const m=n(e,"scope"),y=n(e,"value"),j=f(l=>{O.set(m,[...O.get(m)??[],t===m?l:`${t} ${l}`])},"heard");if(n(e,"form")==="interval"){const l=S(y);if(!l)return;const v=w.map(P=>S(P)?.lo??0);let d;try{d=G(n(e,"measure"),v)}catch{i.push({ceiling:m,question:t,got:`no combination for ${n(e,"measure")}, read ${v.length} times`,side:"over"});return}const E={lo:d,hi:d};j(String(d)),L.leq(E,{lo:l.lo,hi:1/0})||i.push({ceiling:m,question:t,got:String(d),side:"short"}),L.leq(E,{lo:-1/0,hi:l.hi})||i.push({ceiling:m,question:t,got:String(d),side:"over"});return}const b=new Set(w.flatMap(l=>[...x(l).values]));j([...b].sort().join("|")||"none");const c=x(y);if(!U.leq({polarity:"permit",values:b},c)){const l=[...b].filter(d=>c.values.has(d)===(c.polarity==="forbid")).sort(),v=f(d=>g===void 0||h.get(g)?.get(d)===void 0?d:`${d}:${h.get(g).get(d)}`,"line");i.push({ceiling:m,question:t,got:l.map(v).join("|"),side:"over"})}},"bound"),B=f(e=>e===r?void 0:o.own[e],"own"),H=f(e=>o.under&&e.startsWith(o.under)?e.slice(o.under.length):e,"localScope"),M=f(e=>H(e).split("/").filter(t=>!t.includes("*")).length,"literal"),A=[];for(const e of o.ceilings){const t=n(e,"measure");if(t===r){A.push(e);continue}const w=B(t)??(t==="count"?o.own[n(e,"scope")]:void 0);if(J(e,o.own,o.under,o.places))continue;if(w!==void 0){p.push(e),_(e,n(e,"scope"),[`${w}..${w}`]);continue}const g=new Map,m=new Map,y=R(n(e,"scope")),j=t==="per-file"||n(e,"scope").endsWith("/*")||n(e,"form")==="alphabet",b=S(n(e,"value"))?o.ceilings.filter(c=>n(c,"measure")===t&&S(n(c,"value"))&&M(n(c,"scope"))>M(n(e,"scope"))).map(c=>R(n(c,"scope"))):[];for(const c of a.get(t)??[]){if(!y(c)||b.some(v=>v(c)))continue;const l=j?c.where.at.join("/"):c.question;g.set(l,[...g.get(l)??[],c.value]),m.set(l,`${c.question} ${c.where.at.join("/")}`)}if(!g.size){u.push(e);continue}p.push(e);for(const[c,l]of g)_(e,c,l,m.get(c))}for(const e of A)p.push(e),_(e,n(e,"scope"),[`${u.length}..${u.length}`]);const k=f(e=>Number(n(e,"epoch"))||0,"epochOf");return{read:p,over:i,unread:u.filter(e=>k(e)>o.epoch-3),vacuous:u.filter(e=>k(e)<=o.epoch-3),readings:O}}f(ie,"foldCeilings");function T(o){const a=new Map;for(const s of o)a.set(s.ceiling,[...a.get(s.ceiling)??[],s.question===s.ceiling?s.got:`${s.question}=${s.got}`]);return[...a].map(([s,r])=>`${s} \xB7 ${r.length>4?`${r.slice(0,4).join(" ")} +${r.length-4}`:r.join(" ")}`)}f(T,"listed");function re(o,a,s=new Set){return{read:o.read.length,total:a,unread:o.unread.map(r=>n(r,"scope")),vacuous:o.vacuous.map(r=>n(r,"scope")),short:T(o.over.filter(r=>r.side==="short"&&!s.has(r.question))),over:T(o.over.filter(r=>r.side==="over"))}}f(re,"ceilingSummary");export{J as answersElsewhere,re as ceilingSummary,ie as foldCeilings};

package/dist/fold/claims.js

@@ -1,132 +1,2 @@
-import { basename } from "../host/io.js";
-import { contracts, exclusive, point, region } from '@lapxo/obligations/field';
-import { ENVELOPE, PROTOCOL, recordKind, signedBytes, parse } from '@lapxo/topos/wire';
-export { CAPSULE, EXTENSION, LOCK, RECEIPTS } from '@lapxo/topos/wire';
-import { ownRoot } from "../observe/runner.js";
-import { hostInstrumentName } from "../host/call-context.js";
-const decoded = new Map();
-const parsed = new Map();
-const kinds = new Map();
-/** Pure syntax is retained by the exact record bytes, never by a path, epoch or
- * claimed digest. This does not retain admission, coverage or current grants. */
-export function parsedLine(line) {
-    const held = parsed.get(line);
-    if (held !== undefined)
-        return held;
-    const got = parse(line);
-    if (got.kind === 'fact') {
-        Object.freeze(got.value.fields);
-        if (got.value.keys)
-            Object.freeze(got.value.keys);
-        Object.freeze(got.value);
-    }
-    Object.freeze(got);
-    parsed.set(line, got);
-    return got;
-}
-/** Field access uses the Topos wire parser; decoding is shared for this CLI process. */
-function wireFields(line) {
-    const held = decoded.get(line);
-    if (held !== undefined)
-        return held;
-    const got = parsedLine(line);
-    const fields = got.kind === 'fact' ? got.value.fields : {};
-    decoded.set(line, fields);
-    return fields;
-}
-export const fieldOf = (line, name) => wireFields(line)[name] ?? '';
-export const fieldsOf = (line) => ({ ...wireFields(line) });
-export function selfName() { return hostInstrumentName() ?? basename(ownRoot()); }
-export function isWire(line) { return line.startsWith(PROTOCOL); }
-export const wireLinesOf = (text) => (text ?? '').split('\n').filter(isWire);
-export const isConfig = (line) => { const held = kinds.get(line); if (held !== undefined)
-    return held; const k = recordKind(line), value = k.kind === 'fact' && k.value === 'config'; kinds.set(line, value); return value; };
-export const sayingOf = (line) => !isConfig(line) ? ((p) => p.kind === 'fact' ? signedBytes(p.value.fields) : line)(parsedLine(line)) : Object.entries(fieldsOf(line)).filter(([k]) => !ENVELOPE.has(k)).sort(([a], [b]) => (a < b ? -1 : 1)).map(([k, v]) => `${k}=${v}`).join(' ');
-/** One key per claim: scope, role and measure; what a line says, its envelope set aside, is one however often it landed. */
-export function claimKey(line) {
-    const f = fieldsOf(line);
-    return `${f['scope'] ?? ''} ${f['role'] ?? ''} ${f['measure'] ?? ''}`;
-}
-function contentOf(fields, at = true) {
-    return Object.keys(fields)
-        .filter((k) => !ENVELOPE.has(k) && k !== 'value' && (at || k !== 'at'))
-        .sort()
-        .map((k) => `${k}=${fields[k]}`)
-        .join(' ');
-}
-function regionsOf(line) {
-    return (fieldsOf(line)['needs'] ?? '').split('|').filter(Boolean).map((need) => region(need));
-}
-function contracted(line, sides, receipts) {
-    const scope = fieldsOf(line)['scope'] ?? '';
-    const named = regionsOf(line);
-    // File receipts can discharge only declared file regions. No region is not an empty proof.
-    if (named.length === 0)
-        return false;
-    const mine = exclusive(named, sides.filter((other) => other !== line).map(regionsOf));
-    const touched = receipts.filter((r) => r.scope === scope).flatMap((r) => r.moved.map((coordinate) => point(coordinate)));
-    return contracts(mine, touched);
-}
-function retracts(withdraw, line) {
-    return Object.keys(withdraw)
-        .filter((k) => !ENVELOPE.has(k) && k !== 'value')
-        .every((k) => line[k] === withdraw[k]);
-}
-export function foldClaims(lines, receipts, _placed = false) {
-    const groups = new Map();
-    for (const line of lines.filter(isConfig)) {
-        const key = claimKey(line);
-        const group = groups.get(key) ?? [];
-        if (!group.includes(line))
-            group.push(line);
-        groups.set(key, group);
-    }
-    const standing = [...new Set(lines.filter(line => !isConfig(line)))];
-    const retracted = [];
-    const spent = [];
-    const vacuous = [];
-    const forks = [];
-    for (const [key, group] of groups) {
-        const parsed = group.map((line) => ({ line, fields: fieldsOf(line) }));
-        const withdraws = parsed.filter((p) => p.fields['value'] === 'withdraw');
-        const claims = parsed.filter((p) => p.fields['value'] !== 'withdraw');
-        const stands = new Set(claims.flatMap((p, i) => withdraws.some(w => retracts(w.fields, p.fields)) ? [] : [String(i)]));
-        retracted.push(...claims.filter((_, i) => !stands.has(String(i))).map((p) => p.line));
-        const kept = claims.filter((_, i) => stands.has(String(i)));
-        if (!kept.length) {
-            const lastByContent = new Map();
-            for (const w of withdraws)
-                lastByContent.set(contentOf(w.fields), w.line);
-            const shownWithdraws = [...lastByContent.values()];
-            standing.push(...shownWithdraws);
-            spent.push(...withdraws.map((w) => w.line).filter((line) => !shownWithdraws.includes(line)));
-            continue;
-        }
-        spent.push(...withdraws.map((w) => w.line));
-        const epochOf = (p) => Number(p.fields['epoch']) || 0;
-        const latestOf = new Map();
-        const who = (p) => `${p.fields['by'] ?? ''} ${contentOf(p.fields)}`;
-        for (const p of kept)
-            latestOf.set(who(p), Math.max(latestOf.get(who(p)) ?? 0, epochOf(p)));
-        const revised = kept.filter((p) => epochOf(p) < (latestOf.get(who(p)) ?? 0));
-        spent.push(...revised.map((p) => p.line));
-        // Epoch revisions are host history. Distinct origins remain separate inscriptions.
-        const values = kept.filter(p => !revised.includes(p));
-        const bySigner = new Map();
-        for (const p of values) {
-            const by = p.fields['by'] ?? '';
-            const identity = who(p);
-            const sayings = bySigner.get(identity) ?? new Set();
-            sayings.add(sayingOf(p.line));
-            bySigner.set(identity, sayings);
-            if (sayings.size > 1)
-                throw Error(`REFUSE·document ${key} · ${by} has two live inscriptions without withdrawal`);
-        }
-        const shown = [...new Set(values.map(p => p.line))];
-        const resting = receipts && shown.length > 1 ? shown.filter((line) => !contracted(line, shown, receipts)) : shown;
-        vacuous.push(...shown.filter((line) => !resting.includes(line)));
-        standing.push(...resting);
-    }
-    const accounted = new Set([...standing, ...retracted, ...spent, ...vacuous]);
-    return { standing, superseded: [...new Set([...spent, ...lines.filter((l) => !accounted.has(l))])], retracted, forks, vacuous };
-}
+var W=Object.defineProperty;var r=(e,s)=>W(e,"name",{value:s,configurable:!0});import{basename as F}from"../host/io.js";import{library12_contracts as U,library12_exclusive as V,library12_point as A,library12_region as X}from"../vendor/runtime.js";import{library11_ENVELOPE as S,library11_PROTOCOL as q,library11_recordKind as D,library11_signedBytes as G,library11_parse as H}from"../vendor/runtime.js";import{CAPSULE as he,EXTENSION as ge,LOCK as we,RECEIPTS as ye}from"../vendor/library11.js";import{ownRoot as J}from"../observe/runner.js";import{hostInstrumentName as Q}from"../host/call-context.js";const N=new Map,P=new Map,z=new Map;function R(e){const s=P.get(e);if(s!==void 0)return s;const n=H(e);return n.kind==="fact"&&(Object.freeze(n.value.fields),n.value.keys&&Object.freeze(n.value.keys),Object.freeze(n.value)),Object.freeze(n),P.set(e,n),n}r(R,"parsedLine");function B(e){const s=N.get(e);if(s!==void 0)return s;const n=R(e),o=n.kind==="fact"?n.value.fields:{};return N.set(e,o),o}r(B,"wireFields");const fe=r((e,s)=>B(e)[s]??"","fieldOf"),h=r(e=>({...B(e)}),"fieldsOf");function le(){return Q()??F(J())}r(le,"selfName");function Y(e){return e.startsWith(q)}r(Y,"isWire");const ue=r(e=>(e??"").split(`
+`).filter(Y),"wireLinesOf"),_=r(e=>{const s=z.get(e);if(s!==void 0)return s;const n=D(e),o=n.kind==="fact"&&n.value==="config";return z.set(e,o),o},"isConfig"),Z=r(e=>_(e)?Object.entries(h(e)).filter(([s])=>!S.has(s)).sort(([s],[n])=>s<n?-1:1).map(([s,n])=>`${s}=${n}`).join(" "):(s=>s.kind==="fact"?G(s.value.fields):e)(R(e)),"sayingOf");function ee(e){const s=h(e);return`${s.scope??""} ${s.role??""} ${s.measure??""}`}r(ee,"claimKey");function K(e,s=!0){return Object.keys(e).filter(n=>!S.has(n)&&n!=="value"&&(s||n!=="at")).sort().map(n=>`${n}=${e[n]}`).join(" ")}r(K,"contentOf");function T(e){return(h(e).needs??"").split("|").filter(Boolean).map(s=>X(s))}r(T,"regionsOf");function te(e,s,n){const o=h(e).scope??"",l=T(e);if(l.length===0)return!1;const p=V(l,s.filter(a=>a!==e).map(T)),u=n.filter(a=>a.scope===o).flatMap(a=>a.moved.map(b=>A(b)));return U(p,u)}r(te,"contracted");function se(e,s){return Object.keys(e).filter(n=>!S.has(n)&&n!=="value").every(n=>s[n]===e[n])}r(se,"retracts");function de(e,s,n=!1){const o=new Map;for(const f of e.filter(_)){const g=ee(f),d=o.get(g)??[];d.includes(f)||d.push(f),o.set(g,d)}const l=[...new Set(e.filter(f=>!_(f)))],p=[],u=[],a=[],b=[];for(const[f,g]of o){const d=g.map(t=>({line:t,fields:h(t)})),w=d.filter(t=>t.fields.value==="withdraw"),v=d.filter(t=>t.fields.value!=="withdraw"),$=new Set(v.flatMap((t,c)=>w.some(i=>se(i.fields,t.fields))?[]:[String(c)]));p.push(...v.filter((t,c)=>!$.has(String(c))).map(t=>t.line));const y=v.filter((t,c)=>$.has(String(c)));if(!y.length){const t=new Map;for(const i of w)t.set(K(i.fields),i.line);const c=[...t.values()];l.push(...c),u.push(...w.map(i=>i.line).filter(i=>!c.includes(i)));continue}u.push(...w.map(t=>t.line));const M=r(t=>Number(t.fields.epoch)||0,"epochOf"),x=new Map,O=r(t=>`${t.fields.by??""} ${K(t.fields)}`,"who");for(const t of y)x.set(O(t),Math.max(x.get(O(t))??0,M(t)));const j=y.filter(t=>M(t)<(x.get(O(t))??0));u.push(...j.map(t=>t.line));const k=y.filter(t=>!j.includes(t)),C=new Map;for(const t of k){const c=t.fields.by??"",i=O(t),E=C.get(i)??new Set;if(E.add(Z(t.line)),C.set(i,E),E.size>1)throw Error(`REFUSE\xB7document ${f} \xB7 ${c} has two live inscriptions without withdrawal`)}const m=[...new Set(k.map(t=>t.line))],L=s&&m.length>1?m.filter(t=>!te(t,m,s)):m;a.push(...m.filter(t=>!L.includes(t))),l.push(...L)}const I=new Set([...l,...p,...u,...a]);return{standing:l,superseded:[...new Set([...u,...e.filter(f=>!I.has(f))])],retracted:p,forks:b,vacuous:a}}r(de,"foldClaims");export{he as CAPSULE,ge as EXTENSION,we as LOCK,ye as RECEIPTS,ee as claimKey,fe as fieldOf,h as fieldsOf,de as foldClaims,_ as isConfig,Y as isWire,R as parsedLine,Z as sayingOf,le as selfName,ue as wireLinesOf};