@c4a/context 0.6.19 → 0.7.0

package/indexerPartitionConvergence.d.ts

@@ -0,0 +1,496 @@
+import { z } from "zod";
+import { type IndexerPartitionStrategy } from "./indexerPartitionPlan.js";
+import type { IndexerMainPartitionWorkset } from "./indexerMainWorkset.js";
+import type { IndexerInventoryMember } from "./indexerInventoryDisposition.js";
+export declare const indexerPartitionStrategyAttemptSchema: z.ZodObject<{
+    strategy_order: z.ZodNumber;
+    strategy_ref: z.ZodUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"project-indexer">;
+        indexer_id: z.ZodEffects<z.ZodString, string, string>;
+        strategy_id: z.ZodEffects<z.ZodString, string, string>;
+        implementation_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    }, {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"cli-builtin">;
+        strategy_id: z.ZodEffects<z.ZodString, string, string>;
+        implementation_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    }, {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    }>]>;
+    strategy_digest: z.ZodString;
+    previous_attempt_digest: z.ZodNullable<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    strategy_ref: {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    } | {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    };
+    strategy_digest: string;
+    strategy_order: number;
+    previous_attempt_digest: string | null;
+}, {
+    strategy_ref: {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    } | {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    };
+    strategy_digest: string;
+    strategy_order: number;
+    previous_attempt_digest: string | null;
+}>;
+export type IndexerPartitionStrategyAttempt = z.infer<typeof indexerPartitionStrategyAttemptSchema>;
+declare const attemptRecordSchema: z.ZodObject<{
+    strategy_order: z.ZodNumber;
+    strategy_ref: z.ZodUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"project-indexer">;
+        indexer_id: z.ZodEffects<z.ZodString, string, string>;
+        strategy_id: z.ZodEffects<z.ZodString, string, string>;
+        implementation_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    }, {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"cli-builtin">;
+        strategy_id: z.ZodEffects<z.ZodString, string, string>;
+        implementation_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    }, {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    }>]>;
+    strategy_digest: z.ZodString;
+    previous_attempt_digest: z.ZodNullable<z.ZodString>;
+    partition_plan_hash: z.ZodString;
+    plan_status: z.ZodEnum<["complete", "failed"]>;
+    classification: z.ZodEnum<["semantic", "fixed-count", "ordinal", "alphabetical", "retryable-strategy-failure", "blocking-input-damage"]>;
+    reason_code: z.ZodEnum<["semantic-partition", "fixed-count-partition", "ordinal-partition", "alphabetical-partition", "partition-strategy-failed", "partition-input-damaged"]>;
+    relationship: z.ZodObject<{
+        group_count: z.ZodNumber;
+        owned_member_count: z.ZodNumber;
+        group_sizes: z.ZodArray<z.ZodNumber, "many">;
+        uniform_nonfinal_group_size: z.ZodBoolean;
+        lexical_windows: z.ZodBoolean;
+        ordinal_identity_sequence: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        group_count: number;
+        owned_member_count: number;
+        group_sizes: number[];
+        uniform_nonfinal_group_size: boolean;
+        lexical_windows: boolean;
+        ordinal_identity_sequence: boolean;
+    }, {
+        group_count: number;
+        owned_member_count: number;
+        group_sizes: number[];
+        uniform_nonfinal_group_size: boolean;
+        lexical_windows: boolean;
+        ordinal_identity_sequence: boolean;
+    }>;
+    attempt_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    reason_code: "semantic-partition" | "fixed-count-partition" | "ordinal-partition" | "alphabetical-partition" | "partition-strategy-failed" | "partition-input-damaged";
+    strategy_ref: {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    } | {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    };
+    strategy_digest: string;
+    strategy_order: number;
+    previous_attempt_digest: string | null;
+    partition_plan_hash: string;
+    plan_status: "complete" | "failed";
+    classification: "semantic" | "fixed-count" | "ordinal" | "alphabetical" | "retryable-strategy-failure" | "blocking-input-damage";
+    relationship: {
+        group_count: number;
+        owned_member_count: number;
+        group_sizes: number[];
+        uniform_nonfinal_group_size: boolean;
+        lexical_windows: boolean;
+        ordinal_identity_sequence: boolean;
+    };
+    attempt_digest: string;
+}, {
+    reason_code: "semantic-partition" | "fixed-count-partition" | "ordinal-partition" | "alphabetical-partition" | "partition-strategy-failed" | "partition-input-damaged";
+    strategy_ref: {
+        kind: "project-indexer";
+        implementation_digest: string;
+        indexer_id: string;
+        strategy_id: string;
+    } | {
+        kind: "cli-builtin";
+        implementation_digest: string;
+        strategy_id: string;
+    };
+    strategy_digest: string;
+    strategy_order: number;
+    previous_attempt_digest: string | null;
+    partition_plan_hash: string;
+    plan_status: "complete" | "failed";
+    classification: "semantic" | "fixed-count" | "ordinal" | "alphabetical" | "retryable-strategy-failure" | "blocking-input-damage";
+    relationship: {
+        group_count: number;
+        owned_member_count: number;
+        group_sizes: number[];
+        uniform_nonfinal_group_size: boolean;
+        lexical_windows: boolean;
+        ordinal_identity_sequence: boolean;
+    };
+    attempt_digest: string;
+}>;
+export type IndexerPartitionAttemptRecord = z.infer<typeof attemptRecordSchema>;
+export declare const indexerPartitionConvergenceRecordSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.partition-convergence/v1">;
+    partition_workset_digest: z.ZodString;
+    strategy_set_digest: z.ZodString;
+    attempts: z.ZodArray<z.ZodObject<{
+        strategy_order: z.ZodNumber;
+        strategy_ref: z.ZodUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"project-indexer">;
+            indexer_id: z.ZodEffects<z.ZodString, string, string>;
+            strategy_id: z.ZodEffects<z.ZodString, string, string>;
+            implementation_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        }, {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"cli-builtin">;
+            strategy_id: z.ZodEffects<z.ZodString, string, string>;
+            implementation_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        }, {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        }>]>;
+        strategy_digest: z.ZodString;
+        previous_attempt_digest: z.ZodNullable<z.ZodString>;
+        partition_plan_hash: z.ZodString;
+        plan_status: z.ZodEnum<["complete", "failed"]>;
+        classification: z.ZodEnum<["semantic", "fixed-count", "ordinal", "alphabetical", "retryable-strategy-failure", "blocking-input-damage"]>;
+        reason_code: z.ZodEnum<["semantic-partition", "fixed-count-partition", "ordinal-partition", "alphabetical-partition", "partition-strategy-failed", "partition-input-damaged"]>;
+        relationship: z.ZodObject<{
+            group_count: z.ZodNumber;
+            owned_member_count: z.ZodNumber;
+            group_sizes: z.ZodArray<z.ZodNumber, "many">;
+            uniform_nonfinal_group_size: z.ZodBoolean;
+            lexical_windows: z.ZodBoolean;
+            ordinal_identity_sequence: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            group_count: number;
+            owned_member_count: number;
+            group_sizes: number[];
+            uniform_nonfinal_group_size: boolean;
+            lexical_windows: boolean;
+            ordinal_identity_sequence: boolean;
+        }, {
+            group_count: number;
+            owned_member_count: number;
+            group_sizes: number[];
+            uniform_nonfinal_group_size: boolean;
+            lexical_windows: boolean;
+            ordinal_identity_sequence: boolean;
+        }>;
+        attempt_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        reason_code: "semantic-partition" | "fixed-count-partition" | "ordinal-partition" | "alphabetical-partition" | "partition-strategy-failed" | "partition-input-damaged";
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+        partition_plan_hash: string;
+        plan_status: "complete" | "failed";
+        classification: "semantic" | "fixed-count" | "ordinal" | "alphabetical" | "retryable-strategy-failure" | "blocking-input-damage";
+        relationship: {
+            group_count: number;
+            owned_member_count: number;
+            group_sizes: number[];
+            uniform_nonfinal_group_size: boolean;
+            lexical_windows: boolean;
+            ordinal_identity_sequence: boolean;
+        };
+        attempt_digest: string;
+    }, {
+        reason_code: "semantic-partition" | "fixed-count-partition" | "ordinal-partition" | "alphabetical-partition" | "partition-strategy-failed" | "partition-input-damaged";
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+        partition_plan_hash: string;
+        plan_status: "complete" | "failed";
+        classification: "semantic" | "fixed-count" | "ordinal" | "alphabetical" | "retryable-strategy-failure" | "blocking-input-damage";
+        relationship: {
+            group_count: number;
+            owned_member_count: number;
+            group_sizes: number[];
+            uniform_nonfinal_group_size: boolean;
+            lexical_windows: boolean;
+            ordinal_identity_sequence: boolean;
+        };
+        attempt_digest: string;
+    }>, "many">;
+    decision: z.ZodEnum<["accepted", "retry-required", "catalog-fallback-required", "blocked-invalid-input"]>;
+    accepted_plan_hash: z.ZodNullable<z.ZodString>;
+    next_strategy_attempt: z.ZodNullable<z.ZodObject<{
+        strategy_order: z.ZodNumber;
+        strategy_ref: z.ZodUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"project-indexer">;
+            indexer_id: z.ZodEffects<z.ZodString, string, string>;
+            strategy_id: z.ZodEffects<z.ZodString, string, string>;
+            implementation_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        }, {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"cli-builtin">;
+            strategy_id: z.ZodEffects<z.ZodString, string, string>;
+            implementation_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        }, {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        }>]>;
+        strategy_digest: z.ZodString;
+        previous_attempt_digest: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+    }, {
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+    }>>;
+    outcome: z.ZodEnum<["completed", "partial", "failed"]>;
+    user_gate_required: z.ZodLiteral<false>;
+    profile_revision_ledger_consumed: z.ZodLiteral<false>;
+    convergence_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    decision: "accepted" | "retry-required" | "catalog-fallback-required" | "blocked-invalid-input";
+    protocol: "context.indexer.partition-convergence/v1";
+    strategy_set_digest: string;
+    partition_workset_digest: string;
+    attempts: {
+        reason_code: "semantic-partition" | "fixed-count-partition" | "ordinal-partition" | "alphabetical-partition" | "partition-strategy-failed" | "partition-input-damaged";
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+        partition_plan_hash: string;
+        plan_status: "complete" | "failed";
+        classification: "semantic" | "fixed-count" | "ordinal" | "alphabetical" | "retryable-strategy-failure" | "blocking-input-damage";
+        relationship: {
+            group_count: number;
+            owned_member_count: number;
+            group_sizes: number[];
+            uniform_nonfinal_group_size: boolean;
+            lexical_windows: boolean;
+            ordinal_identity_sequence: boolean;
+        };
+        attempt_digest: string;
+    }[];
+    accepted_plan_hash: string | null;
+    next_strategy_attempt: {
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+    } | null;
+    outcome: "partial" | "failed" | "completed";
+    user_gate_required: false;
+    profile_revision_ledger_consumed: false;
+    convergence_digest: string;
+}, {
+    decision: "accepted" | "retry-required" | "catalog-fallback-required" | "blocked-invalid-input";
+    protocol: "context.indexer.partition-convergence/v1";
+    strategy_set_digest: string;
+    partition_workset_digest: string;
+    attempts: {
+        reason_code: "semantic-partition" | "fixed-count-partition" | "ordinal-partition" | "alphabetical-partition" | "partition-strategy-failed" | "partition-input-damaged";
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+        partition_plan_hash: string;
+        plan_status: "complete" | "failed";
+        classification: "semantic" | "fixed-count" | "ordinal" | "alphabetical" | "retryable-strategy-failure" | "blocking-input-damage";
+        relationship: {
+            group_count: number;
+            owned_member_count: number;
+            group_sizes: number[];
+            uniform_nonfinal_group_size: boolean;
+            lexical_windows: boolean;
+            ordinal_identity_sequence: boolean;
+        };
+        attempt_digest: string;
+    }[];
+    accepted_plan_hash: string | null;
+    next_strategy_attempt: {
+        strategy_ref: {
+            kind: "project-indexer";
+            implementation_digest: string;
+            indexer_id: string;
+            strategy_id: string;
+        } | {
+            kind: "cli-builtin";
+            implementation_digest: string;
+            strategy_id: string;
+        };
+        strategy_digest: string;
+        strategy_order: number;
+        previous_attempt_digest: string | null;
+    } | null;
+    outcome: "partial" | "failed" | "completed";
+    user_gate_required: false;
+    profile_revision_ledger_consumed: false;
+    convergence_digest: string;
+}>;
+export type IndexerPartitionConvergenceRecord = z.infer<typeof indexerPartitionConvergenceRecordSchema>;
+export declare function validateIndexerPartitionConvergenceRecord(value: unknown): IndexerPartitionConvergenceRecord;
+export declare function convergeIndexerPartitionPlan(input: {
+    plan: unknown;
+    workset: IndexerMainPartitionWorkset;
+    canonical_inventory_members: readonly IndexerInventoryMember[];
+    authorized_source_refs: readonly string[];
+    authorized_strategies: readonly {
+        strategy_ref: IndexerPartitionStrategy;
+        strategy_digest: string;
+    }[];
+    required_question_target_refs?: readonly string[];
+    previous_record?: unknown;
+}): IndexerPartitionConvergenceRecord;
+export declare function validateIndexerPartitionStrategyAttempt(input: {
+    attempt: unknown;
+    workset: IndexerMainPartitionWorkset;
+    authorized_strategies: readonly {
+        strategy_ref: IndexerPartitionStrategy;
+        strategy_digest: string;
+    }[];
+}): IndexerPartitionStrategyAttempt;
+export {};