dero-mcp-server 0.1.2 → 0.4.0

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

@@ -0,0 +1,64 @@
+/**
+ * `diagnose_chain_health` — Phase C composite #1.
+ *
+ * Decorator-style composite that replaces four agent round-trips
+ * (`DERO.Ping` + `DERO.GetInfo` + `DERO.GetHeight` + `DERO.GetTxPool`) and
+ * the "what does this field mean?" docs lookup with a single narrative
+ * response carrying chain metadata, mempool snapshot, narrative summary,
+ * and curated docs citations.
+ *
+ * Design contract § 1 (lowest-risk composite, ships
+ * first to prove the composite plumbing — shared utils + flow test pattern
+ * + smoke assertions — end-to-end).
+ *
+ * Failure model:
+ *   - `DERO.Ping` is the only required step. Its failure halts the chain
+ *     and the handler throws so `withStructuredErrors` surfaces a
+ *     structured `RPC_UNREACHABLE` error.
+ *   - `DERO.GetInfo`, `DERO.GetHeight`, and `DERO.GetTxPool` are
+ *     non-required. Their failures degrade `status` to `partial` and
+ *     leave the corresponding response field null, but the composite
+ *     still returns a useful payload.
+ */
+import { z } from 'zod';
+import { type DeroDaemonRpc } from './_shared.js';
+export declare const diagnoseChainHealthInputSchema: {
+    readonly include_tx_pool: z.ZodOptional<z.ZodBoolean>;
+};
+type DiagnoseInput = {
+    include_tx_pool?: boolean;
+};
+type DiagnoseStatus = 'healthy' | 'lagging' | 'partial' | 'unreachable';
+type DiagnoseSignal = {
+    key: string;
+    value: string | number;
+    note?: string;
+};
+export declare function diagnoseChainHealth(rpc: DeroDaemonRpc, args: DiagnoseInput): Promise<{
+    status: DiagnoseStatus;
+    narrative: string;
+    signals: DiagnoseSignal[];
+    chain: {
+        topoheight: number;
+        stableheight: number | null;
+        height: number | null;
+        network: string | null;
+        version: string | null;
+        difficulty: string | number | null;
+        total_supply: string | number | null;
+    } | null;
+    mempool: {
+        pending: number;
+        sample: string[];
+    } | null;
+    _diagnostics: {
+        step_latency_ms: Record<string, number>;
+        total_ms: number;
+        halted_at: string | null;
+        include_tx_pool: boolean;
+    };
+} & {
+    related_docs?: import("../citations.js").DeroCitation[];
+}>;
+export {};
+//# sourceMappingURL=diagnose-chain-health.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnose-chain-health.d.ts","sourceRoot":"","sources":["../../src/composites/diagnose-chain-health.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAML,KAAK,aAAa,EACnB,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,8BAA8B;;CAKjC,CAAA;AAEV,KAAK,aAAa,GAAG;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,CAAA;AAyBlD,KAAK,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,CAAA;AAEvE,KAAK,cAAc,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AA4E5E,wBAAsB,mBAAmB,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;GA+DhF"}

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

@@ -0,0 +1,144 @@
+/**
+ * `diagnose_chain_health` — Phase C composite #1.
+ *
+ * Decorator-style composite that replaces four agent round-trips
+ * (`DERO.Ping` + `DERO.GetInfo` + `DERO.GetHeight` + `DERO.GetTxPool`) and
+ * the "what does this field mean?" docs lookup with a single narrative
+ * response carrying chain metadata, mempool snapshot, narrative summary,
+ * and curated docs citations.
+ *
+ * Design contract § 1 (lowest-risk composite, ships
+ * first to prove the composite plumbing — shared utils + flow test pattern
+ * + smoke assertions — end-to-end).
+ *
+ * Failure model:
+ *   - `DERO.Ping` is the only required step. Its failure halts the chain
+ *     and the handler throws so `withStructuredErrors` surfaces a
+ *     structured `RPC_UNREACHABLE` error.
+ *   - `DERO.GetInfo`, `DERO.GetHeight`, and `DERO.GetTxPool` are
+ *     non-required. Their failures degrade `status` to `partial` and
+ *     leave the corresponding response field null, but the composite
+ *     still returns a useful payload.
+ */
+import { z } from 'zod';
+import { attachCitations, runChain, stepLatencies, stepValue, } from './_shared.js';
+export const diagnoseChainHealthInputSchema = {
+    include_tx_pool: z
+        .boolean()
+        .optional()
+        .describe('Include mempool snapshot in narrative and response. Default true.'),
+};
+const LAG_DEPTH_LAGGING_THRESHOLD = 50;
+/**
+ * Pure function: turn the three RPC payloads (any of which may be null
+ * if the corresponding step failed) into a status, narrative, and
+ * machine-readable signals block. Kept inside this file because it is
+ * tightly coupled to the response shape and is not reused elsewhere.
+ */
+function summarizeChainHealth(info, height, txPool, txPoolRequested) {
+    const signals = [];
+    if (!info || typeof info.topoheight !== 'number' || typeof info.stableheight !== 'number') {
+        return {
+            status: 'partial',
+            narrative: 'Daemon ping succeeded but chain info was unavailable; only liveness can be confirmed. Inspect daemon logs and retry.',
+            signals,
+        };
+    }
+    const lagDepth = info.topoheight - info.stableheight;
+    signals.push({ key: 'topoheight', value: info.topoheight });
+    signals.push({ key: 'stableheight', value: info.stableheight });
+    signals.push({
+        key: 'lag_depth',
+        value: lagDepth,
+        note: 'topoheight minus stableheight; values above 50 suggest the node is catching up',
+    });
+    if (info.network)
+        signals.push({ key: 'network', value: info.network });
+    if (info.version)
+        signals.push({ key: 'version', value: info.version });
+    if (height && typeof height.topoheight === 'number' && height.topoheight !== info.topoheight) {
+        signals.push({
+            key: 'topoheight_drift',
+            value: height.topoheight - info.topoheight,
+            note: 'GetHeight reported a different topoheight than GetInfo; values within +/-1 are normal between RPC calls',
+        });
+    }
+    let status = 'healthy';
+    const narrativeParts = [];
+    if (lagDepth > LAG_DEPTH_LAGGING_THRESHOLD) {
+        status = 'lagging';
+        narrativeParts.push(`Chain shows a lag depth of ${lagDepth} blocks between topoheight (${info.topoheight}) and stableheight (${info.stableheight}); typical depth is under ${LAG_DEPTH_LAGGING_THRESHOLD}, so the node may be catching up.`);
+    }
+    else {
+        narrativeParts.push(`Chain appears healthy on ${info.network ?? 'unknown network'} (version ${info.version ?? 'unknown'}): topoheight ${info.topoheight}, stableheight ${info.stableheight}, lag depth ${lagDepth}.`);
+    }
+    if (!txPoolRequested) {
+        narrativeParts.push('Mempool snapshot was skipped by request (include_tx_pool=false).');
+    }
+    else if (!txPool) {
+        if (status === 'healthy')
+            status = 'partial';
+        narrativeParts.push('Mempool snapshot failed; mempool state is unknown for this report.');
+    }
+    else {
+        const pending = Array.isArray(txPool.tx_hashes) ? txPool.tx_hashes.length : 0;
+        signals.push({ key: 'mempool_pending', value: pending });
+        narrativeParts.push(pending === 0
+            ? 'Mempool is empty.'
+            : `Mempool has ${pending} pending transaction${pending === 1 ? '' : 's'}.`);
+    }
+    return { status, narrative: narrativeParts.join(' '), signals };
+}
+export async function diagnoseChainHealth(rpc, args) {
+    const includeTxPool = args.include_tx_pool !== false;
+    const steps = [
+        { name: 'ping', required: true, fn: () => rpc('DERO.Ping') },
+        { name: 'info', required: false, fn: () => rpc('DERO.GetInfo') },
+        { name: 'height', required: false, fn: () => rpc('DERO.GetHeight') },
+        ...(includeTxPool
+            ? [{ name: 'tx_pool', required: false, fn: () => rpc('DERO.GetTxPool') }]
+            : []),
+    ];
+    const chain = await runChain(steps);
+    if (chain.haltedAt === 'ping') {
+        const pingResult = chain.results.find((r) => r.name === 'ping');
+        const detail = pingResult?.error?.message ?? 'unknown error';
+        // `withStructuredErrors` classifies this message into RPC_UNREACHABLE.
+        throw new Error(`fetch failed: ${detail}`);
+    }
+    const info = stepValue(chain, 'info');
+    const height = stepValue(chain, 'height');
+    const txPool = includeTxPool ? stepValue(chain, 'tx_pool') : null;
+    const { status, narrative, signals } = summarizeChainHealth(info, height, txPool, includeTxPool);
+    const chainData = info && typeof info.topoheight === 'number'
+        ? {
+            topoheight: info.topoheight,
+            stableheight: info.stableheight ?? null,
+            height: info.height ?? null,
+            network: info.network ?? null,
+            version: info.version ?? null,
+            difficulty: info.difficulty ?? null,
+            total_supply: info.total_supply ?? null,
+        }
+        : null;
+    const mempool = txPool
+        ? {
+            pending: Array.isArray(txPool.tx_hashes) ? txPool.tx_hashes.length : 0,
+            sample: (txPool.tx_hashes ?? []).slice(0, 5),
+        }
+        : null;
+    return attachCitations({
+        status,
+        narrative,
+        signals,
+        chain: chainData,
+        mempool,
+        _diagnostics: {
+            step_latency_ms: stepLatencies(chain),
+            total_ms: chain.totalMs,
+            halted_at: chain.haltedAt,
+            include_tx_pool: includeTxPool,
+        },
+    }, 'diagnose_chain_health');
+}
+//# sourceMappingURL=diagnose-chain-health.js.map