@feltdb/core 0.8.0 → 0.8.2

package/dist/intent.d.ts

@@ -0,0 +1,98 @@
+import type { ApplicationUnderstanding, ObservedEvidenceInput } from "./application-understanding.js";
+import { type FeltDBContractSnapshot } from "./application-development.js";
+import { type ModuleImplementationPlan } from "./module-intent.js";
+import { FeltDBProposalService, type FeltDBProposalPreviewArtifact, type FeltDBProposalRecord, type ProposalContext, type ProposalStore } from "./proposal.js";
+export declare const FELTDB_INTENT_COLLECTION = "_feltdb.Intent";
+export declare const FELTDB_INTENT_EVENT_COLLECTION = "_feltdb.IntentEvent";
+export type IntentStatus = "received" | "resolving" | "understanding" | "planning" | "proposal_created" | "completed" | "blocked" | "failed";
+export interface IntentAmbiguity {
+    code: "requires_selection" | "module_not_available" | "clarification_required";
+    message: string;
+    candidates: string[];
+}
+export interface Intent {
+    id: string;
+    application_id: string;
+    environment: string;
+    raw_request: string;
+    action: "implement" | "extend" | "unknown";
+    target: "module" | "billing" | "unknown";
+    module?: string;
+    module_version?: string;
+    parent_intent_id?: string;
+    contract_hash: string;
+    flow_hash: string;
+    status: IntentStatus;
+    ambiguities: IntentAmbiguity[];
+    created_at: string;
+    understanding?: ApplicationUnderstanding;
+    plan?: ImplementationPlan;
+    proposal_id?: string;
+}
+export interface IntentEvent {
+    id: string;
+    intent_id: string;
+    status: IntentStatus;
+    created_at: string;
+    metadata: Record<string, string>;
+}
+export interface ConfidenceRule {
+    claim: string;
+    minimum_confidence: number;
+    allowed_authority: Array<"authoritative" | "observed" | "inferred">;
+    clarification: "block" | "warn";
+}
+export declare const DEFAULT_CONFIDENCE_POLICY: ConfidenceRule[];
+export interface ImplementationPlan {
+    intent: Intent;
+    module: ModuleImplementationPlan["module"];
+    already_installed: boolean;
+    state_changes: ModuleImplementationPlan["applicationModels"];
+    relationships: string[];
+    events: string[];
+    workflows: string[];
+    capabilities: string[];
+    authorization: ModuleImplementationPlan["authorization"];
+    configuration: string[];
+    secrets: string[];
+    dependencies: ModuleImplementationPlan["dependencies"];
+    ownership: Record<string, string>;
+    assumptions: ApplicationUnderstanding["assumptions"];
+    evidence: string[];
+    source_plan: {
+        files: Array<{
+            path: string;
+            operation: "add" | "modify" | "delete";
+            role?: string;
+        }>;
+    };
+    warnings: string[];
+}
+export interface IntentExecutionResult {
+    intent: Intent;
+    understanding?: ApplicationUnderstanding;
+    plan?: ImplementationPlan;
+    proposal?: FeltDBProposalRecord;
+    preview?: FeltDBProposalPreviewArtifact;
+    blockers: string[];
+    warnings: string[];
+}
+export declare function resolveIntent(request: string, context: {
+    snapshot: FeltDBContractSnapshot;
+    flowHash: string;
+    parentIntentId?: string;
+}): Intent;
+export declare function validateImplementationPlan(plan: ImplementationPlan, understanding: ApplicationUnderstanding, policy?: ConfidenceRule[]): string[];
+export declare class IntentService {
+    private store;
+    private context;
+    private proposals;
+    private observations?;
+    constructor(store: ProposalStore, context: () => Promise<ProposalContext>, proposals: FeltDBProposalService, observations?: (() => ObservedEvidenceInput[] | Promise<ObservedEvidenceInput[]>) | undefined);
+    execute(rawRequest: string, actor?: string): Promise<IntentExecutionResult>;
+    list(): Promise<Intent[]>;
+    get(id: string): Promise<Intent>;
+    history(id: string): Promise<IntentEvent[]>;
+    private event;
+}
+//# sourceMappingURL=intent.d.ts.map

package/dist/intent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent.d.ts","sourceRoot":"","sources":["../src/intent.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,wBAAwB,EACxB,qBAAqB,EACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,KAAK,sBAAsB,EAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAGL,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,qBAAqB,EACrB,KAAK,6BAA6B,EAClC,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,aAAa,EACnB,MAAM,eAAe,CAAC;AAGvB,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AACzD,eAAO,MAAM,8BAA8B,wBAAwB,CAAC;AACpE,MAAM,MAAM,YAAY,GACpB,UAAU,GACV,WAAW,GACX,eAAe,GACf,UAAU,GACV,kBAAkB,GAClB,WAAW,GACX,SAAS,GACT,QAAQ,CAAC;AACb,MAAM,WAAW,eAAe;IAC9B,IAAI,EACA,oBAAoB,GACpB,sBAAsB,GACtB,wBAAwB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AACD,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3C,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,YAAY,CAAC;IACrB,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,CAAC;IACzC,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AACD,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,YAAY,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC;AACD,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,kBAAkB,EAAE,MAAM,CAAC;IAC3B,iBAAiB,EAAE,KAAK,CAAC,eAAe,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC;IACpE,aAAa,EAAE,OAAO,GAAG,MAAM,CAAC;CACjC;AACD,eAAO,MAAM,yBAAyB,EAAE,cAAc,EAarD,CAAC;AACF,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAC3C,iBAAiB,EAAE,OAAO,CAAC;IAC3B,aAAa,EAAE,wBAAwB,CAAC,mBAAmB,CAAC,CAAC;IAC7D,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,wBAAwB,CAAC,eAAe,CAAC,CAAC;IACzD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE,wBAAwB,CAAC,cAAc,CAAC,CAAC;IACvD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,WAAW,EAAE,wBAAwB,CAAC,aAAa,CAAC,CAAC;IACrD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,EAAE;QACX,KAAK,EAAE,KAAK,CAAC;YACX,IAAI,EAAE,MAAM,CAAC;YACb,SAAS,EAAE,KAAK,GAAG,QAAQ,GAAG,QAAQ,CAAC;YACvC,IAAI,CAAC,EAAE,MAAM,CAAC;SACf,CAAC,CAAC;KACJ,CAAC;IACF,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AACD,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,wBAAwB,CAAC;IACzC,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,CAAC;IAChC,OAAO,CAAC,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,OAAO,EAAE;IACP,QAAQ,EAAE,sBAAsB,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,GACA,MAAM,CAsCR;AAED,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,kBAAkB,EACxB,aAAa,EAAE,wBAAwB,EACvC,MAAM,mBAA4B,GACjC,MAAM,EAAE,CA4EV;AAmDD,qBAAa,aAAa;IAEtB,OAAO,CAAC,KAAK;IACb,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,YAAY,CAAC;gBAHb,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,MAAM,OAAO,CAAC,eAAe,CAAC,EACvC,SAAS,EAAE,qBAAqB,EAChC,YAAY,CAAC,GAAE,MACnB,qBAAqB,EAAE,GACvB,OAAO,CAAC,qBAAqB,EAAE,CAAC,aAAA;IAEhC,OAAO,CACX,UAAU,EAAE,MAAM,EAClB,KAAK,SAAc,GAClB,OAAO,CAAC,qBAAqB,CAAC;IAiK3B,IAAI;IAGJ,GAAG,CAAC,EAAE,EAAE,MAAM;IAKd,OAAO,CAAC,EAAE,EAAE,MAAM;YAKV,KAAK;CAcpB"}

package/dist/intent.js

@@ -0,0 +1,343 @@
+import { flowSourceHash, } from "./application-development.js";
+import { createModuleImplementationProposal, resolveModuleIntent, } from "./module-intent.js";
+import { listFeltDBModules, resolveFeltDBModule } from "./module.js";
+import { diffFlowSpec, parseFlowSpec } from "./flowspec.js";
+export const FELTDB_INTENT_COLLECTION = "_feltdb.Intent";
+export const FELTDB_INTENT_EVENT_COLLECTION = "_feltdb.IntentEvent";
+export const DEFAULT_CONFIDENCE_POLICY = [
+    {
+        claim: "module.owner",
+        minimum_confidence: 0.9,
+        allowed_authority: ["authoritative", "observed", "inferred"],
+        clarification: "block",
+    },
+    {
+        claim: "payment.authority",
+        minimum_confidence: 1,
+        allowed_authority: ["authoritative"],
+        clarification: "block",
+    },
+];
+export function resolveIntent(request, context) {
+    const raw = request.trim();
+    let resolved;
+    const ambiguities = [];
+    try {
+        resolved = resolveModuleIntent(raw);
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        ambiguities.push({
+            code: message.startsWith("MODULE_NOT_AVAILABLE")
+                ? "module_not_available"
+                : "requires_selection",
+            message,
+            candidates: listFeltDBModules().map((value) => value.id),
+        });
+    }
+    if (!resolved && !ambiguities.length)
+        ambiguities.push({
+            code: "requires_selection",
+            message: "Intent target is not deterministically resolvable.",
+            candidates: listFeltDBModules().map((value) => value.id),
+        });
+    return {
+        id: `in_${crypto.randomUUID().replaceAll("-", "")}`,
+        application_id: context.snapshot.application.application_id,
+        environment: context.snapshot.application.environment,
+        raw_request: raw,
+        action: resolved?.action ?? "unknown",
+        target: resolved ? "module" : "unknown",
+        module: resolved?.module,
+        module_version: resolved?.version,
+        parent_intent_id: context.parentIntentId,
+        contract_hash: context.snapshot.contract_hash,
+        flow_hash: context.flowHash,
+        status: ambiguities.length ? "blocked" : "resolving",
+        ambiguities,
+        created_at: new Date().toISOString(),
+    };
+}
+export function validateImplementationPlan(plan, understanding, policy = DEFAULT_CONFIDENCE_POLICY) {
+    const blockers = [];
+    const registered = resolveFeltDBModule({
+        name: plan.module.id,
+        provider: plan.module.provider,
+        version: plan.module.version,
+    });
+    if (registered.version !== plan.module.version)
+        blockers.push("module_version_mismatch");
+    const moduleModels = new Map(registered.models.map((value) => [value.name, value]));
+    for (const model of plan.state_changes) {
+        const authoritative = moduleModels.get(model.name);
+        if (model.ownership === "external-authoritative" &&
+            (!authoritative || authoritative.ownership !== model.ownership))
+            blockers.push(`invalid_module_model:${model.name}`);
+    }
+    for (const capability of plan.capabilities)
+        if (!registered.capabilities.includes(capability))
+            blockers.push(`undeclared_capability:${capability}`);
+    const declaredEvents = new Set(registered.reconciliation.map((value) => value.event));
+    for (const event of plan.events)
+        if (!declaredEvents.has(event))
+            blockers.push(`undeclared_event:${event}`);
+    const declaredWorkflows = new Set(registered.reconciliation.map((value) => value.workflow));
+    for (const workflow of plan.workflows)
+        if (!declaredWorkflows.has(workflow))
+            blockers.push(`undeclared_workflow:${workflow}`);
+    const declaredConfiguration = new Set(registered.configuration.map((value) => value.name));
+    for (const name of plan.configuration)
+        if (!declaredConfiguration.has(name))
+            blockers.push(`undeclared_configuration:${name}`);
+    const declaredSecrets = new Set(registered.secrets.map((value) => value.name));
+    for (const name of plan.secrets)
+        if (!declaredSecrets.has(name))
+            blockers.push(`undeclared_secret:${name}`);
+    for (const rule of policy) {
+        if (rule.claim === "payment.authority") {
+            if (!plan.module.models.some((value) => value.ownership === "external-authoritative"))
+                blockers.push("external_authority_not_module_authoritative");
+            continue;
+        }
+        const claim = rule.claim === "module.owner"
+            ? plan.module.placement.owner_claim
+            : rule.claim;
+        const inference = understanding.inferences.find((value) => value.claim === claim);
+        if (!inference ||
+            !inference.evidence.length ||
+            inference.confidence < rule.minimum_confidence ||
+            !rule.allowed_authority.includes(inference.authority))
+            blockers.push(`${claim}_confidence`);
+    }
+    if (plan.secrets.some((value) => /[=:]|sk_live|sk_test|whsec_/i.test(value)))
+        blockers.push("secret_value_in_plan");
+    for (const relationship of plan.relationships)
+        if (!relationship.includes(" -> "))
+            blockers.push(`invalid_relationship:${relationship}`);
+    return [...new Set(blockers)];
+}
+function canonicalPlan(intent, implementation, understanding) {
+    const artifacts = implementation.module.source_artifacts.map((value) => ({
+        path: value.path,
+        operation: (implementation.alreadyInstalled ? "modify" : "add"),
+        role: value.role,
+    }));
+    return {
+        intent: { ...intent },
+        module: implementation.module,
+        already_installed: implementation.alreadyInstalled,
+        state_changes: implementation.applicationModels,
+        relationships: implementation.relationships,
+        events: implementation.events,
+        workflows: implementation.workflows,
+        capabilities: implementation.capabilities,
+        authorization: implementation.authorization,
+        configuration: implementation.configuration,
+        secrets: implementation.secrets,
+        dependencies: implementation.dependencies,
+        ownership: {
+            [implementation.primaryApplicationModel]: implementation.owner,
+        },
+        assumptions: understanding.assumptions,
+        evidence: understanding.evidence.map((value) => value.id),
+        source_plan: {
+            files: [
+                {
+                    path: "feltdb.flow",
+                    operation: "modify",
+                    role: "application-contract",
+                },
+                {
+                    path: "src/feltdb/generated-contract.ts",
+                    operation: "modify",
+                    role: "generated-contract",
+                },
+                ...artifacts,
+            ],
+        },
+        warnings: implementation.warnings,
+    };
+}
+export class IntentService {
+    store;
+    context;
+    proposals;
+    observations;
+    constructor(store, context, proposals, observations) {
+        this.store = store;
+        this.context = context;
+        this.proposals = proposals;
+        this.observations = observations;
+    }
+    async execute(rawRequest, actor = "developer") {
+        const context = await this.context();
+        const prior = await this.store.list(FELTDB_INTENT_COLLECTION);
+        const proposalHistory = await this.proposals.list();
+        let resolvedModule;
+        try {
+            resolvedModule = resolveModuleIntent(rawRequest);
+        }
+        catch { }
+        const parentProposal = resolvedModule
+            ? proposalHistory
+                .filter((value) => value.metadata.module === resolvedModule.module &&
+                value.status === "applied")
+                .at(-1)
+            : undefined;
+        const parentIntent = parentProposal
+            ? prior.find((value) => value.id === parentProposal.metadata.intent_id)
+            : undefined;
+        const intent = resolveIntent(rawRequest, {
+            snapshot: context.snapshot,
+            flowHash: await flowSourceHash(context.source),
+            parentIntentId: parentIntent?.id,
+        });
+        await this.store.create(FELTDB_INTENT_COLLECTION, intent.id, intent);
+        await this.event(intent, "received");
+        if (intent.ambiguities.length) {
+            await this.event(intent, "blocked");
+            return {
+                intent,
+                blockers: intent.ambiguities.map((value) => value.code),
+                warnings: [],
+            };
+        }
+        const moduleIntent = resolveModuleIntent(rawRequest);
+        const convergence = await this.store.list("_feltdb.Convergence");
+        const convergenceEvidence = convergence
+            .filter((value) => value.proposal_id === parentProposal?.id)
+            .slice(-5)
+            .flatMap((value) => (value.findings ?? [])
+            .slice(0, 20)
+            .map((finding) => ({
+            source: "proposal_history",
+            claim: `convergence.${finding.claim}`,
+            value: finding.status,
+            source_ref: `proposal:${value.proposal_id}`,
+        })));
+        const observed = [
+            ...(context.observations ?? []),
+            ...((await this.observations?.()) ?? []),
+            ...convergenceEvidence,
+        ];
+        let generated;
+        try {
+            generated = await createModuleImplementationProposal({
+                intent: rawRequest,
+                snapshot: context.snapshot,
+                currentFlow: context.source,
+                observations: observed,
+            });
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            intent.status = "blocked";
+            intent.ambiguities.push({
+                code: message.startsWith("CLARIFICATION_REQUIRED")
+                    ? "clarification_required"
+                    : "requires_selection",
+                message,
+                candidates: [],
+            });
+            await this.store.replace(FELTDB_INTENT_COLLECTION, intent.id, intent);
+            await this.event(intent, "blocked", { reason: message });
+            return { intent, blockers: [message], warnings: [] };
+        }
+        const understanding = generated.understanding;
+        intent.status = "understanding";
+        intent.understanding = understanding;
+        await this.store.replace(FELTDB_INTENT_COLLECTION, intent.id, intent);
+        await this.event(intent, "understanding");
+        const plan = canonicalPlan(intent, generated.implementation, understanding);
+        intent.plan = plan;
+        const blockers = validateImplementationPlan(plan, understanding);
+        if (blockers.length) {
+            intent.status = "blocked";
+            await this.store.replace(FELTDB_INTENT_COLLECTION, intent.id, intent);
+            await this.event(intent, "blocked");
+            return { intent, understanding, plan, blockers, warnings: plan.warnings };
+        }
+        const diff = diffFlowSpec(parseFlowSpec(context.source), parseFlowSpec(generated.proposedFlow));
+        if (plan.already_installed &&
+            diff.added.length === 0 &&
+            diff.removed.length === 0 &&
+            diff.changed.length === 0) {
+            intent.status = "completed";
+            await this.store.replace(FELTDB_INTENT_COLLECTION, intent.id, intent);
+            await this.event(intent, "completed", { result: "already_converged" });
+            return {
+                intent,
+                understanding,
+                plan,
+                blockers: [],
+                warnings: [
+                    "The requested module is already installed and converged. No proposal created.",
+                ],
+            };
+        }
+        intent.status = "planning";
+        await this.store.replace(FELTDB_INTENT_COLLECTION, intent.id, intent);
+        await this.event(intent, "planning");
+        let proposal = await this.proposals.create({
+            application_id: intent.application_id,
+            environment: intent.environment,
+            base_contract_hash: generated.baseContractHash,
+            base_flow_hash: generated.baseFlowHash,
+            proposed_flow: generated.proposedFlow,
+            summary: generated.summary,
+            warnings: generated.warnings,
+            actor,
+            metadata: {
+                created_from: "intent-engine",
+                intent_id: intent.id,
+                module: moduleIntent.module,
+                module_version: moduleIntent.version,
+            },
+            parent_proposal_id: parentProposal?.id,
+            understanding,
+            contract_diff: generated.changes,
+            source_plan: plan.source_plan,
+        });
+        await this.proposals.validate(proposal.id, "feltdb-validator");
+        const preview = await this.proposals.preview(proposal.id, actor);
+        proposal = preview.proposal;
+        intent.status = "proposal_created";
+        intent.proposal_id = proposal.id;
+        await this.store.replace(FELTDB_INTENT_COLLECTION, intent.id, intent);
+        await this.event(intent, "proposal_created", { proposal_id: proposal.id });
+        intent.status = "completed";
+        await this.store.replace(FELTDB_INTENT_COLLECTION, intent.id, intent);
+        await this.event(intent, "completed");
+        return {
+            intent,
+            understanding,
+            plan,
+            proposal,
+            preview,
+            blockers: [],
+            warnings: plan.warnings,
+        };
+    }
+    async list() {
+        return this.store.list(FELTDB_INTENT_COLLECTION);
+    }
+    async get(id) {
+        const value = await this.store.get(FELTDB_INTENT_COLLECTION, id);
+        if (!value)
+            throw new Error("INTENT_NOT_FOUND");
+        return value;
+    }
+    async history(id) {
+        return (await this.store.list(FELTDB_INTENT_EVENT_COLLECTION)).filter((value) => value.intent_id === id);
+    }
+    async event(intent, status, metadata = {}) {
+        const value = {
+            id: `ie_${crypto.randomUUID().replaceAll("-", "")}`,
+            intent_id: intent.id,
+            status,
+            created_at: new Date().toISOString(),
+            metadata,
+        };
+        await this.store.create(FELTDB_INTENT_EVENT_COLLECTION, value.id, value);
+    }
+}

package/dist/module-intent.d.ts

@@ -1,7 +1,8 @@
-import type { FeltDBContractSnapshot, FeltDBFlowProposal } from './application-development.js';
-import { type FeltDBModuleDefinition, type FeltDBModuleOwnership } from './module.js';
+import type { FeltDBContractSnapshot, FeltDBFlowProposal } from "./application-development.js";
+import { type FeltDBModuleDefinition, type FeltDBModuleOwnership } from "./module.js";
+import { type ApplicationUnderstanding, type ObservedEvidenceInput } from "./application-understanding.js";
 export interface ModuleIntent {
-    action: 'implement' | 'extend';
+    action: "implement" | "extend";
     module: string;
     provider: string;
     version: string;
@@ -12,26 +13,39 @@ export interface ModuleImplementationPlan {
     module: FeltDBModuleDefinition;
     alreadyInstalled: boolean;
     owner: string;
+    ownerClaim: string;
+    primaryApplicationModel: string;
     applicationModels: Array<{
         name: string;
         ownership: FeltDBModuleOwnership;
         purpose: string;
+        fields: Array<{
+            name: string;
+            type: string;
+            optional?: boolean;
+        }>;
     }>;
     relationships: string[];
     events: string[];
     workflows: string[];
     capabilities: string[];
-    authorization: FeltDBModuleDefinition['authorization'];
+    authorization: FeltDBModuleDefinition["authorization"];
     configuration: string[];
     secrets: string[];
+    dependencies: Array<{
+        name: string;
+        status: "satisfied" | "missing";
+        evidence: string[];
+    }>;
     stateFlow: string[];
     warnings: string[];
 }
 export declare function resolveModuleIntent(value: string): ModuleIntent | undefined;
-export declare function planModuleImplementation(intent: ModuleIntent, snapshot: FeltDBContractSnapshot, currentFlow: string): ModuleImplementationPlan;
+export declare function planModuleImplementation(intent: ModuleIntent, snapshot: FeltDBContractSnapshot, currentFlow: string, understanding: ApplicationUnderstanding): ModuleImplementationPlan;
 export declare function createModuleImplementationProposal(input: {
     intent: string;
     snapshot: FeltDBContractSnapshot;
     currentFlow: string;
+    observations?: ObservedEvidenceInput[];
 }): Promise<FeltDBFlowProposal>;
 //# sourceMappingURL=module-intent.d.ts.map

package/dist/module-intent.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"module-intent.d.ts","sourceRoot":"","sources":["../src/module-intent.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAE/F,OAAO,EAA6D,KAAK,sBAAsB,EAAE,KAAK,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEjJ,MAAM,WAAW,YAAY;IAAG,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AACrI,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAC;IAAC,gBAAgB,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAC/F,iBAAiB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,qBAAqB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9F,aAAa,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvF,aAAa,EAAE,sBAAsB,CAAC,eAAe,CAAC,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IACnG,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;CACzC;AAMD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAU3E;AAQD,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,sBAAsB,EAAE,WAAW,EAAE,MAAM,GAAG,wBAAwB,CAgB9I;AAGD,wBAAsB,kCAAkC,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAuBtK"}
+{"version":3,"file":"module-intent.d.ts","sourceRoot":"","sources":["../src/module-intent.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,8BAA8B,CAAC;AAOtC,OAAO,EAIL,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC3B,MAAM,aAAa,CAAC;AACrB,OAAO,EAGL,KAAK,wBAAwB,EAC7B,KAAK,qBAAqB,EAC3B,MAAM,gCAAgC,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB;AACD,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,sBAAsB,CAAC;IAC/B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,uBAAuB,EAAE,MAAM,CAAC;IAChC,iBAAiB,EAAE,KAAK,CAAC;QACvB,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,qBAAqB,CAAC;QACjC,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;KACnE,CAAC,CAAC;IACH,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,sBAAsB,CAAC,eAAe,CAAC,CAAC;IACvD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE,KAAK,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,WAAW,GAAG,SAAS,CAAC;QAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC,CAAC;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AASD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAsC3E;AAoFD,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,sBAAsB,EAChC,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,wBAAwB,GACtC,wBAAwB,CA+E1B;AAMD,wBAAsB,kCAAkC,CAAC,KAAK,EAAE;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,sBAAsB,CAAC;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,qBAAqB,EAAE,CAAC;CACxC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CA+F9B"}