@wairon/cli 5.1.1-dev.102 → 5.1.1-dev.103

package/dist/index.d.ts

@@ -3134,6 +3134,14 @@ declare const AgentBriefSchema: z.ZodObject<{
      * agent implements nothing.
      */
     typeMapping: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    /**
+     * Where an implementing agent may write CODE: each source file its
+     * implementations name, plus the folder they share below the project root as
+     * `<folder>/**`. Empty when nothing names a file yet (the instructions then
+     * ask the spawning session to name the planned files); absent for an agent
+     * that implements nothing.
+     */
+    codeFence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     /**
      * Set only on a brief for a member's agent (an id qualified `<alias>::`): the
      * member's directory relative to the root the brief was asked from. The
@@ -3212,6 +3220,7 @@ declare const AgentBriefSchema: z.ZodObject<{
     readPaths?: string[] | undefined;
     variantGuidance?: string | undefined;
     typeMapping?: string[] | undefined;
+    codeFence?: string[] | undefined;
     root?: string | undefined;
     budget?: {
         toolClass: "read-only" | "implement" | "orchestrate" | "full";
@@ -3238,6 +3247,7 @@ declare const AgentBriefSchema: z.ZodObject<{
     readPaths?: string[] | undefined;
     variantGuidance?: string | undefined;
     typeMapping?: string[] | undefined;
+    codeFence?: string[] | undefined;
     root?: string | undefined;
     budget?: {
         toolClass: "read-only" | "implement" | "orchestrate" | "full";
@@ -4462,6 +4472,13 @@ interface RuleContext {
      * importing it, and the `use` line that would. Null when none does.
      */
     importHint(name: string): string | null;
+    /**
+     * rule_context.aliasSpelling — for a dotted type reference `<first>.<name>`
+     * whose first segment is an alias the bound project declares (not one of its
+     * subsystems) and whose supplier exports the name: the `alias::publicName`
+     * it must be written as. Null otherwise.
+     */
+    aliasSpelling(ref: string): string | null;
     /** Every contract method across the component's interfaces (memoized — eight rules ask per binding or per step). */
     interfaceMethodsOf(compId: string): MethodSignature[];
     /** The run's source-code model keyed for lookup (memoized). */
@@ -7414,11 +7431,6 @@ interface LockRecord {
 }
 /** Read the current project's lock record, or null when absent/unreadable. */
 declare function readLockRecord(): LockRecord | null;
-/**
- * Persist the lock record atomically to .wai/lock.json (overwrites any prior).
- * A legacy `children` map is never written: `members` is recorded instead.
- */
-declare function writeLockRecord(record: LockRecord): void;
 
 declare class WaironError extends Error {
     constructor(message: string);
@@ -7483,6 +7495,241 @@ interface CarriedRekey {
     to: string;
 }
 
+interface CanvasModel {
+    system: {
+        name: string;
+        vision?: string;
+        targetLanguage?: string;
+        databases?: {
+            id: string;
+            name: string;
+            engine: string;
+            description?: string;
+            tables?: string[];
+        }[];
+        diagram?: {
+            lineStyle?: 'bezier' | 'straight' | 'taxi';
+            defaultView?: 'architecture' | 'types' | 'databases';
+            showDatabases?: boolean;
+        };
+    };
+    generatedAt: string;
+    subsystems: {
+        id: string;
+        name: string;
+        description: string;
+        targetLanguage?: string;
+        status?: string;
+        trustedLinks: {
+            subsystem: string;
+            reason: string;
+        }[];
+        /** A member project's node (stage 3): its id is the member's key, its name the
+         *  alias its parent declares it under; the member's specs hang under it. */
+        project?: boolean;
+        /** Hosted (stage 7): a member project node's record id, present only when the
+         *  caller may read that record — the web app links the node to its page. */
+        recordId?: string;
+        /** Stage 8: the storage badge of a subsystem a PART holds (it is this
+         *  project's own subsystem, stored elsewhere) — `part <alias> · contained`,
+         *  `… · ../admin`, `… · git a1b2c3d` — or of a referenced project node. */
+        storage?: string;
+        /** A declared external that is no project of the family, drawn as a
+         *  project node of its own (dashed) that its consumption edges land on. */
+        external?: boolean;
+        /** Opt-in deep expansion: with Internals on, this subsystem's box renders
+         *  its WHOLE subtree (nested boundary boxes + leaf tiles + direct relation
+         *  lines) instead of one layer. Never set by buildCanvasModel — the hosted
+         *  environment adapter stamps it on unit-derived frames. Absent ⇒ the
+         *  engine behaves exactly as before. */
+        deepInternals?: boolean;
+    }[];
+    components: {
+        id: string;
+        name: string;
+        description: string;
+        subsystem: string;
+        componentType: string;
+        portalType?: string;
+        status?: string;
+        public: boolean;
+        /** The L0 gateway entry id this component backs (the OpenAPI operation tag),
+         *  present only for a component published in the system's public surface. */
+        apiTag?: string;
+        owner?: string;
+        owns: string[];
+        dependsOn: string[];
+        interfaces: {
+            id: string;
+            name: string;
+            description: string;
+            methods: {
+                name: string;
+                description: string;
+                signature: string;
+                returns: string;
+                params?: {
+                    name: string;
+                    type: string;
+                    optional?: boolean;
+                }[];
+                /** Where the method takes its params and returns from, shown beside its signature ("from X"). */
+                signatureFrom?: string;
+                endpoint?: unknown;
+                guarantees?: string[];
+            }[];
+        }[];
+        narratives: {
+            method: string;
+            steps: {
+                n: number;
+                text: string;
+                kind: string;
+                call?: {
+                    component: string;
+                    method: string;
+                };
+                cond?: string;
+                onTrue?: number;
+                onFalse?: number;
+                on?: string;
+                cases?: {
+                    value: string;
+                    step: number;
+                }[];
+                defaultStep?: number;
+                loopKind?: string;
+                over?: string;
+                end?: number;
+                catches?: {
+                    error: string;
+                    step: number;
+                }[];
+                fin?: number;
+                to?: number;
+                /** parallel: arm entry steps (contiguous ordered sub-regions of the body). */
+                branches?: {
+                    step: number;
+                    name?: string;
+                }[];
+                /** call/dispatch: fire-and-forget — failure does not propagate to this flow. */
+                detach?: boolean;
+                outcome?: string;
+                err?: string;
+            }[];
+        }[];
+        /** Opaque external references surfaced on the canvas element (see ExternalLinkSchema).
+         *  wairon never fetches them; an `implementation` link is the external source-of-record. */
+        externalLinks?: {
+            url: string;
+            type: string;
+            label?: string;
+        }[];
+        /** Methods specified as intent prose instead of a narrative (the detail dial). */
+        intents: {
+            method: string;
+            text: string;
+        }[];
+    }[];
+    /** `consumption`: the edge's ends lie in different projects (or it lands on a
+     *  referenced or external project node); `relation`: the CanvasRelation it
+     *  takes its health from, present only when the model carries relations. */
+    edges: {
+        from: string;
+        to: string;
+        cross: boolean;
+        consumption?: boolean;
+        relation?: string;
+    }[];
+    /** Relation health, one per consumer→producer pair the edges connect. PRESENT
+     *  only when health was computed (empty when nothing is consumed); ABSENT when
+     *  it was not — then consumption edges are drawn neutral, "not checked". */
+    relations?: CanvasRelation[];
+    types: {
+        id: string;
+        name: string;
+        kind: string;
+        subsystem?: string;
+        fields: {
+            name: string;
+            type: string;
+            optional?: boolean;
+            key?: string;
+            references?: string;
+        }[];
+        methods: {
+            name: string;
+            signature: string;
+            returns: string;
+            description?: string;
+        }[];
+        /** A signature type's derived text, `(a: T, b?: U): R` — drawn in place of a field list. */
+        signature?: string;
+        /** An enum's values in declared order — drawn in place of a field list. */
+        values?: {
+            name: string;
+            description?: string;
+        }[];
+        /** A named scalar's primitive — drawn compactly beside its name, with no field rows and no edges. */
+        holds?: string;
+        /** Interface methods whose params/returns reference this type (usage trace). */
+        usedBy: {
+            component: string;
+            method: string;
+        }[];
+        componentClass?: string;
+        database?: string;
+        table?: string;
+        linkedEntity?: string;
+    }[];
+    /** Type → type references derived from field type strings (ERD edges). */
+    typeEdges: {
+        from: string;
+        to: string;
+        field: string;
+        card: '1' | '0..1' | '*';
+    }[];
+    /** Data-coupling edges: a component depends on another subsystem's data
+     *  (uses a type it owns), pointed at that subsystem's published portal. */
+    dataEdges: {
+        from: string;
+        to: string;
+    }[];
+    issues: {
+        severity: string;
+        code: string;
+        message: string;
+        specId?: string;
+    }[];
+}
+/**
+ * canvas_relation — one consumer-project-to-producer-project relation as the
+ * canvas draws it: the health every consumption edge between the two takes,
+ * and the detail a reader sees on hover or in the details panel.
+ */
+interface CanvasRelation {
+    /** `<consumer>→<producer>`: the key a consumption edge names in its `relation`. */
+    id: string;
+    /** The consuming project's key ('' for the bound root). */
+    consumer: string;
+    /** The alias the consumer reaches the producer under. */
+    producer: string;
+    health: RelationHealth;
+    /** The uses that are NOT unchanged, with their state and why. */
+    uses: {
+        name: string;
+        state: string;
+        detail?: string;
+    }[];
+    /** How many uses compared unchanged. */
+    unchanged: number;
+    pinnedCommit?: string;
+    pinnedDigest?: string;
+    comparedAt: string;
+    /** Why the relation is unavailable, when it is. */
+    detail?: string;
+}
+
 /** What a landscape edge says about its two ends. */
 type LandscapeEdgeKind = 'contains' | 'owns' | 'shared_with' | 'publishes' | 'consumes' | 'depends_on' | 'mirrors';
 /** A directed edge of the hosted landscape graph. */
@@ -7534,6 +7781,49 @@ interface WebGraphModel {
     scope?: string;
 }
 
+/** The formats the architecture diagram renders to. */
+type DiagramFormat = 'canvas' | 'mermaid' | 'drawio' | 'excalidraw';
+/**
+ * The full CanvasModel for the current (request-scoped) project — the same model
+ * `renderDiagram('canvas')` renders to the standalone HTML, but returned as data
+ * so the React web app can mount the shared renderer directly (no iframe) and,
+ * later, receive it in on-demand scope slices. Pure derivation, no side effects;
+ * relation health is drawn only when passed in.
+ */
+declare function buildCanvasDataModel(relations?: ProjectRelations[]): CanvasModel;
+interface DiagramFile {
+    /** Path relative to the diagrams output directory, using forward slashes. */
+    relPath: string;
+    title: string;
+    /** Raw mermaid source (no markdown fence). */
+    mermaid: string;
+}
+interface SpecGraph {
+    systemName: string;
+    subsystems: SubsystemSpec[];
+    components: ComponentSpec[];
+    interfaces: InterfaceSpec[];
+    implementations: ImplementationSpec[];
+    /** Component ids published via some subsystem's publicInterfaces. */
+    publicComponents: Set<string>;
+}
+declare function loadSpecGraph(): SpecGraph;
+interface ComponentDiagramOptions {
+    /** Scope to one subsystem (its components plus directly-connected externals). */
+    subsystem?: string;
+}
+declare function generateComponentDiagram(options?: ComponentDiagramOptions): string;
+interface SequenceDiagramOptions {
+    /** Max call-expansion depth (default 3). Depth 1 = only the method's own steps. */
+    depth?: number;
+}
+declare function generateSequenceDiagram(componentId: string, methodName: string, options?: SequenceDiagramOptions): string;
+declare function generateDiagramSet(): DiagramFile[];
+/** Wrap raw mermaid in a titled markdown document (renders on GitHub / IDEs). */
+declare function toMarkdown(file: DiagramFile): string;
+/** Index README linking every generated diagram. */
+declare function diagramSetIndex(files: DiagramFile[], systemName: string): string;
+
 /** spec_index — the bound tree as one scan read it: every spec by kind, and the file each is stored in. */
 interface SpecIndex {
     subsystems: SubsystemSpec[];
@@ -7942,6 +8232,18 @@ interface LockStatus {
  * every caller now shares this.
  */
 declare function readLockState(current: StateId): LockStatus;
+/**
+ * core_orchestrator.writeLockRecord — the lock record written through the lock
+ * store. The approval portal publishes THIS function, so a Portal never reaches
+ * the store's write itself: writes route through the Orchestrator.
+ */
+declare function writeLockRecord(record: LockRecord): void;
+/**
+ * core_orchestrator.renderDiagram — the spec tree rendered in the requested
+ * format by the architecture diagrams, with the relation health passed through
+ * (only the canvas draws it). The spec tree portal publishes this function.
+ */
+declare function renderDiagram(format: DiagramFormat, relations?: ProjectRelations[]): string;
 /** Write a fresh configuration for a project that has none; refuses when one exists. */
 declare function createProjectConfig(config: ProjectConfig): void;
 /** Select a pack by name, moving a re-selected pack last; returns whether an earlier selection was replaced. */
@@ -17098,6 +17400,20 @@ interface CallSiteFact {
      * and only where the class holds a body under the invoked name.
      */
     enclosingClass?: string;
+    /**
+     * The receiver written as a CHAIN of property accesses — set only when the
+     * call was written `this.<field>.<property>….name(…)`
+     * (`this.c.tracker.checkIn()` → ["this", "c", "tracker"]) or
+     * `<name>.<property>….name(…)` (`deps.tracker.checkIn()` → ["deps",
+     * "tracker"]), and never together with `via`, `field`, `constructed`,
+     * `returnedBy` or `enclosingClass`. The shape constructor-injected
+     * collaborators take when they arrive as ONE bag object. Followed link by
+     * link through what the code DECLARES each link to be — the root's field
+     * or annotated type, then each property's declared type on the shape that
+     * declares it — and, like every receiver past an import binding, a
+     * POSSIBLE origin and never a proven one.
+     */
+    receiverPath?: string[];
     /**
      * The file this site was READ in, set only when it is not the file these
      * facts describe — a pure re-export barrel carries the sites of the function
@@ -17348,7 +17664,9 @@ interface SourceFileFacts {
      * bindings therefore keep EVERY declared type, and a wider answer only ever
      * widens what a call may have reached. A binding the file annotates with
      * nothing records nothing, and so does one annotated with anything but a
-     * plain type reference: what an initializer INFERS is not what the code
+     * plain type reference or a member-preserving utility (`Pick`, `Omit`,
+     * `Partial`, `Required`, `Readonly`) around one, which names the type it
+     * wraps: what an initializer INFERS is not what the code
      * declares, and a guess is not a fact.
      */
     localTypes?: Record<string, string[]>;
@@ -17362,6 +17680,27 @@ interface SourceFileFacts {
      * rather than folded in.
      */
     typeOnlyBindings?: Record<string, string>;
+    /**
+     * The type names each PROPERTY of a named shape the file declares is
+     * DECLARED with, keyed `<shape>.<property>` — an interface's or a type
+     * literal alias's property signatures, and a class's property declarations
+     * and constructor parameter properties. EXACT grade only.
+     *
+     * What a receiver CHAIN (`CallSiteFact.receiverPath`) is followed through:
+     * a bag of collaborators handed to a constructor names each one's type
+     * exactly here. Read the way `fieldTypes` is, and a property annotated with
+     * anything else records nothing.
+     */
+    memberTypes?: Record<string, string[]>;
+    /**
+     * The ONE type each type alias NAMES outright, by alias name —
+     * `type Contract = Pick<HabitRepository, 'find'>` names HabitRepository,
+     * `type Store = SpecStore` names SpecStore. EXACT grade only. Read the way
+     * `fieldTypes` is, so a union, an intersection, a literal or any other
+     * generic names nothing. The one hop a declared type is followed through
+     * when it is an alias of this file.
+     */
+    aliasTargets?: Record<string, string>;
     /**
      * The members of each named shape the file declares, by declaration name
      * (see TypeShapeFact). EXACT grade only — below it a member list cannot be
@@ -17513,6 +17852,20 @@ declare function fieldTypesOf(facts: SourceFileFacts, field: string): string[];
  * field.
  */
 declare function localTypesOf(facts: SourceFileFacts, name: string): string[];
+/**
+ * source_file_facts.memberTypesOf — the type names a property of a named
+ * shape this file declares is DECLARED with, or EMPTY when the file declares
+ * no such shape or property, annotates it with nothing, or was analyzed below
+ * exact grade. The empty answer keeps an unresolvable link of a receiver
+ * chain from becoming a guess.
+ */
+declare function memberTypesOf(facts: SourceFileFacts, shape: string, property: string): string[];
+/**
+ * source_file_facts.aliasTargetOf — the type a type alias this file declares
+ * names outright, or undefined when the name is no such alias or its right
+ * side names no single type.
+ */
+declare function aliasTargetOf(facts: SourceFileFacts, name: string): string | undefined;
 /**
  * source_file_facts.typeBindingOf — the module specifier a NAME was imported
  * from, whether the import was type-only or a runtime one, since a declared
@@ -35965,7 +36318,7 @@ type DesignExport = z.infer<typeof DesignExportSchema>;
 
 declare const DEFAULT_TARGET_DIRS: Record<string, string>;
 declare function defaultTargetConfig(type: 'claude' | 'gemini' | 'agy' | 'cursor' | 'copilot' | 'codex'): BuiltinTargetConfig;
-declare const WAIRON_VERSION = "5.1.1-dev.102";
+declare const WAIRON_VERSION = "5.1.1-dev.103";
 declare const GITHUB_REPO = "SYW-Apps/Waffle-AIron";
 declare const ARCHITECT_AGENT_ID = "agent-architect";
 declare const ARCHITECT_TEMPLATE_ID = "architect";
@@ -36122,7 +36475,7 @@ declare function moveMember(alias: string, newPath: string): void;
  * `as: project` it then promotes the new part — the pre-stage-8 externalize —
  * every promote refusal found before anything moves.
  */
-declare function externalizeSubsystem(subsystemId: string, path: string, as?: string): void;
+declare function externalizeSubsystem(subsystemId: string, path: string, as?: string): PromoteResult | undefined;
 /**
  * core_orchestrator.promoteMember — promote a part of the bound project to an
  * independent project IN PLACE (stage 8): its files stay where they are and
@@ -36132,7 +36485,24 @@ declare function externalizeSubsystem(subsystemId: string, path: string, as?: st
  * `<parent id>::name` the other), the parent declared as its external and its
  * L0 re-exports re-pointed at the member. Locks nothing.
  */
-declare function promoteMember(alias: string, id?: string): void;
+declare function promoteMember(alias: string, id?: string): PromoteResult;
+/**
+ * promote_result — what a promote (or an externalize as project) wrote across
+ * the new boundary, each one named, so a plan lists exactly what its rehearsal
+ * wrote.
+ */
+interface PromoteResult {
+    /** Every reference of the parent's specs respelled across the boundary, at its parsed position. */
+    respelled: ReferenceEdit[];
+    /** Every reference of the new project's specs respelled: back into the parent, or a self-prefix made bare. */
+    memberRespelled: ReferenceEdit[];
+    /** One line per export entry written, naming the side. */
+    exported: string[];
+    /** One line per bare type name imported by name. */
+    imported: string[];
+    /** One line per consumers entry dropped because it named a subsystem across the boundary. */
+    consumersDropped: string[];
+}
 /**
  * internalize_result — what internalizing a member did with each thing the
  * member held: the subsystems and types it moved, where each piece of the
@@ -36147,6 +36517,12 @@ interface InternalizeResult {
     deleted: string[];
     /** Each piece of metadata deliberately not carried, with the reason. */
     notCarried: string[];
+    /**
+     * Demote only: one line per consumers list widened by the subsystems across
+     * the old boundary that depend on the surface it restricts — the use the
+     * project boundary's export table granted, kept as the list a part needs.
+     */
+    consumersRestored: string[];
 }
 /**
  * core_orchestrator.internalizeMember — fold a member back into the bound
@@ -36290,16 +36666,6 @@ interface TypeRename {
     /** Every edit the rename made to the debt register: an entry anchored on the type. */
     carried: CarriedRekey[];
 }
-/**
- * Rename a type and every reference to it in the bound tree (core_orchestrator.renameType).
- * The type moves to the new id under the same owner, its old id appended to
- * its rename trace; every type position naming it is respelled, and an export
- * entry's typeDef — one that stated no `as` first keeping its public name.
- * Before writing anything it refuses a type that does not exist
- * (type-missing), one in another project (chained-type), a new id outside the
- * id grammar (invalid-id), and a new id another type of the same owner holds
- * or retired (id-taken, id-retired).
- */
 declare function renameType(typeId: string, newId: string): TypeRename;
 /**
  * core_orchestrator.moveMountToMembers — move one legacy L1 mount of the bound
@@ -36316,285 +36682,6 @@ declare function moveMountToMembers(alias: string): boolean;
  */
 declare function normalizeReferences(kind: WritableSpecKind, id: string): boolean;
 
-interface CanvasModel {
-    system: {
-        name: string;
-        vision?: string;
-        targetLanguage?: string;
-        databases?: {
-            id: string;
-            name: string;
-            engine: string;
-            description?: string;
-            tables?: string[];
-        }[];
-        diagram?: {
-            lineStyle?: 'bezier' | 'straight' | 'taxi';
-            defaultView?: 'architecture' | 'types' | 'databases';
-            showDatabases?: boolean;
-        };
-    };
-    generatedAt: string;
-    subsystems: {
-        id: string;
-        name: string;
-        description: string;
-        targetLanguage?: string;
-        status?: string;
-        trustedLinks: {
-            subsystem: string;
-            reason: string;
-        }[];
-        /** A member project's node (stage 3): its id is the member's key, its name the
-         *  alias its parent declares it under; the member's specs hang under it. */
-        project?: boolean;
-        /** Hosted (stage 7): a member project node's record id, present only when the
-         *  caller may read that record — the web app links the node to its page. */
-        recordId?: string;
-        /** Stage 8: the storage badge of a subsystem a PART holds (it is this
-         *  project's own subsystem, stored elsewhere) — `part <alias> · contained`,
-         *  `… · ../admin`, `… · git a1b2c3d` — or of a referenced project node. */
-        storage?: string;
-        /** A declared external that is no project of the family, drawn as a
-         *  project node of its own (dashed) that its consumption edges land on. */
-        external?: boolean;
-        /** Opt-in deep expansion: with Internals on, this subsystem's box renders
-         *  its WHOLE subtree (nested boundary boxes + leaf tiles + direct relation
-         *  lines) instead of one layer. Never set by buildCanvasModel — the hosted
-         *  environment adapter stamps it on unit-derived frames. Absent ⇒ the
-         *  engine behaves exactly as before. */
-        deepInternals?: boolean;
-    }[];
-    components: {
-        id: string;
-        name: string;
-        description: string;
-        subsystem: string;
-        componentType: string;
-        portalType?: string;
-        status?: string;
-        public: boolean;
-        /** The L0 gateway entry id this component backs (the OpenAPI operation tag),
-         *  present only for a component published in the system's public surface. */
-        apiTag?: string;
-        owner?: string;
-        owns: string[];
-        dependsOn: string[];
-        interfaces: {
-            id: string;
-            name: string;
-            description: string;
-            methods: {
-                name: string;
-                description: string;
-                signature: string;
-                returns: string;
-                params?: {
-                    name: string;
-                    type: string;
-                    optional?: boolean;
-                }[];
-                /** Where the method takes its params and returns from, shown beside its signature ("from X"). */
-                signatureFrom?: string;
-                endpoint?: unknown;
-                guarantees?: string[];
-            }[];
-        }[];
-        narratives: {
-            method: string;
-            steps: {
-                n: number;
-                text: string;
-                kind: string;
-                call?: {
-                    component: string;
-                    method: string;
-                };
-                cond?: string;
-                onTrue?: number;
-                onFalse?: number;
-                on?: string;
-                cases?: {
-                    value: string;
-                    step: number;
-                }[];
-                defaultStep?: number;
-                loopKind?: string;
-                over?: string;
-                end?: number;
-                catches?: {
-                    error: string;
-                    step: number;
-                }[];
-                fin?: number;
-                to?: number;
-                /** parallel: arm entry steps (contiguous ordered sub-regions of the body). */
-                branches?: {
-                    step: number;
-                    name?: string;
-                }[];
-                /** call/dispatch: fire-and-forget — failure does not propagate to this flow. */
-                detach?: boolean;
-                outcome?: string;
-                err?: string;
-            }[];
-        }[];
-        /** Opaque external references surfaced on the canvas element (see ExternalLinkSchema).
-         *  wairon never fetches them; an `implementation` link is the external source-of-record. */
-        externalLinks?: {
-            url: string;
-            type: string;
-            label?: string;
-        }[];
-        /** Methods specified as intent prose instead of a narrative (the detail dial). */
-        intents: {
-            method: string;
-            text: string;
-        }[];
-    }[];
-    /** `consumption`: the edge's ends lie in different projects (or it lands on a
-     *  referenced or external project node); `relation`: the CanvasRelation it
-     *  takes its health from, present only when the model carries relations. */
-    edges: {
-        from: string;
-        to: string;
-        cross: boolean;
-        consumption?: boolean;
-        relation?: string;
-    }[];
-    /** Relation health, one per consumer→producer pair the edges connect. PRESENT
-     *  only when health was computed (empty when nothing is consumed); ABSENT when
-     *  it was not — then consumption edges are drawn neutral, "not checked". */
-    relations?: CanvasRelation[];
-    types: {
-        id: string;
-        name: string;
-        kind: string;
-        subsystem?: string;
-        fields: {
-            name: string;
-            type: string;
-            optional?: boolean;
-            key?: string;
-            references?: string;
-        }[];
-        methods: {
-            name: string;
-            signature: string;
-            returns: string;
-            description?: string;
-        }[];
-        /** A signature type's derived text, `(a: T, b?: U): R` — drawn in place of a field list. */
-        signature?: string;
-        /** An enum's values in declared order — drawn in place of a field list. */
-        values?: {
-            name: string;
-            description?: string;
-        }[];
-        /** A named scalar's primitive — drawn compactly beside its name, with no field rows and no edges. */
-        holds?: string;
-        /** Interface methods whose params/returns reference this type (usage trace). */
-        usedBy: {
-            component: string;
-            method: string;
-        }[];
-        componentClass?: string;
-        database?: string;
-        table?: string;
-        linkedEntity?: string;
-    }[];
-    /** Type → type references derived from field type strings (ERD edges). */
-    typeEdges: {
-        from: string;
-        to: string;
-        field: string;
-        card: '1' | '0..1' | '*';
-    }[];
-    /** Data-coupling edges: a component depends on another subsystem's data
-     *  (uses a type it owns), pointed at that subsystem's published portal. */
-    dataEdges: {
-        from: string;
-        to: string;
-    }[];
-    issues: {
-        severity: string;
-        code: string;
-        message: string;
-        specId?: string;
-    }[];
-}
-/**
- * canvas_relation — one consumer-project-to-producer-project relation as the
- * canvas draws it: the health every consumption edge between the two takes,
- * and the detail a reader sees on hover or in the details panel.
- */
-interface CanvasRelation {
-    /** `<consumer>→<producer>`: the key a consumption edge names in its `relation`. */
-    id: string;
-    /** The consuming project's key ('' for the bound root). */
-    consumer: string;
-    /** The alias the consumer reaches the producer under. */
-    producer: string;
-    health: RelationHealth;
-    /** The uses that are NOT unchanged, with their state and why. */
-    uses: {
-        name: string;
-        state: string;
-        detail?: string;
-    }[];
-    /** How many uses compared unchanged. */
-    unchanged: number;
-    pinnedCommit?: string;
-    pinnedDigest?: string;
-    comparedAt: string;
-    /** Why the relation is unavailable, when it is. */
-    detail?: string;
-}
-
-/** The formats the architecture diagram renders to. */
-type DiagramFormat = 'canvas' | 'mermaid' | 'drawio' | 'excalidraw';
-declare function renderDiagram(format: DiagramFormat, relations?: ProjectRelations[]): string;
-/**
- * The full CanvasModel for the current (request-scoped) project — the same model
- * `renderDiagram('canvas')` renders to the standalone HTML, but returned as data
- * so the React web app can mount the shared renderer directly (no iframe) and,
- * later, receive it in on-demand scope slices. Pure derivation, no side effects;
- * relation health is drawn only when passed in.
- */
-declare function buildCanvasDataModel(relations?: ProjectRelations[]): CanvasModel;
-interface DiagramFile {
-    /** Path relative to the diagrams output directory, using forward slashes. */
-    relPath: string;
-    title: string;
-    /** Raw mermaid source (no markdown fence). */
-    mermaid: string;
-}
-interface SpecGraph {
-    systemName: string;
-    subsystems: SubsystemSpec[];
-    components: ComponentSpec[];
-    interfaces: InterfaceSpec[];
-    implementations: ImplementationSpec[];
-    /** Component ids published via some subsystem's publicInterfaces. */
-    publicComponents: Set<string>;
-}
-declare function loadSpecGraph(): SpecGraph;
-interface ComponentDiagramOptions {
-    /** Scope to one subsystem (its components plus directly-connected externals). */
-    subsystem?: string;
-}
-declare function generateComponentDiagram(options?: ComponentDiagramOptions): string;
-interface SequenceDiagramOptions {
-    /** Max call-expansion depth (default 3). Depth 1 = only the method's own steps. */
-    depth?: number;
-}
-declare function generateSequenceDiagram(componentId: string, methodName: string, options?: SequenceDiagramOptions): string;
-declare function generateDiagramSet(): DiagramFile[];
-/** Wrap raw mermaid in a titled markdown document (renders on GitHub / IDEs). */
-declare function toMarkdown(file: DiagramFile): string;
-/** Index README linking every generated diagram. */
-declare function diagramSetIndex(files: DiagramFile[], systemName: string): string;
-
 /**
  * Scan a project root and return all domain candidates.
  * Already-tracked domain paths are marked with alreadyTracked: true.
@@ -37043,6 +37130,8 @@ interface ApprovalVerdict {
     text: string;
     /** Whether the tree has actually moved since it was approved. */
     drifted: boolean;
+    /** Every own spec that moved since the approval, prefixed `~` changed, `+` added, `-` removed; absent when none moved. */
+    moved?: string[];
 }
 /**
  * What has changed since the human last approved this tree.
@@ -37420,9 +37509,25 @@ declare function getRequestParentReach(): {
 declare function setProjectRoot(dir: string | null): void;
 /** Get the raw project root override value (or null if none set) */
 declare function getProjectRootOverride(): string | null;
+/** How a project came to be bound. */
+type ProjectBindingVia = 'here' | 'ancestor' | 'declared-member';
+/** project_binding — the project a folder binds to, and how. */
+interface ProjectBinding {
+    /** The bound project root (absolute). */
+    root: string;
+    /** here: the folder itself; ancestor: a folder above it, inside its repository; declared-member: a project above the repository root that declares it. */
+    via: ProjectBindingVia;
+    /** The repository root the walk was bounded by, when the folder is inside one. */
+    repositoryRoot?: string;
+}
 /**
- * Walk up from startDir to the nearest ancestor containing a wairon project
- * with system.yaml in its specs folder. Returns null if none is found.
+ * Resolve the project a folder binds to by the binding rule; null when none
+ * does. Never fails: an unreadable ancestor configuration declares nothing.
+ */
+declare function resolveProjectBinding(startDir: string): ProjectBinding | null;
+/**
+ * The root the binding rule binds from startDir (resolveProjectBinding), or
+ * null when no project binds it.
  */
 declare function findSystemRoot(startDir: string): string | null;
 /** The resolved project root: the request-scoped root if bound (hosting server),
@@ -37559,4 +37664,4 @@ declare function schemaFingerprint(): string;
  */
 declare function loadProjectConfig(): ProjectConfig;
 
-export { AI_PATHS, ARCHITECT_AGENT_ID, ARCHITECT_TEMPLATE_ID, type AgentBrief, AgentBriefSchema, type AgentRecord, AgentRecordSchema, type AgentStatus, AgentStatusSchema, type AgentTemplate, AgentTemplateSchema, type AnalysisGrade, type ApiKeyLocation, ApiKeyLocationSchema, type ApprovalDiff, type ApprovalVerdict, type ArchProfile, type AuthoredReference, BACKEND_COMMANDS, BUILTIN_PROFILES, type BoundaryItem, BoundaryItemSchema, type BuildContextOptions, type BuiltinTarget, type BuiltinTargetConfig, BuiltinTargetConfigSchema, BuiltinTargetSchema, BundleNotFoundError, type CallSiteFact, type CarriedDebt, type CarriedDebtKind, CarriedDebtKindSchema, CarriedDebtSchema, type CarriedFinding, type CarriedFindingEntry, CarriedFindingSchema, type CatchClause, CatchClauseSchema, ChainingMigrationRefusedError, ClaudeExporter, type ClaudeExporterOptions, type CodeIndex, type CodeModel, type ComplexityRuleConfig, ComplexityRuleConfigSchema, type ComponentRename, type ComponentSpec, ComponentSpecSchema, type ComponentType, ComponentTypeSchema, type CompositionConfig, CompositionConfigSchema, ConfigValidationError, type ConformanceRuleConfig, ConformanceRuleConfigSchema, type ConformanceTier, ConformanceTierSchema, type CrossProjectReference, CustomExporter, type CustomTarget, type CustomTargetConfig, CustomTargetConfigSchema, CustomTargetSchema, DEFAULT_TARGET_DIRS, DESIGN_APPROVALS, DESIGN_DEPENDENCY_ROLES, DESIGN_FORMAT, DESIGN_FORMAT_VERSION, type DatabaseSpec, DatabaseSpecSchema, type DeclarativePack, type DeclaredCall, type DeclaredExternal, type DeclaredMember, type DependencyClass, DependencyClassSchema, type DependencyEdge, type DependencyEdges, type DesignApproval, DesignApprovalSchema, type DesignComponent, DesignComponentSchema, type DesignDependency, type DesignDependencyRole, DesignDependencyRoleSchema, DesignDependencySchema, type DesignDepth, DesignDepthSchema, type DesignExport, type DesignExportEntry, DesignExportEntrySchema, DesignExportSchema, type DesignField, DesignFieldSchema, type DesignImplementation, DesignImplementationSchema, type DesignInterface, DesignInterfaceSchema, type DesignMethod, type DesignMethodBody, DesignMethodBodySchema, DesignMethodSchema, type DesignParam, DesignParamSchema, type DesignProject, DesignProjectSchema, type DesignSource, DesignSourceSchema, type DesignSubsystem, DesignSubsystemSchema, type DesignType, type DesignTypeRef, DesignTypeRefSchema, DesignTypeSchema, type DetectedDomainCandidate, type DiagramConfig, DiagramConfigSchema, type DiagramLineStyle, DiagramLineStyleSchema, type DiagramView, DiagramViewSchema, type DispatchBinding, DispatchBindingSchema, DoctorOptionsError, type DocumentationRuleConfig, DocumentationRuleConfigSchema, type Domain, DomainSchema, type DomainType, DomainTypeSchema, type Durability, DurabilitySchema, EXTERNAL_ALIAS_RE, type EdgeReach, type Endpoint, EndpointSchema, type EnumValue, EnumValueSchema, type EventBinding, EventBindingSchema, type ExportAliasFact, type ExportContext, type ExportKind, type ExportProblem, type ExportProblemKind, type ExportResult, type ExportTableLevel, type ExportUsage, type ExportUse, type Exporter, type ExtData, ExtDataSchema, type ExtensionPack, type ExternalBinding, type ExternalDeclaration, ExternalDeclarationSchema, type ExternalLink, ExternalLinkSchema, type ExternalLinkType, ExternalLinkTypeSchema, type ExternalListing, type ExternalLockEntry, ExternalLockEntrySchema, type ExternalPin, type ExternalPinOutcome, type ExternalRelation, type ExternalRole, type ExternalSource, type ExternalSourceKind, ExternalSourceSchema, type ExternalStatus, type ExternalUseState, type ExternalUseStatus, type ExternalsLock, ExternalsLockSchema, FULL_COMMIT_RE, type FamilyProblemKind, type FamilySwitches, type FindingDeclaration, FindingDeclarationSchema, type FindingParts, type ForeignFieldRepair, type ForwardedName, type FunctionBodyFact, GITHUB_REPO, GeminiExporter, type GenerateOptions, type GenerateSummary, type GroupSpec, GroupSpecSchema, type Guarantee, GuaranteeSchema, HOLDABLE_PRIMITIVES, type HostedRecordLookup, type HttpMethod, HttpMethodSchema, type ImplementationSpec, ImplementationSpecSchema, type ImportBindingFact, type ImportGraph, type ImportSection, type InstalledPack, type InterfaceSpec, InterfaceSpecSchema, type InternalizeDestination, type InternalizeResult, type Invariant, InvariantSchema, type InvocationKind, InvocationKindSchema, type IssueSeverity, type LegacySpecFile, type LifecycleEntrypoint, LifecycleEntrypointSchema, type LifecyclePhase, LifecyclePhaseSchema, type LintAllow, LintAllowSchema, type LintConfig, LintConfigSchema, type LoadedExtensions, type LoadedPackSkill, type LockRecord, type LockStatus, type LogLevel, type LoopKind, LoopKindSchema, type MemberAdvance, type MemberCreation, type MemberDeclaration, MemberDeclarationSchema, type MemberKind, type MemberPin, type MemberSource, type MemberStorage, type MethodEffect, MethodEffectSchema, type MethodImplementation, MethodImplementationSchema, type MethodLike, type MethodParam, MethodParamSchema, type MethodRename, type MethodSignature, MethodSignatureSchema, type MountForm, type NamedOpenApiSpec, NamedOpenApiSpecSchema, type NamingRuleConfig, NamingRuleConfigSchema, type NarrativeDetail, NarrativeDetailSchema, type NarrativeStep, NarrativeStepSchema, type NarrativeStepType, NarrativeStepTypeSchema, type OAuthFlow, OAuthFlowSchema, type OutputTarget, OutputTargetSchema, type OwnershipIndex, PATTERN_TYPES, PRIMITIVE_TYPES, PROJECT_ID_RE, PROJECT_KINDS, PUBLIC_NAME_RE, type PackDiagnosis, type PackEntry, type PackPath, type PackRef, type PackRequirement, PackRequirementSchema, type PackScope, type PackSelection, PackSelectionSchema, type ParallelBranch, ParallelBranchSchema, type ParameterFact, type ParentExcerpt, ParentExcerptSchema, type ParsedMemberSource, type PartOf, PartOfSchema, type PathsConfig, PathsConfigSchema, type PatternRef, PatternRefSchema, type PinnedExternal, type PinnedParent, type PortalAuth, PortalAuthSchema, type PortalAuthScheme, PortalAuthSchemeSchema, type PortalMount, PortalMountSchema, type PortalType, PortalTypeSchema, PreviousIdsSchema, PreviousNamesSchema, ProfileSelectionSubjectSchema, type ProjectConfig, ProjectConfigSchema, type ProjectFamily, type ProjectFamilyProblem, type ProjectIdOrigin, type ProjectIdSource, type ProjectIdentity, type ProjectIdentityProblem, type ProjectImport, type ProjectNode, ProjectNotInitializedError, type ProjectProfileSelection, ProjectProfileSelectionSchema, type ProjectRelations, type PublicInterface, PublicInterfaceSchema, type PublicInterfaceType, PublicInterfaceTypeSchema, RETIRED_STEREOTYPES, type ReadableProject, type RealizationIndex, type ReexportBindingFact, type ReferenceBinding, type ReferenceEdit, type ReferenceForm, type ReferenceLanding, type ReferenceResolution, type Registry, RegistrySchema, type RelationHealth, type RenameTraceHolders, type RequirementItem, RequirementItemSchema, type ResolutionOutcome, type ResolvedBody, type ResolvedDetail, type ResolvedExport, type ResolvedExportTable, type ResolvedExternal, ResolvedInterfaceSpecSchema, type ResolvedMethod, ResolvedMethodSignatureSchema, ResolvedTypeMethodSchema, ResolvedTypeSpecSchema, type RouteFact, type RuleCode, type RuleContext, type RuleJudgement, type RuleScope, type RulesConfig, RulesConfigSchema, SCAN_EXCLUDE_DIRS, SDD_RULES, SEMANTIC_GUARANTEES, STEP_COMMON_FIELDS, STEP_LABEL_TWINS, STEP_TYPE_FIELDS, SUPPORTED_ALIASES, SURFACE_AUDIENCES, type ScopeFilterOptions, type SddRule, type Severity, type ShapeMemberFact, type ShapeOrigin, type SignatureFacts, type SignatureResolution, type SignatureSourceFact, type SignatureTextRepair, type SourceFileFacts, type SourceFileStatus, type SpecId, type SpecIdKind, SpecIdSchema, type SpecIndex, type SpecScanOptions, type SpecStatus, SpecStatusSchema, type SpecialistRetirement, type SpecialistRetype, type StaleSignatureText, type StateId, type StatusDecor, type StatusOptions, type StatusReport, type StepConfigCode, type StepConfigProblem, type StepConfigVerdict, type StepGraph, type StoredInterfaceSpec, type StoredMethodSignature, StoredMethodSignatureSchema, type StoredTypeMethod, StoredTypeMethodSchema, type StoredTypeSpec, type SubsystemSpec, SubsystemSpecSchema, type SubsystemWriteRule, type SupportedAlias, type SurfaceAudience, SurfaceAudienceSchema, type SurfaceContractEntry, SurfaceContractEntrySchema, type SurfaceOrigin, SurfaceOriginSchema, type SurfaceRefResolution, type SurfaceSnapshot, SurfaceSnapshotSchema, type SurfaceTypeDef, SurfaceTypeDefSchema, type SurfaceTypeExport, SurfaceTypeExportSchema, type SwitchCase, SwitchCaseSchema, type SyncResult, type SystemPublicInterface, SystemPublicInterfaceSchema, type SystemSpec, SystemSpecSchema, type TargetConfig, TargetConfigSchema, type Technology, TechnologySchema, type Template, TemplateNotFoundError, TemplateSchema, type TopologyConfig, TopologyConfigSchema, type Transport, TransportSchema, type TreeExportResult, type TreeImportOptions, type TreeImportResult, type TrustedLink, TrustedLinkSchema, type TypeCanonicalization, type TypeDialect, type TypeEnumProposal, type TypeExpression, type TypeExpressionProblem, TypeExpressionSchema, type TypeField, TypeFieldSchema, type TypeForm, type TypeKind, TypeKindSchema, type TypeMethod, TypeMethodSchema, type TypeParse, type TypePosition, type TypeProblemCode, type TypeRename, type TypeRespelling, type TypeShapeFact, type TypeSpec, TypeSpecSchema, type TypeSpellingFacts, type TypeSpellingRepair, type TypedSpecKind, USE_ENTRY_RE, WAIRON_MANAGED_BANNER, WAIRON_MANAGED_MARKER, WAIRON_VERSION, type WaiPaths, WaironError, type WriteReach, activeTargetTypes, addDomain, admits, advanceMember, aiDir, aiDirAt, aiPathsAt, ambiguityMessage, approvalKeyIn, approvalRecord, approvalVerdict, assertContainedProjectPath, assertProjectInitialized, backendCommand, backfillChainedSubprojectConfigs, backupBeside, bodySitesOf, buildCanvasDataModel, buildProjectGraph, buildRuleContext, builtinProfileIds, builtinProjectKinds, callSitesOf, canonicalTypeRef, canonicalTypeText, captureApprovedSpecs, checkDeclarativePack, clearLoaderIssues, cognitiveScore, complexityLevel, composeAgentBrief, composeRuleSequence, computeGateStateId, computeOwnStateId, computeStateId, computeStateIdAt, conceptNoun, consumedContractInputs, containedPathOf, contentDigest, createAgentRecord, createEmptyRegistry, createEmptyTopologyConfig, createMember, createProjectConfig, currentRootBinding, declareExternal, declareMember, declaredExternals, declaredMembers, declaredPackNames, declaredProfileIds, declares, declaresGlobalPacks, defaultConformanceTier, defaultNarrativeDetail, defaultPackSelections, defaultTargetConfig, deleteSpec, demoteMember, dependencyCycles, deregisterPackRef, deriveExecutionProfile, deriveMethodSignature, deriveTypeSignature, derivedDocPaths, describeProject, detectDomainCandidates, diagnoseProjectPacks, diagramSetIndex, dialectOf, diffAgainstApproval, diffSize, discoverPacks, dryRunSerializeSpecs, effectiveDetail, effectiveProjectId, emptyExtensions, emptyTypeSpellingFacts, ensureDir, ensureProjectInitialized, excerpt as excerptParent, exportDesign, exportSpecTree, exportSurface, exportTargetKey, exportUsage, externalizeSubsystem, extractTypeIdentifiers, factsFor, familyApprovals, familyNode, familyRelations, fieldTypeRefs, fieldTypesOf, findChainingParent, findChainingSubprojectsMissingConfig, findLegacySpecFiles, findProjectRoot, findSystemRoot, findTestsReferencing, fromProjectRoot, generateAgent, generateAll, generateComponentDiagram, generateDiagramSet, generateSequenceDiagram, getExporter, getExternalsStatus, getHostedLookup, getLoaderIssues, getProjectRoot, getProjectRootOverride, getRequestParentReach, getRequestProjectRoot, getSnapshot, getStatusReport, getWriteReach, globalGuideFilePath, globalPacksDir, globalPacksEnabled, globalTemplatesDir, hasContext, hasFunctionBody, headNoun, holdsState, implementationSourceFiles, importBindingOf, importNames, importSpecTree, importSurface, injectGuide, installPackFromDirectory, interfaceCanonicalTypes, interfaceGenericParameters, internalizeMember, isDraftSubsystem, isLogic, isOutsideRoot, isOwnComponentEntry, isPart, isPattern, isProjectInitialized, isProvidedBy, isRetired, isTypeVocabulary, judgesCode, keyIn, landReference, languageOfSourcePath, lineEndingFor, listDirectChainedSubprojects, listExternals, listFiles, listFilesRecursive, listInstalledPacks, listPinnedExternals, listRules, listSnapshots, loadComponentSpec, loadComponentSpecs, loadExtensionPacks, loadExtensions, loadFor as loadExtensionsFor, loadImplementationSpec, loadImplementationSpecs, loadInterfaceSpec, loadInterfaceSpecs, loadProjectConfig, loadProjectExtensions, loadProjectVariants, loadRegistry, loadSpec, loadSpecGraph, loadSubsystemSpec, loadSubsystemSpecs, loadSystemSpec, loadTopologyConfig, loadTypeSpec, loadTypeSpecs, localApprover, localGuideFilePath, localTypesOf, logger, makeScopeFilter, markSelectionsBundled, matchTypeRef, measurePackDoctrine, measurePackImpact, memberDeclarationOf, memberDigest, memberLocationOf, methodGenericParameters, methodSourceFile, methodTypeRefs, moveMember, moveMethods, moveMountToMembers, nameKey, namesAnInteger, narrativeStepForeignFields, normalizeReferences, ownerOf, packDirEntry, packEntryLabel, packEntryRef, manifestOf as packManifest, packStoreDir, parseDeclarativePack, parseDeclaredCall, parseMemberSource, parseTypeExpression, parseTypePosition, parseYaml, passesIntentFloor, pathExists, pathKey, pinExternals, pinInstalledPacksAsSelections, pinnedParent, producerOf, projectConfigExists, graph as projectFamily, projectIdentity, promoteMember, provisionProject, qualifiedTypeId, rangeProblem, readCodeAnnotation, readFileOrNull, readJsonFile, readLockRecord, readLockState, readStampVersion, readYamlFile, recordProfileSelection, registerExporter, registerPackRef, reinjectLocalGuides, relationHealth, removeDomain, removeExternal, removeMember, removePackSelection, removeSnapshot, renameAlias, renameComponent, renameProjectId as renameId, renameMethod, renameType, renderDiagram, repairForeignStepFields, repairSignatures, repairTypeSpellings, repointExternal, requiredPolicies, resolveAgentTopology, resolveBudget, resolveChainingParent, resolveDomains, resolveExpectedOutputPaths, resolveDeclared as resolveExternals, resolveImport, resolveInstalledPack, resolveProjectExports, resolveSignatures, resolveSubprojectForNamespace, resolveSubsystemExports, resolveVariantGuidance, retireSpecialists, returnTypeOf, rewriteReferences, runWithHostedLookup, runWithProjectBinding, runWithProjectRoot, sameContract, saveSpec, saveTopologyConfig, scanAllSpecs, schemaFingerprint, selectsFamily, serializeYaml, setExecutionTier, setProjectId as setId, setLogLevel, setProjectRoot, setProjectType, settledSpecPaths, signatureFacts, signatureTypeRefs, specIndexRetiredBy, specPathsInScope, splitNamespace, stepConfigVerdict, stepFieldsFor, stepGraph, storedMethodSignature, storedTypeMethod, syncContextFiles, technologyName, technologyTokens, toMarkdown, typeBindingOf, typeCanonicalTypes, typeDialectFor, typeGenericParameters, typeIsMany, typeMatchesRef, typeNamedRefs, typeProblemEnumProposal, typeProblemIntProposal, typeSourceFiles, typeSpellingFacts, uninstallPack, updateMember, updateSpec, upsertPackSelection, validateAsComplete, validateComponentCandidate, validateFamily, validateProject, validateProjectConfig, validateRegistry, withLineEndings, withPack, writeFile, writeFileIfChanged, writeJsonFile, writeLockRecord, writeReachDenials, writeReachPermits, writeRootGuideDelegator, writeYamlFile, writtenTypeRefs };
+export { AI_PATHS, ARCHITECT_AGENT_ID, ARCHITECT_TEMPLATE_ID, type AgentBrief, AgentBriefSchema, type AgentRecord, AgentRecordSchema, type AgentStatus, AgentStatusSchema, type AgentTemplate, AgentTemplateSchema, type AnalysisGrade, type ApiKeyLocation, ApiKeyLocationSchema, type ApprovalDiff, type ApprovalVerdict, type ArchProfile, type AuthoredReference, BACKEND_COMMANDS, BUILTIN_PROFILES, type BoundaryItem, BoundaryItemSchema, type BuildContextOptions, type BuiltinTarget, type BuiltinTargetConfig, BuiltinTargetConfigSchema, BuiltinTargetSchema, BundleNotFoundError, type CallSiteFact, type CarriedDebt, type CarriedDebtKind, CarriedDebtKindSchema, CarriedDebtSchema, type CarriedFinding, type CarriedFindingEntry, CarriedFindingSchema, type CatchClause, CatchClauseSchema, ChainingMigrationRefusedError, ClaudeExporter, type ClaudeExporterOptions, type CodeIndex, type CodeModel, type ComplexityRuleConfig, ComplexityRuleConfigSchema, type ComponentRename, type ComponentSpec, ComponentSpecSchema, type ComponentType, ComponentTypeSchema, type CompositionConfig, CompositionConfigSchema, ConfigValidationError, type ConformanceRuleConfig, ConformanceRuleConfigSchema, type ConformanceTier, ConformanceTierSchema, type CrossProjectReference, CustomExporter, type CustomTarget, type CustomTargetConfig, CustomTargetConfigSchema, CustomTargetSchema, DEFAULT_TARGET_DIRS, DESIGN_APPROVALS, DESIGN_DEPENDENCY_ROLES, DESIGN_FORMAT, DESIGN_FORMAT_VERSION, type DatabaseSpec, DatabaseSpecSchema, type DeclarativePack, type DeclaredCall, type DeclaredExternal, type DeclaredMember, type DependencyClass, DependencyClassSchema, type DependencyEdge, type DependencyEdges, type DesignApproval, DesignApprovalSchema, type DesignComponent, DesignComponentSchema, type DesignDependency, type DesignDependencyRole, DesignDependencyRoleSchema, DesignDependencySchema, type DesignDepth, DesignDepthSchema, type DesignExport, type DesignExportEntry, DesignExportEntrySchema, DesignExportSchema, type DesignField, DesignFieldSchema, type DesignImplementation, DesignImplementationSchema, type DesignInterface, DesignInterfaceSchema, type DesignMethod, type DesignMethodBody, DesignMethodBodySchema, DesignMethodSchema, type DesignParam, DesignParamSchema, type DesignProject, DesignProjectSchema, type DesignSource, DesignSourceSchema, type DesignSubsystem, DesignSubsystemSchema, type DesignType, type DesignTypeRef, DesignTypeRefSchema, DesignTypeSchema, type DetectedDomainCandidate, type DiagramConfig, DiagramConfigSchema, type DiagramLineStyle, DiagramLineStyleSchema, type DiagramView, DiagramViewSchema, type DispatchBinding, DispatchBindingSchema, DoctorOptionsError, type DocumentationRuleConfig, DocumentationRuleConfigSchema, type Domain, DomainSchema, type DomainType, DomainTypeSchema, type Durability, DurabilitySchema, EXTERNAL_ALIAS_RE, type EdgeReach, type Endpoint, EndpointSchema, type EnumValue, EnumValueSchema, type EventBinding, EventBindingSchema, type ExportAliasFact, type ExportContext, type ExportKind, type ExportProblem, type ExportProblemKind, type ExportResult, type ExportTableLevel, type ExportUsage, type ExportUse, type Exporter, type ExtData, ExtDataSchema, type ExtensionPack, type ExternalBinding, type ExternalDeclaration, ExternalDeclarationSchema, type ExternalLink, ExternalLinkSchema, type ExternalLinkType, ExternalLinkTypeSchema, type ExternalListing, type ExternalLockEntry, ExternalLockEntrySchema, type ExternalPin, type ExternalPinOutcome, type ExternalRelation, type ExternalRole, type ExternalSource, type ExternalSourceKind, ExternalSourceSchema, type ExternalStatus, type ExternalUseState, type ExternalUseStatus, type ExternalsLock, ExternalsLockSchema, FULL_COMMIT_RE, type FamilyProblemKind, type FamilySwitches, type FindingDeclaration, FindingDeclarationSchema, type FindingParts, type ForeignFieldRepair, type ForwardedName, type FunctionBodyFact, GITHUB_REPO, GeminiExporter, type GenerateOptions, type GenerateSummary, type GroupSpec, GroupSpecSchema, type Guarantee, GuaranteeSchema, HOLDABLE_PRIMITIVES, type HostedRecordLookup, type HttpMethod, HttpMethodSchema, type ImplementationSpec, ImplementationSpecSchema, type ImportBindingFact, type ImportGraph, type ImportSection, type InstalledPack, type InterfaceSpec, InterfaceSpecSchema, type InternalizeDestination, type InternalizeResult, type Invariant, InvariantSchema, type InvocationKind, InvocationKindSchema, type IssueSeverity, type LegacySpecFile, type LifecycleEntrypoint, LifecycleEntrypointSchema, type LifecyclePhase, LifecyclePhaseSchema, type LintAllow, LintAllowSchema, type LintConfig, LintConfigSchema, type LoadedExtensions, type LoadedPackSkill, type LockRecord, type LockStatus, type LogLevel, type LoopKind, LoopKindSchema, type MemberAdvance, type MemberCreation, type MemberDeclaration, MemberDeclarationSchema, type MemberKind, type MemberPin, type MemberSource, type MemberStorage, type MethodEffect, MethodEffectSchema, type MethodImplementation, MethodImplementationSchema, type MethodLike, type MethodParam, MethodParamSchema, type MethodRename, type MethodSignature, MethodSignatureSchema, type MountForm, type NamedOpenApiSpec, NamedOpenApiSpecSchema, type NamingRuleConfig, NamingRuleConfigSchema, type NarrativeDetail, NarrativeDetailSchema, type NarrativeStep, NarrativeStepSchema, type NarrativeStepType, NarrativeStepTypeSchema, type OAuthFlow, OAuthFlowSchema, type OutputTarget, OutputTargetSchema, type OwnershipIndex, PATTERN_TYPES, PRIMITIVE_TYPES, PROJECT_ID_RE, PROJECT_KINDS, PUBLIC_NAME_RE, type PackDiagnosis, type PackEntry, type PackPath, type PackRef, type PackRequirement, PackRequirementSchema, type PackScope, type PackSelection, PackSelectionSchema, type ParallelBranch, ParallelBranchSchema, type ParameterFact, type ParentExcerpt, ParentExcerptSchema, type ParsedMemberSource, type PartOf, PartOfSchema, type PathsConfig, PathsConfigSchema, type PatternRef, PatternRefSchema, type PinnedExternal, type PinnedParent, type PortalAuth, PortalAuthSchema, type PortalAuthScheme, PortalAuthSchemeSchema, type PortalMount, PortalMountSchema, type PortalType, PortalTypeSchema, PreviousIdsSchema, PreviousNamesSchema, ProfileSelectionSubjectSchema, type ProjectBinding, type ProjectBindingVia, type ProjectConfig, ProjectConfigSchema, type ProjectFamily, type ProjectFamilyProblem, type ProjectIdOrigin, type ProjectIdSource, type ProjectIdentity, type ProjectIdentityProblem, type ProjectImport, type ProjectNode, ProjectNotInitializedError, type ProjectProfileSelection, ProjectProfileSelectionSchema, type ProjectRelations, type PromoteResult, type PublicInterface, PublicInterfaceSchema, type PublicInterfaceType, PublicInterfaceTypeSchema, RETIRED_STEREOTYPES, type ReadableProject, type RealizationIndex, type ReexportBindingFact, type ReferenceBinding, type ReferenceEdit, type ReferenceForm, type ReferenceLanding, type ReferenceResolution, type Registry, RegistrySchema, type RelationHealth, type RenameTraceHolders, type RequirementItem, RequirementItemSchema, type ResolutionOutcome, type ResolvedBody, type ResolvedDetail, type ResolvedExport, type ResolvedExportTable, type ResolvedExternal, ResolvedInterfaceSpecSchema, type ResolvedMethod, ResolvedMethodSignatureSchema, ResolvedTypeMethodSchema, ResolvedTypeSpecSchema, type RouteFact, type RuleCode, type RuleContext, type RuleJudgement, type RuleScope, type RulesConfig, RulesConfigSchema, SCAN_EXCLUDE_DIRS, SDD_RULES, SEMANTIC_GUARANTEES, STEP_COMMON_FIELDS, STEP_LABEL_TWINS, STEP_TYPE_FIELDS, SUPPORTED_ALIASES, SURFACE_AUDIENCES, type ScopeFilterOptions, type SddRule, type Severity, type ShapeMemberFact, type ShapeOrigin, type SignatureFacts, type SignatureResolution, type SignatureSourceFact, type SignatureTextRepair, type SourceFileFacts, type SourceFileStatus, type SpecId, type SpecIdKind, SpecIdSchema, type SpecIndex, type SpecScanOptions, type SpecStatus, SpecStatusSchema, type SpecialistRetirement, type SpecialistRetype, type StaleSignatureText, type StateId, type StatusDecor, type StatusOptions, type StatusReport, type StepConfigCode, type StepConfigProblem, type StepConfigVerdict, type StepGraph, type StoredInterfaceSpec, type StoredMethodSignature, StoredMethodSignatureSchema, type StoredTypeMethod, StoredTypeMethodSchema, type StoredTypeSpec, type SubsystemSpec, SubsystemSpecSchema, type SubsystemWriteRule, type SupportedAlias, type SurfaceAudience, SurfaceAudienceSchema, type SurfaceContractEntry, SurfaceContractEntrySchema, type SurfaceOrigin, SurfaceOriginSchema, type SurfaceRefResolution, type SurfaceSnapshot, SurfaceSnapshotSchema, type SurfaceTypeDef, SurfaceTypeDefSchema, type SurfaceTypeExport, SurfaceTypeExportSchema, type SwitchCase, SwitchCaseSchema, type SyncResult, type SystemPublicInterface, SystemPublicInterfaceSchema, type SystemSpec, SystemSpecSchema, type TargetConfig, TargetConfigSchema, type Technology, TechnologySchema, type Template, TemplateNotFoundError, TemplateSchema, type TopologyConfig, TopologyConfigSchema, type Transport, TransportSchema, type TreeExportResult, type TreeImportOptions, type TreeImportResult, type TrustedLink, TrustedLinkSchema, type TypeCanonicalization, type TypeDialect, type TypeEnumProposal, type TypeExpression, type TypeExpressionProblem, TypeExpressionSchema, type TypeField, TypeFieldSchema, type TypeForm, type TypeKind, TypeKindSchema, type TypeMethod, TypeMethodSchema, type TypeParse, type TypePosition, type TypeProblemCode, type TypeRename, type TypeRespelling, type TypeShapeFact, type TypeSpec, TypeSpecSchema, type TypeSpellingFacts, type TypeSpellingRepair, type TypedSpecKind, USE_ENTRY_RE, WAIRON_MANAGED_BANNER, WAIRON_MANAGED_MARKER, WAIRON_VERSION, type WaiPaths, WaironError, type WriteReach, activeTargetTypes, addDomain, admits, advanceMember, aiDir, aiDirAt, aiPathsAt, aliasTargetOf, ambiguityMessage, approvalKeyIn, approvalRecord, approvalVerdict, assertContainedProjectPath, assertProjectInitialized, backendCommand, backfillChainedSubprojectConfigs, backupBeside, bodySitesOf, buildCanvasDataModel, buildProjectGraph, buildRuleContext, builtinProfileIds, builtinProjectKinds, callSitesOf, canonicalTypeRef, canonicalTypeText, captureApprovedSpecs, checkDeclarativePack, clearLoaderIssues, cognitiveScore, complexityLevel, composeAgentBrief, composeRuleSequence, computeGateStateId, computeOwnStateId, computeStateId, computeStateIdAt, conceptNoun, consumedContractInputs, containedPathOf, contentDigest, createAgentRecord, createEmptyRegistry, createEmptyTopologyConfig, createMember, createProjectConfig, currentRootBinding, declareExternal, declareMember, declaredExternals, declaredMembers, declaredPackNames, declaredProfileIds, declares, declaresGlobalPacks, defaultConformanceTier, defaultNarrativeDetail, defaultPackSelections, defaultTargetConfig, deleteSpec, demoteMember, dependencyCycles, deregisterPackRef, deriveExecutionProfile, deriveMethodSignature, deriveTypeSignature, derivedDocPaths, describeProject, detectDomainCandidates, diagnoseProjectPacks, diagramSetIndex, dialectOf, diffAgainstApproval, diffSize, discoverPacks, dryRunSerializeSpecs, effectiveDetail, effectiveProjectId, emptyExtensions, emptyTypeSpellingFacts, ensureDir, ensureProjectInitialized, excerpt as excerptParent, exportDesign, exportSpecTree, exportSurface, exportTargetKey, exportUsage, externalizeSubsystem, extractTypeIdentifiers, factsFor, familyApprovals, familyNode, familyRelations, fieldTypeRefs, fieldTypesOf, findChainingParent, findChainingSubprojectsMissingConfig, findLegacySpecFiles, findProjectRoot, findSystemRoot, findTestsReferencing, fromProjectRoot, generateAgent, generateAll, generateComponentDiagram, generateDiagramSet, generateSequenceDiagram, getExporter, getExternalsStatus, getHostedLookup, getLoaderIssues, getProjectRoot, getProjectRootOverride, getRequestParentReach, getRequestProjectRoot, getSnapshot, getStatusReport, getWriteReach, globalGuideFilePath, globalPacksDir, globalPacksEnabled, globalTemplatesDir, hasContext, hasFunctionBody, headNoun, holdsState, implementationSourceFiles, importBindingOf, importNames, importSpecTree, importSurface, injectGuide, installPackFromDirectory, interfaceCanonicalTypes, interfaceGenericParameters, internalizeMember, isDraftSubsystem, isLogic, isOutsideRoot, isOwnComponentEntry, isPart, isPattern, isProjectInitialized, isProvidedBy, isRetired, isTypeVocabulary, judgesCode, keyIn, landReference, languageOfSourcePath, lineEndingFor, listDirectChainedSubprojects, listExternals, listFiles, listFilesRecursive, listInstalledPacks, listPinnedExternals, listRules, listSnapshots, loadComponentSpec, loadComponentSpecs, loadExtensionPacks, loadExtensions, loadFor as loadExtensionsFor, loadImplementationSpec, loadImplementationSpecs, loadInterfaceSpec, loadInterfaceSpecs, loadProjectConfig, loadProjectExtensions, loadProjectVariants, loadRegistry, loadSpec, loadSpecGraph, loadSubsystemSpec, loadSubsystemSpecs, loadSystemSpec, loadTopologyConfig, loadTypeSpec, loadTypeSpecs, localApprover, localGuideFilePath, localTypesOf, logger, makeScopeFilter, markSelectionsBundled, matchTypeRef, measurePackDoctrine, measurePackImpact, memberDeclarationOf, memberDigest, memberLocationOf, memberTypesOf, methodGenericParameters, methodSourceFile, methodTypeRefs, moveMember, moveMethods, moveMountToMembers, nameKey, namesAnInteger, narrativeStepForeignFields, normalizeReferences, ownerOf, packDirEntry, packEntryLabel, packEntryRef, manifestOf as packManifest, packStoreDir, parseDeclarativePack, parseDeclaredCall, parseMemberSource, parseTypeExpression, parseTypePosition, parseYaml, passesIntentFloor, pathExists, pathKey, pinExternals, pinInstalledPacksAsSelections, pinnedParent, producerOf, projectConfigExists, graph as projectFamily, projectIdentity, promoteMember, provisionProject, qualifiedTypeId, rangeProblem, readCodeAnnotation, readFileOrNull, readJsonFile, readLockRecord, readLockState, readStampVersion, readYamlFile, recordProfileSelection, registerExporter, registerPackRef, reinjectLocalGuides, relationHealth, removeDomain, removeExternal, removeMember, removePackSelection, removeSnapshot, renameAlias, renameComponent, renameProjectId as renameId, renameMethod, renameType, renderDiagram, repairForeignStepFields, repairSignatures, repairTypeSpellings, repointExternal, requiredPolicies, resolveAgentTopology, resolveBudget, resolveChainingParent, resolveDomains, resolveExpectedOutputPaths, resolveDeclared as resolveExternals, resolveImport, resolveInstalledPack, resolveProjectBinding, resolveProjectExports, resolveSignatures, resolveSubprojectForNamespace, resolveSubsystemExports, resolveVariantGuidance, retireSpecialists, returnTypeOf, rewriteReferences, runWithHostedLookup, runWithProjectBinding, runWithProjectRoot, sameContract, saveSpec, saveTopologyConfig, scanAllSpecs, schemaFingerprint, selectsFamily, serializeYaml, setExecutionTier, setProjectId as setId, setLogLevel, setProjectRoot, setProjectType, settledSpecPaths, signatureFacts, signatureTypeRefs, specIndexRetiredBy, specPathsInScope, splitNamespace, stepConfigVerdict, stepFieldsFor, stepGraph, storedMethodSignature, storedTypeMethod, syncContextFiles, technologyName, technologyTokens, toMarkdown, typeBindingOf, typeCanonicalTypes, typeDialectFor, typeGenericParameters, typeIsMany, typeMatchesRef, typeNamedRefs, typeProblemEnumProposal, typeProblemIntProposal, typeSourceFiles, typeSpellingFacts, uninstallPack, updateMember, updateSpec, upsertPackSelection, validateAsComplete, validateComponentCandidate, validateFamily, validateProject, validateProjectConfig, validateRegistry, withLineEndings, withPack, writeFile, writeFileIfChanged, writeJsonFile, writeLockRecord, writeReachDenials, writeReachPermits, writeRootGuideDelegator, writeYamlFile, writtenTypeRefs };