UNPKG

kestrel.markets

Version:

A typed, token-efficient language + runtime for agentic trading: agents author bounded plans, the runtime fires them at the tick. CLI + typed library + MCP server.

121 lines (115 loc) 6.54 kB
/** * Typed, LOUD errors for the IB Gateway TWS-socket transport (kestrel-7o2.5). A dropped socket, * an auth/handshake failure, a lost heartbeat, or a misconfigured session is **never** a silent * no-op — it surfaces here (AGENTS: fail-closed; ADR-0034). Secrets/credentials (the account id) * are NEVER placed on an error message: any account echoed is redacted at the call site. * * These are the edge-adapter's own error types; they are distinct classes (not bare `Error`) so a * caller can catch a connection loss specifically and reach STAND_DOWN, and can never mistake a * transport failure for an unrelated one. */ /** * Why a live-capable transport degraded / refused — a closed, typed reason a caller can branch on * and log. `mode-gate` is the paper-first Kestrel gate (ADR-0034 §a); it is NOT merely an IBKR * port/account fact, so it is refused here regardless of which port the gateway listens on. * * `live-account` is that gate's COMPLEMENT and ADR-0034 §3's promised second barrier: the mode gate * guards the mode STRING, which a misconfigured port cannot falsify — `--port 7496` against a * live-logged-in gateway is `mode=paper` all the way down while the SOCKET is attached to real * money. `live-account` is the handshake ASSERTION that the account we actually reached is a paper * one. The mode was never the leak; the socket was. */ export type IbkrFailure = | "not-connected" | "connect-failed" | "auth-failed" | "heartbeat-lost" | "disconnected" | "mode-gate" | "live-account"; /** * Why a CONTRACT could not be resolved (kestrel-7o2.6) — a closed, typed reason the caller branches * on and logs before STANDing DOWN. There is deliberately no "best guess" member: the contract layer * maps a Kestrel identity onto the gateway's OWN definition or it refuses. * * - `unsupported` — the intent is not a legal instrument identity to look up: a HALF-specified * option leg (strike xor right — ADR-0017 requires BOTH or NEITHER), or an option leg with no * supplied expiry. Refused BEFORE the gateway is asked; an expiry/right/strike is never invented. * - `unresolvable` — the gateway has NO definition matching the identity (an unknown strike/right/ * expiry, a dead symbol, or a definition that came back incomplete). The wall is the venue's. * - `ambiguous` — the gateway returned MORE THAN ONE matching definition. Never a pick: choosing * one of several (a.m.- vs p.m.-settled, two trading classes, two primary exchanges) would route a * real order to a contract the author did not name. * - `lookup-failed` — the definition lookup itself failed (a fatal IB error mid-request, a socket * drop, or a deadline lapse). Distinguished from `unresolvable` because the venue never answered: * the identity may well be fine, so the operator must not go hunting for a bad strike. */ export type IbkrContractFailure = "unsupported" | "unresolvable" | "ambiguous" | "lookup-failed"; /** * A Kestrel identity could not be mapped onto exactly ONE broker contract (kestrel-7o2.6) — the * LOUD, typed, fail-closed refusal that routes to STAND_DOWN. Thrown INSTEAD of returning a guessed * contract: an ambiguous, unresolvable, or half-specified identity NEVER yields a contract. * * Carries the typed {@link IbkrContractFailure} kind, a human-legible {@link reason} (already * secret-free — the account is redacted at the call site, as the transport redacts it), the IB * {@link code} when the venue named one, and — for `ambiguous` — how many candidates the gateway * returned, so the log says *how* ambiguous without ever naming the arbitrary winner (there is none). */ export class IbkrContractError extends Error { override readonly name = "IbkrContractError"; readonly failure: IbkrContractFailure; /** The secret-free reason, logged verbatim on the STAND_DOWN path. */ readonly reason: string; /** The underlying IB error code, when the venue named one (e.g. 200 "no security definition"). */ readonly code: number | undefined; /** How many definitions the gateway matched. `0` for unresolvable, `>1` for ambiguous. */ readonly candidates: number | undefined; constructor( failure: IbkrContractFailure, reason: string, // `| undefined` is explicit for `exactOptionalPropertyTypes`: a caller forwarding an // already-`number | undefined` code/candidate count must still typecheck. options: { code?: number | undefined; candidates?: number | undefined; cause?: unknown } = {}, ) { super( `IBKR contract resolution refused [${failure}]: ${reason} (fail-closed; STAND_DOWN)`, options.cause === undefined ? undefined : { cause: options.cause }, ); this.failure = failure; this.reason = reason; this.code = options.code; this.candidates = options.candidates; } } /** IB Gateway transport configuration is missing or inconsistent (fail-closed; no baked endpoint, * so an unresolved host/port surfaces here rather than defaulting silently to a wrong venue). */ export class IbkrConfigError extends Error { override readonly name = "IbkrConfigError"; constructor(message: string, options: { cause?: unknown } = {}) { super(message, options.cause === undefined ? undefined : { cause: options.cause }); } } /** * The IB Gateway socket connection failed, dropped, lost its heartbeat, or failed to authenticate * (kestrel-7o2.5). Thrown on USE of a transport that is not connected or has gone degraded, and * used to REJECT a `connect()` that never completed its handshake. Carries the typed * {@link IbkrFailure} kind and the underlying IB {@link ErrorCode} (a number) when one is known, so * the caller can log the exact wall and STAND_DOWN. NEVER carries a credential/account. */ export class IbkrConnectionError extends Error { override readonly name = "IbkrConnectionError"; readonly failure: IbkrFailure; /** The underlying IB `ErrorCode` (numeric) when the failure originated from a TWS error event. */ readonly code: number | undefined; constructor( failure: IbkrFailure, message: string, // `| undefined` is explicit: under `exactOptionalPropertyTypes` a caller forwarding an // already-`number | undefined` code (a latched failure being rethrown) must still typecheck. options: { code?: number | undefined; cause?: unknown } = {}, ) { super(message, options.cause === undefined ? undefined : { cause: options.cause }); this.failure = failure; this.code = options.code; } }