kodingo-core 0.1.0

package/README.md

@@ -0,0 +1,79 @@
+# kodingo-core
+
+## Purpose
+
+This repository contains the core domain logic of Kodingo.
+
+It is responsible for understanding *why* code changes happen by:
+- Processing events
+- Inferring decisions
+- Writing memory
+- Managing confidence
+- Reconciling assertions over time
+
+This repository is intentionally interface-agnostic.
+
+---
+
+## What This Repo Owns
+
+- Event processing pipelines
+- Decision inference logic
+- Memory lifecycle management
+- Confidence calculation
+- Assertion reconciliation
+- Conflict resolution logic (logical, not Git-level)
+
+---
+
+## What This Repo Does NOT Do
+
+- No CLI commands
+- No terminal interaction
+- No Git commands
+- No filesystem watching
+- No authentication UX
+- No billing logic
+
+---
+
+## Core Invariants
+
+- Every code change produces memory
+- Decisions may exist without assertions
+- Confidence may be low without human input
+- Silence is treated as data
+- Memory is immutable; confidence and assertions evolve
+
+---
+
+## Dependencies
+
+- Depends on `kodingo-schema`
+- Must never depend on `kodingo-cli`
+
+---
+
+## Architecture Notes
+
+- Input: normalized events (from CLI or other adapters)
+- Output: structured memories and decisions
+- All side effects are explicit
+- No hidden state
+
+---
+
+## Change Discipline
+
+Any logic added here must be:
+- Deterministic
+- Auditable
+- Explainable
+
+If it cannot be explained, it does not belong here.
+
+---
+
+## Status
+
+Core domain modeling phase.

package/dist/index.d.ts

@@ -0,0 +1,14 @@
+export * from "./src/lifecycle/decision-lifecycle";
+export * from "./src/invariants/decision-invariants";
+export * from "./src/ports/memory-port";
+export * from "./src/ports/assertion-port";
+export * from "./src/ports/agent-port";
+export * from "./src/ports/event-port";
+export * from "./src/domain/memory/project-memory";
+export * from "./src/domain/memory/memory-events";
+export * from "./src/domain/decision/decision-context";
+export * from "./src/domain/decision/decision";
+export * from "./src/domain/decision/decision-outcome";
+export * from "./src/domain/decision/decision-event";
+export * from "./src/domain/decision/decision-errors";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA,cAAc,oCAAoC,CAAC;AACnD,cAAc,sCAAsC,CAAC;AAErD,cAAc,yBAAyB,CAAC;AACxC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC;AAEvC,cAAc,oCAAoC,CAAC;AACnD,cAAc,mCAAmC,CAAC;AAElD,cAAc,wCAAwC,CAAC;AACvD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,wCAAwC,CAAC;AACvD,cAAc,sCAAsC,CAAC;AACrD,cAAc,uCAAuC,CAAC"}

package/dist/index.js

@@ -0,0 +1,30 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./src/lifecycle/decision-lifecycle"), exports);
+__exportStar(require("./src/invariants/decision-invariants"), exports);
+__exportStar(require("./src/ports/memory-port"), exports);
+__exportStar(require("./src/ports/assertion-port"), exports);
+__exportStar(require("./src/ports/agent-port"), exports);
+__exportStar(require("./src/ports/event-port"), exports);
+__exportStar(require("./src/domain/memory/project-memory"), exports);
+__exportStar(require("./src/domain/memory/memory-events"), exports);
+__exportStar(require("./src/domain/decision/decision-context"), exports);
+__exportStar(require("./src/domain/decision/decision"), exports);
+__exportStar(require("./src/domain/decision/decision-outcome"), exports);
+__exportStar(require("./src/domain/decision/decision-event"), exports);
+__exportStar(require("./src/domain/decision/decision-errors"), exports);
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,qEAAmD;AACnD,uEAAqD;AAErD,0DAAwC;AACxC,6DAA2C;AAC3C,yDAAuC;AACvC,yDAAuC;AAEvC,qEAAmD;AACnD,oEAAkD;AAElD,yEAAuD;AACvD,iEAA+C;AAC/C,yEAAuD;AACvD,uEAAqD;AACrD,wEAAsD"}

package/dist/src/domain/decision/decision-context.d.ts

@@ -0,0 +1,12 @@
+import { ProjectMemory } from "../memory/project-memory";
+export interface DecisionContext {
+    /**
+     * Memory BEFORE this decision.
+     */
+    priorMemory: ProjectMemory;
+    /**
+     * Is this decision human-triggered or system-inferred?
+     */
+    source: "human" | "system";
+}
+//# sourceMappingURL=decision-context.d.ts.map

package/dist/src/domain/decision/decision-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-context.d.ts","sourceRoot":"","sources":["../../../../src/domain/decision/decision-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAEzD,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,WAAW,EAAE,aAAa,CAAC;IAE3B;;OAEG;IACH,MAAM,EAAE,OAAO,GAAG,QAAQ,CAAC;CAC5B"}

package/dist/src/domain/decision/decision-context.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=decision-context.js.map

package/dist/src/domain/decision/decision-context.js.map

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

package/dist/src/domain/decision/decision-errors.d.ts

@@ -0,0 +1,3 @@
+export declare class DecisionInvariantError extends Error {
+}
+//# sourceMappingURL=decision-errors.d.ts.map

package/dist/src/domain/decision/decision-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-errors.d.ts","sourceRoot":"","sources":["../../../../src/domain/decision/decision-errors.ts"],"names":[],"mappings":"AAAA,qBAAa,sBAAuB,SAAQ,KAAK;CAAG"}

package/dist/src/domain/decision/decision-errors.js

@@ -0,0 +1,7 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DecisionInvariantError = void 0;
+class DecisionInvariantError extends Error {
+}
+exports.DecisionInvariantError = DecisionInvariantError;
+//# sourceMappingURL=decision-errors.js.map

package/dist/src/domain/decision/decision-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-errors.js","sourceRoot":"","sources":["../../../../src/domain/decision/decision-errors.ts"],"names":[],"mappings":";;;AAAA,MAAa,sBAAuB,SAAQ,KAAK;CAAG;AAApD,wDAAoD"}

package/dist/src/domain/decision/decision-event.d.ts

@@ -0,0 +1,11 @@
+import { DecisionId } from "./decision";
+export type DecisionEvent = {
+    type: "DecisionRecorded";
+    decisionId: DecisionId;
+    occurredAt: Date;
+} | {
+    type: "MemoryUpdated";
+    decisionId: DecisionId;
+    occurredAt: Date;
+};
+//# sourceMappingURL=decision-event.d.ts.map

package/dist/src/domain/decision/decision-event.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-event.d.ts","sourceRoot":"","sources":["../../../../src/domain/decision/decision-event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,MAAM,MAAM,aAAa,GACrB;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,UAAU,EAAE,UAAU,CAAC;IACvB,UAAU,EAAE,IAAI,CAAC;CAClB,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;IACvB,UAAU,EAAE,IAAI,CAAC;CAClB,CAAC"}

package/dist/src/domain/decision/decision-event.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=decision-event.js.map

package/dist/src/domain/decision/decision-event.js.map

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

package/dist/src/domain/decision/decision-outcome.d.ts

@@ -0,0 +1,7 @@
+import { ProjectMemory } from "../memory/project-memory";
+import { DecisionEvent } from "./decision-event";
+export interface DecisionOutcome {
+    newMemory: ProjectMemory;
+    events: DecisionEvent[];
+}
+//# sourceMappingURL=decision-outcome.d.ts.map

package/dist/src/domain/decision/decision-outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-outcome.d.ts","sourceRoot":"","sources":["../../../../src/domain/decision/decision-outcome.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,aAAa,CAAC;IACzB,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB"}

package/dist/src/domain/decision/decision-outcome.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=decision-outcome.js.map

package/dist/src/domain/decision/decision-outcome.js.map

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

package/dist/src/domain/decision/decision.d.ts

@@ -0,0 +1,31 @@
+export type DecisionId = string;
+export type ProjectId = string;
+export interface Decision {
+    id: DecisionId;
+    projectId: ProjectId;
+    /**
+     * Human-readable reason for this decision.
+     * Must always exist, even if confidence is low.
+     */
+    rationale: string;
+    /**
+     * What changed in the code or structure.
+     * This is descriptive, not interpretive.
+     */
+    changeSummary: string;
+    /**
+     * Optional explicit assertion.
+     * Absence does NOT mean absence of memory.
+     */
+    assertion?: string;
+    /**
+     * Confidence in the interpretation of the decision.
+     * 0.0 – 1.0
+     */
+    confidence: number;
+    /**
+     * Timestamp when the decision was proposed.
+     */
+    proposedAt: Date;
+}
+//# sourceMappingURL=decision.d.ts.map

package/dist/src/domain/decision/decision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.d.ts","sourceRoot":"","sources":["../../../../src/domain/decision/decision.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAChC,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,UAAU,CAAC;IACf,SAAS,EAAE,SAAS,CAAC;IAErB;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;;OAGG;IACH,aAAa,EAAE,MAAM,CAAC;IAEtB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;OAEG;IACH,UAAU,EAAE,IAAI,CAAC;CAClB"}

package/dist/src/domain/decision/decision.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=decision.js.map

package/dist/src/domain/decision/decision.js.map

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

package/dist/src/domain/memory/memory-events.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Memory domain events.
+ *
+ * This file currently exists to provide a stable module boundary for memory-related
+ * events. It must export at least one symbol so TypeScript treats it as a module.
+ *
+ * Add concrete event types here as the memory domain evolves.
+ */
+export type MemoryEvent = never;
+export declare const MEMORY_EVENTS: {};
+//# sourceMappingURL=memory-events.d.ts.map

package/dist/src/domain/memory/memory-events.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-events.d.ts","sourceRoot":"","sources":["../../../../src/domain/memory/memory-events.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,MAAM,WAAW,GAAG,KAAK,CAAC;AAEhC,eAAO,MAAM,aAAa,IAAc,CAAC"}

package/dist/src/domain/memory/memory-events.js

@@ -0,0 +1,13 @@
+"use strict";
+/**
+ * Memory domain events.
+ *
+ * This file currently exists to provide a stable module boundary for memory-related
+ * events. It must export at least one symbol so TypeScript treats it as a module.
+ *
+ * Add concrete event types here as the memory domain evolves.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MEMORY_EVENTS = void 0;
+exports.MEMORY_EVENTS = {};
+//# sourceMappingURL=memory-events.js.map

package/dist/src/domain/memory/memory-events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-events.js","sourceRoot":"","sources":["../../../../src/domain/memory/memory-events.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAIU,QAAA,aAAa,GAAG,EAAW,CAAC"}

package/dist/src/domain/memory/project-memory.d.ts

@@ -0,0 +1,167 @@
+import { DecisionId } from "../decision/decision";
+/**
+ * Lifecycle states for memory records.
+ * These must match the domain contract exactly.
+ */
+export type MemoryStatus = "proposed" | "affirmed" | "denied" | "ignored";
+/**
+ * MVP memory types. (Aligned with current CLI usage.)
+ */
+export type MemoryType = "decision" | "note" | "context";
+/**
+ * Signal categories used for deterministic confidence updates.
+ */
+export type SignalWeightClass = "code_change" | "structural" | "metadata";
+/**
+ * A single unit of retained knowledge.
+ * Canonical vs non-canonical is derived from `status`:
+ * - affirmed => canonical
+ * - proposed/ignored/denied => non-canonical
+ */
+export interface MemoryRecord {
+    id: string;
+    projectId: string;
+    /**
+     * Repo scope identity for this record.
+     * MVP: store a stable string (e.g., resolved repo root path or other chosen identity).
+     */
+    repo: string;
+    /**
+     * Optional symbol linkage (MVP uses symbol-based linkage; line ranges are out of scope).
+     * Example: "function:foo" or "class:Bar" or "module:src/x".
+     */
+    symbol?: string;
+    type: MemoryType;
+    title?: string;
+    tags: string[];
+    content: string;
+    status: MemoryStatus;
+    confidence: number;
+    createdAt: Date;
+    updatedAt: Date;
+    /**
+     * Evidence counters used for saturation/diminishing returns.
+     */
+    evidence: {
+        strongCodeChangeCount: number;
+        structuralCount: number;
+        metadataCount: number;
+        /**
+         * Total confidence gained from signals alone (excludes affirmation boosts).
+         * Used to cap evidence contribution.
+         */
+        evidenceGain: number;
+    };
+    /**
+     * If a record was denied, we track when (for anti-loop / history).
+     */
+    deniedAt?: Date;
+    /**
+     * Optional fingerprint to help avoid re-proposing the same denied hypothesis.
+     * For MVP, leave it as a caller-provided string if available.
+     */
+    fingerprint?: string;
+    /**
+     * Stable external identifier for deduplication across signal sources.
+     * Example: "git:<commitHash>"
+     */
+    externalId?: string;
+    /**
+     * Correction lineage — set when this record is a corrected replacement.
+     * Points to the denied record this record supersedes.
+     */
+    correctsId?: string;
+    /**
+     * Correction lineage — set on a denied record.
+     * Points to the proposed replacement that was created when this was denied.
+     */
+    correctedById?: string;
+}
+/**
+ * Project memory state for a project.
+ *
+ * Backward compatible:
+ * - Existing fields remain unchanged.
+ * - New field `memories` is optional for now so existing callers won't break.
+ */
+export interface ProjectMemory {
+    projectId: string;
+    /**
+     * Ordered list of decisions that define the project.
+     */
+    decisions: DecisionId[];
+    /**
+     * Optional memory records store.
+     * (MVP: used by CLI/IDE surfaces; can remain empty if not yet integrated.)
+     */
+    memories?: MemoryRecord[];
+    /**
+     * Last updated timestamp.
+     */
+    updatedAt: Date;
+}
+export declare function isCanonical(status: MemoryStatus): boolean;
+export declare function createProposedMemory(input: {
+    id: string;
+    projectId: string;
+    repo: string;
+    type: MemoryType;
+    content: string;
+    title?: string;
+    tags?: string[];
+    symbol?: string;
+    fingerprint?: string;
+    externalId?: string;
+    correctsId?: string;
+    now?: Date;
+}): MemoryRecord;
+/**
+ * Apply a signal to a memory record.
+ * This increases confidence deterministically, with saturation + diminishing returns.
+ *
+ * NOTE: Signals can also raise confidence for ignored records (non-canonical),
+ * but never make them canonical automatically.
+ */
+export declare function applySignal(record: MemoryRecord, signal: {
+    weightClass: SignalWeightClass;
+    now?: Date;
+}): MemoryRecord;
+/**
+ * Transition a record to affirmed (canonical) and apply affirmation boosts.
+ */
+export declare function affirm(record: MemoryRecord, now?: Date): MemoryRecord;
+/**
+ * Transition a record to ignored (non-canonical).
+ * Ignore is not rejection; confidence is not forced down.
+ */
+export declare function ignore(record: MemoryRecord, now?: Date): MemoryRecord;
+/**
+ * Transition a record to denied (non-canonical) and clamp confidence.
+ * Denied records are retained to prevent proposal loops.
+ */
+export declare function deny(record: MemoryRecord, now?: Date): MemoryRecord;
+/**
+ * Select the best record to surface by default for a given target.
+ *
+ * Default hierarchy:
+ * 1) affirmed + highest confidence
+ * 2) affirmed + most recent
+ * 3) otherwise proposed/ignored (highest confidence, most recent)
+ * Denied records are never selected by default.
+ */
+export declare function selectDefaultSurfaceRecord(records: ReadonlyArray<MemoryRecord>): MemoryRecord | undefined;
+/**
+ * Anti-loop helper:
+ * returns true if a denied record exists that should block re-proposing,
+ * unless new evidence threshold is met.
+ *
+ * MVP rule:
+ * - If there is a denied record for same target+fingerprint, do not re-propose unless
+ *   at least 3 strong code-change signals have occurred since denial.
+ */
+export declare function shouldBlockReproposal(params: {
+    deniedRecord: MemoryRecord;
+    strongSignalsSinceDenial: number;
+    fingerprint?: string;
+}): boolean;
+//# sourceMappingURL=project-memory.d.ts.map

package/dist/src/domain/memory/project-memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-memory.d.ts","sourceRoot":"","sources":["../../../../src/domain/memory/project-memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE1E;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,aAAa,GAAG,YAAY,GAAG,UAAU,CAAC;AAE1E;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAElB;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAEhB,MAAM,EAAE,YAAY,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IAEnB,SAAS,EAAE,IAAI,CAAC;IAChB,SAAS,EAAE,IAAI,CAAC;IAEhB;;OAEG;IACH,QAAQ,EAAE;QACR,qBAAqB,EAAE,MAAM,CAAC;QAC9B,eAAe,EAAE,MAAM,CAAC;QACxB,aAAa,EAAE,MAAM,CAAC;QAEtB;;;WAGG;QACH,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC;IAEF;;OAEG;IACH,QAAQ,CAAC,EAAE,IAAI,CAAC;IAEhB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAElB;;OAEG;IACH,SAAS,EAAE,UAAU,EAAE,CAAC;IAExB;;;OAGG;IACH,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC;IAE1B;;OAEG;IACH,SAAS,EAAE,IAAI,CAAC;CACjB;AAyBD,wBAAgB,WAAW,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAEzD;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ,GAAG,YAAY,CA0Bf;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE;IAAE,WAAW,EAAE,iBAAiB,CAAC;IAAC,GAAG,CAAC,EAAE,IAAI,CAAA;CAAE,GACrD,YAAY,CAuCd;AAED;;GAEG;AACH,wBAAgB,MAAM,CACpB,MAAM,EAAE,YAAY,EACpB,GAAG,GAAE,IAAiB,GACrB,YAAY,CAiBd;AAED;;;GAGG;AACH,wBAAgB,MAAM,CACpB,MAAM,EAAE,YAAY,EACpB,GAAG,GAAE,IAAiB,GACrB,YAAY,CAMd;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAClB,MAAM,EAAE,YAAY,EACpB,GAAG,GAAE,IAAiB,GACrB,YAAY,CAQd;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,GACnC,YAAY,GAAG,SAAS,CAkB1B;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,YAAY,EAAE,YAAY,CAAC;IAC3B,wBAAwB,EAAE,MAAM,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,GAAG,OAAO,CAcV"}

package/dist/src/domain/memory/project-memory.js

@@ -0,0 +1,190 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isCanonical = isCanonical;
+exports.createProposedMemory = createProposedMemory;
+exports.applySignal = applySignal;
+exports.affirm = affirm;
+exports.ignore = ignore;
+exports.deny = deny;
+exports.selectDefaultSurfaceRecord = selectDefaultSurfaceRecord;
+exports.shouldBlockReproposal = shouldBlockReproposal;
+/* =========================================================
+   Confidence + lifecycle rules (domain contract enforcement)
+   ========================================================= */
+const clamp01 = (n) => Math.max(0, Math.min(1, n));
+const BASE_CONFIDENCE = {
+    proposed: 0.3,
+    ignored: 0.3,
+    affirmed: 0.8,
+    denied: 0.2,
+};
+const SIGNAL_WEIGHT = {
+    code_change: 0.06,
+    structural: 0.04,
+    metadata: 0.01,
+};
+const EVIDENCE_GAIN_CAP = 0.35;
+const STRONG_SIGNAL_DIMINISH_AFTER = 5;
+const STRONG_SIGNAL_DIMINISHED_WEIGHT = 0.03;
+function isCanonical(status) {
+    return status === "affirmed";
+}
+function createProposedMemory(input) {
+    const now = input.now ?? new Date();
+    return {
+        id: input.id,
+        projectId: input.projectId,
+        repo: input.repo,
+        symbol: input.symbol,
+        type: input.type,
+        title: input.title,
+        tags: input.tags ?? [],
+        content: input.content,
+        status: "proposed",
+        confidence: BASE_CONFIDENCE.proposed,
+        createdAt: now,
+        updatedAt: now,
+        evidence: {
+            strongCodeChangeCount: 0,
+            structuralCount: 0,
+            metadataCount: 0,
+            evidenceGain: 0,
+        },
+        fingerprint: input.fingerprint,
+        externalId: input.externalId,
+        correctsId: input.correctsId,
+    };
+}
+/**
+ * Apply a signal to a memory record.
+ * This increases confidence deterministically, with saturation + diminishing returns.
+ *
+ * NOTE: Signals can also raise confidence for ignored records (non-canonical),
+ * but never make them canonical automatically.
+ */
+function applySignal(record, signal) {
+    const now = signal.now ?? new Date();
+    const baseWeight = SIGNAL_WEIGHT[signal.weightClass];
+    let weight = baseWeight;
+    // Diminishing returns for strong signals after N.
+    if (signal.weightClass === "code_change") {
+        const nextStrongCount = record.evidence.strongCodeChangeCount + 1;
+        if (nextStrongCount > STRONG_SIGNAL_DIMINISH_AFTER) {
+            weight = STRONG_SIGNAL_DIMINISHED_WEIGHT;
+        }
+    }
+    // Enforce evidence gain cap (signals alone cannot increase beyond cap).
+    const remaining = EVIDENCE_GAIN_CAP - record.evidence.evidenceGain;
+    const delta = Math.max(0, Math.min(weight, remaining));
+    const nextEvidence = { ...record.evidence };
+    if (signal.weightClass === "code_change")
+        nextEvidence.strongCodeChangeCount += 1;
+    if (signal.weightClass === "structural")
+        nextEvidence.structuralCount += 1;
+    if (signal.weightClass === "metadata")
+        nextEvidence.metadataCount += 1;
+    nextEvidence.evidenceGain = clamp01(nextEvidence.evidenceGain + delta);
+    let nextConfidence = clamp01(record.confidence + delta);
+    // Denied hypotheses remain low-confidence.
+    if (record.status === "denied") {
+        nextConfidence = Math.min(nextConfidence, BASE_CONFIDENCE.denied);
+    }
+    return {
+        ...record,
+        evidence: nextEvidence,
+        confidence: nextConfidence,
+        updatedAt: now,
+    };
+}
+/**
+ * Transition a record to affirmed (canonical) and apply affirmation boosts.
+ */
+function affirm(record, now = new Date()) {
+    let nextConfidence = record.confidence;
+    if (record.status !== "affirmed") {
+        nextConfidence = Math.max(nextConfidence, BASE_CONFIDENCE.affirmed);
+        nextConfidence = clamp01(nextConfidence + 0.1);
+    }
+    else {
+        nextConfidence = clamp01(nextConfidence + 0.05);
+    }
+    return {
+        ...record,
+        status: "affirmed",
+        confidence: nextConfidence,
+        deniedAt: undefined,
+        updatedAt: now,
+    };
+}
+/**
+ * Transition a record to ignored (non-canonical).
+ * Ignore is not rejection; confidence is not forced down.
+ */
+function ignore(record, now = new Date()) {
+    return {
+        ...record,
+        status: "ignored",
+        updatedAt: now,
+    };
+}
+/**
+ * Transition a record to denied (non-canonical) and clamp confidence.
+ * Denied records are retained to prevent proposal loops.
+ */
+function deny(record, now = new Date()) {
+    return {
+        ...record,
+        status: "denied",
+        confidence: Math.min(record.confidence, BASE_CONFIDENCE.denied),
+        deniedAt: now,
+        updatedAt: now,
+    };
+}
+/**
+ * Select the best record to surface by default for a given target.
+ *
+ * Default hierarchy:
+ * 1) affirmed + highest confidence
+ * 2) affirmed + most recent
+ * 3) otherwise proposed/ignored (highest confidence, most recent)
+ * Denied records are never selected by default.
+ */
+function selectDefaultSurfaceRecord(records) {
+    const affirmed = records.filter((r) => r.status === "affirmed");
+    if (affirmed.length > 0) {
+        return affirmed.slice().sort((a, b) => {
+            if (b.confidence !== a.confidence)
+                return b.confidence - a.confidence;
+            return b.updatedAt.getTime() - a.updatedAt.getTime();
+        })[0];
+    }
+    const candidates = records.filter((r) => r.status === "proposed" || r.status === "ignored");
+    if (candidates.length === 0)
+        return undefined;
+    return candidates.slice().sort((a, b) => {
+        if (b.confidence !== a.confidence)
+            return b.confidence - a.confidence;
+        return b.updatedAt.getTime() - a.updatedAt.getTime();
+    })[0];
+}
+/**
+ * Anti-loop helper:
+ * returns true if a denied record exists that should block re-proposing,
+ * unless new evidence threshold is met.
+ *
+ * MVP rule:
+ * - If there is a denied record for same target+fingerprint, do not re-propose unless
+ *   at least 3 strong code-change signals have occurred since denial.
+ */
+function shouldBlockReproposal(params) {
+    const { deniedRecord, strongSignalsSinceDenial, fingerprint } = params;
+    if (deniedRecord.status !== "denied")
+        return false;
+    if (fingerprint &&
+        deniedRecord.fingerprint &&
+        fingerprint !== deniedRecord.fingerprint) {
+        return false;
+    }
+    return strongSignalsSinceDenial < 3;
+}
+//# sourceMappingURL=project-memory.js.map

package/dist/src/domain/memory/project-memory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-memory.js","sourceRoot":"","sources":["../../../../src/domain/memory/project-memory.ts"],"names":[],"mappings":";;AAkJA,kCAEC;AAED,oDAuCC;AASD,kCA0CC;AAKD,wBAoBC;AAMD,wBASC;AAMD,oBAWC;AAWD,gEAoBC;AAWD,sDAkBC;AA1OD;;+DAE+D;AAE/D,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEnE,MAAM,eAAe,GAAiC;IACpD,QAAQ,EAAE,GAAG;IACb,OAAO,EAAE,GAAG;IACZ,QAAQ,EAAE,GAAG;IACb,MAAM,EAAE,GAAG;CACZ,CAAC;AAEF,MAAM,aAAa,GAAsC;IACvD,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,IAAI;IAChB,QAAQ,EAAE,IAAI;CACf,CAAC;AAEF,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAC/B,MAAM,4BAA4B,GAAG,CAAC,CAAC;AACvC,MAAM,+BAA+B,GAAG,IAAI,CAAC;AAE7C,SAAgB,WAAW,CAAC,MAAoB;IAC9C,OAAO,MAAM,KAAK,UAAU,CAAC;AAC/B,CAAC;AAED,SAAgB,oBAAoB,CAAC,KAapC;IACC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IAEpC,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,UAAU;QAClB,UAAU,EAAE,eAAe,CAAC,QAAQ;QACpC,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,QAAQ,EAAE;YACR,qBAAqB,EAAE,CAAC;YACxB,eAAe,EAAE,CAAC;YAClB,aAAa,EAAE,CAAC;YAChB,YAAY,EAAE,CAAC;SAChB;QACD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,WAAW,CACzB,MAAoB,EACpB,MAAsD;IAEtD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IAErC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAErD,IAAI,MAAM,GAAG,UAAU,CAAC;IAExB,kDAAkD;IAClD,IAAI,MAAM,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;QACzC,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,qBAAqB,GAAG,CAAC,CAAC;QAClE,IAAI,eAAe,GAAG,4BAA4B,EAAE,CAAC;YACnD,MAAM,GAAG,+BAA+B,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,MAAM,SAAS,GAAG,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAEvD,MAAM,YAAY,GAAG,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAC5C,IAAI,MAAM,CAAC,WAAW,KAAK,aAAa;QACtC,YAAY,CAAC,qBAAqB,IAAI,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,WAAW,KAAK,YAAY;QAAE,YAAY,CAAC,eAAe,IAAI,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU;QAAE,YAAY,CAAC,aAAa,IAAI,CAAC,CAAC;IACvE,YAAY,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,YAAY,GAAG,KAAK,CAAC,CAAC;IAEvE,IAAI,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC;IAExD,2CAA2C;IAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,QAAQ,EAAE,YAAY;QACtB,UAAU,EAAE,cAAc;QAC1B,SAAS,EAAE,GAAG;KACf,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,MAAM,CACpB,MAAoB,EACpB,MAAY,IAAI,IAAI,EAAE;IAEtB,IAAI,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC;IAEvC,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC;QACpE,cAAc,GAAG,OAAO,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC;IACjD,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,MAAM,EAAE,UAAU;QAClB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,SAAS;QACnB,SAAS,EAAE,GAAG;KACf,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,MAAM,CACpB,MAAoB,EACpB,MAAY,IAAI,IAAI,EAAE;IAEtB,OAAO;QACL,GAAG,MAAM;QACT,MAAM,EAAE,SAAS;QACjB,SAAS,EAAE,GAAG;KACf,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,IAAI,CAClB,MAAoB,EACpB,MAAY,IAAI,IAAI,EAAE;IAEtB,OAAO;QACL,GAAG,MAAM;QACT,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC;QAC/D,QAAQ,EAAE,GAAG;QACb,SAAS,EAAE,GAAG;KACf,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,0BAA0B,CACxC,OAAoC;IAEpC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACpC,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;gBAAE,OAAO,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;YACtE,OAAO,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACvD,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACR,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CACzD,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,OAAO,UAAU,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtC,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;YAAE,OAAO,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;QACtE,OAAO,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,qBAAqB,CAAC,MAIrC;IACC,MAAM,EAAE,YAAY,EAAE,wBAAwB,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;IAEvE,IAAI,YAAY,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAEnD,IACE,WAAW;QACX,YAAY,CAAC,WAAW;QACxB,WAAW,KAAK,YAAY,CAAC,WAAW,EACxC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,wBAAwB,GAAG,CAAC,CAAC;AACtC,CAAC"}

package/dist/src/invariants/decision-invariants.d.ts

@@ -0,0 +1,4 @@
+import { Decision } from "../domain/decision/decision";
+import { DecisionContext } from "../domain/decision/decision-context";
+export declare function enforceDecisionInvariants(decision: Decision, context: DecisionContext): void;
+//# sourceMappingURL=decision-invariants.d.ts.map

package/dist/src/invariants/decision-invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-invariants.d.ts","sourceRoot":"","sources":["../../../src/invariants/decision-invariants.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAGtE,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,eAAe,QAazB"}

package/dist/src/invariants/decision-invariants.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.enforceDecisionInvariants = enforceDecisionInvariants;
+const decision_errors_1 = require("../domain/decision/decision-errors");
+function enforceDecisionInvariants(decision, context) {
+    if (decision.projectId !== context.priorMemory.projectId) {
+        throw new decision_errors_1.DecisionInvariantError("Decision project mismatch");
+    }
+    if (!decision.rationale || decision.rationale.trim() === "") {
+        throw new decision_errors_1.DecisionInvariantError("Decision must have a rationale");
+    }
+    if (decision.confidence < 0 || decision.confidence > 1) {
+        throw new decision_errors_1.DecisionInvariantError("Invalid confidence score");
+    }
+}
+//# sourceMappingURL=decision-invariants.js.map

package/dist/src/invariants/decision-invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-invariants.js","sourceRoot":"","sources":["../../../src/invariants/decision-invariants.ts"],"names":[],"mappings":";;AAIA,8DAeC;AAjBD,wEAA4E;AAE5E,SAAgB,yBAAyB,CACvC,QAAkB,EAClB,OAAwB;IAExB,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;QACzD,MAAM,IAAI,wCAAsB,CAAC,2BAA2B,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5D,MAAM,IAAI,wCAAsB,CAAC,gCAAgC,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,wCAAsB,CAAC,0BAA0B,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC"}

package/dist/src/lifecycle/decision-lifecycle.d.ts

@@ -0,0 +1,5 @@
+import { Decision } from "../domain/decision/decision";
+import { DecisionContext } from "../domain/decision/decision-context";
+import { DecisionOutcome } from "../domain/decision/decision-outcome";
+export declare function applyDecisionLifecycle(decision: Decision, context: DecisionContext): DecisionOutcome;
+//# sourceMappingURL=decision-lifecycle.d.ts.map

package/dist/src/lifecycle/decision-lifecycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-lifecycle.d.ts","sourceRoot":"","sources":["../../../src/lifecycle/decision-lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAGtE,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,eAAe,GACvB,eAAe,CA0BjB"}

package/dist/src/lifecycle/decision-lifecycle.js

@@ -0,0 +1,29 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.applyDecisionLifecycle = applyDecisionLifecycle;
+const decision_invariants_1 = require("../invariants/decision-invariants");
+function applyDecisionLifecycle(decision, context) {
+    // 1. Enforce invariants
+    (0, decision_invariants_1.enforceDecisionInvariants)(decision, context);
+    // 2. Produce events
+    const events = [
+        {
+            type: "DecisionRecorded",
+            decisionId: decision.id,
+            occurredAt: new Date(),
+        },
+        {
+            type: "MemoryUpdated",
+            decisionId: decision.id,
+            occurredAt: new Date(),
+        },
+    ];
+    // 3. Apply to memory (pure)
+    const newMemory = {
+        ...context.priorMemory,
+        decisions: [...context.priorMemory.decisions, decision.id],
+        updatedAt: new Date(),
+    };
+    return { newMemory, events };
+}
+//# sourceMappingURL=decision-lifecycle.js.map

package/dist/src/lifecycle/decision-lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-lifecycle.js","sourceRoot":"","sources":["../../../src/lifecycle/decision-lifecycle.ts"],"names":[],"mappings":";;AAKA,wDA6BC;AA/BD,2EAA8E;AAE9E,SAAgB,sBAAsB,CACpC,QAAkB,EAClB,OAAwB;IAExB,wBAAwB;IACxB,IAAA,+CAAyB,EAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE7C,oBAAoB;IACpB,MAAM,MAAM,GAAG;QACb;YACE,IAAI,EAAE,kBAA2B;YACjC,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,UAAU,EAAE,IAAI,IAAI,EAAE;SACvB;QACD;YACE,IAAI,EAAE,eAAwB;YAC9B,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,UAAU,EAAE,IAAI,IAAI,EAAE;SACvB;KACF,CAAC;IAEF,4BAA4B;IAC5B,MAAM,SAAS,GAAG;QAChB,GAAG,OAAO,CAAC,WAAW;QACtB,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1D,SAAS,EAAE,IAAI,IAAI,EAAE;KACtB,CAAC;IAEF,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC"}

package/dist/src/ports/agent-port.d.ts

@@ -0,0 +1,15 @@
+import { Decision } from "../domain/decision/decision";
+import { DecisionContext } from "../domain/decision/decision-context";
+import { DecisionOutcome } from "../domain/decision/decision-outcome";
+export interface AgentPort {
+    /**
+     * External AI agent proposes a new decision.
+     * Core will validate and return the outcome.
+     */
+    proposeDecision(decision: Decision, context: DecisionContext): Promise<DecisionOutcome>;
+    /**
+     * Query the current state of project memory.
+     */
+    queryMemory(projectId: string): Promise<any>;
+}
+//# sourceMappingURL=agent-port.d.ts.map

package/dist/src/ports/agent-port.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-port.d.ts","sourceRoot":"","sources":["../../../src/ports/agent-port.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAEtE,MAAM,WAAW,SAAS;IACxB;;;OAGG;IACH,eAAe,CACb,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,eAAe,GACvB,OAAO,CAAC,eAAe,CAAC,CAAC;IAE5B;;OAEG;IACH,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;CAC9C"}

package/dist/src/ports/agent-port.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=agent-port.js.map

package/dist/src/ports/agent-port.js.map

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

package/dist/src/ports/assertion-port.d.ts

@@ -0,0 +1,16 @@
+export interface AssertionPort {
+    /**
+     * Apply an assertion (human or AI) to a decision.
+     * Returns updated confidence for that decision.
+     */
+    submitAssertion(decisionId: string, assertion: string, source: "human" | "system"): Promise<number>;
+    /**
+     * Optionally query all assertions associated with a decision.
+     */
+    getAssertions(decisionId: string): Promise<{
+        assertion: string;
+        source: string;
+        createdAt: Date;
+    }[]>;
+}
+//# sourceMappingURL=assertion-port.d.ts.map

package/dist/src/ports/assertion-port.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-port.d.ts","sourceRoot":"","sources":["../../../src/ports/assertion-port.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,eAAe,CACb,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,OAAO,GAAG,QAAQ,GACzB,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnB;;OAEG;IACH,aAAa,CACX,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,IAAI,CAAA;KAAE,EAAE,CAAC,CAAC;CACtE"}

package/dist/src/ports/assertion-port.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=assertion-port.js.map

package/dist/src/ports/assertion-port.js.map

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

package/dist/src/ports/event-port.d.ts

@@ -0,0 +1,10 @@
+import { Decision } from "../domain/decision/decision";
+import { DecisionContext } from "../domain/decision/decision-context";
+export interface EventPort {
+    /**
+     * Push a proposed decision into the core.
+     * Core will validate invariants and produce a DecisionOutcome.
+     */
+    pushDecision(decision: Decision, context: DecisionContext): Promise<void>;
+}
+//# sourceMappingURL=event-port.d.ts.map

package/dist/src/ports/event-port.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-port.d.ts","sourceRoot":"","sources":["../../../src/ports/event-port.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAEtE,MAAM,WAAW,SAAS;IACxB;;;OAGG;IACH,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3E"}

package/dist/src/ports/event-port.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=event-port.js.map

package/dist/src/ports/event-port.js.map

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

package/dist/src/ports/memory-port.d.ts

@@ -0,0 +1,13 @@
+import { DecisionOutcome } from "../domain/decision/decision-outcome";
+export interface MemoryPort {
+    /**
+     * Persist the updated project memory and associated events.
+     * Core will produce DecisionOutcome that this port stores.
+     */
+    persistMemory(outcome: DecisionOutcome): Promise<void>;
+    /**
+     * Retrieve the current state of project memory for a given project.
+     */
+    getMemory(projectId: string): Promise<any>;
+}
+//# sourceMappingURL=memory-port.d.ts.map

package/dist/src/ports/memory-port.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-port.d.ts","sourceRoot":"","sources":["../../../src/ports/memory-port.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAEtE,MAAM,WAAW,UAAU;IACzB;;;OAGG;IACH,aAAa,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvD;;OAEG;IACH,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;CAC5C"}

package/dist/src/ports/memory-port.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=memory-port.js.map

package/dist/src/ports/memory-port.js.map

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

package/package.json

@@ -0,0 +1,20 @@
+{
+  "name": "kodingo-core",
+  "version": "0.1.0",
+  "description": "Core domain logic and ports for Kodingo.",
+  "license": "ISC",
+  "type": "commonjs",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "clean": "rm -rf dist",
+    "build": "tsc -p tsconfig.json",
+    "prepare": "npm run build"
+  },
+  "devDependencies": {
+    "typescript": "^5.3.3"
+  }
+}