@interf/compiler 0.33.0 → 0.50.0

package/dist/packages/contracts/lib/schema.d.ts

@@ -4,9 +4,19 @@ export declare const ProjectIdPattern: RegExp;
 export declare const ProjectIdSchema: z.ZodString;
 export declare const BuildPlanIdSchema: z.ZodString;
 /**
- * Build Plan-declared artifact identifier. Same shape as `BuildPlanIdSchema`
- * but conceptually distinct — it identifies a produced thing inside
- * one Build Plan, while `BuildPlanIdSchema` identifies the Build Plan itself.
+ * The user's agent task for a Project.
+ *
+ * Project intent is the compact, durable instruction that explains what
+ * the Context Graph must prepare the Source for. Build Plans operationalize
+ * this field, but Project owns it.
+ */
+export declare const ProjectIntentSchema: z.ZodString;
+/**
+ * Legacy internal output identifier. Same shape as `BuildPlanIdSchema` but
+ * conceptually distinct: it identifies a requested output inside one Build
+ * Plan, while `BuildPlanIdSchema` identifies the Build Plan itself.
+ *
+ * The exported name remains `ArtifactIdSchema` until the ABI rename lands.
  */
 export declare const ArtifactIdSchema: z.ZodString;
 export declare const RuntimeStageSchema: z.ZodString;
@@ -45,6 +55,12 @@ export type Locator = z.infer<typeof LocatorSchema>;
 export declare const SourceKindSchema: z.ZodEnum<{
     "local-folder": "local-folder";
 }>;
+export declare const SourceBindingSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        "local-folder": "local-folder";
+    }>;
+    locator: z.ZodString;
+}, z.core.$strict>;
 export declare const SourceSchema: z.ZodObject<{
     id: z.ZodString;
     kind: z.ZodEnum<{
@@ -100,6 +116,7 @@ export declare const SourceStateSchema: z.ZodObject<{
 }, z.core.$strict>;
 export declare const SourceInspectableUnitSchema: z.ZodObject<{
     kind: z.ZodEnum<{
+        file: "file";
         page: "page";
         slide: "slide";
         sheet: "sheet";
@@ -145,6 +162,7 @@ export declare const SourceManifestFileSchema: z.ZodObject<{
     page_count: z.ZodOptional<z.ZodNumber>;
     inspectable_units: z.ZodDefault<z.ZodArray<z.ZodObject<{
         kind: z.ZodEnum<{
+            file: "file";
             page: "page";
             slide: "slide";
             sheet: "sheet";
@@ -212,6 +230,7 @@ export declare const SourceManifestSchema: z.ZodObject<{
         page_count: z.ZodOptional<z.ZodNumber>;
         inspectable_units: z.ZodDefault<z.ZodArray<z.ZodObject<{
             kind: z.ZodEnum<{
+                file: "file";
                 page: "page";
                 slide: "slide";
                 sheet: "sheet";
@@ -273,6 +292,7 @@ export declare const StageInputSchema: z.ZodObject<{
     page_count: z.ZodOptional<z.ZodNumber>;
     inspectable_units: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
         kind: z.ZodEnum<{
+            file: "file";
             page: "page";
             slide: "slide";
             sheet: "sheet";
@@ -312,6 +332,7 @@ export declare const StageInputsSchema: z.ZodObject<{
         page_count: z.ZodOptional<z.ZodNumber>;
         inspectable_units: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
             kind: z.ZodEnum<{
+                file: "file";
                 page: "page";
                 slide: "slide";
                 sheet: "sheet";
@@ -327,6 +348,461 @@ export declare const StageInputsSchema: z.ZodObject<{
 }, z.core.$strict>;
 export declare const SourceBuildMaxAttemptsSchema: z.ZodNumber;
 export declare const SourceBuildMaxLoopsSchema: z.ZodNumber;
+export declare const ResourceRoleSchema: z.ZodEnum<{
+    source: "source";
+    summary: "summary";
+    other: "other";
+    knowledge: "knowledge";
+    entrypoint: "entrypoint";
+    diagnostic: "diagnostic";
+}>;
+export declare const MetricKeySchema: z.ZodString;
+export declare const ResourceRefSchema: z.ZodObject<{
+    id: z.ZodString;
+    role: z.ZodEnum<{
+        source: "source";
+        summary: "summary";
+        other: "other";
+        knowledge: "knowledge";
+        entrypoint: "entrypoint";
+        diagnostic: "diagnostic";
+    }>;
+    kind: z.ZodString;
+    label: z.ZodString;
+    path: z.ZodOptional<z.ZodString>;
+    locator: z.ZodOptional<z.ZodString>;
+    stage_id: z.ZodOptional<z.ZodString>;
+    source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    required: z.ZodDefault<z.ZodBoolean>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const MetricCountSchema: z.ZodObject<{
+    key: z.ZodString;
+    label: z.ZodString;
+    value: z.ZodNumber;
+    total: z.ZodOptional<z.ZodNumber>;
+    unit: z.ZodOptional<z.ZodString>;
+    primary: z.ZodDefault<z.ZodBoolean>;
+    issue_state: z.ZodOptional<z.ZodEnum<{
+        pass: "pass";
+        fail: "fail";
+        missing: "missing";
+        review: "review";
+    }>>;
+    detail: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const ReviewedInputDecisionSchema: z.ZodEnum<{
+    missing: "missing";
+    used: "used";
+    reviewed: "reviewed";
+    blocked: "blocked";
+    "not-relevant": "not-relevant";
+}>;
+export declare const ReviewedInputSchema: z.ZodObject<{
+    resource_id: z.ZodString;
+    decision: z.ZodEnum<{
+        missing: "missing";
+        used: "used";
+        reviewed: "reviewed";
+        blocked: "blocked";
+        "not-relevant": "not-relevant";
+    }>;
+    reason: z.ZodOptional<z.ZodString>;
+    output_resource_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const MissingInputSchema: z.ZodObject<{
+    resource_id: z.ZodString;
+    status: z.ZodEnum<{
+        missing: "missing";
+        blocked: "blocked";
+        "not-relevant": "not-relevant";
+    }>;
+    reason: z.ZodString;
+}, z.core.$strict>;
+/**
+ * Stage runtime-file contracts: the `expected-inputs.json` and
+ * `reviewed-inputs.json` files a stage shell reads and writes. Defined once
+ * here so the build engine (stage-manifest writer, native entrypoint reader)
+ * and any future client validate against one shape instead of a hand-rolled
+ * parallel `interface`.
+ */
+export declare const ExpectedInputsFileSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-stage-expected-inputs">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    stage_id: z.ZodString;
+    expected: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        kind: z.ZodString;
+        label: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        stage_id: z.ZodOptional<z.ZodString>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type ExpectedInputsFile = z.infer<typeof ExpectedInputsFileSchema>;
+export declare const ReviewedInputsFileSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-stage-reviewed-inputs">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    stage_id: z.ZodString;
+    reviewed: z.ZodArray<z.ZodObject<{
+        resource_id: z.ZodString;
+        decision: z.ZodEnum<{
+            missing: "missing";
+            used: "used";
+            reviewed: "reviewed";
+            blocked: "blocked";
+            "not-relevant": "not-relevant";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+        output_resource_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type ReviewedInputsFile = z.infer<typeof ReviewedInputsFileSchema>;
+export declare const StageManifestSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-stage-manifest">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    project: z.ZodString;
+    run_id: z.ZodNullable<z.ZodString>;
+    build_plan: z.ZodString;
+    stage_id: z.ZodString;
+    stage_label: z.ZodString;
+    role: z.ZodEnum<{
+        source: "source";
+        summary: "summary";
+        other: "other";
+        knowledge: "knowledge";
+        entrypoint: "entrypoint";
+        diagnostic: "diagnostic";
+    }>;
+    summary: z.ZodString;
+    input_manifests: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        kind: z.ZodString;
+        label: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        stage_id: z.ZodOptional<z.ZodString>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    expected: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        kind: z.ZodString;
+        label: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        stage_id: z.ZodOptional<z.ZodString>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    reviewed: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        resource_id: z.ZodString;
+        decision: z.ZodEnum<{
+            missing: "missing";
+            used: "used";
+            reviewed: "reviewed";
+            blocked: "blocked";
+            "not-relevant": "not-relevant";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+        output_resource_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    referenced: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        kind: z.ZodString;
+        label: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        stage_id: z.ZodOptional<z.ZodString>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    missing: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        resource_id: z.ZodString;
+        status: z.ZodEnum<{
+            missing: "missing";
+            blocked: "blocked";
+            "not-relevant": "not-relevant";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>>>;
+    produced: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        kind: z.ZodString;
+        label: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        stage_id: z.ZodOptional<z.ZodString>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    metrics: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        label: z.ZodString;
+        value: z.ZodNumber;
+        total: z.ZodOptional<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+        primary: z.ZodDefault<z.ZodBoolean>;
+        issue_state: z.ZodOptional<z.ZodEnum<{
+            pass: "pass";
+            fail: "fail";
+            missing: "missing";
+            review: "review";
+        }>>;
+        detail: z.ZodOptional<z.ZodString>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const GraphManifestStageSummarySchema: z.ZodObject<{
+    stage_id: z.ZodString;
+    stage_label: z.ZodString;
+    role: z.ZodEnum<{
+        source: "source";
+        summary: "summary";
+        other: "other";
+        knowledge: "knowledge";
+        entrypoint: "entrypoint";
+        diagnostic: "diagnostic";
+    }>;
+    manifest_path: z.ZodString;
+    summary: z.ZodString;
+    produced_total: z.ZodNumber;
+    missing_required_total: z.ZodNumber;
+    metrics: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        label: z.ZodString;
+        value: z.ZodNumber;
+        total: z.ZodOptional<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+        primary: z.ZodDefault<z.ZodBoolean>;
+        issue_state: z.ZodOptional<z.ZodEnum<{
+            pass: "pass";
+            fail: "fail";
+            missing: "missing";
+            review: "review";
+        }>>;
+        detail: z.ZodOptional<z.ZodString>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const GraphReadinessRollupSchema: z.ZodObject<{
+    status: z.ZodEnum<{
+        ready: "ready";
+        "not-ready": "not-ready";
+    }>;
+    ready: z.ZodBoolean;
+    summary: z.ZodString;
+    context_graph_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    missing_required_total: z.ZodNumber;
+    missing: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        resource_id: z.ZodString;
+        status: z.ZodEnum<{
+            missing: "missing";
+            blocked: "blocked";
+            "not-relevant": "not-relevant";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const GraphOutputCountsSchema: z.ZodObject<{
+    nodes: z.ZodNumber;
+    edges: z.ZodNumber;
+    notes: z.ZodNumber;
+    links: z.ZodNumber;
+    source_refs: z.ZodNumber;
+    claims: z.ZodOptional<z.ZodNumber>;
+    entities: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export declare const GraphManifestSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-graph-manifest">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    project: z.ZodString;
+    graph_id: z.ZodString;
+    run_id: z.ZodNullable<z.ZodString>;
+    build_plan: z.ZodString;
+    intent: z.ZodNullable<z.ZodString>;
+    graph_path: z.ZodString;
+    primary_metrics: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        label: z.ZodString;
+        value: z.ZodNumber;
+        total: z.ZodOptional<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+        primary: z.ZodDefault<z.ZodBoolean>;
+        issue_state: z.ZodOptional<z.ZodEnum<{
+            pass: "pass";
+            fail: "fail";
+            missing: "missing";
+            review: "review";
+        }>>;
+        detail: z.ZodOptional<z.ZodString>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    stages: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        stage_id: z.ZodString;
+        stage_label: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        manifest_path: z.ZodString;
+        summary: z.ZodString;
+        produced_total: z.ZodNumber;
+        missing_required_total: z.ZodNumber;
+        metrics: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            label: z.ZodString;
+            value: z.ZodNumber;
+            total: z.ZodOptional<z.ZodNumber>;
+            unit: z.ZodOptional<z.ZodString>;
+            primary: z.ZodDefault<z.ZodBoolean>;
+            issue_state: z.ZodOptional<z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+                missing: "missing";
+                review: "review";
+            }>>;
+            detail: z.ZodOptional<z.ZodString>;
+            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>>;
+    entrypoints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        kind: z.ZodString;
+        label: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        stage_id: z.ZodOptional<z.ZodString>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    resources: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            source: "source";
+            summary: "summary";
+            other: "other";
+            knowledge: "knowledge";
+            entrypoint: "entrypoint";
+            diagnostic: "diagnostic";
+        }>;
+        kind: z.ZodString;
+        label: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        locator: z.ZodOptional<z.ZodString>;
+        stage_id: z.ZodOptional<z.ZodString>;
+        source_refs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        links: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>>>;
+    graph_outputs: z.ZodObject<{
+        nodes: z.ZodNumber;
+        edges: z.ZodNumber;
+        notes: z.ZodNumber;
+        links: z.ZodNumber;
+        source_refs: z.ZodNumber;
+        claims: z.ZodOptional<z.ZodNumber>;
+        entities: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+    readiness: z.ZodObject<{
+        status: z.ZodEnum<{
+            ready: "ready";
+            "not-ready": "not-ready";
+        }>;
+        ready: z.ZodBoolean;
+        summary: z.ZodString;
+        context_graph_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        missing_required_total: z.ZodNumber;
+        missing: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            resource_id: z.ZodString;
+            status: z.ZodEnum<{
+                missing: "missing";
+                blocked: "blocked";
+                "not-relevant": "not-relevant";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
 /**
  * Canonical check kinds the engine knows how to evaluate.
  *
@@ -344,12 +820,15 @@ export declare const SourceBuildMaxLoopsSchema: z.ZodNumber;
  *   frontmatter_required_keys      — every markdown file has these frontmatter keys (params: { keys: string[] })
  *   frontmatter_nonempty_keys      — every markdown file has non-empty values for these frontmatter keys
  *   source_refs_required           — every markdown file has non-empty source_refs/source_ref/source_path frontmatter
+ *   summary_backlinks_present      — every summary cited by a note's source_refs is also wikilinked from that layer (no orphaned summaries)
+ *   knowledge_web_connectivity     — every knowledge note links at least one OTHER knowledge note (no disconnected islands in the knowledge web)
+ *   graph_notes_connected          — every markdown note across the WHOLE Context Graph (summaries, knowledge, artifacts, home) is link-connected to at least one other note (no free-floating island anywhere, including uncited summaries)
  *   wikilinks_valid                — every wikilink resolves
  *   must_not_contain               — file/directory does not contain forbidden phrases (params: { phrases: string[] } or { text: string })
  *   must_contain                   — file/directory contains required phrases (params: { phrases: string[] } or { text: string })
  *   qa_match                       — user-defined Q/A: agent answer matches expected (params: { expected: string, strictness?: "loose" | "strict" })
  */
-export declare const CHECK_KINDS: readonly ["file_exists", "source_manifest_valid", "min_file_count", "min_file_count_matches_source", "source_summary_folders", "source_page_coverage", "frontmatter_valid", "frontmatter_required_keys", "frontmatter_nonempty_keys", "source_refs_required", "wikilinks_valid", "must_not_contain", "must_contain", "qa_match"];
+export declare const CHECK_KINDS: readonly ["file_exists", "source_manifest_valid", "min_file_count", "min_file_count_matches_source", "source_summary_folders", "source_page_coverage", "frontmatter_valid", "frontmatter_required_keys", "frontmatter_nonempty_keys", "source_refs_required", "summary_backlinks_present", "knowledge_web_connectivity", "graph_notes_connected", "wikilinks_valid", "must_not_contain", "must_contain", "qa_match"];
 export declare const CheckKindSchema: z.ZodEnum<{
     file_exists: "file_exists";
     source_manifest_valid: "source_manifest_valid";
@@ -361,6 +840,9 @@ export declare const CheckKindSchema: z.ZodEnum<{
     frontmatter_required_keys: "frontmatter_required_keys";
     frontmatter_nonempty_keys: "frontmatter_nonempty_keys";
     source_refs_required: "source_refs_required";
+    summary_backlinks_present: "summary_backlinks_present";
+    knowledge_web_connectivity: "knowledge_web_connectivity";
+    graph_notes_connected: "graph_notes_connected";
     wikilinks_valid: "wikilinks_valid";
     must_not_contain: "must_not_contain";
     must_contain: "must_contain";
@@ -441,6 +923,32 @@ export declare const CHECK_PARAM_CONTRACTS: {
             readonly keys: readonly ["source_refs"];
         }];
     };
+    readonly summary_backlinks_present: {
+        readonly params: {
+            readonly summaries_dir: "optional summaries directory name; defaults to summaries";
+            readonly summary_file: "optional summary filename; defaults to summary.md";
+            readonly manifest_file: "optional manifest filename; defaults to manifest.md";
+        };
+        readonly examples: readonly [{}, {
+            readonly summaries_dir: "summaries";
+        }];
+    };
+    readonly knowledge_web_connectivity: {
+        readonly params: {
+            readonly knowledge_dir: "optional knowledge directory; defaults to the artifact's own target path. May only narrow the scan to a path inside that target layer.";
+        };
+        readonly examples: readonly [{}, {
+            readonly knowledge_dir: "knowledge";
+        }];
+    };
+    readonly graph_notes_connected: {
+        readonly params: {
+            readonly graph_root: "optional graph-root-relative directory to scan; defaults to the Context Graph root (every note in every layer). Use to narrow the floor to one layer (e.g. summaries) when a Build Plan splits the connectivity floor across outputs.";
+        };
+        readonly examples: readonly [{}, {
+            readonly graph_root: "summaries";
+        }];
+    };
     readonly wikilinks_valid: {
         readonly params: {};
         readonly examples: readonly [{}];
@@ -503,6 +1011,9 @@ export declare const CheckSchema: z.ZodObject<{
         frontmatter_required_keys: "frontmatter_required_keys";
         frontmatter_nonempty_keys: "frontmatter_nonempty_keys";
         source_refs_required: "source_refs_required";
+        summary_backlinks_present: "summary_backlinks_present";
+        knowledge_web_connectivity: "knowledge_web_connectivity";
+        graph_notes_connected: "graph_notes_connected";
         wikilinks_valid: "wikilinks_valid";
         must_not_contain: "must_not_contain";
         must_contain: "must_contain";
@@ -531,6 +1042,9 @@ export declare const CheckResultSchema: z.ZodObject<{
         frontmatter_required_keys: "frontmatter_required_keys";
         frontmatter_nonempty_keys: "frontmatter_nonempty_keys";
         source_refs_required: "source_refs_required";
+        summary_backlinks_present: "summary_backlinks_present";
+        knowledge_web_connectivity: "knowledge_web_connectivity";
+        graph_notes_connected: "graph_notes_connected";
         wikilinks_valid: "wikilinks_valid";
         must_not_contain: "must_not_contain";
         must_contain: "must_contain";
@@ -552,10 +1066,10 @@ export declare const ContextCheckStatusSchema: z.ZodEnum<{
 }>;
 export type ContextCheckStatus = z.infer<typeof ContextCheckStatusSchema>;
 /**
- * User-facing Build Plan check: the plain-English assertion the user
- * reviews as a Context Check. Requested Artifacts back these checks.
- * Deterministic Artifact diagnostics remain nested under Artifacts
- * and use `CheckSchema`.
+ * Legacy Build Plan check declaration. Current product surfaces should prefer
+ * concrete coverage metrics, Stage Manifests, and Graph Manifest readiness.
+ * Deterministic output diagnostics remain nested under requested outputs and
+ * use `CheckSchema`.
  */
 export declare const ContextCheckDeclarationSchema: z.ZodObject<{
     id: z.ZodString;
@@ -607,9 +1121,9 @@ export type ContextCheck = z.infer<typeof ContextCheckSchema>;
  * Project. Aggregate verdict over its required checks.
  */
 export declare const ReadyVerdictSchema: z.ZodEnum<{
+    ready: "ready";
     failed: "failed";
     skipped: "skipped";
-    ready: "ready";
     not_ready: "not_ready";
 }>;
 export type ReadyVerdict = z.infer<typeof ReadyVerdictSchema>;
@@ -647,7 +1161,7 @@ export declare const ArtifactShapeSchema: z.ZodObject<{
 export type ArtifactPathShape = z.infer<typeof ArtifactPathShapeSchema>;
 export type ArtifactShape = ArtifactPathShape;
 /**
- * Build Plan-declared Artifact — a produced thing.
+ * Legacy internal requested-output schema.
  *
  * `checks[]` is the locked vocabulary: an array of `Check` (with
  * `kind` from `CHECK_KINDS`). The runtime evaluates them via the
@@ -677,6 +1191,9 @@ export declare const ArtifactSchema: z.ZodObject<{
             frontmatter_required_keys: "frontmatter_required_keys";
             frontmatter_nonempty_keys: "frontmatter_nonempty_keys";
             source_refs_required: "source_refs_required";
+            summary_backlinks_present: "summary_backlinks_present";
+            knowledge_web_connectivity: "knowledge_web_connectivity";
+            graph_notes_connected: "graph_notes_connected";
             wikilinks_valid: "wikilinks_valid";
             must_not_contain: "must_not_contain";
             must_contain: "must_contain";
@@ -695,18 +1212,18 @@ export type Artifact = z.infer<typeof ArtifactSchema>;
  * emitted by the shared check evaluator.
  */
 export declare const ArtifactStatusValueSchema: z.ZodEnum<{
+    ready: "ready";
     failed: "failed";
     skipped: "skipped";
-    ready: "ready";
     not_ready: "not_ready";
 }>;
 export type ArtifactStatusValue = ReadyVerdict;
 export declare const ArtifactStatusSchema: z.ZodObject<{
     artifact_id: z.ZodString;
     status: z.ZodEnum<{
+        ready: "ready";
         failed: "failed";
         skipped: "skipped";
-        ready: "ready";
         not_ready: "not_ready";
     }>;
     built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -723,6 +1240,9 @@ export declare const ArtifactStatusSchema: z.ZodObject<{
             frontmatter_required_keys: "frontmatter_required_keys";
             frontmatter_nonempty_keys: "frontmatter_nonempty_keys";
             source_refs_required: "source_refs_required";
+            summary_backlinks_present: "summary_backlinks_present";
+            knowledge_web_connectivity: "knowledge_web_connectivity";
+            graph_notes_connected: "graph_notes_connected";
             wikilinks_valid: "wikilinks_valid";
             must_not_contain: "must_not_contain";
             must_contain: "must_contain";
@@ -944,14 +1464,14 @@ export declare const StageEvidenceSchema: z.ZodObject<{
 }, z.core.$strict>;
 export type StageEvidence = z.infer<typeof StageEvidenceSchema>;
 export declare const ReadinessStatusSchema: z.ZodEnum<{
-    failed: "failed";
     ready: "ready";
+    "not-ready": "not-ready";
+    failed: "failed";
     "not-configured": "not-configured";
     "not-built": "not-built";
     building: "building";
     built: "built";
     checking: "checking";
-    "not-ready": "not-ready";
     stale: "stale";
 }>;
 export declare const ReadinessGateSchema: z.ZodEnum<{
@@ -967,7 +1487,7 @@ export declare const ReadinessGateSchema: z.ZodEnum<{
  * Per-gate status — one row in the readiness summary. A gate is a
  * high-level layer (is config valid? is the Context Graph built? did
  * the latest Build succeed?). Gate failures are aggregated alongside
- * Artifact diagnostic failures into the overall `Readiness` verdict.
+ * output diagnostic failures into the overall `Readiness` verdict.
  */
 export declare const GateStatusSchema: z.ZodObject<{
     gate: z.ZodEnum<{
@@ -981,14 +1501,14 @@ export declare const GateStatusSchema: z.ZodObject<{
     }>;
     ok: z.ZodBoolean;
     status: z.ZodOptional<z.ZodEnum<{
-        failed: "failed";
         ready: "ready";
+        "not-ready": "not-ready";
+        failed: "failed";
         "not-configured": "not-configured";
         "not-built": "not-built";
         building: "building";
         built: "built";
         checking: "checking";
-        "not-ready": "not-ready";
         stale: "stale";
     }>>;
     summary: z.ZodString;
@@ -1014,14 +1534,14 @@ export declare const ReadinessSchema: z.ZodObject<{
     generated_at: z.ZodString;
     project: z.ZodString;
     status: z.ZodEnum<{
-        failed: "failed";
         ready: "ready";
+        "not-ready": "not-ready";
+        failed: "failed";
         "not-configured": "not-configured";
         "not-built": "not-built";
         building: "building";
         built: "built";
         checking: "checking";
-        "not-ready": "not-ready";
         stale: "stale";
     }>;
     ready: z.ZodBoolean;
@@ -1041,14 +1561,14 @@ export declare const ReadinessSchema: z.ZodObject<{
         }>;
         ok: z.ZodBoolean;
         status: z.ZodOptional<z.ZodEnum<{
-            failed: "failed";
             ready: "ready";
+            "not-ready": "not-ready";
+            failed: "failed";
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
             built: "built";
             checking: "checking";
-            "not-ready": "not-ready";
             stale: "stale";
         }>>;
         summary: z.ZodString;
@@ -1090,14 +1610,14 @@ export declare const ReadinessSchema: z.ZodObject<{
         }>;
         ok: z.ZodBoolean;
         status: z.ZodOptional<z.ZodEnum<{
-            failed: "failed";
             ready: "ready";
+            "not-ready": "not-ready";
+            failed: "failed";
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
             built: "built";
             checking: "checking";
-            "not-ready": "not-ready";
             stale: "stale";
         }>>;
         summary: z.ZodString;
@@ -1205,12 +1725,14 @@ export declare const AgentsRegistrySchema: z.ZodObject<{
 export type AgentsRegistry = z.infer<typeof AgentsRegistrySchema>;
 export type ProjectId = z.infer<typeof ProjectIdSchema>;
 export type BuildPlanId = z.infer<typeof BuildPlanIdSchema>;
+export type ProjectIntent = z.infer<typeof ProjectIntentSchema>;
 export type ArtifactId = z.infer<typeof ArtifactIdSchema>;
 export type RuntimeStage = z.infer<typeof RuntimeStageSchema>;
 export type RuntimeContractType = z.infer<typeof RuntimeContractTypeSchema>;
 export type RuntimeTargetType = z.infer<typeof RuntimeTargetTypeSchema>;
 export type TestTargetType = z.infer<typeof TestTargetTypeSchema>;
 export type SourceKind = z.infer<typeof SourceKindSchema>;
+export type SourceBinding = z.infer<typeof SourceBindingSchema>;
 export type Source = z.infer<typeof SourceSchema>;
 export type SourceFile = z.infer<typeof SourceFileSchema>;
 export type SourceFiles = z.infer<typeof SourceFilesSchema>;
@@ -1224,6 +1746,17 @@ export type SourceManifest = z.infer<typeof SourceManifestSchema>;
 export type SourceManifestAudit = z.infer<typeof SourceManifestAuditSchema>;
 export type StageInput = z.infer<typeof StageInputSchema>;
 export type StageInputs = z.infer<typeof StageInputsSchema>;
+export type ResourceRole = z.infer<typeof ResourceRoleSchema>;
+export type ResourceRef = z.infer<typeof ResourceRefSchema>;
+export type MetricCount = z.infer<typeof MetricCountSchema>;
+export type ReviewedInputDecision = z.infer<typeof ReviewedInputDecisionSchema>;
+export type ReviewedInput = z.infer<typeof ReviewedInputSchema>;
+export type MissingInput = z.infer<typeof MissingInputSchema>;
+export type StageManifest = z.infer<typeof StageManifestSchema>;
+export type GraphManifestStageSummary = z.infer<typeof GraphManifestStageSummarySchema>;
+export type GraphReadinessRollup = z.infer<typeof GraphReadinessRollupSchema>;
+export type GraphOutputCounts = z.infer<typeof GraphOutputCountsSchema>;
+export type GraphManifest = z.infer<typeof GraphManifestSchema>;
 export type ReadinessStatus = z.infer<typeof ReadinessStatusSchema>;
 export type ReadinessGate = z.infer<typeof ReadinessGateSchema>;
 export type GateStatus = z.infer<typeof GateStatusSchema>;