@lucern/contracts 1.0.55 → 1.0.56

package/dist/function-registry/worktrees.js

@@ -5904,6 +5904,76 @@ var WORKTREE_TYPE_VALUES = [
 ({
   topic_type: new Set(TOPIC_TYPE_VALUES),
   worktree_type: new Set(WORKTREE_TYPE_VALUES)});
+var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
+var EVIDENCE_METHODOLOGY_VALUES = [
+  "primary_research",
+  "expert_interview",
+  "customer_interview",
+  "field_observation",
+  "proprietary_data",
+  "desk_research",
+  "regulatory_filing",
+  "news_article",
+  "academic_paper",
+  "ai_synthesis",
+  "ai_extraction"
+];
+var EVIDENCE_INFORMATION_ASYMMETRY_VALUES = [
+  "proprietary",
+  "early",
+  "common"
+];
+var EVIDENCE_SOURCE_QUALITY_VALUES = [
+  "primary",
+  "analyzed",
+  "secondary",
+  "tertiary",
+  "unknown"
+];
+var EVIDENCE_SOURCE_TYPE_VALUES = [
+  "human",
+  "ai_extracted",
+  "ai_generated",
+  "imported",
+  "system",
+  "verified",
+  "proprietary"
+];
+var EVIDENCE_SCORING_DIMENSIONS = [
+  "signedImpact",
+  "evidenceRelation",
+  "sourceQuality",
+  "methodology",
+  "informationAsymmetry",
+  "sourceRef",
+  "targetBeliefId",
+  "verificationStatus"
+];
+z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
+z.enum(EVIDENCE_METHODOLOGY_VALUES);
+z.enum(
+  EVIDENCE_INFORMATION_ASYMMETRY_VALUES
+);
+z.enum(
+  EVIDENCE_SOURCE_QUALITY_VALUES
+);
+z.enum(EVIDENCE_SOURCE_TYPE_VALUES);
+z.enum(
+  EVIDENCE_SCORING_DIMENSIONS
+);
+
+// src/schema-helpers/evidenceAdmission.ts
+new Set(EVIDENCE_KIND_VALUES);
+new Set(EVIDENCE_SOURCE_TYPE_VALUES);
 
 // src/function-registry/helpers.ts
 var jsonObjectSchema = z.record(z.unknown());

package/dist/index.js

@@ -11466,6 +11466,14 @@ var DATA_MODEL_MANIFEST_SURFACE_COMPOSITION_KEYS = DATA_MODEL_MANIFEST_SKELETON.
   (surface2) => surface2.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -11519,6 +11527,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 var EvidenceRelationSchema = z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 var EvidenceMethodologySchema = z.enum(EVIDENCE_METHODOLOGY_VALUES);
 var EvidenceInformationAsymmetrySchema = z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES
@@ -29485,6 +29494,10 @@ var DOMAIN_EVENT_TYPES = [
   "task.updated",
   "ontology.bound",
   "context.compiled",
+  "context.compile_failed",
+  "graph.mutation_written",
+  "admission.refused",
+  "worktree.session_closed",
   "identity.key_created",
   "identity.key_rotated",
   "identity.key_revoked",

package/dist/projections/check-convex-args-shape.js

@@ -6043,6 +6043,14 @@ DATA_MODEL_MANIFEST_SKELETON.surfaces.map(
   (surface) => surface.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -6096,6 +6104,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 z.enum(EVIDENCE_METHODOLOGY_VALUES);
 z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES

package/dist/projections/create-evidence.projection.js

@@ -5900,6 +5900,14 @@ DATA_MODEL_MANIFEST_SKELETON.surfaces.map(
   (surface) => surface.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -5953,6 +5961,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 z.enum(EVIDENCE_METHODOLOGY_VALUES);
 z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES

package/dist/projections/index.js

@@ -6043,6 +6043,14 @@ DATA_MODEL_MANIFEST_SKELETON.surfaces.map(
   (surface) => surface.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -6096,6 +6104,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 z.enum(EVIDENCE_METHODOLOGY_VALUES);
 z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES

package/dist/proof-attestation.json

@@ -41,5 +41,5 @@
     "convex-validators",
     "proof-attestation"
   ],
-  "signedAt": 1782826831970
+  "signedAt": 1782994689967
 }

package/dist/schema-helpers/evidenceAdmission.d.ts

@@ -0,0 +1,8 @@
+import { type EvidenceKind, type EvidenceRelation, type EvidenceSourceType } from "../types/evidence-taxonomy-target-scope.js";
+export { EVIDENCE_KIND_VALUES, EVIDENCE_RELATION_VALUES, EVIDENCE_SOURCE_TYPE_VALUES, type EvidenceKind, type EvidenceRelation, type EvidenceSourceType, } from "../types/evidence-taxonomy-target-scope.js";
+export declare function assertEvidenceSignedWeight(value: unknown, context: string): number;
+export declare function evidenceRelationFromSignedWeight(weight: number): EvidenceRelation;
+export declare function assertEvidenceRelationMatchesSignedWeight(relation: EvidenceRelation, weight: number, context: string): void;
+export declare function normalizeEvidenceRelationForSignedWeight(relation: unknown, weight: number, context?: string): EvidenceRelation;
+export declare function normalizeEvidenceKind(kind: string | undefined, context?: string): EvidenceKind;
+export declare function normalizeEvidenceSourceType(sourceType: string | undefined, context?: string): EvidenceSourceType;

package/dist/schema-helpers/evidenceAdmission.js

@@ -0,0 +1,167 @@
+import { z } from 'zod';
+import { ConvexError } from 'convex/values';
+
+// src/types/evidence-taxonomy-target-scope.ts
+var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
+var EVIDENCE_METHODOLOGY_VALUES = [
+  "primary_research",
+  "expert_interview",
+  "customer_interview",
+  "field_observation",
+  "proprietary_data",
+  "desk_research",
+  "regulatory_filing",
+  "news_article",
+  "academic_paper",
+  "ai_synthesis",
+  "ai_extraction"
+];
+var EVIDENCE_INFORMATION_ASYMMETRY_VALUES = [
+  "proprietary",
+  "early",
+  "common"
+];
+var EVIDENCE_SOURCE_QUALITY_VALUES = [
+  "primary",
+  "analyzed",
+  "secondary",
+  "tertiary",
+  "unknown"
+];
+var EVIDENCE_SOURCE_TYPE_VALUES = [
+  "human",
+  "ai_extracted",
+  "ai_generated",
+  "imported",
+  "system",
+  "verified",
+  "proprietary"
+];
+var EVIDENCE_SCORING_DIMENSIONS = [
+  "signedImpact",
+  "evidenceRelation",
+  "sourceQuality",
+  "methodology",
+  "informationAsymmetry",
+  "sourceRef",
+  "targetBeliefId",
+  "verificationStatus"
+];
+z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
+z.enum(EVIDENCE_METHODOLOGY_VALUES);
+z.enum(
+  EVIDENCE_INFORMATION_ASYMMETRY_VALUES
+);
+z.enum(
+  EVIDENCE_SOURCE_QUALITY_VALUES
+);
+z.enum(EVIDENCE_SOURCE_TYPE_VALUES);
+z.enum(
+  EVIDENCE_SCORING_DIMENSIONS
+);
+function throwStructuredMutationError(args) {
+  const data = {
+    structuredMutationError: true,
+    message: args.message,
+    status: args.status,
+    code: args.code,
+    invariantCode: args.invariantCode,
+    suggestion: args.suggestion,
+    details: args.details
+  };
+  const error = new ConvexError(
+    data
+  );
+  error.status = args.status;
+  error.code = args.code;
+  error.invariantCode = args.invariantCode;
+  error.suggestion = args.suggestion;
+  error.details = args.details;
+  throw error;
+}
+
+// src/schema-helpers/evidenceAdmission.ts
+var EVIDENCE_KIND_SET = new Set(EVIDENCE_KIND_VALUES);
+var EVIDENCE_SOURCE_TYPE_SET = new Set(EVIDENCE_SOURCE_TYPE_VALUES);
+function assertEvidenceSignedWeight(value, context) {
+  if (typeof value !== "number" || !Number.isFinite(value) || value === 0 || value < -1 || value > 1) {
+    throw new Error(`${context} requires explicit nonzero weight in [-1, 1]`);
+  }
+  return value;
+}
+function evidenceRelationFromSignedWeight(weight) {
+  return weight < 0 ? "contradicts" : "supports";
+}
+function assertEvidenceRelationMatchesSignedWeight(relation, weight, context) {
+  if (relation === "supports" && weight < 0) {
+    throw new Error(`${context} relation supports requires positive weight`);
+  }
+  if (relation === "contradicts" && weight > 0) {
+    throw new Error(`${context} relation contradicts requires negative weight`);
+  }
+}
+function normalizeEvidenceRelationForSignedWeight(relation, weight, context = "Evidence relation") {
+  if (relation === "supports" || relation === "contradicts") {
+    assertEvidenceRelationMatchesSignedWeight(relation, weight, context);
+    return relation;
+  }
+  return evidenceRelationFromSignedWeight(weight);
+}
+function normalizeEvidenceEnumText(value) {
+  return value.trim().toLowerCase();
+}
+function throwEvidenceTaxonomyEnumRefusal(args) {
+  throwStructuredMutationError({
+    status: 400,
+    code: "INVALID_INPUT",
+    message: `[${args.context}] Invalid evidence ${args.field} "${args.value}".`,
+    invariantCode: "evidence.taxonomy_enum",
+    suggestion: `Valid evidence ${args.field} values: ${args.allowed.join(", ")}.`,
+    details: {
+      field: args.field,
+      value: args.value,
+      allowed: args.allowed
+    }
+  });
+}
+function normalizeEvidenceKind(kind, context = "evidence.kind") {
+  if (typeof kind !== "string" || kind.trim().length === 0) {
+    return "observation";
+  }
+  const normalized = normalizeEvidenceEnumText(kind);
+  if (EVIDENCE_KIND_SET.has(normalized)) {
+    return normalized;
+  }
+  throwEvidenceTaxonomyEnumRefusal({
+    field: "kind",
+    value: normalized,
+    allowed: EVIDENCE_KIND_VALUES,
+    context
+  });
+}
+function normalizeEvidenceSourceType(sourceType, context = "evidence.sourceType") {
+  if (typeof sourceType !== "string" || sourceType.trim().length === 0) {
+    return "ai_generated";
+  }
+  const normalized = normalizeEvidenceEnumText(sourceType);
+  if (EVIDENCE_SOURCE_TYPE_SET.has(normalized)) {
+    return normalized;
+  }
+  throwEvidenceTaxonomyEnumRefusal({
+    field: "sourceType",
+    value: normalized,
+    allowed: EVIDENCE_SOURCE_TYPE_VALUES,
+    context
+  });
+}
+
+export { EVIDENCE_KIND_VALUES, EVIDENCE_RELATION_VALUES, EVIDENCE_SOURCE_TYPE_VALUES, assertEvidenceRelationMatchesSignedWeight, assertEvidenceSignedWeight, evidenceRelationFromSignedWeight, normalizeEvidenceKind, normalizeEvidenceRelationForSignedWeight, normalizeEvidenceSourceType };

package/dist/schemas/index.js

@@ -9985,6 +9985,14 @@ DATA_MODEL_MANIFEST_SKELETON.surfaces.map(
   (surface) => surface.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -10038,6 +10046,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 z.enum(EVIDENCE_METHODOLOGY_VALUES);
 z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES

package/dist/schemas/manifest.js

@@ -9966,6 +9966,14 @@ DATA_MODEL_MANIFEST_SKELETON.surfaces.map(
   (surface) => surface.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -10019,6 +10027,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 z.enum(EVIDENCE_METHODOLOGY_VALUES);
 z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES

package/dist/schemas/tables/kernel/spine.js

@@ -5904,6 +5904,14 @@ DATA_MODEL_MANIFEST_SKELETON.surfaces.map(
   (surface) => surface.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -5957,6 +5965,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 z.enum(EVIDENCE_METHODOLOGY_VALUES);
 z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES

package/dist/schemas.values.js

@@ -9985,6 +9985,14 @@ DATA_MODEL_MANIFEST_SKELETON.surfaces.map(
   (surface) => surface.compositionEmitted
 );
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -10038,6 +10046,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 z.enum(EVIDENCE_RELATION_VALUES);
+z.enum(EVIDENCE_KIND_VALUES);
 z.enum(EVIDENCE_METHODOLOGY_VALUES);
 z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES

package/dist/types/evidence-taxonomy-target-scope.d.ts

@@ -1,5 +1,6 @@
 import { z } from "zod";
 export declare const EVIDENCE_RELATION_VALUES: readonly ["supports", "contradicts"];
+export declare const EVIDENCE_KIND_VALUES: readonly ["fact", "observation", "claim", "quote", "statistic", "signal"];
 export declare const EVIDENCE_METHODOLOGY_VALUES: readonly ["primary_research", "expert_interview", "customer_interview", "field_observation", "proprietary_data", "desk_research", "regulatory_filing", "news_article", "academic_paper", "ai_synthesis", "ai_extraction"];
 export declare const EVIDENCE_INFORMATION_ASYMMETRY_VALUES: readonly ["proprietary", "early", "common"];
 export declare const EVIDENCE_SOURCE_QUALITY_VALUES: readonly ["primary", "analyzed", "secondary", "tertiary", "unknown"];
@@ -7,6 +8,7 @@ export declare const EVIDENCE_SOURCE_TYPE_VALUES: readonly ["human", "ai_extract
 export declare const EVIDENCE_SCORING_DIMENSIONS: readonly ["signedImpact", "evidenceRelation", "sourceQuality", "methodology", "informationAsymmetry", "sourceRef", "targetBeliefId", "verificationStatus"];
 export declare const EVIDENCE_TAXONOMY_REFUSAL_IDS: readonly ["orphan_evidence_create_refused", "non_belief_create_target_refused", "zero_signed_impact_refused", "relation_signed_impact_mismatch_refused", "unscoped_list_evidence_refused", "metadata_scoring_plan_refused"];
 export type EvidenceRelation = (typeof EVIDENCE_RELATION_VALUES)[number];
+export type EvidenceKind = (typeof EVIDENCE_KIND_VALUES)[number];
 export type EvidenceMethodology = (typeof EVIDENCE_METHODOLOGY_VALUES)[number];
 export type EvidenceInformationAsymmetry = (typeof EVIDENCE_INFORMATION_ASYMMETRY_VALUES)[number];
 export type EvidenceSourceQuality = (typeof EVIDENCE_SOURCE_QUALITY_VALUES)[number];
@@ -14,6 +16,7 @@ export type EvidenceSourceType = (typeof EVIDENCE_SOURCE_TYPE_VALUES)[number];
 export type EvidenceScoringDimension = (typeof EVIDENCE_SCORING_DIMENSIONS)[number];
 export type EvidenceTaxonomyRefusalId = (typeof EVIDENCE_TAXONOMY_REFUSAL_IDS)[number];
 export declare const EvidenceRelationSchema: z.ZodEnum<["supports", "contradicts"]>;
+export declare const EvidenceKindSchema: z.ZodEnum<["fact", "observation", "claim", "quote", "statistic", "signal"]>;
 export declare const EvidenceMethodologySchema: z.ZodEnum<["primary_research", "expert_interview", "customer_interview", "field_observation", "proprietary_data", "desk_research", "regulatory_filing", "news_article", "academic_paper", "ai_synthesis", "ai_extraction"]>;
 export declare const EvidenceInformationAsymmetrySchema: z.ZodEnum<["proprietary", "early", "common"]>;
 export declare const EvidenceSourceQualitySchema: z.ZodEnum<["primary", "analyzed", "secondary", "tertiary", "unknown"]>;

package/dist/types/evidence-taxonomy-target-scope.js

@@ -2,6 +2,14 @@ import { z } from 'zod';
 
 // src/types/evidence-taxonomy-target-scope.ts
 var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
+var EVIDENCE_KIND_VALUES = [
+  "fact",
+  "observation",
+  "claim",
+  "quote",
+  "statistic",
+  "signal"
+];
 var EVIDENCE_METHODOLOGY_VALUES = [
   "primary_research",
   "expert_interview",
@@ -55,6 +63,7 @@ var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
   "metadata_scoring_plan_refused"
 ];
 var EvidenceRelationSchema = z.enum(EVIDENCE_RELATION_VALUES);
+var EvidenceKindSchema = z.enum(EVIDENCE_KIND_VALUES);
 var EvidenceMethodologySchema = z.enum(EVIDENCE_METHODOLOGY_VALUES);
 var EvidenceInformationAsymmetrySchema = z.enum(
   EVIDENCE_INFORMATION_ASYMMETRY_VALUES
@@ -67,4 +76,4 @@ var EvidenceScoringDimensionSchema = z.enum(
   EVIDENCE_SCORING_DIMENSIONS
 );
 
-export { EVIDENCE_INFORMATION_ASYMMETRY_VALUES, EVIDENCE_METHODOLOGY_VALUES, EVIDENCE_RELATION_VALUES, EVIDENCE_SCORING_DIMENSIONS, EVIDENCE_SOURCE_QUALITY_VALUES, EVIDENCE_SOURCE_TYPE_VALUES, EVIDENCE_TAXONOMY_REFUSAL_IDS, EvidenceInformationAsymmetrySchema, EvidenceMethodologySchema, EvidenceRelationSchema, EvidenceScoringDimensionSchema, EvidenceSourceQualitySchema, EvidenceSourceTypeSchema };
+export { EVIDENCE_INFORMATION_ASYMMETRY_VALUES, EVIDENCE_KIND_VALUES, EVIDENCE_METHODOLOGY_VALUES, EVIDENCE_RELATION_VALUES, EVIDENCE_SCORING_DIMENSIONS, EVIDENCE_SOURCE_QUALITY_VALUES, EVIDENCE_SOURCE_TYPE_VALUES, EVIDENCE_TAXONOMY_REFUSAL_IDS, EvidenceInformationAsymmetrySchema, EvidenceKindSchema, EvidenceMethodologySchema, EvidenceRelationSchema, EvidenceScoringDimensionSchema, EvidenceSourceQualitySchema, EvidenceSourceTypeSchema };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lucern/contracts",
-  "version": "1.0.55",
+  "version": "1.0.56",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",