@bounded-authority-protocol/verifier 0.2.0

package/dist/src/facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../src/facts.ts"],"names":[],"mappings":"AAAA,iGAAiG;AACjG,mGAAmG;AACnG,gFAAgF;AAChF,4FAA4F"}

package/dist/src/index.d.ts

@@ -0,0 +1,16 @@
+export { untrustedKeyLocator, decodeGrant, decodeProof, decodeLocalLoopbackHttpProof, verifyGrant, checkEnvelope, checkLocalLoopbackHttpEnvelope, requestDigest, encodeConsumptionEntry, checkChain, grantSigningInput, proofSigningInput, localLoopbackHttpProofSigningInput, assembleCompact, assembleLocalLoopbackHttpCompact, boundaryAnchorSigningInput, keyTransitionSigningInput, encodeAnchoredExport, verifyHistoricalAnchor, verifyKeyTransition, verifyAnchoredExport, jwkEncodePublic, jwkDecodePublic, thumbprint, uriNormalize, boundsNew, boundsMaximum, MAXIMUM_BOUNDS, MAXIMA, REQUEST_PREFIX, ROW_PREFIX, ARCHIVE_PREFIX, } from "./v1.js";
+export { localLoopbackHttpUriNormalize } from "./uri.js";
+export * as v2 from "./v2.js";
+export type { TrustedIssuer, ExpectedGrant, HistoricalPublicKey, ExpectedAnchor, ExpectedKeyTransition, ConsumptionEntry, ChainInput, ExpectedChain, ExpectedRequest, SelectorInput, OperationInput, GrantProducer, ProofProducer, BoundaryAnchorProducer, KeyTransitionProducer, AnchoredExportInput, ExpectedExport, ArchivedObject, HistoricalKeyChain, EncodedConsumptionEntry, EncodedAnchoredExport, Bounds, SigningInput, Selector, MaximaKey, } from "./v1.js";
+export type { GrantFacts, EnvelopeFacts, ChainFacts, AnchorFacts, KeyTransitionFacts, AnchoredExportFacts, GrantDecoded, ProofDecoded, KeyLocator, } from "./facts.js";
+export { InvalidError, ok, err, trying, fail, assert } from "./error.js";
+export type { Result } from "./error.js";
+export { jsonDecode, utf8Str, strUtf8 } from "./json.js";
+export type { Tagged } from "./json.js";
+export { jcsEncode } from "./jcs.js";
+export { thumbprintRaw, thumbprintPreimage, jwkFromPublicKey, publicKeyThumbprintRaw, } from "./jwk.js";
+export type { OkpPublic } from "./jwk.js";
+export { sha256 } from "./ed25519.js";
+export { base64urlDecode, base64urlEncode } from "./base64url.js";
+export { parseSelector, selectorMatches, semanticIdentity } from "./selector.js";
+export { typedProject } from "./digest.js";

package/dist/src/index.js

@@ -0,0 +1,31 @@
+// The public surface of @bounded-authority-protocol/verifier (the v1 protocol verification façade +
+// versioned primitives). Re-exports the 17 façade functions + the dispatch structs + the primitives
+// the public contract names (spec/bap-v1.md § Public verification contract, L266-309).
+//
+// No `authorized`/`decision` surface (AGENTS rule 1); every function returns Result<T> =
+// Ok | Err, mirroring {:ok,value}|{:error,:invalid}. Facts are value-bearing, redacted, and
+// non-authorizing.
+export { 
+// The 17 façade functions.
+untrustedKeyLocator, decodeGrant, decodeProof, decodeLocalLoopbackHttpProof, verifyGrant, checkEnvelope, checkLocalLoopbackHttpEnvelope, requestDigest, encodeConsumptionEntry, checkChain, grantSigningInput, proofSigningInput, localLoopbackHttpProofSigningInput, assembleCompact, assembleLocalLoopbackHttpCompact, boundaryAnchorSigningInput, keyTransitionSigningInput, encodeAnchoredExport, verifyHistoricalAnchor, verifyKeyTransition, verifyAnchoredExport, 
+// Versioned primitives the public contract names (spec/bap-v1.md L299-309).
+jwkEncodePublic, jwkDecodePublic, thumbprint, uriNormalize, boundsNew, boundsMaximum, MAXIMUM_BOUNDS, MAXIMA, REQUEST_PREFIX, ROW_PREFIX, ARCHIVE_PREFIX, } from "./v1.js";
+export { localLoopbackHttpUriNormalize } from "./uri.js";
+// The v2 contract-major profile façade (v:2 payloads, BAP2-* domain separators, lte/gte range
+// selectors per ADR 0028). Exported as a namespace: its surface intentionally mirrors the v1
+// façade's names, so the module path (v2) carries the major — v2.checkEnvelope,
+// v2.grantSigningInput, v2.Selector, and so on. It rejects v1 bytes exactly as v1 rejects v2
+// bytes; the two majors share no wire form.
+export * as v2 from "./v2.js";
+// Error + Result primitives (the closed InvalidError + the Result<T> = Ok|Err shape).
+export { InvalidError, ok, err, trying, fail, assert } from "./error.js";
+// The tagged JSON algebra (the public data model requestDigest + selector matching consume).
+export { jsonDecode, utf8Str, strUtf8 } from "./json.js";
+// The bounds + JCS + thumbprint primitives (full set the public contract implies).
+export { jcsEncode } from "./jcs.js";
+export { thumbprintRaw, thumbprintPreimage, jwkFromPublicKey, publicKeyThumbprintRaw, } from "./jwk.js";
+export { sha256 } from "./ed25519.js";
+export { base64urlDecode, base64urlEncode } from "./base64url.js";
+export { parseSelector, selectorMatches, semanticIdentity } from "./selector.js";
+export { typedProject } from "./digest.js";
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,oGAAoG;AACpG,oGAAoG;AACpG,uFAAuF;AACvF,EAAE;AACF,yFAAyF;AACzF,4FAA4F;AAC5F,mBAAmB;AAEnB,OAAO;AACL,2BAA2B;AAC3B,mBAAmB,EACnB,WAAW,EACX,WAAW,EACX,4BAA4B,EAC5B,WAAW,EACX,aAAa,EACb,8BAA8B,EAC9B,aAAa,EACb,sBAAsB,EACtB,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,kCAAkC,EAClC,eAAe,EACf,gCAAgC,EAChC,0BAA0B,EAC1B,yBAAyB,EACzB,oBAAoB,EACpB,sBAAsB,EACtB,mBAAmB,EACnB,oBAAoB;AACpB,4EAA4E;AAC5E,eAAe,EACf,eAAe,EACf,UAAU,EACV,YAAY,EACZ,SAAS,EACT,aAAa,EACb,cAAc,EACd,MAAM,EACN,cAAc,EACd,UAAU,EACV,cAAc,GACf,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,6BAA6B,EAAE,MAAM,UAAU,CAAC;AAEzD,8FAA8F;AAC9F,6FAA6F;AAC7F,gFAAgF;AAChF,6FAA6F;AAC7F,4CAA4C;AAC5C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AA0C9B,sFAAsF;AACtF,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAGzE,6FAA6F;AAC7F,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGzD,mFAAmF;AACnF,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/dist/src/jcs.d.ts

@@ -0,0 +1,3 @@
+import { type Bounds } from "./bounds.js";
+import { type Tagged } from "./json.js";
+export declare function jcsEncode(value: Tagged, bounds?: Bounds): Uint8Array;

package/dist/src/jcs.js

@@ -0,0 +1,285 @@
+import { fail } from "./error.js";
+import { resolve, coerceBounds, MAXIMUM_BOUNDS } from "./bounds.js";
+import { strUtf8, utf8Str } from "./json.js";
+// RFC 8785 JSON Canonicalization Scheme over the tagged JSON algebra (spec/bap-v1.md,
+// REQ1-JSON-jcs-exact). Accepts only the tagged algebra. Enforces every JSON + output bound while
+// emitting RFC 8785 bytes: exact string escaping, invalid-Unicode rejection, unsigned UTF-16 object-
+// name sorting at every depth, preserved array order, and ECMAScript binary64 number text
+// (-0 as 0, fixed/exponent thresholds, lowercase e).
+//
+// Number formatting: RFC 8785 §3.2.2 mandates the shortest representation. ECMAScript's
+// Number.prototype.toString (and JSON.stringify of a number) IS the shortest round-tripping repr
+// (V8/Node matches this), so integers emit as bare integers and finite floats via their JS string
+// form. The tagged algebra's int/float distinction is preserved (1 → "1" as int; 1.0 → "1" as float
+// would be a Float tag, but JS coerces 1.0 to 1 at the value layer — the TAG carries the distinction,
+// the serialization is byte-identical for equal numeric value, matching the Elixir JCS).
+export function jcsEncode(value, bounds = MAXIMUM_BOUNDS) {
+    // Cross-vendor F2: re-validate caller-supplied bounds (Bounds is structural; a hand-crafted override
+    // can widen limits past MAXIMA). Mirrors the reference's Bounds.coerce.
+    const b = coerceBounds(bounds);
+    const parts = [];
+    emit(value, parts, b, 0, 0);
+    let total = 0;
+    for (const p of parts)
+        total += p.length;
+    if (total > resolve(b, "jcs_bytes"))
+        fail("jcs: jcs_bytes bound");
+    const out = new Uint8Array(total);
+    let off = 0;
+    for (const p of parts) {
+        out.set(p, off);
+        off += p.length;
+    }
+    return out;
+}
+// Emit one tagged value as RFC 8785 bytes, enforcing every per-node resource bound DURING encode
+// (mirrors jcs.ex:27-101 encode_value). Returns the updated node count. Per-node invariants:
+//   scalars: level <= depth (NOT <); int/float magnitude; string byte_size <= string_bytes.
+//   array/object: level < depth (children at level+1); length <= array_items/object_members;
+//     object key byte_size <= key_bytes. total_nodes incremented + checked at every node.
+function emit(value, parts, bounds, level, nodes) {
+    const depth = resolve(bounds, "depth");
+    switch (value.t) {
+        case "null":
+            if (level > depth)
+                fail("jcs: depth bound");
+            parts.push(STR_NULL);
+            return nextNode(nodes, bounds);
+        case "bool":
+            if (level > depth)
+                fail("jcs: depth bound");
+            parts.push(value.v ? STR_TRUE : STR_FALSE);
+            return nextNode(nodes, bounds);
+        case "int":
+            // Cross-vendor F3: the reference guard is `when is_integer(value)` (jcs.ex:38); a non-integer
+            // int-tag value (1.5, or bool) must fail closed, not canonicalize. Number.isInteger rejects
+            // floats and booleans.
+            if (!Number.isInteger(value.v) || level > depth || Math.abs(value.v) > resolve(bounds, "integer_magnitude"))
+                fail("jcs: integer bound");
+            parts.push(strUtf8(formatInt(value.v)));
+            return nextNode(nodes, bounds);
+        case "float":
+            if (level > depth || Math.abs(value.v) > resolve(bounds, "float_magnitude"))
+                fail("jcs: float bound");
+            parts.push(strUtf8(formatFloat(value.v)));
+            return nextNode(nodes, bounds);
+        case "string":
+            // The decoder already validated UTF-8 + string_bytes; re-check here so a programmatically-built
+            // over-bound value (not from the decoder) is rejected at encode, matching jcs.ex:57-59.
+            // Cross-vendor (JCS UTF-8): the reference guard is `String.valid?(value)` (jcs.ex:58) which
+            // rejects invalid UTF-8. A programmatically-built JString with invalid bytes would otherwise
+            // reach escapeString → utf8Str (fatal TextDecoder) and throw TypeError past the closed-Result
+            // contract. Validate UTF-8 here and fail closed (Err) instead.
+            if (level > depth || value.v.length > resolve(bounds, "string_bytes") || !isValidUtf8(value.v))
+                fail("jcs: string bound");
+            parts.push(escapeString(value.v, bounds));
+            return nextNode(nodes, bounds);
+        case "array": {
+            if (level >= depth || value.v.length > resolve(bounds, "array_items"))
+                fail("jcs: array bound");
+            let n = nextNode(nodes, bounds);
+            parts.push(LBRACKET);
+            for (let i = 0; i < value.v.length; i++) {
+                if (i > 0)
+                    parts.push(COMMA);
+                n = emit(value.v[i], parts, bounds, level + 1, n);
+            }
+            parts.push(RBRACKET);
+            return n;
+        }
+        case "object": {
+            if (level >= depth || value.v.size > resolve(bounds, "object_members"))
+                fail("jcs: object bound");
+            const keyBytes = resolve(bounds, "key_bytes");
+            let n = nextNode(nodes, bounds);
+            // RFC 8785 §3.2.3: object names sorted by unsigned UTF-16 code unit sequence.
+            const names = [...value.v.keys()].sort(utf16Sort);
+            for (const name of names) {
+                if (strUtf8(name).length > keyBytes)
+                    fail("jcs: key_bytes bound");
+            }
+            parts.push(LBRACE);
+            for (let i = 0; i < names.length; i++) {
+                if (i > 0)
+                    parts.push(COMMA);
+                const name = names[i];
+                parts.push(escapeString(strUtf8(name), bounds));
+                parts.push(COLON);
+                n = emit(value.v.get(name), parts, bounds, level + 1, n);
+            }
+            parts.push(RBRACE);
+            return n;
+        }
+        default: fail("jcs: unknown tag");
+    }
+}
+function nextNode(nodes, bounds) {
+    const next = nodes + 1;
+    if (next > resolve(bounds, "total_nodes"))
+        fail("jcs: total_nodes bound");
+    return next;
+}
+const STR_NULL = strUtf8("null");
+const STR_TRUE = strUtf8("true");
+const STR_FALSE = strUtf8("false");
+const LBRACE = strUtf8("{");
+const RBRACE = strUtf8("}");
+const LBRACKET = strUtf8("[");
+const RBRACKET = strUtf8("]");
+const COMMA = strUtf8(",");
+const COLON = strUtf8(":");
+function formatInt(n) {
+    return String(n);
+}
+// RFC 8785 §3.2.2: shortest representation. JS Number stringification produces the shortest
+// round-tripping decimal; JSON.stringify emits it without exponent where V8 would. Both match the
+// ECMAScript binary64 text the Elixir JCS produces (which also implements §3.2.2).
+function formatFloat(n) {
+    if (!Number.isFinite(n))
+        fail("jcs: non-finite float");
+    return JSON.stringify(n);
+}
+// RFC 8785 §3.2.2.1 string escaping: mandatory-escape chars (< 0x20, 0x22 ", 0x5c \, 0x7f DEL) +
+// UTF-8 for the rest. The escapeString function below applies this inline.
+// The short escapes per RFC 8785 §3.2.2.1 (b, f, n, r, t + the two structural " \).
+const SHORT_ESCAPES = {
+    0x08: "\\b",
+    0x09: "\\t",
+    0x0a: "\\n",
+    0x0c: "\\f",
+    0x0d: "\\r",
+    0x22: "\\\"",
+    0x5c: "\\\\",
+};
+// UTF-8 validity check that does NOT throw (cross-vendor JCS UTF-8): the reference's String.valid?
+// (jcs.ex:58) rejects invalid UTF-8 at encode. The fatal TextDecoder in utf8Str throws TypeError on
+// invalid bytes, escaping the closed-Result contract; this gate lets jcsEncode fail closed instead.
+// Walks the byte stream validating leading/multi-byte sequences (RFC 3629).
+function isValidUtf8(bytes) {
+    let i = 0;
+    while (i < bytes.length) {
+        const b0 = bytes[i];
+        if (b0 < 0x80) {
+            i++;
+            continue;
+        }
+        let need;
+        let min;
+        if ((b0 & 0xe0) === 0xc0) {
+            need = 1;
+            min = 0x80;
+        }
+        else if ((b0 & 0xf0) === 0xe0) {
+            need = 2;
+            min = 0x800;
+        }
+        else if ((b0 & 0xf8) === 0xf0) {
+            need = 3;
+            min = 0x10000;
+        }
+        else
+            return false; // invalid leading byte (continuation, or 0xf8+)
+        if (i + need >= bytes.length)
+            return false; // truncated
+        let cp = b0 & (0x1f >> need);
+        for (let j = 1; j <= need; j++) {
+            const bj = bytes[i + j];
+            if ((bj & 0xc0) !== 0x80)
+                return false; // not a continuation byte
+            cp = (cp << 6) | (bj & 0x3f);
+        }
+        if (cp < min)
+            return false; // over-long encoding
+        if (cp >= 0xd800 && cp <= 0xdfff)
+            return false; // lone surrogate
+        if (cp > 0x10ffff)
+            return false; // out of range
+        i += 1 + need;
+    }
+    return true;
+}
+function escapeString(bytes, bounds) {
+    const out = [0x22 /* " */];
+    // Decode UTF-8 to code points so \uXXXX escaping (for < 0x20 and lone surrogates) is correct.
+    const s = utf8Str(bytes);
+    for (let i = 0; i < s.length; i++) {
+        const cp = s.codePointAt(i);
+        if (cp > 0xffff) {
+            // Astral — emit the two UTF-16 surrogates as raw UTF-8 bytes (RFC 8785 keeps them, no \u).
+            // Actually RFC 8785 emits astral chars as their UTF-8 bytes (not \u escapes). Emit raw.
+            appendUtf8Bytes(cp, out);
+            i++; // surrogate pair consumed 2 code units
+        }
+        else if (cp < 0x20) {
+            const short = SHORT_ESCAPES[cp];
+            if (short !== undefined) {
+                for (let j = 0; j < short.length; j++)
+                    out.push(short.charCodeAt(j));
+            }
+            else {
+                appendU(cp, out);
+            }
+        }
+        else if (cp === 0x22 || cp === 0x5c) {
+            const short = SHORT_ESCAPES[cp];
+            for (let j = 0; j < short.length; j++)
+                out.push(short.charCodeAt(j));
+        }
+        else if (cp === 0x7f) {
+            // DEL (0x7f): RFC 8785 serializes strings per ECMAScript JSON.stringify, which escapes only
+            // U+0000–U+001F plus quote (0x22) and backslash (0x5c) — so raw DEL is RFC-COMPLIANT, NOT an
+            // RFC deviation. The Elixir reference (the contract per AGENTS rule 7) emits RAW 0x7f here
+            // (jcs.ex:147 has no DEL case, so the general codepoint branch passes it through raw), and the
+            // SDK matches those bytes for identical signed inputs and request digests. Verified:
+            // Jcs.encode("x<DEL>y") -> [34,120,127,121,34].
+            out.push(0x7f);
+        }
+        else {
+            appendUtf8Bytes(cp, out);
+        }
+    }
+    out.push(0x22 /* " */);
+    const result = new Uint8Array(out);
+    // string_bytes bound applies to the decoded value; the escaped form can be longer. We check the
+    // raw bytes against string_bytes at decode time, so no re-check here.
+    void bounds;
+    return result;
+}
+function appendU(cp, out) {
+    const hex = "\\u" + cp.toString(16).padStart(4, "0");
+    for (let i = 0; i < hex.length; i++)
+        out.push(hex.charCodeAt(i));
+}
+function appendUtf8Bytes(cp, out) {
+    if (cp < 0x80)
+        out.push(cp);
+    else if (cp < 0x800) {
+        out.push(0xc0 | (cp >> 6));
+        out.push(0x80 | (cp & 0x3f));
+    }
+    else if (cp < 0x10000) {
+        out.push(0xe0 | (cp >> 12));
+        out.push(0x80 | ((cp >> 6) & 0x3f));
+        out.push(0x80 | (cp & 0x3f));
+    }
+    else {
+        // Astral code points (cp >= 0x10000) — 4-byte UTF-8 (RFC 8785 keeps astral chars as their UTF-8
+        // bytes, not \u escapes). The prior 3-byte-cap branch produced a malformed sequence for astral.
+        out.push(0xf0 | (cp >> 18));
+        out.push(0x80 | ((cp >> 12) & 0x3f));
+        out.push(0x80 | ((cp >> 6) & 0x3f));
+        out.push(0x80 | (cp & 0x3f));
+    }
+}
+// Unsigned UTF-16 code-unit comparison (RFC 8785 §3.2.3). Compare by char code of each UTF-16 unit.
+function utf16Sort(a, b) {
+    const len = Math.min(a.length, b.length);
+    for (let i = 0; i < len; i++) {
+        const ca = a.charCodeAt(i);
+        const cb = b.charCodeAt(i);
+        if (ca !== cb)
+            return ca - cb;
+    }
+    return a.length - b.length;
+}
+//# sourceMappingURL=jcs.js.map

package/dist/src/jcs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jcs.js","sourceRoot":"","sources":["../../src/jcs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,cAAc,EAA+B,MAAM,aAAa,CAAC;AACjG,OAAO,EAAE,OAAO,EAAE,OAAO,EAAe,MAAM,WAAW,CAAC;AAE1D,sFAAsF;AACtF,kGAAkG;AAClG,qGAAqG;AACrG,0FAA0F;AAC1F,qDAAqD;AACrD,EAAE;AACF,wFAAwF;AACxF,iGAAiG;AACjG,kGAAkG;AAClG,oGAAoG;AACpG,sGAAsG;AACtG,yFAAyF;AAEzF,MAAM,UAAU,SAAS,CAAC,KAAa,EAAE,SAAiB,cAAc;IACtE,qGAAqG;IACrG,wEAAwE;IACxE,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,WAAwB,CAAC;QAAE,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC;IAAC,CAAC;IAC5D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iGAAiG;AACjG,6FAA6F;AAC7F,4FAA4F;AAC5F,6FAA6F;AAC7F,0FAA0F;AAC1F,SAAS,IAAI,CAAC,KAAa,EAAE,KAAmB,EAAE,MAAc,EAAE,KAAa,EAAE,KAAa;IAC5F,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,OAAoB,CAAC,CAAC;IACpD,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;QAChB,KAAK,MAAM;YACT,IAAI,KAAK,GAAG,KAAK;gBAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,OAAO,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,IAAI,KAAK,GAAG,KAAK;gBAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC3C,OAAO,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjC,KAAK,KAAK;YACR,8FAA8F;YAC9F,4FAA4F;YAC5F,uBAAuB;YACvB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,mBAAgC,CAAC;gBAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACrJ,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,OAAO,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjC,KAAK,OAAO;YACV,IAAI,KAAK,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,iBAA8B,CAAC;gBAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACnH,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,OAAO,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjC,KAAK,QAAQ;YACX,gGAAgG;YAChG,wFAAwF;YACxF,4FAA4F;YAC5F,6FAA6F;YAC7F,8FAA8F;YAC9F,+DAA+D;YAC/D,IAAI,KAAK,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,cAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACvI,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YAC1C,OAAO,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,aAA0B,CAAC;gBAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC7G,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,IAAI,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7B,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACrD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,gBAA6B,CAAC;gBAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAC/G,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,EAAE,WAAwB,CAAC,CAAC;YAC3D,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAChC,8EAA8E;YAC9E,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,QAAQ;oBAAE,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5D,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,OAAO,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa,EAAE,MAAc;IAC7C,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;IACvB,IAAI,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,aAA0B,CAAC;QAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACvF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;AACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;AACjC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAE3B,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,4FAA4F;AAC5F,kGAAkG;AAClG,mFAAmF;AACnF,SAAS,WAAW,CAAC,CAAS;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,iGAAiG;AACjG,2EAA2E;AAE3E,oFAAoF;AACpF,MAAM,aAAa,GAA2B;IAC5C,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;CACb,CAAC;AAEF,mGAAmG;AACnG,oGAAoG;AACpG,oGAAoG;AACpG,4EAA4E;AAC5E,SAAS,WAAW,CAAC,KAAiB;IACpC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;YAAC,CAAC,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACjC,IAAI,IAAY,CAAC;QACjB,IAAI,GAAW,CAAC;QAChB,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,CAAC,CAAC;YAAC,GAAG,GAAG,IAAI,CAAC;QAAC,CAAC;aAC9C,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,CAAC,CAAC;YAAC,GAAG,GAAG,KAAK,CAAC;QAAC,CAAC;aACpD,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,CAAC,CAAC;YAAC,GAAG,GAAG,OAAO,CAAC;QAAC,CAAC;;YACtD,OAAO,KAAK,CAAC,CAAC,gDAAgD;QACnE,IAAI,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC,CAAC,YAAY;QACxD,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YACzB,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC,CAAC,0BAA0B;YAClE,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,EAAE,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC,CAAC,qBAAqB;QACjD,IAAI,EAAE,IAAI,MAAM,IAAI,EAAE,IAAI,MAAM;YAAE,OAAO,KAAK,CAAC,CAAC,iBAAiB;QACjE,IAAI,EAAE,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC,CAAC,eAAe;QAChD,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,MAAc;IACrD,MAAM,GAAG,GAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrC,8FAA8F;IAC9F,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC;YAChB,2FAA2F;YAC3F,wFAAwF;YACxF,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACzB,CAAC,EAAE,CAAC,CAAC,uCAAuC;QAC9C,CAAC;aAAM,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;oBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAE,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,CAAC;aAAM,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACvB,4FAA4F;YAC5F,6FAA6F;YAC7F,2FAA2F;YAC3F,+FAA+F;YAC/F,qFAAqF;YACrF,gDAAgD;YAChD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;IACnC,gGAAgG;IAChG,sEAAsE;IACtE,KAAK,MAAM,CAAC;IACZ,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,EAAU,EAAE,GAAa;IACxC,MAAM,GAAG,GAAG,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,eAAe,CAAC,EAAU,EAAE,GAAa;IAChD,IAAI,EAAE,GAAG,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACvB,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAC/B,CAAC;SAAM,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;QACxB,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAC/B,CAAC;SAAM,CAAC;QACN,gGAAgG;QAChG,gGAAgG;QAChG,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,oGAAoG;AACpG,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;AAC7B,CAAC"}

package/dist/src/json.d.ts

@@ -0,0 +1,25 @@
+import { type Bounds } from "./bounds.js";
+export type Tagged = {
+    readonly t: "null";
+} | {
+    readonly t: "bool";
+    readonly v: boolean;
+} | {
+    readonly t: "int";
+    readonly v: number;
+} | {
+    readonly t: "float";
+    readonly v: number;
+} | {
+    readonly t: "string";
+    readonly v: Uint8Array;
+} | {
+    readonly t: "array";
+    readonly v: Tagged[];
+} | {
+    readonly t: "object";
+    readonly v: ReadonlyMap<string, Tagged>;
+};
+export declare function jsonDecode(src: Uint8Array, bounds?: Bounds): Tagged;
+export declare function utf8Str(bytes: Uint8Array): string;
+export declare function strUtf8(s: string): Uint8Array;