@wairon/cli 5.1.1-dev.110 → 5.1.1-dev.111

package/dist/index.d.ts

@@ -3264,13 +3264,23 @@ declare const AgentBriefSchema: z.ZodObject<{
      */
     typeMapping: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     /**
-     * Where an implementing agent may write CODE: each source file its
-     * implementations name, plus the folder they share below the project root as
-     * `<folder>/**`. Empty when nothing names a file yet (the instructions then
-     * ask the spawning session to name the planned files); absent for an agent
-     * that implements nothing.
+     * Where an implementing agent may write CODE, as exact files and never a
+     * folder glob: every file the specs name for its components alone (their
+     * implementations', methods', simPath and binding files, and the files of
+     * the types it owns), existing or planned. Empty when nothing names a file
+     * yet (the instructions then ask the spawning session to name the planned
+     * files); absent for an agent that implements nothing.
      */
     codeFence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    /**
+     * The files an implementing agent may touch but does not own: those its
+     * specs name that other components' specs name too, and — as they exist —
+     * the setup files from the project root down to its code, the package roots
+     * there and the unnamed source files beside its own. The instructions state
+     * the rule: only for this component's needs, a shared responsibility is a
+     * design change to report. Absent when there is none.
+     */
+    sharedPaths: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     /**
      * Set only on a brief for a member's agent (an id qualified `<alias>::`): the
      * member's directory relative to the root the brief was asked from. The
@@ -3350,6 +3360,7 @@ declare const AgentBriefSchema: z.ZodObject<{
     variantGuidance?: string | undefined;
     typeMapping?: string[] | undefined;
     codeFence?: string[] | undefined;
+    sharedPaths?: string[] | undefined;
     root?: string | undefined;
     budget?: {
         toolClass: "read-only" | "implement" | "orchestrate" | "full";
@@ -3377,6 +3388,7 @@ declare const AgentBriefSchema: z.ZodObject<{
     variantGuidance?: string | undefined;
     typeMapping?: string[] | undefined;
     codeFence?: string[] | undefined;
+    sharedPaths?: string[] | undefined;
     root?: string | undefined;
     budget?: {
         toolClass: "read-only" | "implement" | "orchestrate" | "full";
@@ -3758,6 +3770,8 @@ interface ExportUse {
     members: string[];
     /** The consumer's specs whose references reach the name, sorted. */
     specs?: string[];
+    /** Per member reached, the consumer's specs whose references reach THAT member, sorted. */
+    memberSpecs?: Record<string, string[]>;
 }
 /**
  * export_usage — what one project's references reach in another, mapped onto
@@ -3825,6 +3839,12 @@ interface StateId {
      * algorithm and digest alone.
      */
     asRecorded?: StateId;
+    /**
+     * On a gate identity only: the digest of each input it covers, taken on its
+     * own (gate_identity.parts). Never part of the digest; a lock records them
+     * as gateParts, so a later check can name the input that moved.
+     */
+    parts?: Record<string, string>;
 }
 /**
  * Deterministic CONTENT StateId over the current (request-scoped) project's
@@ -3865,6 +3885,33 @@ declare function computeOwnDesignStateId(): StateId;
  */
 declare function computeOwnDesignStateIdAsRecorded(approvedStatus: ReadonlyMap<string, SpecStatus>): StateId;
 
+/** binding_member — a method (with its parameter names) or a data field a declaration holds. */
+interface BindingMember {
+    name: string;
+    /** A method's parameter names in order ('' for a destructured one); absent for a data field. */
+    params?: string[];
+}
+/** binding_declaration — one exported declaration of a binding module. */
+interface BindingDeclaration {
+    name: string;
+    /** function | interface | class | type (an object type alias) | alias (any other type alias) | enum. */
+    kind: 'function' | 'interface' | 'class' | 'type' | 'alias' | 'enum';
+    /** A function's parameter names in order. */
+    params?: string[];
+    /** The members an interface, class or object type declares; an enum's member names as fields. */
+    members: BindingMember[];
+    /** The `alias::name` its leading doc comment names, when it names one. */
+    tag?: string;
+    /** The 1-based line the declaration starts on. */
+    line: number;
+}
+/** binding_module — a binding module as read: where, whether it could be, and what it declares. */
+interface BindingModule {
+    path: string;
+    status: 'read' | 'missing' | 'escaped' | 'unreadable' | 'unsupported';
+    declarations: BindingDeclaration[];
+}
+
 /** primitive | named | list | set | map | optional | union | async | applied | result. */
 type TypeForm = 'primitive' | 'named' | 'list' | 'set' | 'map' | 'optional' | 'union' | 'async' | 'applied' | 'result';
 /** type_expression — a type position's value, parsed under the neutral grammar. */
@@ -4555,6 +4602,13 @@ interface RuleContext {
      * candidate run.
      */
     pinnedExternals: PinnedExternal[];
+    /**
+     * Every binding module the bound project's implementations name
+     * (implementation_spec.bindings), read once by the validator through the
+     * binding module adapter: what binding conformance compares with
+     * pinnedExternals. Absent on a candidate run and a reach-only run.
+     */
+    bindingModules?: BindingModule[];
     /**
      * The validated root's identity, resolved by the validator from its project
      * configuration against the id its lock recorded, so the project-identity
@@ -7188,6 +7242,8 @@ interface BuildContextOptions {
     typeSpellingFacts?: TypeSpellingFacts;
     /** The bound project's declared externals with their lock entries and pinned snapshots (see RuleContext.pinnedExternals). */
     pinnedExternals?: PinnedExternal[];
+    /** The binding modules the implementations name, as read (see RuleContext.bindingModules); absent on a candidate run. */
+    bindingModules?: BindingModule[];
     /** 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). */
@@ -8041,6 +8097,25 @@ interface CodeModel {
      * Absent where no type checker was loaded.
      */
     reachedCalls?: Record<string, ResolvedCallFact[]>;
+    /**
+     * What each of the project's own source files the type checker read
+     * imports — the run's files and every project file they pull in, a helper
+     * module no spec names included — keyed by canonical path. What lets a rule
+     * read an unowned module's imports as its importer's. Absent where no type
+     * checker was loaded.
+     */
+    reachedImports?: Record<string, ModuleImports>;
+}
+/**
+ * module_imports — what one source file imports, as the type checker's module
+ * resolution answers it: the project files its specifiers resolve to, and the
+ * bare package specifiers that resolve to none of them.
+ */
+interface ModuleImports {
+    /** Each bare package specifier the file names (an import, an export-from, a require or a dynamic import), as written; never a relative path or a node: builtin. */
+    packages: string[];
+    /** Each project source file an import of the file resolves to, by canonical key. */
+    files: string[];
 }
 /**
  * code_model.pathKey — the canonical key form of a source path in the model:
@@ -8377,18 +8452,6 @@ declare function listRules(): SddRule[];
  * are never judged here: its gate judges them under its own configuration.
  */
 declare function validateProject(rulesOrOptions?: RulesConfig | ValidationOptions, projectType?: string): ValidationResult;
-/**
- * Validate the tree at FULL strictness — treating every spec as `complete`, so
- * the completeness rules that relax to warnings while draft/design apply as
- * errors — WITHOUT mutating anything on disk. This is the as-complete gate that
- * `wairon lock` and the hosting lock require: a draft tree can "pass" a normal
- * validate yet break the moment it is frozen, so lock must gate on this.
- *
- * The status flip lives inside validateProject (treatAllAsComplete) because
- * validation begins by invalidating the spec cache (clearLoaderIssues), which
- * would discard any objects mutated out here before the rules ever saw them —
- * exactly the silent degradation this wrapper previously suffered from.
- */
 declare function validateAsComplete(options?: ValidationOptions): ValidationResult;
 /**
  * ivalidator_portal.validateFamily — the family run: every selected project's
@@ -8568,6 +8631,39 @@ interface ProjectApproval {
     contentDigest?: string;
     /** The commit a part or a referenced project member was read at, when known — provenance the lock records. */
     commit?: string;
+    /**
+     * Set when the identity no longer matches ONLY because the wairon release
+     * changed (family_validator.releaseVerdict): carried — approved, re-validated
+     * under this release — or not, drifted for exactly its findings. Never set
+     * together with upgraded.
+     */
+    release?: ReleaseVerdict;
+    /** On a drifted entry whose record carries gate parts: the inputs that moved (lock_record.movedGateParts). */
+    inputsMoved?: string[];
+}
+/**
+ * release_verdict — an approval whose gate identity moved only because the
+ * wairon release's built-in design doctrine did, judged by re-validating the
+ * approved design under the current rules instead of by digest.
+ */
+interface ReleaseVerdict {
+    /** The release the approval was taken under (the record's validatorVersion). */
+    from: string;
+    /** The release that re-validated it. */
+    to: string;
+    /** True when the re-validation is clean at the --ci standard: the approval carries over. */
+    carried: boolean;
+    /** How many findings fail the --ci standard; 0 when carried. */
+    count?: number;
+    /** The first few of them, `CODE [spec] message`. */
+    findings?: string[];
+}
+/** lock_restamp — provenance of a release stamp refreshed by `wairon lock` without a re-approval. */
+interface LockRestamp {
+    at: string;
+    fromVersion: string;
+    toVersion: string;
+    by: string;
 }
 
 /**
@@ -8654,6 +8750,18 @@ interface LockRecord {
      * human re-approving it.
      */
     reexpressed?: LockReexpression;
+    /**
+     * The digest of each input of the certified gate identity (StateId.parts):
+     * what lets a later check name the input that moved, and judge a change of
+     * the wairon release alone by re-validation instead of by digest. Absent on
+     * a record written before this release.
+     */
+    gateParts?: Record<string, string>;
+    /**
+     * Present when `wairon lock` refreshed the record's release stamp after the
+     * approved, unchanged design re-validated clean under a newer release.
+     */
+    restamped?: LockRestamp;
     /**
      * Each DIRECT member, keyed by alias → its composition subject and approval
      * state as they stood when this project locked. Present (possibly empty) on
@@ -9901,6 +10009,13 @@ declare function consumerReaches(consumer: ExternalConsumer, publicNames: readon
  * producer. Its specs stay those that reach the public name. Pure.
  */
 declare function narrowedToMember(consumer: ExternalConsumer, publicNames: readonly string[], member: string): ExternalConsumer;
+/**
+ * external_consumer.narrowedToUses — this consumer as a rename that moves
+ * something on several public names and members breaks it: narrowedTo applied
+ * to each (public name, member) pair it reaches, the narrowed uses merged;
+ * null when it reaches no pair. Pure.
+ */
+declare function narrowedToUses(consumer: ExternalConsumer, published: readonly ExportUse[]): ExternalConsumer | null;
 /**
  * project_family.bindExternal — one external declaration bound to its
  * producer the way the graph binds every declared external: its own problem,
@@ -14985,6 +15100,16 @@ declare const ImplementationSpecSchema: z.ZodObject<{
      * subsystem's other complete non-leaf implementations.
      */
     simPath: z.ZodOptional<z.ZodString>;
+    /**
+     * The hand-written binding modules (project-relative, N:1 sharing allowed)
+     * through which this realization reaches another project's code: a typed
+     * binding to a native library, a client stub declaring a producer's
+     * functions and types. Code linkage, outside the approval like sourcePath.
+     * Binding conformance compares each with the pinned snapshots of the
+     * externals the component reaches, so a re-pin that renames, removes or
+     * reshapes a name the binding still declares is reported.
+     */
+    bindings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     /**
      * External technologies (vendor, engine, SDK, service) this implementation
      * binds to — e.g. ["mysql"], ["sendgrid"]. Declaring one makes this
@@ -15620,6 +15745,7 @@ declare const ImplementationSpecSchema: z.ZodObject<{
     ext?: Record<string, unknown> | undefined;
     detail?: "full" | "calls-only" | "intent" | undefined;
     simPath?: string | undefined;
+    bindings?: string[] | undefined;
     technologies?: (string | {
         name: string;
         matches: string[];
@@ -15699,6 +15825,7 @@ declare const ImplementationSpecSchema: z.ZodObject<{
     ext?: Record<string, unknown> | undefined;
     detail?: "full" | "calls-only" | "intent" | undefined;
     simPath?: string | undefined;
+    bindings?: string[] | undefined;
     technologies?: (string | {
         name: string;
         matches: string[];
@@ -16962,7 +17089,7 @@ declare function typeSourceFiles(type: Pick<TypeSpec, 'sourcePath'> & {
 /** 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 linkage: readonly ["sourcePath", "simPath", "bindings", "router", "injectedParams", "conformance", "createdAt", "updatedAt"];
         readonly readiness: readonly ["status"];
         readonly design: readonly ["id", "name", "description", "contract", "technologies", "methods", "detail", "previousIds", "lint", "ext"];
     };
@@ -17059,6 +17186,16 @@ declare const SCHEMA_OF_KIND: {
          * subsystem's other complete non-leaf implementations.
          */
         simPath: z.ZodOptional<z.ZodString>;
+        /**
+         * The hand-written binding modules (project-relative, N:1 sharing allowed)
+         * through which this realization reaches another project's code: a typed
+         * binding to a native library, a client stub declaring a producer's
+         * functions and types. Code linkage, outside the approval like sourcePath.
+         * Binding conformance compares each with the pinned snapshots of the
+         * externals the component reaches, so a re-pin that renames, removes or
+         * reshapes a name the binding still declares is reported.
+         */
+        bindings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         /**
          * External technologies (vendor, engine, SDK, service) this implementation
          * binds to — e.g. ["mysql"], ["sendgrid"]. Declaring one makes this
@@ -17694,6 +17831,7 @@ declare const SCHEMA_OF_KIND: {
         ext?: Record<string, unknown> | undefined;
         detail?: "full" | "calls-only" | "intent" | undefined;
         simPath?: string | undefined;
+        bindings?: string[] | undefined;
         technologies?: (string | {
             name: string;
             matches: string[];
@@ -17773,6 +17911,7 @@ declare const SCHEMA_OF_KIND: {
         ext?: Record<string, unknown> | undefined;
         detail?: "full" | "calls-only" | "intent" | undefined;
         simPath?: string | undefined;
+        bindings?: string[] | undefined;
         technologies?: (string | {
             name: string;
             matches: string[];
@@ -42133,7 +42272,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.110";
+declare const WAIRON_VERSION = "5.1.1-dev.111";
 declare const GITHUB_REPO = "SYW-Apps/Waffle-AIron";
 declare const ARCHITECT_AGENT_ID = "agent-architect";
 declare const ARCHITECT_TEMPLATE_ID = "architect";
@@ -42460,6 +42599,8 @@ interface ComponentRename {
      * and every consumer's pin stay as they were. Empty when none derived it.
      */
     keptPublicNames: string[];
+    /** True when this report is a dry run: nothing was written. */
+    dryRun?: boolean;
 }
 /**
  * Rename a component and every reference to it in the bound tree. The interface
@@ -42472,7 +42613,7 @@ interface ComponentRename {
  * id — or the interface or implementation id it implies — already in use
  * (id-taken).
  */
-declare function renameComponent(componentId: string, newId: string): ComponentRename;
+declare function renameComponent(componentId: string, newId: string, dryRun?: boolean): ComponentRename;
 /** What renaming a contract method changed (method_rename). */
 interface MethodRename {
     /** The component whose method was renamed. */
@@ -42533,8 +42674,10 @@ interface TypeRename {
     keptPublicNames: string[];
     /** 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. */
+    dryRun?: boolean;
 }
-declare function renameType(typeId: string, newId: string): TypeRename;
+declare function renameType(typeId: string, newId: string, dryRun?: boolean): 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. */
@@ -42545,6 +42688,16 @@ interface FieldRename {
     to: string;
     /** Ids of the other specs whose references to the field were respelled. */
     rewritten: string[];
+    /**
+     * Every public name a consumer reaches the field through, with the members
+     * carrying it: an exported type that is, or embeds, the renamed type (member
+     * `type`), and an exported contract whose methods name such a type.
+     */
+    publishedIn: ExportUse[];
+    /** True when this report is a dry run: nothing was written. */
+    dryRun?: boolean;
+    /** The consumers whose specs reach a member of publishedIn: the ones whose code reading the old name breaks. Filled by the caller that read them. */
+    breaks?: ExternalConsumer[];
 }
 /**
  * Rename a field of a type and every reference to it in the bound tree
@@ -42558,7 +42711,7 @@ interface FieldRename {
  * (invalid-name), and a name another field holds or retired (name-taken,
  * name-retired).
  */
-declare function renameField(typeId: string, field: string, newName: string): FieldRename;
+declare function renameField(typeId: string, field: string, newName: string, dryRun?: boolean): FieldRename;
 /** What renaming a parameter of a contract method changed (param_rename). */
 interface ParamRename {
     /** The component whose contract method's parameter moved. */
@@ -42571,8 +42724,14 @@ interface ParamRename {
     to: string;
     /** Ids of the interfaces the parameter was renamed in. */
     movedIn: string[];
-    /** The endpoint path placeholders respelled, `<interface>.<method>: {old} -> {new}`. */
+    /** The endpoint path placeholders respelled, `<interface>.<method>: {old} -> {new}` — the method's own bindings and every follower's that takes its signature through signatureFrom. */
     rewritten: string[];
+    /** The public names of the export entries (L0 and L1) whose contract carries the method. */
+    publishedIn: string[];
+    /** True when this report is a dry run: nothing was written. */
+    dryRun?: boolean;
+    /** The consumers whose specs call the method on one of publishedIn: the ones that must follow. Filled by the caller that read them. */
+    breaks?: ExternalConsumer[];
 }
 /**
  * Rename a parameter of a contract method (core_orchestrator.renameParam). The
@@ -42585,7 +42744,7 @@ interface ParamRename {
  * chained-component, method-missing, param-missing, invalid-name, name-taken
  * and name-retired.
  */
-declare function renameParam(componentId: string, methodName: string, param: string, newName: string): ParamRename;
+declare function renameParam(componentId: string, methodName: string, param: string, newName: string, dryRun?: boolean): ParamRename;
 /**
  * core_orchestrator.moveMountToMembers — move one legacy L1 mount of the bound
  * project into its `members`: its projectPath as the member's path and its
@@ -43176,6 +43335,12 @@ type GuideScope = 'global' | 'local';
  * Creates the file and any parent directories if they don't exist.
  */
 declare function injectGuide(filePath: string, scope: GuideScope): void;
+/**
+ * ai_tool_guide.writeDelegator — write wairon's block of a target's
+ * repository-root pointer file between the root markers, keeping every byte
+ * of the user's own text, migrating an earlier release's unmarked pointer.
+ * Written only when the content changed.
+ */
 declare function writeRootGuideDelegator(projectRoot: string, targetType: string): void;
 /**
  * Re-inject the project-LOCAL wairon guide for each active target and refresh
@@ -43214,6 +43379,14 @@ declare function hasContext(): boolean;
  * wrote, and would report them stale for having no stamp.
  */
 declare function derivedDocPaths(): string[];
+/**
+ * context_composer.staleDocs — the derived documents whose content differs
+ * from what a regenerate would write now (line endings aside): a file stamped
+ * by this very release can still be stale in content — the project context it
+ * embeds, the domain map. A missing file is not stale here (the caller reports
+ * it missing). Read-only.
+ */
+declare function staleDerivedDocs(): string[];
 interface SyncResult {
     domainsUpdated: boolean;
     guideUpdated: boolean;
@@ -43668,4 +43841,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 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 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 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 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 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, 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, specIndexRetiredBy, specPathsInScope, splitNamespace, 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 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 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 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 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, specIndexRetiredBy, 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 };