@kernel.chat/kbot-finance 0.2.0

package/dist/tools/edgar-query.d.ts

@@ -0,0 +1,36 @@
+import { type ContentAddressedResponse, type JsonValue } from "../envelope.js";
+import { AppendOnlyAuditLog } from "../audit-log.js";
+import { type Rule, type VerifierContext } from "../verifier/index.js";
+import { getSubmissions, getCompanyFacts, type NormalizedFiling } from "../adapters/edgar/index.js";
+export interface EdgarQueryInputs {
+    readonly mode: "submissions" | "company_facts";
+    readonly cik: string;
+    readonly limit?: number;
+    readonly data_as_of: string;
+}
+export interface EdgarQueryValue {
+    readonly mode: "submissions" | "company_facts";
+    readonly entity_name: string | null;
+    readonly cik: string;
+    readonly filings?: ReadonlyArray<NormalizedFiling>;
+    readonly facts_keys?: ReadonlyArray<string>;
+}
+export interface EdgarQueryDeps {
+    readonly auditLog: AppendOnlyAuditLog;
+    readonly rules: ReadonlyArray<Rule>;
+    readonly verifierContext: VerifierContext;
+    readonly engine?: {
+        getSubmissions: typeof getSubmissions;
+        getCompanyFacts: typeof getCompanyFacts;
+    };
+}
+export type EdgarQueryResult = {
+    readonly ok: true;
+    readonly response: ContentAddressedResponse<EdgarQueryValue>;
+} | {
+    readonly ok: false;
+    readonly stage: "verifier" | "engine";
+    readonly detail: JsonValue;
+};
+export declare function edgarQuery(inputs: EdgarQueryInputs, deps: EdgarQueryDeps): Promise<EdgarQueryResult>;
+//# sourceMappingURL=edgar-query.d.ts.map

package/dist/tools/edgar-query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edgar-query.d.ts","sourceRoot":"","sources":["../../src/tools/edgar-query.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,wBAAwB,EAC7B,KAAK,SAAS,EACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAe,KAAK,IAAI,EAAE,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACpF,OAAO,EACL,cAAc,EACd,eAAe,EAGf,KAAK,gBAAgB,EACtB,MAAM,4BAA4B,CAAC;AAwBpC,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,eAAe,CAAC;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,eAAe,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC7C;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,cAAc,EAAE,OAAO,cAAc,CAAC;QACtC,eAAe,EAAE,OAAO,eAAe,CAAC;KACzC,CAAC;CACH;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC,eAAe,CAAC,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,CAAC;AAE9F,wBAAsB,UAAU,CAC9B,MAAM,EAAE,gBAAgB,EACxB,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,gBAAgB,CAAC,CAqG3B"}

package/dist/tools/edgar-query.js

@@ -0,0 +1,108 @@
+import { sealEnvelope, sha256, canonicalize, } from "../envelope.js";
+import { runVerifier } from "../verifier/index.js";
+import { getSubmissions, getCompanyFacts, normalizeRecentFilings, EDGAR_ADAPTER_VERSION, } from "../adapters/edgar/index.js";
+/**
+ * edgar_query — read-only access to SEC EDGAR via the full kbot-finance
+ * audit substrate. Same wiring shape as polymarket-query.ts.
+ *
+ * Filings are immutable by SEC policy: an accession number resolves to a
+ * specific filing forever. This is the cleanest content-addressing story
+ * available for US public-company data and is why EDGAR is a natural
+ * second adapter — it proves the substrate works for both prediction
+ * markets and official securities filings.
+ */
+const SCHEMA_HASH = sha256(canonicalize({
+    type: "object",
+    fields: {
+        mode: { type: "string", enum: ["submissions", "company_facts"] },
+        cik: { type: "string" },
+        limit: { type: "number", optional: true },
+    },
+}));
+export async function edgarQuery(inputs, deps) {
+    const engine = deps.engine ?? { getSubmissions, getCompanyFacts };
+    const request = {
+        operation: inputs.mode === "submissions" ? "edgar.submissions" : "edgar.company_facts",
+        engine_version: EDGAR_ADAPTER_VERSION,
+        schema_hash: SCHEMA_HASH,
+        inputs: inputs,
+        data_as_of: inputs.data_as_of,
+    };
+    const verifier_report = runVerifier(deps.rules, {
+        operation: request.operation,
+        inputs: request.inputs,
+        materiality: "informational",
+    }, deps.verifierContext);
+    await deps.auditLog.append({
+        action: "verifier_check",
+        subject: request.operation,
+        session_id: deps.verifierContext.session_id,
+        payload: verifier_report,
+    });
+    if (!verifier_report.ok) {
+        return { ok: false, stage: "verifier", detail: verifier_report };
+    }
+    await deps.auditLog.append({
+        action: "engine_request",
+        subject: request.operation,
+        session_id: deps.verifierContext.session_id,
+        payload: request,
+    });
+    const sealed = await sealEnvelope(request, async () => {
+        if (inputs.mode === "submissions") {
+            const r = await engine.getSubmissions(inputs.cik);
+            if (!r.ok) {
+                throw new Error(`edgar.submissions failed: ${r.error.code}: ${r.error.message}`);
+            }
+            const filings = normalizeRecentFilings(r.value, inputs.cik, inputs.limit ?? 25);
+            return {
+                mode: "submissions",
+                entity_name: r.value.name ?? null,
+                cik: inputs.cik,
+                filings,
+            };
+        }
+        else {
+            const r = await engine.getCompanyFacts(inputs.cik);
+            if (!r.ok) {
+                throw new Error(`edgar.company_facts failed: ${r.error.code}: ${r.error.message}`);
+            }
+            const usGaap = r.value.facts?.["us-gaap"] ?? {};
+            const facts_keys = Object.keys(usGaap).slice(0, inputs.limit ?? 50);
+            return {
+                mode: "company_facts",
+                entity_name: r.value.entityName ?? null,
+                cik: inputs.cik,
+                facts_keys,
+            };
+        }
+    }, 
+    // EDGAR filings are immutable by accession number, so for a given CIK
+    // + as-of date the result is byte-stable if pinned to a snapshot.
+    // The live API is byte-stable for closed filings but the `recent`
+    // table grows; we mark replay as conditional, not guaranteed.
+    { byte_identical_replayable: false }).catch((e) => ({ error: e.message }));
+    if ("error" in sealed) {
+        await deps.auditLog.append({
+            action: "incident",
+            subject: request.operation,
+            session_id: deps.verifierContext.session_id,
+            payload: { error: sealed.error },
+        });
+        return { ok: false, stage: "engine", detail: { error: sealed.error } };
+    }
+    await deps.auditLog.append({
+        action: "engine_response",
+        subject: request.operation,
+        session_id: deps.verifierContext.session_id,
+        payload: {
+            request_hash: sealed.request_hash,
+            produced_at: sealed.produced_at,
+            byte_identical_replayable: sealed.byte_identical_replayable,
+            entity_name: sealed.value.entity_name,
+            result_count: sealed.value.filings?.length ?? sealed.value.facts_keys?.length ?? 0,
+        },
+    });
+    return { ok: true, response: sealed };
+}
+//# sourceMappingURL=edgar-query.js.map

package/dist/tools/edgar-query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edgar-query.js","sourceRoot":"","sources":["../../src/tools/edgar-query.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,MAAM,EACN,YAAY,GAIb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,WAAW,EAAmC,MAAM,sBAAsB,CAAC;AACpF,OAAO,EACL,cAAc,EACd,eAAe,EACf,sBAAsB,EACtB,qBAAqB,GAEtB,MAAM,4BAA4B,CAAC;AAEpC;;;;;;;;;GASG;AAEH,MAAM,WAAW,GAAG,MAAM,CACxB,YAAY,CAAC;IACX,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE;QACN,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE;QAChE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC1C;CACW,CAAC,CAChB,CAAC;AA+BF,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,MAAwB,EACxB,IAAoB;IAEpB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,cAAc,EAAE,eAAe,EAAE,CAAC;IAElE,MAAM,OAAO,GAA4B;QACvC,SAAS,EAAE,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,qBAAqB;QACtF,cAAc,EAAE,qBAAqB;QACrC,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE,MAA8B;QACtC,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC;IAEF,MAAM,eAAe,GAAG,WAAW,CACjC,IAAI,CAAC,KAAK,EACV;QACE,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,WAAW,EAAE,eAAe;KAC7B,EACD,IAAI,CAAC,eAAe,CACrB,CAAC;IAEF,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,gBAAgB;QACxB,OAAO,EAAE,OAAO,CAAC,SAAS;QAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;QAC3C,OAAO,EAAE,eAAuC;KACjD,CAAC,CAAC;IAEH,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,eAAuC,EAAE,CAAC;IAC3F,CAAC;IAED,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,gBAAgB;QACxB,OAAO,EAAE,OAAO,CAAC,SAAS;QAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;QAC3C,OAAO,EAAE,OAA+B;KACzC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,YAAY,CAC/B,OAAO,EACP,KAAK,IAAI,EAAE;QACT,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACnF,CAAC;YACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YAChF,OAAO;gBACL,IAAI,EAAE,aAAsB;gBAC5B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI;gBACjC,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACnD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACrF,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAChD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YACpE,OAAO;gBACL,IAAI,EAAE,eAAwB;gBAC9B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,IAAI;gBACvC,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IACD,sEAAsE;IACtE,kEAAkE;IAClE,kEAAkE;IAClE,8DAA8D;IAC9D,EAAE,yBAAyB,EAAE,KAAK,EAAE,CACrC,CAAC,KAAK,CAAC,CAAC,CAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAU,CAAC,CAAC;IAEvD,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACzB,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,OAAO,CAAC,SAAS;YAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;YAC3C,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;SACjC,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;IACzE,CAAC;IAED,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,iBAAiB;QACzB,OAAO,EAAE,OAAO,CAAC,SAAS;QAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;QAC3C,OAAO,EAAE;YACP,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,yBAAyB,EAAE,MAAM,CAAC,yBAAyB;YAC3D,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;YACrC,YAAY,EACV,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC;SACvE;KACF,CAAC,CAAC;IAEH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACxC,CAAC"}

package/dist/tools/polymarket-query.d.ts

@@ -0,0 +1,55 @@
+import { type ContentAddressedResponse, type JsonValue } from "../envelope.js";
+import { AppendOnlyAuditLog } from "../audit-log.js";
+import { type Rule, type VerifierContext } from "../verifier/index.js";
+import { getMarket, listMarkets } from "../adapters/polymarket/index.js";
+export interface PolymarketQueryInputs {
+    /** "by_id" returns a single market; "list_active" returns top markets. */
+    readonly mode: "by_id" | "list_active";
+    readonly market_id?: string;
+    readonly limit?: number;
+    /** ISO 8601 UTC. The agent supplies "as of"; the engine doesn't time-travel today. */
+    readonly data_as_of: string;
+}
+export interface PolymarketQueryValue {
+    readonly mode: "by_id" | "list_active";
+    readonly markets: ReadonlyArray<NormalizedMarket>;
+}
+export interface NormalizedMarket {
+    readonly id: string | null;
+    readonly question: string | null;
+    readonly slug: string | null;
+    readonly outcomes: ReadonlyArray<string> | null;
+    readonly outcome_prices: ReadonlyArray<number> | null;
+    readonly last_trade_price: number | null;
+    readonly best_bid: number | null;
+    readonly best_ask: number | null;
+    readonly spread: number | null;
+    readonly volume_total: number | null;
+    readonly volume_24h: number | null;
+    readonly liquidity: number | null;
+    readonly active: boolean | null;
+    readonly closed: boolean | null;
+    readonly end_date: string | null;
+    readonly condition_id: string | null;
+    readonly uma_resolution_status: string | null;
+}
+export interface PolymarketQueryDeps {
+    readonly auditLog: AppendOnlyAuditLog;
+    readonly rules: ReadonlyArray<Rule>;
+    readonly verifierContext: VerifierContext;
+    /** Override for testing. Defaults to the real Gamma client. */
+    readonly engine?: {
+        getMarket: typeof getMarket;
+        listMarkets: typeof listMarkets;
+    };
+}
+export type PolymarketQueryResult = {
+    readonly ok: true;
+    readonly response: ContentAddressedResponse<PolymarketQueryValue>;
+} | {
+    readonly ok: false;
+    readonly stage: "verifier" | "engine";
+    readonly detail: JsonValue;
+};
+export declare function polymarketQuery(inputs: PolymarketQueryInputs, deps: PolymarketQueryDeps): Promise<PolymarketQueryResult>;
+//# sourceMappingURL=polymarket-query.d.ts.map

package/dist/tools/polymarket-query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"polymarket-query.d.ts","sourceRoot":"","sources":["../../src/tools/polymarket-query.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,wBAAwB,EAC7B,KAAK,SAAS,EACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAe,KAAK,IAAI,EAAE,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACpF,OAAO,EACL,SAAS,EACT,WAAW,EAKZ,MAAM,iCAAiC,CAAC;AA4BzC,MAAM,WAAW,qBAAqB;IACpC,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,sFAAsF;IACtF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/C;AAwBD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,SAAS,EAAE,OAAO,SAAS,CAAC;QAC5B,WAAW,EAAE,OAAO,WAAW,CAAC;KACjC,CAAC;CACH;AAED,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC,oBAAoB,CAAC,CAAA;CAAE,GACxF;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,CAAC;AAE9F,wBAAsB,eAAe,CACnC,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,qBAAqB,CAAC,CA+FhC"}

package/dist/tools/polymarket-query.js

@@ -0,0 +1,128 @@
+import { sealEnvelope, sha256, canonicalize, } from "../envelope.js";
+import { runVerifier } from "../verifier/index.js";
+import { getMarket, listMarkets, decodeOutcomePrices, decodeOutcomes, POLYMARKET_ADAPTER_VERSION, } from "../adapters/polymarket/index.js";
+/**
+ * polymarket_query — the kbot tool entry point.
+ *
+ * Wires the full architecture for one operation:
+ *   1. Build the content-addressed request envelope.
+ *   2. Run the regulatory verifier (informational ops still get audited).
+ *   3. Log the verifier check.
+ *   4. Call the Polymarket Gamma engine adapter.
+ *   5. Seal the response into an envelope.
+ *   6. Log the engine response.
+ *
+ * The AI agent calling this tool cannot produce the market price. It can
+ * only request one, inside an envelope, with a replayable hash.
+ */
+const SCHEMA_HASH = sha256(canonicalize({
+    type: "object",
+    fields: {
+        mode: { type: "string", enum: ["by_id", "list_active"] },
+        market_id: { type: "string", optional: true },
+        limit: { type: "number", optional: true },
+    },
+}));
+function normalize(m) {
+    return {
+        id: m.id ?? null,
+        question: m.question ?? null,
+        slug: m.slug ?? null,
+        outcomes: decodeOutcomes(m.outcomes),
+        outcome_prices: decodeOutcomePrices(m.outcomePrices),
+        last_trade_price: m.lastTradePrice ?? null,
+        best_bid: m.bestBid ?? null,
+        best_ask: m.bestAsk ?? null,
+        spread: m.spread ?? null,
+        volume_total: m.volumeNum ?? null,
+        volume_24h: m.volume24hr ?? null,
+        liquidity: m.liquidityNum ?? null,
+        active: m.active ?? null,
+        closed: m.closed ?? null,
+        end_date: m.endDate ?? null,
+        condition_id: m.conditionId ?? null,
+        uma_resolution_status: m.umaResolutionStatus ?? null,
+    };
+}
+export async function polymarketQuery(inputs, deps) {
+    const engine = deps.engine ?? { getMarket, listMarkets };
+    const request = {
+        operation: inputs.mode === "by_id" ? "polymarket.get_market" : "polymarket.list_markets",
+        engine_version: POLYMARKET_ADAPTER_VERSION,
+        schema_hash: SCHEMA_HASH,
+        inputs: inputs,
+        data_as_of: inputs.data_as_of,
+    };
+    const verifier_report = runVerifier(deps.rules, {
+        operation: request.operation,
+        inputs: request.inputs,
+        materiality: "informational",
+    }, deps.verifierContext);
+    await deps.auditLog.append({
+        action: "verifier_check",
+        subject: request.operation,
+        session_id: deps.verifierContext.session_id,
+        payload: verifier_report,
+    });
+    if (!verifier_report.ok) {
+        return { ok: false, stage: "verifier", detail: verifier_report };
+    }
+    await deps.auditLog.append({
+        action: "engine_request",
+        subject: request.operation,
+        session_id: deps.verifierContext.session_id,
+        payload: request,
+    });
+    const sealed = await sealEnvelope(request, async () => {
+        if (inputs.mode === "by_id") {
+            if (!inputs.market_id) {
+                throw new Error("market_id required for mode=by_id");
+            }
+            const r = await engine.getMarket(inputs.market_id);
+            if (!r.ok) {
+                throw new Error(`polymarket.get_market failed: ${r.error.code}: ${r.error.message}`);
+            }
+            return { mode: "by_id", markets: [normalize(r.value)] };
+        }
+        else {
+            const r = await engine.listMarkets({
+                limit: inputs.limit ?? 10,
+                active: true,
+                closed: false,
+                order: "volume24hr",
+            });
+            if (!r.ok) {
+                throw new Error(`polymarket.list_markets failed: ${r.error.code}: ${r.error.message}`);
+            }
+            return { mode: "list_active", markets: r.value.map(normalize) };
+        }
+    }, 
+    // Gamma over HTTPS is not byte-replayable — markets move. The honesty
+    // primitive: declare it. A second-pass replay must hit the same `data_as_of`
+    // block on an indexer like Goldsky for true determinism. v0.1 does not yet.
+    { byte_identical_replayable: false }).catch((e) => ({ error: e.message }));
+    if ("error" in sealed) {
+        await deps.auditLog.append({
+            action: "incident",
+            subject: request.operation,
+            session_id: deps.verifierContext.session_id,
+            payload: { error: sealed.error },
+        });
+        return { ok: false, stage: "engine", detail: { error: sealed.error } };
+    }
+    await deps.auditLog.append({
+        action: "engine_response",
+        subject: request.operation,
+        session_id: deps.verifierContext.session_id,
+        payload: {
+            request_hash: sealed.request_hash,
+            produced_at: sealed.produced_at,
+            byte_identical_replayable: sealed.byte_identical_replayable,
+            // Don't log the full market list at audit-info level; log the count
+            // and the hash. Full payload is recoverable via replay.
+            market_count: sealed.value.markets.length,
+        },
+    });
+    return { ok: true, response: sealed };
+}
+//# sourceMappingURL=polymarket-query.js.map

package/dist/tools/polymarket-query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"polymarket-query.js","sourceRoot":"","sources":["../../src/tools/polymarket-query.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,MAAM,EACN,YAAY,GAIb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,WAAW,EAAmC,MAAM,sBAAsB,CAAC;AACpF,OAAO,EACL,SAAS,EACT,WAAW,EACX,mBAAmB,EACnB,cAAc,EACd,0BAA0B,GAE3B,MAAM,iCAAiC,CAAC;AAEzC;;;;;;;;;;;;;GAaG;AAEH,MAAM,WAAW,GAAG,MAAM,CACxB,YAAY,CAAC;IACX,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE;QACN,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE;QACxD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC7C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC1C;CACW,CAAC,CAChB,CAAC;AAoCF,SAAS,SAAS,CAAC,CAAmB;IACpC,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,IAAI;QAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI;QAC5B,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI;QACpB,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpC,cAAc,EAAE,mBAAmB,CAAC,CAAC,CAAC,aAAa,CAAC;QACpD,gBAAgB,EAAE,CAAC,CAAC,cAAc,IAAI,IAAI;QAC1C,QAAQ,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;QAC3B,QAAQ,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;QAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI;QACxB,YAAY,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI;QACjC,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,IAAI;QAChC,SAAS,EAAE,CAAC,CAAC,YAAY,IAAI,IAAI;QACjC,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI;QACxB,QAAQ,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;QAC3B,YAAY,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;QACnC,qBAAqB,EAAE,CAAC,CAAC,mBAAmB,IAAI,IAAI;KACrD,CAAC;AACJ,CAAC;AAiBD,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAA6B,EAC7B,IAAyB;IAEzB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IAEzD,MAAM,OAAO,GAA4B;QACvC,SAAS,EAAE,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,yBAAyB;QACxF,cAAc,EAAE,0BAA0B;QAC1C,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE,MAA8B;QACtC,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC;IAEF,MAAM,eAAe,GAAG,WAAW,CACjC,IAAI,CAAC,KAAK,EACV;QACE,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,WAAW,EAAE,eAAe;KAC7B,EACD,IAAI,CAAC,eAAe,CACrB,CAAC;IAEF,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,gBAAgB;QACxB,OAAO,EAAE,OAAO,CAAC,SAAS;QAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;QAC3C,OAAO,EAAE,eAAuC;KACjD,CAAC,CAAC;IAEH,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,eAAuC,EAAE,CAAC;IAC3F,CAAC;IAED,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,gBAAgB;QACxB,OAAO,EAAE,OAAO,CAAC,SAAS;QAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;QAC3C,OAAO,EAAE,OAA+B;KACzC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,YAAY,CAC/B,OAAO,EACP,KAAK,IAAI,EAAE;QACT,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACnD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACvF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC;gBACjC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE;gBACzB,MAAM,EAAE,IAAI;gBACZ,MAAM,EAAE,KAAK;gBACb,KAAK,EAAE,YAAY;aACpB,CAAC,CAAC;YACH,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAClE,CAAC;IACH,CAAC;IACD,sEAAsE;IACtE,6EAA6E;IAC7E,4EAA4E;IAC5E,EAAE,yBAAyB,EAAE,KAAK,EAAE,CACrC,CAAC,KAAK,CAAC,CAAC,CAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAU,CAAC,CAAC;IAEvD,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACzB,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,OAAO,CAAC,SAAS;YAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;YAC3C,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;SACjC,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;IACzE,CAAC;IAED,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,iBAAiB;QACzB,OAAO,EAAE,OAAO,CAAC,SAAS;QAC1B,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU;QAC3C,OAAO,EAAE;YACP,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,yBAAyB,EAAE,MAAM,CAAC,yBAAyB;YAC3D,oEAAoE;YACpE,wDAAwD;YACxD,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM;SAC1C;KACF,CAAC,CAAC;IAEH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACxC,CAAC"}

package/dist/verifier/eu-rts6.d.ts

@@ -0,0 +1,3 @@
+import type { Rule } from "./index.js";
+export declare function makeRts6AlgorithmDeclaredRule(): Rule;
+//# sourceMappingURL=eu-rts6.d.ts.map

package/dist/verifier/eu-rts6.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eu-rts6.d.ts","sourceRoot":"","sources":["../../src/verifier/eu-rts6.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAA+C,MAAM,YAAY,CAAC;AA4BpF,wBAAgB,6BAA6B,IAAI,IAAI,CAqCpD"}

package/dist/verifier/eu-rts6.js

@@ -0,0 +1,45 @@
+const TRADE_OPERATIONS = new Set([
+    "polymarket.trade",
+    "polymarket.market_make",
+    "alts.allocate",
+    "rates.swap_execute",
+    "equities.order",
+]);
+export function makeRts6AlgorithmDeclaredRule() {
+    return {
+        id: "rule.eu_rts6_algorithm_declared",
+        jurisdictions: ["EU"],
+        operations: Array.from(TRADE_OPERATIONS),
+        evaluate(action, _context) {
+            const inputs = action.inputs;
+            const id = inputs?.rts6_algorithm_id;
+            if (typeof id !== "string" || id.trim().length === 0) {
+                return {
+                    pass: false,
+                    reason: {
+                        code: "RTS6_ALGO_ID_MISSING",
+                        summary: "MiFID II RTS 6 requires every algorithmic-trading action to carry an algorithm declaration ID.",
+                        details: {
+                            required_field: "rts6_algorithm_id",
+                            regulation: "Commission Delegated Regulation 2017/589, Article 9",
+                            esma_briefing: "ESMA74-1505669079-10311 (26 Feb 2026)",
+                        },
+                    },
+                };
+            }
+            // Cheap shape check — typical IDs are alphanumeric with optional hyphens.
+            if (!/^[A-Za-z0-9_-]{3,64}$/.test(id)) {
+                return {
+                    pass: false,
+                    reason: {
+                        code: "RTS6_ALGO_ID_INVALID_SHAPE",
+                        summary: `rts6_algorithm_id "${id}" does not match the expected 3-64 char alphanumeric format.`,
+                        details: { received: id },
+                    },
+                };
+            }
+            return { pass: true };
+        },
+    };
+}
+//# sourceMappingURL=eu-rts6.js.map

package/dist/verifier/eu-rts6.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eu-rts6.js","sourceRoot":"","sources":["../../src/verifier/eu-rts6.ts"],"names":[],"mappings":"AAoBA,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS;IACvC,kBAAkB;IAClB,wBAAwB;IACxB,eAAe;IACf,oBAAoB;IACpB,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,UAAU,6BAA6B;IAC3C,OAAO;QACL,EAAE,EAAE,iCAAiC;QACrC,aAAa,EAAE,CAAC,IAAI,CAAC;QACrB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC;QACxC,QAAQ,CAAC,MAAsB,EAAE,QAAyB;YACxD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAoB,CAAC;YAC3C,MAAM,EAAE,GAAG,MAAM,EAAE,iBAAiB,CAAC;YACrC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrD,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE;wBACN,IAAI,EAAE,sBAAsB;wBAC5B,OAAO,EACL,gGAAgG;wBAClG,OAAO,EAAE;4BACP,cAAc,EAAE,mBAAmB;4BACnC,UAAU,EAAE,qDAAqD;4BACjE,aAAa,EAAE,uCAAuC;yBACvD;qBACF;iBACF,CAAC;YACJ,CAAC;YACD,0EAA0E;YAC1E,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE;wBACN,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,sBAAsB,EAAE,8DAA8D;wBAC/F,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;qBAC1B;iBACF,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACxB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/verifier/index.d.ts

@@ -0,0 +1,67 @@
+import type { JsonValue } from "../envelope.js";
+/**
+ * Regulatory verifier — Norm-AI-pattern, ported.
+ *
+ * Every action passes through the verifier before reaching the engine.
+ * Rules are pure functions over (action, context); failures emit a reason
+ * code analogous to ECOA adverse-action notices.
+ *
+ * Jurisdiction-specific rulesets are composed by selecting which rules
+ * are active. SR 11-7 / SR 26-02 / MiFID II / RTS 6 / FINRA 2026 / FCA
+ * Consumer Duty all become libraries of these predicates.
+ */
+export interface VerifierAction {
+    /** Operation, e.g. "polymarket.market_make", "alts.nav_compute". */
+    readonly operation: string;
+    /** The request payload the agent is asking to execute. */
+    readonly inputs: JsonValue;
+    /** Materiality classification — used by rules to scale scrutiny. */
+    readonly materiality: "informational" | "operational" | "material";
+}
+export interface VerifierContext {
+    /** Session ID. */
+    readonly session_id: string;
+    /** Current positions, exposure, or other state rules may need to inspect. */
+    readonly state: JsonValue;
+    /** Jurisdiction tag — selects the active ruleset. */
+    readonly jurisdiction: "US" | "EU" | "UK" | "SG" | "HK" | "UAE" | "GLOBAL";
+}
+export interface RuleEvidence {
+    readonly code: string;
+    readonly summary: string;
+    readonly details: JsonValue;
+}
+export type RuleResult = {
+    readonly pass: true;
+} | {
+    readonly pass: false;
+    readonly reason: RuleEvidence;
+};
+export interface Rule {
+    /** Stable identifier, e.g. "rule.position_limit", "rule.kelly_cap". */
+    readonly id: string;
+    /** Jurisdictions where this rule applies. */
+    readonly jurisdictions: ReadonlyArray<VerifierContext["jurisdiction"]>;
+    /** Operations the rule cares about. Match-all = "*". */
+    readonly operations: ReadonlyArray<string>;
+    /** Pure evaluator. */
+    evaluate(action: VerifierAction, context: VerifierContext): RuleResult;
+}
+export interface VerifierReport {
+    readonly ok: boolean;
+    readonly checks: ReadonlyArray<{
+        readonly rule_id: string;
+        readonly result: RuleResult;
+    }>;
+}
+/**
+ * Run all applicable rules. Returns a structured report. Short-circuit
+ * is intentionally not used: every applicable rule runs so audit logs
+ * record the full evaluation, not just the first failure.
+ */
+export declare function runVerifier(rules: ReadonlyArray<Rule>, action: VerifierAction, context: VerifierContext): VerifierReport;
+export * from "./position-limit.js";
+export * from "./kelly-cap.js";
+export * from "./eu-rts6.js";
+export * from "./model-version.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/verifier/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD;;;;;;;;;;GAUG;AAEH,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,eAAe,GAAG,aAAa,GAAG,UAAU,CAAC;CACpE;AAED,MAAM,WAAW,eAAe;IAC9B,kBAAkB;IAClB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,qDAAqD;IACrD,QAAQ,CAAC,YAAY,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,QAAQ,CAAC;CAC5E;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;CAC7B;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE,CAAC;AAE5D,MAAM,WAAW,IAAI;IACnB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,6CAA6C;IAC7C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC;IACvE,wDAAwD;IACxD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,sBAAsB;IACtB,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,GAAG,UAAU,CAAC;CACxE;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAC7B,CAAC,CAAC;CACJ;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,eAAe,GACvB,cAAc,CAchB;AAED,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}

package/dist/verifier/index.js

@@ -0,0 +1,22 @@
+/**
+ * Run all applicable rules. Returns a structured report. Short-circuit
+ * is intentionally not used: every applicable rule runs so audit logs
+ * record the full evaluation, not just the first failure.
+ */
+export function runVerifier(rules, action, context) {
+    const applicable = rules.filter((r) => (r.jurisdictions.includes(context.jurisdiction) || r.jurisdictions.includes("GLOBAL")) &&
+        (r.operations.includes("*") || r.operations.includes(action.operation)));
+    const checks = applicable.map((rule) => ({
+        rule_id: rule.id,
+        result: rule.evaluate(action, context),
+    }));
+    return {
+        ok: checks.every((c) => c.result.pass),
+        checks,
+    };
+}
+export * from "./position-limit.js";
+export * from "./kelly-cap.js";
+export * from "./eu-rts6.js";
+export * from "./model-version.js";
+//# sourceMappingURL=index.js.map

package/dist/verifier/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AA6DA;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,KAA0B,EAC1B,MAAsB,EACtB,OAAwB;IAExB,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAC1E,CAAC;IACF,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvC,OAAO,EAAE,IAAI,CAAC,EAAE;QAChB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;KACvC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QACtC,MAAM;KACP,CAAC;AACJ,CAAC;AAED,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}

package/dist/verifier/kelly-cap.d.ts

@@ -0,0 +1,19 @@
+import type { Rule } from "./index.js";
+/**
+ * Kelly criterion cap — refuses position sizes above the Kelly fraction for
+ * the AI agent's stated probabilistic edge. The math: f* = (bp - q) / b
+ * where p = win prob, q = 1-p, b = decimal odds payoff.
+ *
+ * The agent must declare its `edge_probability` and `payoff_b` for any
+ * trade-shaped action. If the requested size exceeds Kelly, the rule
+ * vetoes. Half-Kelly is enforced by default — full Kelly is empirically
+ * too aggressive for any realistic edge estimate.
+ */
+export interface KellyCapConfig {
+    /** Fraction of full Kelly allowed. 0.5 (half-Kelly) is the conventional default. */
+    readonly kelly_fraction: number;
+    /** Bankroll the Kelly fraction is computed against. */
+    readonly bankroll: number;
+}
+export declare function makeKellyCapRule(config: KellyCapConfig): Rule;
+//# sourceMappingURL=kelly-cap.d.ts.map

package/dist/verifier/kelly-cap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kelly-cap.d.ts","sourceRoot":"","sources":["../../src/verifier/kelly-cap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAA+C,MAAM,YAAY,CAAC;AAEpF;;;;;;;;;GASG;AAEH,MAAM,WAAW,cAAc;IAC7B,oFAAoF;IACpF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,uDAAuD;IACvD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAQD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CA+D7D"}

package/dist/verifier/kelly-cap.js

@@ -0,0 +1,64 @@
+export function makeKellyCapRule(config) {
+    return {
+        id: "rule.kelly_cap",
+        jurisdictions: ["GLOBAL"],
+        operations: ["polymarket.trade", "polymarket.market_make", "alts.allocate"],
+        evaluate(action, _context) {
+            const inputs = action.inputs;
+            const p = inputs?.edge_probability;
+            const b = inputs?.payoff_b;
+            const requested_notional = inputs?.notional ?? 0;
+            if (p === undefined || b === undefined) {
+                return {
+                    pass: false,
+                    reason: {
+                        code: "KELLY_INPUTS_MISSING",
+                        summary: "Trade-shaped action must declare edge_probability and payoff_b for Kelly sizing.",
+                        details: { edge_probability: p ?? null, payoff_b: b ?? null },
+                    },
+                };
+            }
+            if (!(p > 0 && p < 1) || b <= 0) {
+                return {
+                    pass: false,
+                    reason: {
+                        code: "KELLY_INPUTS_INVALID",
+                        summary: "edge_probability must be in (0,1) and payoff_b must be > 0.",
+                        details: { edge_probability: p, payoff_b: b },
+                    },
+                };
+            }
+            const q = 1 - p;
+            const full_kelly = (b * p - q) / b;
+            if (full_kelly <= 0) {
+                return {
+                    pass: false,
+                    reason: {
+                        code: "KELLY_NEGATIVE_EDGE",
+                        summary: "Implied Kelly fraction is non-positive; the bet has no edge.",
+                        details: { kelly_fraction: full_kelly, p, b },
+                    },
+                };
+            }
+            const allowed_notional = config.kelly_fraction * full_kelly * config.bankroll;
+            if (requested_notional > allowed_notional) {
+                return {
+                    pass: false,
+                    reason: {
+                        code: "KELLY_CAP_EXCEEDED",
+                        summary: `Notional ${requested_notional.toFixed(2)} exceeds ${(config.kelly_fraction * 100).toFixed(0)}%-Kelly cap of ${allowed_notional.toFixed(2)}.`,
+                        details: {
+                            full_kelly_fraction: full_kelly,
+                            applied_fraction: config.kelly_fraction,
+                            bankroll: config.bankroll,
+                            allowed_notional,
+                            requested_notional,
+                        },
+                    },
+                };
+            }
+            return { pass: true };
+        },
+    };
+}
+//# sourceMappingURL=kelly-cap.js.map

package/dist/verifier/kelly-cap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kelly-cap.js","sourceRoot":"","sources":["../../src/verifier/kelly-cap.ts"],"names":[],"mappings":"AA0BA,MAAM,UAAU,gBAAgB,CAAC,MAAsB;IACrD,OAAO;QACL,EAAE,EAAE,gBAAgB;QACpB,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,UAAU,EAAE,CAAC,kBAAkB,EAAE,wBAAwB,EAAE,eAAe,CAAC;QAC3E,QAAQ,CAAC,MAAsB,EAAE,QAAyB;YACxD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAqB,CAAC;YAC5C,MAAM,CAAC,GAAG,MAAM,EAAE,gBAAgB,CAAC;YACnC,MAAM,CAAC,GAAG,MAAM,EAAE,QAAQ,CAAC;YAC3B,MAAM,kBAAkB,GAAG,MAAM,EAAE,QAAQ,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACvC,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE;wBACN,IAAI,EAAE,sBAAsB;wBAC5B,OAAO,EACL,kFAAkF;wBACpF,OAAO,EAAE,EAAE,gBAAgB,EAAE,CAAC,IAAI,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,EAAE;qBAC9D;iBACF,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE;wBACN,IAAI,EAAE,sBAAsB;wBAC5B,OAAO,EAAE,6DAA6D;wBACtE,OAAO,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;qBAC9C;iBACF,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,MAAM,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;gBACpB,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE;wBACN,IAAI,EAAE,qBAAqB;wBAC3B,OAAO,EAAE,8DAA8D;wBACvE,OAAO,EAAE,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE;qBAC9C;iBACF,CAAC;YACJ,CAAC;YACD,MAAM,gBAAgB,GAAG,MAAM,CAAC,cAAc,GAAG,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC9E,IAAI,kBAAkB,GAAG,gBAAgB,EAAE,CAAC;gBAC1C,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE;wBACN,IAAI,EAAE,oBAAoB;wBAC1B,OAAO,EAAE,YAAY,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG;wBACtJ,OAAO,EAAE;4BACP,mBAAmB,EAAE,UAAU;4BAC/B,gBAAgB,EAAE,MAAM,CAAC,cAAc;4BACvC,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,gBAAgB;4BAChB,kBAAkB;yBACnB;qBACF;iBACF,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACxB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/verifier/model-version.d.ts

@@ -0,0 +1,3 @@
+import type { Rule } from "./index.js";
+export declare function makeModelVersionPinnedRule(): Rule;
+//# sourceMappingURL=model-version.d.ts.map

package/dist/verifier/model-version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-version.d.ts","sourceRoot":"","sources":["../../src/verifier/model-version.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAA+C,MAAM,YAAY,CAAC;AAoBpF,wBAAgB,0BAA0B,IAAI,IAAI,CA0BjD"}