@wairon/cli 5.1.1-dev.112 → 5.1.1-dev.114

package/dist/index.d.ts

@@ -4617,6 +4617,16 @@ interface RuleContext {
      * pinnedExternals. Absent on a candidate run and a reach-only run.
      */
     bindingModules?: BindingModule[];
+    /**
+     * Each live member of the bound project (contained or a `../` sibling)
+     * projected at the approval it is judged against — the one the bound
+     * project's lock records, else the member's own last committed approval —
+     * keyed by the alias the bound project declares it under, read by the
+     * validator only when a binding module was read: what binding conformance
+     * names a name the member dropped since its approval against. Absent on a
+     * candidate run, a reach-only run, and when no binding module was read.
+     */
+    memberApprovedSurfaces?: Record<string, SurfaceSnapshot>;
     /**
      * The validated root's identity, resolved by the validator from its project
      * configuration against the id its lock recorded, so the project-identity
@@ -7252,6 +7262,8 @@ interface BuildContextOptions {
     pinnedExternals?: PinnedExternal[];
     /** The binding modules the implementations name, as read (see RuleContext.bindingModules); absent on a candidate run. */
     bindingModules?: BindingModule[];
+    /** Each live member projected at the approval it is judged against, by alias (see RuleContext.memberApprovedSurfaces). */
+    memberApprovedSurfaces?: Record<string, SurfaceSnapshot>;
     /** Source-code model for structural conformance; empty when not built. */
     codeModel?: CodeModel;
     /** The writer's round-trip dry-run findings for the in-scope specs, gathered by the caller (see RuleContext.roundTripIssues). */
@@ -7688,6 +7700,46 @@ interface ParameterFact {
      * rename where the annotation's own spelling cannot.
      */
     kind?: ParameterKind;
+    /**
+     * The DATA property names (a method set aside) the type checker says an
+     * OBJECT-kind parameter's type has, nullability set aside; absent for any other kind, where no checker
+     * read the file, and for a type with no property it can name. What a
+     * declared record type is compared with structurally: an object sharing
+     * none of the record's fields is a different argument, whatever either side
+     * calls it.
+     */
+    fields?: string[];
+    /**
+     * True when the annotation names a platform transport class — a request, a
+     * response, a socket, a URL or its headers (node:http's IncomingMessage, a
+     * fetch Request…) — resolved or not: a handle whatever serves the method
+     * hands it, never a domain record.
+     */
+    transport?: boolean;
+    /**
+     * The member names and literal keys the body reads off the parameter, at
+     * any depth of a chain (`req.params.code` reads params and code;
+     * `req.query['limit']` reads query and limit), the string literal a method
+     * of such a chain is called with (`url.searchParams.get('limit')` reads
+     * limit), the property names a destructuring of such a read binds at any
+     * depth (`const { code } = req.params`), and the same read off a local its
+     * value flows into (`??`, `||`, `await`, `new URL(…)`,
+     * `new URLSearchParams(…)`, `JSON.parse(…)`) or off what a helper it is
+     * passed to reads and returns — a helper of the same file, or, where a type
+     * checker read the file, of any project file no implementation claims.
+     * Absent when the parameter is unnamed or nothing is read off it. What says
+     * a contract parameter an injected request handle carries is realized
+     * through it.
+     */
+    reads?: string[];
+    /**
+     * True when the type checker says the parameter's type admits any value —
+     * any, unknown, object, {}, or an index signature alone
+     * (`Record<string, unknown>`) — nullability set aside: a type naming no
+     * field a declared record could be compared with, which the parameter check
+     * fails closed on. Absent where no checker read the file.
+     */
+    opaque?: boolean;
 }
 /** The kinds of value a parameter can take, as the type checker settles them. */
 type ParameterKind = 'string' | 'number' | 'boolean' | 'list' | 'object' | 'function';
@@ -7728,12 +7780,20 @@ interface RouteFact {
      * pattern — so no leading segment is left for a mount to supply.
      */
     fullPath?: boolean;
+    /**
+     * True when the route is an entry of a route TABLE rather than a guard: a
+     * table is written under whatever prefix the router strips before matching
+     * it, which a reader folds in front from SourceFileFacts.routePrefixes.
+     */
+    table?: boolean;
 }
 /**
- * One import a file makes from ANOTHER project's source that resolves to
- * nothing: the module is gone, or it does not export the name imported. A
+ * One import a file makes from ANOTHER project's source: one that resolves to
+ * nothing — the module is gone, or it does not export the name imported (a
  * type-only import of another project is erased at run time, so nothing but a
- * compiler notices — and the gate reads the file with one.
+ * compiler notices, and the gate reads the file with one) — or one that
+ * resolves, under each name it binds (`resolved`), which reaches into that
+ * project's code.
  */
 interface CrossProjectImportFact {
     /** The module specifier as the import writes it. */
@@ -7746,6 +7806,15 @@ interface CrossProjectImportFact {
     line: number;
     /** Whether the import binds the name as a type only. */
     typeOnly: boolean;
+    /**
+     * True when the import RESOLVES — the module is there and binds the name
+     * (`*` for a namespace import, absent for a side-effect import): code
+     * reaching into the other project's source, which the gate holds to what
+     * that project exports. Absent for an import that resolves to nothing.
+     */
+    resolved?: boolean;
+    /** For a resolved import: the module it lands in, relative to the other project's root. */
+    module?: string;
 }
 /** How a type shape's members were read: listed by the shape itself, or followed one hop from an alias to the value its shape comes from. */
 type ShapeOrigin = 'declared' | 'derived';
@@ -7991,9 +8060,19 @@ interface SourceFileFacts {
      * empty one — an empty guess would read as "a router with no routes", and
      * the reader needs to tell a router it could not read from one it read.
      * Same-named bodies union their routes; nested NAMED functions carry their
-     * own entries, while anonymous callbacks count into the enclosing one.
+     * own entries, while anonymous callbacks count into the enclosing one. A
+     * route TABLE bound to a top-level const records an entry under the const's
+     * name too, so a router linkage may name the table itself.
      */
     functionRoutes?: Record<string, RouteFact[]>;
+    /**
+     * The ONE prefix each named function strips off a path before matching it
+     * (`path.slice(BASE.length)`, `.replace(BASE, '')`), as the text it settles
+     * on, by function name; a function stripping none, several, or one that
+     * does not settle has no entry. What a route table read by the same router
+     * is written under.
+     */
+    routePrefixes?: Record<string, string>;
     /**
      * The named function-likes in the file that complete LATER — declared
      * `async`, or annotated to return a Promise — listed once per such BODY, in
@@ -8050,9 +8129,11 @@ interface SourceFileFacts {
     /**
      * Each import of the file — a runtime or a type-only one — from ANOTHER
      * project's source (a folder holding its own .wai/project.yaml that is not
-     * the analyzed project's root) that the type checker resolves to nothing:
-     * the module is gone, or it does not export the name imported. Recorded only
-     * where a type checker read the file; absent when every such import resolves.
+     * the analyzed project's root): one the type checker resolves to nothing —
+     * the module is gone, or it does not export the name imported — and, marked
+     * `resolved`, one that lands, under each name it binds. Recorded only where
+     * a type checker read the file; absent when the file imports no other
+     * project's source.
      */
     crossProjectImports?: CrossProjectImportFact[];
 }
@@ -8288,6 +8369,18 @@ declare function bodySitesOf(facts: SourceFileFacts, fn: string, container?: str
  * itself rather than read "no body" into "not measured".
  */
 declare function hasFunctionBody(facts: SourceFileFacts, symbol: string): boolean;
+/**
+ * implementation_spec.router — what a Portal's router linkage names, read off
+ * its three spellings: `name` (an entry the Portal's own files export),
+ * `path#name` (an entry or route table another module exports — a central
+ * routes.ts), and `path` alone (that module, every route-bearing export of it
+ * read as one router). A value is a path when it holds a `/` or ends in a
+ * source extension; the path is project-relative.
+ */
+declare function routerLinkage(router: string): {
+    file?: string;
+    name?: string;
+};
 /**
  * The language a source file is analyzed as, read from its extension; undefined
  * for a file no analyzer reads. The one table the analyzer and the implementer
@@ -8712,6 +8805,13 @@ interface ProjectApproval {
      * and carry no approval over — and every surface says so as a notice.
      */
     partsIgnored?: string;
+    /**
+     * Set when the record's release stamp is missing, no wairon version or
+     * newer than the running release (lock_record.stampProblem) and no release
+     * verdict already names it: every surface reports it as a notice, and
+     * `wairon lock` replaces the stamp. Never decides the state on its own.
+     */
+    stampProblem?: string;
 }
 /**
  * release_verdict — an approval whose gate identity moved only because the
@@ -9480,6 +9580,27 @@ interface SpecChange {
  * write that changed nothing is how a typo'd delta ("dependson", a method-level
  * `unset` that no-opped) read as a completed edit for a whole session.
  */
+/**
+ * pinned_spec_read — a spec of another project read from the pinned snapshot
+ * this project holds of it: the pin's record, read-only, never a spec of
+ * this tree and never written back.
+ */
+interface PinnedSpecRead {
+    /** The external's alias the read went through. */
+    alias: string;
+    /** The producer project the alias names. */
+    project: string;
+    /** interface for a contract entry, type for an exported type. */
+    kind: 'interface' | 'type';
+    /** The public name read. */
+    id: string;
+    /** The pinned snapshot file, project-relative. */
+    file: string;
+    /** The producer's StateId the pin was taken at, when recorded. */
+    stateId?: string;
+    /** The snapshot's entry exactly as pinned. */
+    spec: unknown;
+}
 interface SpecChangeReport {
     kind: WritableSpecKind;
     id: string;
@@ -9530,6 +9651,19 @@ interface SpecChangeReport {
      * on a write that changes nothing, because nothing is re-serialized then.
      */
     strippedKeys?: string[];
+    /**
+     * Each implementation method entry the write removed with a contract method
+     * it removed, as `<implementation>.<method>` (on a dry run, would remove).
+     * Absent when the write removed no contract method.
+     */
+    cascaded?: string[];
+    /**
+     * Every public name a consumer reaches a contract method this write removed
+     * through, read before the write. Absent when no removed method is published.
+     */
+    published?: ExportUse[];
+    /** The consumers whose specs call a removed method on a published name. Filled by the door that read them. */
+    breaks?: ExternalConsumer[];
 }
 /**
  * One component considered as a home for a set of moved methods, and what
@@ -9632,6 +9766,12 @@ interface MethodMoveReport {
      */
     carried: CarriedRekey[];
 }
+/** spec_loader.lockTree — forwarded 1:1 to the registry write face. */
+declare function lockTree(): void;
+/** spec_loader.readPinnedSpec — an external's spec read by `alias::name` from its pinned snapshot; null when none holds it. */
+declare function readPinnedSpec(kind: string | undefined, id: string): PinnedSpecRead | null;
+/** spec_loader.unlockTree — release the bound project's tree write lock. */
+declare function unlockTree(): void;
 declare function getLoaderIssues(): ValidationIssue[];
 declare function clearLoaderIssues(): void;
 declare function scanAllSpecs(options?: SpecScanOptions): SpecIndex;
@@ -9832,6 +9972,24 @@ declare function saveSpec(kind: WritableSpecKind, spec: StoredSpec): string[];
  */
 declare function deleteSpec(kind: WritableSpecKind, id: string): boolean;
 declare function updateSpec(kind: WritableSpecKind, id: string, delta: Record<string, any>, hooks?: SpecWriteHooks, dryRun?: boolean): SpecChangeReport;
+/**
+ * Inside a hosted request, judge every spec a multi-spec write would change —
+ * by kind and id, as the loader keys them — against the request's write reach
+ * before the first write, refusing (SubsystemWriteDenied) with every subsystem
+ * it may not change named. `projectRung` adds a write of project configuration
+ * (the debt register). Outside a hosted request nothing is judged.
+ */
+/**
+ * core_orchestrator.crossProjectWriteRefusal — the project boundary of every
+ * authored write: the sentence refusing a write any of whose targets lives in
+ * another project (a member's spec, or one named through an external's alias),
+ * naming that project's folder and the call to make in a session there; or
+ * undefined when every target is the bound project's own. Reads only.
+ */
+declare function crossProjectWriteRefusal(targets: {
+    kind: string;
+    id: string;
+}[], tool: string): string | undefined;
 declare function moveMethods(from: string, to: string, methods: string[], hooks?: SpecWriteHooks, dryRun?: boolean): MethodMoveReport;
 
 /**
@@ -11946,14 +12104,17 @@ declare const EndpointSchema: z.ZodDiscriminatedUnion<"transport", [z.ZodObject<
     transport: z.ZodLiteral<"HTTP">;
     method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
     path: z.ZodString;
+    status: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
     path: string;
     method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
     transport: "HTTP";
+    status?: number | undefined;
 }, {
     path: string;
     method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
     transport: "HTTP";
+    status?: number | undefined;
 }>, z.ZodObject<{
     transport: z.ZodLiteral<"gRPC">;
     service: z.ZodString;
@@ -12190,14 +12351,17 @@ declare const MethodSignatureSchema: z.ZodObject<{
         transport: z.ZodLiteral<"HTTP">;
         method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
         path: z.ZodString;
+        status: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     }, {
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     }>, z.ZodObject<{
         transport: z.ZodLiteral<"gRPC">;
         service: z.ZodString;
@@ -12387,6 +12551,7 @@ declare const MethodSignatureSchema: z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -12448,6 +12613,7 @@ declare const MethodSignatureSchema: z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -12538,14 +12704,17 @@ declare const StoredMethodSignatureSchema: z.ZodEffects<z.ZodObject<{
         transport: z.ZodLiteral<"HTTP">;
         method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
         path: z.ZodString;
+        status: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     }, {
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     }>, z.ZodObject<{
         transport: z.ZodLiteral<"gRPC">;
         service: z.ZodString;
@@ -12735,6 +12904,7 @@ declare const StoredMethodSignatureSchema: z.ZodEffects<z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -12796,6 +12966,7 @@ declare const StoredMethodSignatureSchema: z.ZodEffects<z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -12857,6 +13028,7 @@ declare const StoredMethodSignatureSchema: z.ZodEffects<z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -12918,6 +13090,7 @@ declare const StoredMethodSignatureSchema: z.ZodEffects<z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -12999,14 +13172,17 @@ declare const ResolvedMethodSignatureSchema: z.ZodObject<{
         transport: z.ZodLiteral<"HTTP">;
         method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
         path: z.ZodString;
+        status: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     }, {
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     }>, z.ZodObject<{
         transport: z.ZodLiteral<"gRPC">;
         service: z.ZodString;
@@ -13163,6 +13339,7 @@ declare const ResolvedMethodSignatureSchema: z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -13224,6 +13401,7 @@ declare const ResolvedMethodSignatureSchema: z.ZodObject<{
         path: string;
         method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
         transport: "HTTP";
+        status?: number | undefined;
     } | {
         method: string;
         transport: "gRPC";
@@ -13346,14 +13524,17 @@ declare const InterfaceSpecSchema: z.ZodObject<{
             transport: z.ZodLiteral<"HTTP">;
             method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
             path: z.ZodString;
+            status: z.ZodOptional<z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         }, {
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         }>, z.ZodObject<{
             transport: z.ZodLiteral<"gRPC">;
             service: z.ZodString;
@@ -13543,6 +13724,7 @@ declare const InterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -13604,6 +13786,7 @@ declare const InterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -13665,6 +13848,7 @@ declare const InterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -13726,6 +13910,7 @@ declare const InterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -13868,6 +14053,7 @@ declare const InterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -13953,6 +14139,7 @@ declare const InterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -14118,14 +14305,17 @@ declare const ResolvedInterfaceSpecSchema: z.ZodObject<{
             transport: z.ZodLiteral<"HTTP">;
             method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
             path: z.ZodString;
+            status: z.ZodOptional<z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         }, {
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         }>, z.ZodObject<{
             transport: z.ZodLiteral<"gRPC">;
             service: z.ZodString;
@@ -14282,6 +14472,7 @@ declare const ResolvedInterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -14343,6 +14534,7 @@ declare const ResolvedInterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -14410,6 +14602,7 @@ declare const ResolvedInterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -14495,6 +14688,7 @@ declare const ResolvedInterfaceSpecSchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -19209,14 +19403,17 @@ declare const SCHEMA_OF_KIND: {
                 transport: z.ZodLiteral<"HTTP">;
                 method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
                 path: z.ZodString;
+                status: z.ZodOptional<z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             }, {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             }>, z.ZodObject<{
                 transport: z.ZodLiteral<"gRPC">;
                 service: z.ZodString;
@@ -19406,6 +19603,7 @@ declare const SCHEMA_OF_KIND: {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -19467,6 +19665,7 @@ declare const SCHEMA_OF_KIND: {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -19528,6 +19727,7 @@ declare const SCHEMA_OF_KIND: {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -19589,6 +19789,7 @@ declare const SCHEMA_OF_KIND: {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -19731,6 +19932,7 @@ declare const SCHEMA_OF_KIND: {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -19816,6 +20018,7 @@ declare const SCHEMA_OF_KIND: {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -20261,14 +20464,17 @@ declare const SurfaceContractEntrySchema: z.ZodObject<{
             transport: z.ZodLiteral<"HTTP">;
             method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
             path: z.ZodString;
+            status: z.ZodOptional<z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         }, {
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         }>, z.ZodObject<{
             transport: z.ZodLiteral<"gRPC">;
             service: z.ZodString;
@@ -20427,6 +20633,7 @@ declare const SurfaceContractEntrySchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -20489,6 +20696,7 @@ declare const SurfaceContractEntrySchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -20670,6 +20878,7 @@ declare const SurfaceContractEntrySchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -20775,6 +20984,7 @@ declare const SurfaceContractEntrySchema: z.ZodObject<{
             path: string;
             method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
             transport: "HTTP";
+            status?: number | undefined;
         } | {
             method: string;
             transport: "gRPC";
@@ -20933,14 +21143,17 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
                 transport: z.ZodLiteral<"HTTP">;
                 method: z.ZodEnum<["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"]>;
                 path: z.ZodString;
+                status: z.ZodOptional<z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             }, {
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             }>, z.ZodObject<{
                 transport: z.ZodLiteral<"gRPC">;
                 service: z.ZodString;
@@ -21099,6 +21312,7 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -21161,6 +21375,7 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -21342,6 +21557,7 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -21447,6 +21663,7 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -21798,6 +22015,7 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -21965,6 +22183,7 @@ declare const SurfaceSnapshotSchema: z.ZodObject<{
                 path: string;
                 method: "HEAD" | "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS";
                 transport: "HTTP";
+                status?: number | undefined;
             } | {
                 method: string;
                 transport: "gRPC";
@@ -22562,6 +22781,17 @@ declare function specIndexSubtreeOf(index: SpecTreeIndex, kind: SpecRef['kind'],
  * name or id. A reference from one target to another leaves with both.
  */
 declare function specIndexReferencesTo(index: SpecTreeIndex, targets: ReadonlyArray<SpecRef>, system?: SystemSpec | null): SpecReference[];
+/**
+ * spec_index.methodReferencesTo — every reference a spec holds to one of the
+ * named contract methods of `component`, each with its position: a call,
+ * register or dispatch narrative step naming component and method, a declared
+ * call `<component>.<method>`, a dispatch-table binding, a subsystem lifecycle
+ * entrypoint, and a contract method taking its signature from it
+ * (signatureFrom). Each target is the component's contract declaring the
+ * method (the component itself when no contract of the index declares it).
+ * What a removal of those methods would leave dangling. Pure.
+ */
+declare function specIndexMethodReferences(index: SpecTreeIndex, component: string, methods: ReadonlyArray<string>): SpecReference[];
 
 /** identifier — one identifier as written: a spec id, a project id, an alias, or a method, parameter or field name. */
 type Identifier = string;
@@ -42420,7 +42650,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.112";
+declare const WAIRON_VERSION = "5.1.1-dev.114";
 declare const GITHUB_REPO = "SYW-Apps/Waffle-AIron";
 declare const ARCHITECT_AGENT_ID = "agent-architect";
 declare const ARCHITECT_TEMPLATE_ID = "architect";
@@ -42467,6 +42697,26 @@ declare function resolveCandidate(alias: string, declaration: ExternalDeclaratio
  * within reach: a consumer outside the family read is never listed.
  */
 declare function listConsumers(search?: string[]): ExternalConsumer[];
+/**
+ * member_revision — one live member of the bound project: where it lives, the
+ * bound project's usage of it, and its tree at the approval it is judged against.
+ */
+interface MemberRevision {
+    alias: string;
+    project: string;
+    root: string;
+    usage: ExportUsage;
+    revision?: ApprovedRevision;
+}
+/**
+ * iexternal_producers.memberRevisions — each live member of the bound project
+ * (a contained member or a `../` sibling, read where it is stored and never
+ * pinned) with its root, the bound project's usage of it, and its tree at the
+ * approval it is judged against: the commit that introduced the member
+ * approval the bound project's lock records for it, else the member's own last
+ * committed approval. Never on a hosted request. No network.
+ */
+declare function memberRevisions(): MemberRevision[];
 /** Where the baseline of a surface comparison was read: the tree at one commit, and how a reader names it. */
 interface ApprovedRevision {
     directory: string;
@@ -42648,6 +42898,8 @@ interface PromoteResult {
     pathsRebased: string[];
     /** One line per contract or type method whose stored signature text the respelling left stale and was re-derived. */
     signaturesRederived: string[];
+    /** One line per external the new project declared for another project its moved specs name (a sibling of the family, or the parent's own external). */
+    externalsDeclared?: string[];
 }
 /**
  * internalize_result — what internalizing a member did with each thing the
@@ -42670,8 +42922,9 @@ interface InternalizeResult {
      */
     consumersRestored: string[];
     /**
-     * Demote only: one line per contract or type method whose stored signature
-     * text the respelling back left stale and was re-derived from its params.
+     * Internalize and demote: one line per contract or type method whose stored
+     * signature text the respelling across the old boundary left stale and was
+     * re-derived from its params.
      */
     signaturesRederived?: string[];
 }
@@ -42762,6 +43015,65 @@ interface ComponentRename {
  * (id-taken).
  */
 declare function renameComponent(componentId: string, newId: string, dryRun?: boolean): ComponentRename;
+/** What renaming one contract or implementation on its own changed (spec_id_rename). */
+interface SpecIdRename {
+    /** interface or implementation. */
+    kind: WritableSpecKind;
+    /** The spec with its old and new id. */
+    renamed: SpecRename[];
+    /** Ids of the other specs whose references to the renamed id were rewritten. */
+    rewritten: string[];
+    /** Every edit the rename made to the debt register. */
+    carried: CarriedRekey[];
+    /** The export entries whose public name derived from the renamed contract's id: `as` written, the published name kept. */
+    keptPublicNames: string[];
+    /** True when this report is a dry run: nothing was written. */
+    dryRun?: boolean;
+}
+/** What moving a component or a type to another subsystem changed (spec_move). */
+interface SpecMove {
+    /** component or type. */
+    kind: WritableSpecKind;
+    /** The moved spec's id. */
+    id: string;
+    /** The subsystem it lived in; empty for a system-level type. */
+    from: string;
+    /** The subsystem it lives in now; empty for a type made system-level. */
+    to: string;
+    /** Every spec the move relocated: the addressed spec, the members it owns, their contracts and implementations. */
+    moved: SpecRef[];
+    /** Ids of the other specs whose references were rewritten to follow the move. */
+    rewritten: string[];
+    /** What the authoring gate said of the moved specs: a curable boundary finding the move introduces. */
+    notices: string[];
+    /** True when this report is a dry run: nothing was written. */
+    dryRun?: boolean;
+}
+/**
+ * core_orchestrator.renameSpecId — rename one contract or one implementation
+ * on its own and every reference to it: an implementation's contract and an
+ * export entry's interface (a public name derived from the old id kept with
+ * `as`), lint allows and debt-register entries keyed on it. The spec moves to
+ * its new id and file beside its owner, its old id in its rename trace.
+ * Every refusal happens before the first write; a dry run writes nothing.
+ */
+declare function renameSpecId(kind: WritableSpecKind, id: string, newId: string, dryRun?: boolean): SpecIdRename;
+/**
+ * core_orchestrator.moveSpec — move a component or a type to another
+ * subsystem of the bound project with everything that follows it. Ids never
+ * change, so references by id stay; what names the OLD subsystem follows. A
+ * dry run answers the plan and writes nothing; every refusal happens first.
+ */
+declare function moveSpec(kind: WritableSpecKind, id: string, subsystem?: string, dryRun?: boolean): SpecMove;
+/**
+ * core_orchestrator.publishedUsesOf — every public name of the bound
+ * project's export tables a consumer reaches something a removal takes away
+ * through, with the members carrying it: a removed component's or contract's
+ * entries (all its methods), a removed type's carriers, and each removed
+ * contract method's publishing entries and forwarding verbs. Read before the
+ * removal; writes nothing.
+ */
+declare function publishedUsesOf(removed: SpecRef[], methods: string[]): ExportUse[];
 /** What renaming a contract method changed (method_rename). */
 interface MethodRename {
     /** The component whose method was renamed. */
@@ -42820,6 +43132,8 @@ interface TypeRename {
     rewritten: string[];
     /** The export entries (L0 and L1) that exported the type without an `as`: the rename wrote `as: <old name>` on them. */
     keptPublicNames: string[];
+    /** Every public name a consumer reaches the type through: an exported type that is or embeds it (member `type`), an exported contract whose methods name one in their signature closure (those methods). */
+    publishedIn: ExportUse[];
     /** Every edit the rename made to the debt register: an entry anchored on the type. */
     carried: CarriedRekey[];
     /** True when this report is a dry run: nothing was written. */
@@ -43995,4 +44309,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 ApprovedRevision, type ArchProfile, type AuthoredReference, BACKEND_COMMANDS, BUILTIN_PROFILES, type BoundaryItem, BoundaryItemSchema, type BuildContextOptions, type BuiltinTarget, type BuiltinTargetConfig, BuiltinTargetConfigSchema, BuiltinTargetSchema, BundleNotFoundError, type CallSiteFact, type CallTargetFact, 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 CrossProjectImportFact, 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, type DisplayName, DisplayNameSchema, 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 ExternalRemovalPlan, 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, FieldNameSchema, type FieldRename, type FieldRenameReading, 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, INVISIBLE_CHARACTERS, type Identifier, type IdentifierKind, 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, LockRecordUnreadableError, type LockStatus, type LogLevel, type LoopKind, LoopKindSchema, MAX_IDENTIFIER_LENGTH, MAX_SPEC_ID_LENGTH, type MemberAdvance, type MemberCreation, type MemberDeclaration, MemberDeclarationSchema, type MemberKind, type MemberPin, type MemberSource, type MemberStorage, type MethodEffect, MethodEffectSchema, type MethodImplementation, MethodImplementationSchema, type MethodLike, MethodNameSchema, type MethodParam, MethodParamSchema, type MethodRename, type MethodSignature, MethodSignatureSchema, type ModelledCall, type ModuleImports, 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, ParamNameSchema, type ParamRename, type ParameterFact, type ParameterKind, 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 ResolvedCallFact, 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 SpecRef, type SpecReference, type SpecScanOptions, type SpecStatus, SpecStatusSchema, type SpecTreeIndex, 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 SurfaceChange, type SurfaceChangeKind, 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, TECHNOLOGY_PACKAGES, type TargetConfig, TargetConfigSchema, type Technology, TechnologySchema, type Template, TemplateNotFoundError, TemplateSchema, type TopicEnd, type TopologyConfig, TopologyConfigSchema, type TracedRename, 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, WINDOWS_RESERVED_NAME_RE, type WaiPaths, WaironError, type WriteReach, YamlSyntaxError, activeTargetTypes, addDomain, admits, advanceMember, aiDir, aiDirAt, aiPathsAt, aliasGrammarProblem, aliasTargetOf, ambiguityMessage, approvalKeyIn, approvalRecord, approvalVerdict, approvedRevision, approvedStatuses, asSchemaReads, 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, consumerReaches, 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, displayNameProblem, dryRunSerializeSpecs, effectiveDetail, effectiveProjectId, emptyExtensions, emptyTypeSpellingFacts, enclosing, ensureDir, ensureProjectInitialized, excerpt as excerptParent, exportDesign, exportSpecTree, exportSurface, exportTargetKey, exportUsage, externalizeSubsystem, extractTypeIdentifiers, factsFor, familyApprovals, familyNode, familyRelations, fieldRenames, fieldRenamesSince, fieldTypeRefs, fieldTypesOf, findChainingParent, findChainingSubprojectsMissingConfig, findLegacySpecFiles, findOrphanedSpecFiles, findProjectRoot, findSystemRoot, findTestsReferencing, fitsMethodCasing, 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, identifierProblem, implementationDesignView, implementationSourceFiles, importBindingOf, importNames, importSpecTree, importSurface, injectGuide, installPackFromDirectory, interfaceCanonicalTypes, interfaceDesignView, interfaceGenericParameters, internalizeMember, isDraftSubsystem, isInProcessAddress, isLogic, isOutsideRoot, isOwnComponentEntry, isPart, isPattern, isProjectInitialized, isProvidedBy, isRetired, isSilent, isTypeVocabulary, isWindowsReservedName, 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, narrowedToMember, narrowedToUses, normalizeReferences, ownerOf, packDirEntry, packEntryLabel, packEntryRef, manifestOf as packManifest, packStoreDir, parseDeclarativePack, parseDeclaredCall, parseMemberSource, parseTypeExpression, parseTypePosition, parseYaml, passesIntentFloor, pathExists, pathKey, pinExternals, pinnedParent, producerOf, projectConfigExists, graph as projectFamily, projectIdentity, promoteMember, provisionProject, qualifiedTypeId, rangeProblem, readCodeAnnotation, readExternalSource, readFileOrNull, readJsonFile, readLockRecord, readLockState, readRetiredReachForms, readStampVersion, readYamlFile, recordProfileSelection, reexpress, registerExporter, registerPackRef, registerProjectServer, reinjectLocalGuides, relationHealth, removeDomain, removeExternal, removeMember, removePackSelection, removeSnapshot, renameAlias, renameComponent, renameField, renameProjectId as renameId, renameMethod, renameParam, renameType, renderDiagram, repairForeignStepFields, repairSignatures, repairTypeSpellings, repointExternal, requiredPolicies, reservedWordProblem, 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, seedDemoTree, selectsFamily, serializeYaml, setExecutionTier, setProjectId as setId, setLogLevel, setNetwork, setProjectRoot, setProjectType, settledSpecPaths, signatureFacts, signatureTypeRefs, specIndexReferencesTo, specIndexRetiredBy, specIndexSubtreeOf, specPathsInScope, splitNamespace, staleDerivedDocs, stepConfigVerdict, stepFieldsFor, stepGraph, storedMethodSignature, storedTypeMethod, subsystemDesignView, surfaceChanges, syncContextFiles, technologyName, technologyPackages, 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 };
+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 ApprovedRevision, type ArchProfile, type AuthoredReference, BACKEND_COMMANDS, BUILTIN_PROFILES, type BoundaryItem, BoundaryItemSchema, type BuildContextOptions, type BuiltinTarget, type BuiltinTargetConfig, BuiltinTargetConfigSchema, BuiltinTargetSchema, BundleNotFoundError, type CallSiteFact, type CallTargetFact, 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 CrossProjectImportFact, 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, type DisplayName, DisplayNameSchema, 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 ExternalRemovalPlan, 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, FieldNameSchema, type FieldRename, type FieldRenameReading, 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, INVISIBLE_CHARACTERS, type Identifier, type IdentifierKind, 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, LockRecordUnreadableError, type LockStatus, type LogLevel, type LoopKind, LoopKindSchema, MAX_IDENTIFIER_LENGTH, MAX_SPEC_ID_LENGTH, type MemberAdvance, type MemberCreation, type MemberDeclaration, MemberDeclarationSchema, type MemberKind, type MemberPin, type MemberRevision, type MemberSource, type MemberStorage, type MethodEffect, MethodEffectSchema, type MethodImplementation, MethodImplementationSchema, type MethodLike, MethodNameSchema, type MethodParam, MethodParamSchema, type MethodRename, type MethodSignature, MethodSignatureSchema, type ModelledCall, type ModuleImports, 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, ParamNameSchema, type ParamRename, type ParameterFact, type ParameterKind, type ParentExcerpt, ParentExcerptSchema, type ParsedMemberSource, type PartOf, PartOfSchema, type PathsConfig, PathsConfigSchema, type PatternRef, PatternRefSchema, type PinnedExternal, type PinnedParent, type PinnedSpecRead, 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 ResolvedCallFact, 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, type SpecIdRename, SpecIdSchema, type SpecIndex, type SpecMove, type SpecRef, type SpecReference, type SpecScanOptions, type SpecStatus, SpecStatusSchema, type SpecTreeIndex, 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 SurfaceChange, type SurfaceChangeKind, 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, TECHNOLOGY_PACKAGES, type TargetConfig, TargetConfigSchema, type Technology, TechnologySchema, type Template, TemplateNotFoundError, TemplateSchema, type TopicEnd, type TopologyConfig, TopologyConfigSchema, type TracedRename, 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, WINDOWS_RESERVED_NAME_RE, type WaiPaths, WaironError, type WriteReach, YamlSyntaxError, activeTargetTypes, addDomain, admits, advanceMember, aiDir, aiDirAt, aiPathsAt, aliasGrammarProblem, aliasTargetOf, ambiguityMessage, approvalKeyIn, approvalRecord, approvalVerdict, approvedRevision, approvedStatuses, asSchemaReads, 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, consumerReaches, containedPathOf, contentDigest, createAgentRecord, createEmptyRegistry, createEmptyTopologyConfig, createMember, createProjectConfig, crossProjectWriteRefusal, 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, displayNameProblem, dryRunSerializeSpecs, effectiveDetail, effectiveProjectId, emptyExtensions, emptyTypeSpellingFacts, enclosing, ensureDir, ensureProjectInitialized, excerpt as excerptParent, exportDesign, exportSpecTree, exportSurface, exportTargetKey, exportUsage, externalizeSubsystem, extractTypeIdentifiers, factsFor, familyApprovals, familyNode, familyRelations, fieldRenames, fieldRenamesSince, fieldTypeRefs, fieldTypesOf, findChainingParent, findChainingSubprojectsMissingConfig, findLegacySpecFiles, findOrphanedSpecFiles, findProjectRoot, findSystemRoot, findTestsReferencing, fitsMethodCasing, 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, identifierProblem, implementationDesignView, implementationSourceFiles, importBindingOf, importNames, importSpecTree, importSurface, injectGuide, installPackFromDirectory, interfaceCanonicalTypes, interfaceDesignView, interfaceGenericParameters, internalizeMember, isDraftSubsystem, isInProcessAddress, isLogic, isOutsideRoot, isOwnComponentEntry, isPart, isPattern, isProjectInitialized, isProvidedBy, isRetired, isSilent, isTypeVocabulary, isWindowsReservedName, 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, lockTree, logger, makeScopeFilter, markSelectionsBundled, matchTypeRef, measurePackDoctrine, measurePackImpact, memberDeclarationOf, memberDigest, memberLocationOf, memberRevisions, memberTypesOf, methodCasingFor, methodGenericParameters, methodSourceFile, methodTypeRefs, migrate as migrateReachability, moveMember, moveMethods, moveMountToMembers, moveSpec, nameKey, namesAnInteger, narrativeStepForeignFields, narrowedToMember, narrowedToUses, normalizeReferences, ownerOf, packDirEntry, packEntryLabel, packEntryRef, manifestOf as packManifest, packStoreDir, parseDeclarativePack, parseDeclaredCall, parseMemberSource, parseTypeExpression, parseTypePosition, parseYaml, passesIntentFloor, pathExists, pathKey, pinExternals, pinnedParent, producerOf, projectConfigExists, graph as projectFamily, projectIdentity, promoteMember, provisionProject, publishedUsesOf, qualifiedTypeId, rangeProblem, readCodeAnnotation, readExternalSource, readFileOrNull, readJsonFile, readLockRecord, readLockState, readPinnedSpec, readRetiredReachForms, readStampVersion, readYamlFile, recordProfileSelection, reexpress, registerExporter, registerPackRef, registerProjectServer, reinjectLocalGuides, relationHealth, removeDomain, removeExternal, removeMember, removePackSelection, removeSnapshot, renameAlias, renameComponent, renameField, renameProjectId as renameId, renameMethod, renameParam, renameSpecId, renameType, renderDiagram, repairForeignStepFields, repairSignatures, repairTypeSpellings, repointExternal, requiredPolicies, reservedWordProblem, 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, routerLinkage, runWithHostedLookup, runWithProjectBinding, runWithProjectRoot, sameContract, saveSpec, saveTopologyConfig, scanAllSpecs, schemaFingerprint, seedDemoTree, selectsFamily, serializeYaml, setExecutionTier, setProjectId as setId, setLogLevel, setNetwork, setProjectRoot, setProjectType, settledSpecPaths, signatureFacts, signatureTypeRefs, specIndexMethodReferences, specIndexReferencesTo, specIndexRetiredBy, specIndexSubtreeOf, specPathsInScope, splitNamespace, staleDerivedDocs, stepConfigVerdict, stepFieldsFor, stepGraph, storedMethodSignature, storedTypeMethod, subsystemDesignView, surfaceChanges, syncContextFiles, technologyName, technologyPackages, technologyTokens, toMarkdown, transportExportKind, transportKind, transportRequiresEndpoint, typeBindingOf, typeCanonicalTypes, typeDesignView, typeDialectFor, typeGenericParameters, typeIsMany, typeMappingFor, typeMatchesRef, typeNamedRefs, typeProblemEnumProposal, typeProblemIntProposal, typeSourceFiles, typeSpellingFacts, uninstallPack, unlockTree, updateMember, updateSpec, upsertPackSelection, validateAsComplete, validateComponentCandidate, validateFamily, validateProject, validateProjectConfig, validateRegistry, withLineEndings, withPack, writeFile, writeFileIfChanged, writeJsonFile, writeLockRecord, writeReachDenials, writeReachPermits, writeRootGuideDelegator, writeYamlFile, writtenTypeRefs };