@lucern/contracts 1.0.50 → 1.0.52

package/CHANGELOG.md

@@ -165,3 +165,9 @@ All notable changes to `@lucern/contracts` are tracked in this repository.
 
 ## [1.0.50] - 2026-06-28
 - Release notes pending.
+
+## [1.0.51] - 2026-06-29
+- Release notes pending.
+
+## [1.0.52] - 2026-06-30
+- Release notes pending.

package/dist/function-registry/beliefs.d.ts

@@ -1,10 +1,78 @@
 import { z } from "zod";
+export declare const createBeliefArgs: z.ZodObject<{
+    canonicalText: z.ZodString;
+    topicGlobalId: z.ZodEffects<z.ZodString, string, string>;
+    baseRate: z.ZodOptional<z.ZodNumber>;
+    beliefStatus: z.ZodOptional<z.ZodEnum<["assumption", "hypothesis", "active", "superseded", "resolved_true", "resolved_false"]>>;
+    epistemicStatus: z.ZodOptional<z.ZodEnum<["assumption", "hypothesis", "active", "superseded", "resolved_true", "resolved_false"]>>;
+    beliefType: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    rationale: z.ZodOptional<z.ZodString>;
+    pillar: z.ZodOptional<z.ZodString>;
+    worktreeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    sourceBeliefIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
+    sourceType: z.ZodOptional<z.ZodEnum<["human", "ai_extracted", "ai_generated"]>>;
+    reversibility: z.ZodOptional<z.ZodEnum<["irreversible", "hard_to_reverse", "reversible", "trivial"]>>;
+    predictionMeta: z.ZodOptional<z.ZodObject<{
+        isPrediction: z.ZodBoolean;
+        registeredAt: z.ZodNumber;
+        expectedBy: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        isPrediction: boolean;
+        registeredAt: number;
+        expectedBy?: number | undefined;
+    }, {
+        isPrediction: boolean;
+        registeredAt: number;
+        expectedBy?: number | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    canonicalText: string;
+    topicGlobalId: string;
+    metadata?: Record<string, unknown> | undefined;
+    sourceType?: "human" | "ai_extracted" | "ai_generated" | undefined;
+    worktreeId?: string | undefined;
+    epistemicStatus?: "active" | "hypothesis" | "superseded" | "assumption" | "resolved_true" | "resolved_false" | undefined;
+    rationale?: string | undefined;
+    baseRate?: number | undefined;
+    beliefType?: string | undefined;
+    beliefStatus?: "active" | "hypothesis" | "superseded" | "assumption" | "resolved_true" | "resolved_false" | undefined;
+    pillar?: string | undefined;
+    sourceBeliefIds?: string[] | undefined;
+    reversibility?: "irreversible" | "hard_to_reverse" | "reversible" | "trivial" | undefined;
+    predictionMeta?: {
+        isPrediction: boolean;
+        registeredAt: number;
+        expectedBy?: number | undefined;
+    } | undefined;
+}, {
+    canonicalText: string;
+    topicGlobalId: string;
+    metadata?: Record<string, unknown> | undefined;
+    sourceType?: "human" | "ai_extracted" | "ai_generated" | undefined;
+    worktreeId?: string | undefined;
+    epistemicStatus?: "active" | "hypothesis" | "superseded" | "assumption" | "resolved_true" | "resolved_false" | undefined;
+    rationale?: string | undefined;
+    baseRate?: number | undefined;
+    beliefType?: string | undefined;
+    beliefStatus?: "active" | "hypothesis" | "superseded" | "assumption" | "resolved_true" | "resolved_false" | undefined;
+    pillar?: string | undefined;
+    sourceBeliefIds?: string[] | undefined;
+    reversibility?: "irreversible" | "hard_to_reverse" | "reversible" | "trivial" | undefined;
+    predictionMeta?: {
+        isPrediction: boolean;
+        registeredAt: number;
+        expectedBy?: number | undefined;
+    } | undefined;
+}>;
+export type CreateBeliefArgs = z.infer<typeof createBeliefArgs>;
 export declare const beliefsContracts: readonly [{
     name: string;
     kind: import("./types.js").FunctionKind;
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -50,6 +118,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -95,6 +164,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -140,6 +210,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -185,6 +256,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -230,6 +302,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -275,6 +348,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -320,6 +394,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -365,6 +440,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -410,6 +486,7 @@ export declare const beliefsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;

package/dist/function-registry/beliefs.js

@@ -6338,6 +6338,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,
@@ -6530,7 +6531,11 @@ var beliefsContracts = [
       inputProjection: createBeliefInput
     },
     args: createBeliefArgs,
-    input: createBeliefArgs
+    input: createBeliefArgs,
+    boundary: {
+      scope: [{ rule: "topic-required" }],
+      admission: ["source-span", "uuidv7-endpoints"]
+    }
   }),
   surfaceContract({
     name: "get_belief",
@@ -6695,4 +6700,4 @@ var beliefsContracts = [
   })
 ];
 
-export { beliefsContracts };
+export { beliefsContracts, createBeliefArgs };

package/dist/function-registry/coding.d.ts

@@ -1,10 +1,188 @@
 import { z } from "zod";
+export declare const recordScopeLearningArgs: z.ZodObject<{
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    summary: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    body: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    sourceKind: z.ZodOptional<z.ZodEnum<["commit", "merge", "doc", "issue", "manual"]>>;
+    sourceRef: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    touchedPaths: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    beliefId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts"]>>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    signedImpact: z.ZodOptional<z.ZodNumber>;
+    linkedBeliefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        beliefId: z.ZodEffects<z.ZodString, string, string>;
+        weight: z.ZodNumber;
+        relation: z.ZodOptional<z.ZodEnum<["supports", "contradicts"]>>;
+        rationale: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        beliefId: string;
+        weight: number;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | undefined;
+    }, {
+        beliefId: string;
+        weight: number;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | undefined;
+    }>, "many">>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    rationale: z.ZodOptional<z.ZodString>;
+    createQuestionText: z.ZodOptional<z.ZodString>;
+    createBeliefText: z.ZodOptional<z.ZodString>;
+    beliefType: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strip", z.ZodTypeAny, {
+    summary: string;
+    content?: string | undefined;
+    body?: string | undefined;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    text?: string | undefined;
+    sourceType?: string | undefined;
+    signedImpact?: number | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    sourceRef?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    sourceUrl?: string | undefined;
+    weight?: number | undefined;
+    rationale?: string | undefined;
+    kind?: string | undefined;
+    contentType?: string | undefined;
+    sourceKind?: "manual" | "merge" | "commit" | "doc" | "issue" | undefined;
+    externalSourceType?: string | undefined;
+    tags?: string[] | undefined;
+    touchedPaths?: string[] | undefined;
+    beliefType?: string | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    createQuestionText?: string | undefined;
+    createBeliefText?: string | undefined;
+    linkedBeliefs?: {
+        beliefId: string;
+        weight: number;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | undefined;
+    }[] | undefined;
+}, {
+    summary: string;
+    content?: string | undefined;
+    body?: string | undefined;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    text?: string | undefined;
+    sourceType?: string | undefined;
+    signedImpact?: number | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    sourceRef?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    sourceUrl?: string | undefined;
+    weight?: number | undefined;
+    rationale?: string | undefined;
+    kind?: string | undefined;
+    contentType?: string | undefined;
+    sourceKind?: "manual" | "merge" | "commit" | "doc" | "issue" | undefined;
+    externalSourceType?: string | undefined;
+    tags?: string[] | undefined;
+    touchedPaths?: string[] | undefined;
+    beliefType?: string | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    createQuestionText?: string | undefined;
+    createBeliefText?: string | undefined;
+    linkedBeliefs?: {
+        beliefId: string;
+        weight: number;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | undefined;
+    }[] | undefined;
+}>;
+export type RecordScopeLearningArgs = z.infer<typeof recordScopeLearningArgs>;
+export declare const recordScopeLearningReturns: z.ZodObject<{
+    nodeId: z.ZodEffects<z.ZodString, string, string>;
+    evidenceNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    nodeId: z.ZodEffects<z.ZodString, string, string>;
+    evidenceNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    nodeId: z.ZodEffects<z.ZodString, string, string>;
+    evidenceNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+}, z.ZodTypeAny, "passthrough">>;
+export type RecordScopeLearningReturns = z.infer<typeof recordScopeLearningReturns>;
+export declare const codeContextArgs: z.ZodObject<{
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    filePath: z.ZodOptional<z.ZodString>;
+    includeFailures: z.ZodOptional<z.ZodBoolean>;
+    limit: z.ZodOptional<z.ZodNumber>;
+    status: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status?: string | undefined;
+    topicId?: string | undefined;
+    limit?: number | undefined;
+    filePath?: string | undefined;
+    includeFailures?: boolean | undefined;
+}, {
+    status?: string | undefined;
+    topicId?: string | undefined;
+    limit?: number | undefined;
+    filePath?: string | undefined;
+    includeFailures?: boolean | undefined;
+}>;
+export type CodeContextArgs = z.infer<typeof codeContextArgs>;
+export declare const recordAttemptArgs: z.ZodObject<{
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    description: z.ZodString;
+    errorMessage: z.ZodOptional<z.ZodString>;
+    filePaths: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    filePath: z.ZodOptional<z.ZodString>;
+    linkedBeliefId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    rationale: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    description: string;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    topicId?: string | undefined;
+    rationale?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    filePath?: string | undefined;
+    filePaths?: string[] | undefined;
+    errorMessage?: string | undefined;
+}, {
+    description: string;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    topicId?: string | undefined;
+    rationale?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    filePath?: string | undefined;
+    filePaths?: string[] | undefined;
+    errorMessage?: string | undefined;
+}>;
+export type RecordAttemptArgs = z.infer<typeof recordAttemptArgs>;
 export declare const codingContracts: readonly [{
     name: string;
     kind: import("./types.js").FunctionKind;
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -50,6 +228,7 @@ export declare const codingContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -95,6 +274,7 @@ export declare const codingContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -140,6 +320,7 @@ export declare const codingContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -185,6 +366,7 @@ export declare const codingContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -230,6 +412,7 @@ export declare const codingContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;

package/dist/function-registry/coding.js

@@ -6156,6 +6156,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,
@@ -6314,6 +6315,11 @@ var recordScopeLearningArgs = z.object({
   externalSourceType: z.string().optional().describe("External source type alias."),
   metadata: z.record(z.unknown()).optional().describe("Learning metadata.")
 });
+var recordScopeLearningReturns = z.object({
+  nodeId: uuidV7StringSchema.describe("Canonical evidence node ID."),
+  evidenceNodeId: uuidV7StringSchema.optional().describe("Evidence node ID alias."),
+  id: uuidV7StringSchema.optional().describe("Canonical ID alias.")
+}).passthrough();
 var codeContextArgs = z.object({
   topicId: uuidV7StringSchema.optional().describe("Topic scope."),
   filePath: z.string().optional().describe("File path anchor."),
@@ -6338,48 +6344,65 @@ function finiteNumber(value) {
 function relationFromWeight(weight) {
   return weight < 0 ? "contradicts" : "supports";
 }
+function signedWeightFrom(input) {
+  const explicitWeight = finiteNumber(input.weight);
+  if (explicitWeight !== void 0) {
+    return explicitWeight;
+  }
+  const confidenceMagnitude = finiteNumber(input.confidence);
+  if (confidenceMagnitude === void 0) {
+    return;
+  }
+  const magnitude = Math.max(0, Math.min(1, confidenceMagnitude));
+  return input.relation === "contradicts" || input.relation === "contradicting" ? -magnitude : magnitude;
+}
+function normalizedRelation(relation, signedWeight) {
+  return relation === "supports" || relation === "contradicts" ? relation : relationFromWeight(signedWeight);
+}
+function pushSignedBeliefRelation(relations, seen, input) {
+  if (typeof input.beliefNodeId !== "string" || input.beliefNodeId.length === 0) {
+    return;
+  }
+  const signedWeight = signedWeightFrom(input);
+  if (signedWeight === void 0 || signedWeight === 0) {
+    return;
+  }
+  if (seen.has(input.beliefNodeId)) {
+    return;
+  }
+  seen.add(input.beliefNodeId);
+  relations.push({
+    beliefNodeId: input.beliefNodeId,
+    relation: normalizedRelation(input.relation, signedWeight),
+    weight: signedWeight,
+    ...typeof input.rationale === "string" && input.rationale.length > 0 ? { rationale: input.rationale } : {}
+  });
+}
 function buildSignedBeliefRelations(input) {
   const relations = [];
   const seen = /* @__PURE__ */ new Set();
-  const push = (beliefNodeId, weight, relation, rationale) => {
-    if (typeof beliefNodeId !== "string" || beliefNodeId.length === 0) {
-      return;
-    }
-    const signedWeight = finiteNumber(weight);
-    if (signedWeight === void 0 || signedWeight === 0) {
-      return;
-    }
-    if (seen.has(beliefNodeId)) {
-      return;
-    }
-    seen.add(beliefNodeId);
-    const resolvedRelation = relation === "supports" || relation === "contradicts" ? relation : relationFromWeight(signedWeight);
-    relations.push({
-      beliefNodeId,
-      relation: resolvedRelation,
-      weight: signedWeight,
-      ...typeof rationale === "string" && rationale.length > 0 ? { rationale } : {}
-    });
-  };
+  const push = (relationInput) => pushSignedBeliefRelation(relations, seen, relationInput);
   if (Array.isArray(input.linkedBeliefs)) {
     for (const entry of input.linkedBeliefs) {
       if (entry && typeof entry === "object" && !Array.isArray(entry)) {
         const row = entry;
-        push(
-          row.beliefId ?? row.beliefNodeId ?? row.linkedBeliefNodeId,
-          row.weight ?? row.signedImpact,
-          row.relation ?? row.evidenceRelation,
-          row.rationale
-        );
+        push({
+          beliefNodeId: row.beliefId ?? row.beliefNodeId ?? row.linkedBeliefNodeId,
+          confidence: row.confidence ?? input.confidence,
+          rationale: row.rationale,
+          relation: row.relation ?? row.evidenceRelation,
+          weight: row.weight ?? row.signedImpact
+        });
       }
     }
   }
-  push(
-    input.linkedBeliefNodeId ?? input.beliefId,
-    input.weight ?? input.signedImpact,
-    input.evidenceRelation,
-    input.rationale
-  );
+  push({
+    beliefNodeId: input.linkedBeliefNodeId ?? input.beliefId,
+    confidence: input.confidence,
+    rationale: input.rationale,
+    relation: input.evidenceRelation,
+    weight: input.weight ?? input.signedImpact
+  });
   return relations;
 }
 var learningInput = (input, context) => {
@@ -6462,6 +6485,10 @@ var codingContracts = [
       functionName: "create",
       kind: "mutation",
       inputProjection: learningInput
+    },
+    returns: recordScopeLearningReturns,
+    boundary: {
+      scope: [{ rule: "topic-required" }]
     }
   }),
   surfaceContract({
@@ -6571,4 +6598,4 @@ var codingContracts = [
   })
 ];
 
-export { codingContracts };
+export { codeContextArgs, codingContracts, recordAttemptArgs, recordScopeLearningArgs, recordScopeLearningReturns };

package/dist/function-registry/context.d.ts

@@ -5,6 +5,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -50,6 +51,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -95,6 +97,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -140,6 +143,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -185,6 +189,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -230,6 +235,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -275,6 +281,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -320,6 +327,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -365,6 +373,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;

package/dist/function-registry/context.js

@@ -6156,6 +6156,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,