@c4a/context 0.6.18 → 0.7.0

package/indexerAuditFacts.d.ts

@@ -0,0 +1,66 @@
+import { z } from "zod";
+export declare const indexerAuditFactsSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.audit-facts/v1">;
+    audit: z.ZodObject<{
+        baseline_clear: z.ZodBoolean;
+        profile_state: z.ZodEnum<["not-applicable", "passed", "revision-required", "human-guidance-required"]>;
+        problem_lineage_id: z.ZodNullable<z.ZodString>;
+        profile_attempt_count: z.ZodNumber;
+        profile_report_digest: z.ZodNullable<z.ZodString>;
+        profile_override_eligible: z.ZodBoolean;
+        profile_override_receipt_digest: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        profile_override_receipt_digest: string | null;
+        profile_report_digest: string | null;
+        baseline_clear: boolean;
+        profile_state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        problem_lineage_id: string | null;
+        profile_attempt_count: number;
+        profile_override_eligible: boolean;
+    }, {
+        profile_override_receipt_digest: string | null;
+        profile_report_digest: string | null;
+        baseline_clear: boolean;
+        profile_state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        problem_lineage_id: string | null;
+        profile_attempt_count: number;
+        profile_override_eligible: boolean;
+    }>;
+    facts_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.audit-facts/v1";
+    audit: {
+        profile_override_receipt_digest: string | null;
+        profile_report_digest: string | null;
+        baseline_clear: boolean;
+        profile_state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        problem_lineage_id: string | null;
+        profile_attempt_count: number;
+        profile_override_eligible: boolean;
+    };
+    facts_digest: string;
+}, {
+    protocol: "context.indexer.audit-facts/v1";
+    audit: {
+        profile_override_receipt_digest: string | null;
+        profile_report_digest: string | null;
+        baseline_clear: boolean;
+        profile_state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        problem_lineage_id: string | null;
+        profile_attempt_count: number;
+        profile_override_eligible: boolean;
+    };
+    facts_digest: string;
+}>;
+export type IndexerAuditFacts = z.infer<typeof indexerAuditFactsSchema>;
+interface IndexerAuditFactsInput {
+    precompile_report: unknown;
+    postcompile_report: unknown;
+    lineage?: unknown;
+    ledger?: unknown;
+    failure_report?: unknown;
+    override_receipt?: unknown;
+}
+export declare function buildIndexerAuditFacts(input: IndexerAuditFactsInput): IndexerAuditFacts;
+export declare function validateIndexerAuditFacts(value: unknown): IndexerAuditFacts;
+export {};

package/indexerAuditOverrideReadiness.d.ts

@@ -0,0 +1,27 @@
+export declare function evaluateIndexerCandidateReviewReadinessWithOverride(input: {
+    request: unknown;
+    precompile_report: unknown;
+    postcompile_report: unknown;
+    profile_override_receipt: unknown;
+}): {
+    graph_outcome: "completed";
+    result_digest: string;
+    protocol: "context.indexer.candidate-review-readiness-result/v1";
+    state: "ready";
+    binding: {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string;
+        layout_digest: string;
+        effective_revision_digest: string;
+    };
+    precompile_audit_report_digest: string;
+    postcompile_audit_report_digest: string;
+    baseline_failed_check_ids: string[];
+    profile_state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+    profile_failed_metric_ids: string[];
+    profile_override_receipt_digest: string | null;
+    profile_override_applied: boolean;
+    review_binding_digest: string;
+};

package/indexerAuditProtocol.d.ts

@@ -0,0 +1,238 @@
+import { z } from "zod";
+export declare const indexerAuditBindingSchema: z.ZodObject<{
+    requirement_set_digest: z.ZodString;
+    registry_digest: z.ZodString;
+    inventory_digest: z.ZodString;
+    layout_digest: z.ZodNullable<z.ZodString>;
+    candidate_set_digest: z.ZodNullable<z.ZodString>;
+    effective_revision_digest: z.ZodNullable<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    inventory_digest: string;
+    requirement_set_digest: string;
+    registry_digest: string;
+    candidate_set_digest: string | null;
+    layout_digest: string | null;
+    effective_revision_digest: string | null;
+}, {
+    inventory_digest: string;
+    requirement_set_digest: string;
+    registry_digest: string;
+    candidate_set_digest: string | null;
+    layout_digest: string | null;
+    effective_revision_digest: string | null;
+}>;
+export declare const indexerAuditReportSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.audit/v1">;
+    stage: z.ZodEnum<["precompile", "postcompile"]>;
+    binding: z.ZodObject<{
+        requirement_set_digest: z.ZodString;
+        registry_digest: z.ZodString;
+        inventory_digest: z.ZodString;
+        layout_digest: z.ZodNullable<z.ZodString>;
+        candidate_set_digest: z.ZodNullable<z.ZodString>;
+        effective_revision_digest: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string | null;
+        layout_digest: string | null;
+        effective_revision_digest: string | null;
+    }, {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string | null;
+        layout_digest: string | null;
+        effective_revision_digest: string | null;
+    }>;
+    baseline: z.ZodObject<{
+        clear: z.ZodBoolean;
+        failed_check_ids: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        finding_digests: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        clear: boolean;
+        failed_check_ids: string[];
+        finding_digests: string[];
+    }, {
+        clear: boolean;
+        failed_check_ids: string[];
+        finding_digests: string[];
+    }>;
+    profile: z.ZodObject<{
+        state: z.ZodEnum<["not-applicable", "passed", "revision-required", "human-guidance-required"]>;
+        failed_metric_ids: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
+        report_digest: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        report_digest: string | null;
+        failed_metric_ids: string[];
+    }, {
+        state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        report_digest: string | null;
+        failed_metric_ids: string[];
+    }>;
+    report_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.audit/v1";
+    profile: {
+        state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        report_digest: string | null;
+        failed_metric_ids: string[];
+    };
+    report_digest: string;
+    stage: "precompile" | "postcompile";
+    binding: {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string | null;
+        layout_digest: string | null;
+        effective_revision_digest: string | null;
+    };
+    baseline: {
+        clear: boolean;
+        failed_check_ids: string[];
+        finding_digests: string[];
+    };
+}, {
+    protocol: "context.indexer.audit/v1";
+    profile: {
+        state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+        report_digest: string | null;
+        failed_metric_ids: string[];
+    };
+    report_digest: string;
+    stage: "precompile" | "postcompile";
+    binding: {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string | null;
+        layout_digest: string | null;
+        effective_revision_digest: string | null;
+    };
+    baseline: {
+        clear: boolean;
+        failed_check_ids: string[];
+        finding_digests: string[];
+    };
+}>;
+export declare const indexerCandidateReviewBindingSchema: z.ZodObject<{
+    requirement_set_digest: z.ZodString;
+    registry_digest: z.ZodString;
+    inventory_digest: z.ZodString;
+    layout_digest: z.ZodString;
+    candidate_set_digest: z.ZodString;
+    effective_revision_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    inventory_digest: string;
+    requirement_set_digest: string;
+    registry_digest: string;
+    candidate_set_digest: string;
+    layout_digest: string;
+    effective_revision_digest: string;
+}, {
+    inventory_digest: string;
+    requirement_set_digest: string;
+    registry_digest: string;
+    candidate_set_digest: string;
+    layout_digest: string;
+    effective_revision_digest: string;
+}>;
+export declare const indexerCandidateReviewReadinessInputSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.candidate-review-readiness-input/v1">;
+    binding: z.ZodObject<{
+        requirement_set_digest: z.ZodString;
+        registry_digest: z.ZodString;
+        inventory_digest: z.ZodString;
+        layout_digest: z.ZodString;
+        candidate_set_digest: z.ZodString;
+        effective_revision_digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string;
+        layout_digest: string;
+        effective_revision_digest: string;
+    }, {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string;
+        layout_digest: string;
+        effective_revision_digest: string;
+    }>;
+    precompile_audit_report_digest: z.ZodString;
+    postcompile_audit_report_digest: z.ZodString;
+    profile_override_receipt_digest: z.ZodNullable<z.ZodString>;
+    input_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.candidate-review-readiness-input/v1";
+    input_digest: string;
+    binding: {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string;
+        layout_digest: string;
+        effective_revision_digest: string;
+    };
+    precompile_audit_report_digest: string;
+    postcompile_audit_report_digest: string;
+    profile_override_receipt_digest: string | null;
+}, {
+    protocol: "context.indexer.candidate-review-readiness-input/v1";
+    input_digest: string;
+    binding: {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string;
+        layout_digest: string;
+        effective_revision_digest: string;
+    };
+    precompile_audit_report_digest: string;
+    postcompile_audit_report_digest: string;
+    profile_override_receipt_digest: string | null;
+}>;
+export type IndexerAuditBinding = z.infer<typeof indexerAuditBindingSchema>;
+export type IndexerAuditReport = z.infer<typeof indexerAuditReportSchema>;
+export type IndexerCandidateReviewBinding = z.infer<typeof indexerCandidateReviewBindingSchema>;
+export type IndexerCandidateReviewReadinessInput = z.infer<typeof indexerCandidateReviewReadinessInputSchema>;
+export declare function validateIndexerAuditReport(value: unknown): IndexerAuditReport;
+export declare function buildIndexerAuditReport(input: Omit<IndexerAuditReport, "report_digest">): IndexerAuditReport;
+export declare function buildIndexerCandidateReviewReadinessInput(input: {
+    binding: IndexerCandidateReviewBinding;
+    precompile_audit_report_digest: string;
+    postcompile_audit_report_digest: string;
+    profile_override_receipt_digest?: string | null;
+}): IndexerCandidateReviewReadinessInput;
+export declare function validateIndexerCandidateReviewReadinessInput(value: unknown): IndexerCandidateReviewReadinessInput;
+export declare function evaluateIndexerCandidateReviewReadiness(input: {
+    request: unknown;
+    precompile_report: unknown;
+    postcompile_report: unknown;
+}): {
+    graph_outcome: "failed" | "completed" | "blocked";
+    result_digest: string;
+    protocol: "context.indexer.candidate-review-readiness-result/v1";
+    state: "baseline-blocked" | "profile-blocked" | "ready";
+    binding: {
+        inventory_digest: string;
+        requirement_set_digest: string;
+        registry_digest: string;
+        candidate_set_digest: string;
+        layout_digest: string;
+        effective_revision_digest: string;
+    };
+    precompile_audit_report_digest: string;
+    postcompile_audit_report_digest: string;
+    baseline_failed_check_ids: string[];
+    profile_state: "passed" | "not-applicable" | "revision-required" | "human-guidance-required";
+    profile_failed_metric_ids: string[];
+    profile_override_receipt_digest: string | null;
+    profile_override_applied: boolean;
+    review_binding_digest: string;
+};