@lucern/sdk 0.2.0-alpha.5 → 0.2.0-alpha.7

package/dist/lucern/contracts/src/api-enums.contract.d.ts

@@ -1,58 +0,0 @@
-/**
- * API Enum Contract Definitions
- *
- * Canonical enum values for all API-facing enumerations.
- * These are co-equal with MCP contracts as external contracts.
- * SDK types are DERIVED from these — not independently authored.
- *
- * CONTRACT SURFACE: Adding a new enum value is additive (non-breaking).
- * Removing or renaming an existing value is a BREAKING CHANGE.
- */
-/** Fork reasons — why a scored belief was branched */
-export declare const FORK_REASONS: readonly ["refinement", "contradiction_response", "scope_change", "confidence_collapse", "manual"];
-export type ForkReason = (typeof FORK_REASONS)[number];
-/** Confidence modulation triggers — what caused a confidence change */
-export declare const CONFIDENCE_TRIGGERS: readonly ["evidence_added", "contradiction_detected", "merge_outcome", "manual", "decay"];
-export type ConfidenceTrigger = (typeof CONFIDENCE_TRIGGERS)[number];
-/** Belief status — lifecycle state */
-export declare const BELIEF_STATUSES: readonly ["unscored", "scored", "archived"];
-export type BeliefStatus = (typeof BELIEF_STATUSES)[number];
-/** Reasoning methods — how an edge relationship was determined */
-export declare const REASONING_METHODS: readonly ["deductive", "inductive", "abductive", "analogical", "empirical"];
-export type ReasoningMethod = (typeof REASONING_METHODS)[number];
-/** Defeat types (Pollock taxonomy) — how a contradiction operates */
-export declare const DEFEAT_TYPES: readonly ["rebuts", "undercuts", "undermines"];
-export type DefeatType = (typeof DEFEAT_TYPES)[number];
-/** Contradiction severity levels */
-export declare const CONTRADICTION_SEVERITIES: readonly ["low", "medium", "high", "critical"];
-export type ContradictionSeverity = (typeof CONTRADICTION_SEVERITIES)[number];
-/** Contradiction resolution status */
-export declare const CONTRADICTION_STATUSES: readonly ["unresolved", "resolved", "accepted"];
-export type ContradictionStatus = (typeof CONTRADICTION_STATUSES)[number];
-/** Merge outcome types — how a worktree merge resolved */
-export declare const MERGE_OUTCOMES: readonly ["validated", "invalidated", "forked", "inconclusive"];
-export type MergeOutcome = (typeof MERGE_OUTCOMES)[number];
-/** Worktree phases — investigation lifecycle within a checked-out worktree */
-export declare const WORKTREE_PHASES: readonly ["hypothesis", "investigation", "evaluation", "resolution"];
-export type WorktreePhase = (typeof WORKTREE_PHASES)[number];
-/** Branch status — thematic branch lifecycle */
-export declare const BRANCH_STATUSES: readonly ["dormant", "active", "archived"];
-export type BranchStatus = (typeof BRANCH_STATUSES)[number];
-/** Pull request status — review lifecycle before merge */
-export declare const PULL_REQUEST_STATUSES: readonly ["pending_review", "changes_requested", "approved", "blocked"];
-export type PullRequestStatus = (typeof PULL_REQUEST_STATUSES)[number];
-/** Epistemic layers — the hierarchy of knowledge */
-export declare const EPISTEMIC_LAYERS: readonly ["L1", "L2", "L3", "L4"];
-export type EpistemicLayer = (typeof EPISTEMIC_LAYERS)[number];
-/**
- * Judgment type — classification of the determination.
- *
- * Phase 1: These are new enum values for the Judgment (L4) vocabulary.
- * The existing code uses "Decision" — these are the forward-looking terms
- * that will eventually replace the Decision vocabulary (Phase 2-3).
- */
-export declare const JUDGMENT_TYPES: readonly ["investment_thesis", "thesis_maturity", "contradiction_ruling", "scope_determination", "confidence_ruling"];
-export type JudgmentType = (typeof JUDGMENT_TYPES)[number];
-/** Core edge types used in the Integration Surfaces */
-export declare const INTEGRATION_EDGE_TYPES: readonly ["informs", "grounds", "answers", "contradicts", "supports", "depends_on", "derived_from", "contains", "supersedes", "tests"];
-export type IntegrationEdgeType = (typeof INTEGRATION_EDGE_TYPES)[number];

package/dist/lucern/contracts/src/api-enums.contract.js

@@ -1,147 +0,0 @@
-/**
- * API Enum Contract Definitions
- *
- * Canonical enum values for all API-facing enumerations.
- * These are co-equal with MCP contracts as external contracts.
- * SDK types are DERIVED from these — not independently authored.
- *
- * CONTRACT SURFACE: Adding a new enum value is additive (non-breaking).
- * Removing or renaming an existing value is a BREAKING CHANGE.
- */
-// =============================================================================
-// BELIEF ENUMS
-// =============================================================================
-/** Fork reasons — why a scored belief was branched */
-export const FORK_REASONS = [
-    "refinement", // Belief text evolved based on new understanding
-    "contradiction_response", // Created in response to a detected contradiction
-    "scope_change", // Belief scope narrowed or broadened
-    "confidence_collapse", // Confidence dropped below viability threshold
-    "manual", // User-initiated fork without specific trigger
-];
-/** Confidence modulation triggers — what caused a confidence change */
-export const CONFIDENCE_TRIGGERS = [
-    "evidence_added", // New evidence bore on the belief
-    "contradiction_detected", // A contradiction was flagged involving this belief
-    "merge_outcome", // Merge scoring determined this confidence
-    "manual", // User manually adjusted confidence
-    "decay", // Time-based confidence erosion
-];
-/** Belief status — lifecycle state */
-export const BELIEF_STATUSES = [
-    "unscored", // Draft — editable in worktree (on feature branch, pre-merge)
-    "scored", // Merged — formulation frozen (merged to main)
-    "archived", // Soft-deleted — preserved in history (git rm)
-];
-// =============================================================================
-// EDGE ENUMS
-// =============================================================================
-/** Reasoning methods — how an edge relationship was determined */
-export const REASONING_METHODS = [
-    "deductive", // Logically entailed
-    "inductive", // Generalized from instances
-    "abductive", // Best explanation inference
-    "analogical", // Reasoning by analogy
-    "empirical", // Direct observation/measurement
-];
-/** Defeat types (Pollock taxonomy) — how a contradiction operates */
-export const DEFEAT_TYPES = [
-    "rebuts", // Direct contradiction — reasons for the negation
-    "undercuts", // Breaks the inference link between evidence and belief
-    "undermines", // Attacks a premise the belief depends on
-];
-/** Contradiction severity levels */
-export const CONTRADICTION_SEVERITIES = [
-    "low", // Minor tension, may not require action
-    "medium", // Moderate conflict, should be investigated
-    "high", // Significant contradiction, likely needs resolution
-    "critical", // Blocks progress — must be addressed before judgment
-];
-/** Contradiction resolution status */
-export const CONTRADICTION_STATUSES = [
-    "unresolved", // Open conflict — may persist indefinitely
-    "resolved", // Conflict addressed (one belief forked, archived, or confidence adjusted)
-    "accepted", // Explicitly accepted as irreconcilable — both beliefs maintained
-];
-// =============================================================================
-// WORKTREE ENUMS (git worktree lifecycle)
-// =============================================================================
-/** Merge outcome types — how a worktree merge resolved */
-export const MERGE_OUTCOMES = [
-    "validated", // Beliefs confirmed — clean merge to main
-    "invalidated", // Defeat recorded — confidence collapsed (merge with revert)
-    "forked", // Beliefs split into competing versions (fork from merge point)
-    "inconclusive", // Insufficient evidence — stashed (git stash)
-];
-/** Worktree phases — investigation lifecycle within a checked-out worktree */
-export const WORKTREE_PHASES = [
-    "hypothesis", // Form testable claims (write the code — commits)
-    "investigation", // Collect evidence (run the tests — more commits)
-    "evaluation", // Update credences (review the results — amend as needed)
-    "resolution", // Determine outcome (merge to main, fork, or stash)
-];
-// =============================================================================
-// BRANCH ENUMS (git branch lifecycle)
-// =============================================================================
-/** Branch status — thematic branch lifecycle */
-export const BRANCH_STATUSES = [
-    "dormant", // Branch exists but no active worktree (no one investigating)
-    "active", // At least one worktree is investigating this branch
-    "archived", // Branch retired — no longer a relevant thematic container
-];
-// =============================================================================
-// PULL REQUEST ENUMS (git pull request lifecycle)
-// =============================================================================
-/** Pull request status — review lifecycle before merge */
-export const PULL_REQUEST_STATUSES = [
-    "pending_review", // PR opened — awaiting reviewer feedback
-    "changes_requested", // Reviewer requests changes before merge
-    "approved", // Approved — ready to merge
-    "blocked", // Blocked — cannot merge until contradiction is resolved
-];
-// =============================================================================
-// LAYER ENUMS
-// =============================================================================
-/** Epistemic layers — the hierarchy of knowledge */
-export const EPISTEMIC_LAYERS = [
-    "L1", // Source — the given (vendored deps)
-    "L2", // Evidence — the interpreted (test suite)
-    "L3", // Belief — the structural (source files)
-    "L4", // Judgment — the committed (release tags)
-];
-// =============================================================================
-// JUDGMENT ENUMS (Phase 1: new vocabulary)
-// =============================================================================
-/**
- * Judgment type — classification of the determination.
- *
- * Phase 1: These are new enum values for the Judgment (L4) vocabulary.
- * The existing code uses "Decision" — these are the forward-looking terms
- * that will eventually replace the Decision vocabulary (Phase 2-3).
- */
-export const JUDGMENT_TYPES = [
-    "investment_thesis", // Judgment on an investment opportunity
-    "thesis_maturity", // Judgment that a thesis is ready for IC presentation
-    "contradiction_ruling", // Judgment on how to handle an irreconcilable contradiction
-    "scope_determination", // Judgment that defines or redefines investigation scope
-    "confidence_ruling", // Judgment that overrides automated confidence for policy reasons
-];
-// =============================================================================
-// SUPPORT RELATION ENUMS
-// =============================================================================
-/** Core edge types used in the Integration Surfaces */
-export const INTEGRATION_EDGE_TYPES = [
-    // Support relations
-    "informs", // Evidence bears on a belief (weight = direction/strength)
-    "grounds", // Source provides raw basis for evidence
-    "answers", // Evidence or belief resolves a question
-    // Defeat relations (Pollock) — weight carries direction
-    "contradicts", // Rebuts — direct contradiction
-    "supports", // Weight carries valence (negative = weakens/undercuts)
-    // Structural relations
-    "depends_on", // Belief B requires Belief A
-    "derived_from", // Provenance lineage
-    "contains", // Hierarchical containment
-    "supersedes", // New version replaces old (lineage)
-    "tests", // Question tests a belief
-];

package/dist/lucern/contracts/src/lens-filter.contract.d.ts

@@ -1,70 +0,0 @@
-/**
- * Lens Filter Criteria Contract
- *
- * Version-discriminated filter DSL for lenses. Each filter criteria document
- * carries a `version` and `kind` discriminator so future shapes can coexist
- * without schema migrations. The Convex `filterCriteria` field remains v.any()
- * — all type enforcement happens here at the TypeScript contract layer.
- *
- * Forward-compatibility guarantees:
- * - `version` field: new versions add fields, never remove or rename existing ones
- * - `kind` field: new filter kinds (temporal, confidence-range) can be added
- *   without touching taxonomy code paths
- * - `entityTypeFilters` array items are open to extension in future versions
- * - Resolution logic switches on `version` + `kind` to select the right resolver
- *
- * @module lucern/contracts/src/lens-filter
- */
-/**
- * A single entity type filter entry. Matches nodes whose `nodeType` equals
- * `entityTypeValue`, optionally further narrowed by subtype membership.
- *
- * V2 will add `propertyMatchers` here for arbitrary JSON Schema facet queries.
- */
-export type EntityTypeFilterV1 = {
-    /** References ontologyVersion.entityTypes[].value, e.g. "company" */
-    entityTypeValue: string;
-    /** Optional subtype narrowing. If omitted or empty, all subtypes match. */
-    subtypeValues?: string[];
-};
-/**
- * Optional scope to restrict which ontology the filter resolves against.
- * If omitted, resolution uses whatever ontology is active in the workspace.
- */
-export type OntologyScope = {
-    /** Restrict to a specific ontology by key, e.g. "vc-investment" */
-    ontologyKey?: string;
-};
-/**
- * Taxonomy filter criteria v1: entity type + subtype matching over ontology.
- */
-export type TaxonomyFilterCriteriaV1 = {
-    version: 1;
-    kind: "taxonomy";
-    entityTypeFilters: EntityTypeFilterV1[];
-    ontologyScope?: OntologyScope;
-};
-/**
- * Discriminated union of all supported filter criteria.
- * Resolution logic switches on `version` + `kind`.
- *
- * To add a new filter kind:
- *   1. Define a new type (e.g., TemporalFilterCriteriaV1)
- *   2. Add it to this union
- *   3. Add a resolver in taxonomy-filter.ts
- *   4. No schema migration needed — filterCriteria is v.any()
- */
-export type LensFilterCriteria = TaxonomyFilterCriteriaV1;
-export declare function isLensFilterCriteria(value: unknown): value is LensFilterCriteria;
-export declare function isTaxonomyFilterCriteriaV1(value: unknown): value is TaxonomyFilterCriteriaV1;
-export type FilterValidationResult = {
-    valid: true;
-} | {
-    valid: false;
-    errors: string[];
-};
-/**
- * Validate a filter criteria document at the contract layer.
- * This runs before persisting to Convex.
- */
-export declare function validateFilterCriteria(value: unknown): FilterValidationResult;

package/dist/lucern/contracts/src/lens-filter.contract.js

@@ -1,95 +0,0 @@
-/**
- * Lens Filter Criteria Contract
- *
- * Version-discriminated filter DSL for lenses. Each filter criteria document
- * carries a `version` and `kind` discriminator so future shapes can coexist
- * without schema migrations. The Convex `filterCriteria` field remains v.any()
- * — all type enforcement happens here at the TypeScript contract layer.
- *
- * Forward-compatibility guarantees:
- * - `version` field: new versions add fields, never remove or rename existing ones
- * - `kind` field: new filter kinds (temporal, confidence-range) can be added
- *   without touching taxonomy code paths
- * - `entityTypeFilters` array items are open to extension in future versions
- * - Resolution logic switches on `version` + `kind` to select the right resolver
- *
- * @module lucern/contracts/src/lens-filter
- */
-// Future: | TemporalFilterCriteriaV1 | ConfidenceRangeFilterCriteriaV1 | ...
-// ---------------------------------------------------------------------------
-// Type guards
-// ---------------------------------------------------------------------------
-export function isLensFilterCriteria(value) {
-    if (!value || typeof value !== "object")
-        return false;
-    const obj = value;
-    return typeof obj.version === "number" && typeof obj.kind === "string";
-}
-export function isTaxonomyFilterCriteriaV1(value) {
-    if (!isLensFilterCriteria(value))
-        return false;
-    return value.version === 1 && value.kind === "taxonomy";
-}
-/**
- * Validate a filter criteria document at the contract layer.
- * This runs before persisting to Convex.
- */
-export function validateFilterCriteria(value) {
-    if (value === undefined || value === null) {
-        return { valid: true }; // filterCriteria is optional
-    }
-    if (!isLensFilterCriteria(value)) {
-        return {
-            valid: false,
-            errors: [
-                'filterCriteria must have numeric "version" and string "kind" fields',
-            ],
-        };
-    }
-    if (isTaxonomyFilterCriteriaV1(value)) {
-        return validateTaxonomyFilterV1(value);
-    }
-    // Cast to access properties — TypeScript narrows to `never` when all union
-    // members are exhausted, but at runtime unknown version/kind combos are possible.
-    const raw = value;
-    return {
-        valid: false,
-        errors: [
-            `Unsupported filter criteria: version=${raw.version}, kind=${raw.kind}`,
-        ],
-    };
-}
-function validateTaxonomyFilterV1(criteria) {
-    const errors = [];
-    if (!Array.isArray(criteria.entityTypeFilters)) {
-        errors.push("entityTypeFilters must be an array");
-        return { valid: false, errors };
-    }
-    if (criteria.entityTypeFilters.length === 0) {
-        errors.push("entityTypeFilters must contain at least one entry");
-        return { valid: false, errors };
-    }
-    for (let i = 0; i < criteria.entityTypeFilters.length; i++) {
-        const filter = criteria.entityTypeFilters[i];
-        if (!filter || typeof filter.entityTypeValue !== "string") {
-            errors.push(`entityTypeFilters[${i}].entityTypeValue must be a non-empty string`);
-            continue;
-        }
-        if (filter.entityTypeValue.trim().length === 0) {
-            errors.push(`entityTypeFilters[${i}].entityTypeValue must be a non-empty string`);
-        }
-        if (filter.subtypeValues !== undefined &&
-            !Array.isArray(filter.subtypeValues)) {
-            errors.push(`entityTypeFilters[${i}].subtypeValues must be an array`);
-        }
-    }
-    if (criteria.ontologyScope !== undefined) {
-        if (typeof criteria.ontologyScope !== "object" ||
-            criteria.ontologyScope === null) {
-            errors.push("ontologyScope must be an object");
-        }
-    }
-    return errors.length === 0
-        ? { valid: true }
-        : { valid: false, errors };
-}

package/dist/lucern/contracts/src/lens-workflow.contract.d.ts

@@ -1,84 +0,0 @@
-/**
- * Canonical lens workflow contract shared across schema, SDK, and MCP surfaces.
- */
-export type { LensFilterCriteria, TaxonomyFilterCriteriaV1, EntityTypeFilterV1, OntologyScope, FilterValidationResult, } from "./lens-filter.contract";
-export { validateFilterCriteria, isLensFilterCriteria, isTaxonomyFilterCriteriaV1, } from "./lens-filter.contract";
-export declare const LENS_PERSPECTIVE_TYPES: readonly ["investigation", "monitoring", "analysis", "comparison", "taxonomy"];
-export type LensPerspectiveType = (typeof LENS_PERSPECTIVE_TYPES)[number];
-export declare const LENS_STATUSES: readonly ["draft", "active", "archived"];
-export type LensStatus = (typeof LENS_STATUSES)[number];
-export declare const LENS_TASK_TEMPLATE_PRIORITIES: readonly ["critical", "high", "medium", "low"];
-export type LensTaskTemplatePriority = (typeof LENS_TASK_TEMPLATE_PRIORITIES)[number];
-export type LensLooseMetadata = Record<string, unknown>;
-export type LensPromptTemplateReference = {
-    key: string;
-    promptRef: string;
-    phase?: string;
-    role?: string;
-    version?: string;
-    required?: boolean;
-    metadata?: LensLooseMetadata;
-};
-export type LensWorkflowStepTemplate = {
-    key: string;
-    title: string;
-    description?: string;
-    promptTemplateKey?: string;
-    taskTemplateKeys?: string[];
-    metadata?: LensLooseMetadata;
-};
-export type LensWorkflowTemplate = {
-    key: string;
-    name: string;
-    description?: string;
-    steps: LensWorkflowStepTemplate[];
-    metadata?: LensLooseMetadata;
-};
-export type LensTaskTemplate = {
-    key: string;
-    title: string;
-    description?: string;
-    priority?: LensTaskTemplatePriority;
-    phase?: string;
-    metadata?: LensLooseMetadata;
-};
-export type LensQuestionTemplate = {
-    key: string;
-    text: string;
-    priority?: LensTaskTemplatePriority;
-    linkedBeliefKey?: string;
-    metadata?: LensLooseMetadata;
-};
-export type LensBranchMigrationSuggestion = {
-    recommendedTool: "create_lens";
-    perspectiveType: LensPerspectiveType;
-    message: string;
-    suggestedPayload: {
-        name: string;
-        description?: string;
-        topicId?: string;
-        workspaceId?: string;
-        perspectiveType: LensPerspectiveType;
-    };
-};
-export declare const BRANCH_DEPRECATION_MESSAGE = "Branches are deprecated for operational framing. Create a workspace-scoped lens instead.";
-export type DeprecatedBranchMetadata = {
-    deprecated: true;
-    deprecationMessage: string;
-    lensSuggestion: LensBranchMigrationSuggestion;
-};
-export declare function inferLensPerspectiveTypeFromBranchSchema(schema?: string | null): LensPerspectiveType;
-export declare function migrateBranchToLens(args: {
-    name: string;
-    description?: string;
-    topicId?: string;
-    workspaceId?: string;
-    schema?: string | null;
-}): LensBranchMigrationSuggestion;
-export declare function buildDeprecatedBranchMetadata(args: {
-    name: string;
-    description?: string;
-    topicId?: string;
-    workspaceId?: string;
-    schema?: string | null;
-}): DeprecatedBranchMetadata;

package/dist/lucern/contracts/src/lens-workflow.contract.js

@@ -1,54 +0,0 @@
-/**
- * Canonical lens workflow contract shared across schema, SDK, and MCP surfaces.
- */
-export { validateFilterCriteria, isLensFilterCriteria, isTaxonomyFilterCriteriaV1, } from "./lens-filter.contract.js";
-export const LENS_PERSPECTIVE_TYPES = [
-    "investigation",
-    "monitoring",
-    "analysis",
-    "comparison",
-    "taxonomy",
-];
-export const LENS_STATUSES = ["draft", "active", "archived"];
-export const LENS_TASK_TEMPLATE_PRIORITIES = [
-    "critical",
-    "high",
-    "medium",
-    "low",
-];
-export const BRANCH_DEPRECATION_MESSAGE = "Branches are deprecated for operational framing. Create a workspace-scoped lens instead.";
-export function inferLensPerspectiveTypeFromBranchSchema(schema) {
-    const normalized = schema?.trim().toLowerCase();
-    if (normalized === "phase") {
-        return "monitoring";
-    }
-    if (normalized === "axis" || normalized === "dimension") {
-        return "comparison";
-    }
-    if (normalized === "track") {
-        return "investigation";
-    }
-    return "analysis";
-}
-export function migrateBranchToLens(args) {
-    const perspectiveType = inferLensPerspectiveTypeFromBranchSchema(args.schema);
-    return {
-        recommendedTool: "create_lens",
-        perspectiveType,
-        message: "Branches are deprecated for operational framing. Create a workspace-scoped lens with the suggested payload instead.",
-        suggestedPayload: {
-            name: args.name,
-            description: args.description,
-            topicId: args.topicId,
-            workspaceId: args.workspaceId,
-            perspectiveType,
-        },
-    };
-}
-export function buildDeprecatedBranchMetadata(args) {
-    return {
-        deprecated: true,
-        deprecationMessage: BRANCH_DEPRECATION_MESSAGE,
-        lensSuggestion: migrateBranchToLens(args),
-    };
-}

package/dist/lucern/contracts/src/mcp-tools.contract.d.ts

@@ -1,151 +0,0 @@
-/**
- * MCP Tool Contract Definitions
- *
- * Machine-readable source of truth for all Lucern MCP tool names,
- * descriptions, parameters, and response schemas.
- *
- * CONTRACT SURFACE: These definitions are the external API for AI agents.
- * Renaming a tool or changing its description is a BREAKING CHANGE.
- *
- * Git-native naming rules (enforced by lint):
- *   1. Workflow tools use git verbs directly (add_worktree, merge, push, open_pull_request)
- *   2. Knowledge tools use epistemic verbs (create_belief, fork_belief, modulate_confidence)
- *   3. First sentence of description includes the git analog verb
- *   4. Description includes "Like `git X`" parenthetical
- *   5. Parameter names use domain terms (canonicalText, nodeId, confidence)
- */
-export type McpToolContract = {
-    /** Stable tool name — breaking change to rename */
-    name: string;
-    /** Git-semantic description — breaking change to remove git references */
-    description: string;
-    /** Parameter schema (JSON Schema subset) */
-    parameters: Record<string, McpParameterDef>;
-    /** Required parameter names */
-    required: string[];
-    /** Response shape description */
-    response: McpResponseDef;
-    /** Which Lucern module owns the implementation */
-    ownerModule: string;
-    /** Ontology primitive this tool operates on */
-    ontologyPrimitive: "belief" | "evidence" | "source" | "question" | "judgment" | "worktree" | "branch" | "lens" | "edge" | "graph" | "task" | "policy" | "ontology" | "identity";
-    /** MCP surface tier — showcase (front page, every demo) or workhorse (complete CRUD, discovered when building) */
-    tier: "showcase" | "workhorse";
-    /** Hide this tool from public discovery surfaces. */
-    internal?: boolean;
-    /** Deprecation notice shown in contract-driven docs and discovery. */
-    deprecated?: string;
-};
-export type McpParameterDef = {
-    type: "string" | "number" | "boolean" | "array" | "object";
-    description: string;
-    required?: boolean;
-    enum?: string[];
-};
-export type McpResponseDef = {
-    description: string;
-    fields: Record<string, string>;
-};
-export declare const CREATE_BELIEF: McpToolContract;
-export declare const GET_BELIEF: McpToolContract;
-export declare const REFINE_BELIEF: McpToolContract;
-export declare const MODULATE_CONFIDENCE: McpToolContract;
-export declare const FORK_BELIEF: McpToolContract;
-export declare const ARCHIVE_BELIEF: McpToolContract;
-export declare const CREATE_EPISTEMIC_CONTRACT: McpToolContract;
-export declare const ADD_EVIDENCE: McpToolContract;
-export declare const FLAG_CONTRADICTION: McpToolContract;
-export declare const ADD_WORKTREE: McpToolContract;
-export declare const MERGE: McpToolContract;
-export declare const QUERY_LINEAGE: McpToolContract;
-export declare const GET_CONFIDENCE_HISTORY: McpToolContract;
-export declare const GET_AUDIT_TRAIL: McpToolContract;
-export declare const TRAVERSE_GRAPH: McpToolContract;
-export declare const GET_GRAPH_NEIGHBORHOOD: McpToolContract;
-export declare const TRACE_ENTITY_IMPACT: McpToolContract;
-export declare const SEARCH_BELIEFS: McpToolContract;
-export declare const SEARCH_RESOURCES: McpToolContract;
-export declare const FIND_CONTRADICTIONS: McpToolContract;
-export declare const CREATE_EDGE: McpToolContract;
-export declare const RECORD_JUDGMENT: McpToolContract;
-export declare const CREATE_LENS: McpToolContract;
-export declare const LIST_LENSES: McpToolContract;
-export declare const APPLY_LENS_TO_TOPIC: McpToolContract;
-export declare const REMOVE_LENS_FROM_TOPIC: McpToolContract;
-export declare const PUSH: McpToolContract;
-export declare const OPEN_PULL_REQUEST: McpToolContract;
-export declare const BISECT_CONFIDENCE: McpToolContract;
-export declare const DETECT_CONFIRMATION_BIAS: McpToolContract;
-export declare const GET_GRAPH_STRUCTURE_ANALYSIS: McpToolContract;
-export declare const GET_FALSIFICATION_QUESTIONS: McpToolContract;
-export declare const SEARCH_SOURCES: McpToolContract;
-export declare const EXECUTE_DEEP_RESEARCH: McpToolContract;
-export declare const SEARCH_EVIDENCE: McpToolContract;
-export declare const CREATE_EVIDENCE: McpToolContract;
-export declare const GET_EVIDENCE: McpToolContract;
-export declare const LIST_EVIDENCE: McpToolContract;
-export declare const LINK_EVIDENCE: McpToolContract;
-export declare const LINK_EVIDENCE_TO_BELIEF: McpToolContract;
-export declare const CREATE_QUESTION: McpToolContract;
-export declare const GET_QUESTION: McpToolContract;
-export declare const REFINE_QUESTION: McpToolContract;
-export declare const LIST_QUESTIONS: McpToolContract;
-export declare const ANSWER_QUESTION: McpToolContract;
-export declare const UPDATE_QUESTION_STATUS: McpToolContract;
-export declare const ARCHIVE_QUESTION: McpToolContract;
-export declare const LINK_EVIDENCE_TO_QUESTION: McpToolContract;
-export declare const CREATE_ANSWER: McpToolContract;
-export declare const GET_ANSWER: McpToolContract;
-export declare const GET_HIGH_PRIORITY_QUESTIONS: McpToolContract;
-export declare const FIND_MISSING_QUESTIONS: McpToolContract;
-export declare const LIST_BELIEFS: McpToolContract;
-export declare const LIST_WORKTREES: McpToolContract;
-export declare const LIST_ALL_WORKTREES: McpToolContract;
-export declare const ACTIVATE_WORKTREE: McpToolContract;
-export declare const UPDATE_WORKTREE_TARGETS: McpToolContract;
-export declare const UPDATE_WORKTREE_METADATA: McpToolContract;
-export declare const IDENTITY_WHOAMI: McpToolContract;
-export declare const COMPILE_CONTEXT: McpToolContract;
-export declare const CHECK_PERMISSION: McpToolContract;
-export declare const FILTER_BY_PERMISSION: McpToolContract;
-export declare const INGEST_OBSERVATION: McpToolContract;
-export declare const GET_OBSERVATION_CONTEXT: McpToolContract;
-export declare const CREATE_TASK: McpToolContract;
-export declare const COMPLETE_TASK: McpToolContract;
-export declare const UPDATE_TASK: McpToolContract;
-export declare const LIST_TASKS: McpToolContract;
-export declare const CREATE_TOPIC: McpToolContract;
-export declare const LIST_TOPICS: McpToolContract;
-export declare const GET_TOPIC: McpToolContract;
-export declare const UPDATE_TOPIC: McpToolContract;
-export declare const GET_TOPIC_TREE: McpToolContract;
-export declare const GET_CODE_CONTEXT: McpToolContract;
-export declare const GET_CHANGE_HISTORY: McpToolContract;
-export declare const RECORD_ATTEMPT: McpToolContract;
-export declare const GET_FAILURE_LOG: McpToolContract;
-export declare const GET_TOPIC_COVERAGE: McpToolContract;
-export declare const GET_GRAPH_GAPS: McpToolContract;
-export declare const MANAGE_WRITE_POLICY: McpToolContract;
-export declare const LIST_ONTOLOGIES: McpToolContract;
-export declare const GET_ONTOLOGY: McpToolContract;
-export declare const APPLY_ONTOLOGY: McpToolContract;
-export declare const MATCH_ENTITY_TYPE: McpToolContract;
-export declare const CREATE_ONTOLOGY: McpToolContract;
-export declare const UPDATE_ONTOLOGY: McpToolContract;
-export declare const ARCHIVE_ONTOLOGY: McpToolContract;
-export declare const CREATE_ONTOLOGY_VERSION: McpToolContract;
-export declare const PUBLISH_ONTOLOGY_VERSION: McpToolContract;
-export declare const DEPRECATE_ONTOLOGY_VERSION: McpToolContract;
-export declare const RESOLVE_EFFECTIVE_ONTOLOGY: McpToolContract;
-/** All MCP tool contracts, indexed by name */
-export declare const MCP_TOOL_CONTRACTS: Record<string, McpToolContract>;
-/** Tool names that MUST include git-semantic language in descriptions */
-export declare const GIT_SEMANTIC_REQUIRED_TOOLS: string[];
-/**
- * Lint validation: every tool description must contain "Like `git" or "Like a `git"
- * or reference a git operation in the first sentence.
- */
-export declare function validateGitSemantics(tool: McpToolContract): {
-    valid: boolean;
-    reason?: string;
-};