dero-mcp-server 0.2.2 → 0.4.0

package/dist/bn254.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Thin wrapper around `@noble/curves` bn254 G1 for the FORGE feature.
+ *
+ * Two responsibilities:
+ *   1. Expose DERO's custom Pedersen base point `G` (not the standard bn254
+ *      generator). See [src/dero-curve.ts](./dero-curve.ts) for the source.
+ *   2. Compress/decompress points in **DERO format** (big-endian X + 1 sign
+ *      byte), not the SEC1 format noble uses natively.
+ *
+ * Compression format mirrors `derohe/cryptography/bn256/changes.go:19-35`:
+ *   bytes[0..32] = X big-endian
+ *   bytes[32]    = 0x01 if Y is the larger of the two square roots of x^3 + 3
+ *                  mod P (i.e. Y > P - Y), else 0x00.
+ *
+ * Scalar handling mirrors `proof.go:89` — DERO casts `uint64 → int64` before
+ * passing to `big.Int.SetInt64`, so the uint64 wraparound `18446744073709451616`
+ * becomes scalar `-100000`. `scalarMult` accepts arbitrary signed bigints and
+ * reduces mod the curve order before multiplication.
+ */
+declare const Point: import("@noble/curves/abstract/weierstrass.js").WeierstrassPointCons<bigint>;
+export type DeroPoint = InstanceType<typeof Point>;
+/**
+ * Decompress a 33-byte DERO point. Throws on malformed input or x not on curve.
+ *
+ * Logic mirrors `Decompress` in `cryptography/bn256/changes.go:215-241`:
+ * compute both square roots of x^3 + 3 mod P, then pick smaller/larger based
+ * on the sign byte.
+ */
+export declare function deroDecompress(bytes: Uint8Array): DeroPoint;
+/**
+ * Compress a point to DERO 33-byte format.
+ *
+ * Mirrors `Compress` in `cryptography/bn256/changes.go:19-35`:
+ *   sign = 0 if Y < P - Y, else 1.
+ */
+export declare function deroCompress(point: DeroPoint): Uint8Array;
+/** Convenience: hex string round-trip. */
+export declare function deroDecompressHex(hex: string): DeroPoint;
+/** Convenience: returns lowercase hex of the 33-byte compressed form. */
+export declare function deroCompressHex(point: DeroPoint): string;
+/** DERO's Pedersen base point G (custom — not the standard bn254 generator). */
+export declare const G: DeroPoint;
+/**
+ * Scalar multiplication mirroring `proof.go:89`.
+ *
+ * DERO casts `uint64 → int64 → big.Int` before multiplying, so the uint64
+ * wraparound `2^64 - n` for small `n` becomes the negative scalar `-n`. We
+ * accept arbitrary signed bigints here and reduce mod the curve order before
+ * delegating to noble.
+ */
+export declare function scalarMult(point: DeroPoint, scalar: bigint): DeroPoint;
+/**
+ * Treat `value` as a Go `uint64`, mimic `big.Int.SetInt64(int64(value))`, and
+ * return the resulting signed scalar reduced mod the curve order.
+ *
+ * For the cited 2022 proof's V = 18446743853709551435, this returns the
+ * curve-order reduction of -220000000181 — the same scalar `proof.Prove()` uses.
+ */
+export declare function uint64ToSignedScalar(uintValue: bigint): bigint;
+export declare function add(a: DeroPoint, b: DeroPoint): DeroPoint;
+export declare function subtract(a: DeroPoint, b: DeroPoint): DeroPoint;
+export declare function negate(point: DeroPoint): DeroPoint;
+export declare function pointsEqual(a: DeroPoint, b: DeroPoint): boolean;
+/**
+ * Re-derive each fixture from scalar operations and compare against the
+ * compressed bytes printed by the Go scratch program. Throws on any mismatch.
+ *
+ * This is the cross-implementation correctness gate — if the wiring is wrong
+ * (custom G missing, SEC1 vs DERO compression confused, sqrt root inversion),
+ * one of the six fixtures will fail and forging anything else is unsafe.
+ */
+export declare function verifyDeroBn254(): void;
+export {};
+//# sourceMappingURL=bn254.d.ts.map

package/dist/bn254.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bn254.d.ts","sourceRoot":"","sources":["../src/bn254.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAYH,QAAA,MAAM,KAAK,8EAAiB,CAAA;AAG5B,MAAM,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,KAAK,CAAC,CAAA;AA8ClD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,CA4B3D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,UAAU,CAOzD;AAED,0CAA0C;AAC1C,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAExD;AAED,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAExD;AAMD,gFAAgF;AAChF,eAAO,MAAM,CAAC,EAAE,SAAoD,CAAA;AAEpE;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAMtE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAK9D;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAEzD;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAE9D;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAElD;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAE/D;AAMD;;;;;;;GAOG;AACH,wBAAgB,eAAe,IAAI,IAAI,CA0BtC"}

package/dist/bn254.js

@@ -0,0 +1,205 @@
+/**
+ * Thin wrapper around `@noble/curves` bn254 G1 for the FORGE feature.
+ *
+ * Two responsibilities:
+ *   1. Expose DERO's custom Pedersen base point `G` (not the standard bn254
+ *      generator). See [src/dero-curve.ts](./dero-curve.ts) for the source.
+ *   2. Compress/decompress points in **DERO format** (big-endian X + 1 sign
+ *      byte), not the SEC1 format noble uses natively.
+ *
+ * Compression format mirrors `derohe/cryptography/bn256/changes.go:19-35`:
+ *   bytes[0..32] = X big-endian
+ *   bytes[32]    = 0x01 if Y is the larger of the two square roots of x^3 + 3
+ *                  mod P (i.e. Y > P - Y), else 0x00.
+ *
+ * Scalar handling mirrors `proof.go:89` — DERO casts `uint64 → int64` before
+ * passing to `big.Int.SetInt64`, so the uint64 wraparound `18446744073709451616`
+ * becomes scalar `-100000`. `scalarMult` accepts arbitrary signed bigints and
+ * reduces mod the curve order before multiplication.
+ */
+import { bn254 } from '@noble/curves/bn254.js';
+import { BN254_B, BN254_P, BN254_R, CURVE_FIXTURES, DERO_G_COMPRESSED_HEX, } from './dero-curve.js';
+const Point = bn254.G1.Point;
+const Fp = bn254.G1.Point.Fp;
+// ─────────────────────────────────────────────────────────────────────────────
+// Hex / bytes helpers (private — proof-decode.ts has its own copies).
+// ─────────────────────────────────────────────────────────────────────────────
+function hexToBytes(hex) {
+    if (hex.length % 2 !== 0)
+        throw new Error(`hex: odd length ${hex.length}`);
+    const out = new Uint8Array(hex.length / 2);
+    for (let i = 0; i < out.length; i++) {
+        const b = parseInt(hex.slice(i * 2, i * 2 + 2), 16);
+        if (Number.isNaN(b))
+            throw new Error(`hex: invalid byte "${hex.slice(i * 2, i * 2 + 2)}"`);
+        out[i] = b;
+    }
+    return out;
+}
+function bytesToHex(bytes) {
+    let hex = '';
+    for (const b of bytes)
+        hex += b.toString(16).padStart(2, '0');
+    return hex;
+}
+function bigIntToBE32(value) {
+    if (value < 0n || value >= 1n << 256n) {
+        throw new Error(`bigIntToBE32: out of range ${value}`);
+    }
+    const out = new Uint8Array(32);
+    let v = value;
+    for (let i = 31; i >= 0; i--) {
+        out[i] = Number(v & 0xffn);
+        v >>= 8n;
+    }
+    return out;
+}
+function be32ToBigInt(bytes, offset = 0) {
+    let v = 0n;
+    for (let i = 0; i < 32; i++)
+        v = (v << 8n) | BigInt(bytes[offset + i]);
+    return v;
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// DERO-format compress / decompress
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Decompress a 33-byte DERO point. Throws on malformed input or x not on curve.
+ *
+ * Logic mirrors `Decompress` in `cryptography/bn256/changes.go:215-241`:
+ * compute both square roots of x^3 + 3 mod P, then pick smaller/larger based
+ * on the sign byte.
+ */
+export function deroDecompress(bytes) {
+    if (bytes.length !== 33) {
+        throw new Error(`deroDecompress: expected 33 bytes, got ${bytes.length}`);
+    }
+    const sign = bytes[32];
+    if (sign !== 0 && sign !== 1) {
+        throw new Error(`deroDecompress: invalid sign byte 0x${sign.toString(16).padStart(2, '0')}`);
+    }
+    const x = be32ToBigInt(bytes, 0);
+    if (x >= BN254_P)
+        throw new Error(`deroDecompress: x >= P`);
+    // rhs = x^3 + B mod P, computed in the field.
+    const xF = Fp.create(x);
+    const x3 = Fp.mul(Fp.mul(xF, xF), xF);
+    const rhs = Fp.add(x3, Fp.create(BN254_B));
+    const y1 = Fp.sqrt(rhs);
+    if (y1 === undefined)
+        throw new Error('deroDecompress: x not on curve (no sqrt)');
+    const y2 = Fp.neg(y1);
+    // Confirm we actually got a square root (defensive — Fp.sqrt may return any root).
+    if (Fp.mul(y1, y1) !== rhs)
+        throw new Error('deroDecompress: sqrt verification failed');
+    const smaller = y1 < y2 ? y1 : y2;
+    const larger = y1 < y2 ? y2 : y1;
+    const y = sign === 0 ? smaller : larger;
+    return Point.fromAffine({ x: xF, y });
+}
+/**
+ * Compress a point to DERO 33-byte format.
+ *
+ * Mirrors `Compress` in `cryptography/bn256/changes.go:19-35`:
+ *   sign = 0 if Y < P - Y, else 1.
+ */
+export function deroCompress(point) {
+    const { x, y } = point.toAffine();
+    const out = new Uint8Array(33);
+    out.set(bigIntToBE32(x), 0);
+    const negY = (BN254_P - y) % BN254_P;
+    out[32] = y < negY ? 0 : 1;
+    return out;
+}
+/** Convenience: hex string round-trip. */
+export function deroDecompressHex(hex) {
+    return deroDecompress(hexToBytes(hex));
+}
+/** Convenience: returns lowercase hex of the 33-byte compressed form. */
+export function deroCompressHex(point) {
+    return bytesToHex(deroCompress(point));
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Point operations
+// ─────────────────────────────────────────────────────────────────────────────
+/** DERO's Pedersen base point G (custom — not the standard bn254 generator). */
+export const G = deroDecompressHex(DERO_G_COMPRESSED_HEX);
+/**
+ * Scalar multiplication mirroring `proof.go:89`.
+ *
+ * DERO casts `uint64 → int64 → big.Int` before multiplying, so the uint64
+ * wraparound `2^64 - n` for small `n` becomes the negative scalar `-n`. We
+ * accept arbitrary signed bigints here and reduce mod the curve order before
+ * delegating to noble.
+ */
+export function scalarMult(point, scalar) {
+    const r = BN254_R;
+    let s = scalar % r;
+    if (s < 0n)
+        s += r;
+    if (s === 0n)
+        return Point.ZERO;
+    return point.multiply(s);
+}
+/**
+ * Treat `value` as a Go `uint64`, mimic `big.Int.SetInt64(int64(value))`, and
+ * return the resulting signed scalar reduced mod the curve order.
+ *
+ * For the cited 2022 proof's V = 18446743853709551435, this returns the
+ * curve-order reduction of -220000000181 — the same scalar `proof.Prove()` uses.
+ */
+export function uint64ToSignedScalar(uintValue) {
+    if (uintValue < 0n || uintValue >= 1n << 64n) {
+        throw new Error(`uint64ToSignedScalar: out of uint64 range ${uintValue}`);
+    }
+    return uintValue >= 1n << 63n ? uintValue - (1n << 64n) : uintValue;
+}
+export function add(a, b) {
+    return a.add(b);
+}
+export function subtract(a, b) {
+    return a.subtract(b);
+}
+export function negate(point) {
+    return point.negate();
+}
+export function pointsEqual(a, b) {
+    return a.equals(b);
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Self-test against the Go-extracted fixtures.
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Re-derive each fixture from scalar operations and compare against the
+ * compressed bytes printed by the Go scratch program. Throws on any mismatch.
+ *
+ * This is the cross-implementation correctness gate — if the wiring is wrong
+ * (custom G missing, SEC1 vs DERO compression confused, sqrt root inversion),
+ * one of the six fixtures will fail and forging anything else is unsafe.
+ */
+export function verifyDeroBn254() {
+    const checks = [
+        ['G', CURVE_FIXTURES.G, G],
+        ['2G', CURVE_FIXTURES.twoG, G.double()],
+        ['3G', CURVE_FIXTURES.threeG, G.double().add(G)],
+        ['-G', CURVE_FIXTURES.negG, G.negate()],
+        ['G*100000', CURVE_FIXTURES.gMul1Dero, scalarMult(G, 100000n)],
+        [
+            'G*int64(uint_wrap)',
+            CURVE_FIXTURES.gMulNeg1DeroAtoms,
+            scalarMult(G, uint64ToSignedScalar(18446744073709451616n)),
+        ],
+        [
+            'G*int64(cited2022V)',
+            CURVE_FIXTURES.gMulCited2022V,
+            scalarMult(G, uint64ToSignedScalar(18446743853709551435n)),
+        ],
+    ];
+    for (const [label, expectedHex, point] of checks) {
+        const actualHex = deroCompressHex(point);
+        if (actualHex !== expectedHex) {
+            throw new Error(`verifyDeroBn254: ${label} mismatch\n  expected: ${expectedHex}\n  actual:   ${actualHex}`);
+        }
+    }
+}
+//# sourceMappingURL=bn254.js.map

package/dist/bn254.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bn254.js","sourceRoot":"","sources":["../src/bn254.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AAE9C,OAAO,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,cAAc,EACd,qBAAqB,GACtB,MAAM,iBAAiB,CAAA;AAExB,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAA;AAC5B,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAA;AAI5B,gFAAgF;AAChF,sEAAsE;AACtE,gFAAgF;AAEhF,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAA;IAC1E,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QACnD,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;QAC1F,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACZ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB;IACnC,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAC7D,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAA;IAC9B,IAAI,CAAC,GAAG,KAAK,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAA;QAC1B,CAAC,KAAK,EAAE,CAAA;IACV,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,MAAM,GAAG,CAAC;IACjD,IAAI,CAAC,GAAG,EAAE,CAAA;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IACtE,OAAO,CAAC,CAAA;AACV,CAAC;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,KAAiB;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAA;IACtB,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IAChC,IAAI,CAAC,IAAI,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAA;IAE3D,8CAA8C;IAC9C,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvB,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;IACrC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;IAE1C,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACvB,IAAI,EAAE,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IACjF,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAErB,mFAAmF;IACnF,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAEvF,MAAM,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IACjC,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAChC,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAA;IAEvC,OAAO,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAgB;IAC3C,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAA;IACjC,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAA;IAC9B,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3B,MAAM,IAAI,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,OAAO,CAAA;IACpC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1B,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,OAAO,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,KAAgB;IAC9C,OAAO,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,gFAAgF;AAChF,MAAM,CAAC,MAAM,CAAC,GAAc,iBAAiB,CAAC,qBAAqB,CAAC,CAAA;AAEpE;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,KAAgB,EAAE,MAAc;IACzD,MAAM,CAAC,GAAG,OAAO,CAAA;IACjB,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAA;IAClB,IAAI,CAAC,GAAG,EAAE;QAAE,CAAC,IAAI,CAAC,CAAA;IAClB,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC/B,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AAC1B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,IAAI,SAAS,GAAG,EAAE,IAAI,SAAS,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,6CAA6C,SAAS,EAAE,CAAC,CAAA;IAC3E,CAAC;IACD,OAAO,SAAS,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAY,EAAE,CAAY;IAC5C,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AACjB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAY,EAAE,CAAY;IACjD,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAgB;IACrC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,CAAY,EAAE,CAAY;IACpD,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AACpB,CAAC;AAED,gFAAgF;AAChF,+CAA+C;AAC/C,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe;IAC7B,MAAM,MAAM,GAAuC;QACjD,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACvC,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACvC,CAAC,UAAU,EAAE,cAAc,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,EAAE,OAAQ,CAAC,CAAC;QAC/D;YACE,oBAAoB;YACpB,cAAc,CAAC,iBAAiB;YAChC,UAAU,CAAC,CAAC,EAAE,oBAAoB,CAAC,qBAAqB,CAAC,CAAC;SAC3D;QACD;YACE,qBAAqB;YACrB,cAAc,CAAC,cAAc;YAC7B,UAAU,CAAC,CAAC,EAAE,oBAAoB,CAAC,qBAAqB,CAAC,CAAC;SAC3D;KACF,CAAA;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;QACxC,IAAI,SAAS,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,oBAAoB,KAAK,0BAA0B,WAAW,iBAAiB,SAAS,EAAE,CAC3F,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/citations.d.ts

@@ -66,5 +66,75 @@ export declare const RELATED_DOCS_BY_TOOL: Record<string, readonly RelatedDocsEn
  *   return { ...rpcResult, ...(related_docs ? { related_docs } : {}) }
  */
 export declare function relatedDocsFor(toolName: string): DeroCitation[] | undefined;
+export type FlaggedArtifactMatcher = {
+    kind: 'topoheight';
+    value: number;
+} | {
+    kind: 'block_hash';
+    value: string;
+} | {
+    kind: 'tx_hash';
+    value: string;
+} | {
+    kind: 'proof_string';
+    value: string;
+};
+export type FlaggedArtifact = {
+    /** Stable human-readable id for logs and downstream tooling. */
+    id: string;
+    matchers: readonly FlaggedArtifactMatcher[];
+    /** Short factual statement appended to responses that match this artifact. */
+    context_note: string;
+    related_docs: readonly RelatedDocsEntry[];
+    /**
+     * The most rebuttal-relevant signed-DERO amount for `dero_forge_demo_proof`
+     * to use when `audit_chain_artifact_claim` is called with
+     * `include_forge_demo: true` and this artifact matches. For the 2022 claim
+     * this is the report's headline amount — forging the same display number
+     * for a non-receiver ring slot is the most direct demonstration that the
+     * pasted string is a display object, not a consensus statement.
+     */
+    demo_amount_dero?: string;
+};
+export declare const FLAGGED_CHAIN_ARTIFACTS: readonly FlaggedArtifact[];
+/**
+ * Input shape passed by tool handlers. Optional fields let each tool pass
+ * only the inputs it actually has (e.g. dero_get_block_header_by_topo_height
+ * only knows about topoheight; dero_get_transaction only knows about
+ * tx_hashes). String comparisons are case-insensitive on hex values.
+ */
+export type FlaggedArtifactQuery = {
+    topoheight?: number;
+    block_hash?: string;
+    tx_hash?: string;
+    tx_hashes?: readonly string[];
+    proof_string?: string;
+};
+/**
+ * Return all flagged artifacts whose matchers fire against the given inputs.
+ *
+ * Multiple matches return multiple artifacts (rare today; would happen if the
+ * same TX got cited in multiple false claims). Tool handlers should merge all
+ * matches into a single response.
+ */
+export declare function flaggedArtifactsForInput(query: FlaggedArtifactQuery): FlaggedArtifact[];
+/**
+ * Build the response-side enrichment for matched artifacts: a context note
+ * (joined if multiple match) plus prepended citations for each match.
+ *
+ * `baseRelatedDocs` is the tool's existing relatedDocsFor() output (or undefined).
+ * Returns `undefined` when no artifacts match — caller should noop in that case.
+ *
+ * Usage in a tool handler:
+ *   const enrichment = enrichWithFlaggedArtifacts(
+ *     { topoheight: args.topoheight },
+ *     relatedDocsFor('dero_get_block_header_by_topo_height'),
+ *   )
+ *   return { ...result, ...(enrichment ?? {}) }
+ */
+export declare function enrichWithFlaggedArtifacts(query: FlaggedArtifactQuery, baseRelatedDocs: DeroCitation[] | undefined): {
+    context_note: string;
+    related_docs: DeroCitation[];
+} | undefined;
 export {};
 //# sourceMappingURL=citations.d.ts.map

package/dist/citations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../src/citations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAEpE,MAAM,MAAM,YAAY,GAAG;IACzB,0FAA0F;IAC1F,MAAM,EAAE,WAAW,CAAA;IACnB,OAAO,EAAE,cAAc,CAAA;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,aAAa,EAAE,MAAM,CAAA;IACrB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAQD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,cAAc,EACvB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,GACZ,YAAY,CASd;AAED;;;;;;;;;;;;GAYG;AACH,KAAK,gBAAgB,GAAG;IAAE,OAAO,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAEhF,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAqGnE,CAAA;AAEV;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,EAAE,GAAG,SAAS,CAI3E"}
+{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../src/citations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAEpE,MAAM,MAAM,YAAY,GAAG;IACzB,0FAA0F;IAC1F,MAAM,EAAE,WAAW,CAAA;IACnB,OAAO,EAAE,cAAc,CAAA;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,aAAa,EAAE,MAAM,CAAA;IACrB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAWD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,cAAc,EACvB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,GACZ,YAAY,CASd;AAED;;;;;;;;;;;;GAYG;AACH,KAAK,gBAAgB,GAAG;IAAE,OAAO,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAEhF,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CA8InE,CAAA;AAEV;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,EAAE,GAAG,SAAS,CAI3E;AAsBD,MAAM,MAAM,sBAAsB,GAC9B;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAE3C,MAAM,MAAM,eAAe,GAAG;IAC5B,gEAAgE;IAChE,EAAE,EAAE,MAAM,CAAA;IACV,QAAQ,EAAE,SAAS,sBAAsB,EAAE,CAAA;IAC3C,8EAA8E;IAC9E,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAA;IACzC;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAA;AAED,eAAO,MAAM,uBAAuB,EAAE,SAAS,eAAe,EAqCpD,CAAA;AAEV;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAA;CACtB,CAAA;AAOD;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,oBAAoB,GAC1B,eAAe,EAAE,CAyBnB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,oBAAoB,EAC3B,eAAe,EAAE,YAAY,EAAE,GAAG,SAAS,GAC1C;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,YAAY,EAAE,CAAA;CAAE,GAAG,SAAS,CA2BpE"}

package/dist/citations.js

@@ -23,7 +23,10 @@ function buildCanonicalUrl(product, slug) {
     const trimmed = slug.replace(/^\/+|\/+$/g, '');
     if (!trimmed)
         return `${DOC_BASE_URLS[product]}/`;
-    return `${DOC_BASE_URLS[product]}/${trimmed}`;
+    // .md mirror suffix points agents at the LLM-canonical Markdown surface.
+    // All four ecosystem sites (derod, tela, hologram, deropay) now ship the
+    // App Router .md mirror route, so the suffix applies universally.
+    return `${DOC_BASE_URLS[product]}/${trimmed}.md`;
 }
 /**
  * Build a DeroCitation pointing at one bundled docs page.
@@ -115,6 +118,47 @@ export const RELATED_DOCS_BY_TOOL = {
             title: "DVM-BASIC: DERO's Smart Contract Language Guide | DERO Blockchain",
         },
     ],
+    dero_decode_proof_string: [
+        {
+            product: 'derod',
+            slug: 'integrity/payload-vs-transaction-proofs',
+            title: 'Proof Types Explained: Transaction vs. Payload Proofs | DERO Blockchain',
+        },
+        {
+            product: 'derod',
+            slug: 'integrity/negative-transfer-protection',
+            title: 'Negative Transfer Protection: Cryptographic Impossibility | DERO Blockchain',
+        },
+    ],
+    audit_chain_artifact_claim: [
+        {
+            product: 'derod',
+            slug: 'integrity/payload-vs-transaction-proofs',
+            title: 'Proof Types Explained: Transaction vs. Payload Proofs | DERO Blockchain',
+        },
+        {
+            product: 'derod',
+            slug: 'integrity/negative-transfer-protection',
+            title: 'Negative Transfer Protection: Cryptographic Impossibility | DERO Blockchain',
+        },
+    ],
+    dero_forge_demo_proof: [
+        {
+            product: 'derod',
+            slug: 'integrity/payload-vs-transaction-proofs',
+            title: 'Proof Types Explained: Transaction vs. Payload Proofs | DERO Blockchain',
+        },
+        {
+            product: 'derod',
+            slug: 'integrity/negative-transfer-protection',
+            title: 'Negative Transfer Protection: Cryptographic Impossibility | DERO Blockchain',
+        },
+        {
+            product: 'derod',
+            slug: 'integrity/range-proof-integrity',
+            title: "Range Proof Integrity: How DERO's Bulletproof Binds Amounts | DERO Blockchain",
+        },
+    ],
     // Composite #2 (`explain_smart_contract`) curates all four DVM docs so its
     // heuristic can elevate whichever page best matches the detected surface
     // (token / registry / minimal / generic). The composite re-orders this
@@ -159,4 +203,120 @@ export function relatedDocsFor(toolName) {
         return undefined;
     return entries.map((entry) => buildDeroCitation(entry.product, entry.slug, entry.title));
 }
+export const FLAGGED_CHAIN_ARTIFACTS = [
+    {
+        id: '2022-inflation-claim',
+        matchers: [
+            { kind: 'topoheight', value: 1_081_893 },
+            { kind: 'block_hash', value: 'b6bd914f7fb1c79788fe8676c277e58e7bb5a904317afb096b1d2793af9aed13' },
+            { kind: 'tx_hash', value: '5bbe1b7eecfe3447cb045b1197a07a214b456968eda8a3d5a90f5fae9ce57e55' },
+            {
+                kind: 'proof_string',
+                value: 'deroproof1qyyj0cgu3htmkumr79sgca75vwsx8kx7zkrjg0nfez46w36qyx4kwq9zvfyyskpqvdpcfhkhk4m7y9d77ehyj7yhnnrv9z0tjr9m5fqe2yx9t27dwtdxy4j4r0llll7vcmaxwjcl8jzfq',
+            },
+        ],
+        context_note: 'This block/transaction/proof string appears in publicly circulated 2022 inflation claims. The cited payload proof is a user-supplied display object — not a consensus record — and the alleged negative-transfer mechanism cannot produce a verifying range proof. See related_docs for the technical rebuttal.',
+        demo_amount_dero: '-2200000.00181',
+        // TODO: once `integrity/inflation-claim` ships and the bundled docs index
+        // refreshes, prepend it as the primary citation:
+        //   { product: 'derod', slug: 'integrity/inflation-claim', title: '<exact bundled title>' }
+        related_docs: [
+            {
+                product: 'derod',
+                slug: 'integrity/negative-transfer-protection',
+                title: 'Negative Transfer Protection: Cryptographic Impossibility | DERO Blockchain',
+            },
+            {
+                product: 'derod',
+                slug: 'integrity/payload-vs-transaction-proofs',
+                title: 'Proof Types Explained: Transaction vs. Payload Proofs | DERO Blockchain',
+            },
+            {
+                product: 'derod',
+                slug: 'integrity/ring-member-behavior',
+                title: 'Ring Member Behavior: Understanding Decoy Participation | DERO Blockchain',
+            },
+        ],
+    },
+];
+/** Normalize a hex value for case-insensitive comparison. Non-hex strings pass through unchanged. */
+function normalizeHex(value) {
+    return value.trim().toLowerCase();
+}
+/**
+ * Return all flagged artifacts whose matchers fire against the given inputs.
+ *
+ * Multiple matches return multiple artifacts (rare today; would happen if the
+ * same TX got cited in multiple false claims). Tool handlers should merge all
+ * matches into a single response.
+ */
+export function flaggedArtifactsForInput(query) {
+    const matches = [];
+    const queryBlockHash = query.block_hash ? normalizeHex(query.block_hash) : undefined;
+    const queryTxHashes = [];
+    if (query.tx_hash)
+        queryTxHashes.push(normalizeHex(query.tx_hash));
+    if (query.tx_hashes)
+        for (const h of query.tx_hashes)
+            queryTxHashes.push(normalizeHex(h));
+    const queryProof = query.proof_string?.trim();
+    for (const artifact of FLAGGED_CHAIN_ARTIFACTS) {
+        const hit = artifact.matchers.some((m) => {
+            switch (m.kind) {
+                case 'topoheight':
+                    return query.topoheight !== undefined && query.topoheight === m.value;
+                case 'block_hash':
+                    return queryBlockHash !== undefined && queryBlockHash === normalizeHex(m.value);
+                case 'tx_hash':
+                    return queryTxHashes.includes(normalizeHex(m.value));
+                case 'proof_string':
+                    return queryProof !== undefined && queryProof === m.value;
+            }
+        });
+        if (hit)
+            matches.push(artifact);
+    }
+    return matches;
+}
+/**
+ * Build the response-side enrichment for matched artifacts: a context note
+ * (joined if multiple match) plus prepended citations for each match.
+ *
+ * `baseRelatedDocs` is the tool's existing relatedDocsFor() output (or undefined).
+ * Returns `undefined` when no artifacts match — caller should noop in that case.
+ *
+ * Usage in a tool handler:
+ *   const enrichment = enrichWithFlaggedArtifacts(
+ *     { topoheight: args.topoheight },
+ *     relatedDocsFor('dero_get_block_header_by_topo_height'),
+ *   )
+ *   return { ...result, ...(enrichment ?? {}) }
+ */
+export function enrichWithFlaggedArtifacts(query, baseRelatedDocs) {
+    const matches = flaggedArtifactsForInput(query);
+    if (matches.length === 0)
+        return undefined;
+    const context_note = matches.map((a) => a.context_note).join('\n\n');
+    // Prepend artifact citations (de-duped against baseline by canonical_url).
+    const seen = new Set();
+    const merged = [];
+    for (const artifact of matches) {
+        for (const entry of artifact.related_docs) {
+            const cite = buildDeroCitation(entry.product, entry.slug, entry.title);
+            if (!seen.has(cite.canonical_url)) {
+                merged.push(cite);
+                seen.add(cite.canonical_url);
+            }
+        }
+    }
+    if (baseRelatedDocs) {
+        for (const cite of baseRelatedDocs) {
+            if (!seen.has(cite.canonical_url)) {
+                merged.push(cite);
+                seen.add(cite.canonical_url);
+            }
+        }
+    }
+    return { context_note, related_docs: merged };
+}
 //# sourceMappingURL=citations.js.map

package/dist/citations.js.map

@@ -1 +1 @@
-{"version":3,"file":"citations.js","sourceRoot":"","sources":["../src/citations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,aAAa,EAAuB,MAAM,iBAAiB,CAAA;AAapE,SAAS,iBAAiB,CAAC,OAAuB,EAAE,IAAY;IAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAA;IAC9C,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAA;IACjD,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,EAAE,CAAA;AAC/C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAuB,EACvB,IAAY,EACZ,KAAa;IAEb,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,OAAO;QACP,IAAI;QACJ,KAAK;QACL,aAAa,EAAE,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAC/C,OAAO,EAAE,IAAI;KACd,CAAA;AACH,CAAC;AAiBD,MAAM,CAAC,MAAM,oBAAoB,GAAgD;IAC/E,aAAa,EAAE;QACb;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;KACF;IACD,WAAW,EAAE;QACX;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,6EAA6E;SACrF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,0BAA0B;YAChC,KAAK,EAAE,+EAA+E;SACvF;KACF;IACD,qBAAqB,EAAE;QACrB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,sCAAsC;YAC5C,KAAK,EAAE,uEAAuE;SAC/E;KACF;IACD,qBAAqB,EAAE;QACrB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;KACF;IACD,8BAA8B,EAAE;QAC9B;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,6EAA6E;SACrF;KACF;IACD,oBAAoB,EAAE;QACpB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,sCAAsC;YAC5C,KAAK,EAAE,uEAAuE;SAC/E;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;KACF;IACD,2EAA2E;IAC3E,yEAAyE;IACzE,uEAAuE;IACvE,sEAAsE;IACtE,oEAAoE;IACpE,2BAA2B;IAC3B,sBAAsB,EAAE;QACtB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,6EAA6E;SACrF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,0BAA0B;YAChC,KAAK,EAAE,+EAA+E;SACvF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,sCAAsC;YAC5C,KAAK,EAAE,uEAAuE;SAC/E;KACF;CACO,CAAA;AAEV;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAC9C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACtD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC1F,CAAC"}
+{"version":3,"file":"citations.js","sourceRoot":"","sources":["../src/citations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,aAAa,EAAuB,MAAM,iBAAiB,CAAA;AAapE,SAAS,iBAAiB,CAAC,OAAuB,EAAE,IAAY;IAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAA;IAC9C,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAA;IACjD,yEAAyE;IACzE,yEAAyE;IACzE,kEAAkE;IAClE,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,KAAK,CAAA;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAuB,EACvB,IAAY,EACZ,KAAa;IAEb,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,OAAO;QACP,IAAI;QACJ,KAAK;QACL,aAAa,EAAE,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAC/C,OAAO,EAAE,IAAI;KACd,CAAA;AACH,CAAC;AAiBD,MAAM,CAAC,MAAM,oBAAoB,GAAgD;IAC/E,aAAa,EAAE;QACb;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;KACF;IACD,WAAW,EAAE;QACX;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,6EAA6E;SACrF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,0BAA0B;YAChC,KAAK,EAAE,+EAA+E;SACvF;KACF;IACD,qBAAqB,EAAE;QACrB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,sCAAsC;YAC5C,KAAK,EAAE,uEAAuE;SAC/E;KACF;IACD,qBAAqB,EAAE;QACrB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;KACF;IACD,8BAA8B,EAAE;QAC9B;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,iEAAiE;SACzE;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,6EAA6E;SACrF;KACF;IACD,oBAAoB,EAAE;QACpB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,sCAAsC;YAC5C,KAAK,EAAE,uEAAuE;SAC/E;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;KACF;IACD,wBAAwB,EAAE;QACxB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,yCAAyC;YAC/C,KAAK,EAAE,yEAAyE;SACjF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wCAAwC;YAC9C,KAAK,EAAE,6EAA6E;SACrF;KACF;IACD,0BAA0B,EAAE;QAC1B;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,yCAAyC;YAC/C,KAAK,EAAE,yEAAyE;SACjF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wCAAwC;YAC9C,KAAK,EAAE,6EAA6E;SACrF;KACF;IACD,qBAAqB,EAAE;QACrB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,yCAAyC;YAC/C,KAAK,EAAE,yEAAyE;SACjF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,wCAAwC;YAC9C,KAAK,EAAE,6EAA6E;SACrF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,+EAA+E;SACvF;KACF;IACD,2EAA2E;IAC3E,yEAAyE;IACzE,uEAAuE;IACvE,sEAAsE;IACtE,oEAAoE;IACpE,2BAA2B;IAC3B,sBAAsB,EAAE;QACtB;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,6EAA6E;SACrF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,mEAAmE;SAC3E;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,0BAA0B;YAChC,KAAK,EAAE,+EAA+E;SACvF;QACD;YACE,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,sCAAsC;YAC5C,KAAK,EAAE,uEAAuE;SAC/E;KACF;CACO,CAAA;AAEV;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAC9C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACtD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC1F,CAAC;AA8CD,MAAM,CAAC,MAAM,uBAAuB,GAA+B;IACjE;QACE,EAAE,EAAE,sBAAsB;QAC1B,QAAQ,EAAE;YACR,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE;YACxC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,kEAAkE,EAAE;YACjG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,kEAAkE,EAAE;YAC9F;gBACE,IAAI,EAAE,cAAc;gBACpB,KAAK,EACH,yJAAyJ;aAC5J;SACF;QACD,YAAY,EACV,iTAAiT;QACnT,gBAAgB,EAAE,gBAAgB;QAClC,0EAA0E;QAC1E,iDAAiD;QACjD,4FAA4F;QAC5F,YAAY,EAAE;YACZ;gBACE,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,wCAAwC;gBAC9C,KAAK,EAAE,6EAA6E;aACrF;YACD;gBACE,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,yCAAyC;gBAC/C,KAAK,EAAE,yEAAyE;aACjF;YACD;gBACE,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,gCAAgC;gBACtC,KAAK,EAAE,2EAA2E;aACnF;SACF;KACF;CACO,CAAA;AAgBV,qGAAqG;AACrG,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;AACnC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAA2B;IAE3B,MAAM,OAAO,GAAsB,EAAE,CAAA;IAErC,MAAM,cAAc,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACpF,MAAM,aAAa,GAAa,EAAE,CAAA;IAClC,IAAI,KAAK,CAAC,OAAO;QAAE,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;IAClE,IAAI,KAAK,CAAC,SAAS;QAAE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS;YAAE,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACzF,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,CAAA;IAE7C,KAAK,MAAM,QAAQ,IAAI,uBAAuB,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,YAAY;oBACf,OAAO,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC,CAAC,KAAK,CAAA;gBACvE,KAAK,YAAY;oBACf,OAAO,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;gBACjF,KAAK,SAAS;oBACZ,OAAO,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;gBACtD,KAAK,cAAc;oBACjB,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,CAAC,CAAC,KAAK,CAAA;YAC7D,CAAC;QACH,CAAC,CAAC,CAAA;QACF,IAAI,GAAG;YAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAA2B,EAC3B,eAA2C;IAE3C,MAAM,OAAO,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAA;IAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAE1C,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAEpE,2EAA2E;IAC3E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,MAAM,GAAmB,EAAE,CAAA;IACjC,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;YACtE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACjB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,eAAe,EAAE,CAAC;QACpB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACjB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,CAAA;AAC/C,CAAC"}

package/dist/composites/_shared.d.ts

@@ -10,7 +10,7 @@
  * helpers (e.g. narrative builders specific to one composite's response
  * shape) should live next to that composite, not in this file.
  *
- * See `docs/composites.md` for the design contract that governs which
+ * See the composite design contract for which
  * utilities live here and the gate every composite must satisfy before it
  * lands on main.
  */

package/dist/composites/_shared.js

@@ -10,7 +10,7 @@
  * helpers (e.g. narrative builders specific to one composite's response
  * shape) should live next to that composite, not in this file.
  *
- * See `docs/composites.md` for the design contract that governs which
+ * See the composite design contract for which
  * utilities live here and the gate every composite must satisfy before it
  * lands on main.
  */