@intutic/shared-types 0.1.0

package/.dist/sop.js

@@ -0,0 +1,44 @@
+"use strict";
+/**
+ * SOP (Standard Operating Procedure) registry types.
+ *
+ * These types correspond to the `sop_registry` table and the
+ * SOP proof tree structures used by the SSL (Self-Supervised Learning)
+ * synthesis pipeline.
+ *
+ * HLD §3.4 (SOP Registry), LLD 01-data-architecture §3.1, LLD #6
+ *
+ * @module
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ENFORCEMENT_BY_STATE = exports.VALID_SOP_TRANSITIONS = void 0;
+/**
+ * The 10 valid lifecycle transitions in the 7-state FSM.
+ *
+ * @see HLD §3.4 — SOP Lifecycle
+ */
+exports.VALID_SOP_TRANSITIONS = [
+    { from: 'DRAFT', to: 'PENDING_REVIEW', description: 'Submit for review' },
+    { from: 'PENDING_REVIEW', to: 'GENERATED', description: 'Gödel score passes threshold' },
+    { from: 'PENDING_REVIEW', to: 'DRAFT', description: 'Return to draft for edits' },
+    { from: 'GENERATED', to: 'HYPOTHESIZED', description: 'Deploy in shadow mode' },
+    { from: 'HYPOTHESIZED', to: 'REFINED', description: 'Refine based on shadow results' },
+    { from: 'HYPOTHESIZED', to: 'INVALIDATED', description: 'Hypothesis disproved' },
+    { from: 'REFINED', to: 'VALIDATED', description: 'Promote to active enforcement' },
+    { from: 'REFINED', to: 'INVALIDATED', description: 'Refinement failed' },
+    { from: 'VALIDATED', to: 'INVALIDATED', description: 'Invalidated by cascade or manual' },
+    { from: 'VALIDATED', to: 'PENDING_REVIEW', description: 'Cascade invalidation triggers re-review' },
+];
+/**
+ * Maps lifecycle state to enforcement mode.
+ */
+exports.ENFORCEMENT_BY_STATE = {
+    DRAFT: 'NONE',
+    PENDING_REVIEW: 'NONE',
+    GENERATED: 'NONE',
+    HYPOTHESIZED: 'SHADOW',
+    REFINED: 'SHADOW',
+    VALIDATED: 'ACTIVE',
+    INVALIDATED: 'NONE',
+};
+//# sourceMappingURL=sop.js.map

package/.dist/sop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sop.js","sourceRoot":"","sources":["../src/sop.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AA2SH;;;;GAIG;AACU,QAAA,qBAAqB,GAA2F;IAC3H,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW,EAAE,mBAAmB,EAAE;IACzE,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,8BAA8B,EAAE;IACxF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE;IACjF,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,uBAAuB,EAAE;IAC/E,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,gCAAgC,EAAE;IACtF,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,sBAAsB,EAAE;IAChF,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,+BAA+B,EAAE;IAClF,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,mBAAmB,EAAE;IACxE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,kCAAkC,EAAE;IACzF,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW,EAAE,yCAAyC,EAAE;CAC3F,CAAA;AAEV;;GAEG;AACU,QAAA,oBAAoB,GAA4D;IAC3F,KAAK,EAAE,MAAM;IACb,cAAc,EAAE,MAAM;IACtB,SAAS,EAAE,MAAM;IACjB,YAAY,EAAE,QAAQ;IACtB,OAAO,EAAE,QAAQ;IACjB,SAAS,EAAE,QAAQ;IACnB,WAAW,EAAE,MAAM;CACpB,CAAA"}

package/.dist/sync.d.ts

@@ -0,0 +1,204 @@
+/**
+ * Sync Daemon & CLI Types — Shared across control plane + CLI + daemon.
+ *
+ * LLD #8 — Sync Daemon / CLI
+ * HLD §3.14 — Real-Time State Mirroring
+ *
+ * @module
+ */
+import { z } from 'zod';
+import type { HarnessType } from './enums.js';
+export type { HarnessType } from './enums.js';
+/** A single SOP entry within a sync config push. */
+export interface SyncSopEntry {
+    /** SOP registry ID. */
+    sopId: string;
+    /** Human-readable SOP title. */
+    title: string;
+    /** Full SOP content (markdown). Written to harness config files. */
+    content: string;
+    /** SHA-256 canonical hash from SOP registry. */
+    contentHash: string;
+    /** Which harness config files should receive this SOP. */
+    harnessTargets: HarnessType[];
+}
+/** Config push payload from control plane to sync daemon. */
+export interface SyncConfigPayload {
+    /** Workspace this config belongs to. */
+    workspaceId: string;
+    /** Monotonic config version counter. Daemon skips if local >= remote. */
+    configVersion: number;
+    /** Active SOPs to write to harness config files. */
+    sops: SyncSopEntry[];
+    /** Proxy URL for LLM API redirect (e.g., `https://proxy.intutic.ai`). */
+    proxyUrl: string;
+    /** Workspace-level settings (JSONB passthrough). */
+    settings: Record<string, unknown>;
+}
+/** Hash of a single local SOP config file. */
+export interface SopFileHash {
+    /** File path relative to workspace root (e.g., `.cursorrules`). */
+    filePath: string;
+    /** SHA-256 hash of actual local file content. */
+    localHash: string;
+    /** Expected hash from last sync (canonical). */
+    canonicalHash: string;
+    /** Whether local diverges from canonical. */
+    drifted: boolean;
+}
+/** SOP hash integrity report sent by daemon to control plane. */
+export interface SopHashReport {
+    /** Workspace ID. */
+    workspaceId: string;
+    /** Harness type that was scanned. */
+    harnessType: HarnessType;
+    /** File hashes for all synced config files. */
+    files: SopFileHash[];
+    /** ISO timestamp of report generation. */
+    reportedAt: string;
+}
+/** Detection status of a single harness in the workspace. */
+export interface DetectedHarness {
+    /** Harness type. */
+    type: HarnessType;
+    /** Absolute path to the harness config file. */
+    configPath: string;
+    /** Whether the harness was auto-detected. */
+    detected: boolean;
+    /** ISO timestamp of last config file write (null if never written). */
+    lastWriteAt: string | null;
+}
+/** Daemon heartbeat status payload. */
+export interface DaemonStatus {
+    /** Workspace ID. */
+    workspaceId: string;
+    /** Current local config version. */
+    configVersion: number;
+    /** ISO timestamp when daemon connected. */
+    connectedSince: string;
+    /** ISO timestamp of last successful sync. */
+    lastSyncAt: string;
+    /** Detected harnesses in the workspace. */
+    harnesses: DetectedHarness[];
+}
+/** Credentials stored at ~/.intutic/credentials.json. */
+export interface IntuticCredentials {
+    /** API key (vk_*) or JWT access token. */
+    apiKey: string;
+    /** Workspace ID. */
+    workspaceId: string;
+    /** Control plane URL. */
+    controlPlaneUrl: string;
+    /** Member email (for display). */
+    email: string;
+    /** ISO timestamp when credentials were stored. */
+    storedAt: string;
+}
+/** Workspace config stored at ~/.intutic/config.json. */
+export interface IntuticConfig {
+    /** Workspace root directory (absolute path). */
+    workspaceRoot: string;
+    /** Detected harnesses. */
+    harnesses: HarnessType[];
+    /** Current config version from last sync. */
+    configVersion: number;
+    /** Whether dev mode is active (local control plane). */
+    devMode: boolean;
+}
+/** Local integrity store at .intutic/integrity.json (per-workspace). */
+export interface IntegrityStore {
+    /** Last sync timestamp. */
+    lastSyncAt: string;
+    /** Config version at last sync. */
+    configVersion: number;
+    /** Canonical hashes of synced files. */
+    files: Record<string, string>;
+}
+/** Zod schema for SOP hash report (daemon → control plane). */
+export declare const SopHashReportSchema: z.ZodObject<{
+    workspaceId: z.ZodString;
+    harnessType: z.ZodEnum<["cursor", "claude-code", "antigravity", "n8n", "codex", "windsurf", "aider", "openhands"]>;
+    files: z.ZodArray<z.ZodObject<{
+        filePath: z.ZodString;
+        localHash: z.ZodString;
+        canonicalHash: z.ZodString;
+        drifted: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        filePath: string;
+        localHash: string;
+        canonicalHash: string;
+        drifted: boolean;
+    }, {
+        filePath: string;
+        localHash: string;
+        canonicalHash: string;
+        drifted: boolean;
+    }>, "many">;
+    reportedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    workspaceId: string;
+    harnessType: "cursor" | "claude-code" | "antigravity" | "n8n" | "codex" | "windsurf" | "aider" | "openhands";
+    files: {
+        filePath: string;
+        localHash: string;
+        canonicalHash: string;
+        drifted: boolean;
+    }[];
+    reportedAt: string;
+}, {
+    workspaceId: string;
+    harnessType: "cursor" | "claude-code" | "antigravity" | "n8n" | "codex" | "windsurf" | "aider" | "openhands";
+    files: {
+        filePath: string;
+        localHash: string;
+        canonicalHash: string;
+        drifted: boolean;
+    }[];
+    reportedAt: string;
+}>;
+/** Zod schema for daemon status (heartbeat). */
+export declare const DaemonStatusSchema: z.ZodObject<{
+    workspaceId: z.ZodString;
+    configVersion: z.ZodNumber;
+    connectedSince: z.ZodString;
+    lastSyncAt: z.ZodString;
+    harnesses: z.ZodArray<z.ZodObject<{
+        type: z.ZodEnum<["cursor", "claude-code", "antigravity", "n8n", "codex", "windsurf", "aider", "openhands"]>;
+        configPath: z.ZodString;
+        detected: z.ZodBoolean;
+        lastWriteAt: z.ZodNullable<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "cursor" | "claude-code" | "antigravity" | "n8n" | "codex" | "windsurf" | "aider" | "openhands";
+        configPath: string;
+        detected: boolean;
+        lastWriteAt: string | null;
+    }, {
+        type: "cursor" | "claude-code" | "antigravity" | "n8n" | "codex" | "windsurf" | "aider" | "openhands";
+        configPath: string;
+        detected: boolean;
+        lastWriteAt: string | null;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    workspaceId: string;
+    configVersion: number;
+    connectedSince: string;
+    lastSyncAt: string;
+    harnesses: {
+        type: "cursor" | "claude-code" | "antigravity" | "n8n" | "codex" | "windsurf" | "aider" | "openhands";
+        configPath: string;
+        detected: boolean;
+        lastWriteAt: string | null;
+    }[];
+}, {
+    workspaceId: string;
+    configVersion: number;
+    connectedSince: string;
+    lastSyncAt: string;
+    harnesses: {
+        type: "cursor" | "claude-code" | "antigravity" | "n8n" | "codex" | "windsurf" | "aider" | "openhands";
+        configPath: string;
+        detected: boolean;
+        lastWriteAt: string | null;
+    }[];
+}>;
+//# sourceMappingURL=sync.d.ts.map

package/.dist/sync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../src/sync.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAG7C,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAK7C,oDAAoD;AACpD,MAAM,WAAW,YAAY;IAC3B,uBAAuB;IACvB,KAAK,EAAE,MAAM,CAAA;IACb,gCAAgC;IAChC,KAAK,EAAE,MAAM,CAAA;IACb,oEAAoE;IACpE,OAAO,EAAE,MAAM,CAAA;IACf,gDAAgD;IAChD,WAAW,EAAE,MAAM,CAAA;IACnB,0DAA0D;IAC1D,cAAc,EAAE,WAAW,EAAE,CAAA;CAC9B;AAED,6DAA6D;AAC7D,MAAM,WAAW,iBAAiB;IAChC,wCAAwC;IACxC,WAAW,EAAE,MAAM,CAAA;IACnB,yEAAyE;IACzE,aAAa,EAAE,MAAM,CAAA;IACrB,oDAAoD;IACpD,IAAI,EAAE,YAAY,EAAE,CAAA;IACpB,yEAAyE;IACzE,QAAQ,EAAE,MAAM,CAAA;IAChB,oDAAoD;IACpD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAClC;AAMD,8CAA8C;AAC9C,MAAM,WAAW,WAAW;IAC1B,mEAAmE;IACnE,QAAQ,EAAE,MAAM,CAAA;IAChB,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAA;IACjB,gDAAgD;IAChD,aAAa,EAAE,MAAM,CAAA;IACrB,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,qCAAqC;IACrC,WAAW,EAAE,WAAW,CAAA;IACxB,+CAA+C;IAC/C,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAA;CACnB;AAKD,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC9B,oBAAoB;IACpB,IAAI,EAAE,WAAW,CAAA;IACjB,gDAAgD;IAChD,UAAU,EAAE,MAAM,CAAA;IAClB,6CAA6C;IAC7C,QAAQ,EAAE,OAAO,CAAA;IACjB,uEAAuE;IACvE,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;CAC3B;AAED,uCAAuC;AACvC,MAAM,WAAW,YAAY;IAC3B,oBAAoB;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,oCAAoC;IACpC,aAAa,EAAE,MAAM,CAAA;IACrB,2CAA2C;IAC3C,cAAc,EAAE,MAAM,CAAA;IACtB,6CAA6C;IAC7C,UAAU,EAAE,MAAM,CAAA;IAClB,2CAA2C;IAC3C,SAAS,EAAE,eAAe,EAAE,CAAA;CAC7B;AAKD,yDAAyD;AACzD,MAAM,WAAW,kBAAkB;IACjC,0CAA0C;IAC1C,MAAM,EAAE,MAAM,CAAA;IACd,oBAAoB;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,yBAAyB;IACzB,eAAe,EAAE,MAAM,CAAA;IACvB,kCAAkC;IAClC,KAAK,EAAE,MAAM,CAAA;IACb,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,yDAAyD;AACzD,MAAM,WAAW,aAAa;IAC5B,gDAAgD;IAChD,aAAa,EAAE,MAAM,CAAA;IACrB,0BAA0B;IAC1B,SAAS,EAAE,WAAW,EAAE,CAAA;IACxB,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAA;IACrB,wDAAwD;IACxD,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,wEAAwE;AACxE,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,UAAU,EAAE,MAAM,CAAA;IAClB,mCAAmC;IACnC,aAAa,EAAE,MAAM,CAAA;IACrB,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC9B;AAID,+DAA+D;AAC/D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9B,CAAA;AAEF,gDAAgD;AAChD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAc7B,CAAA"}

package/.dist/sync.js

@@ -0,0 +1,45 @@
+"use strict";
+/**
+ * Sync Daemon & CLI Types — Shared across control plane + CLI + daemon.
+ *
+ * LLD #8 — Sync Daemon / CLI
+ * HLD §3.14 — Real-Time State Mirroring
+ *
+ * @module
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DaemonStatusSchema = exports.SopHashReportSchema = void 0;
+const zod_1 = require("zod");
+// ─── Zod Schemas ─────────────────────────────────────────────────────
+/** Zod schema for SOP hash report (daemon → control plane). */
+exports.SopHashReportSchema = zod_1.z.object({
+    workspaceId: zod_1.z.string().min(1),
+    harnessType: zod_1.z.enum([
+        'cursor', 'claude-code', 'antigravity', 'n8n',
+        'codex', 'windsurf', 'aider', 'openhands',
+    ]),
+    files: zod_1.z.array(zod_1.z.object({
+        filePath: zod_1.z.string().min(1),
+        localHash: zod_1.z.string().length(64), // SHA-256 hex
+        canonicalHash: zod_1.z.string().length(64),
+        drifted: zod_1.z.boolean(),
+    })),
+    reportedAt: zod_1.z.string().datetime(),
+});
+/** Zod schema for daemon status (heartbeat). */
+exports.DaemonStatusSchema = zod_1.z.object({
+    workspaceId: zod_1.z.string().min(1),
+    configVersion: zod_1.z.number().int().min(0),
+    connectedSince: zod_1.z.string().datetime(),
+    lastSyncAt: zod_1.z.string().datetime(),
+    harnesses: zod_1.z.array(zod_1.z.object({
+        type: zod_1.z.enum([
+            'cursor', 'claude-code', 'antigravity', 'n8n',
+            'codex', 'windsurf', 'aider', 'openhands',
+        ]),
+        configPath: zod_1.z.string(),
+        detected: zod_1.z.boolean(),
+        lastWriteAt: zod_1.z.string().datetime().nullable(),
+    })),
+});
+//# sourceMappingURL=sync.js.map

package/.dist/sync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.js","sourceRoot":"","sources":["../src/sync.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,6BAAuB;AAqIvB,wEAAwE;AAExE,+DAA+D;AAClD,QAAA,mBAAmB,GAAG,OAAC,CAAC,MAAM,CAAC;IAC1C,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,WAAW,EAAE,OAAC,CAAC,IAAI,CAAC;QAClB,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,KAAK;QAC7C,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW;KAC1C,CAAC;IACF,KAAK,EAAE,OAAC,CAAC,KAAK,CAAC,OAAC,CAAC,MAAM,CAAC;QACtB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAG,cAAc;QACjD,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE;KACrB,CAAC,CAAC;IACH,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAA;AAEF,gDAAgD;AACnC,QAAA,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC;IACzC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,cAAc,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,SAAS,EAAE,OAAC,CAAC,KAAK,CAAC,OAAC,CAAC,MAAM,CAAC;QAC1B,IAAI,EAAE,OAAC,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,KAAK;YAC7C,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW;SAC1C,CAAC;QACF,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,OAAC,CAAC,OAAO,EAAE;QACrB,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;KAC9C,CAAC,CAAC;CACJ,CAAC,CAAA"}

package/package.json

@@ -0,0 +1,19 @@
+{
+  "name": "@intutic/shared-types",
+  "version": "0.1.0",
+  "main": ".dist/index.js",
+  "types": ".dist/index.d.ts",
+  "files": [".dist"],
+  "scripts": {
+    "build": "tsc",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "zod": "^3.23"
+  },
+  "devDependencies": {
+    "typescript": "^5.5",
+    "vitest": "^3"
+  }
+}