@aisy/core 0.1.0

package/dist/nightly/types.d.ts

@@ -0,0 +1,326 @@
+export type Stage = 'archival' | 'consolidation' | 'lint-pass' | 'skill-hygiene' | 'disk-hygiene' | 'backup';
+export type ValidatorId = 'refs_exist' | 'no_conflicts' | 'dry_run_ok' | 'has_check_section';
+/** (entity, relation, object) equivalence-class key; owned by Memory (03). */
+export interface FactKey {
+    entity: string;
+    relation: string;
+    object: string;
+}
+export interface LockToken {
+    pid: number;
+    bootId: string;
+    startTime: number;
+    nonce: string;
+    acquiredAt: number;
+}
+export interface RunLock {
+    /** PID-reuse-safe: token triple {pid, bootId, startTime} must match a live job process. */
+    acquire(): {
+        ok: true;
+        token: LockToken;
+    } | {
+        ok: false;
+        heldBy: LockToken;
+        heldForMs: number;
+    };
+    release(token: LockToken): void;
+}
+export type MemOp = {
+    kind: 'ADD';
+    factKey: FactKey;
+    text: string;
+} | {
+    kind: 'UPDATE';
+    factId: string;
+    factKey: FactKey;
+    text: string;
+} | {
+    kind: 'DELETE';
+    factId: string;
+    reason: string;
+} | {
+    kind: 'NOOP';
+    factId: string;
+};
+export type DayLogRecordKind = 'utterance' | 'tool-call' | 'tool-result' | 'decision-journal';
+export interface NormalizedDayLogRecord {
+    kind: DayLogRecordKind;
+    ts: string;
+    payload: unknown;
+}
+/** De-duplicated, timestamp-ordered stream with do_not_remember records already removed. */
+export interface NormalizedDayLog {
+    date: string;
+    records: NormalizedDayLogRecord[];
+}
+export interface Fact {
+    id: string;
+    factKey: FactKey;
+    text: string;
+    /** NULL means live; non-null means soft-deleted/tombstoned */
+    invalidAt: string | null;
+    isHumanConfirmed: boolean;
+}
+export interface SkillDraft {
+    id: string;
+    name: string;
+    body: string;
+    /** Provenance hint; transient-origin items flagged for retirement (ADR-0025) */
+    provenance: 'transient' | 'session' | 'operator';
+    hasCheckSection: boolean;
+}
+export interface Diff {
+    added: MemOp[];
+    removed: string[];
+    updated: MemOp[];
+}
+export interface QuarantinedDiff {
+    /** Has passed the input classifier/quarantine (Safety 05, CSO-M5). */
+    quarantined: true;
+    body: string;
+    diff: Diff;
+}
+export interface Generator {
+    /** Reads the NORMALIZED, forget-filtered day log + live facts only (invalid_at IS NULL). */
+    proposeMemoryOps(log: NormalizedDayLog, liveFacts: Fact[]): Promise<{
+        ops: MemOp[];
+        diff: Diff;
+    }>;
+    draftSkills(log: NormalizedDayLog): Promise<SkillDraft[]>;
+}
+export interface ValidatorResult {
+    ok: boolean;
+    failed?: ValidatorId[];
+}
+export interface Validators {
+    /** Deterministic, 100%. Run BEFORE the judge. A failing candidate is dropped. */
+    check(candidate: MemOp | SkillDraft): ValidatorResult;
+}
+export type JudgeVerdict = 'accept' | 'reject' | 'edit';
+export interface Judge {
+    /** Different model/provider. Sees ONLY final artifact + diff; never the generator CoT. */
+    grade(quarantinedDiff: QuarantinedDiff): Promise<JudgeVerdict>;
+}
+export interface StagedPatch {
+    id: string;
+    kind: 'memory' | 'skill' | 'lint-orphan' | 'lint-stale' | 'lint-broken-edge';
+    body: string;
+    /** Computed at judge-accept (ADR-0029); re-verified at promotion. */
+    hashAtAccept: string;
+    /** Stripped of is_human_confirmed before staging. */
+    /** false = held unjudged (judge unavailable, §7); never auto-promoted. */
+    judged: boolean;
+}
+export interface StagingArea {
+    memoryPatches: StagedPatch[];
+    skillPatches: StagedPatch[];
+    lintPatches: StagedPatch[];
+}
+export interface LintOrphan {
+    kind: 'orphan';
+    path: string;
+    reason: string;
+}
+export interface LintStaleAnnotation {
+    kind: 'stale';
+    factId: string;
+    lastUpdated: string;
+    thresholdDays: number;
+}
+export interface LintBrokenEdge {
+    kind: 'broken-edge';
+    fromFactKey: FactKey;
+    edgeType: 'supersedes' | 'contradicts' | 'extends';
+    missingFactKey: FactKey;
+}
+export type LintFinding = LintOrphan | LintStaleAnnotation | LintBrokenEdge;
+export interface LintPassResult {
+    orphans: LintOrphan[];
+    staleAnnotations: LintStaleAnnotation[];
+    brokenEdges: LintBrokenEdge[];
+    /** When the generator was unavailable and the pass was skipped. */
+    skipped: boolean;
+    skipReason?: string;
+}
+export interface MorningCardItem {
+    /** The staged patch behind this card line. Absent for advisory-only items
+     *  (e.g. transient-skill retirement flags) that have no promotion path. */
+    patch?: StagedPatch;
+    summary: string;
+}
+export interface ResurrectionBlocked {
+    op: MemOp;
+    reason: 'tombstone' | 'forget-list' | 'human-confirmed-delete';
+}
+export interface HygieneReport {
+    vacuumed: boolean;
+    walCheckpointed: boolean;
+    logRotated: boolean;
+    dockerPruned: boolean;
+    worktreePruned: boolean;
+    dbIntegrityOk: boolean;
+}
+export interface BackupStatus {
+    pushed: boolean;
+    commitHash?: string;
+    failureReason?: string;
+    retried: boolean;
+}
+export interface VerificationMiss {
+    stage: Stage;
+    claimedEffect: string;
+    traceFailure: string;
+}
+export interface MorningCard {
+    runDate: string;
+    memoryEdits: MorningCardItem[];
+    triedToResurrect: ResurrectionBlocked[];
+    skillChanges: MorningCardItem[];
+    lintReport: LintPassResult;
+    hygieneReport: HygieneReport;
+    backupStatus: BackupStatus;
+    verificationMisses: VerificationMiss[];
+    cost: {
+        generatorTokens: number;
+        judgeTokens: number;
+        lintPassTokens: number;
+        totalUsd: number;
+    };
+}
+export type CommitJournalState = 'pending' | 'reindexed' | 'committed';
+export interface CommitJournalEntry {
+    runDate: string;
+    stage: Stage;
+    op: MemOp;
+    factIds: string[];
+    snapshotRef: string;
+    reindexDone: boolean;
+    gitCommitHash?: string;
+    state: CommitJournalState;
+}
+export interface NightResult {
+    runDate: string;
+    stagesCompleted: Stage[];
+    card: MorningCard;
+    lockToken: LockToken;
+}
+export interface NightlyConfig {
+    runAt: string;
+    maxHeldMs: number;
+    lintStaleDays: number;
+    backupRemote: string;
+    stagingDir: string;
+    archiveDir: string;
+}
+export interface SessionRecord {
+    id: string;
+    transcript: string;
+}
+/** Content-addressed session archival (Stage 1; AC-10-1). */
+export interface ArchiveStore {
+    sessions(): SessionRecord[];
+    write(path: string, body: string): void;
+    has(path: string): boolean;
+}
+/** Backup git remote (Stage 5; AC-10-15/24/25/32) — fast-forward push only. */
+export interface GitBackup {
+    commitAndPush(opts?: {
+        force?: boolean;
+    }): Promise<{
+        ok: true;
+        commitHash: string;
+    } | {
+        ok: false;
+        failureReason: string;
+    }>;
+}
+/** DB/disk hygiene ops (Stage 4; AC-10-24) — run under Safety's carve-out. */
+export interface Hygiene {
+    snapshot(): void;
+    vacuum(): void;
+    optimizeFts(): void;
+    walCheckpoint(): void;
+    rotateLogs(): void;
+    dockerPrune(): void;
+    integrityCheck(): boolean;
+}
+/** Trace probes for self-verification (AC-10-26; ADR-0017). */
+export interface TraceProbe {
+    fileExists(path: string): boolean;
+    refAdvanced(commitHash: string): boolean;
+    rowTombstoned(factId: string): boolean;
+}
+/** Least-privilege runtime context (AC-10-18; CSO-H6). */
+export interface EnvContext {
+    hasProdCreds: boolean;
+    egressAllowlist: string[];
+}
+/** Lint findings the deterministic scan surfaced (Stage 2b; AC-10-29/30/31). */
+export interface LintInputs {
+    orphans: LintOrphan[];
+    staleAnnotations: LintStaleAnnotation[];
+    brokenEdges: LintBrokenEdge[];
+}
+/** Crash-recovery journal (Eng-7; AC-10-16/17). */
+export interface CommitJournal {
+    entries: CommitJournalEntry[];
+    record(entry: CommitJournalEntry): void;
+}
+export interface ConsolidationDeps {
+    clock: {
+        now(): Date;
+    };
+    generator: Generator;
+    judge: Judge;
+    validators: Validators;
+    lock: RunLock;
+    /** Raw normalized day log before the forget filter (AC-10-2). */
+    rawDayLog?: NormalizedDayLog;
+    /** Forget-list predicate applied at ingestion (AC-10-2). */
+    isForgotten?(record: NormalizedDayLogRecord): boolean;
+    /** Full fact set; the generator only sees the live (invalid_at IS NULL) subset (AC-10-3). */
+    facts?: Fact[];
+    /** Equivalence-class keys the resurrection-guard must block (AC-10-10/11/12). */
+    tombstones?: FactKey[];
+    /** Guard availability; false = Memory down, fail-closed (AC-10-22). */
+    guardAvailable?(): boolean;
+    /** Observed on every resurrection-guard evaluation (AC-10-17). */
+    onGuardCheck?(): void;
+    /** Session archival store (AC-10-1/26). */
+    archive?: ArchiveStore;
+    /** Atomic SQLite txn wrapper; reindex runs inside, git push after (AC-10-15/16). */
+    memoryTxn?(apply: () => Promise<void> | void): Promise<void>;
+    /** FTS5 reindex on the promotion path (AC-10-11/13/14/15/21/22/28). */
+    reindex?(factId: string): void;
+    /** Live body of a staged patch at promote time; tamper => TOCTOU abort (AC-10-13). */
+    currentBodyForPatch?(id: string, body: string): string;
+    /** Hard delete observer — must stay empty during lint (AC-10-30 no silent loss). */
+    onDelete?(factId: string): void;
+    /** Git backup remote (AC-10-15/24/25). */
+    git?: GitBackup;
+    /** DB/disk hygiene ops (AC-10-24). */
+    hygiene?: Hygiene;
+    /** Trace probes for self-verification (AC-10-26). */
+    traceProbe?: TraceProbe;
+    /** Least-privilege startup assertion input (AC-10-18). */
+    envContext?: EnvContext;
+    /** Deterministic lint findings (AC-10-29/30/31). */
+    lintInputs?: LintInputs;
+    /** Crash-recovery journal (AC-10-16/17). */
+    journal?: CommitJournal;
+    /** Staging write observer; every target must be under staging/ (AC-10-14). */
+    stagingWrite?(path: string): void;
+    /** Event sink (AC-10-20 held_too_long). */
+    emit?(event: string): void;
+    /** Apply an approved op to LIVE memory at promotion; returns the resulting fact
+     *  id (or null for a no-op). Wired by the app to memory.commit/forget. The model
+     *  never reaches this — only the human Approve tap does (staging discipline). */
+    commitOp?(op: MemOp): Promise<string | null>;
+}
+export interface ConsolidationRunner {
+    run(config: NightlyConfig): Promise<NightResult>;
+    runLintPass(): Promise<LintPassResult>;
+    getStagedProposals(): Promise<StagingArea>;
+    approveStagedItem(id: string): Promise<void>;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/nightly/types.ts"],"names":[],"mappings":"AAMA,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG,eAAe,GAAG,WAAW,GAAG,eAAe,GAAG,cAAc,GAAG,QAAQ,CAAA;AAE5G,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,cAAc,GAAG,YAAY,GAAG,mBAAmB,CAAA;AAE5F,8EAA8E;AAC9E,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;CACf;AAMD,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,MAAM,CAAA;IACX,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,MAAM,WAAW,OAAO;IACtB,2FAA2F;IAC3F,OAAO,IAAI;QAAE,EAAE,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,SAAS,CAAA;KAAE,GAAG;QAAE,EAAE,EAAE,KAAK,CAAC;QAAC,MAAM,EAAE,SAAS,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAA;IAC/F,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAA;CAChC;AAMD,MAAM,MAAM,KAAK,GACb;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAMpC,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,GAAG,kBAAkB,CAAA;AAE7F,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,gBAAgB,CAAA;IACtB,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,4FAA4F;AAC5F,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,sBAAsB,EAAE,CAAA;CAClC;AAMD,MAAM,WAAW,IAAI;IACnB,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,8DAA8D;IAC9D,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,gBAAgB,EAAE,OAAO,CAAA;CAC1B;AAMD,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,gFAAgF;IAChF,UAAU,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAA;IAChD,eAAe,EAAE,OAAO,CAAA;CACzB;AAMD,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,KAAK,EAAE,CAAA;IACd,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,OAAO,EAAE,KAAK,EAAE,CAAA;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,sEAAsE;IACtE,WAAW,EAAE,IAAI,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,IAAI,CAAA;CACX;AAMD,MAAM,WAAW,SAAS;IACxB,4FAA4F;IAC5F,gBAAgB,CAAC,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC,CAAA;IACjG,WAAW,CAAC,GAAG,EAAE,gBAAgB,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAA;CAC1D;AAMD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAA;IACX,MAAM,CAAC,EAAE,WAAW,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,iFAAiF;IACjF,KAAK,CAAC,SAAS,EAAE,KAAK,GAAG,UAAU,GAAG,eAAe,CAAA;CACtD;AAMD,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAA;AAEvD,MAAM,WAAW,KAAK;IACpB,0FAA0F;IAC1F,KAAK,CAAC,eAAe,EAAE,eAAe,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA;CAC/D;AAMD,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,aAAa,GAAG,YAAY,GAAG,kBAAkB,CAAA;IAC5E,IAAI,EAAE,MAAM,CAAA;IACZ,qEAAqE;IACrE,YAAY,EAAE,MAAM,CAAA;IACpB,qDAAqD;IACrD,0EAA0E;IAC1E,MAAM,EAAE,OAAO,CAAA;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,aAAa,EAAE,WAAW,EAAE,CAAA;IAC5B,YAAY,EAAE,WAAW,EAAE,CAAA;IAC3B,WAAW,EAAE,WAAW,EAAE,CAAA;CAC3B;AAMD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,OAAO,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,aAAa,CAAA;IACnB,WAAW,EAAE,OAAO,CAAA;IACpB,QAAQ,EAAE,YAAY,GAAG,aAAa,GAAG,SAAS,CAAA;IAClD,cAAc,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,mBAAmB,GAAG,cAAc,CAAA;AAE3E,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,UAAU,EAAE,CAAA;IACrB,gBAAgB,EAAE,mBAAmB,EAAE,CAAA;IACvC,WAAW,EAAE,cAAc,EAAE,CAAA;IAC7B,mEAAmE;IACnE,OAAO,EAAE,OAAO,CAAA;IAChB,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAMD,MAAM,WAAW,eAAe;IAC9B;+EAC2E;IAC3E,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,KAAK,CAAA;IACT,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,wBAAwB,CAAA;CAC/D;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,OAAO,CAAA;IACjB,eAAe,EAAE,OAAO,CAAA;IACxB,UAAU,EAAE,OAAO,CAAA;IACnB,YAAY,EAAE,OAAO,CAAA;IACrB,cAAc,EAAE,OAAO,CAAA;IACvB,aAAa,EAAE,OAAO,CAAA;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,OAAO,CAAA;IACf,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,KAAK,CAAA;IACZ,aAAa,EAAE,MAAM,CAAA;IACrB,YAAY,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,eAAe,EAAE,CAAA;IAC9B,gBAAgB,EAAE,mBAAmB,EAAE,CAAA;IACvC,YAAY,EAAE,eAAe,EAAE,CAAA;IAC/B,UAAU,EAAE,cAAc,CAAA;IAC1B,aAAa,EAAE,aAAa,CAAA;IAC5B,YAAY,EAAE,YAAY,CAAA;IAC1B,kBAAkB,EAAE,gBAAgB,EAAE,CAAA;IACtC,IAAI,EAAE;QACJ,eAAe,EAAE,MAAM,CAAA;QACvB,WAAW,EAAE,MAAM,CAAA;QACnB,cAAc,EAAE,MAAM,CAAA;QACtB,QAAQ,EAAE,MAAM,CAAA;KACjB,CAAA;CACF;AAMD,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,WAAW,GAAG,WAAW,CAAA;AAEtE,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,KAAK,CAAA;IACZ,EAAE,EAAE,KAAK,CAAA;IACT,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,OAAO,CAAA;IACpB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,KAAK,EAAE,kBAAkB,CAAA;CAC1B;AAMD,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAA;IACf,eAAe,EAAE,KAAK,EAAE,CAAA;IACxB,IAAI,EAAE,WAAW,CAAA;IACjB,SAAS,EAAE,SAAS,CAAA;CACrB;AAMD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;IACjB,aAAa,EAAE,MAAM,CAAA;IACrB,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,MAAM,CAAA;CACnB;AAYD,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,6DAA6D;AAC7D,MAAM,WAAW,YAAY;IAC3B,QAAQ,IAAI,aAAa,EAAE,CAAA;IAC3B,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACvC,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAA;CAC3B;AAED,+EAA+E;AAC/E,MAAM,WAAW,SAAS;IACxB,aAAa,CAAC,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAChD;QAAE,EAAE,EAAE,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG;QAAE,EAAE,EAAE,KAAK,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,CACxE,CAAA;CACF;AAED,8EAA8E;AAC9E,MAAM,WAAW,OAAO;IACtB,QAAQ,IAAI,IAAI,CAAA;IAChB,MAAM,IAAI,IAAI,CAAA;IACd,WAAW,IAAI,IAAI,CAAA;IACnB,aAAa,IAAI,IAAI,CAAA;IACrB,UAAU,IAAI,IAAI,CAAA;IAClB,WAAW,IAAI,IAAI,CAAA;IACnB,cAAc,IAAI,OAAO,CAAA;CAC1B;AAED,+DAA+D;AAC/D,MAAM,WAAW,UAAU;IACzB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAA;IACjC,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAA;IACxC,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;CACvC;AAED,0DAA0D;AAC1D,MAAM,WAAW,UAAU;IACzB,YAAY,EAAE,OAAO,CAAA;IACrB,eAAe,EAAE,MAAM,EAAE,CAAA;CAC1B;AAED,gFAAgF;AAChF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,UAAU,EAAE,CAAA;IACrB,gBAAgB,EAAE,mBAAmB,EAAE,CAAA;IACvC,WAAW,EAAE,cAAc,EAAE,CAAA;CAC9B;AAED,mDAAmD;AACnD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,kBAAkB,EAAE,CAAA;IAC7B,MAAM,CAAC,KAAK,EAAE,kBAAkB,GAAG,IAAI,CAAA;CACxC;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE;QAAE,GAAG,IAAI,IAAI,CAAA;KAAE,CAAA;IACtB,SAAS,EAAE,SAAS,CAAA;IACpB,KAAK,EAAE,KAAK,CAAA;IACZ,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,OAAO,CAAA;IAGb,iEAAiE;IACjE,SAAS,CAAC,EAAE,gBAAgB,CAAA;IAC5B,4DAA4D;IAC5D,WAAW,CAAC,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAAA;IACrD,6FAA6F;IAC7F,KAAK,CAAC,EAAE,IAAI,EAAE,CAAA;IACd,iFAAiF;IACjF,UAAU,CAAC,EAAE,OAAO,EAAE,CAAA;IACtB,uEAAuE;IACvE,cAAc,CAAC,IAAI,OAAO,CAAA;IAC1B,kEAAkE;IAClE,YAAY,CAAC,IAAI,IAAI,CAAA;IACrB,2CAA2C;IAC3C,OAAO,CAAC,EAAE,YAAY,CAAA;IACtB,oFAAoF;IACpF,SAAS,CAAC,CAAC,KAAK,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC5D,uEAAuE;IACvE,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,sFAAsF;IACtF,mBAAmB,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;IACtD,oFAAoF;IACpF,QAAQ,CAAC,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,0CAA0C;IAC1C,GAAG,CAAC,EAAE,SAAS,CAAA;IACf,sCAAsC;IACtC,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,qDAAqD;IACrD,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,0DAA0D;IAC1D,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,oDAAoD;IACpD,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,4CAA4C;IAC5C,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,8EAA8E;IAC9E,YAAY,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACjC,2CAA2C;IAC3C,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B;;qFAEiF;IACjF,QAAQ,CAAC,CAAC,EAAE,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAA;CAC7C;AAED,MAAM,WAAW,mBAAmB;IAClC,GAAG,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;IAChD,WAAW,IAAI,OAAO,CAAC,cAAc,CAAC,CAAA;IACtC,kBAAkB,IAAI,OAAO,CAAC,WAAW,CAAC,CAAA;IAC1C,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAC7C"}

package/dist/nightly/types.js

@@ -0,0 +1,3 @@
+// §3 interfaces — pure types, no implementation
+export {};
+//# sourceMappingURL=types.js.map

package/dist/nightly/types.js.map

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

package/dist/observability/index.d.ts

@@ -0,0 +1,11 @@
+export type { AuditLog, AuditLogDeps, TraceEntry, TraceResult, TraceVerifier, TraceLinter, LintResult, LintRule, LintablePlanStep, JournalEntry, JournalFilter, Journal, EffectProbe, SecretRedactor, GuardianDeps, CycleDetector, VerificationRunner, } from './types.js';
+export type { VerificationTrace, VerificationTraceFile, VerificationTraceSQL, VerificationTraceHTTP, VerificationTraceExit, ToolCall, LoopGuardian, } from './types.js';
+import type { AuditLog, AuditLogDeps, VerificationRunner, TraceLinter, GuardianDeps, SecretRedactor, CycleDetector } from './types.js';
+import type { LoopGuardian } from '../agent-loop/types.js';
+export declare function makeVerificationRunner(): VerificationRunner;
+export declare function makeTraceLinter(): TraceLinter;
+export declare function makeCycleDetector(threshold?: number): CycleDetector;
+export declare function makeLoopGuardian(deps: GuardianDeps): LoopGuardian;
+export declare function makeSecretRedactor(): SecretRedactor;
+export declare function makeAuditLog(deps: AuditLogDeps): AuditLog;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/observability/index.ts"],"names":[],"mappings":"AAEA,YAAY,EACV,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,WAAW,EACX,aAAa,EACb,WAAW,EACX,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,OAAO,EACP,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,kBAAkB,GACnB,MAAM,YAAY,CAAA;AAInB,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,QAAQ,EACR,YAAY,GACb,MAAM,YAAY,CAAA;AAEnB,OAAO,KAAK,EACV,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAMlB,WAAW,EAGX,YAAY,EACZ,cAAc,EACd,aAAa,EACd,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAA+B,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAoCvF,wBAAgB,sBAAsB,IAAI,kBAAkB,CAsD3D;AA0CD,wBAAgB,eAAe,IAAI,WAAW,CAiD7C;AAsBD,wBAAgB,iBAAiB,CAAC,SAAS,GAAE,MAA+B,GAAG,aAAa,CAS3F;AAmCD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,YAAY,GAAG,YAAY,CAmDjE;AAWD,wBAAgB,kBAAkB,IAAI,cAAc,CAuDnD;AAeD,wBAAgB,YAAY,CAAC,IAAI,EAAE,YAAY,GAAG,QAAQ,CAgDzD"}