@c4a/context 0.6.18 → 0.7.0

package/indexerAuditRevisionActions.d.ts

@@ -0,0 +1,236 @@
+import { z } from "zod";
+export declare const indexerProfileRevisionRecordInputSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.profile-revision-record-input/v1">;
+    lineage: z.ZodObject<{
+        protocol: z.ZodLiteral<"context.indexer.profile-problem-lineage/v1">;
+        requirement_lineage_id: z.ZodString;
+        source_material_epoch: z.ZodString;
+        unit_ref: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+        problem_class: z.ZodEffects<z.ZodString, string, string>;
+        lineage_id: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        protocol: "context.indexer.profile-problem-lineage/v1";
+        requirement_lineage_id: string;
+        source_material_epoch: string;
+        unit_ref: string;
+        problem_class: string;
+        lineage_id: string;
+    }, {
+        protocol: "context.indexer.profile-problem-lineage/v1";
+        requirement_lineage_id: string;
+        source_material_epoch: string;
+        unit_ref: string;
+        problem_class: string;
+        lineage_id: string;
+    }>;
+    precompile_audit_report_digest: z.ZodString;
+    audit_report_digest: z.ZodString;
+    indexer_result_fingerprint: z.ZodString;
+    actions_taken: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+    unresolved_reasons: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+    expected_ledger_digest: z.ZodString;
+    input_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.profile-revision-record-input/v1";
+    input_digest: string;
+    precompile_audit_report_digest: string;
+    audit_report_digest: string;
+    indexer_result_fingerprint: string;
+    actions_taken: string[];
+    unresolved_reasons: string[];
+    lineage: {
+        protocol: "context.indexer.profile-problem-lineage/v1";
+        requirement_lineage_id: string;
+        source_material_epoch: string;
+        unit_ref: string;
+        problem_class: string;
+        lineage_id: string;
+    };
+    expected_ledger_digest: string;
+}, {
+    protocol: "context.indexer.profile-revision-record-input/v1";
+    input_digest: string;
+    precompile_audit_report_digest: string;
+    audit_report_digest: string;
+    indexer_result_fingerprint: string;
+    actions_taken: string[];
+    unresolved_reasons: string[];
+    lineage: {
+        protocol: "context.indexer.profile-problem-lineage/v1";
+        requirement_lineage_id: string;
+        source_material_epoch: string;
+        unit_ref: string;
+        problem_class: string;
+        lineage_id: string;
+    };
+    expected_ledger_digest: string;
+}>;
+export declare const indexerProfileFailureReportInputSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.profile-failure-report-input/v1">;
+    lineage_id: z.ZodString;
+    precompile_audit_report_digest: z.ZodString;
+    audit_report_digest: z.ZodString;
+    expected_ledger_digest: z.ZodString;
+    module_profiles: z.ZodArray<z.ZodObject<{
+        unit_ref: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+        classification: z.ZodEffects<z.ZodString, string, string>;
+        primary_profile: z.ZodEffects<z.ZodString, string, string>;
+        additional_profiles: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        composers: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        profile_contract_digests: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        composers: string[];
+        classification: string;
+        profile_contract_digests: string[];
+        unit_ref: string;
+        primary_profile: string;
+        additional_profiles: string[];
+    }, {
+        composers: string[];
+        classification: string;
+        profile_contract_digests: string[];
+        unit_ref: string;
+        primary_profile: string;
+        additional_profiles: string[];
+    }>, "many">;
+    expected_artifacts: z.ZodArray<z.ZodObject<{
+        classification: z.ZodEffects<z.ZodString, string, string>;
+        bundle_variant: z.ZodEffects<z.ZodString, string, string>;
+        expected_artifact_kinds: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        anonymous_example: z.ZodEffects<z.ZodString, string, string>;
+        anonymous_anti_example: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        classification: string;
+        bundle_variant: string;
+        expected_artifact_kinds: string[];
+        anonymous_example: string;
+        anonymous_anti_example: string;
+    }, {
+        classification: string;
+        bundle_variant: string;
+        expected_artifact_kinds: string[];
+        anonymous_example: string;
+        anonymous_anti_example: string;
+    }>, "many">;
+    metrics: z.ZodArray<z.ZodObject<{
+        metric_id: z.ZodEffects<z.ZodString, string, string>;
+        unit: z.ZodEnum<["percent", "count", "ratio", "boolean"]>;
+        recommended: z.ZodNullable<z.ZodNumber>;
+        hard_gate: z.ZodNullable<z.ZodNumber>;
+        observed: z.ZodNullable<z.ZodNumber>;
+        denominator: z.ZodNumber;
+        sample_refs: z.ZodArray<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        denominator: number;
+        unit: "boolean" | "count" | "ratio" | "percent";
+        recommended: number | null;
+        metric_id: string;
+        hard_gate: number | null;
+        observed: number | null;
+        sample_refs: string[];
+    }, {
+        denominator: number;
+        unit: "boolean" | "count" | "ratio" | "percent";
+        recommended: number | null;
+        metric_id: string;
+        hard_gate: number | null;
+        observed: number | null;
+        sample_refs: string[];
+    }>, "many">;
+    likely_missing_inputs: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+    capability_losses: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+    options: z.ZodArray<z.ZodEnum<["provide-material", "change-scope", "correct-classification", "force-approve-risk"]>, "many">;
+    input_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.profile-failure-report-input/v1";
+    options: ("provide-material" | "change-scope" | "correct-classification" | "force-approve-risk")[];
+    metrics: {
+        denominator: number;
+        unit: "boolean" | "count" | "ratio" | "percent";
+        recommended: number | null;
+        metric_id: string;
+        hard_gate: number | null;
+        observed: number | null;
+        sample_refs: string[];
+    }[];
+    input_digest: string;
+    precompile_audit_report_digest: string;
+    lineage_id: string;
+    audit_report_digest: string;
+    module_profiles: {
+        composers: string[];
+        classification: string;
+        profile_contract_digests: string[];
+        unit_ref: string;
+        primary_profile: string;
+        additional_profiles: string[];
+    }[];
+    expected_artifacts: {
+        classification: string;
+        bundle_variant: string;
+        expected_artifact_kinds: string[];
+        anonymous_example: string;
+        anonymous_anti_example: string;
+    }[];
+    likely_missing_inputs: string[];
+    capability_losses: string[];
+    expected_ledger_digest: string;
+}, {
+    protocol: "context.indexer.profile-failure-report-input/v1";
+    options: ("provide-material" | "change-scope" | "correct-classification" | "force-approve-risk")[];
+    metrics: {
+        denominator: number;
+        unit: "boolean" | "count" | "ratio" | "percent";
+        recommended: number | null;
+        metric_id: string;
+        hard_gate: number | null;
+        observed: number | null;
+        sample_refs: string[];
+    }[];
+    input_digest: string;
+    precompile_audit_report_digest: string;
+    lineage_id: string;
+    audit_report_digest: string;
+    module_profiles: {
+        composers: string[];
+        classification: string;
+        profile_contract_digests: string[];
+        unit_ref: string;
+        primary_profile: string;
+        additional_profiles: string[];
+    }[];
+    expected_artifacts: {
+        classification: string;
+        bundle_variant: string;
+        expected_artifact_kinds: string[];
+        anonymous_example: string;
+        anonymous_anti_example: string;
+    }[];
+    likely_missing_inputs: string[];
+    capability_losses: string[];
+    expected_ledger_digest: string;
+}>;
+export declare const indexerProfileFailureInspectionInputSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.profile-failure-inspection-input/v1">;
+    failure_report_digest: z.ZodString;
+    input_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.profile-failure-inspection-input/v1";
+    input_digest: string;
+    failure_report_digest: string;
+}, {
+    protocol: "context.indexer.profile-failure-inspection-input/v1";
+    input_digest: string;
+    failure_report_digest: string;
+}>;
+export type IndexerProfileRevisionRecordInput = z.infer<typeof indexerProfileRevisionRecordInputSchema>;
+export type IndexerProfileFailureReportInput = z.infer<typeof indexerProfileFailureReportInputSchema>;
+export type IndexerProfileFailureInspectionInput = z.infer<typeof indexerProfileFailureInspectionInputSchema>;
+export declare function buildIndexerProfileRevisionRecordInput(input: Omit<IndexerProfileRevisionRecordInput, "protocol" | "input_digest">): IndexerProfileRevisionRecordInput;
+export declare function validateIndexerProfileRevisionRecordInput(value: unknown): IndexerProfileRevisionRecordInput;
+export declare function buildIndexerProfileFailureReportInput(input: Omit<IndexerProfileFailureReportInput, "protocol" | "input_digest">): IndexerProfileFailureReportInput;
+export declare function validateIndexerProfileFailureReportInput(value: unknown): IndexerProfileFailureReportInput;
+export declare function buildIndexerProfileFailureInspectionInput(input: {
+    failure_report_digest: string;
+}): IndexerProfileFailureInspectionInput;
+export declare function validateIndexerProfileFailureInspectionInput(value: unknown): IndexerProfileFailureInspectionInput;

package/indexerAuthoringFixture.d.ts

@@ -0,0 +1,152 @@
+import { z } from "zod";
+import { type IndexerArtifactBundle, type IndexerArtifactPolicyEligibility } from "./indexerArtifactPolicy.js";
+import type { IndexerOperatorContract, IndexerProfileContract } from "./indexerProfileContract.js";
+import type { IndexerProviderManifest } from "./indexerProvider.js";
+import type { IndexerJson } from "./indexerRegistry.js";
+export declare const indexerAuthoringFixtureSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.authoring-fixture/v1">;
+    id: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+    anonymized: z.ZodLiteral<true>;
+    profile: z.ZodEffects<z.ZodString, string, string>;
+    source_role: z.ZodEffects<z.ZodString, string, string>;
+    logical_unit_id: z.ZodEffects<z.ZodString, string, string>;
+    logical_unit_ref: z.ZodEffects<z.ZodString, string, string>;
+    canonical_facts: z.ZodRecord<z.ZodString, z.ZodType<IndexerJson, z.ZodTypeDef, IndexerJson>>;
+    artifact_policy_variant: z.ZodEffects<z.ZodString, string, string>;
+    artifacts: z.ZodArray<z.ZodUnion<[z.ZodObject<{
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        purpose: z.ZodEnum<["required", "discretionary"]>;
+        reader_question_refs: z.ZodArray<z.ZodString, "many">;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    }, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    }>, z.ZodObject<{
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        artifact_kind: z.ZodEffects<z.ZodString, string, string>;
+        purpose: z.ZodLiteral<"semantic-split">;
+        reader_question_refs: z.ZodArray<z.ZodString, "many">;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+        split_of: z.ZodEffects<z.ZodString, string, string>;
+        boundary: z.ZodObject<{
+            axis: z.ZodEffects<z.ZodString, string, string>;
+            start_key: z.ZodString;
+            end_key: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        }, {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    }, {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    }>]>, "many">;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    protocol: "context.indexer.authoring-fixture/v1";
+    profile: string;
+    evidence_refs: string[];
+    artifact_policy_variant: string;
+    artifacts: ({
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    } | {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    })[];
+    canonical_facts: Record<string, IndexerJson>;
+    logical_unit_ref: string;
+    source_role: string;
+    anonymized: true;
+    logical_unit_id: string;
+}, {
+    id: string;
+    protocol: "context.indexer.authoring-fixture/v1";
+    profile: string;
+    evidence_refs: string[];
+    artifact_policy_variant: string;
+    artifacts: ({
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "required" | "discretionary";
+        reader_question_refs: string[];
+    } | {
+        evidence_refs: string[];
+        artifact_kind: string;
+        artifact_id: string;
+        purpose: "semantic-split";
+        reader_question_refs: string[];
+        split_of: string;
+        boundary: {
+            axis: string;
+            start_key: string;
+            end_key: string;
+        };
+    })[];
+    canonical_facts: Record<string, IndexerJson>;
+    logical_unit_ref: string;
+    source_role: string;
+    anonymized: true;
+    logical_unit_id: string;
+}>;
+export type IndexerAuthoringFixture = z.infer<typeof indexerAuthoringFixtureSchema>;
+export interface ValidatedIndexerAuthoringFixture {
+    fixture: IndexerAuthoringFixture;
+    eligibility: IndexerArtifactPolicyEligibility;
+    bundle: IndexerArtifactBundle;
+}
+export declare function validateIndexerAuthoringFixture(input: {
+    fixture: unknown;
+    manifest: IndexerProviderManifest;
+    profile_contract: IndexerProfileContract;
+    operator_contract: IndexerOperatorContract;
+}): ValidatedIndexerAuthoringFixture;