dero-mcp-server 0.2.2 → 0.4.1

package/dist/composites/audit-chain-artifact-claim.d.ts

@@ -0,0 +1,128 @@
+/**
+ * `audit_chain_artifact_claim` — composite #6.
+ *
+ * Given a chain artifact (block topoheight, block hash, TX hash, and/or
+ * proof string), return a single verdict-shaped response that combines:
+ *   - the canonical chain facts (block reward, txcount, TX acceptance, …)
+ *   - a check against the flagged-artifact registry (false-claim citations)
+ *   - a narrative the agent can relay verbatim
+ *   - curated `related_docs` (rebuttal pages when flagged, generic when clean)
+ *
+ * Use case: a user asks an AI "what's going on with DERO block 1,081,893?"
+ * or pastes a `deroproof…` string. Instead of returning raw RPC numbers
+ * with no framing — which can read as "agreement with whatever framing the
+ * user implied" under hostile readership — this composite returns a
+ * factual verdict + the rebuttal context.
+ *
+ * Pairs with the silent enrichment in `citations.ts`: that fires when an
+ * agent queries primitives directly; this composite is for when an agent
+ * (or user) explicitly wants to audit an artifact end-to-end.
+ *
+ * Failure model:
+ *   - Validates that at least one artifact field is provided. Throws
+ *     `INVALID_INPUT` otherwise — handled by `withStructuredErrors`.
+ *   - Daemon calls are non-required (kept independent so the verdict still
+ *     lands even if the daemon is offline). Their failures degrade
+ *     `chain_facts` to null and surface in `_diagnostics`.
+ *   - Proof-string decoding errors are caught and surfaced under
+ *     `proof_decode.error` rather than throwing — the verdict still lands.
+ */
+import { z } from 'zod';
+import { type DeroCitation } from '../citations.js';
+import { interpretValueTransfer } from '../proof-decode.js';
+import { type ForgeDemoProofResult } from './forge-demo-proof.js';
+import { type DeroDaemonRpc } from './_shared.js';
+export declare const auditChainArtifactClaimInputSchema: {
+    readonly topoheight: z.ZodOptional<z.ZodNumber>;
+    readonly block_hash: z.ZodOptional<z.ZodString>;
+    readonly tx_hash: z.ZodOptional<z.ZodString>;
+    readonly proof_string: z.ZodOptional<z.ZodString>;
+    readonly include_forge_demo: z.ZodOptional<z.ZodBoolean>;
+};
+export type AuditChainArtifactClaimInput = {
+    topoheight?: number;
+    block_hash?: string;
+    tx_hash?: string;
+    proof_string?: string;
+    include_forge_demo?: boolean;
+};
+type BlockHeaderResult = {
+    block_header?: {
+        topoheight?: number;
+        height?: number;
+        hash?: string;
+        timestamp?: number;
+        reward?: number;
+        txcount?: number;
+    };
+    status?: string;
+};
+type AuditVerdict = 'cited_in_false_claim' | 'clean';
+type AuditChainFacts = {
+    block_header?: BlockHeaderResult['block_header'];
+    transaction_status?: {
+        accepted: boolean;
+        in_pool: boolean;
+        block_height: number | null;
+        valid_block: string | null;
+    };
+};
+type AuditProofDecode = {
+    hrp?: string;
+    is_proof?: boolean;
+    value_transfer_uint64?: string;
+    value_interpretation?: ReturnType<typeof interpretValueTransfer>;
+    error?: string;
+};
+/**
+ * Slimmed-down embedded forge result. Strips the duplicate citations/context
+ * note (the audit response already carries those at the top level) and
+ * diagnostics. Keeps the math + the actual forged string + the receiver +
+ * the self-check — the pieces that make this useful for the agent.
+ */
+export type EmbeddedForgeDemo = {
+    skipped: false;
+    forged_proof_string: string;
+    target_amount: ForgeDemoProofResult['target_amount'];
+    ring_slot: number;
+    ring_size: number;
+    ring_receiver_address: string | null;
+    math: ForgeDemoProofResult['math'];
+    self_check: ForgeDemoProofResult['self_check'];
+    explorer_display_amount: string;
+    demo_amount_source: 'flagged_artifact' | 'proof_string_v' | 'default';
+} | {
+    skipped: true;
+    reason: string;
+};
+export type AuditChainArtifactClaimResult = {
+    verdict: AuditVerdict;
+    inputs: AuditChainArtifactClaimInput;
+    matched_artifacts: Array<{
+        id: string;
+        matched_by: string[];
+    }>;
+    context_note: string | null;
+    chain_facts: AuditChainFacts | null;
+    proof_decode: AuditProofDecode | null;
+    forge_demo: EmbeddedForgeDemo | null;
+    narrative: string;
+    related_docs: DeroCitation[];
+    _diagnostics: {
+        step_latencies: Record<string, number>;
+        halted_at: string | null;
+        total_ms: number;
+    };
+};
+/**
+ * Execute the audit. Composes (in this order):
+ *   1. Flagged-artifact match against the inputs.
+ *   2. Optional `DERO.GetBlockHeaderByTopoHeight` / `DERO.GetBlockHeaderByHash`.
+ *   3. Optional `DERO.GetTransaction` for accepted/pool status.
+ *   4. Optional proof-string decode.
+ *   5. Optional forge-demo (when `include_forge_demo: true` and tx_hash present).
+ *   6. Narrative + related_docs assembly.
+ */
+export declare function auditChainArtifactClaim(rpc: DeroDaemonRpc, input: AuditChainArtifactClaimInput): Promise<AuditChainArtifactClaimResult>;
+export {};
+//# sourceMappingURL=audit-chain-artifact-claim.d.ts.map

package/dist/composites/audit-chain-artifact-claim.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-chain-artifact-claim.d.ts","sourceRoot":"","sources":["../../src/composites/audit-chain-artifact-claim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAIL,KAAK,YAAY,EAElB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAoB,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAC7E,OAAO,EAAkB,KAAK,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AACjF,OAAO,EAKL,KAAK,aAAa,EACnB,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,kCAAkC;;;;;;CA4BrC,CAAA;AAEV,MAAM,MAAM,4BAA4B,GAAG;IACzC,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,kBAAkB,CAAC,EAAE,OAAO,CAAA;CAC7B,CAAA;AAED,KAAK,iBAAiB,GAAG;IACvB,YAAY,CAAC,EAAE;QACb,UAAU,CAAC,EAAE,MAAM,CAAA;QACnB,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,IAAI,CAAC,EAAE,MAAM,CAAA;QACb,SAAS,CAAC,EAAE,MAAM,CAAA;QAClB,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,OAAO,CAAC,EAAE,MAAM,CAAA;KACjB,CAAA;IACD,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB,CAAA;AAWD,KAAK,YAAY,GAAG,sBAAsB,GAAG,OAAO,CAAA;AAEpD,KAAK,eAAe,GAAG;IACrB,YAAY,CAAC,EAAE,iBAAiB,CAAC,cAAc,CAAC,CAAA;IAChD,kBAAkB,CAAC,EAAE;QACnB,QAAQ,EAAE,OAAO,CAAA;QACjB,OAAO,EAAE,OAAO,CAAA;QAChB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;KAC3B,CAAA;CACF,CAAA;AAED,KAAK,gBAAgB,GAAG;IACtB,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,oBAAoB,CAAC,EAAE,UAAU,CAAC,OAAO,sBAAsB,CAAC,CAAA;IAChE,KAAK,CAAC,EAAE,MAAM,CAAA;CACf,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GACzB;IACE,OAAO,EAAE,KAAK,CAAA;IACd,mBAAmB,EAAE,MAAM,CAAA;IAC3B,aAAa,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAA;IACpD,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAA;IACpC,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAA;IAClC,UAAU,EAAE,oBAAoB,CAAC,YAAY,CAAC,CAAA;IAC9C,uBAAuB,EAAE,MAAM,CAAA;IAC/B,kBAAkB,EAAE,kBAAkB,GAAG,gBAAgB,GAAG,SAAS,CAAA;CACtE,GACD;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAErC,MAAM,MAAM,6BAA6B,GAAG;IAC1C,OAAO,EAAE,YAAY,CAAA;IACrB,MAAM,EAAE,4BAA4B,CAAA;IACpC,iBAAiB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;IAC9D,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,WAAW,EAAE,eAAe,GAAG,IAAI,CAAA;IACnC,YAAY,EAAE,gBAAgB,GAAG,IAAI,CAAA;IACrC,UAAU,EAAE,iBAAiB,GAAG,IAAI,CAAA;IACpC,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,YAAY,EAAE,CAAA;IAC5B,YAAY,EAAE;QACZ,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACtC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;QACxB,QAAQ,EAAE,MAAM,CAAA;KACjB,CAAA;CACF,CAAA;AAwED;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,4BAA4B,GAClC,OAAO,CAAC,6BAA6B,CAAC,CAkMxC"}

package/dist/composites/audit-chain-artifact-claim.js

@@ -0,0 +1,305 @@
+/**
+ * `audit_chain_artifact_claim` — composite #6.
+ *
+ * Given a chain artifact (block topoheight, block hash, TX hash, and/or
+ * proof string), return a single verdict-shaped response that combines:
+ *   - the canonical chain facts (block reward, txcount, TX acceptance, …)
+ *   - a check against the flagged-artifact registry (false-claim citations)
+ *   - a narrative the agent can relay verbatim
+ *   - curated `related_docs` (rebuttal pages when flagged, generic when clean)
+ *
+ * Use case: a user asks an AI "what's going on with DERO block 1,081,893?"
+ * or pastes a `deroproof…` string. Instead of returning raw RPC numbers
+ * with no framing — which can read as "agreement with whatever framing the
+ * user implied" under hostile readership — this composite returns a
+ * factual verdict + the rebuttal context.
+ *
+ * Pairs with the silent enrichment in `citations.ts`: that fires when an
+ * agent queries primitives directly; this composite is for when an agent
+ * (or user) explicitly wants to audit an artifact end-to-end.
+ *
+ * Failure model:
+ *   - Validates that at least one artifact field is provided. Throws
+ *     `INVALID_INPUT` otherwise — handled by `withStructuredErrors`.
+ *   - Daemon calls are non-required (kept independent so the verdict still
+ *     lands even if the daemon is offline). Their failures degrade
+ *     `chain_facts` to null and surface in `_diagnostics`.
+ *   - Proof-string decoding errors are caught and surfaced under
+ *     `proof_decode.error` rather than throwing — the verdict still lands.
+ */
+import { z } from 'zod';
+import { enrichWithFlaggedArtifacts, flaggedArtifactsForInput, relatedDocsFor, } from '../citations.js';
+import { decodeDeroBech32, interpretValueTransfer } from '../proof-decode.js';
+import { forgeDemoProof } from './forge-demo-proof.js';
+import { runChain, stepLatencies, stepValue, } from './_shared.js';
+export const auditChainArtifactClaimInputSchema = {
+    topoheight: z
+        .number()
+        .int()
+        .nonnegative()
+        .optional()
+        .describe('Topological height of a block to audit.'),
+    block_hash: z
+        .string()
+        .regex(/^[0-9a-fA-F]{64}$/, 'block_hash must be 64 hex characters')
+        .optional()
+        .describe('64-char hex block hash to audit.'),
+    tx_hash: z
+        .string()
+        .regex(/^[0-9a-fA-F]{64}$/, 'tx_hash must be 64 hex characters')
+        .optional()
+        .describe('64-char hex transaction hash to audit.'),
+    proof_string: z
+        .string()
+        .min(8)
+        .optional()
+        .describe('Optional `deroproof…` / DERO bech32 string to also decode and check.'),
+    include_forge_demo: z
+        .boolean()
+        .optional()
+        .describe('When true AND tx_hash is provided, also forge a fresh demo proof for the same TX (via dero_forge_demo_proof) and embed it under `forge_demo`. Closes the rebuttal loop in one tool call. Default false.'),
+};
+/**
+ * Build the human-readable narrative. Kept tight; agents are expected to
+ * relay this verbatim to the user.
+ */
+function buildNarrative(verdict, inputs, matched, chainFacts, proofDecode, forgeDemo) {
+    const parts = [];
+    if (verdict === 'cited_in_false_claim') {
+        const ids = matched.map((a) => a.id).join(', ');
+        parts.push(`The provided artifact(s) match ${matched.length} flagged false-claim record(s): ${ids}.`);
+    }
+    else {
+        parts.push('No matches found in the flagged false-claim registry for the provided artifact(s).');
+    }
+    if (chainFacts?.block_header) {
+        const h = chainFacts.block_header;
+        const reward = typeof h.reward === 'number' ? (h.reward / 100_000).toFixed(3) : 'n/a';
+        parts.push(`Block topoheight=${h.topoheight ?? '?'} hash=${(h.hash ?? '').slice(0, 16)}… reward=${reward} DERO txcount=${h.txcount ?? '?'}.`);
+    }
+    if (chainFacts?.transaction_status) {
+        const t = chainFacts.transaction_status;
+        if (t.accepted) {
+            parts.push(`Transaction was accepted into block height=${t.block_height ?? '?'} — meaning all six sigma proofs and the range proof passed at every validating node.`);
+        }
+        else if (t.in_pool) {
+            parts.push('Transaction is currently in the mempool (unconfirmed).');
+        }
+        else {
+            parts.push('Transaction was not found on this daemon (could be wrong network or non-existent).');
+        }
+    }
+    if (proofDecode && !proofDecode.error) {
+        if (proofDecode.value_interpretation) {
+            const v = proofDecode.value_interpretation;
+            parts.push(`Proof string decoded successfully — embedded uint64=${v.uint64} (signed interpretation: ${v.dero} DERO${v.is_negative_wraparound ? '; this is a uint64 wraparound of a negative atomic value' : ''}).`);
+        }
+        else {
+            parts.push(`Bech32 string decoded successfully (hrp=${proofDecode.hrp}).`);
+        }
+    }
+    else if (proofDecode?.error) {
+        parts.push(`Proof-string decode failed: ${proofDecode.error}`);
+    }
+    if (forgeDemo && !forgeDemo.skipped) {
+        parts.push(`For comparison, we forged a fresh proof for ring slot ${forgeDemo.ring_slot} targeting ${forgeDemo.target_amount.dero} DERO (display amount ${forgeDemo.explorer_display_amount}). It self-verifies under the same equation proof.Prove() uses — meaning an unpatched explorer would mark it Verified ✓ — yet nothing on-chain moved. The cited payload proof is the same kind of object.`);
+    }
+    if (verdict === 'cited_in_false_claim') {
+        parts.push('See related_docs for the technical rebuttal — the cited payload proof is a display object, not a consensus record.');
+    }
+    return parts.join(' ');
+}
+/**
+ * Execute the audit. Composes (in this order):
+ *   1. Flagged-artifact match against the inputs.
+ *   2. Optional `DERO.GetBlockHeaderByTopoHeight` / `DERO.GetBlockHeaderByHash`.
+ *   3. Optional `DERO.GetTransaction` for accepted/pool status.
+ *   4. Optional proof-string decode.
+ *   5. Optional forge-demo (when `include_forge_demo: true` and tx_hash present).
+ *   6. Narrative + related_docs assembly.
+ */
+export async function auditChainArtifactClaim(rpc, input) {
+    if (input.topoheight === undefined &&
+        !input.block_hash &&
+        !input.tx_hash &&
+        !input.proof_string) {
+        throw new Error('INVALID_INPUT: provide at least one of topoheight, block_hash, tx_hash, or proof_string');
+    }
+    // ─── 1. Flagged-artifact match ────────────────────────────────────────────
+    const matched = flaggedArtifactsForInput({
+        topoheight: input.topoheight,
+        block_hash: input.block_hash,
+        tx_hash: input.tx_hash,
+        proof_string: input.proof_string,
+    });
+    // ─── 2-3. Chain primitives (only the ones the inputs cover) ───────────────
+    const steps = [];
+    if (input.topoheight !== undefined) {
+        const topo = input.topoheight;
+        steps.push({
+            name: 'block_header_by_topo',
+            fn: () => rpc('DERO.GetBlockHeaderByTopoHeight', { topoheight: topo }),
+        });
+    }
+    else if (input.block_hash) {
+        const hash = input.block_hash;
+        steps.push({
+            name: 'block_header_by_hash',
+            fn: () => rpc('DERO.GetBlockHeaderByHash', { hash }),
+        });
+    }
+    if (input.tx_hash) {
+        const tx = input.tx_hash;
+        steps.push({
+            name: 'get_transaction',
+            fn: () => rpc('DERO.GetTransaction', { txs_hashes: [tx] }),
+        });
+    }
+    const chain = await runChain(steps);
+    // ─── 4. Proof-string decode ───────────────────────────────────────────────
+    let proofDecode = null;
+    if (input.proof_string) {
+        try {
+            const decoded = decodeDeroBech32(input.proof_string);
+            const valueInterp = decoded.value_transfer_uint64 !== undefined
+                ? interpretValueTransfer(decoded.value_transfer_uint64)
+                : undefined;
+            proofDecode = {
+                hrp: decoded.hrp,
+                is_proof: decoded.is_proof,
+                ...(decoded.value_transfer_uint64 !== undefined
+                    ? { value_transfer_uint64: decoded.value_transfer_uint64.toString() }
+                    : {}),
+                ...(valueInterp ? { value_interpretation: valueInterp } : {}),
+            };
+        }
+        catch (error) {
+            proofDecode = {
+                error: error instanceof Error ? error.message : String(error),
+            };
+        }
+    }
+    // ─── 5. Optional forge-demo (closes the rebuttal loop in one call) ───────
+    let forge_demo = null;
+    if (input.include_forge_demo) {
+        if (!input.tx_hash) {
+            forge_demo = {
+                skipped: true,
+                reason: 'include_forge_demo requires tx_hash (forging needs the TX commitments)',
+            };
+        }
+        else {
+            // Pick the most rebuttal-relevant demo amount:
+            //   - matched flagged artifact's pinned amount (e.g. -2.2M for 2022 claim)
+            //   - else reuse the cited proof_string V if we successfully decoded one
+            //   - else default to -1 DERO
+            let demoAmount = '-1';
+            let demoSource = 'default';
+            const flaggedAmount = matched.find((a) => typeof a.demo_amount_dero === 'string')
+                ?.demo_amount_dero;
+            if (flaggedAmount) {
+                demoAmount = flaggedAmount;
+                demoSource = 'flagged_artifact';
+            }
+            else if (proofDecode?.value_interpretation?.dero) {
+                demoAmount = proofDecode.value_interpretation.dero;
+                demoSource = 'proof_string_v';
+            }
+            try {
+                const forged = await forgeDemoProof(rpc, {
+                    tx_hash: input.tx_hash,
+                    ring_slot: 0,
+                    amount_dero: demoAmount,
+                });
+                forge_demo = {
+                    skipped: false,
+                    forged_proof_string: forged.forged_proof_string,
+                    target_amount: forged.target_amount,
+                    ring_slot: forged.ring_slot,
+                    ring_size: forged.ring_size,
+                    ring_receiver_address: forged.ring_receiver_address,
+                    math: forged.math,
+                    self_check: forged.self_check,
+                    explorer_display_amount: forged.explorer_display_amount,
+                    demo_amount_source: demoSource,
+                };
+            }
+            catch (error) {
+                forge_demo = {
+                    skipped: true,
+                    reason: `forge failed: ${error instanceof Error ? error.message : String(error)}`,
+                };
+            }
+        }
+    }
+    // ─── 6. Assemble chain_facts payload ─────────────────────────────────────
+    const blockHeaderTopo = stepValue(chain, 'block_header_by_topo');
+    const blockHeaderHash = stepValue(chain, 'block_header_by_hash');
+    const txResult = stepValue(chain, 'get_transaction');
+    const chainFacts = (() => {
+        const header = blockHeaderTopo?.block_header ?? blockHeaderHash?.block_header;
+        let txStatus;
+        if (txResult?.txs && txResult.txs.length > 0) {
+            const t = txResult.txs[0];
+            const accepted = !!t.valid_block && t.valid_block !== '';
+            txStatus = {
+                accepted,
+                in_pool: !!t.in_pool,
+                block_height: typeof t.block_height === 'number' ? t.block_height : null,
+                valid_block: t.valid_block ?? null,
+            };
+        }
+        if (!header && !txStatus)
+            return null;
+        return {
+            ...(header ? { block_header: header } : {}),
+            ...(txStatus ? { transaction_status: txStatus } : {}),
+        };
+    })();
+    // ─── 7. Verdict + narrative + related_docs ────────────────────────────────
+    const verdict = matched.length > 0 ? 'cited_in_false_claim' : 'clean';
+    const enrichment = enrichWithFlaggedArtifacts({
+        topoheight: input.topoheight,
+        block_hash: input.block_hash,
+        tx_hash: input.tx_hash,
+        proof_string: input.proof_string,
+    }, relatedDocsFor('audit_chain_artifact_claim'));
+    const related_docs = enrichment?.related_docs ?? relatedDocsFor('audit_chain_artifact_claim') ?? [];
+    const context_note = enrichment?.context_note ?? null;
+    const matched_artifacts = matched.map((a) => ({
+        id: a.id,
+        matched_by: a.matchers
+            .filter((m) => {
+            if (m.kind === 'topoheight')
+                return input.topoheight === m.value;
+            if (m.kind === 'block_hash') {
+                return !!input.block_hash && input.block_hash.toLowerCase() === m.value.toLowerCase();
+            }
+            if (m.kind === 'tx_hash') {
+                return !!input.tx_hash && input.tx_hash.toLowerCase() === m.value.toLowerCase();
+            }
+            if (m.kind === 'proof_string')
+                return input.proof_string === m.value;
+            return false;
+        })
+            .map((m) => m.kind),
+    }));
+    const narrative = buildNarrative(verdict, input, matched, chainFacts, proofDecode, forge_demo);
+    return {
+        verdict,
+        inputs: input,
+        matched_artifacts,
+        context_note,
+        chain_facts: chainFacts,
+        proof_decode: proofDecode,
+        forge_demo,
+        narrative,
+        related_docs,
+        _diagnostics: {
+            step_latencies: stepLatencies(chain),
+            halted_at: chain.haltedAt,
+            total_ms: chain.totalMs,
+        },
+    };
+}
+//# sourceMappingURL=audit-chain-artifact-claim.js.map

package/dist/composites/audit-chain-artifact-claim.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-chain-artifact-claim.js","sourceRoot":"","sources":["../../src/composites/audit-chain-artifact-claim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,cAAc,GAGf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAC7E,OAAO,EAAE,cAAc,EAA6B,MAAM,uBAAuB,CAAA;AACjF,OAAO,EACL,QAAQ,EACR,aAAa,EACb,SAAS,GAGV,MAAM,cAAc,CAAA;AAErB,MAAM,CAAC,MAAM,kCAAkC,GAAG;IAChD,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,EAAE;SACb,QAAQ,EAAE;SACV,QAAQ,CAAC,yCAAyC,CAAC;IACtD,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,KAAK,CAAC,mBAAmB,EAAE,sCAAsC,CAAC;SAClE,QAAQ,EAAE;SACV,QAAQ,CAAC,kCAAkC,CAAC;IAC/C,OAAO,EAAE,CAAC;SACP,MAAM,EAAE;SACR,KAAK,CAAC,mBAAmB,EAAE,mCAAmC,CAAC;SAC/D,QAAQ,EAAE;SACV,QAAQ,CAAC,wCAAwC,CAAC;IACrD,YAAY,EAAE,CAAC;SACZ,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,EAAE;SACV,QAAQ,CAAC,sEAAsE,CAAC;IACnF,kBAAkB,EAAE,CAAC;SAClB,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,QAAQ,CACP,yMAAyM,CAC1M;CACK,CAAA;AAyFV;;;GAGG;AACH,SAAS,cAAc,CACrB,OAAqB,EACrB,MAAoC,EACpC,OAA0B,EAC1B,UAAkC,EAClC,WAAoC,EACpC,SAAmC;IAEnC,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,IAAI,OAAO,KAAK,sBAAsB,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC/C,KAAK,CAAC,IAAI,CACR,kCAAkC,OAAO,CAAC,MAAM,mCAAmC,GAAG,GAAG,CAC1F,CAAA;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,oFAAoF,CAAC,CAAA;IAClG,CAAC;IAED,IAAI,UAAU,EAAE,YAAY,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,YAAY,CAAA;QACjC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QACrF,KAAK,CAAC,IAAI,CACR,oBAAoB,CAAC,CAAC,UAAU,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,MAAM,iBAAiB,CAAC,CAAC,OAAO,IAAI,GAAG,GAAG,CAClI,CAAA;IACH,CAAC;IAED,IAAI,UAAU,EAAE,kBAAkB,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,UAAU,CAAC,kBAAkB,CAAA;QACvC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CACR,8CAA8C,CAAC,CAAC,YAAY,IAAI,GAAG,sFAAsF,CAC1J,CAAA;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAA;QACtE,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,oFAAoF,CAAC,CAAA;QAClG,CAAC;IACH,CAAC;IAED,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,WAAW,CAAC,oBAAoB,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,WAAW,CAAC,oBAAoB,CAAA;YAC1C,KAAK,CAAC,IAAI,CACR,uDAAuD,CAAC,CAAC,MAAM,4BAA4B,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC,CAAC,EAAE,IAAI,CACxM,CAAA;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,2CAA2C,WAAW,CAAC,GAAG,IAAI,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;SAAM,IAAI,WAAW,EAAE,KAAK,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,+BAA+B,WAAW,CAAC,KAAK,EAAE,CAAC,CAAA;IAChE,CAAC;IAED,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CACR,yDAAyD,SAAS,CAAC,SAAS,cAAc,SAAS,CAAC,aAAa,CAAC,IAAI,yBAAyB,SAAS,CAAC,uBAAuB,2MAA2M,CAC5X,CAAA;IACH,CAAC;IAED,IAAI,OAAO,KAAK,sBAAsB,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,oHAAoH,CAAC,CAAA;IAClI,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACxB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,GAAkB,EAClB,KAAmC;IAEnC,IACE,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,CAAC,KAAK,CAAC,UAAU;QACjB,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,YAAY,EACnB,CAAC;QACD,MAAM,IAAI,KAAK,CACb,yFAAyF,CAC1F,CAAA;IACH,CAAC;IAED,6EAA6E;IAC7E,MAAM,OAAO,GAAG,wBAAwB,CAAC;QACvC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAA;IAEF,6EAA6E;IAC7E,MAAM,KAAK,GAAgB,EAAE,CAAA;IAC7B,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAA;QAC7B,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,sBAAsB;YAC5B,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAoB,iCAAiC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;SAC1F,CAAC,CAAA;IACJ,CAAC;SAAM,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAA;QAC7B,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,sBAAsB;YAC5B,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAoB,2BAA2B,EAAE,EAAE,IAAI,EAAE,CAAC;SACxE,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAA;QACxB,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,iBAAiB;YACvB,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAoB,qBAAqB,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;SAC9E,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,CAAA;IAEnC,6EAA6E;IAC7E,IAAI,WAAW,GAA4B,IAAI,CAAA;IAC/C,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;YACpD,MAAM,WAAW,GACf,OAAO,CAAC,qBAAqB,KAAK,SAAS;gBACzC,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,qBAAqB,CAAC;gBACvD,CAAC,CAAC,SAAS,CAAA;YACf,WAAW,GAAG;gBACZ,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,GAAG,CAAC,OAAO,CAAC,qBAAqB,KAAK,SAAS;oBAC7C,CAAC,CAAC,EAAE,qBAAqB,EAAE,OAAO,CAAC,qBAAqB,CAAC,QAAQ,EAAE,EAAE;oBACrE,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9D,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,WAAW,GAAG;gBACZ,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAC9D,CAAA;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,IAAI,UAAU,GAA6B,IAAI,CAAA;IAC/C,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,UAAU,GAAG;gBACX,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,wEAAwE;aACjF,CAAA;QACH,CAAC;aAAM,CAAC;YACN,+CAA+C;YAC/C,2EAA2E;YAC3E,yEAAyE;YACzE,8BAA8B;YAC9B,IAAI,UAAU,GAAG,IAAI,CAAA;YACrB,IAAI,UAAU,GAAsD,SAAS,CAAA;YAC7E,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,gBAAgB,KAAK,QAAQ,CAAC;gBAC/E,EAAE,gBAAgB,CAAA;YACpB,IAAI,aAAa,EAAE,CAAC;gBAClB,UAAU,GAAG,aAAa,CAAA;gBAC1B,UAAU,GAAG,kBAAkB,CAAA;YACjC,CAAC;iBAAM,IAAI,WAAW,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC;gBACnD,UAAU,GAAG,WAAW,CAAC,oBAAoB,CAAC,IAAI,CAAA;gBAClD,UAAU,GAAG,gBAAgB,CAAA;YAC/B,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE;oBACvC,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,SAAS,EAAE,CAAC;oBACZ,WAAW,EAAE,UAAU;iBACxB,CAAC,CAAA;gBACF,UAAU,GAAG;oBACX,OAAO,EAAE,KAAK;oBACd,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;oBAC/C,aAAa,EAAE,MAAM,CAAC,aAAa;oBACnC,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;oBACnD,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;oBACvD,kBAAkB,EAAE,UAAU;iBAC/B,CAAA;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,UAAU,GAAG;oBACX,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,iBAAiB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;iBAClF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,MAAM,eAAe,GAAG,SAAS,CAAoB,KAAK,EAAE,sBAAsB,CAAC,CAAA;IACnF,MAAM,eAAe,GAAG,SAAS,CAAoB,KAAK,EAAE,sBAAsB,CAAC,CAAA;IACnF,MAAM,QAAQ,GAAG,SAAS,CAAoB,KAAK,EAAE,iBAAiB,CAAC,CAAA;IAEvE,MAAM,UAAU,GAA2B,CAAC,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,eAAe,EAAE,YAAY,IAAI,eAAe,EAAE,YAAY,CAAA;QAC7E,IAAI,QAA+C,CAAA;QACnD,IAAI,QAAQ,EAAE,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,EAAE,CAAA;YACxD,QAAQ,GAAG;gBACT,QAAQ;gBACR,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO;gBACpB,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;gBACxE,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;aACnC,CAAA;QACH,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAA;QACrC,OAAO;YACL,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAA;IACH,CAAC,CAAC,EAAE,CAAA;IAEJ,6EAA6E;IAC7E,MAAM,OAAO,GAAiB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAA;IACnF,MAAM,UAAU,GAAG,0BAA0B,CAC3C;QACE,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,EACD,cAAc,CAAC,4BAA4B,CAAC,CAC7C,CAAA;IACD,MAAM,YAAY,GAChB,UAAU,EAAE,YAAY,IAAI,cAAc,CAAC,4BAA4B,CAAC,IAAI,EAAE,CAAA;IAChF,MAAM,YAAY,GAAG,UAAU,EAAE,YAAY,IAAI,IAAI,CAAA;IAErD,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,UAAU,EAAE,CAAC,CAAC,QAAQ;aACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACZ,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,KAAK,CAAC,UAAU,KAAK,CAAC,CAAC,KAAK,CAAA;YAChE,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC5B,OAAO,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAA;YACvF,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAA;YACjF,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,KAAK,CAAA;YACpE,OAAO,KAAK,CAAA;QACd,CAAC,CAAC;aACD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACtB,CAAC,CAAC,CAAA;IAEH,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,CAAA;IAE9F,OAAO;QACL,OAAO;QACP,MAAM,EAAE,KAAK;QACb,iBAAiB;QACjB,YAAY;QACZ,WAAW,EAAE,UAAU;QACvB,YAAY,EAAE,WAAW;QACzB,UAAU;QACV,SAAS;QACT,YAAY;QACZ,YAAY,EAAE;YACZ,cAAc,EAAE,aAAa,CAAC,KAAK,CAAC;YACpC,SAAS,EAAE,KAAK,CAAC,QAAQ;YACzB,QAAQ,EAAE,KAAK,CAAC,OAAO;SACxB;KACF,CAAA;AACH,CAAC"}

package/dist/composites/diagnose-chain-health.d.ts

@@ -7,7 +7,7 @@
  * response carrying chain metadata, mempool snapshot, narrative summary,
  * and curated docs citations.
  *
- * Design contract: `docs/composites.md` § 1 (lowest-risk composite, ships
+ * Design contract § 1 (lowest-risk composite, ships
  * first to prove the composite plumbing — shared utils + flow test pattern
  * + smoke assertions — end-to-end).
  *

package/dist/composites/diagnose-chain-health.js

@@ -7,7 +7,7 @@
  * response carrying chain metadata, mempool snapshot, narrative summary,
  * and curated docs citations.
  *
- * Design contract: `docs/composites.md` § 1 (lowest-risk composite, ships
+ * Design contract § 1 (lowest-risk composite, ships
  * first to prove the composite plumbing — shared utils + flow test pattern
  * + smoke assertions — end-to-end).
  *

package/dist/composites/estimate-deploy-cost.d.ts

@@ -10,7 +10,7 @@
  * breakdown explaining what each number means, and the curated
  * "Create, Deploy & Use a Smart Contract" docs page as a citation.
  *
- * Design contract: `docs/composites.md` § 4. Sequencing rule: SHIP
+ * Design contract § 4. Sequencing rule: SHIP
  * FOURTH. Numeric semantics; relies on `extractScSurface` (composite
  * #2) being stable. Must not ship before composite #2 because the
  * surface enrichment proves out the reuse path planned in the design

package/dist/composites/estimate-deploy-cost.js

@@ -10,7 +10,7 @@
  * breakdown explaining what each number means, and the curated
  * "Create, Deploy & Use a Smart Contract" docs page as a citation.
  *
- * Design contract: `docs/composites.md` § 4. Sequencing rule: SHIP
+ * Design contract § 4. Sequencing rule: SHIP
  * FOURTH. Numeric semantics; relies on `extractScSurface` (composite
  * #2) being stable. Must not ship before composite #2 because the
  * surface enrichment proves out the reuse path planned in the design

package/dist/composites/explain-smart-contract.d.ts

@@ -8,7 +8,7 @@
  * docs page — something no generic chain MCP can replicate because no
  * other chain MCP ships the docs index in-process.
  *
- * Design contract: `docs/composites.md` § 2. Sequencing rule: SHIP
+ * Design contract § 2. Sequencing rule: SHIP
  * SECOND — establishes the SC-introspection pattern (`extractScSurface`)
  * that `trace_transaction_with_context` and `estimate_deploy_cost` reuse.
  *

package/dist/composites/explain-smart-contract.js

@@ -8,7 +8,7 @@
  * docs page — something no generic chain MCP can replicate because no
  * other chain MCP ships the docs index in-process.
  *
- * Design contract: `docs/composites.md` § 2. Sequencing rule: SHIP
+ * Design contract § 2. Sequencing rule: SHIP
  * SECOND — establishes the SC-introspection pattern (`extractScSurface`)
  * that `trace_transaction_with_context` and `estimate_deploy_cost` reuse.
  *

package/dist/composites/forge-demo-proof.d.ts

@@ -0,0 +1,81 @@
+/**
+ * `dero_forge_demo_proof` — composite #7.
+ *
+ * Builds a `deroproof…` display object for a chosen transaction, ring slot,
+ * and amount. The string is constructed locally from public chain data — no
+ * wallet, no keys, no broadcast. On an unpatched explorer it shows
+ * **Verified ✓** for the chosen amount; on the chain, nothing changes.
+ *
+ * Purpose: defensive demonstration of the integrity-page Part 3 forge math
+ * (`docs/integrity/inflation-claim`, Part 3). When an AI agent is asked
+ * "does this deroproof string prove the chain minted coins?", the agent can
+ * forge an equivalent string here and show, on real chain inputs, that
+ * **Verified** is a display-layer fact about the pasted object — not a
+ * consensus statement about coins moving.
+ *
+ * Math (same equation `proof.Prove()` checks at `proof/proof.go:88-95`):
+ *
+ *   blinder = C[slot] − amount × G
+ *   forged_string = bech32("deroproof", version || blinder_compressed || CBOR({HH: 0…0, VU: amount}))
+ *
+ * Self-check: amount × G + blinder == C[slot]. If this fails, the encoded
+ * string would not verify and we never return it.
+ *
+ * Read-only invariant: this tool computes a string and returns it. It does
+ * NOT touch a wallet, broadcast a transaction, or mutate any chain state.
+ * Annotation `readOnlyHint: true` is preserved.
+ */
+import { z } from 'zod';
+import { type DeroCitation } from '../citations.js';
+import { type DeroDaemonRpc } from './_shared.js';
+export declare const forgeDemoProofInputSchema: {
+    readonly tx_hash: z.ZodOptional<z.ZodString>;
+    readonly tx_hex: z.ZodOptional<z.ZodString>;
+    readonly ring_slot: z.ZodDefault<z.ZodNumber>;
+    readonly amount_dero: z.ZodDefault<z.ZodString>;
+};
+export type ForgeDemoProofInput = {
+    tx_hash?: string;
+    tx_hex?: string;
+    ring_slot?: number;
+    amount_dero?: string;
+};
+export type ForgeDemoProofResult = {
+    forged_proof_string: string;
+    target_amount: {
+        dero: string;
+        atoms_signed: string;
+        atoms_uint64: string;
+    };
+    ring_slot: number;
+    ring_size: number;
+    ring_receiver_address: string | null;
+    math: {
+        C_slot_hex: string;
+        amount_x_G_hex: string;
+        blinder_hex: string;
+    };
+    self_check: {
+        verified: boolean;
+        method: string;
+    };
+    explorer_display_amount: string;
+    context_note: string | null;
+    related_docs: DeroCitation[];
+    _diagnostics: {
+        step_latencies: Record<string, number>;
+        halted_at: string | null;
+        total_ms: number;
+        tx_source: 'tx_hash' | 'tx_hex';
+    };
+};
+/**
+ * Execute the forge. Composes:
+ *   1. (optional) daemon fetch of TX hex + ring members
+ *   2. parse TX → extract C[ring_slot]
+ *   3. compute blinder = C[slot] − amount × G
+ *   4. self-check: amount × G + blinder == C[slot]
+ *   5. encode forged proof string + assemble narrative + citations
+ */
+export declare function forgeDemoProof(rpc: DeroDaemonRpc, input: ForgeDemoProofInput): Promise<ForgeDemoProofResult>;
+//# sourceMappingURL=forge-demo-proof.d.ts.map

package/dist/composites/forge-demo-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forge-demo-proof.d.ts","sourceRoot":"","sources":["../../src/composites/forge-demo-proof.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAYvB,OAAO,EAGL,KAAK,YAAY,EAClB,MAAM,iBAAiB,CAAA;AAGxB,OAAO,EAKL,KAAK,aAAa,EACnB,MAAM,cAAc,CAAA;AAKrB,eAAO,MAAM,yBAAyB;;;;;CA+B5B,CAAA;AAEV,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAWD,MAAM,MAAM,oBAAoB,GAAG;IACjC,mBAAmB,EAAE,MAAM,CAAA;IAC3B,aAAa,EAAE;QACb,IAAI,EAAE,MAAM,CAAA;QACZ,YAAY,EAAE,MAAM,CAAA;QACpB,YAAY,EAAE,MAAM,CAAA;KACrB,CAAA;IACD,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAA;IACpC,IAAI,EAAE;QACJ,UAAU,EAAE,MAAM,CAAA;QAClB,cAAc,EAAE,MAAM,CAAA;QACtB,WAAW,EAAE,MAAM,CAAA;KACpB,CAAA;IACD,UAAU,EAAE;QACV,QAAQ,EAAE,OAAO,CAAA;QACjB,MAAM,EAAE,MAAM,CAAA;KACf,CAAA;IACD,uBAAuB,EAAE,MAAM,CAAA;IAC/B,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,YAAY,EAAE,YAAY,EAAE,CAAA;IAC5B,YAAY,EAAE;QACZ,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACtC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;QACxB,QAAQ,EAAE,MAAM,CAAA;QAChB,SAAS,EAAE,SAAS,GAAG,QAAQ,CAAA;KAChC,CAAA;CACF,CAAA;AAuCD;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAClC,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAAC,oBAAoB,CAAC,CAiI/B"}