@popmelt.com/core 0.8.13 → 0.8.15

package/dist/server.d.mts

@@ -33,7 +33,13 @@ type ImprintConcrete = {
     createdAt: string;
     updatedAt: string;
 };
-type ImprintRelationType = 'operationalizes' | 'refines' | 'supports' | 'contradicts' | 'excepts' | 'instantiates' | 'supersedes';
+type ImprintTopologyRelationType = 'expresses' | 'excepts';
+/**
+ * Historical relation names remain readable so append-only Imprint journals can
+ * be replayed. New writers must use ImprintTopologyRelationType.
+ */
+type LegacyImprintRelationType = 'operationalizes' | 'refines' | 'supports' | 'contradicts' | 'instantiates' | 'supersedes';
+type ImprintRelationType = ImprintTopologyRelationType | LegacyImprintRelationType;
 type ImprintRelation = {
     id: string;
     type: ImprintRelationType;
@@ -95,7 +101,7 @@ type ImprintTransaction = {
     previousHash: string | null;
     hash: string;
     source: {
-        kind: 'automatic' | 'grounding' | 'correction' | 'undo';
+        kind: 'automatic' | 'grounding' | 'correction' | 'migration' | 'undo';
         threadId: string;
         jobId: string;
     };
@@ -125,13 +131,14 @@ type ImprintThreadSummary = {
     };
     resolvedAction?: ImprintGroundingAction;
 };
-type ImprintGroundingAction = 'confirm' | 'reason_wrong' | 'narrow' | 'exception' | 'edit' | 'dont_learn' | 'undo';
+type ImprintGroundingAction = 'yes' | 'this_time' | 'no';
 type ImprintContext = {
     explanations: Array<Pick<ImprintExplanation, 'id' | 'kind' | 'statement' | 'rationale' | 'scope' | 'state'> & {
         concrete: Array<Pick<ImprintConcrete, 'id' | 'modelPath' | 'value'>>;
     }>;
     truncated: boolean;
     pendingGroundingExplanationIds?: string[];
+    correctionExplanationIds?: string[];
     relations?: Array<Pick<ImprintRelation, 'id' | 'type' | 'fromId' | 'toId' | 'rationale'>>;
 };
 
@@ -174,7 +181,12 @@ declare class ImprintStore {
     private writeChain;
     constructor(projectRoot: string, projectId: string);
     private readManifest;
+    private loadRaw;
     load(): Promise<ImprintLoadResult>;
+    migrateTopology(): Promise<{
+        migrated: boolean;
+        relationMutations: number;
+    }>;
     commit(input: {
         transactionId: string;
         committedAt: string;
@@ -215,7 +227,7 @@ type ProposedMutation = {
     summary: string;
 } | {
     op: 'relation';
-    type: ImprintRelationType;
+    type: ImprintTopologyRelationType;
     fromId: string;
     toId: string;
     rationale: string;
@@ -249,9 +261,36 @@ type ImprintMutationDraft = {
         question: string;
     };
 };
-type ImprintDraft = ImprintMutationDraft | {
+type ImprintApplicationDraft = {
+    decision: 'apply';
+    summary: {
+        title: string;
+        detail: string;
+    };
+    appliedExplanationIds: string[];
+    grounding?: {
+        explanationId: string;
+        question: string;
+    };
+};
+type ImprintRecognitionDraft = {
+    decision: 'recognize';
+    explanationId: string;
+    summary: {
+        title: string;
+        detail: string;
+    };
+};
+type ImprintDraft = ImprintMutationDraft | ImprintApplicationDraft | ImprintRecognitionDraft | {
     decision: 'none';
     reason: ImprintNoopReason;
+    duplicateOfExplanationId?: string;
+    scopeComparison?: 'equivalent' | 'existing_broader';
+};
+type ImprintParseContext = {
+    context?: ImprintContext;
+    requestText?: string;
+    applicationOccurred?: boolean;
 };
 type ImprintCaptureInput = {
     threadId: string;
@@ -259,36 +298,42 @@ type ImprintCaptureInput = {
     occurredAt?: string;
     concreteModel?: Record<string, unknown> | null;
     pendingGroundingExplanationIds?: string[];
+    applicationOccurred?: boolean;
 };
-declare function parseImprintDraft(responseText: string): {
+declare function parseImprintDraft(responseText: string, parseContext?: ImprintParseContext): {
     draft?: ImprintDraft;
     visibleText: string;
     error?: string;
 };
-declare function formatImprintPrompt(context: ImprintContext | undefined): string;
+declare function formatImprintPrompt(context: ImprintContext | undefined, options?: {
+    requestText?: string;
+}): string;
 declare class ImprintService {
     readonly store: ImprintStore;
     private readonly noopCounts;
+    private readonly assessmentFailures;
     constructor(projectRoot: string, projectId: string);
     recordNoop(reason: ImprintNoopReason): void;
+    recordAssessmentFailure(state: 'missing' | 'invalid'): void;
     diagnostics(): {
         noopDecisions: Partial<Record<ImprintNoopReason, number>>;
+        assessmentFailures: Partial<Record<'missing' | 'invalid', number>>;
     };
     contextualize(input: {
         text?: string;
         subjectHints?: string[];
         maxExplanations?: number;
         pendingGroundingExplanationIds?: string[];
+        correctionExplanationIds?: string[];
     }): Promise<ImprintContext | undefined>;
-    capture(draft: ImprintMutationDraft, input: ImprintCaptureInput): Promise<ImprintThreadSummary | undefined>;
+    capture(draft: ImprintMutationDraft | ImprintApplicationDraft, input: ImprintCaptureInput): Promise<ImprintThreadSummary | undefined>;
     applyGroundingAction(input: {
         summary: ImprintThreadSummary;
         action: ImprintGroundingAction;
-        value?: string;
         threadId: string;
         jobId: string;
         occurredAt?: string;
-    }): Promise<void>;
+    }): Promise<'applied' | 'pending_correction'>;
 }
 
 type StartPopmeltOptions = PopmeltOptions & {