@wairon/cli 5.1.1-dev.106 → 5.1.1-dev.107

package/dist/index.d.ts

@@ -3713,6 +3713,10 @@ interface ExportProblem {
     targets?: string[];
     /** What is wrong, in words a finding can quote. */
     detail: string;
+    /** On an invalid named re-export: the public name the source's rename trace carries the item to. */
+    renamedTo?: string;
+    /** On an invalid named re-export: the `from` it names, as written. */
+    source?: string;
 }
 /** Whose export table: one subsystem's L1 table, or a project's L0 table. */
 type ExportTableLevel = 'subsystem' | 'project';
@@ -3798,9 +3802,9 @@ interface StateId {
     digest: string;
     /**
      * On a gate identity only: the same gate identity computed under the
-     * algorithm the bound project's lock record was taken with, when that is the
-     * previous (full-content, format-2) algorithm this release can still
-     * recompute. Present only while the record on disk carries it, so such a
+     * algorithm the bound project's lock record was taken with, when that is an
+     * earlier algorithm this release can still recompute (the full-content
+     * format-2 one, or the earlier design reading that still carried status). Present only while the record on disk carries it, so such a
      * lock is judged exactly as it was taken. Never recorded: a lock writes
      * algorithm and digest alone.
      */
@@ -3824,15 +3828,26 @@ declare function computeOwnStateId(): StateId;
 /**
  * state_hash.ownDesign — the DESIGN identity of the bound project's own specs:
  * exactly ownTree's selection, storage-independence and ordering, but each
- * spec digested in its design view — an implementation, a type and a
- * component through their type's designView (code linkage and timestamps
- * out), every other kind with its timestamps out (canonicalize drops them).
- * A part's implementation needs no re-expression from the part's root: the
- * paths are linkage, and the view leaves them out. Algorithm marker
- * `sha256-design`, so it never compares equal to a content identity. The
- * content half of the gate identity from lock format 3 on.
+ * spec digested in its design view — an implementation, a type, a component,
+ * a subsystem and a contract through their type's designView (code linkage,
+ * readiness and timestamps out), every other kind with its timestamps out
+ * (canonicalize drops them). A part's implementation needs no re-expression
+ * from the part's root: the paths are linkage, and the view leaves them out.
+ * Algorithm marker `sha256-design-2`, so it never compares equal to a content
+ * identity or to the earlier design reading. The content half of the gate
+ * identity from lock format 3 on.
  */
 declare function computeOwnDesignStateId(): StateId;
+/**
+ * state_hash.ownDesignAsRecorded — the own design identity in the EARLIER
+ * reading (`sha256-design`), whose view still carried each spec's status: the
+ * design view as ownDesign takes it with the status put back — the one
+ * approvedStatus names for `<kind>:<id>` (the status the approval recorded),
+ * else the status the spec has now. So a lock taken in that reading is
+ * recomputed exactly as it was taken, and a tree in which nothing but a status
+ * moved still matches it.
+ */
+declare function computeOwnDesignStateIdAsRecorded(approvedStatus: ReadonlyMap<string, SpecStatus>): StateId;
 
 /** primitive | named | list | set | map | optional | union | async | applied | result. */
 type TypeForm = 'primitive' | 'named' | 'list' | 'set' | 'map' | 'optional' | 'union' | 'async' | 'applied' | 'result';
@@ -4012,8 +4027,12 @@ declare function typeProblemEnumProposal(problem: TypeExpressionProblem): TypeEn
 /** No facts at all: what a scan starts from. */
 declare function emptyTypeSpellingFacts(): TypeSpellingFacts;
 
-/** Which reading of a signatureFrom resolved: a contract method, or a signature type. */
-type SignatureSourceForm = 'method' | 'signature';
+/**
+ * Which reading of a signatureFrom resolved: a contract method, a signature
+ * type, or a contract method of another project's export entry
+ * (`alias::name.method`, its types spelled as the referrer spells them).
+ */
+type SignatureSourceForm = 'method' | 'signature' | 'export';
 /** What resolving one signatureFrom found. */
 type SignatureSourceOutcome = 'resolved' | 'unresolved' | 'ambiguous' | 'chained' | 'restated';
 /** signature_source_fact — what resolving one contract method's signatureFrom found. */
@@ -5645,8 +5664,8 @@ declare const PackAssertionSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<
         componentType?: string[] | undefined;
     };
     reason: string;
-    severity: "error" | "warning";
     relation: ("owns" | "dependsOn")[];
+    severity: "error" | "warning";
     to: {
         id?: string | undefined;
         profile?: string[] | undefined;
@@ -5666,8 +5685,8 @@ declare const PackAssertionSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<
         profile?: string[] | undefined;
         componentType?: string[] | undefined;
     };
-    severity?: "error" | "warning" | undefined;
     relation?: ("owns" | "dependsOn")[] | undefined;
+    severity?: "error" | "warning" | undefined;
 }>, z.ZodObject<{
     on: z.ZodObject<{
         componentType: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -6411,8 +6430,8 @@ declare const DeclarativePackSchema: z.ZodObject<{
             componentType?: string[] | undefined;
         };
         reason: string;
-        severity: "error" | "warning";
         relation: ("owns" | "dependsOn")[];
+        severity: "error" | "warning";
         to: {
             id?: string | undefined;
             profile?: string[] | undefined;
@@ -6432,8 +6451,8 @@ declare const DeclarativePackSchema: z.ZodObject<{
             profile?: string[] | undefined;
             componentType?: string[] | undefined;
         };
-        severity?: "error" | "warning" | undefined;
         relation?: ("owns" | "dependsOn")[] | undefined;
+        severity?: "error" | "warning" | undefined;
     }>, z.ZodObject<{
         on: z.ZodObject<{
             componentType: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -6664,8 +6683,8 @@ declare const DeclarativePackSchema: z.ZodObject<{
             componentType?: string[] | undefined;
         };
         reason: string;
-        severity: "error" | "warning";
         relation: ("owns" | "dependsOn")[];
+        severity: "error" | "warning";
         to: {
             id?: string | undefined;
             profile?: string[] | undefined;
@@ -6813,8 +6832,8 @@ declare const DeclarativePackSchema: z.ZodObject<{
             profile?: string[] | undefined;
             componentType?: string[] | undefined;
         };
-        severity?: "error" | "warning" | undefined;
         relation?: ("owns" | "dependsOn")[] | undefined;
+        severity?: "error" | "warning" | undefined;
     } | {
         code: string;
         kind: "require-field";
@@ -7204,7 +7223,7 @@ interface ModelledCall {
     fromProject: string;
     /** The calling component's key (the bridging Adapter, or any component for a library call). */
     fromComponent: string;
-    /** The calling component's subsystem key, qualified like the component in a family-scoped model; absent when the reference that records a cross-project call does not say. */
+    /** The calling component's subsystem key, qualified like the component in a family-scoped model; for a cross-project call, read from the consumer's placements. */
     fromSubsystem?: string;
     /** The innermost declared network the caller sits inside; absent when none encloses it. */
     fromNetwork?: string;
@@ -7229,6 +7248,49 @@ interface ReachModel {
     verbs: VerbReach[];
     /** Every modelled call into a Portal verb that crosses a subsystem or project boundary. */
     calls: ModelledCall[];
+    /** Every component in scope, with its project and subsystem: how a party is known, and how a caller is named by its workload. */
+    placements: ComponentPlacement[];
+    /** Every end of the pub/sub graph in scope, which the family run pairs across projects. */
+    topics: TopicEnd[];
+    /** The model's network findings, judged and lint-allow filtered, when it was read for the derived networking outputs. */
+    findings?: ReachFinding[];
+}
+/**
+ * component_placement — where one component of a reach model sits: its
+ * project, its subsystem (the unit a deployment usually runs as one workload)
+ * and its block.
+ */
+interface ComponentPlacement {
+    /** The key of the project holding it ('' for the bound root). */
+    project: string;
+    /** Its component key, qualified like the verbs in a family-scoped model. */
+    component: string;
+    /** Its subsystem key, qualified like the component. */
+    subsystem?: string;
+    /** Its building block or pattern. */
+    componentType: string;
+}
+/** topic_end — one end of the pub/sub graph: a component emitting or subscribing to one topic. */
+interface TopicEnd {
+    /** The component key, as the model names its components. */
+    component: string;
+    /** The topic, exactly as used on the bus. */
+    topic: string;
+    /** True on the publishing end, false on the subscribing end. */
+    emits: boolean;
+}
+/**
+ * reach_finding — one network finding of a judged reach model: an error
+ * refuses the flows it sits on, a warning or notice marks them.
+ */
+interface ReachFinding {
+    severity: 'error' | 'warning' | 'notice';
+    code: string;
+    message: string;
+    /** The spec it sits on: the verb's Portal, or the call's calling component (family keys). */
+    specId?: string;
+    /** The site inside that spec: the verb, or the call's evidence. */
+    at?: string;
 }
 /**
  * reach_model.callersOf — the modelled calls that land on one Portal verb: the
@@ -8608,6 +8670,12 @@ declare function removePackSelection(packName: string): boolean;
 declare function setProjectType(projectType: string): void;
 /** Set the project's human-readable `name` and, when given, its `description`. */
 declare function describeProject(name: string, description?: string): void;
+/**
+ * core_orchestrator.setNetwork — declare (or, with null, remove) the bound
+ * project's network, through the project config Repository. Returns whether
+ * it wrote.
+ */
+declare function setNetwork(network: NetworkDeclaration | null): boolean;
 /** Record the profile selection hosted policy applied. */
 declare function recordProfileSelection(selection: ProjectProfileSelection): void;
 /** Set `execution.tier`. */
@@ -8914,6 +8982,34 @@ interface ExternalBinding {
     /** Whether the climb reached the whole family. */
     reachable: boolean;
 }
+/**
+ * external_consumer — one family project that consumes the bound project, as
+ * `wairon externals consumers` lists it from the producer's root.
+ */
+interface ExternalConsumer {
+    /** The consumer's effective project id, else its key in the family. */
+    project: string;
+    /** The consumer's key in the family graph read ('' for the family's top root). */
+    key: string;
+    /** The consumer's root on disk. */
+    directory: string;
+    /** The alias the consumer reaches the producer by. */
+    alias: string;
+    /** Where the consumer declares it: externals, or members (a project containing the producer). */
+    section: 'externals' | 'members';
+    /** The producer's public names the consumer's specs use, sorted. */
+    names: string[];
+}
+/**
+ * project_family.bindExternal — one external declaration bound to its
+ * producer the way the graph binds every declared external: its own problem,
+ * else a hosted record id or a git source (resolved later), a source.path
+ * landing on a family project (which must answer to the declared id) or on a
+ * directory outside the family (audience instance), else the one family
+ * project answering to the declared id (audience project). Pure, so a
+ * declaration not yet written binds exactly as the written one will.
+ */
+declare function bindDeclaredExternal(declared: DeclaredExternal, consumer: ProjectNode, nodes: readonly ProjectNode[]): ResolvedExternal;
 /** A project as reference reading sees it: its key, its parent, its alias table and its own subsystem ids. */
 interface ReadableProject {
     namespace: string;
@@ -10260,10 +10356,13 @@ declare const ComponentSpecSchema: z.ZodObject<{
     /** Other L2 component ids this component collaborates with (facades / standalone blocks). */
     dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     /**
-     * Portal-only, and expected on every Portal: how callers reach its verbs (see
-     * TransportSchema). Replaces the retired portalType, which the loader reads
-     * compatibly for one release (HTTP_API as HTTP). Which process serves which
-     * Portal is implementation: there are no listener mounts.
+     * On a Portal (and expected on every Portal): how callers reach its verbs
+     * (see TransportSchema). Replaces the retired portalType, which the loader
+     * reads compatibly for one release (HTTP_API as HTTP). Which process serves
+     * which Portal is implementation: there are no listener mounts. On an
+     * Adapter, optional: the transport it calls its target Portal over —
+     * inferred from the target when absent, and ADAPTER_TRANSPORT_MISMATCH when
+     * stated and different from the target's. On no other block.
      */
     transport: z.ZodOptional<z.ZodEnum<["HTTP", "gRPC", "GraphQL", "MessageBus", "CLI", "NamedPipe", "IPC", "JSONRPC", "InProcess", "Custom"]>>;
     /**
@@ -14688,12 +14787,19 @@ declare const TypeFieldSchema: z.ZodObject<{
      * and optionally field (e.g. "billing.Invoice.id").
      */
     references: z.ZodOptional<z.ZodString>;
+    /**
+     * The field's rename trace: every name it held before, oldest first.
+     * Written only by the rename-field tool, never rewritten; the design export
+     * shows it as `formerly`, so a consumer holding the old name can follow it.
+     */
+    previousNames: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "strip", z.ZodTypeAny, {
     type: string;
     name: string;
     optional: boolean;
     description?: string | undefined;
     key?: "primary" | "unique" | "foreign" | undefined;
+    previousNames?: string[] | undefined;
     references?: string | undefined;
 }, {
     type: string;
@@ -14701,6 +14807,7 @@ declare const TypeFieldSchema: z.ZodObject<{
     description?: string | undefined;
     key?: "primary" | "unique" | "foreign" | undefined;
     optional?: boolean | undefined;
+    previousNames?: string[] | undefined;
     references?: string | undefined;
 }>;
 type TypeField = z.infer<typeof TypeFieldSchema>;
@@ -15002,12 +15109,19 @@ declare const TypeSpecSchema: z.ZodObject<{
          * and optionally field (e.g. "billing.Invoice.id").
          */
         references: z.ZodOptional<z.ZodString>;
+        /**
+         * The field's rename trace: every name it held before, oldest first.
+         * Written only by the rename-field tool, never rewritten; the design export
+         * shows it as `formerly`, so a consumer holding the old name can follow it.
+         */
+        previousNames: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
         type: string;
         name: string;
         optional: boolean;
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }, {
         type: string;
@@ -15015,6 +15129,7 @@ declare const TypeSpecSchema: z.ZodObject<{
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
         optional?: boolean | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }>, "many">>;
     /** Pure intrinsic behaviour only — anything needing a collaborator belongs on a component. */
@@ -15306,6 +15421,7 @@ declare const TypeSpecSchema: z.ZodObject<{
         optional: boolean;
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }[];
     kind: "signature" | "entity" | "value-object" | "enum";
@@ -15385,6 +15501,7 @@ declare const TypeSpecSchema: z.ZodObject<{
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
         optional?: boolean | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }[] | undefined;
     sourcePath?: string | undefined;
@@ -15437,12 +15554,19 @@ declare const ResolvedTypeSpecSchema: z.ZodObject<{
          * and optionally field (e.g. "billing.Invoice.id").
          */
         references: z.ZodOptional<z.ZodString>;
+        /**
+         * The field's rename trace: every name it held before, oldest first.
+         * Written only by the rename-field tool, never rewritten; the design export
+         * shows it as `formerly`, so a consumer holding the old name can follow it.
+         */
+        previousNames: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
         type: string;
         name: string;
         optional: boolean;
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }, {
         type: string;
@@ -15450,6 +15574,7 @@ declare const ResolvedTypeSpecSchema: z.ZodObject<{
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
         optional?: boolean | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }>, "many">>;
     componentClass: z.ZodOptional<z.ZodString>;
@@ -15648,6 +15773,7 @@ declare const ResolvedTypeSpecSchema: z.ZodObject<{
         optional: boolean;
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }[];
     kind: "signature" | "entity" | "value-object" | "enum";
@@ -15727,6 +15853,7 @@ declare const ResolvedTypeSpecSchema: z.ZodObject<{
         description?: string | undefined;
         key?: "primary" | "unique" | "foreign" | undefined;
         optional?: boolean | undefined;
+        previousNames?: string[] | undefined;
         references?: string | undefined;
     }[] | undefined;
     sourcePath?: string | undefined;
@@ -15768,27 +15895,42 @@ declare function storedTypeMethod<M extends StoredTypeMethod>(method: M): Stored
 declare function typeSourceFiles(type: Pick<TypeSpec, 'sourcePath'> & {
     methods?: ReadonlyArray<Pick<TypeMethod, 'sourcePath'>>;
 }): string[];
-/** Each schema's fields, split into the design (approved) and the code linkage (not approved). */
+/** Each schema's fields, split into the design (approved), the code linkage and the readiness (neither approved). */
 declare const DESIGN_VIEW_FIELDS: {
     readonly implementation: {
         readonly linkage: readonly ["sourcePath", "simPath", "router", "injectedParams", "conformance", "createdAt", "updatedAt"];
-        readonly design: readonly ["id", "name", "description", "contract", "technologies", "methods", "detail", "previousIds", "lint", "ext", "status"];
+        readonly readiness: readonly ["status"];
+        readonly design: readonly ["id", "name", "description", "contract", "technologies", "methods", "detail", "previousIds", "lint", "ext"];
     };
     readonly implementationMethod: {
         readonly linkage: readonly ["sourcePath", "symbol", "exportedVia", "conformance"];
+        readonly readiness: readonly [];
         readonly design: readonly ["name", "narrative", "detail", "intent", "calls", "ext"];
     };
     readonly type: {
         readonly linkage: readonly ["sourcePath", "symbol", "createdAt", "updatedAt"];
+        readonly readiness: readonly [];
         readonly design: readonly ["kind", "id", "name", "description", "subsystem", "group", "fields", "methods", "componentClass", "invariants", "database", "table", "linkedEntity", "previousIds", "lint", "ext", "params", "returns", "values", "holds"];
     };
     readonly typeMethod: {
         readonly linkage: readonly ["sourcePath", "symbol"];
+        readonly readiness: readonly [];
         readonly design: readonly ["name", "signature", "params", "returns", "description"];
     };
     readonly component: {
         readonly linkage: readonly ["externalLinks", "createdAt", "updatedAt"];
-        readonly design: readonly ["id", "name", "description", "subsystem", "componentType", "owns", "dependsOn", "transport", "abi", "invokedBy", "basePath", "auth", "dispatch", "durability", "dependencyClass", "emits", "subscribesTo", "patterns", "variant", "previousIds", "lint", "ext", "status"];
+        readonly readiness: readonly ["status"];
+        readonly design: readonly ["id", "name", "description", "subsystem", "componentType", "owns", "dependsOn", "transport", "abi", "invokedBy", "basePath", "auth", "dispatch", "durability", "dependencyClass", "emits", "subscribesTo", "patterns", "variant", "previousIds", "lint", "ext"];
+    };
+    readonly subsystem: {
+        readonly linkage: readonly ["createdAt", "updatedAt"];
+        readonly readiness: readonly ["status"];
+        readonly design: readonly ["id", "name", "description", "parentSystem", "publicInterfaces", "lifecycle", "profile", "projectPath", "targetLanguage", "trustedLinks", "designDepth", "lint", "ext"];
+    };
+    readonly interface: {
+        readonly linkage: readonly ["createdAt", "updatedAt"];
+        readonly readiness: readonly ["status"];
+        readonly design: readonly ["id", "name", "description", "component", "methods", "previousIds", "lint", "ext", "implements"];
     };
     /**
      * A retired listener mount as a stored file may still hold it until doctor
@@ -15797,6 +15939,7 @@ declare const DESIGN_VIEW_FIELDS: {
      */
     readonly retiredMount: {
         readonly linkage: readonly ["via"];
+        readonly readiness: readonly [];
         readonly design: readonly ["portal", "prefixes"];
     };
 };
@@ -15804,10 +15947,11 @@ declare const DESIGN_VIEW_FIELDS: {
  * implementation_spec.designView — this implementation as the approval sees it:
  * its own sourcePath, simPath, injectedParams and conformance tier, each
  * method's sourcePath, symbol, exportedVia and conformance tier, and the
- * timestamps left out. Everything else — the contract, technologies, the
- * detail dial, each method's narrative, intent and calls, the rename trace,
- * lint, ext, status — stays. Pure: a sourcePath added, moved or removed never
- * changes it. Reads a stored (raw) spec as readily as a loaded one.
+ * readiness (status) and the timestamps left out. Everything else — the
+ * contract, technologies, the detail dial, each method's narrative, intent and
+ * calls, the rename trace, lint, ext — stays. Pure: a sourcePath added, moved
+ * or removed, or a status promoted, never changes it. Reads a stored (raw)
+ * spec as readily as a loaded one.
  */
 declare function implementationDesignView<T extends object>(impl: T): T;
 /**
@@ -15819,13 +15963,27 @@ declare function implementationDesignView<T extends object>(impl: T): T;
 declare function typeDesignView<T extends object>(type: T): T;
 /**
  * component_spec.designView — this component as the approval sees it: its
- * externalLinks and the timestamps left out; every other field stays,
+ * externalLinks, its readiness (status) and the timestamps left out; every
+ * other field stays,
  * including transport, abi and invokedBy. Pure. It reads a stored (raw) file
  * as readily as a loaded spec, so a file still holding a retired listener
  * mount (until doctor --fix migrates it) keeps that mount's `via` out, as the
  * approval always did: an unmigrated file digests as it did when it was locked.
  */
 declare function componentDesignView<T extends object>(component: T): T;
+/**
+ * subsystem_spec.designView — this subsystem as the approval sees it: its
+ * readiness (status) and the timestamps left out; every other field stays.
+ * Pure, and reads a stored (raw) spec as readily as a loaded one.
+ */
+declare function subsystemDesignView<T extends object>(subsystem: T): T;
+/**
+ * interface_spec.designView — this contract as the approval sees it: its
+ * readiness (status) and the timestamps left out; every other field stays,
+ * the methods, endpoints and findings included. Pure, and reads a stored
+ * (raw) spec as readily as a loaded one.
+ */
+declare function interfaceDesignView<T extends object>(contract: T): T;
 /**
  * component_spec.entryFor — the entry a verb of this Portal has: the verb's
  * own invokedBy when it declares one, else the component's, with the verb's
@@ -16681,6 +16839,28 @@ declare const SurfaceContractEntrySchema: z.ZodObject<{
     formerly?: string[] | undefined;
 }>;
 type SurfaceContractEntry = z.infer<typeof SurfaceContractEntrySchema>;
+/**
+ * surface_unresolved_export — a public name the producer's L0 still declares
+ * but no longer resolves, carried so a consumer that used it is told why it is
+ * gone and where the source's rename trace leads. Provenance, never contract.
+ */
+declare const SurfaceUnresolvedExportSchema: z.ZodObject<{
+    /** The public name the entry declares. */
+    id: z.ZodString;
+    /** Where it re-exports from: the `from` the entry names. */
+    source: z.ZodString;
+    /** The name the source's rename trace carries the item to, when it records one. */
+    renamedTo: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    source: string;
+    renamedTo?: string | undefined;
+}, {
+    id: string;
+    source: string;
+    renamedTo?: string | undefined;
+}>;
+type SurfaceUnresolvedExport = z.infer<typeof SurfaceUnresolvedExportSchema>;
 declare const SurfaceSnapshotSchema: z.ZodObject<{
     /** Producing project/system name — the snapshot's resolution identity. */
     projectName: z.ZodString;
@@ -17446,6 +17626,28 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
      * producer declares none, or on snapshots written before it was carried.
      */
     targetLanguage: z.ZodOptional<z.ZodString>;
+    /**
+     * The public names the producer's L0 declares that no longer resolve (a
+     * named re-export whose source dropped or renamed the item), with the
+     * source's rename trace when it has one. Provenance, outside every digest;
+     * absent when every entry resolves.
+     */
+    unresolvedExports: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        /** The public name the entry declares. */
+        id: z.ZodString;
+        /** Where it re-exports from: the `from` the entry names. */
+        source: z.ZodString;
+        /** The name the source's rename trace carries the item to, when it records one. */
+        renamedTo: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        source: string;
+        renamedTo?: string | undefined;
+    }, {
+        id: string;
+        source: string;
+        renamedTo?: string | undefined;
+    }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     interfaces: {
         id: string;
@@ -17586,6 +17788,11 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
         type: string;
         audience: string;
     }[] | undefined;
+    unresolvedExports?: {
+        id: string;
+        source: string;
+        renamedTo?: string | undefined;
+    }[] | undefined;
 }, {
     projectName: string;
     origin: "generated" | "exchanged" | "authored";
@@ -17726,6 +17933,11 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
         type: string;
         audience?: string | undefined;
     }[] | undefined;
+    unresolvedExports?: {
+        id: string;
+        source: string;
+        renamedTo?: string | undefined;
+    }[] | undefined;
 }>;
 type SurfaceSnapshot = z.infer<typeof SurfaceSnapshotSchema>;
 /**
@@ -17982,6 +18194,50 @@ interface ExternalAddition {
     /** Set when the declaration was written but its producer could not be read: why, and that nothing was pinned. */
     unreachable?: string;
 }
+/**
+ * external_removal — the answer to removing one external: whether its
+ * declaration and its pin (lock entry and snapshot) went, or why nothing was
+ * removed, in one sentence.
+ */
+interface ExternalRemoval {
+    alias: string;
+    /** Whether this call took the declaration out of `.wai/project.yaml` (false on a refusal, a dry run, and an orphaned pin). */
+    removed: boolean;
+    /** Whether the alias's lock entry and pinned snapshot were removed (or would be, on a dry run). */
+    unpinned: boolean;
+    /** Why nothing was removed: the alias is neither declared nor pinned. */
+    refusal?: string;
+}
+/**
+ * external_use_request — what `wairon externals use` and sdd_update_external
+ * ask for: names to add to and remove from one declared external's `use`.
+ */
+interface ExternalUseRequest {
+    alias: string;
+    /** Public names to import bare (`*` for all). */
+    add?: string[];
+    /** Names to stop importing. */
+    remove?: string[];
+    /** Answer what the `use` would become, writing nothing. */
+    dryRun?: boolean;
+}
+/**
+ * external_use_change — the answer to changing one external's `use`: the
+ * list after the change, what was added and removed, or the refusal.
+ */
+interface ExternalUseChange {
+    alias: string;
+    /** Whether `.wai/project.yaml` now carries the changed `use` (false on a refusal, a dry run and when nothing changed). */
+    written: boolean;
+    /** The `use` list after the change, in order. */
+    use: string[];
+    /** The names this change imports that were not imported before. */
+    added: string[];
+    /** The names this change stops importing. */
+    removed: string[];
+    /** Why nothing was written, in one sentence. */
+    refusal?: string;
+}
 /** The verdict on one used member of a pinned external. */
 type ExternalUseState = 'unchanged' | 'changed' | 'removed' | 'unlocked' | 'unavailable' | 'renamed';
 /** external_use_status — the verdict on one used member of one pinned external. */
@@ -18020,6 +18276,13 @@ interface ExternalStatus {
     pinnedDigest?: string;
     /** The producer's commit as the lock recorded it (another repository only); provenance only. */
     pinnedCommit?: string;
+    /**
+     * The carried facts the pinned snapshot no longer matches in the live
+     * producer (an abi, a transport, a role, the targetLanguage, a rename
+     * trace): the snapshot is stale and a re-pin refreshes it. Absent when the
+     * producer was not read or nothing carried moved.
+     */
+    staleFacts?: string[];
 }
 /** ok | drifted | incompatible | unavailable — a relation's health in one word. */
 type RelationHealth = 'ok' | 'drifted' | 'incompatible' | 'unavailable';
@@ -18191,6 +18454,14 @@ interface TypeDialect {
 }
 /** type_dialect.forLanguage — the dialect shipped for a language, or null when none reads it yet. */
 declare function typeDialectFor(language: string): TypeDialect | null;
+/**
+ * type_dialect.mappingFor — the write table an implementer brief carries for
+ * a language: a shipped dialect's mappingLines, else a MAPPING-ONLY table for
+ * a language no analyzer reads yet (Rust, Python), whose last line says that
+ * code conformance does not compare its types. Null for a language with
+ * neither.
+ */
+declare function typeMappingFor(language: string): string[] | null;
 
 /**
  * The step graph of one narrative (step_graph): the SINGLE source of truth for
@@ -19032,6 +19303,18 @@ declare function canonicalTypeRef(snapshot: SurfaceSnapshot, typeExpr: string):
  * moves it. The lock's `digest`, and what EXTERNAL_DRIFTED compares.
  */
 declare function contentDigest(snapshot: SurfaceSnapshot): string;
+/**
+ * surface_snapshot.carriedFactChanges — the carried facts a pinned snapshot
+ * holds differently from the live one, each named where it sits: per public
+ * entry its export kind, transport, abi, role, stereotype, basePath, auth
+ * scheme and rename trace, per contract method its effect and rename trace,
+ * per type its rename trace, the producer's id and targetLanguage, and the
+ * names it declares but no longer resolves. Facts no digest reads, which the
+ * rules judge from a pin (LANGUAGE_BRIDGE_MISSING reads the abi), so a pin
+ * whose content digest is unchanged can still be stale. Prose and provenance
+ * are never a fact. Empty when the snapshot says what the producer says now.
+ */
+declare function carriedFactChanges(pinned: SurfaceSnapshot, live: SurfaceSnapshot): string[];
 /**
  * surface_snapshot.memberDigest — sha256 over one used member of one public
  * name, canonicalized so only what a caller depends on moves it: a contract
@@ -19163,6 +19446,8 @@ declare const DesignFieldSchema: z.ZodObject<{
     description: z.ZodOptional<z.ZodString>;
     key: z.ZodOptional<z.ZodString>;
     references: z.ZodOptional<z.ZodString>;
+    /** The field's rename trace, oldest first — present only when it was renamed. */
+    formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
     name: z.ZodString;
     type: z.ZodObject<{
@@ -19179,6 +19464,8 @@ declare const DesignFieldSchema: z.ZodObject<{
     description: z.ZodOptional<z.ZodString>;
     key: z.ZodOptional<z.ZodString>;
     references: z.ZodOptional<z.ZodString>;
+    /** The field's rename trace, oldest first — present only when it was renamed. */
+    formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     name: z.ZodString;
     type: z.ZodObject<{
@@ -19195,6 +19482,8 @@ declare const DesignFieldSchema: z.ZodObject<{
     description: z.ZodOptional<z.ZodString>;
     key: z.ZodOptional<z.ZodString>;
     references: z.ZodOptional<z.ZodString>;
+    /** The field's rename trace, oldest first — present only when it was renamed. */
+    formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, z.ZodTypeAny, "passthrough">>;
 type DesignField = z.infer<typeof DesignFieldSchema>;
 /** design_method — a contract method, or a type's pure method, with its signature resolved. */
@@ -23441,6 +23730,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
         name: z.ZodString;
         type: z.ZodObject<{
@@ -23457,6 +23748,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         name: z.ZodString;
         type: z.ZodObject<{
@@ -23473,6 +23766,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, z.ZodTypeAny, "passthrough">>, "many">;
     methods: z.ZodArray<z.ZodObject<{
         key: z.ZodString;
@@ -23808,6 +24103,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
         name: z.ZodString;
         type: z.ZodObject<{
@@ -23824,6 +24121,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         name: z.ZodString;
         type: z.ZodObject<{
@@ -23840,6 +24139,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, z.ZodTypeAny, "passthrough">>, "many">;
     methods: z.ZodArray<z.ZodObject<{
         key: z.ZodString;
@@ -24175,6 +24476,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
         name: z.ZodString;
         type: z.ZodObject<{
@@ -24191,6 +24494,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         name: z.ZodString;
         type: z.ZodObject<{
@@ -24207,6 +24512,8 @@ declare const DesignTypeSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         key: z.ZodOptional<z.ZodString>;
         references: z.ZodOptional<z.ZodString>;
+        /** The field's rename trace, oldest first — present only when it was renamed. */
+        formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, z.ZodTypeAny, "passthrough">>, "many">;
     methods: z.ZodArray<z.ZodObject<{
         key: z.ZodString;
@@ -27898,6 +28205,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -27914,6 +28223,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -27930,6 +28241,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -28265,6 +28578,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -28281,6 +28596,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -28297,6 +28614,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -28632,6 +28951,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -28648,6 +28969,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -28664,6 +28987,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -32353,6 +32678,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -32369,6 +32696,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -32385,6 +32714,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -32720,6 +33051,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -32736,6 +33069,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -32752,6 +33087,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -33087,6 +33424,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -33103,6 +33442,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -33119,6 +33460,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -36808,6 +37151,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -36824,6 +37169,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -36840,6 +37187,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -37175,6 +37524,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -37191,6 +37542,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -37207,6 +37560,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -37542,6 +37897,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -37558,6 +37915,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             name: z.ZodString;
             type: z.ZodObject<{
@@ -37574,6 +37933,8 @@ declare const DesignExportSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             key: z.ZodOptional<z.ZodString>;
             references: z.ZodOptional<z.ZodString>;
+            /** The field's rename trace, oldest first — present only when it was renamed. */
+            formerly: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, z.ZodTypeAny, "passthrough">>, "many">;
         methods: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
@@ -37893,7 +38254,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.106";
+declare const WAIRON_VERSION = "5.1.1-dev.107";
 declare const GITHUB_REPO = "SYW-Apps/Waffle-AIron";
 declare const ARCHITECT_AGENT_ID = "agent-architect";
 declare const ARCHITECT_TEMPLATE_ID = "architect";
@@ -37921,6 +38282,25 @@ declare function saveTopologyConfig(config: TopologyConfig): void;
  * reason that `wairon externals status` fetches it.
  */
 declare function resolveDeclared(offline?: boolean): ExternalBinding[];
+/**
+ * iexternal_producers.resolveCandidate — one external declaration the bound
+ * project does NOT hold yet, bound to its producer exactly as the written one
+ * will be: the graph read at the highest root in reach, the declaration read
+ * through the configuration's own reading and bound with
+ * project_family.bindExternal, then git through the fetch cache and hosted
+ * through the record lookup. No usage: nothing references the alias yet.
+ * Read-only; the caller's binding is restored.
+ */
+declare function resolveCandidate(alias: string, declaration: ExternalDeclaration): ExternalBinding;
+/**
+ * iexternal_producers.listConsumers — the family projects that consume the
+ * bound project, from its own root: the graph read at the highest root the
+ * reach-gated climb reaches, and for every other project in it that declares
+ * the bound project — as an external bound to it, or as a member — its id,
+ * key, root, alias, section and the public names its specs use. Read-only and
+ * within reach: a consumer outside the family read is never listed.
+ */
+declare function listConsumers(): ExternalConsumer[];
 
 /**
  * ipart_context.excerpt — with a part's root bound: the ParentExcerpt it can
@@ -38079,6 +38459,10 @@ interface PromoteResult {
     imported: string[];
     /** One line per consumers entry dropped because it named a subsystem across the boundary. */
     consumersDropped: string[];
+    /** One line per entry declared on a verb of the new project that callers left in the parent call. */
+    entriesDeclared: string[];
+    /** One line per topic the new boundary separates from its pair (the family run pairs it). */
+    topicsCrossing: string[];
 }
 /**
  * internalize_result — what internalizing a member did with each thing the
@@ -38244,6 +38628,30 @@ interface TypeRename {
     carried: CarriedRekey[];
 }
 declare function renameType(typeId: string, newId: string): TypeRename;
+/** What renaming a field of a type changed (field_rename). */
+interface FieldRename {
+    /** The type whose field moved, qualified by its owning subsystem when it has one. */
+    type: string;
+    /** The field's name before the rename. */
+    from: string;
+    /** The field's name after the rename. */
+    to: string;
+    /** Ids of the other specs whose references to the field were respelled. */
+    rewritten: string[];
+}
+/**
+ * Rename a field of a type and every reference to it in the bound tree
+ * (core_orchestrator.renameField). The field keeps its place, type and
+ * description under the new name, its old name appended to its rename trace
+ * (previousNames — `formerly` in the design export); every foreign key
+ * `references: <type>.<field>` naming it is respelled. Traces and prose are
+ * never rewritten. Refuses before any write: a type that does not exist
+ * (type-missing), one in another project (chained-type), a field it does not
+ * declare (field-missing), a new name that is not an identifier
+ * (invalid-name), and a name another field holds or retired (name-taken,
+ * name-retired).
+ */
+declare function renameField(typeId: string, field: string, newName: string): FieldRename;
 /**
  * core_orchestrator.moveMountToMembers — move one legacy L1 mount of the bound
  * project into its `members`: its projectPath as the member's path and its
@@ -38725,17 +39133,31 @@ declare function approvalRecord(root?: string): LockRecord | null;
  */
 declare function settledSpecPaths(root?: string): Set<string> | null;
 /**
- * approval_comparison.reexpress — the record on file carried into the design
- * reading WITHOUT a new approval, when that is provably sound: a record that
- * names no design reading (format 2) whose stateId equals gate.asRecorded —
- * the identity it certified, recomputed over the tree as it stands, so nothing
- * it covered moved. Keeps lockedAt, lockedBy, the validation and code results,
- * the members' pins and the provenance exactly; replaces stateId with the gate
- * (asRecorded dropped), specs with the design-reading capture, and adds
- * `reexpressed`. Null when there is nothing to carry or it cannot be proven.
- * Writes nothing: the caller writes the answer.
+ * approval_comparison.reexpress — the record on file carried into the current
+ * reading WITHOUT a new approval, when that is provably sound. (1) The
+ * identity it certified still holds: a format-2 record, or one taken in the
+ * earlier design reading (status still in the view), whose stateId equals
+ * gate.asRecorded — that identity recomputed over the tree as it stands. Keeps
+ * lockedAt, lockedBy, the validation and code results, the members' pins and
+ * the provenance exactly; replaces stateId with the gate (asRecorded dropped),
+ * specs with the current design-reading capture, and adds `reexpressed`. (2) A
+ * format-2 record whose identity no longer holds but whose every own spec file
+ * still matches its raw-content digest: only the gate it was judged under
+ * moved, never the tree, so its reading is carried and its stateId stays the
+ * identity it certified — the lock still reads stale, now for the stated
+ * cause, until one `wairon lock`. Null when there is nothing to carry or it
+ * cannot be proven. Writes nothing: the caller writes the answer.
  */
 declare function reexpress(gate: StateId): LockRecord | null;
+/**
+ * approval_comparison.approvedStatuses — the status each own spec had when a
+ * design-reading record was approved, keyed `<kind>:<id>`: a spec whose design
+ * view WITH a candidate status digests to the recorded digest was approved
+ * with that status (none reads as complete, as the loader parses it). A spec
+ * matching no candidate moved in its design and is left out, as is every spec
+ * of a record in another reading.
+ */
+declare function approvedStatuses(record: LockRecord, root?: string): Map<string, SpecStatus>;
 /**
  * What the lock says about the tree as it stands: the sentence to show, and
  * whether it is drift.
@@ -39285,4 +39707,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, DESIGN_VIEW_FIELDS, type DatabaseSpec, DatabaseSpecSchema, type DeclarativePack, type DeclaredCall, type DeclaredExternal, type DeclaredInvocation, DeclaredInvocationSchema, 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, EXTERNAL_SOURCE_FORMS, type EdgeReach, type Endpoint, EndpointSchema, type EndpointTransport, type EntryScope, EntryScopeSchema, type EnumValue, EnumValueSchema, type EventBinding, EventBindingSchema, type ExportAliasFact, type ExportContext, type ExportKind, type ExportProblem, type ExportProblemKind, type ExportResult, type ExportRole, ExportRoleSchema, type ExportTableLevel, type ExportUsage, type ExportUse, type Exporter, type ExtData, ExtDataSchema, type ExtensionPack, type ExternalAddition, type ExternalBinding, type ExternalDeclaration, ExternalDeclarationSchema, type ExternalLink, ExternalLinkSchema, type ExternalLinkType, ExternalLinkTypeSchema, type ExternalListing, type ExternalLockEntry, ExternalLockEntrySchema, type ExternalPin, type ExternalPinOutcome, type ExternalRelation, type ExternalRequest, 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 ModelledCall, type MountForm, type NamedOpenApiSpec, NamedOpenApiSpecSchema, type NamingRuleConfig, NamingRuleConfigSchema, type NarrativeDetail, NarrativeDetailSchema, type NarrativeStep, NarrativeStepSchema, type NarrativeStepType, NarrativeStepTypeSchema, type NetworkBoundary, type NetworkDeclaration, NetworkDeclarationSchema, NetworkOptionsError, 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, 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_INVOCATION_KINDS, RETIRED_PORTAL_TYPE_SPELLINGS, RETIRED_STEREOTYPES, type ReachModel, type ReachRewrite, type ReachabilityMigrationPlan, type ReadExternalSource, 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 RetiredMount, type RetiredReachFact, type RetiredReachForm, RetiredReachFormSchema, type RetiredReachHolder, 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, type TransportKind, TransportKindSchema, 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, type VerbReach, 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, attachRetiredMounts, backendCommand, backfillChainedSubprojectConfigs, backupBeside, bodySitesOf, buildCanvasDataModel, buildProjectGraph, buildRuleContext, builtinProfileIds, builtinProjectKinds, callSitesOf, callersOf, canonicalTypeRef, canonicalTypeText, captureApprovedSpecs, carryRetiredReachForms, checkDeclarativePack, clearLoaderIssues, cognitiveScore, complexityLevel, componentDesignView, componentEntryFor, composeAgentBrief, composeRuleSequence, computeGateStateId, computeOwnDesignStateId as computeOwnDesignId, 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, enclosing, 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, implementationDesignView, implementationSourceFiles, importBindingOf, importNames, importSpecTree, importSurface, injectGuide, installPackFromDirectory, interfaceCanonicalTypes, interfaceGenericParameters, internalizeMember, isDraftSubsystem, isInProcessAddress, 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, methodCasingFor, methodGenericParameters, methodSourceFile, methodTypeRefs, migrate as migrateReachability, 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, readExternalSource, readFileOrNull, readJsonFile, readLockRecord, readLockState, readRetiredReachForms, readStampVersion, readYamlFile, recordProfileSelection, reexpress, 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, retiredInvocationReadAs, retiredMountsOf, retiredReachFacts, 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, transportExportKind, transportKind, transportRequiresEndpoint, typeBindingOf, typeCanonicalTypes, typeDesignView, 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 ComponentPlacement, 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, DESIGN_VIEW_FIELDS, type DatabaseSpec, DatabaseSpecSchema, type DeclarativePack, type DeclaredCall, type DeclaredExternal, type DeclaredInvocation, DeclaredInvocationSchema, 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, EXTERNAL_SOURCE_FORMS, type EdgeReach, type Endpoint, EndpointSchema, type EndpointTransport, type EntryScope, EntryScopeSchema, type EnumValue, EnumValueSchema, type EventBinding, EventBindingSchema, type ExportAliasFact, type ExportContext, type ExportKind, type ExportProblem, type ExportProblemKind, type ExportResult, type ExportRole, ExportRoleSchema, type ExportTableLevel, type ExportUsage, type ExportUse, type Exporter, type ExtData, ExtDataSchema, type ExtensionPack, type ExternalAddition, type ExternalBinding, type ExternalConsumer, type ExternalDeclaration, ExternalDeclarationSchema, type ExternalLink, ExternalLinkSchema, type ExternalLinkType, ExternalLinkTypeSchema, type ExternalListing, type ExternalLockEntry, ExternalLockEntrySchema, type ExternalPin, type ExternalPinOutcome, type ExternalRelation, type ExternalRemoval, type ExternalRequest, type ExternalRole, type ExternalSource, type ExternalSourceKind, ExternalSourceSchema, type ExternalStatus, type ExternalUseChange, type ExternalUseRequest, type ExternalUseState, type ExternalUseStatus, type ExternalsLock, ExternalsLockSchema, FULL_COMMIT_RE, type FamilyProblemKind, type FamilySwitches, type FieldRename, 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 ModelledCall, type MountForm, type NamedOpenApiSpec, NamedOpenApiSpecSchema, type NamingRuleConfig, NamingRuleConfigSchema, type NarrativeDetail, NarrativeDetailSchema, type NarrativeStep, NarrativeStepSchema, type NarrativeStepType, NarrativeStepTypeSchema, type NetworkBoundary, type NetworkDeclaration, NetworkDeclarationSchema, NetworkOptionsError, 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, 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_INVOCATION_KINDS, RETIRED_PORTAL_TYPE_SPELLINGS, RETIRED_STEREOTYPES, type ReachFinding, type ReachModel, type ReachRewrite, type ReachabilityMigrationPlan, type ReadExternalSource, 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 RetiredMount, type RetiredReachFact, type RetiredReachForm, RetiredReachFormSchema, type RetiredReachHolder, 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 SurfaceUnresolvedExport, SurfaceUnresolvedExportSchema, type SwitchCase, SwitchCaseSchema, type SyncResult, type SystemPublicInterface, SystemPublicInterfaceSchema, type SystemSpec, SystemSpecSchema, type TargetConfig, TargetConfigSchema, type Technology, TechnologySchema, type Template, TemplateNotFoundError, TemplateSchema, type TopicEnd, type TopologyConfig, TopologyConfigSchema, type Transport, type TransportKind, TransportKindSchema, 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, type VerbReach, 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, approvedStatuses, assertContainedProjectPath, assertProjectInitialized, attachRetiredMounts, backendCommand, backfillChainedSubprojectConfigs, backupBeside, bindDeclaredExternal, bodySitesOf, buildCanvasDataModel, buildProjectGraph, buildRuleContext, builtinProfileIds, builtinProjectKinds, callSitesOf, callersOf, canonicalTypeRef, canonicalTypeText, captureApprovedSpecs, carriedFactChanges, carryRetiredReachForms, checkDeclarativePack, clearLoaderIssues, cognitiveScore, complexityLevel, componentDesignView, componentEntryFor, composeAgentBrief, composeRuleSequence, computeGateStateId, computeOwnDesignStateId as computeOwnDesignId, computeOwnDesignStateIdAsRecorded as computeOwnDesignIdAsRecorded, 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, enclosing, 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, implementationDesignView, implementationSourceFiles, importBindingOf, importNames, importSpecTree, importSurface, injectGuide, installPackFromDirectory, interfaceCanonicalTypes, interfaceDesignView, interfaceGenericParameters, internalizeMember, isDraftSubsystem, isInProcessAddress, isLogic, isOutsideRoot, isOwnComponentEntry, isPart, isPattern, isProjectInitialized, isProvidedBy, isRetired, isTypeVocabulary, judgesCode, keyIn, landReference, languageOfSourcePath, lineEndingFor, listDirectChainedSubprojects, listConsumers as listExternalConsumers, 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, methodCasingFor, methodGenericParameters, methodSourceFile, methodTypeRefs, migrate as migrateReachability, 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, readExternalSource, readFileOrNull, readJsonFile, readLockRecord, readLockState, readRetiredReachForms, readStampVersion, readYamlFile, recordProfileSelection, reexpress, registerExporter, registerPackRef, reinjectLocalGuides, relationHealth, removeDomain, removeExternal, removeMember, removePackSelection, removeSnapshot, renameAlias, renameComponent, renameField, renameProjectId as renameId, renameMethod, renameType, renderDiagram, repairForeignStepFields, repairSignatures, repairTypeSpellings, repointExternal, requiredPolicies, resolveAgentTopology, resolveBudget, resolveChainingParent, resolveDomains, resolveExpectedOutputPaths, resolveCandidate as resolveExternalCandidate, resolveDeclared as resolveExternals, resolveImport, resolveInstalledPack, resolveProjectBinding, resolveProjectExports, resolveSignatures, resolveSubprojectForNamespace, resolveSubsystemExports, resolveVariantGuidance, retireSpecialists, retiredInvocationReadAs, retiredMountsOf, retiredReachFacts, returnTypeOf, rewriteReferences, runWithHostedLookup, runWithProjectBinding, runWithProjectRoot, sameContract, saveSpec, saveTopologyConfig, scanAllSpecs, schemaFingerprint, selectsFamily, serializeYaml, setExecutionTier, setProjectId as setId, setLogLevel, setNetwork, setProjectRoot, setProjectType, settledSpecPaths, signatureFacts, signatureTypeRefs, specIndexRetiredBy, specPathsInScope, splitNamespace, stepConfigVerdict, stepFieldsFor, stepGraph, storedMethodSignature, storedTypeMethod, subsystemDesignView, syncContextFiles, technologyName, technologyTokens, toMarkdown, transportExportKind, transportKind, transportRequiresEndpoint, typeBindingOf, typeCanonicalTypes, typeDesignView, typeDialectFor, typeGenericParameters, typeIsMany, typeMappingFor, 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 };