snapback2 0.0.1

package/dist/index.d.ts

@@ -0,0 +1,362 @@
+declare module "snapback2" {
+  export type Json = null | boolean | number | string | Json[] | { [key: string]: Json };
+  /** Server-minted authority subject; deliberately distinct from application row IDs. */
+  export type Principal = string & { readonly __snapbackPrincipal: "Principal" };
+  export type Cursor = string & { readonly __snapbackCursor: "Cursor" };
+  export type Bytes = { readonly Bytes: string };
+  // @ref LLP 1006#1-the-move — the phantom kind keeps the two closed asset records nominal without adding JSON bytes.
+  export type ImageAsset = { readonly __asset: "image"; readonly id: string; readonly width: number; readonly height: number };
+  export type VideoAsset = { readonly __asset: "video"; readonly id: string; readonly width: number; readonly height: number; readonly duration: number };
+  export type SeedValue = null | boolean | number | string | Bytes | SeedValue[] | { [key: string]: SeedValue };
+  export type Decimal<S extends number> = number & {
+    readonly __decimalScale: S;
+    readonly __decimalBrand: unique symbol;
+  };
+  export type Money<C extends string, S extends number = 2> = Decimal<S> & {
+    readonly __moneyCurrency: C;
+    readonly __moneyBrand: unique symbol;
+  };
+  export type Column<T = unknown, Optional extends boolean = false> = {
+    readonly __value: T;
+    readonly __optional: Optional;
+    readonly __column: unique symbol;
+  };
+  export type Arg<T = unknown, Optional extends boolean = false> = Column<T, Optional>;
+  export type RowOfColumns<C extends Record<string, Column<any, any>>> =
+    { id: string }
+    & { [K in keyof C as C[K] extends Column<any, true> ? never : K]: C[K] extends Column<infer T, any> ? T : never }
+    & { [K in keyof C as C[K] extends Column<any, true> ? K : never]?: C[K] extends Column<infer T, any> ? T : never };
+  export type Table<Row extends Record<string, any> = Record<string, any>> = {
+    readonly __row: Row;
+    readonly __table: unique symbol;
+  } & { readonly [index: string]: TableIndex<Row> };
+  export type TableIndex<Row extends Record<string, any> = Record<string, any>> = {
+    readonly __row: Row;
+    readonly __index: unique symbol;
+  };
+  export type Rule = { readonly __rule: unique symbol };
+  export type RuleTerm = { readonly __term: unique symbol };
+  export type Channel<A = unknown> = { readonly __args: A; readonly __channel: unique symbol };
+  export type Operation<Args, Result, Kind extends "query" | "mutation"> = {
+    readonly __args: Args;
+    readonly __result: Result;
+    readonly __kind: Kind;
+  };
+  export type Effect<Payload = Json, Result = Json> = {
+    readonly __payload: Payload;
+    readonly __result: Result;
+    readonly __effect: unique symbol;
+  };
+
+  export type ArgsOf<A extends Record<string, Arg<any, any>>> =
+    { [K in keyof A as A[K] extends Arg<any, true> ? never : K]: A[K] extends Arg<infer T, any> ? T : never }
+    & { [K in keyof A as A[K] extends Arg<any, true> ? K : never]?: A[K] extends Arg<infer T, any> ? T : never };
+  export type Page<T> = Array<T>;
+  export type IndexableScalar = string | number | boolean | null | Bytes | Json;
+  export type WriteValue<T> = T extends Principal ? Principal : T extends Decimal<any> ? number : T extends string ? string : T extends Array<infer U> ? WriteValue<U>[] : T;
+  export type WriteRow<R extends Record<string, any>> = {
+    [K in keyof R]: WriteValue<R[K]> | (undefined extends R[K] ? null : never)
+  };
+  // @ref LLP 1001#1-store-storers — an update patch cannot rewrite the implicit storage identity.
+  export type WritePatch<R extends Record<string, any>> =
+    { [K in Exclude<keyof R, "id">]?: WriteValue<R[K]> | (undefined extends R[K] ? null : never) } & { readonly id?: never };
+  export type Db = {
+    get<R extends Record<string, any>>(target: Table<R> | TableIndex<R>, key: unknown): R | null;
+    exists(target: Table<any> | TableIndex<any>, key: unknown): boolean;
+    scan<R extends Record<string, any>>(target: Table<R> | TableIndex<R>, prefix: unknown, options?: {
+      order?: "asc" | "desc";
+      take?: number;
+      /** Full post-prefix ordering tuple; scalar sugar needs one remaining column, the prefix may not name every column, and the index ends in id or is unique. Components are indexable scalars matching their column kinds; null is a universal pre-first sentinel. */
+      after?: readonly unknown[] | IndexableScalar;
+      /** Full post-prefix ordering tuple; scalar sugar needs one remaining column, the prefix may not name every column, and the index ends in id or is unique. Components are indexable scalars matching their column kinds; null is a universal pre-first sentinel. */
+      before?: readonly unknown[] | IndexableScalar;
+      range?: { gt?: unknown; gte?: unknown; lt?: unknown; lte?: unknown };
+      /** Internal Quarry lowering tag; not an authored TypeScript surface. */
+      mergeSite?: string;
+      /** Internal Quarry lowering tag; not an authored TypeScript surface. */
+      opaqueCursor?: boolean;
+    }): Page<R>;
+    insert<R extends Record<string, any>>(target: Table<R>, row: WriteRow<R>): R;
+    update<R extends Record<string, any>>(target: Table<R>, key: unknown, patch: WritePatch<R> | ((row: R) => WritePatch<R>)): void;
+    upsert<R extends Record<string, any>>(target: Table<R>, key: unknown, row: WriteRow<R> | ((row: R | null) => WriteRow<R>)): void;
+    delete(target: Table<any>, key: unknown): void;
+    require(condition: unknown, code?: string): void;
+    assert(condition: unknown): void;
+  };
+  export type Context<A extends Record<string, any> = Record<string, any>> = {
+    db: Db;
+    ctx: { viewer: Principal; now(): number; newId(): string; readonly readTime: number; readonly commitTime: number; [name: string]: any };
+    args: A;
+  };
+
+  export function schema<const S extends Record<string, unknown>>(value: S): { readonly __schema: S };
+  export function table<const C extends Record<string, Column<any, any>>>(value: {
+    columns: C;
+    /** Client treatment of rows hidden by a fresh authorized answer; Quarry supplies the default. */
+    retain?: "until-revoked" | "delivered-history";
+    indexes?: Record<string, { columns: ReadonlyArray<keyof C | "id">; unique?: boolean }>;
+    rules?: Partial<Record<"read" | "insert" | "update" | "delete", Rule>>;
+    constraints?: ReadonlyArray<unknown>;
+  }): Table<RowOfColumns<C>>;
+  export const t: {
+    cursor(): Arg<Cursor>;
+    id(): Column<string>;
+    principal(): Column<Principal>;
+    text(max: number): Column<string>;
+    bytes(max: number): Column<Bytes>;
+    image(max: number): Column<ImageAsset>;
+    video(max: number): Column<VideoAsset>;
+    int(): Column<number>;
+    bool(): Column<boolean>;
+    time(): Column<number>;
+    enum<const V extends readonly [string, ...string[]]>(variants: V): Column<V[number]>;
+    /** `t.decimal(scale)` declares a Decimal column; numeric literals assigned to it are whole units and are scaled by 10^scale. */
+    decimal<const S extends number>(scale: S): Column<Decimal<S>>;
+    /** `t.money(currency, scale)` declares a Money column; numeric literals assigned to it are whole units and are scaled by 10^scale. */
+    money<const C extends string>(currency: C): Column<Money<C, 2>>;
+    money<const C extends string, const S extends number>(currency: C, scale: S): Column<Money<C, S>>;
+    ref<R extends Record<string, any>>(target: Table<R>): Column<string>;
+    json<T extends Json = Json>(maxBytes: number): Column<T>;
+    optional<T>(value: Column<T, any>): Column<T, true>;
+    list<T>(value: Column<T, any>, options: { max: number }): Column<T[]>;
+  };
+  export const rule: {
+    public(reason: string): Rule;
+    allow(): Rule;
+    deny(): Rule;
+    eq(a: RuleTerm, b: RuleTerm): Rule;
+    ne(a: RuleTerm, b: RuleTerm): Rule;
+    and(...rules: Rule[]): Rule;
+    or(...rules: Rule[]): Rule;
+    not(value: Rule): Rule;
+    exists(table: Table<any>, index: string, key: RuleTerm[]): Rule;
+    created(table: Table<any>, index: string, key: RuleTerm[]): Rule;
+    system(): Rule;
+    viewerIs(field: string): Rule;
+    field(name: string): RuleTerm;
+    oldField(name: string): RuleTerm;
+    nextField(name: string): RuleTerm;
+    readonly viewer: RuleTerm;
+    literal(value: Json): RuleTerm;
+  };
+  export function channel<A extends Record<string, Arg<any, any>>>(value: {
+    args: A;
+    publish: Rule;
+    subscribe: Rule;
+    ttlMs: number;
+  }): Channel<ArgsOf<A>>;
+  export function query<A extends Record<string, Arg<any, any>>, R>(
+    args: A,
+    handler: (context: Context<ArgsOf<A>>) => R,
+  ): Operation<ArgsOf<A>, R, "query">;
+  export function mutation<A extends Record<string, Arg<any, any>>, R>(
+    args: A,
+    handler: (context: Context<ArgsOf<A>>) => R,
+  ): Operation<ArgsOf<A>, R, "mutation">;
+  export function effect<P extends Json, R extends Json>(value: {
+    grants: string[];
+    run: (payload: P, tools: { fetch: typeof fetch; meta: { id: string } }) => R | Promise<R>;
+    then?: Operation<{ outboxId: string; effect: string; result: Awaited<R> }, unknown, "mutation">;
+  }): Effect<P, Awaited<R>>;
+  export function emit<P extends Json>(target: Effect<P, any>, payload: P): void;
+  export function seed<const S extends { personas: string[]; rows: Record<string, SeedValue[]> }>(value: S): S;
+
+  export function range(start: number, end: number): number[];
+  /** `decimal(value, scale)` converts a value in whole units to the exact integer minor-unit wire value; for example, `decimal(2, 2)` is 200. */
+  export function decimal<const S extends number>(value: number, scale: S): Decimal<S>;
+  export function mentionTokens(value: string): string[];
+  /** Euclidean deterministic share: recipients are ordered by the runtime value order; empty, duplicate, or missing recipients refuse. */
+  export function deterministicShare<A extends number>(amount: A, recipients: unknown[], recipient: unknown): A extends Decimal<any> ? A : number;
+  export function concat(first: unknown, second: unknown, ...values: unknown[]): string;
+  export function max<const S extends number>(first: Decimal<S>, second: Decimal<S>, ...values: Decimal<S>[]): Decimal<S>;
+  export function max(first: number, second: number, ...values: number[]): number;
+  export function min<const S extends number>(first: Decimal<S>, second: Decimal<S>, ...values: Decimal<S>[]): Decimal<S>;
+  export function min(first: number, second: number, ...values: number[]): number;
+  /** Euclidean quotient and remainder; a zero divisor refuses with `E_DIV_ZERO`. */
+  export function divmod<A extends number>(value: A, divisor: number): { quotient: A extends Decimal<any> ? A : number; remainder: A extends Decimal<any> ? A : number };
+  /** Internal Quarry lowering helper for a bounded multi-prefix merge. */
+  export function mergeByIndex<T>(values: T[], fields: string[], order: "asc" | "desc", take: number, site: string, table: string): Page<T>;
+  export function recurse<T>(seed: unknown, step: (value: any) => T | null, options: { depth: number; fanout: number }): T[];
+
+/** Exact pooled-row reference spelling. Application objects with `$row` are escaped on the wire. */
+export type WireRowReference = {
+    $row: {
+        table: string;
+        id: string;
+    };
+};
+export type WireEscapedObject = {
+    $row: {
+        $value: Record<string, WireValue>;
+    };
+};
+export type WireValue = null | boolean | number | string | WireValue[] | {
+    [key: string]: WireValue;
+} | WireRowReference | WireEscapedObject;
+export interface DeliveryRow {
+    table: string;
+    id: string;
+    row: Record<string, WireValue>;
+}
+export interface DeliveryRange {
+    site: string;
+    table: string;
+    index: string;
+    prefix: WireValue[];
+    order: "Asc" | "Desc";
+    take: number;
+    after: WireValue | null;
+    before: WireValue | null;
+    gt: WireValue | null;
+    gte: WireValue | null;
+    lt: WireValue | null;
+    lte: WireValue | null;
+    ruleHash: string;
+    rowIds: string[];
+    stop: "Limit" | "Exhausted";
+    absence: boolean;
+    haloId?: string;
+}
+export interface DeliveryVerdict {
+    ruleHash: string;
+    /**
+     * The verdict's pinned inputs, digested as a wire fact:
+     * `sha256(canonical([table, index, key]))` — the JSON array of the rule
+     * input's table name, index name, and key values in wire encoding (ids and
+     * text as strings, integers as numbers, null as null, bytes as
+     * `{ "Bytes": hex }`), serialized with sorted object keys and no whitespace.
+     * A twin evaluating a rule computes it from the schema and the wire values it
+     * holds and looks the verdict up by `ruleHash` plus this digest; a replay
+     * trace's `inputsDigest` is the same value. A transaction-local created-row
+     * probe prefixes the array with `"created"`. Defined once in
+     * `snapback2-core/src/offline.rs` (`rule_inputs_digest`).
+     */
+    pinnedInputsDigest: string;
+    principal: string;
+    authEpoch: number;
+    result: boolean;
+}
+export interface DeliveryReceipt {
+    ranges: DeliveryRange[];
+    absences: Array<[table: string, index: string, key: WireValue[]]>;
+    verdicts: DeliveryVerdict[];
+}
+export interface DeliveryAuthority {
+    principal: string;
+    authEpoch: number;
+}
+export interface DeliveryEnvelopeV1 {
+    protocol: 1;
+    generation: string;
+    schemaHash: string;
+    planHash: string;
+    authority: DeliveryAuthority;
+    state: "complete" | "capped" | "partial" | "denied";
+    reason?: string;
+    rule?: string;
+    data: WireValue;
+    next: string | null;
+    seq: number;
+    rows: DeliveryRow[];
+    receipt: DeliveryReceipt;
+    validator: string;
+}
+export interface DeliveryUnchanged {
+    state: "unchanged";
+    seq: number;
+    validator: string;
+}
+export type DeliveryMessage = DeliveryEnvelopeV1 | DeliveryUnchanged;
+export type TaggedValue = "Null" | {
+    Bool: boolean;
+} | {
+    Int: number;
+} | {
+    String: string;
+} | {
+    Id: string;
+} | {
+    Bytes: string;
+} | {
+    Row: Record<string, TaggedValue>;
+} | {
+    Array: TaggedValue[];
+} | {
+    Map: Record<string, TaggedValue>;
+};
+export interface EvaluatorClosureReceipt {
+    schema_hash: string;
+    rows: Array<{
+        table: string;
+        id: string;
+        row: TaggedValue;
+    }>;
+    ranges: Array<{
+        site: string;
+        table: string;
+        index: string;
+        prefix: TaggedValue[];
+        order: "Asc" | "Desc";
+        take: number;
+        after: TaggedValue | null;
+        before: TaggedValue | null;
+        gt: TaggedValue | null;
+        gte: TaggedValue | null;
+        lt: TaggedValue | null;
+        lte: TaggedValue | null;
+        rule_hash: string;
+        row_ids: string[];
+        stop: "Limit" | "Exhausted";
+        absence: boolean;
+        halo: {
+            table: string;
+            id: string;
+            row: TaggedValue;
+        } | null;
+        n2_key: null;
+        /** Members a later swap evicted from this page; absent when none (the goldens' bytes carry none). */
+        evicted_ids?: string[];
+    }>;
+    absences: Array<[string, string, TaggedValue[]]>;
+    verdicts: Array<{
+        rule_hash: string;
+        pinned_inputs_digest: string;
+        principal: string;
+        auth_epoch: number;
+        result: boolean;
+    }>;
+}
+export declare class DeliveryEnvelopeDecodeError extends TypeError {
+    readonly path: string;
+    constructor(path: string, detail: string);
+}
+export declare function decodeDeliveryEnvelope(json: unknown): DeliveryEnvelopeV1;
+/** Decode either a full authority envelope or a conditional `unchanged` marker. */
+export declare function decodeDeliveryMessage(json: unknown): DeliveryMessage;
+export declare function encodeDeliveryEnvelope(envelope: DeliveryEnvelopeV1): string;
+export declare function expandRows(envelope: DeliveryEnvelopeV1): WireValue;
+/** Rebuild the evaluator's externally-tagged private receipt from the public pool. */
+export declare function toClosureReceipt(envelope: DeliveryEnvelopeV1, schema: any): EvaluatorClosureReceipt;
+export type DeliveryRangeExtent = {
+    stop: "Limit";
+    firstKey: WireValue[];
+    lastKey: WireValue[];
+    presentIds: string[];
+} | {
+    stop: "Exhausted";
+    prefix: WireValue[];
+    bounds: Pick<DeliveryRange, "after" | "before" | "gt" | "gte" | "lt" | "lte">;
+    presentIds: string[];
+};
+/** Derive the rule-2 range extent solely from a delivery and its generation schema. */
+export declare function deliveryRangeExtent(envelope: DeliveryEnvelopeV1, schema: any, range: DeliveryRange): DeliveryRangeExtent;
+/** Tag one pooled wire row by its table's declared column types (the evaluator's private form). */
+export declare function tagWireRow(schema: any, table: string, row: Record<string, WireValue>): TaggedValue;
+/** Tag index key values (a prefix, a key, or a cursor position) by the index's column types from `offset`. */
+export declare function tagWireIndexValues(schema: any, table: string, index: string, values: WireValue[], offset?: number): TaggedValue[];
+/** Tag a range boundary (`after`, `before`, `gt`, …): an array is a position after the prefix, a scalar its first column. */
+export declare function tagWireBoundary(schema: any, range: Pick<DeliveryRange, "table" | "index" | "prefix">, value: WireValue | null): TaggedValue | null;
+/** Tag one wire value by a declared column or argument descriptor. */
+export declare function tagWireValue(descriptor: unknown, value: WireValue, path: string): TaggedValue;
+
+}

package/dist/index.mjs

@@ -0,0 +1,2 @@
+var H=class extends Error{constructor(r,t,i=null){super(`${r}: ${t}`);this.code=r;this.authoredCode=i}};function te(e){I(e,["tables","maintains","channels","auth","effects"],"schema");let n={tables:S(e.tables??{},me),maintains:(e.maintains??[]).map(ye)};return e.channels!==void 0&&Object.keys(e.channels).length>0&&(n.channels=S(e.channels,he)),e.auth!==void 0&&e.auth!==null&&I(e.auth,["password","guests"],"auth"),e.auth!==void 0&&(e.auth.password||e.auth.guests)&&(n.auth={password:e.auth.password,guests:e.auth.guests}),e.effects!==void 0&&e.effects.length>0&&(n.effects=e.effects),JSON.stringify(n)}function I(e,n,r){if(typeof e!="object"||e===null||Array.isArray(e))throw new H("E_SCHEMA",`${r} must be an object`);let t=Object.keys(e).filter(i=>!n.includes(i));if(t.length>0)throw new H("E_SCHEMA",`unknown ${r} field ${t.join(", ")}: a schema shape newer than this evaluator`)}function w(e,n,r){I(e,n,r);let t={};for(let i of n)e[i]!==void 0&&(t[i]=e[i]);return t}function A(e){return Array.isArray(e)?e.map(A):typeof e!="object"||e===null?e:S(e,A)}function ye(e){return I(e,["kind","source","by","target","readable"],"maintain"),{kind:be(e.kind),source:e.source,by:e.by,target:e.target,readable:e.readable===null||e.readable===void 0?null:E(e.readable)}}function be(e){if(typeof e!="object"||e===null)return e;let[n,r]=O(e);return{[n]:n==="Sum"?w(r,["of"],"maintain.kind.Sum"):A(r)}}function me(e){return I(e,["columns","indexes","rules","constraints","retain"],"table"),{columns:S(e.columns??{},z),indexes:S(e.indexes??{},xe),rules:we(e.rules),constraints:(e.constraints??[]).map($e),retain:e.retain??"until-revoked"}}function xe(e){return w(e,["columns","unique"],"index")}function he(e){return I(e,["args","publish","subscribe","ttl_ms"],"channel"),{args:S(e.args??{},Q),publish:E(e.publish),subscribe:E(e.subscribe),ttl_ms:e.ttl_ms}}function we(e){return e==null?e:(I(e,["read","insert","update","delete"],"rules"),{read:E(e.read),insert:E(e.insert),update:E(e.update),delete:E(e.delete)})}function E(e){if(typeof e!="object"||e===null)return e;let[n,r]=O(e);switch(n){case"Eq":case"Ne":return{[n]:r.map(G)};case"And":case"Or":return{[n]:r.map(E)};case"Not":return{[n]:E(r)};case"Exists":case"Created":return{[n]:{...w(r,["table","index","key","provenance"],`rule.${n}`),key:r.key.map(G)}};case"Public":return{Public:w(r,["reason"],"rule.Public")};default:return{[n]:A(r)}}}function G(e){if(typeof e!="object"||e===null)return e;let[n,r]=O(e);return n==="Literal"?{Literal:X(r)}:n==="Field"||n==="OldField"||n==="NextField"?e:{[n]:A(r)}}function $e(e){if(typeof e!="object"||e===null)return e;let[n,r]=O(e),t=`constraint.${n}`;switch(n){case"Unique":return{Unique:w(r,["index"],t)};case"Cap":return{Cap:w(r,["by","max"],t)};case"Immutable":return{Immutable:w(r,["fields"],t)};case"Text":return I(r,["field","min","format"],t),{Text:{field:r.field,min:r.min??0,...r.format===void 0||r.format===null?{}:{format:r.format}}};case"FinalExistsOnInsert":return{FinalExistsOnInsert:{...w(r,["table","index","key"],t),key:r.key.map(G)}};default:return{[n]:A(r)}}}function z(e){if(typeof e!="object"||e===null)return e;let[n,r]=O(e);if(n==="Optional")return{Optional:z(r)};let t=`column.${n}`;if(n==="List")return{List:{...w(r,["of","max"],t),of:z(r.of)}};let i=ke[n];return{[n]:i===void 0?A(r):w(r,i,t)}}var ke={Text:["max"],Bytes:["max"],Image:["max"],Video:["max"],Enum:["variants"],Decimal:["scale"],Money:["currency","scale"],Ref:["table"],Json:["max_bytes"]};function Q(e){if(typeof e!="object"||e===null)return e;let[n,r]=O(e);return n==="Optional"?{Optional:Q(r)}:n==="List"?(I(r,["of","max"],"arg.List"),{List:{...r.of===null||r.of===void 0?{}:{of:Q(r.of)},max:r.max}}):z(e)}function X(e){if(typeof e=="string")return e;let[n,r]=O(e);return n==="Array"?{Array:r.map(X)}:n==="Row"||n==="Map"?{[n]:S(r,X)}:e}function S(e,n){let r=Object.create(null);for(let t of Object.keys(e).sort(Re))r[t]=n(e[t]);return r}function O(e){let n=Object.keys(e);if(n.length!==1)throw new Error("E_TRACE_SUBSET: malformed externally tagged IR");return[n[0],e[n[0]]]}function Re(e,n){let r=Array.from(e,i=>i.codePointAt(0)),t=Array.from(n,i=>i.codePointAt(0));for(let i=0;i<Math.min(r.length,t.length);i+=1)if(r[i]!==t[i])return r[i]-t[i];return r.length-t.length}function re(e){let n=Ee(e),r=n.length*8;for(n.push(128);n.length%64!==56;)n.push(0);let t=Math.floor(r/4294967296),i=r>>>0;for(let a=24;a>=0;a-=8)n.push(t>>>a&255);for(let a=24;a>=0;a-=8)n.push(i>>>a&255);let o=[1779033703,3144134277,1013904242,2773480762,1359893119,2600822924,528734635,1541459225],s=new Array(64);for(let a=0;a<n.length;a+=64){for(let f=0;f<16;f+=1){let h=a+f*4;s[f]=(n[h]<<24|n[h+1]<<16|n[h+2]<<8|n[h+3])>>>0}for(let f=16;f<64;f+=1){let h=s[f-15],C=s[f-2],N=$(h,7)^$(h,18)^h>>>3,K=$(C,17)^$(C,19)^C>>>10;s[f]=s[f-16]+N+s[f-7]+K>>>0}let[c,x,p,W,y,P,B,J]=o;for(let f=0;f<64;f+=1){let h=$(y,6)^$(y,11)^$(y,25),C=y&P^~y&B,N=J+h+C+Ie[f]+s[f]>>>0,K=$(c,2)^$(c,13)^$(c,22),pe=c&x^c&p^x&p,ge=K+pe>>>0;J=B,B=P,P=y,y=W+N>>>0,W=p,p=x,x=c,c=N+ge>>>0}o[0]=o[0]+c>>>0,o[1]=o[1]+x>>>0,o[2]=o[2]+p>>>0,o[3]=o[3]+W>>>0,o[4]=o[4]+y>>>0,o[5]=o[5]+P>>>0,o[6]=o[6]+B>>>0,o[7]=o[7]+J>>>0}return o.map(a=>a.toString(16).padStart(8,"0")).join("")}function $(e,n){return e>>>n|e<<32-n}function Ee(e){let n=[];for(let r of e){let t=r.codePointAt(0);t<=127?n.push(t):t<=2047?n.push(192|t>>6,128|t&63):t<=65535?n.push(224|t>>12,128|t>>6&63,128|t&63):n.push(240|t>>18,128|t>>12&63,128|t>>6&63,128|t&63)}return n}var Ie=[1116352408,1899447441,3049323471,3921009573,961987163,1508970993,2453635748,2870763221,3624381080,310598401,607225278,1426881987,1925078388,2162078206,2614888103,3248222580,3835390401,4022224774,264347078,604807628,770255983,1249150122,1555081692,1996064986,2554220882,2821834349,2952996808,3210313671,3336571891,3584528711,113926993,338241895,666307205,773529912,1294757372,1396182291,1695183700,1986661051,2177026350,2456956037,2730485921,2820302411,3259730800,3345764771,3516065817,3600352804,4094571909,275423344,430227734,506948616,659060556,883997877,958139571,1322822218,1537002063,1747873779,1955562222,2024104815,2227730452,2361852424,2428436474,2756734187,3204031479,3329325298];function M(e){return re(te(e))}var j=class extends TypeError{constructor(r,t){super(`${r}: ${t}`);this.path=r;this.name="DeliveryEnvelopeDecodeError"}};function v(e){k(e,"$",["protocol","generation","schemaHash","planHash","authority","state","data","next","seq","rows","receipt","validator"],["reason","rule"]),e.protocol!==1&&u("$.protocol","unsupported delivery protocol"),D(e.generation,"$.generation"),D(e.schemaHash,"$.schemaHash"),D(e.planHash,"$.planHash"),k(e.authority,"$.authority",["principal","authEpoch"]),m(e.authority.principal,"$.authority.principal"),L(e.authority.authEpoch,"$.authority.authEpoch"),["complete","capped","partial","denied"].includes(String(e.state))||u("$.state","expected complete, capped, partial, or denied"),e.state==="partial"?m(e.reason,"$.reason"):e.reason!==void 0&&u("$.reason","is only valid for partial state"),e.state==="denied"?m(e.rule,"$.rule"):e.rule!==void 0&&u("$.rule","is only valid for denied state"),T(e.data,"$.data"),e.next!==null&&m(e.next,"$.next"),L(e.seq,"$.seq"),V(e.rows,"$.rows");let n=new Set;return e.rows.forEach((r,t)=>{k(r,`$.rows[${t}]`,["table","id","row"]),m(r.table,`$.rows[${t}].table`),m(r.id,`$.rows[${t}].id`),k(r.row,`$.rows[${t}].row`,[],[],!0),T(r.row,`$.rows[${t}].row`);let i=R(r.table,r.id);n.has(i)&&u(`$.rows[${t}]`,"duplicates a pooled row"),n.add(i)}),_e(e.receipt,n,e.authority),F(e.data,n,"$.data"),D(e.validator,"$.validator"),e}function Ve(e){return d(e)&&e.state==="unchanged"?(k(e,"$",["state","seq","validator"]),L(e.seq,"$.seq"),D(e.validator,"$.validator"),e):v(e)}function De(e){let n=v(e),r={protocol:n.protocol,generation:n.generation,schemaHash:n.schemaHash,planHash:n.planHash,authority:{principal:n.authority.principal,authEpoch:n.authority.authEpoch},state:n.state};return n.reason!==void 0&&(r.reason=n.reason),n.rule!==void 0&&(r.rule=n.rule),r.data=g(n.data),r.next=n.next,r.seq=n.seq,r.rows=[...n.rows].sort((t,i)=>ie(t.table,i.table)||ie(t.id,i.id)).map(t=>({table:t.table,id:t.id,row:g(t.row)})),r.receipt={ranges:n.receipt.ranges.map(t=>{let i={site:t.site,table:t.table,index:t.index,prefix:t.prefix.map(g),order:t.order,take:t.take,after:t.after===null?null:g(t.after),before:t.before===null?null:g(t.before),gt:t.gt===null?null:g(t.gt),gte:t.gte===null?null:g(t.gte),lt:t.lt===null?null:g(t.lt),lte:t.lte===null?null:g(t.lte),ruleHash:t.ruleHash,rowIds:[...t.rowIds],stop:t.stop,absence:t.absence};return t.haloId!==void 0&&(i.haloId=t.haloId),i}),absences:n.receipt.absences.map(([t,i,o])=>[t,i,o.map(g)]),verdicts:n.receipt.verdicts.map(t=>({ruleHash:t.ruleHash,pinnedInputsDigest:t.pinnedInputsDigest,principal:t.principal,authEpoch:t.authEpoch,result:t.result}))},r.validator=n.validator,JSON.stringify(r)}function Ae(e){let n=v(e),r=new Map(n.rows.map(i=>[R(i.table,i.id),i.row])),t=i=>{if(le(i)){let o=r.get(R(i.$row.table,i.$row.id));return o===void 0&&u("$.data",`references missing row ${i.$row.table}/${i.$row.id}`),b(o)}return ce(i)?Object.fromEntries(Object.entries(i.$row.$value).map(([o,s])=>[o,t(s)])):Array.isArray(i)?i.map(t):d(i)?Object.fromEntries(Object.entries(i).map(([o,s])=>[o,t(s)])):i};return t(n.data)}function Se(e,n){let r=v(e),t;try{t=M(n)}catch(s){u("schema",s instanceof Error?s.message:String(s))}t!==r.schemaHash&&u("schema",`hash ${t} does not match envelope schemaHash ${r.schemaHash}`);let i=new Map;for(let s of r.rows){let a={table:s.table,id:s.id,row:ae(n,s.table,s.row)};i.set(R(s.table,s.id),a)}let o=r.receipt.ranges.map(s=>({site:s.site,table:s.table,index:s.index,prefix:q(n,s.table,s.index,s.prefix,0),order:s.order,take:s.take,after:_(n,s,s.after),before:_(n,s,s.before),gt:_(n,s,s.gt),gte:_(n,s,s.gte),lt:_(n,s,s.lt),lte:_(n,s,s.lte),rule_hash:s.ruleHash,row_ids:[...s.rowIds],stop:s.stop,absence:s.absence,halo:s.haloId===void 0?null:b(i.get(R(s.table,s.haloId))??u(`$.receipt.ranges[${s.site}].haloId`,"references a missing pooled row")),n2_key:null}));return{schema_hash:r.schemaHash,rows:Array.from(i.values()).map(b),ranges:o,absences:r.receipt.absences.map(([s,a,c])=>[s,a,q(n,s,a,c,0)]),verdicts:r.receipt.verdicts.map(s=>({rule_hash:s.ruleHash,pinned_inputs_digest:s.pinnedInputsDigest,principal:s.principal,auth_epoch:s.authEpoch,result:s.result}))}}function Oe(e,n,r){let t=v(e),i=t.receipt.ranges.find(c=>c===r)??t.receipt.ranges.find(c=>c.site===r.site);i||u("$.receipt.ranges",`does not contain site ${r.site}`);let o=i.haloId===void 0?[...i.rowIds]:[...i.rowIds,i.haloId];if(i.stop==="Exhausted")return{stop:"Exhausted",prefix:b(i.prefix),bounds:{after:b(i.after),before:b(i.before),gt:b(i.gt),gte:b(i.gte),lt:b(i.lt),lte:b(i.lte)},presentIds:o};i.rowIds.length===0&&u(`$.receipt.ranges[${i.site}].rowIds`,"Limit extent needs a returned row");let s=new Map(t.rows.map(c=>[R(c.table,c.id),c])),a=c=>{let x=s.get(R(i.table,c));return ue(n,i.table,i.index).map(p=>(p in x.row||u(`$.rows.${i.table}/${c}.${p}`,"is required by the range index"),b(x.row[p])))};return{stop:"Limit",firstKey:a(i.rowIds[0]),lastKey:a(i.rowIds[i.rowIds.length-1]),presentIds:o}}function _e(e,n,r){k(e,"$.receipt",["ranges","absences","verdicts"]),V(e.ranges,"$.receipt.ranges"),e.ranges.forEach((t,i)=>{let o=`$.receipt.ranges[${i}]`;k(t,o,["site","table","index","prefix","order","take","after","before","gt","gte","lt","lte","ruleHash","rowIds","stop","absence"],["haloId"]);for(let a of["site","table","index","ruleHash"])m(t[a],`${o}.${a}`);D(t.ruleHash,`${o}.ruleHash`),V(t.prefix,`${o}.prefix`),t.prefix.forEach((a,c)=>T(a,`${o}.prefix[${c}]`)),["Asc","Desc"].includes(String(t.order))||u(`${o}.order`,"expected Asc or Desc"),L(t.take,`${o}.take`);for(let a of["after","before","gt","gte","lt","lte"])t[a]!==null&&T(t[a],`${o}.${a}`);V(t.rowIds,`${o}.rowIds`);let s=new Set;t.rowIds.forEach((a,c)=>{m(a,`${o}.rowIds[${c}]`),s.has(a)&&u(`${o}.rowIds[${c}]`,"duplicates a row id"),s.add(a),n.has(R(t.table,a))||u(`${o}.rowIds[${c}]`,"references a missing same-table pooled row")}),["Limit","Exhausted"].includes(String(t.stop))||u(`${o}.stop`,"expected Limit or Exhausted"),Z(t.absence,`${o}.absence`),t.haloId!==void 0&&(m(t.haloId,`${o}.haloId`),n.has(R(t.table,t.haloId))||u(`${o}.haloId`,"references a missing pooled row"))}),V(e.absences,"$.receipt.absences"),e.absences.forEach((t,i)=>{let o=`$.receipt.absences[${i}]`;V(t,o),t.length!==3&&u(o,"expected [table, index, key]"),m(t[0],`${o}[0]`),t[1]!=="byId"&&u(`${o}[1]`,"only primary byId absences may be delivered"),V(t[2],`${o}[2]`),t[2].forEach((s,a)=>T(s,`${o}[2][${a}]`))}),V(e.verdicts,"$.receipt.verdicts"),e.verdicts.forEach((t,i)=>{let o=`$.receipt.verdicts[${i}]`;k(t,o,["ruleHash","pinnedInputsDigest","principal","authEpoch","result"]),D(t.ruleHash,`${o}.ruleHash`),D(t.pinnedInputsDigest,`${o}.pinnedInputsDigest`),m(t.principal,`${o}.principal`),L(t.authEpoch,`${o}.authEpoch`),Z(t.result,`${o}.result`),t.principal!==r.principal&&u(`${o}.principal`,"does not match envelope authority"),t.authEpoch!==r.authEpoch&&u(`${o}.authEpoch`,"does not match envelope authority")})}function oe(e,n,r){return ae(e,n,r)}function ee(e,n,r,t,i=0){return q(e,n,r,t,i)}function se(e,n,r){return _(e,n,r)}function ae(e,n,r){let t=e?.tables?.[n]?.columns;d(t)||u(`schema.tables.${n}.columns`,"is missing");let i=Object.create(null);for(let[o,s]of Object.entries(r))o in t||u(`rows.${n}.${o}`,"is not a declared column"),i[o]=U(t[o],s,`rows.${n}.${o}`);return{Row:i}}function q(e,n,r,t,i){let o=ue(e,n,r);return t.map((s,a)=>{let c=o[i+a];return c===void 0&&u(`schema.tables.${n}.indexes.${r}`,"has too few columns"),U(e.tables[n].columns[c],s,`${n}.${r}[${i+a}]`)})}function _(e,n,r){return r===null?null:Array.isArray(r)?{Array:q(e,n.table,n.index,r,n.prefix.length)}:q(e,n.table,n.index,[r],n.prefix.length)[0]}function U(e,n,r){if(d(e)&&"Optional"in e)return n===null?"Null":U(e.Optional,n,r);if(n===null)return"Null";if(e==="Id"||e==="Principal"||d(e)&&"Ref"in e)return typeof n!="string"&&u(r,"expected id string"),{Id:n};if(d(e)&&("Text"in e||"Enum"in e))return typeof n!="string"&&u(r,"expected text string"),{String:n};if(["Int","Time"].includes(String(e))||d(e)&&("Decimal"in e||"Money"in e))return ne(n,r),{Int:n};if(e==="Bool")return Z(n,r),{Bool:n};if(d(e)&&"Bytes"in e){let t=d(n)&&"Bytes"in n?n.Bytes:void 0;return(!d(n)||Object.keys(n).length!==1||typeof t!="string"||!/^(?:[0-9a-f]{2})*$/.test(t))&&u(r,"expected canonical Bytes"),{Bytes:t}}if(d(e)&&"List"in e)return V(n,r),{Array:n.map((t,i)=>U(e.List.of,t,`${r}[${i}]`))};if(d(e)&&("Image"in e||"Video"in e)){k(n,r,[],[],!0);let t="Image"in e?"Image":"Video",i=Te[t],o=Object.keys(n);return(o.length!==Object.keys(i).length||o.some(s=>!(s in i)))&&u(r,`must contain exactly ${Object.keys(i).sort().join(", ")}`),{Map:Object.fromEntries(Object.entries(n).map(([s,a])=>[s,We(i[s],a,`${r}.${s}`)]))}}if(d(e)&&"Json"in e)return Y(n);u(r,"has an unsupported schema descriptor")}function Y(e){return e===null?"Null":typeof e=="boolean"?{Bool:e}:typeof e=="number"?{Int:e}:typeof e=="string"?{String:e}:Array.isArray(e)?{Array:e.map(Y)}:{Map:Object.fromEntries(Object.entries(e).map(([n,r])=>[n,Y(r)]))}}var Te={Image:{id:"String",width:"Int",height:"Int"},Video:{id:"String",width:"Int",height:"Int",duration:"Int"}};function We(e,n,r){return e==="String"?(typeof n!="string"&&u(r,"expected string"),{String:n}):(ne(n,r),{Int:n})}function ue(e,n,r){let t=e?.tables?.[n]?.indexes?.[r]?.columns;return(!Array.isArray(t)||!t.every(i=>typeof i=="string"))&&u(`schema.tables.${n}.indexes.${r}`,"is missing columns"),t}function F(e,n,r){if(le(e)){n.has(R(e.$row.table,e.$row.id))||u(r,"references a missing pooled row");return}if(ce(e)){for(let[t,i]of Object.entries(e.$row.$value))F(i,n,`${r}.$row.$value.${t}`);return}if(Array.isArray(e))e.forEach((t,i)=>F(t,n,`${r}[${i}]`));else if(d(e)){"$row"in e&&u(r,"has a malformed reserved $row value");for(let[t,i]of Object.entries(e))F(i,n,`${r}.${t}`)}}function g(e){if(Array.isArray(e))return e.map(g);if(d(e)){let n=e;return Object.fromEntries(Object.keys(n).sort().map(r=>[r,g(n[r])]))}return e}function T(e,n){if(!(e===null||typeof e=="boolean"||typeof e=="string")){if(typeof e=="number"){ne(e,n);return}if(Array.isArray(e)){e.forEach((r,t)=>T(r,`${n}[${t}]`));return}k(e,n,[],[],!0);for(let[r,t]of Object.entries(e))T(t,`${n}.${r}`)}}function le(e){return d(e)&&Object.keys(e).length===1&&d(e.$row)&&Object.keys(e.$row).sort().join(",")==="id,table"&&typeof e.$row.table=="string"&&typeof e.$row.id=="string"}function ce(e){return d(e)&&Object.keys(e).length===1&&d(e.$row)&&Object.keys(e.$row).length===1&&d(e.$row.$value)}function k(e,n,r,t=[],i=!1){d(e)||u(n,"expected object");for(let o of r)o in e||u(`${n}.${o}`,"is required");if(!i)for(let o of Object.keys(e))!r.includes(o)&&!t.includes(o)&&u(`${n}.${o}`,"is unknown")}function V(e,n){Array.isArray(e)||u(n,"expected array")}function m(e,n){(typeof e!="string"||e.length===0)&&u(n,"expected non-empty string")}function Z(e,n){typeof e!="boolean"&&u(n,"expected boolean")}function L(e,n){(!Number.isSafeInteger(e)||Number(e)<0)&&u(n,"expected non-negative safe integer")}function ne(e,n){Number.isSafeInteger(e)||u(n,"expected safe integer")}function D(e,n){(typeof e!="string"||!/^[0-9a-f]{64}$/.test(e))&&u(n,"expected lowercase SHA-256 digest")}function d(e){return e!==null&&typeof e=="object"&&!Array.isArray(e)&&(Object.getPrototypeOf(e)===Object.prototype||Object.getPrototypeOf(e)===null)}function R(e,n){return`${e.length}:${e}${n}`}function ie(e,n){return e<n?-1:e>n?1:0}function b(e){return structuredClone(e)}function u(e,n){throw new j(e,n)}function fe(e){return`${e.table} ${e.id}`}var de=new WeakMap;function je(e){let n=typeof e=="object"&&e!==null?de.get(e):void 0;if(n!==void 0)return n;let r=M(e);return typeof e=="object"&&e!==null&&de.set(e,r),r}function ve(e,n,r){let t=je(n);if(r!==void 0&&r!==t)throw new j("schema",`hash ${t} does not match the held program's ${r}`);let i=new Map;for(let o of e.rows)i.set(fe(o),{table:o.table,id:o.id,row:oe(n,o.table,o.row)});return{schema_hash:t,rows:[...i.values()],ranges:e.ranges.map(o=>Ce(n,o,i)),absences:e.absences.map(([o,s,a])=>[o,s,ee(n,o,s,a,0)]),verdicts:e.verdicts.map(o=>{let s=o;return{rule_hash:String(s.ruleHash),pinned_inputs_digest:String(s.pinnedInputsDigest),principal:String(s.principal),auth_epoch:Number(s.authEpoch),result:s.result===!0}})}}function Ce(e,n,r){let t=o=>o==null?null:se(e,n,o),i=n.haloId===void 0?void 0:r.get(fe({table:n.table,id:n.haloId}));return{site:n.site,table:n.table,index:n.index,prefix:ee(e,n.table,n.index,n.prefix,0),order:n.order,take:n.take,after:t(n.after),before:t(n.before),gt:t(n.gt),gte:t(n.gte),lt:t(n.lt),lte:t(n.lte),rule_hash:n.ruleHash,row_ids:[...n.rowIds],stop:n.stop,absence:n.absence,halo:i===void 0?null:structuredClone(i),n2_key:null,...n.evictedIds===void 0||n.evictedIds.length===0?{}:{evicted_ids:[...n.evictedIds]}}}function l(e,n){return Object.freeze(n===void 0?{kind:e}:{kind:e,value:n})}function Xe(e){return l("schema",e)}function Ye(e){return l("table",e)}var Ze=Object.freeze({cursor:()=>l("cursor"),id:()=>l("id"),principal:()=>l("principal"),text:e=>l("text",{max:e}),bytes:e=>l("bytes",{max:e}),image:e=>l("image",{max:e}),video:e=>l("video",{max:e}),int:()=>l("int"),bool:()=>l("bool"),time:()=>l("time"),enum:e=>l("enum",{variants:e}),decimal:e=>l("decimal",{scale:e}),money:(e,n=2)=>l("money",{currency:e,scale:n}),ref:e=>l("ref",{target:e}),json:e=>l("json",{maxBytes:e}),optional:e=>l("optional",{value:e}),list:(e,n)=>l("list",{value:e,...n})}),He=l("viewer"),en=Object.freeze({public:e=>l("public",{reason:e}),allow:()=>l("allow"),deny:()=>l("deny"),eq:(e,n)=>l("eq",{left:e,right:n}),ne:(e,n)=>l("ne",{left:e,right:n}),and:(...e)=>l("and",e),or:(...e)=>l("or",e),not:e=>l("not",e),exists:(e,n,r)=>l("exists",{target:e,index:n,key:r}),created:(e,n,r)=>l("created",{target:e,index:n,key:r}),system:()=>l("system"),viewerIs:e=>l("viewerIs",{field:e}),field:e=>l("field",{name:e}),oldField:e=>l("oldField",{name:e}),nextField:e=>l("nextField",{name:e}),viewer:He,literal:e=>l("literal",e)});function nn(e){return l("channel",e)}function tn(e,n){return l("query",{args:e,handler:n})}function rn(e,n){return l("mutation",{args:e,handler:n})}function on(e){return l("effect",e)}function sn(e,n){return l("emit",{target:e,payload:n})}function an(e){return l("seed",e)}function un(e,n){return Array.from({length:Math.max(0,n-e)},(r,t)=>e+t)}function ln(e,n){if(!Number.isFinite(e)||!Number.isInteger(n)||n<0||n>12)throw new RangeError("decimal(value, scale) requires a finite number and an integer scale from 0 through 12");let r=/^([+-]?)(\d+)(?:\.(\d+))?(?:e([+-]?\d+))?$/i.exec(String(e));if(!r)throw new RangeError(`decimal cannot encode ${String(e)}`);let t=r[1]==="-",i=r[2],o=r[3]??"",s=Number(r[4]??0),a=`${i}${o}`,c=i.length+s,x=c<=0?"0":c>=a.length?`${a}${"0".repeat(c-a.length)}`:a.slice(0,c),p=c<=0?`${"0".repeat(-c)}${a}`:c>=a.length?"":a.slice(c);if(p.length>n)throw new RangeError(`${String(e)} has ${p.length} fractional digits, scale ${n}`);let W=`${x}${p.padEnd(n,"0")}`,y=Number(t?`-${W}`:W);if(!Number.isSafeInteger(y))throw new RangeError("decimal minor units exceed the safe integer wire range");return y}function cn(e){return e.split(" ").filter(n=>n.startsWith("@"))}function dn(e,n,r){let t=n.indexOf(r);return Math.floor(e/n.length)+(t>=0&&t<e%n.length?1:0)}function fn(...e){return e.join("")}var pn=Math.max,gn=Math.min;function yn(e,n){return{quotient:Math.floor(e/n),remainder:e%n}}function bn(e,n,r,t,i,o){throw new Error("snapback2: authored program descriptors are inert")}function mn(){throw new Error("snapback2: authored program descriptors are inert")}export{j as DeliveryEnvelopeDecodeError,nn as channel,ve as closureFromCoverage,fn as concat,ln as decimal,v as decodeDeliveryEnvelope,Ve as decodeDeliveryMessage,Oe as deliveryRangeExtent,dn as deterministicShare,yn as divmod,on as effect,sn as emit,De as encodeDeliveryEnvelope,Ae as expandRows,pn as max,cn as mentionTokens,bn as mergeByIndex,gn as min,rn as mutation,tn as query,un as range,mn as recurse,en as rule,Xe as schema,M as schemaDigest,an as seed,Ze as t,Ye as table,Se as toClosureReceipt};
+//# sourceMappingURL=index.mjs.map