@nola-lang/console 0.1.4

package/dist/storage/types.d.ts

@@ -0,0 +1,173 @@
+import type { AskKind, NolaIngestEnvelope, NolaIngestKind } from "@nola-lang/core";
+/**
+ * One project — keyed by the config `project` name riding the envelopes
+ * (tracing model spec §1: the config string IS the identity; no minted ids).
+ * `name: null` is the `(no project)` bucket for project-less envelopes.
+ */
+export interface ProjectSummary {
+    name: string | null;
+    firstSeenAt: number;
+    lastSeenAt: number;
+    traceCount: number;
+}
+export type RecordKind = "invocation" | AskKind;
+/** Shared by every record in the flattened tree (records-view spec §5). */
+export interface RecordBase {
+    /** invocationId for an invocation, askId for an ask */
+    id: string;
+    kind: RecordKind;
+    /** the root invocation's id */
+    traceId: string;
+    /** absent on a root invocation */
+    parentId?: string;
+    depth: number;
+    /** display label built server-side (labels.ts) — never identity */
+    label: string;
+    status: "running" | "ok" | "error";
+    startedAt: number;
+    durationMs?: number;
+}
+/** One infer-function call — a root (opened its own frame) or attached (called by a parent invocation). */
+export interface InvocationRecord extends RecordBase {
+    kind: "invocation";
+    fn?: string;
+    file?: string;
+    detached: boolean;
+    project?: string;
+    runId: string;
+    pid: number;
+    completedAt?: number;
+    /** over the subtree */
+    askCount: number;
+    errorCount: number;
+}
+/** One ask execution — the extract or call as its askStart/askEnd described it. */
+export interface AskRecord extends RecordBase {
+    kind: AskKind;
+    site?: string;
+    def?: string;
+    instruction?: string;
+    callee?: string;
+    hint?: string;
+    typeText?: string;
+    provider?: string;
+    profile?: string;
+    attempts?: number;
+    error?: string;
+}
+export type TraceRecord = InvocationRecord | AskRecord;
+/** The subtree of one invocation: the node itself first, then every descendant in display order. */
+export interface TraceDetail {
+    node: InvocationRecord;
+    records: TraceRecord[];
+    /** the invocationEnd span tree (InvocationTrace), verbatim, once a ROOT completed */
+    trace?: unknown;
+}
+/** One provider round trip, materialized from providerRequest/providerResponse pairs. */
+export interface AttemptSummary {
+    attempt: number;
+    provider?: string;
+    at: number;
+    durationMs?: number;
+    /** 'failed' when a validationFailed event named this attempt; the final attempt of an ok ask implicitly passed */
+    validation?: "failed";
+}
+/** One ask as a definition's execution list shows it — assembled from askStart/askEnd events. */
+export interface AskSummary {
+    askId: string;
+    /** the root invocation the ask belongs to (`spanPath[0]`, or the synthetic `run:<runId>` fallback) */
+    traceId: string;
+    /** the trace's process id — a filter attribute of the execution */
+    pid?: number;
+    /** compiler-stamped source identity — groups executions of the same authored ask */
+    def?: string;
+    /** what the ask executed; legacy rows without one read as extract */
+    kind?: AskKind;
+    /** "file:line:col" display text from the ask's Site. */
+    site?: string;
+    instruction?: string;
+    callee?: string;
+    hint?: string;
+    typeText?: string;
+    provider?: string;
+    profile?: string;
+    status: "running" | "ok" | "error";
+    startedAt: number;
+    durationMs?: number;
+    attempts?: number;
+    error?: string;
+}
+/** One stored hook event belonging to an ask, ordered by the sender's seq. */
+export interface AskEventRow {
+    seq: number;
+    at: number;
+    kind: NolaIngestKind;
+    event: unknown;
+}
+/** One link of the owning invocation chain, root first. */
+export interface InvocationLink {
+    invocationId: string;
+    fn?: string;
+    depth: number;
+}
+/** The ask-detail view: the summary plus attempts, the receipt, every event, and the owning chain. */
+export interface AskDetail extends AskSummary {
+    attemptRows: AttemptSummary[];
+    receipt?: unknown;
+    events: AskEventRow[];
+    invocationChain: InvocationLink[];
+}
+/**
+ * One AskDefinition — the static ask construct in source, identified by the
+ * compiler-stamped `def` hash (AskDefinition spec §2). Stats are computed by
+ * query over the asks, never stored.
+ */
+export interface DefinitionSummary {
+    def: string;
+    project?: string;
+    /** last-seen kind */
+    kind?: AskKind;
+    file?: string;
+    /** last-seen "line:col" — display only; the identity excludes positions */
+    loc?: string;
+    /** last-seen instruction label */
+    instruction?: string;
+    firstSeenAt: number;
+    lastSeenAt: number;
+    executions: number;
+    okCount: number;
+    errorCount: number;
+    avgDurationMs?: number;
+    p95DurationMs?: number;
+    avgAttempts?: number;
+    providers: string[];
+}
+/** The definition drill-down: the stats plus recent executions (newest first). */
+export interface DefinitionDetail extends DefinitionSummary {
+    asks: AskSummary[];
+}
+export interface RecordsQuery {
+    project?: string;
+    noProject?: boolean;
+    runId?: string;
+    /** counts ROOTS; every returned root's subtree is complete */
+    limit?: number;
+}
+/** Replaceable persistence seam (console design §13) — SQLite locally, others later. */
+export interface ConsoleStorage {
+    ingest(envelope: NolaIngestEnvelope): Promise<void>;
+    listProjects(): Promise<ProjectSummary[]>;
+    /** the flattened tree in display order: roots newest first, children in start order beneath each */
+    listRecords(query?: RecordsQuery): Promise<TraceRecord[]>;
+    getTrace(invocationId: string): Promise<TraceDetail | undefined>;
+    getAsk(askId: string): Promise<AskDetail | undefined>;
+    listDefinitions(query?: {
+        project?: string;
+        noProject?: boolean;
+    }): Promise<DefinitionSummary[]>;
+    getDefinition(def: string): Promise<DefinitionDetail | undefined>;
+    /** Delete everything — every project, invocation, ask, definition, attempt and event. */
+    clear(): Promise<void>;
+    close(): Promise<void>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/storage/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/storage/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEnF;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,OAAO,CAAC;AAEhD,2EAA2E;AAC3E,MAAM,WAAW,UAAU;IACzB,uDAAuD;IACvD,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,kCAAkC;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,2GAA2G;AAC3G,MAAM,WAAW,gBAAiB,SAAQ,UAAU;IAClD,IAAI,EAAE,YAAY,CAAC;IACnB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,mFAAmF;AACnF,MAAM,WAAW,SAAU,SAAQ,UAAU;IAC3C,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,WAAW,GAAG,gBAAgB,GAAG,SAAS,CAAC;AAEvD,oGAAoG;AACpG,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,qFAAqF;IACrF,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,yFAAyF;AACzF,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kHAAkH;IAClH,UAAU,CAAC,EAAE,QAAQ,CAAC;CACvB;AAED,iGAAiG;AACjG,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,sGAAsG;IACtG,OAAO,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,oFAAoF;IACpF,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,wDAAwD;IACxD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,8EAA8E;AAC9E,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,2DAA2D;AAC3D,MAAM,WAAW,cAAc;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED,sGAAsG;AACtG,MAAM,WAAW,SAAU,SAAQ,UAAU;IAC3C,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,eAAe,EAAE,cAAc,EAAE,CAAC;CACnC;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,kFAAkF;AAClF,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,IAAI,EAAE,UAAU,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wFAAwF;AACxF,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,QAAQ,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,YAAY,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAC1C,oGAAoG;IACpG,WAAW,CAAC,KAAK,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1D,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IACjE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;IACtD,eAAe,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACjG,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC;IAClE,yFAAyF;IACzF,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB"}

package/dist/storage/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/storage/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/storage/types.ts"],"names":[],"mappings":""}