@popmelt.com/core 0.8.17 → 0.10.0

package/dist/server.d.mts

@@ -5,6 +5,11 @@ type ImprintScope = {
     kind: ImprintScopeKind;
     values: string[];
 };
+/** A store-qualified address; abstraction level is intentionally not encoded. */
+type ImprintExplanationRef = {
+    storeId: string;
+    explanationId: string;
+};
 type ImprintEvidence = {
     id: string;
     kind: 'observation' | 'application' | 'confirmation' | 'correction' | 'exception' | 'rejection';
@@ -48,6 +53,10 @@ type ImprintRelation = {
     rationale: string;
     createdAt: string;
 };
+type QualifiedImprintRelation = Omit<ImprintRelation, 'fromId' | 'toId'> & {
+    from: ImprintExplanationRef;
+    to: ImprintExplanationRef;
+};
 type ImprintGraph = {
     version: 1;
     projectId: string;
@@ -140,6 +149,16 @@ type ImprintContext = {
     pendingGroundingExplanationIds?: string[];
     correctionExplanationIds?: string[];
     relations?: Array<Pick<ImprintRelation, 'id' | 'type' | 'fromId' | 'toId' | 'rationale'>>;
+    /** Explicit target/reference language detected in the current request. */
+    retrievalIntent?: {
+        target: string;
+        reference: string;
+    };
+    /**
+     * Directly relevant rejected history. These are warnings, not active
+     * explanations, and therefore cannot be cited as Imprint usage.
+     */
+    historicalCaveats?: Array<Pick<ImprintExplanation, 'id' | 'kind' | 'statement' | 'rationale' | 'scope' | 'state'>>;
 };
 
 type Provider = 'claude' | 'codex' | 'copilot';
@@ -163,6 +182,7 @@ type PopmeltOptions = {
 type PopmeltHandle = {
     port: number;
     projectId: string;
+    storeId?: string;
     close: () => Promise<void>;
 };
 
@@ -254,6 +274,7 @@ type ImprintMutationDraft = {
         title: string;
         detail: string;
     };
+    usedExplanationIds?: string[];
     appliedExplanationIds: string[];
     mutations: ProposedMutation[];
     grounding?: {
@@ -267,6 +288,7 @@ type ImprintApplicationDraft = {
         title: string;
         detail: string;
     };
+    usedExplanationIds?: string[];
     appliedExplanationIds: string[];
     grounding?: {
         explanationId: string;
@@ -284,6 +306,8 @@ type ImprintRecognitionDraft = {
 type ImprintDraft = ImprintMutationDraft | ImprintApplicationDraft | ImprintRecognitionDraft | {
     decision: 'none';
     reason: ImprintNoopReason;
+    usedExplanationIds?: string[];
+    appliedExplanationIds?: string[];
     duplicateOfExplanationId?: string;
     scopeComparison?: 'equivalent' | 'existing_broader';
 };
@@ -336,6 +360,9 @@ declare class ImprintService {
     }): Promise<'applied' | 'pending_correction'>;
 }
 
+declare function imprintExplanationRef(storeId: string, explanationId: string): ImprintExplanationRef;
+declare function qualifyImprintRelation(storeId: string, relation: ImprintRelation): QualifiedImprintRelation;
+
 type StartPopmeltOptions = PopmeltOptions & {
     force?: boolean;
     detached?: boolean;
@@ -344,4 +371,4 @@ type StartPopmeltOptions = PopmeltOptions & {
 };
 declare function startPopmelt(options?: StartPopmeltOptions): Promise<PopmeltHandle>;
 
-export { type ImprintConcrete, type ImprintContext, type ImprintEvidence, type ImprintExplanation, type ImprintExplanationKind, type ImprintExplanationState, type ImprintGraph, type ImprintGroundingAction, type ImprintMutation, type ImprintRelation, type ImprintRelationType, type ImprintScope, ImprintService, ImprintStore, type ImprintThreadSummary, type ImprintTransaction, type PopmeltHandle, type PopmeltOptions, type StartPopmeltOptions, formatImprintPrompt, parseImprintDraft, startPopmelt };
+export { type ImprintConcrete, type ImprintContext, type ImprintEvidence, type ImprintExplanation, type ImprintExplanationKind, type ImprintExplanationRef, type ImprintExplanationState, type ImprintGraph, type ImprintGroundingAction, type ImprintMutation, type ImprintRelation, type ImprintRelationType, type ImprintScope, ImprintService, ImprintStore, type ImprintThreadSummary, type ImprintTransaction, type PopmeltHandle, type PopmeltOptions, type QualifiedImprintRelation, type StartPopmeltOptions, formatImprintPrompt, imprintExplanationRef, parseImprintDraft, qualifyImprintRelation, startPopmelt };