@c4a/context 0.6.19 → 0.7.0

package/indexerExampleIdentity.d.ts

@@ -0,0 +1,132 @@
+import { z } from "zod";
+declare const exampleObservationSchema: z.ZodObject<{
+    observation_ref: z.ZodString;
+    example_ref: z.ZodString;
+    public_target_ref: z.ZodString;
+    scenario_key: z.ZodEffects<z.ZodString, string, string>;
+    source_ref: z.ZodString;
+    module_ref: z.ZodNullable<z.ZodString>;
+    full_relative_path: z.ZodEffects<z.ZodString, string, string>;
+    content_digest: z.ZodString;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    source_ref: string;
+    evidence_refs: string[];
+    module_ref: string | null;
+    content_digest: string;
+    observation_ref: string;
+    example_ref: string;
+    public_target_ref: string;
+    scenario_key: string;
+    full_relative_path: string;
+}, {
+    source_ref: string;
+    evidence_refs: string[];
+    module_ref: string | null;
+    content_digest: string;
+    observation_ref: string;
+    example_ref: string;
+    public_target_ref: string;
+    scenario_key: string;
+    full_relative_path: string;
+}>;
+export declare const indexerExampleInventorySchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.example-inventory/v1">;
+    source_scope_digest: z.ZodString;
+    observations: z.ZodArray<z.ZodObject<{
+        observation_ref: z.ZodString;
+        example_ref: z.ZodString;
+        public_target_ref: z.ZodString;
+        scenario_key: z.ZodEffects<z.ZodString, string, string>;
+        source_ref: z.ZodString;
+        module_ref: z.ZodNullable<z.ZodString>;
+        full_relative_path: z.ZodEffects<z.ZodString, string, string>;
+        content_digest: z.ZodString;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        content_digest: string;
+        observation_ref: string;
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+    }, {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        content_digest: string;
+        observation_ref: string;
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+    }>, "many">;
+    inventory_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.example-inventory/v1";
+    inventory_digest: string;
+    source_scope_digest: string;
+    observations: {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        content_digest: string;
+        observation_ref: string;
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+    }[];
+}, {
+    protocol: "context.indexer.example-inventory/v1";
+    inventory_digest: string;
+    source_scope_digest: string;
+    observations: {
+        source_ref: string;
+        evidence_refs: string[];
+        module_ref: string | null;
+        content_digest: string;
+        observation_ref: string;
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+    }[];
+}>;
+export type IndexerExampleObservation = z.infer<typeof exampleObservationSchema>;
+export type IndexerExampleInventory = z.infer<typeof indexerExampleInventorySchema>;
+export interface IndexerExampleObservationInput {
+    public_target_ref: string;
+    scenario_key: string;
+    source_ref: string;
+    module_ref: string | null;
+    full_relative_path: string;
+    content_digest: string;
+    evidence_refs: readonly string[];
+}
+export declare function normalizeIndexerExampleRelativePath(value: string): string;
+export declare function indexerExampleRef(input: {
+    public_target_ref: string;
+    scenario_key: string;
+    full_relative_path: string;
+}): string;
+export declare function indexerExampleObservationRef(input: {
+    example_ref: string;
+    source_ref: string;
+    module_ref: string | null;
+    content_digest: string;
+}): string;
+export declare function indexerExampleInventoryDigest(value: Omit<IndexerExampleInventory, "inventory_digest">): string;
+export declare function buildIndexerExampleInventory(input: {
+    source_scope_digest: string;
+    observations: readonly IndexerExampleObservationInput[];
+}): IndexerExampleInventory;
+export declare function validateIndexerExampleInventory(input: {
+    value: unknown;
+    expected_source_scope_digest?: string;
+    known_evidence_refs?: readonly string[];
+}): IndexerExampleInventory;
+export {};

package/indexerExampleIdentityAudit.d.ts

@@ -0,0 +1,70 @@
+import { z } from "zod";
+export declare const indexerExampleIdentityAuditSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.example-identity-audit/v1">;
+    inventory_digest: z.ZodString;
+    observation_count: z.ZodNumber;
+    unique_example_count: z.ZodNumber;
+    collision_count: z.ZodNumber;
+    collisions: z.ZodArray<z.ZodObject<{
+        example_ref: z.ZodString;
+        public_target_ref: z.ZodString;
+        scenario_key: z.ZodEffects<z.ZodString, string, string>;
+        full_relative_path: z.ZodEffects<z.ZodString, string, string>;
+        observation_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+        observation_refs: string[];
+    }, {
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+        observation_refs: string[];
+    }>, "many">;
+    pass: z.ZodBoolean;
+    audit_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.example-identity-audit/v1";
+    inventory_digest: string;
+    audit_digest: string;
+    collisions: {
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+        observation_refs: string[];
+    }[];
+    observation_count: number;
+    unique_example_count: number;
+    collision_count: number;
+    pass: boolean;
+}, {
+    protocol: "context.indexer.example-identity-audit/v1";
+    inventory_digest: string;
+    audit_digest: string;
+    collisions: {
+        example_ref: string;
+        public_target_ref: string;
+        scenario_key: string;
+        full_relative_path: string;
+        observation_refs: string[];
+    }[];
+    observation_count: number;
+    unique_example_count: number;
+    collision_count: number;
+    pass: boolean;
+}>;
+export type IndexerExampleIdentityAudit = z.infer<typeof indexerExampleIdentityAuditSchema>;
+export declare function indexerExampleIdentityAuditDigest(value: Omit<IndexerExampleIdentityAudit, "audit_digest">): string;
+export declare function buildIndexerExampleIdentityAudit(inventoryInput: unknown): IndexerExampleIdentityAudit;
+export declare function validateIndexerExampleIdentityAudit(input: {
+    value: unknown;
+    inventory: unknown;
+}): IndexerExampleIdentityAudit;
+export declare function assertIndexerExampleIdentityAuditPassed(input: {
+    value: unknown;
+    inventory: unknown;
+}): IndexerExampleIdentityAudit;

package/indexerExampleLinkageAudit.d.ts

@@ -0,0 +1,80 @@
+import { z } from "zod";
+export declare const INDEXER_EXAMPLE_METRIC_IDS: readonly ["example-candidate-decision-coverage", "example-representative-coverage", "example-public-target-linkage"];
+export declare const indexerExampleLinkageAuditSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.example-linkage-audit/v1">;
+    inventory_digest: z.ZodString;
+    decision_set_digest: z.ZodString;
+    metrics: z.ZodArray<z.ZodObject<{
+        metric_id: z.ZodEnum<["example-candidate-decision-coverage", "example-representative-coverage", "example-public-target-linkage"]>;
+        unit: z.ZodLiteral<"ratio">;
+        numerator: z.ZodNumber;
+        denominator: z.ZodNumber;
+        actual: z.ZodNullable<z.ZodNumber>;
+        covered_example_refs: z.ZodArray<z.ZodString, "many">;
+        missing_example_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        denominator: number;
+        unit: "ratio";
+        metric_id: "example-candidate-decision-coverage" | "example-representative-coverage" | "example-public-target-linkage";
+        numerator: number;
+        actual: number | null;
+        covered_example_refs: string[];
+        missing_example_refs: string[];
+    }, {
+        denominator: number;
+        unit: "ratio";
+        metric_id: "example-candidate-decision-coverage" | "example-representative-coverage" | "example-public-target-linkage";
+        numerator: number;
+        actual: number | null;
+        covered_example_refs: string[];
+        missing_example_refs: string[];
+    }>, "many">;
+    decision_closure_pass: z.ZodBoolean;
+    audit_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.example-linkage-audit/v1";
+    metrics: {
+        denominator: number;
+        unit: "ratio";
+        metric_id: "example-candidate-decision-coverage" | "example-representative-coverage" | "example-public-target-linkage";
+        numerator: number;
+        actual: number | null;
+        covered_example_refs: string[];
+        missing_example_refs: string[];
+    }[];
+    inventory_digest: string;
+    audit_digest: string;
+    decision_set_digest: string;
+    decision_closure_pass: boolean;
+}, {
+    protocol: "context.indexer.example-linkage-audit/v1";
+    metrics: {
+        denominator: number;
+        unit: "ratio";
+        metric_id: "example-candidate-decision-coverage" | "example-representative-coverage" | "example-public-target-linkage";
+        numerator: number;
+        actual: number | null;
+        covered_example_refs: string[];
+        missing_example_refs: string[];
+    }[];
+    inventory_digest: string;
+    audit_digest: string;
+    decision_set_digest: string;
+    decision_closure_pass: boolean;
+}>;
+export type IndexerExampleLinkageAudit = z.infer<typeof indexerExampleLinkageAuditSchema>;
+export declare function indexerExampleLinkageAuditDigest(value: Omit<IndexerExampleLinkageAudit, "audit_digest">): string;
+export declare function buildIndexerExampleLinkageAudit(input: {
+    inventory: unknown;
+    decision_set: unknown;
+}): IndexerExampleLinkageAudit;
+export declare function validateIndexerExampleLinkageAudit(input: {
+    value: unknown;
+    inventory: unknown;
+    decision_set: unknown;
+}): IndexerExampleLinkageAudit;
+export declare function assertIndexerExampleCandidateDecisionClosure(input: {
+    value: unknown;
+    inventory: unknown;
+    decision_set: unknown;
+}): IndexerExampleLinkageAudit;

package/indexerGeneratedAuthoringAudit.d.ts

@@ -0,0 +1,208 @@
+import { z } from "zod";
+import type { IndexerArtifactResult } from "./indexerArtifactResult.js";
+declare const structuredClaimSchema: z.ZodObject<{
+    claim_ref: z.ZodString;
+    claim_kind: z.ZodEffects<z.ZodString, string, string>;
+    subject_ref: z.ZodString;
+    owner: z.ZodObject<{
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        section_key: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        artifact_id: string;
+        section_key: string;
+    }, {
+        artifact_id: string;
+        section_key: string;
+    }>;
+    evidence_refs: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    evidence_refs: string[];
+    claim_ref: string;
+    claim_kind: string;
+    subject_ref: string;
+    owner: {
+        artifact_id: string;
+        section_key: string;
+    };
+}, {
+    evidence_refs: string[];
+    claim_ref: string;
+    claim_kind: string;
+    subject_ref: string;
+    owner: {
+        artifact_id: string;
+        section_key: string;
+    };
+}>;
+export declare const indexerStructuredClaimSetSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.structured-claim-set/v1">;
+    author_workset_digest: z.ZodString;
+    logical_unit_ref: z.ZodString;
+    claims: z.ZodArray<z.ZodObject<{
+        claim_ref: z.ZodString;
+        claim_kind: z.ZodEffects<z.ZodString, string, string>;
+        subject_ref: z.ZodString;
+        owner: z.ZodObject<{
+            artifact_id: z.ZodEffects<z.ZodString, string, string>;
+            section_key: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            artifact_id: string;
+            section_key: string;
+        }, {
+            artifact_id: string;
+            section_key: string;
+        }>;
+        evidence_refs: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        evidence_refs: string[];
+        claim_ref: string;
+        claim_kind: string;
+        subject_ref: string;
+        owner: {
+            artifact_id: string;
+            section_key: string;
+        };
+    }, {
+        evidence_refs: string[];
+        claim_ref: string;
+        claim_kind: string;
+        subject_ref: string;
+        owner: {
+            artifact_id: string;
+            section_key: string;
+        };
+    }>, "many">;
+    claims_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.structured-claim-set/v1";
+    logical_unit_ref: string;
+    author_workset_digest: string;
+    claims: {
+        evidence_refs: string[];
+        claim_ref: string;
+        claim_kind: string;
+        subject_ref: string;
+        owner: {
+            artifact_id: string;
+            section_key: string;
+        };
+    }[];
+    claims_digest: string;
+}, {
+    protocol: "context.indexer.structured-claim-set/v1";
+    logical_unit_ref: string;
+    author_workset_digest: string;
+    claims: {
+        evidence_refs: string[];
+        claim_ref: string;
+        claim_kind: string;
+        subject_ref: string;
+        owner: {
+            artifact_id: string;
+            section_key: string;
+        };
+    }[];
+    claims_digest: string;
+}>;
+export declare const indexerGeneratedAuthoringAuditSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"context.indexer.generated-authoring-audit/v1">;
+    artifact_result_digest: z.ZodString;
+    hard_findings: z.ZodArray<z.ZodObject<{
+        code: z.ZodEnum<["generated-placeholder", "empty-required-section"]>;
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        section_key: z.ZodNullable<z.ZodEffects<z.ZodString, string, string>>;
+        content_ref: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        code: "generated-placeholder" | "empty-required-section";
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+    }, {
+        code: "generated-placeholder" | "empty-required-section";
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+    }>, "many">;
+    structured_claim_count: z.ZodNumber;
+    evidence_covered_structured_claim_count: z.ZodNumber;
+    semantic_prose_review_targets: z.ZodArray<z.ZodObject<{
+        artifact_id: z.ZodEffects<z.ZodString, string, string>;
+        section_key: z.ZodNullable<z.ZodEffects<z.ZodString, string, string>>;
+        content_ref: z.ZodString;
+        advisory_code: z.ZodLiteral<"semantic-prose-agent-review-required">;
+    }, "strict", z.ZodTypeAny, {
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+        advisory_code: "semantic-prose-agent-review-required";
+    }, {
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+        advisory_code: "semantic-prose-agent-review-required";
+    }>, "many">;
+    agent_review_required: z.ZodBoolean;
+    audit_digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    protocol: "context.indexer.generated-authoring-audit/v1";
+    artifact_result_digest: string;
+    hard_findings: {
+        code: "generated-placeholder" | "empty-required-section";
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+    }[];
+    structured_claim_count: number;
+    evidence_covered_structured_claim_count: number;
+    semantic_prose_review_targets: {
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+        advisory_code: "semantic-prose-agent-review-required";
+    }[];
+    agent_review_required: boolean;
+    audit_digest: string;
+}, {
+    protocol: "context.indexer.generated-authoring-audit/v1";
+    artifact_result_digest: string;
+    hard_findings: {
+        code: "generated-placeholder" | "empty-required-section";
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+    }[];
+    structured_claim_count: number;
+    evidence_covered_structured_claim_count: number;
+    semantic_prose_review_targets: {
+        artifact_id: string;
+        section_key: string | null;
+        content_ref: string;
+        advisory_code: "semantic-prose-agent-review-required";
+    }[];
+    agent_review_required: boolean;
+    audit_digest: string;
+}>;
+export type IndexerStructuredClaimSet = z.infer<typeof indexerStructuredClaimSetSchema>;
+export type IndexerGeneratedAuthoringAudit = z.infer<typeof indexerGeneratedAuthoringAuditSchema>;
+export declare function buildIndexerStructuredClaimSet(input: {
+    author_workset_digest: string;
+    logical_unit_ref: string;
+    claims: readonly z.input<typeof structuredClaimSchema>[];
+}): IndexerStructuredClaimSet;
+export declare function validateIndexerStructuredClaimSet(input: {
+    value: unknown;
+    expected_author_workset_digest: string;
+    expected_logical_unit_ref: string;
+    authorized_subject_refs: readonly string[];
+    known_evidence_refs: readonly string[];
+    section_evidence_inventory: readonly {
+        artifact_id: string;
+        section_key: string;
+        evidence_refs: readonly string[];
+    }[];
+}): IndexerStructuredClaimSet;
+export declare function containsIndexerControlledAuthoringPlaceholder(markdown: string): boolean;
+export declare function buildIndexerGeneratedAuthoringAudit(result: IndexerArtifactResult): IndexerGeneratedAuthoringAudit;
+export declare function validateIndexerGeneratedAuthoringAudit(value: unknown): IndexerGeneratedAuthoringAudit;
+export declare function assertIndexerGeneratedAuthoringAuditClear(audit: IndexerGeneratedAuthoringAudit): void;
+export {};