@lapxo/bound 0.1.9 → 0.2.1

package/vectors/wasm-object.cli.json

@@ -0,0 +1,407 @@
+{
+  "scope": "optional-wasm-adapter/conformance",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "TARGET.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/water-level",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/water-level/TARGET.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"B\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"C\",\"state\":\"FORBIDDEN\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"G\",\"state\":\"CONFLICT\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"D\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "FACT\\s+object fold 4 cells",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "esm.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/water-level",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/water-level/esm.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"B\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"C\",\"state\":\"FORBIDDEN\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"G\",\"state\":\"CONFLICT\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"D\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "FACT\\s+object fold 4 cells",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "no-missing-limit.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/water-level",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/water-level/no-missing-limit.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 1,
+      "matches": [
+        {
+          "stream": "stderr",
+          "pattern": "^[^\\s:]+: REFUSE\u00b7wasm object missing or ambiguous stack limit",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "no-memory.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/water-level",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/water-level/no-memory.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 1,
+      "matches": [
+        {
+          "stream": "stderr",
+          "pattern": "^[^\\s:]+: REFUSE\u00b7wasm initialized memory [0-9]+ exceeds declared memory 1",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "no-deadline.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/water-level",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/water-level/no-deadline.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 1,
+      "matches": [
+        {
+          "stream": "stderr",
+          "pattern": "^[^\\s:]+: REFUSE\u00b7wasm worker lifetime",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "TARGET.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/editorial-notes",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/editorial-notes/TARGET.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"B\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"C\",\"state\":\"FORBIDDEN\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"G\",\"state\":\"CONFLICT\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"D\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "FACT\\s+object fold 4 cells",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "esm.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/editorial-notes",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/editorial-notes/esm.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"B\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"C\",\"state\":\"FORBIDDEN\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"G\",\"state\":\"CONFLICT\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "^CELL \\{\"cell\":\"D\",\"state\":\"REQUIRED\"",
+          "flags": "m"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "FACT\\s+object fold 4 cells",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "no-missing-limit.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/editorial-notes",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/editorial-notes/no-missing-limit.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 1,
+      "matches": [
+        {
+          "stream": "stderr",
+          "pattern": "^[^\\s:]+: REFUSE\u00b7wasm object missing or ambiguous stack limit",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "no-memory.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/editorial-notes",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/editorial-notes/no-memory.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 1,
+      "matches": [
+        {
+          "stream": "stderr",
+          "pattern": "^[^\\s:]+: REFUSE\u00b7wasm initialized memory [0-9]+ exceeds declared memory 1",
+          "flags": "m"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "fold",
+        "no-deadline.bound",
+        "--as",
+        "object"
+      ],
+      "cwd": "samples/wasm/editorial-notes",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/editorial-notes/no-deadline.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 1,
+      "matches": [
+        {
+          "stream": "stderr",
+          "pattern": "^[^\\s:]+: REFUSE\u00b7wasm worker lifetime",
+          "flags": "m"
+        }
+      ]
+    }
+  ],
+  "preparation": {
+    "vector": "vectors/native/authenticated-reference-formation.vector.json",
+    "phase": "before timed independent readings",
+    "places": [
+      "samples/wasm/water-level",
+      "samples/wasm/editorial-notes"
+    ],
+    "operation": "keyless native land of existing signed TARGET; original two land cases retained there with unchanged budgets"
+  }
+}

package/dist/cli/accept.d.ts

@@ -1,28 +0,0 @@
-export type Batch = {
-    readonly kind: 'signed';
-    readonly signed: readonly string[];
-    readonly records?: readonly string[];
-    readonly epoch: number;
-    readonly base: {
-        readonly digest: string;
-        readonly places: readonly string[];
-    };
-    readonly keyId?: string;
-} | {
-    readonly kind: 'once';
-    readonly proposed: readonly string[];
-} | {
-    readonly kind: 'exit';
-    readonly code: number;
-};
-/** A batch signed as accept signs it: at the next epoch, by the key it names, each line read by the wire it would land under. */
-export declare function signedBatch(root: string, args: readonly string[], files: readonly string[]): Promise<Batch>;
-/**
- * accept is one act under the descent of its lines. Every place, then the root where they join, only when those lines
- * rest on every place; a line in one place's own lock is that place. It signs the batch at the epoch the lock
- * stands at, folds it, judges every take of it, and lands only when all of it holds. A batch refused lands nothing.
- * What a batch would move is read before it with `--as rank <batch>`. A cycle's lanes each sign
- * their batch with `bound sign` at the epoch the act lands at, and one land takes them all, each line in its signer's
- * ledger once it verifies against that signer: one signer never forks itself, and one act never forks itself.
- */
-export declare function accept(root: string, args: readonly string[]): Promise<number>;

package/dist/cli/act-result.d.ts

@@ -1,12 +0,0 @@
-import { type ActResult } from '@lapxo/topos/wire';
-import { type LocalActBundle } from '../host/ports/local-act.ts';
-/** Public query of a committed identity, using the same admission authority.
- * Native fold evidence has store provenance; it never grants coverage. */
-export declare function verifiedLegacyActResult(root: string, identity: string): {
-    result: ActResult;
-    bundle: LocalActBundle;
-    records: readonly string[];
-    epoch: number;
-    history: readonly string[];
-};
-export declare function printActResult(root: string, identity: string | undefined): void;

package/dist/cli/args.d.ts

@@ -1,11 +0,0 @@
-import { VALUED } from './names.ts';
-export { VALUED };
-/** What the loop runs that is not source: its entry, the packages it imports and the readers it loads, read by where they lie. */
-export declare function entryOf(root: string): string;
-export declare function valueOf(args: readonly string[], flag: string): string | undefined;
-export declare const valuesOf: (args: readonly string[], flag: string) => readonly string[];
-export declare const namedPlaces: (args: readonly string[]) => readonly string[];
-export declare function positionalIndexes(args: readonly string[]): number[];
-export declare function positionalsOf(args: readonly string[]): string[];
-export declare const placesOfFile: (file: string) => readonly string[];
-export declare function claimLinesIn(file: string): string[];

package/dist/cli/custodian.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/cli/host.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/cli/names.d.ts

@@ -1,25 +0,0 @@
-/** The verbs bound answers by name: fold reads, land writes signed lines, sign is a key's act. A directory with no verb is a fold of that place. */
-export declare const VERB_NAMES: readonly ["fold", "land", "sign"];
-export type VerbName = (typeof VERB_NAMES)[number];
-/** Every flag the CLI reads, spelled once; a valued flag takes the argument after it. */
-export declare const FLAGS: {
-    readonly as: "--as";
-    readonly check: "--check";
-    readonly key: "--key";
-    readonly keyFile: "--key-file";
-    readonly signer: "--signer";
-    readonly place: "--place";
-};
-export declare const VALUED: readonly string[];
-/** Views the CLI renders from these names, never from a handwritten usage string. */
-export declare const NAMED_VIEWS: {
-    readonly help: "help";
-    readonly lines: "lines";
-    readonly because: "because";
-};
-export declare const EXIT: {
-    readonly closed: 0;
-    readonly refuse: 1;
-    readonly usage: 2;
-};
-export declare const helpLines: () => readonly string[];

package/dist/cli/native-descendant.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/cli/native.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/cli/observe.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/cli/owner.d.ts

@@ -1,37 +0,0 @@
-import { renderTarget } from '../render/target.ts';
-export declare const ownerOf: (store: string, told?: readonly string[]) => string;
-/** The signed lines standing in the lock: the owner's, and those of every key it admits to authorize, each in its own ledger. */
-export declare function signedOwnerLines(store: string): string[];
-export declare function standingDemands(store: string): string[];
-/**
- * A demand is history when it asks about a place that is gone: one the tree once held and holds no more. It paid, or
- * did not, in its own time; whoever wants it again signs it against the region as it is. A place never held is not
- * gone — it is still to be made, and its demand stays live.
- */
-export declare function historyOf(root: string, store: string, demands: readonly string[]): {
-    readonly live: string[];
-    readonly history: string[];
-};
-export declare function signedDemands(store: string, root?: string): string[];
-export declare function forkedScopes(store: string): Set<string>;
-/** Import receipts are local acts; foreign evidence and sender epochs never enter this input. */
-export declare function localActLines(root: string, placed?: readonly string[]): readonly string[];
-export declare function epochOf(lines: readonly string[]): number;
-export declare function targetFile(root: string): string;
-export declare function renderInto(root: string, store: string): {
-    readonly standing: number;
-    readonly superseded: readonly string[];
-    readonly forks: readonly {
-        readonly key: string;
-    }[];
-    readonly grey: readonly string[];
-    readonly refused: readonly string[];
-    readonly vacuous: readonly string[];
-};
-export declare function renderedLock(root: string, store: string, told?: readonly string[]): ReturnType<typeof renderTarget>;
-export declare function forksJoinedBy(store: string, signed: readonly string[]): readonly {
-    readonly key: string;
-    readonly lines: readonly string[];
-}[];
-export declare function forksItself(lines: readonly string[]): boolean;
-export declare function sideOf(line: string, landed: readonly string[]): string;

package/dist/cli/pass.d.ts

@@ -1,6 +0,0 @@
-export declare function pass(root: string, entry: string, under: string | undefined, check: boolean): Promise<number>;
-export type Journal = Map<string, {
-    readonly held: Uint8Array | undefined;
-    readonly made: string | undefined;
-}>;
-export declare function landSaid(store: string, folder: string | undefined, lines: readonly string[]): void;

package/dist/cli/place.d.ts

@@ -1,74 +0,0 @@
-import type { ReleasePolicyResult } from '../fold/release-policy.ts';
-import type { Fork } from '../fold/claims.ts';
-import type { Packed } from '../fold/region.ts';
-import type { OpenCell } from '../render/open.ts';
-import type { SecondHead } from '../fold/second.ts';
-import { renderTarget } from '../render/target.ts';
-/**
- * Everything the fold knows about one place of the tree, or about the whole tree: what every region is rendered from,
- * whether it was read back from a key already answered rather than taken again, and the middle of the last ten folds
- * of this place, those that had to fold apart from those that read. A region whose points are ledger lines that move
- * at every beat is judged when it is read and never kept: a kept fold answers for the regions whose digest is in its
- * key and for no others.
- */
-export interface PlaceFold {
-    readonly release?: ReleasePolicyResult;
-    readonly root: string;
-    readonly store: string;
-    readonly under?: string;
-    readonly epoch: number;
-    readonly standing: readonly string[];
-    readonly claims: number;
-    readonly forks: readonly Fork[];
-    readonly grey: readonly string[];
-    readonly refused: readonly string[];
-    readonly vacuous: number;
-    readonly demands: readonly string[];
-    readonly paid: readonly string[];
-    readonly missing: readonly string[];
-    readonly history: readonly string[];
-    readonly observed: readonly string[];
-    readonly ceilings: {
-        readonly read: number;
-        readonly total: number;
-        readonly unread: readonly string[];
-        readonly vacuous: readonly string[];
-        readonly short: readonly string[];
-        readonly over: readonly string[];
-    };
-    readonly orphans: readonly string[];
-    readonly lock: number;
-    readonly signed: ReadonlyMap<string, number>;
-    readonly second: SecondHead;
-    readonly effects: string;
-    readonly costs: readonly number[];
-    readonly landed: number;
-    readonly kept?: boolean;
-    readonly key: string;
-    readonly instrument: string;
-    readonly own: Readonly<Record<string, number>>;
-    readonly open: readonly OpenCell[];
-    readonly beats: {
-        readonly kept: number;
-        readonly folded: number;
-    };
-    readonly regions?: Packed;
-}
-export declare function standingOf(root: string, under?: string, told?: readonly string[]): {
-    readonly standing: readonly string[];
-    readonly lock: readonly string[];
-    readonly rendered: ReturnType<typeof renderTarget>;
-    readonly owned: readonly string[];
-};
-export declare function coneOf(root: string, entry: string, ceilings: readonly string[], descent?: readonly string[]): {
-    readonly standing: readonly string[];
-    readonly observed: readonly string[];
-    readonly own: Readonly<Record<string, number>>;
-    readonly kept: boolean;
-};
-export declare const ownCeilings: (under?: string) => readonly string[];
-export declare function foldPlace(root: string, entry: string, under?: string, look?: boolean, given?: {
-    readonly standing: ReturnType<typeof standingOf>;
-    readonly observed?: readonly string[];
-    readonly free?: boolean;
-}): PlaceFold;

package/dist/cli/release-result.d.ts

@@ -1,5 +0,0 @@
-/** Judge an external signed approval without landing it, fetching its source,
- * executing a provider, or changing the release-policy verdict of the place.
- * The anchor is the place's key, never a key offered by the approval. */
-export declare function releaseApproval(lock: readonly string[], lines: readonly string[]): string;
-export declare function printReleaseApproval(root: string, file: string): void;

package/dist/cli/standing-result.d.ts

@@ -1,5 +0,0 @@
-/** An evidence projection, never a new authority lock. Authentication uses
- * the admission snapshot at each local epoch; the existing fold applies
- * supersessions and withdrawals across all declared classes. Storage layout
- * and delivery mode do not enter this public boundary. */
-export declare function printStandingResult(root: string): void;

package/dist/cli/takes.d.ts

@@ -1,30 +0,0 @@
-import { judgeTake } from '../judge/take.ts';
-import type { Gate } from '../judge/take.ts';
-export type Judged = {
-    readonly kind: 'refused';
-    readonly scope: string;
-    readonly why: string;
-} | {
-    readonly kind: 'owed';
-    readonly scope: string;
-    readonly why: string;
-} | {
-    readonly kind: 'conditioned';
-    readonly scope: string;
-    readonly demand: string;
-    readonly receipt: string;
-    readonly condition: string;
-} | {
-    readonly kind: 'judged';
-    readonly scope: string;
-    readonly demand: string;
-    readonly locations: readonly string[];
-    readonly before: ReadonlyMap<string, string>;
-    readonly after: ReadonlyMap<string, string>;
-    readonly verdict: ReturnType<typeof judgeTake>;
-    readonly ignored: ReadonlyMap<string, number>;
-    readonly started: number;
-};
-export declare function judgeDemand(root: string, demand: string): Judged;
-/** A take its batch let land: its receipt sealed with the gates the batch passed, its cone vouched, its fact landed. */
-export declare function landTake(root: string, one: Judged, gates: readonly Gate[]): void;

package/dist/fold/admission-history.d.ts

@@ -1,6 +0,0 @@
-import type { Signer } from '@lapxo/topos/wire';
-/** Local admission history only. Foreign ingress is evidence, never coverage.
- * The clock cutoff is meaningful for configuration; object clocks stay intact. */
-export declare function admissionHistoryAt(root: string, epoch: number): readonly string[];
-/** The existing bootstrap's public root of trust, not today's key selection. */
-export declare function admissionAnchor(root: string): Signer;