@interf/compiler 0.33.0 → 0.50.0

package/dist/packages/build-plans/authoring/brief.d.ts

@@ -25,6 +25,9 @@ export declare const RequestedArtifactOutputSchema: 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";
@@ -67,6 +70,9 @@ export declare const RequestedArtifactSchema: z.ZodPipe<z.ZodTransform<unknown,
                 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";
@@ -131,6 +137,9 @@ export declare const BuildPlanAuthoringArtifactRequirementSchema: 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";
@@ -175,6 +184,9 @@ export declare const BuildPlanAuthoringBriefInputSchema: 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";
@@ -242,6 +254,9 @@ export declare const BuildPlanAuthoringBriefInputSchema: 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";
@@ -287,6 +302,9 @@ export declare const BuildPlanAuthoringBriefSchema: z.ZodPipe<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";
@@ -354,6 +372,9 @@ export declare const BuildPlanAuthoringBriefSchema: z.ZodPipe<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";
@@ -377,7 +398,7 @@ export declare const BuildPlanAuthoringBriefSchema: z.ZodPipe<z.ZodObject<{
         output?: {
             checks: {
                 id: string;
-                kind: "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";
+                kind: "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";
                 required: boolean;
                 description?: string | undefined;
                 params?: Record<string, unknown> | undefined;
@@ -409,7 +430,7 @@ export declare const BuildPlanAuthoringBriefSchema: z.ZodPipe<z.ZodObject<{
         };
         checks: {
             id: string;
-            kind: "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";
+            kind: "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";
             required: boolean;
             description?: string | undefined;
             params?: Record<string, unknown> | undefined;
@@ -444,7 +465,7 @@ export declare const BuildPlanAuthoringBriefSchema: z.ZodPipe<z.ZodObject<{
         output?: {
             checks: {
                 id: string;
-                kind: "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";
+                kind: "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";
                 required: boolean;
                 description?: string | undefined;
                 params?: Record<string, unknown> | undefined;
@@ -498,7 +519,7 @@ export declare const BuildPlanAuthoringBriefSchema: z.ZodPipe<z.ZodObject<{
         };
         checks: {
             id: string;
-            kind: "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";
+            kind: "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";
             required: boolean;
             description?: string | undefined;
             params?: Record<string, unknown> | undefined;

package/dist/packages/build-plans/authoring/build-plan-authoring.d.ts

@@ -1,5 +1,5 @@
 import type { AgentExecutor } from "../../runtime/agents/lib/executors.js";
-import { validateBuildPlanPackage } from "../package/local-build-plans.js";
+import { validateBuildPlanPackage, type BuildPlanValidationResult } from "../package/local-build-plans.js";
 import type { BuildPlanAuthoringArtifactRequirement, BuildPlanContextCheckDraft, RequestedArtifact, SourceContext } from "./brief.js";
 /**
  * Walk build-plan.json after a successful authoring run and fill in
@@ -9,6 +9,47 @@ import type { BuildPlanAuthoringArtifactRequirement, BuildPlanContextCheckDraft,
  * touched so the runtime can surface that to the user.
  */
 export declare function ensureStageRoles(buildPlanPath: string): string[];
+/**
+ * IMPROVE-loop tailoring NON-REGRESSION guard (the improve-path analogue of the
+ * draft-time tailoring guard).
+ *
+ * The draft guard (`validateTailoringGuard`) is an absolute "this plan must
+ * name something from the Source" check, correct for a from-scratch draft. It
+ * is the WRONG shape for the improvement loop: a user may select and improve a
+ * plan that is generic by design (the shipped `interf-default` carries no
+ * draft-time tailoring at all), and the absolute guard would reject every
+ * legitimate improvement to it the moment the Source vocabulary happened not to
+ * collide with the plan's generic wording. Running the absolute guard on
+ * improve would therefore false-reject faithful improvements, not just
+ * de-tailoring ones.
+ *
+ * The real C1 threat is narrower and is what this guards: an improvement edit
+ * must not take a plan that WAS tailored to the Source and strip that tailoring
+ * back to a generic skeleton. So this is a before/after DELTA check against the
+ * SAME scanned Source inventory: if the pre-edit plan was tailored and the
+ * post-edit plan is not, the edit de-tailored the plan and is rejected. A plan
+ * that was already generic before the edit (e.g. `interf-default`) has no
+ * tailoring to lose, so the guard is a no-op for it — improve is free to refine
+ * it without being forced to invent Source-specific vocabulary. With no
+ * Source inventory available (no Source binding, unreadable Source), there is
+ * nothing to compare and the guard is likewise a no-op.
+ */
+export declare function validateImproveTailoringNonRegression(beforeBuildPlanPath: string, afterBuildPlanPath: string, sourceContext: SourceContext | null): string[];
+/**
+ * Lifecycle guards that apply to EVERY lifecycle stage that mutates a Build
+ * Plan package (authoring draft AND self-improvement loop): the base package
+ * validation plus the product-critical structural invariants a self-improvement
+ * run must not be allowed to silently strip —
+ * `summary_backlinks_present` (no orphaned CITED summary),
+ * `graph_notes_connected` (the WHOLE-graph connectivity floor: no uncited-summary
+ * or any-note island), and the canonical-top-level-layer rule (core content stays
+ * under `summaries/`, `knowledge/`, `artifacts/`, or `home.md`).
+ *
+ * The authoring-only guards (scaffold-removal, artifact-requirements, tailoring)
+ * live in `validateAuthoredBuildPlanPackage` because they are draft-time
+ * concerns, not improvement concerns.
+ */
+export declare function validateLifecycleBuildPlanPackage(buildPlanPath: string): BuildPlanValidationResult;
 interface BuildPlanAuthoringRunResult {
     status: "updated" | "no-change" | "invalid" | "executor-failed";
     changed: boolean;