@c4a/context 0.6.19 → 0.7.0

package/indexerPostAuthorComposition.d.ts

@@ -0,0 +1,2000 @@
+import { z } from "zod";
+import { type IndexerMaterializedLayerFragment } from "./indexerLayerComposition.js";
+import type { IndexerJson } from "./indexerRegistry.js";
+declare const primaryFactSchema: z.ZodObject<{
+    fact_ref: z.ZodString;
+    subject_key: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.subject-key/v1">;
+        namespace: z.ZodEffects<z.ZodString, string, string>;
+        kind: z.ZodEffects<z.ZodString, string, string>;
+        local_key: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    }, {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    }>;
+    fact_kind: z.ZodEffects<z.ZodString, string, string>;
+    value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+    evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+        source_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }>, "many">, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[], {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[]>;
+}, "strict", z.ZodTypeAny, {
+    value: IndexerJson;
+    evidence_refs: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[];
+    fact_ref: string;
+    fact_kind: string;
+    subject_key: {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    };
+}, {
+    value: IndexerJson;
+    evidence_refs: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[];
+    fact_ref: string;
+    fact_kind: string;
+    subject_key: {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    };
+}>;
+declare const primaryArtifactSchema: z.ZodObject<{
+    artifact_ref: z.ZodString;
+    subject_key: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.subject-key/v1">;
+        namespace: z.ZodEffects<z.ZodString, string, string>;
+        kind: z.ZodEffects<z.ZodString, string, string>;
+        local_key: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    }, {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    }>;
+    artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+    artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+    variables: z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>;
+    evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+        source_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }>, "many">, {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[], {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[]>;
+}, "strict", z.ZodTypeAny, {
+    evidence_refs: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[];
+    artifact_kind: string;
+    artifact_policy_variant: string;
+    variables: Record<string, IndexerJson>;
+    subject_key: {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    };
+    artifact_ref: string;
+}, {
+    evidence_refs: {
+        kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+        ref: string;
+        source_digest: string;
+    }[];
+    artifact_kind: string;
+    artifact_policy_variant: string;
+    variables: Record<string, IndexerJson>;
+    subject_key: {
+        kind: string;
+        protocol: "context.subject-key/v1";
+        namespace: string;
+        local_key: string;
+    };
+    artifact_ref: string;
+}>;
+export declare const indexerPrimaryResultViewSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.primary-result-view/v1">;
+    workset_digest: z.ZodString;
+    primary_result_digest: z.ZodString;
+    primary_result_protocol: z.ZodLiteral<"context.indexer.main-result/v1">;
+    facts: z.ZodArray<z.ZodObject<{
+        fact_ref: z.ZodString;
+        subject_key: z.ZodObject<{
+            protocol: z.ZodLiteral<"context.subject-key/v1">;
+            namespace: z.ZodEffects<z.ZodString, string, string>;
+            kind: z.ZodEffects<z.ZodString, string, string>;
+            local_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        }, {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        }>;
+        fact_kind: z.ZodEffects<z.ZodString, string, string>;
+        value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+        evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+            source_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }>, "many">, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[], {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[]>;
+    }, "strict", z.ZodTypeAny, {
+        value: IndexerJson;
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+    }, {
+        value: IndexerJson;
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+    }>, "many">;
+    artifacts: z.ZodArray<z.ZodObject<{
+        artifact_ref: z.ZodString;
+        subject_key: z.ZodObject<{
+            protocol: z.ZodLiteral<"context.subject-key/v1">;
+            namespace: z.ZodEffects<z.ZodString, string, string>;
+            kind: z.ZodEffects<z.ZodString, string, string>;
+            local_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        }, {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        }>;
+        artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+        variables: z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>;
+        evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+            ref: z.ZodString;
+            kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+            source_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }>, "many">, {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[], {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[]>;
+    }, "strict", z.ZodTypeAny, {
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        artifact_policy_variant: string;
+        variables: Record<string, IndexerJson>;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+        artifact_ref: string;
+    }, {
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        artifact_policy_variant: string;
+        variables: Record<string, IndexerJson>;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+        artifact_ref: string;
+    }>, "many">;
+    view_digest: z.ZodString;
+    materialization_receipt: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.primary-result-view-materialization-receipt/v1">;
+        workset_digest: z.ZodString;
+        primary_result_digest: z.ZodString;
+        view_digest: z.ZodString;
+        validator_contract_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    }, {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.primary-result-view/v1";
+    facts: {
+        value: IndexerJson;
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+    }[];
+    workset_digest: string;
+    materialization_receipt: {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    };
+    view_digest: string;
+    artifacts: {
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        artifact_policy_variant: string;
+        variables: Record<string, IndexerJson>;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+        artifact_ref: string;
+    }[];
+    primary_result_digest: string;
+    primary_result_protocol: "context.indexer.main-result/v1";
+}, {
+    protocol: "context.indexer.primary-result-view/v1";
+    facts: {
+        value: IndexerJson;
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        fact_ref: string;
+        fact_kind: string;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+    }[];
+    workset_digest: string;
+    materialization_receipt: {
+        protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+        workset_digest: string;
+        validator_contract_digest: string;
+        view_digest: string;
+        primary_result_digest: string;
+    };
+    view_digest: string;
+    artifacts: {
+        evidence_refs: {
+            kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+            ref: string;
+            source_digest: string;
+        }[];
+        artifact_kind: string;
+        artifact_policy_variant: string;
+        variables: Record<string, IndexerJson>;
+        subject_key: {
+            kind: string;
+            protocol: "context.subject-key/v1";
+            namespace: string;
+            local_key: string;
+        };
+        artifact_ref: string;
+    }[];
+    primary_result_digest: string;
+    primary_result_protocol: "context.indexer.main-result/v1";
+}>;
+export type IndexerPrimaryFactView = z.infer<typeof primaryFactSchema>;
+export type IndexerPrimaryArtifactView = z.infer<typeof primaryArtifactSchema>;
+export type IndexerPrimaryResultView = z.infer<typeof indexerPrimaryResultViewSchema>;
+type PrimaryResultViewContent = Omit<IndexerPrimaryResultView, "view_digest" | "materialization_receipt">;
+export declare function indexerPrimaryResultViewDigest(view: PrimaryResultViewContent): string;
+export declare function materializeIndexerPrimaryResultView(input: {
+    workset_digest: string;
+    primary_result_digest: string;
+    facts: readonly IndexerPrimaryFactView[];
+    artifacts: readonly IndexerPrimaryArtifactView[];
+    validator_contract_digest: string;
+}): IndexerPrimaryResultView;
+export declare function validateIndexerPrimaryResultView(value: unknown): IndexerPrimaryResultView;
+declare const composerSelectionSchema: z.ZodObject<{
+    id: z.ZodEffects<z.ZodString, string, string>;
+    provider: z.ZodEffects<z.ZodString, string, string>;
+    composer_selection_entry_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    provider: string;
+    composer_selection_entry_digest: string;
+}, {
+    id: string;
+    provider: string;
+    composer_selection_entry_digest: string;
+}>;
+declare const composerManifestLayerSchema: z.ZodObject<{
+    provider: z.ZodEffects<z.ZodString, string, string>;
+    layer_ref: z.ZodEffects<z.ZodString, string, string>;
+    layer_integrity: z.ZodString;
+    bundle_digest: z.ZodString;
+    composers: z.ZodArray<z.ZodObject<{
+        id: z.ZodEffects<z.ZodString, string, string>;
+        supported_profiles: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        contract: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+            instruction: z.ZodEffects<z.ZodString, string, string>;
+            primary_requirements: z.ZodObject<{
+                fact_kinds: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+                artifact_kinds: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+            }, "strict", z.ZodTypeAny, {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            }, {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            }>;
+            derived_artifact_policy: z.ZodObject<{
+                fragment_protocol: z.ZodLiteral<"context.indexer.layer-fragment/v1">;
+                fragment_kind: z.ZodLiteral<"derived-artifact-proposal">;
+                artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+                artifact_kinds: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+            }, "strict", z.ZodTypeAny, {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            }, {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            }>;
+            empty_result: z.ZodObject<{
+                result_protocol: z.ZodLiteral<"context.indexer.layer-fragment-result/v1">;
+                behavior: z.ZodLiteral<"empty-fragment-set">;
+            }, "strict", z.ZodTypeAny, {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            }, {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        }, {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        }>, {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        }, {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        supported_profiles: string[];
+        contract?: {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        } | undefined;
+    }, {
+        id: string;
+        supported_profiles: string[];
+        contract?: {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        } | undefined;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    provider: string;
+    composers: {
+        id: string;
+        supported_profiles: string[];
+        contract?: {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        } | undefined;
+    }[];
+    layer_ref: string;
+    layer_integrity: string;
+    bundle_digest: string;
+}, {
+    provider: string;
+    composers: {
+        id: string;
+        supported_profiles: string[];
+        contract?: {
+            instruction: string;
+            primary_requirements: {
+                artifact_kinds: string[];
+                fact_kinds: string[];
+            };
+            derived_artifact_policy: {
+                artifact_policy_variant: string;
+                artifact_kinds: string[];
+                fragment_protocol: "context.indexer.layer-fragment/v1";
+                fragment_kind: "derived-artifact-proposal";
+            };
+            empty_result: {
+                result_protocol: "context.indexer.layer-fragment-result/v1";
+                behavior: "empty-fragment-set";
+            };
+        } | undefined;
+    }[];
+    layer_ref: string;
+    layer_integrity: string;
+    bundle_digest: string;
+}>;
+export declare const indexerEffectiveComposerSchema: z.ZodObject<{
+    composer_ref: z.ZodEffects<z.ZodString, string, string>;
+    composer_id: z.ZodEffects<z.ZodString, string, string>;
+    provider: z.ZodEffects<z.ZodString, string, string>;
+    composer_selection_entry_digest: z.ZodString;
+    target_layer_ref: z.ZodEffects<z.ZodString, string, string>;
+    target_layer_integrity: z.ZodString;
+    target_bundle_digest: z.ZodString;
+    composer_contract_digest: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    provider: string;
+    composer_ref: string;
+    composer_id: string;
+    composer_selection_entry_digest: string;
+    target_layer_ref: string;
+    target_layer_integrity: string;
+    target_bundle_digest: string;
+    composer_contract_digest?: string | undefined;
+}, {
+    provider: string;
+    composer_ref: string;
+    composer_id: string;
+    composer_selection_entry_digest: string;
+    target_layer_ref: string;
+    target_layer_integrity: string;
+    target_bundle_digest: string;
+    composer_contract_digest?: string | undefined;
+}>;
+export type IndexerEffectiveComposer = z.infer<typeof indexerEffectiveComposerSchema>;
+export declare const indexerEffectiveComposerSetSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.effective-composer-set/v1">;
+    entries: z.ZodArray<z.ZodObject<{
+        composer_ref: z.ZodEffects<z.ZodString, string, string>;
+        composer_id: z.ZodEffects<z.ZodString, string, string>;
+        provider: z.ZodEffects<z.ZodString, string, string>;
+        composer_selection_entry_digest: z.ZodString;
+        target_layer_ref: z.ZodEffects<z.ZodString, string, string>;
+        target_layer_integrity: z.ZodString;
+        target_bundle_digest: z.ZodString;
+        composer_contract_digest: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        provider: string;
+        composer_ref: string;
+        composer_id: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        composer_contract_digest?: string | undefined;
+    }, {
+        provider: string;
+        composer_ref: string;
+        composer_id: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        composer_contract_digest?: string | undefined;
+    }>, "many">;
+    effective_composer_set_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    entries: {
+        provider: string;
+        composer_ref: string;
+        composer_id: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        composer_contract_digest?: string | undefined;
+    }[];
+    protocol: "context.indexer.effective-composer-set/v1";
+    effective_composer_set_digest: string;
+}, {
+    entries: {
+        provider: string;
+        composer_ref: string;
+        composer_id: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        composer_contract_digest?: string | undefined;
+    }[];
+    protocol: "context.indexer.effective-composer-set/v1";
+    effective_composer_set_digest: string;
+}>;
+export type IndexerEffectiveComposerSet = z.infer<typeof indexerEffectiveComposerSetSchema>;
+export declare function validateIndexerEffectiveComposerSet(value: unknown): IndexerEffectiveComposerSet;
+export declare function resolveEffectiveIndexerComposers(input: {
+    selections: readonly z.infer<typeof composerSelectionSchema>[];
+    manifest_layers: readonly z.infer<typeof composerManifestLayerSchema>[];
+    current_profiles: readonly string[];
+}): IndexerEffectiveComposerSet;
+export declare const indexerPostAuthorWorksetSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.post-author-workset/v1">;
+    workset_digest: z.ZodString;
+    author_workset_digest: z.ZodString;
+    primary_result_digest: z.ZodString;
+    primary_result_view_digest: z.ZodString;
+    composer_ref: z.ZodEffects<z.ZodString, string, string>;
+    composer_selection_entry_digest: z.ZodString;
+    target_layer_ref: z.ZodEffects<z.ZodString, string, string>;
+    target_layer_integrity: z.ZodString;
+    target_bundle_digest: z.ZodString;
+    composer_contract_digest: z.ZodOptional<z.ZodString>;
+    current_profile_binding_digest: z.ZodString;
+    composer_execution_fingerprint: z.ZodString;
+    allowed_target_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.post-author-workset/v1";
+    composer_ref: string;
+    workset_digest: string;
+    author_workset_digest: string;
+    primary_result_digest: string;
+    composer_selection_entry_digest: string;
+    target_layer_ref: string;
+    target_layer_integrity: string;
+    target_bundle_digest: string;
+    primary_result_view_digest: string;
+    current_profile_binding_digest: string;
+    composer_execution_fingerprint: string;
+    allowed_target_refs: string[];
+    composer_contract_digest?: string | undefined;
+}, {
+    protocol: "context.indexer.post-author-workset/v1";
+    composer_ref: string;
+    workset_digest: string;
+    author_workset_digest: string;
+    primary_result_digest: string;
+    composer_selection_entry_digest: string;
+    target_layer_ref: string;
+    target_layer_integrity: string;
+    target_bundle_digest: string;
+    primary_result_view_digest: string;
+    current_profile_binding_digest: string;
+    composer_execution_fingerprint: string;
+    allowed_target_refs: string[];
+    composer_contract_digest?: string | undefined;
+}>;
+export type IndexerPostAuthorWorkset = z.infer<typeof indexerPostAuthorWorksetSchema>;
+export declare function indexerPostAuthorWorksetDigest(workset: Omit<IndexerPostAuthorWorkset, "workset_digest">): string;
+export declare const indexerPostAuthorWorksetSetSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.post-author-workset-set/v1">;
+    workset_set_digest: z.ZodString;
+    effective_composer_set_digest: z.ZodString;
+    primary_result_view_digest: z.ZodOptional<z.ZodString>;
+    items: z.ZodArray<z.ZodObject<{
+        workset_digest: z.ZodString;
+        composer_ref: z.ZodEffects<z.ZodString, string, string>;
+        composer_selection_entry_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        composer_ref: string;
+        workset_digest: string;
+        composer_selection_entry_digest: string;
+    }, {
+        composer_ref: string;
+        workset_digest: string;
+        composer_selection_entry_digest: string;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.post-author-workset-set/v1";
+    workset_set_digest: string;
+    items: {
+        composer_ref: string;
+        workset_digest: string;
+        composer_selection_entry_digest: string;
+    }[];
+    effective_composer_set_digest: string;
+    primary_result_view_digest?: string | undefined;
+}, {
+    protocol: "context.indexer.post-author-workset-set/v1";
+    workset_set_digest: string;
+    items: {
+        composer_ref: string;
+        workset_digest: string;
+        composer_selection_entry_digest: string;
+    }[];
+    effective_composer_set_digest: string;
+    primary_result_view_digest?: string | undefined;
+}>;
+export type IndexerPostAuthorWorksetSet = z.infer<typeof indexerPostAuthorWorksetSetSchema>;
+export declare function indexerPostAuthorWorksetSetDigest(value: Omit<IndexerPostAuthorWorksetSet, "workset_set_digest">): string;
+export type IndexerPostAuthorPlan = {
+    state: "not-required";
+    primary_result_view: null;
+    worksets: [];
+    workset_set: IndexerPostAuthorWorksetSet;
+} | {
+    state: "pending";
+    primary_result_view: IndexerPrimaryResultView;
+    worksets: IndexerPostAuthorWorkset[];
+    workset_set: IndexerPostAuthorWorksetSet;
+};
+export declare function planIndexerPostAuthorComposition(input: {
+    effective_composer_set: IndexerEffectiveComposerSet;
+    author_workset_digest: string;
+    primary_result_digest: string;
+    primary_facts: readonly IndexerPrimaryFactView[];
+    primary_artifacts: readonly IndexerPrimaryArtifactView[];
+    validator_contract_digest: string;
+    current_profile_binding_digest: string;
+    allowed_target_refs: readonly string[];
+}): IndexerPostAuthorPlan;
+export declare const indexerPostAuthorFragmentRequestSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.layer-fragment-request/v1">;
+    operation: z.ZodLiteral<"main-index">;
+    phase: z.ZodLiteral<"post-author">;
+    target_layer_ref: z.ZodEffects<z.ZodString, string, string>;
+    target_layer_integrity: z.ZodString;
+    target_bundle_digest: z.ZodString;
+    allowed_fragment_kinds: z.ZodTuple<[z.ZodLiteral<"derived-artifact-proposal">], null>;
+    allowed_target_refs: z.ZodArray<z.ZodString, "many">;
+    workset: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.post-author-workset/v1">;
+        workset_digest: z.ZodString;
+        author_workset_digest: z.ZodString;
+        primary_result_digest: z.ZodString;
+        primary_result_view_digest: z.ZodString;
+        composer_ref: z.ZodEffects<z.ZodString, string, string>;
+        composer_selection_entry_digest: z.ZodString;
+        target_layer_ref: z.ZodEffects<z.ZodString, string, string>;
+        target_layer_integrity: z.ZodString;
+        target_bundle_digest: z.ZodString;
+        composer_contract_digest: z.ZodOptional<z.ZodString>;
+        current_profile_binding_digest: z.ZodString;
+        composer_execution_fingerprint: z.ZodString;
+        allowed_target_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.post-author-workset/v1";
+        composer_ref: string;
+        workset_digest: string;
+        author_workset_digest: string;
+        primary_result_digest: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        primary_result_view_digest: string;
+        current_profile_binding_digest: string;
+        composer_execution_fingerprint: string;
+        allowed_target_refs: string[];
+        composer_contract_digest?: string | undefined;
+    }, {
+        protocol: "context.indexer.post-author-workset/v1";
+        composer_ref: string;
+        workset_digest: string;
+        author_workset_digest: string;
+        primary_result_digest: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        primary_result_view_digest: string;
+        current_profile_binding_digest: string;
+        composer_execution_fingerprint: string;
+        allowed_target_refs: string[];
+        composer_contract_digest?: string | undefined;
+    }>;
+    composer_ref: z.ZodEffects<z.ZodString, string, string>;
+    composer_selection_entry_digest: z.ZodString;
+    current_profile_binding_digest: z.ZodString;
+    primary_result_view: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.primary-result-view/v1">;
+        workset_digest: z.ZodString;
+        primary_result_digest: z.ZodString;
+        primary_result_protocol: z.ZodLiteral<"context.indexer.main-result/v1">;
+        facts: z.ZodArray<z.ZodObject<{
+            fact_ref: z.ZodString;
+            subject_key: z.ZodObject<{
+                protocol: z.ZodLiteral<"context.subject-key/v1">;
+                namespace: z.ZodEffects<z.ZodString, string, string>;
+                kind: z.ZodEffects<z.ZodString, string, string>;
+                local_key: z.ZodEffects<z.ZodString, string, string>;
+            }, "strict", z.ZodTypeAny, {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            }, {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            }>;
+            fact_kind: z.ZodEffects<z.ZodString, string, string>;
+            value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+            evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+                ref: z.ZodString;
+                kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+                source_digest: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }, {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }>, "many">, {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[], {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[]>;
+        }, "strict", z.ZodTypeAny, {
+            value: IndexerJson;
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            fact_ref: string;
+            fact_kind: string;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+        }, {
+            value: IndexerJson;
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            fact_ref: string;
+            fact_kind: string;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+        }>, "many">;
+        artifacts: z.ZodArray<z.ZodObject<{
+            artifact_ref: z.ZodString;
+            subject_key: z.ZodObject<{
+                protocol: z.ZodLiteral<"context.subject-key/v1">;
+                namespace: z.ZodEffects<z.ZodString, string, string>;
+                kind: z.ZodEffects<z.ZodString, string, string>;
+                local_key: z.ZodEffects<z.ZodString, string, string>;
+            }, "strict", z.ZodTypeAny, {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            }, {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            }>;
+            artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+            artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+            variables: z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>;
+            evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+                ref: z.ZodString;
+                kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+                source_digest: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }, {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }>, "many">, {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[], {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[]>;
+        }, "strict", z.ZodTypeAny, {
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            artifact_kind: string;
+            artifact_policy_variant: string;
+            variables: Record<string, IndexerJson>;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+            artifact_ref: string;
+        }, {
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            artifact_kind: string;
+            artifact_policy_variant: string;
+            variables: Record<string, IndexerJson>;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+            artifact_ref: string;
+        }>, "many">;
+        view_digest: z.ZodString;
+        materialization_receipt: z.ZodObject<{
+            protocol: z.ZodLiteral<"context.indexer.primary-result-view-materialization-receipt/v1">;
+            workset_digest: z.ZodString;
+            primary_result_digest: z.ZodString;
+            view_digest: z.ZodString;
+            validator_contract_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+            workset_digest: string;
+            validator_contract_digest: string;
+            view_digest: string;
+            primary_result_digest: string;
+        }, {
+            protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+            workset_digest: string;
+            validator_contract_digest: string;
+            view_digest: string;
+            primary_result_digest: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.primary-result-view/v1";
+        facts: {
+            value: IndexerJson;
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            fact_ref: string;
+            fact_kind: string;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+        }[];
+        workset_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+            workset_digest: string;
+            validator_contract_digest: string;
+            view_digest: string;
+            primary_result_digest: string;
+        };
+        view_digest: string;
+        artifacts: {
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            artifact_kind: string;
+            artifact_policy_variant: string;
+            variables: Record<string, IndexerJson>;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+            artifact_ref: string;
+        }[];
+        primary_result_digest: string;
+        primary_result_protocol: "context.indexer.main-result/v1";
+    }, {
+        protocol: "context.indexer.primary-result-view/v1";
+        facts: {
+            value: IndexerJson;
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            fact_ref: string;
+            fact_kind: string;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+        }[];
+        workset_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+            workset_digest: string;
+            validator_contract_digest: string;
+            view_digest: string;
+            primary_result_digest: string;
+        };
+        view_digest: string;
+        artifacts: {
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            artifact_kind: string;
+            artifact_policy_variant: string;
+            variables: Record<string, IndexerJson>;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+            artifact_ref: string;
+        }[];
+        primary_result_digest: string;
+        primary_result_protocol: "context.indexer.main-result/v1";
+    }>;
+    request_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    operation: "main-index";
+    protocol: "context.indexer.layer-fragment-request/v1";
+    composer_ref: string;
+    phase: "post-author";
+    request_digest: string;
+    workset: {
+        protocol: "context.indexer.post-author-workset/v1";
+        composer_ref: string;
+        workset_digest: string;
+        author_workset_digest: string;
+        primary_result_digest: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        primary_result_view_digest: string;
+        current_profile_binding_digest: string;
+        composer_execution_fingerprint: string;
+        allowed_target_refs: string[];
+        composer_contract_digest?: string | undefined;
+    };
+    composer_selection_entry_digest: string;
+    target_layer_ref: string;
+    target_layer_integrity: string;
+    target_bundle_digest: string;
+    current_profile_binding_digest: string;
+    allowed_target_refs: string[];
+    allowed_fragment_kinds: ["derived-artifact-proposal"];
+    primary_result_view: {
+        protocol: "context.indexer.primary-result-view/v1";
+        facts: {
+            value: IndexerJson;
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            fact_ref: string;
+            fact_kind: string;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+        }[];
+        workset_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+            workset_digest: string;
+            validator_contract_digest: string;
+            view_digest: string;
+            primary_result_digest: string;
+        };
+        view_digest: string;
+        artifacts: {
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            artifact_kind: string;
+            artifact_policy_variant: string;
+            variables: Record<string, IndexerJson>;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+            artifact_ref: string;
+        }[];
+        primary_result_digest: string;
+        primary_result_protocol: "context.indexer.main-result/v1";
+    };
+}, {
+    operation: "main-index";
+    protocol: "context.indexer.layer-fragment-request/v1";
+    composer_ref: string;
+    phase: "post-author";
+    request_digest: string;
+    workset: {
+        protocol: "context.indexer.post-author-workset/v1";
+        composer_ref: string;
+        workset_digest: string;
+        author_workset_digest: string;
+        primary_result_digest: string;
+        composer_selection_entry_digest: string;
+        target_layer_ref: string;
+        target_layer_integrity: string;
+        target_bundle_digest: string;
+        primary_result_view_digest: string;
+        current_profile_binding_digest: string;
+        composer_execution_fingerprint: string;
+        allowed_target_refs: string[];
+        composer_contract_digest?: string | undefined;
+    };
+    composer_selection_entry_digest: string;
+    target_layer_ref: string;
+    target_layer_integrity: string;
+    target_bundle_digest: string;
+    current_profile_binding_digest: string;
+    allowed_target_refs: string[];
+    allowed_fragment_kinds: ["derived-artifact-proposal"];
+    primary_result_view: {
+        protocol: "context.indexer.primary-result-view/v1";
+        facts: {
+            value: IndexerJson;
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            fact_ref: string;
+            fact_kind: string;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+        }[];
+        workset_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.primary-result-view-materialization-receipt/v1";
+            workset_digest: string;
+            validator_contract_digest: string;
+            view_digest: string;
+            primary_result_digest: string;
+        };
+        view_digest: string;
+        artifacts: {
+            evidence_refs: {
+                kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                ref: string;
+                source_digest: string;
+            }[];
+            artifact_kind: string;
+            artifact_policy_variant: string;
+            variables: Record<string, IndexerJson>;
+            subject_key: {
+                kind: string;
+                protocol: "context.subject-key/v1";
+                namespace: string;
+                local_key: string;
+            };
+            artifact_ref: string;
+        }[];
+        primary_result_digest: string;
+        primary_result_protocol: "context.indexer.main-result/v1";
+    };
+}>;
+export type IndexerPostAuthorFragmentRequest = z.infer<typeof indexerPostAuthorFragmentRequestSchema>;
+export declare function validateIndexerPostAuthorFragmentRequest(value: unknown): IndexerPostAuthorFragmentRequest;
+export declare function buildIndexerPostAuthorFragmentRequest(input: {
+    workset: IndexerPostAuthorWorkset;
+    primary_result_view: IndexerPrimaryResultView;
+}): IndexerPostAuthorFragmentRequest;
+export declare const indexerLayerFragmentRunResultSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.layer-fragment-result/v1">;
+    request_digest: z.ZodString;
+    composer_ref: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    consumed_primary_result_view_digest: z.ZodOptional<z.ZodString>;
+    fragments: z.ZodArray<z.ZodUnknown, "many">;
+    result_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.layer-fragment-result/v1";
+    request_digest: string;
+    result_digest: string;
+    fragments: unknown[];
+    composer_ref?: string | undefined;
+    consumed_primary_result_view_digest?: string | undefined;
+}, {
+    protocol: "context.indexer.layer-fragment-result/v1";
+    request_digest: string;
+    result_digest: string;
+    fragments: unknown[];
+    composer_ref?: string | undefined;
+    consumed_primary_result_view_digest?: string | undefined;
+}>;
+export type IndexerLayerFragmentRunResult = z.infer<typeof indexerLayerFragmentRunResultSchema>;
+export declare const indexerComposerInvocationReceiptSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.composer-invocation-receipt/v1">;
+    composer_ref: z.ZodEffects<z.ZodString, string, string>;
+    composer_selection_entry_digest: z.ZodString;
+    layer_ref: z.ZodEffects<z.ZodString, string, string>;
+    layer_integrity: z.ZodString;
+    request_digest: z.ZodString;
+    primary_result_view_digest: z.ZodString;
+    consumed_primary_result_view_digest: z.ZodString;
+    result_digest: z.ZodString;
+    fragment_digests: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.composer-invocation-receipt/v1";
+    composer_ref: string;
+    layer_ref: string;
+    layer_integrity: string;
+    request_digest: string;
+    result_digest: string;
+    composer_selection_entry_digest: string;
+    primary_result_view_digest: string;
+    consumed_primary_result_view_digest: string;
+    fragment_digests: string[];
+}, {
+    protocol: "context.indexer.composer-invocation-receipt/v1";
+    composer_ref: string;
+    layer_ref: string;
+    layer_integrity: string;
+    request_digest: string;
+    result_digest: string;
+    composer_selection_entry_digest: string;
+    primary_result_view_digest: string;
+    consumed_primary_result_view_digest: string;
+    fragment_digests: string[];
+}>;
+export type IndexerComposerInvocationReceipt = z.infer<typeof indexerComposerInvocationReceiptSchema>;
+export declare function validateIndexerPostAuthorFragmentResult(input: {
+    request: IndexerPostAuthorFragmentRequest;
+    result: unknown;
+    validator_contract_digest: string;
+}): {
+    result: IndexerLayerFragmentRunResult;
+    fragments: IndexerMaterializedLayerFragment[];
+    receipt: IndexerComposerInvocationReceipt;
+};
+export declare const indexerComposedResultEnvelopeSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.composed-result-envelope/v1">;
+    workset_digest: z.ZodString;
+    primary_result_digest: z.ZodString;
+    primary_result_view_digest: z.ZodString;
+    accepted_input_view_digest: z.ZodString;
+    effective_composer_set_digest: z.ZodString;
+    accepted_post_author_fragments: z.ZodArray<z.ZodObject<{
+        fragment_digest: z.ZodString;
+        layer_ref: z.ZodEffects<z.ZodString, string, string>;
+        layer_integrity: z.ZodString;
+        composer_ref: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        phase: z.ZodEnum<["pre-authority", "post-author"]>;
+        kind: z.ZodEnum<["fact-enrichment", "template-variables", "derived-artifact-proposal"]>;
+        target_refs: z.ZodArray<z.ZodString, "many">;
+        payload: z.ZodUnion<[z.ZodObject<{
+            protocol: z.ZodLiteral<"context.indexer.fragment.fact-enrichment/v1">;
+            facts: z.ZodArray<z.ZodObject<{
+                target_ref: z.ZodString;
+                fact_id: z.ZodEffects<z.ZodString, string, string>;
+                value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+                evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+                    ref: z.ZodString;
+                    kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+                    source_digest: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }>, "many">, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[], {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[]>;
+            }, "strict", z.ZodTypeAny, {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }, {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            protocol: "context.indexer.fragment.fact-enrichment/v1";
+            facts: {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }[];
+        }, {
+            protocol: "context.indexer.fragment.fact-enrichment/v1";
+            facts: {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }[];
+        }>, z.ZodObject<{
+            protocol: z.ZodLiteral<"context.indexer.fragment.template-variables/v1">;
+            variables: z.ZodArray<z.ZodObject<{
+                target_ref: z.ZodString;
+                template_id: z.ZodEffects<z.ZodString, string, string>;
+                variable_id: z.ZodEffects<z.ZodString, string, string>;
+                value: z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>;
+                evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+                    ref: z.ZodString;
+                    kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+                    source_digest: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }>, "many">, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[], {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[]>;
+            }, "strict", z.ZodTypeAny, {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }, {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            protocol: "context.indexer.fragment.template-variables/v1";
+            variables: {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }[];
+        }, {
+            protocol: "context.indexer.fragment.template-variables/v1";
+            variables: {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }[];
+        }>, z.ZodObject<{
+            protocol: z.ZodLiteral<"context.indexer.fragment.derived-artifact-proposal/v1">;
+            proposals: z.ZodArray<z.ZodObject<{
+                composer_ref: z.ZodEffects<z.ZodString, string, string>;
+                target_node_ref: z.ZodString;
+                artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+                artifact_key: z.ZodEffects<z.ZodString, string, string>;
+                artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+                variables: z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>;
+                evidence_refs: z.ZodEffects<z.ZodArray<z.ZodObject<{
+                    ref: z.ZodString;
+                    kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
+                    source_digest: z.ZodString;
+                }, "strict", z.ZodTypeAny, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }>, "many">, {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[], {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[]>;
+            }, "strict", z.ZodTypeAny, {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }, {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            protocol: "context.indexer.fragment.derived-artifact-proposal/v1";
+            proposals: {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }[];
+        }, {
+            protocol: "context.indexer.fragment.derived-artifact-proposal/v1";
+            proposals: {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }[];
+        }>]>;
+        payload_digest: z.ZodString;
+        materialization_receipt: z.ZodObject<{
+            protocol: z.ZodLiteral<"context.indexer.layer-fragment-materialization-receipt/v1">;
+            fragment_digest: z.ZodString;
+            payload_digest: z.ZodString;
+            layer_ref: z.ZodEffects<z.ZodString, string, string>;
+            layer_integrity: z.ZodString;
+            composer_ref: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+            validator_contract_digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            protocol: "context.indexer.layer-fragment-materialization-receipt/v1";
+            layer_ref: string;
+            layer_integrity: string;
+            fragment_digest: string;
+            payload_digest: string;
+            validator_contract_digest: string;
+            composer_ref?: string | undefined;
+        }, {
+            protocol: "context.indexer.layer-fragment-materialization-receipt/v1";
+            layer_ref: string;
+            layer_integrity: string;
+            fragment_digest: string;
+            payload_digest: string;
+            validator_contract_digest: string;
+            composer_ref?: string | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "fact-enrichment" | "template-variables" | "derived-artifact-proposal";
+        layer_ref: string;
+        layer_integrity: string;
+        phase: "pre-authority" | "post-author";
+        target_refs: string[];
+        payload: {
+            protocol: "context.indexer.fragment.fact-enrichment/v1";
+            facts: {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.template-variables/v1";
+            variables: {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.derived-artifact-proposal/v1";
+            proposals: {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }[];
+        };
+        fragment_digest: string;
+        payload_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.layer-fragment-materialization-receipt/v1";
+            layer_ref: string;
+            layer_integrity: string;
+            fragment_digest: string;
+            payload_digest: string;
+            validator_contract_digest: string;
+            composer_ref?: string | undefined;
+        };
+        composer_ref?: string | undefined;
+    }, {
+        kind: "fact-enrichment" | "template-variables" | "derived-artifact-proposal";
+        layer_ref: string;
+        layer_integrity: string;
+        phase: "pre-authority" | "post-author";
+        target_refs: string[];
+        payload: {
+            protocol: "context.indexer.fragment.fact-enrichment/v1";
+            facts: {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.template-variables/v1";
+            variables: {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.derived-artifact-proposal/v1";
+            proposals: {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }[];
+        };
+        fragment_digest: string;
+        payload_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.layer-fragment-materialization-receipt/v1";
+            layer_ref: string;
+            layer_integrity: string;
+            fragment_digest: string;
+            payload_digest: string;
+            validator_contract_digest: string;
+            composer_ref?: string | undefined;
+        };
+        composer_ref?: string | undefined;
+    }>, "many">;
+    composer_invocation_receipts: z.ZodArray<z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.composer-invocation-receipt/v1">;
+        composer_ref: z.ZodEffects<z.ZodString, string, string>;
+        composer_selection_entry_digest: z.ZodString;
+        layer_ref: z.ZodEffects<z.ZodString, string, string>;
+        layer_integrity: z.ZodString;
+        request_digest: z.ZodString;
+        primary_result_view_digest: z.ZodString;
+        consumed_primary_result_view_digest: z.ZodString;
+        result_digest: z.ZodString;
+        fragment_digests: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.composer-invocation-receipt/v1";
+        composer_ref: string;
+        layer_ref: string;
+        layer_integrity: string;
+        request_digest: string;
+        result_digest: string;
+        composer_selection_entry_digest: string;
+        primary_result_view_digest: string;
+        consumed_primary_result_view_digest: string;
+        fragment_digests: string[];
+    }, {
+        protocol: "context.indexer.composer-invocation-receipt/v1";
+        composer_ref: string;
+        layer_ref: string;
+        layer_integrity: string;
+        request_digest: string;
+        result_digest: string;
+        composer_selection_entry_digest: string;
+        primary_result_view_digest: string;
+        consumed_primary_result_view_digest: string;
+        fragment_digests: string[];
+    }>, "many">;
+    composition_fingerprint: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.composed-result-envelope/v1";
+    workset_digest: string;
+    primary_result_digest: string;
+    effective_composer_set_digest: string;
+    primary_result_view_digest: string;
+    accepted_input_view_digest: string;
+    accepted_post_author_fragments: {
+        kind: "fact-enrichment" | "template-variables" | "derived-artifact-proposal";
+        layer_ref: string;
+        layer_integrity: string;
+        phase: "pre-authority" | "post-author";
+        target_refs: string[];
+        payload: {
+            protocol: "context.indexer.fragment.fact-enrichment/v1";
+            facts: {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.template-variables/v1";
+            variables: {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.derived-artifact-proposal/v1";
+            proposals: {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }[];
+        };
+        fragment_digest: string;
+        payload_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.layer-fragment-materialization-receipt/v1";
+            layer_ref: string;
+            layer_integrity: string;
+            fragment_digest: string;
+            payload_digest: string;
+            validator_contract_digest: string;
+            composer_ref?: string | undefined;
+        };
+        composer_ref?: string | undefined;
+    }[];
+    composer_invocation_receipts: {
+        protocol: "context.indexer.composer-invocation-receipt/v1";
+        composer_ref: string;
+        layer_ref: string;
+        layer_integrity: string;
+        request_digest: string;
+        result_digest: string;
+        composer_selection_entry_digest: string;
+        primary_result_view_digest: string;
+        consumed_primary_result_view_digest: string;
+        fragment_digests: string[];
+    }[];
+    composition_fingerprint: string;
+}, {
+    protocol: "context.indexer.composed-result-envelope/v1";
+    workset_digest: string;
+    primary_result_digest: string;
+    effective_composer_set_digest: string;
+    primary_result_view_digest: string;
+    accepted_input_view_digest: string;
+    accepted_post_author_fragments: {
+        kind: "fact-enrichment" | "template-variables" | "derived-artifact-proposal";
+        layer_ref: string;
+        layer_integrity: string;
+        phase: "pre-authority" | "post-author";
+        target_refs: string[];
+        payload: {
+            protocol: "context.indexer.fragment.fact-enrichment/v1";
+            facts: {
+                value: IndexerJson;
+                target_ref: string;
+                fact_id: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.template-variables/v1";
+            variables: {
+                value: IndexerJson;
+                target_ref: string;
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                template_id: string;
+                variable_id: string;
+            }[];
+        } | {
+            protocol: "context.indexer.fragment.derived-artifact-proposal/v1";
+            proposals: {
+                evidence_refs: {
+                    kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
+                    ref: string;
+                    source_digest: string;
+                }[];
+                composer_ref: string;
+                target_node_ref: string;
+                artifact_kind: string;
+                artifact_key: string;
+                artifact_policy_variant: string;
+                variables: Record<string, IndexerJson>;
+            }[];
+        };
+        fragment_digest: string;
+        payload_digest: string;
+        materialization_receipt: {
+            protocol: "context.indexer.layer-fragment-materialization-receipt/v1";
+            layer_ref: string;
+            layer_integrity: string;
+            fragment_digest: string;
+            payload_digest: string;
+            validator_contract_digest: string;
+            composer_ref?: string | undefined;
+        };
+        composer_ref?: string | undefined;
+    }[];
+    composer_invocation_receipts: {
+        protocol: "context.indexer.composer-invocation-receipt/v1";
+        composer_ref: string;
+        layer_ref: string;
+        layer_integrity: string;
+        request_digest: string;
+        result_digest: string;
+        composer_selection_entry_digest: string;
+        primary_result_view_digest: string;
+        consumed_primary_result_view_digest: string;
+        fragment_digests: string[];
+    }[];
+    composition_fingerprint: string;
+}>;
+export type IndexerComposedResultEnvelope = z.infer<typeof indexerComposedResultEnvelopeSchema>;
+export declare function composeIndexerPostAuthorEnvelope(input: {
+    workset_digest: string;
+    primary_result_digest: string;
+    primary_result_view: IndexerPrimaryResultView;
+    accepted_input_view_digest: string;
+    effective_composer_set: IndexerEffectiveComposerSet;
+    invocations: readonly {
+        receipt: IndexerComposerInvocationReceipt;
+        fragments: readonly IndexerMaterializedLayerFragment[];
+    }[];
+}): IndexerComposedResultEnvelope;
+export {};