@suss/extractor 0.34.1 → 0.35.1

package/dist/index.d.cts

@@ -1008,6 +1008,12 @@ type TerminalMatch = {
      */
     type: "parameterCall";
     parameterPosition: number;
+    /**
+     * The parameter belongs to the function this unit is written
+     * inside, the way a wrapper factory's closure calls the handler
+     * the factory was given.
+     */
+    ofEnclosingFunction?: boolean;
 };
 interface TerminalExtraction {
     statusCode?: {
@@ -2605,17 +2611,45 @@ interface LanguageAdapter {
     extractAll(): Promise<BehavioralSummary[]>;
 }
 
+/**
+ * The code hash a cache key uses for an adapter or a pack: a hash of its
+ * built file and of every file that file loads from suss's own packages.
+ *
+ * An adapter runs the value evaluator and the resolution rules, and a pack
+ * runs the compiler for its declarations, so the hash follows the import
+ * statements in the built files outward and a rebuild of any package it
+ * reaches changes it. A chunk the bundler split out is a relative import
+ * and is followed too. Imports of other libraries are not followed.
+ *
+ * A package is resolved from the file that imports it, with the export
+ * conditions of that import, so the hash covers the build the process
+ * loaded and not its CommonJS twin.
+ */
+interface CodeHasher {
+    /** The files the code hash reads for `entryFile`, that file first. */
+    codeFiles(entryFile: string): string[];
+    /** Empty when `entryFile` cannot be read, the same as a run from source. */
+    codeHash(entryFile: string): string;
+}
+/** A hasher reads each file once and keeps what it found. */
+declare function createCodeHasher(): CodeHasher;
+/**
+ * The hasher an adapter and the packs of one process share. A process
+ * loads each module once, so what it read stays true for the process.
+ */
+declare const processCodeHasher: CodeHasher;
+
 /**
  * The language-neutral half of an adapter's cache key.
  *
  * Each adapter calls `createAdapterStamp` once, with its own
  * `import.meta.url` and its hand-bumped version, and keeps the result for
  * the life of the process. The stamp hashes the adapter's dist file and
- * every analysis package shipped with it (this package, `@suss/resolution`,
- * `@suss/datalog`, `@suss/behavioral-ir`). A release that changes any of
- * them invalidates an older cache, and so does a local rebuild, with no
- * version bump. Running from source leaves no dist file to hash, so that
- * mode turns the cache off. This package's DESIGN.md describes the cache.
+ * every file it loads from suss's own packages, found by following its
+ * imports. A release that changes any of them invalidates an older cache,
+ * and so does a local rebuild, with no version bump. Running from source
+ * leaves no dist file to hash, so that mode turns the cache off. This
+ * package's DESIGN.md describes the cache.
  */
 
 /**
@@ -2659,11 +2693,11 @@ declare function createAdapterStamp(config: {
     version: string;
 }): AdapterStamp;
 /**
- * The hash for a bundle directory: the bundle itself plus every analysis
- * package that can be located. Empty when the directory has no bundle in
+ * The hash for a bundle directory: the bundle itself plus every file it
+ * loads from suss's packages. Empty when the directory has no bundle in
  * it, as happens when running from source.
  */
-declare function computeDistHashFrom(dir: string): string;
+declare function computeDistHashFrom(dir: string, hasher?: CodeHasher): string;
 /**
  * Content hash of the given files, in the order they arrive. Empty when
  * the list is empty or a file cannot be read, so a caller that could not
@@ -2728,12 +2762,12 @@ declare function runDigest(packsDigest: string, packs: ReadonlyArray<{
  * A run reuses the previous run's summaries whole when nothing changed,
  * and per file when some files did. The entry directory's name is a hash
  * of the schema version, the adapter and packs digest, and the config
- * path, so two builds that disagree on any of them never read each
- * other's entry. The manifest inside records a stamp and content hash per
- * file, the files each summary belongs to, and for each of those files the
- * other files its walk read. An adapter can store its own data on a file's
- * record through `meta`, which the cache never reads. The package's
- * design notes describe the cache in full.
+ * path. The manifest inside records a stamp and content hash per file,
+ * the files each summary belongs to, and the other files each walk read.
+ * The summaries are in one shard per source file, beside an index of the
+ * boundaries and calls in each. An adapter's own data on a file's record,
+ * `meta`, goes in a file of its own, and the cache never reads it. The
+ * package's design notes describe the cache in full.
  */
 
 /**
@@ -2885,6 +2919,12 @@ interface CacheInput {
      */
     configPath?: string;
 }
+/**
+ * Each summary owned by the walked file it is written in, or by no file
+ * when it is written outside every walked file. For an adapter that
+ * replays its own per-file records rather than calling `reuse`.
+ */
+declare function ownersWhereWritten(summaries: readonly BehavioralSummary[], walkedFileOf: (locationFile: string) => string | undefined): string[][];
 /**
  * A cache layer rooted at `cacheDir`. With `null`, every lookup misses and
  * `write` does nothing, for a one-shot extract where the cache would only
@@ -2892,6 +2932,28 @@ interface CacheInput {
  */
 declare function createCacheLayer<Meta = unknown, UnitData = unknown>(cacheDir: string | null): CacheLayer<Meta, UnitData>;
 
+/**
+ * Where suss keeps the files it writes for itself while it reads a
+ * project: the extraction cache, and the record the MCP server leaves for
+ * the plugin's hooks.
+ *
+ * By default they go under `.suss` in the project, which fails in a
+ * checkout the process may only read. `SUSS_CACHE_DIR` moves them
+ * somewhere else. The `--cache-dir` flag and the MCP server's argument
+ * set the same variable for the process, so one setting reaches every
+ * adapter and a flag wins over the variable already in the environment.
+ *
+ * Several projects can share one chosen directory, so each project gets a
+ * subdirectory whose name is a hash of its path.
+ */
+declare const CACHE_DIR_ENV = "SUSS_CACHE_DIR";
+/** The directory the environment names, made absolute, or null when it names none. */
+declare function chosenCacheRoot(): string | null;
+/** The extraction cache for the files read under `projectDir`. */
+declare function extractionCacheDirFor(projectDir: string): string;
+/** The file where the server for `projectDir` says how to reach it. */
+declare function liveRecordFor(projectDir: string): string;
+
 /**
  * Whether a write after `statAt` could leave this file's mtime and size
  * where the stat saw them, because its last change was that recent.
@@ -3215,6 +3277,26 @@ interface PackGradient {
 }
 /** The gradient for every pack in a run that declared anything. */
 declare function packGradients(report: ExtractionReport): PackGradient[];
+/**
+ * A pack the run asked for that reads nothing until a project option is
+ * set, such as the directory a GraphQL pack looks classes up under.
+ * `example` is a config file's JSON text with a value that works for a
+ * project laid out the way the library's generator leaves it.
+ */
+interface PackConfigNeed {
+    pack: string;
+    option: string;
+    example: string;
+}
+/**
+ * Packs the run left out because their option was missing.
+ *
+ * Without the option the pack has no way to find anything, and the rest
+ * of the run looks the same as it would for a project the pack has
+ * nothing to say about. The pack is not part of the extraction report,
+ * since it never ran, so the caller passes these in.
+ */
+declare function packConfigCheck(needs: ReadonlyArray<PackConfigNeed>): HealthCheck;
 /**
  * Run every health check over one extraction report and return what
  * fired, grouped by which check caught it.
@@ -3907,4 +3989,4 @@ declare function rawConditionToPredicate(c: RawCondition): Predicate;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type ArgumentParser, type AstCapableOps, type BindingExtraction, type BodyContent, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChildrenOf, type ChosenReading, type ClassOps, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DeclaredModule, type DeclaredStatusDecorators, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, EnclosingNodes, type ExitKind, type ExtractionConfig, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type GlobalPrefixCall, type HandOffSite, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type KeepsArms, KeptParses, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_HELPER_PATHS, MAX_PATHS, MODULE_SURFACE_RECOGNITION, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type ParameterSupplier, type ParsedNode, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawProvenance, type RawTerminal, type Reading, type ReceiverOrigin, type RedirectDelivery, type RedirectOption, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, type RouteVersioning, SKIP_CHILDREN, type SettledModule, type SourceRange, type SourceSpelling, type StatedSlot, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TestCaseMatch, type Timer, type TimingReport, type TransparentWrapper, type UnitRecord, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type VersionPlacement, type WalkEnd, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, commonDirectoryOf, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, extractionConfigStamp, firstWrittenReading, formatPackHealth, guardsHoldOn, helperPathsOnVariables, httpRouteDiscovery, isListedTestFile, makeIgnoredDirectory, makeTransitionId, mapReading, markReturnsAsExitCode, matchesTestFileName, mergeReadShapes, moduleInitStructure, moduleOfFile, noopTimer, packGradients, paramToInput, projectFileStamp, rawConditionToPredicate, recordPackFailure, redirectDeliveryWhenSet, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, settleModules, sharedGatingConditions, sourceRefsOf, splitAtHandOffs, stampMayMissAWrite, stampModuleImports, stampModules, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, throughHelper, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };
+export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type ArgumentParser, type AstCapableOps, type BindingExtraction, type BodyContent, CACHE_DIR_ENV, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChildrenOf, type ChosenReading, type ClassOps, type CodeHasher, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DeclaredModule, type DeclaredStatusDecorators, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, EnclosingNodes, type ExitKind, type ExtractionConfig, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type GlobalPrefixCall, type HandOffSite, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type KeepsArms, KeptParses, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_HELPER_PATHS, MAX_PATHS, MODULE_SURFACE_RECOGNITION, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackConfigNeed, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type ParameterSupplier, type ParsedNode, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawProvenance, type RawTerminal, type Reading, type ReceiverOrigin, type RedirectDelivery, type RedirectOption, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, type RouteVersioning, SKIP_CHILDREN, type SettledModule, type SourceRange, type SourceSpelling, type StatedSlot, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TestCaseMatch, type Timer, type TimingReport, type TransparentWrapper, type UnitRecord, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type VersionPlacement, type WalkEnd, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, chosenCacheRoot, commonDirectoryOf, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createCodeHasher, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, extractionCacheDirFor, extractionConfigStamp, firstWrittenReading, formatPackHealth, guardsHoldOn, helperPathsOnVariables, httpRouteDiscovery, isListedTestFile, liveRecordFor, makeIgnoredDirectory, makeTransitionId, mapReading, markReturnsAsExitCode, matchesTestFileName, mergeReadShapes, moduleInitStructure, moduleOfFile, noopTimer, ownersWhereWritten, packConfigCheck, packGradients, paramToInput, processCodeHasher, projectFileStamp, rawConditionToPredicate, recordPackFailure, redirectDeliveryWhenSet, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, settleModules, sharedGatingConditions, sourceRefsOf, splitAtHandOffs, stampMayMissAWrite, stampModuleImports, stampModules, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, throughHelper, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };

package/dist/index.d.ts

@@ -1008,6 +1008,12 @@ type TerminalMatch = {
      */
     type: "parameterCall";
     parameterPosition: number;
+    /**
+     * The parameter belongs to the function this unit is written
+     * inside, the way a wrapper factory's closure calls the handler
+     * the factory was given.
+     */
+    ofEnclosingFunction?: boolean;
 };
 interface TerminalExtraction {
     statusCode?: {
@@ -2605,17 +2611,45 @@ interface LanguageAdapter {
     extractAll(): Promise<BehavioralSummary[]>;
 }
 
+/**
+ * The code hash a cache key uses for an adapter or a pack: a hash of its
+ * built file and of every file that file loads from suss's own packages.
+ *
+ * An adapter runs the value evaluator and the resolution rules, and a pack
+ * runs the compiler for its declarations, so the hash follows the import
+ * statements in the built files outward and a rebuild of any package it
+ * reaches changes it. A chunk the bundler split out is a relative import
+ * and is followed too. Imports of other libraries are not followed.
+ *
+ * A package is resolved from the file that imports it, with the export
+ * conditions of that import, so the hash covers the build the process
+ * loaded and not its CommonJS twin.
+ */
+interface CodeHasher {
+    /** The files the code hash reads for `entryFile`, that file first. */
+    codeFiles(entryFile: string): string[];
+    /** Empty when `entryFile` cannot be read, the same as a run from source. */
+    codeHash(entryFile: string): string;
+}
+/** A hasher reads each file once and keeps what it found. */
+declare function createCodeHasher(): CodeHasher;
+/**
+ * The hasher an adapter and the packs of one process share. A process
+ * loads each module once, so what it read stays true for the process.
+ */
+declare const processCodeHasher: CodeHasher;
+
 /**
  * The language-neutral half of an adapter's cache key.
  *
  * Each adapter calls `createAdapterStamp` once, with its own
  * `import.meta.url` and its hand-bumped version, and keeps the result for
  * the life of the process. The stamp hashes the adapter's dist file and
- * every analysis package shipped with it (this package, `@suss/resolution`,
- * `@suss/datalog`, `@suss/behavioral-ir`). A release that changes any of
- * them invalidates an older cache, and so does a local rebuild, with no
- * version bump. Running from source leaves no dist file to hash, so that
- * mode turns the cache off. This package's DESIGN.md describes the cache.
+ * every file it loads from suss's own packages, found by following its
+ * imports. A release that changes any of them invalidates an older cache,
+ * and so does a local rebuild, with no version bump. Running from source
+ * leaves no dist file to hash, so that mode turns the cache off. This
+ * package's DESIGN.md describes the cache.
  */
 
 /**
@@ -2659,11 +2693,11 @@ declare function createAdapterStamp(config: {
     version: string;
 }): AdapterStamp;
 /**
- * The hash for a bundle directory: the bundle itself plus every analysis
- * package that can be located. Empty when the directory has no bundle in
+ * The hash for a bundle directory: the bundle itself plus every file it
+ * loads from suss's packages. Empty when the directory has no bundle in
  * it, as happens when running from source.
  */
-declare function computeDistHashFrom(dir: string): string;
+declare function computeDistHashFrom(dir: string, hasher?: CodeHasher): string;
 /**
  * Content hash of the given files, in the order they arrive. Empty when
  * the list is empty or a file cannot be read, so a caller that could not
@@ -2728,12 +2762,12 @@ declare function runDigest(packsDigest: string, packs: ReadonlyArray<{
  * A run reuses the previous run's summaries whole when nothing changed,
  * and per file when some files did. The entry directory's name is a hash
  * of the schema version, the adapter and packs digest, and the config
- * path, so two builds that disagree on any of them never read each
- * other's entry. The manifest inside records a stamp and content hash per
- * file, the files each summary belongs to, and for each of those files the
- * other files its walk read. An adapter can store its own data on a file's
- * record through `meta`, which the cache never reads. The package's
- * design notes describe the cache in full.
+ * path. The manifest inside records a stamp and content hash per file,
+ * the files each summary belongs to, and the other files each walk read.
+ * The summaries are in one shard per source file, beside an index of the
+ * boundaries and calls in each. An adapter's own data on a file's record,
+ * `meta`, goes in a file of its own, and the cache never reads it. The
+ * package's design notes describe the cache in full.
  */
 
 /**
@@ -2885,6 +2919,12 @@ interface CacheInput {
      */
     configPath?: string;
 }
+/**
+ * Each summary owned by the walked file it is written in, or by no file
+ * when it is written outside every walked file. For an adapter that
+ * replays its own per-file records rather than calling `reuse`.
+ */
+declare function ownersWhereWritten(summaries: readonly BehavioralSummary[], walkedFileOf: (locationFile: string) => string | undefined): string[][];
 /**
  * A cache layer rooted at `cacheDir`. With `null`, every lookup misses and
  * `write` does nothing, for a one-shot extract where the cache would only
@@ -2892,6 +2932,28 @@ interface CacheInput {
  */
 declare function createCacheLayer<Meta = unknown, UnitData = unknown>(cacheDir: string | null): CacheLayer<Meta, UnitData>;
 
+/**
+ * Where suss keeps the files it writes for itself while it reads a
+ * project: the extraction cache, and the record the MCP server leaves for
+ * the plugin's hooks.
+ *
+ * By default they go under `.suss` in the project, which fails in a
+ * checkout the process may only read. `SUSS_CACHE_DIR` moves them
+ * somewhere else. The `--cache-dir` flag and the MCP server's argument
+ * set the same variable for the process, so one setting reaches every
+ * adapter and a flag wins over the variable already in the environment.
+ *
+ * Several projects can share one chosen directory, so each project gets a
+ * subdirectory whose name is a hash of its path.
+ */
+declare const CACHE_DIR_ENV = "SUSS_CACHE_DIR";
+/** The directory the environment names, made absolute, or null when it names none. */
+declare function chosenCacheRoot(): string | null;
+/** The extraction cache for the files read under `projectDir`. */
+declare function extractionCacheDirFor(projectDir: string): string;
+/** The file where the server for `projectDir` says how to reach it. */
+declare function liveRecordFor(projectDir: string): string;
+
 /**
  * Whether a write after `statAt` could leave this file's mtime and size
  * where the stat saw them, because its last change was that recent.
@@ -3215,6 +3277,26 @@ interface PackGradient {
 }
 /** The gradient for every pack in a run that declared anything. */
 declare function packGradients(report: ExtractionReport): PackGradient[];
+/**
+ * A pack the run asked for that reads nothing until a project option is
+ * set, such as the directory a GraphQL pack looks classes up under.
+ * `example` is a config file's JSON text with a value that works for a
+ * project laid out the way the library's generator leaves it.
+ */
+interface PackConfigNeed {
+    pack: string;
+    option: string;
+    example: string;
+}
+/**
+ * Packs the run left out because their option was missing.
+ *
+ * Without the option the pack has no way to find anything, and the rest
+ * of the run looks the same as it would for a project the pack has
+ * nothing to say about. The pack is not part of the extraction report,
+ * since it never ran, so the caller passes these in.
+ */
+declare function packConfigCheck(needs: ReadonlyArray<PackConfigNeed>): HealthCheck;
 /**
  * Run every health check over one extraction report and return what
  * fired, grouped by which check caught it.
@@ -3907,4 +3989,4 @@ declare function rawConditionToPredicate(c: RawCondition): Predicate;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type ArgumentParser, type AstCapableOps, type BindingExtraction, type BodyContent, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChildrenOf, type ChosenReading, type ClassOps, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DeclaredModule, type DeclaredStatusDecorators, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, EnclosingNodes, type ExitKind, type ExtractionConfig, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type GlobalPrefixCall, type HandOffSite, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type KeepsArms, KeptParses, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_HELPER_PATHS, MAX_PATHS, MODULE_SURFACE_RECOGNITION, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type ParameterSupplier, type ParsedNode, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawProvenance, type RawTerminal, type Reading, type ReceiverOrigin, type RedirectDelivery, type RedirectOption, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, type RouteVersioning, SKIP_CHILDREN, type SettledModule, type SourceRange, type SourceSpelling, type StatedSlot, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TestCaseMatch, type Timer, type TimingReport, type TransparentWrapper, type UnitRecord, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type VersionPlacement, type WalkEnd, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, commonDirectoryOf, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, extractionConfigStamp, firstWrittenReading, formatPackHealth, guardsHoldOn, helperPathsOnVariables, httpRouteDiscovery, isListedTestFile, makeIgnoredDirectory, makeTransitionId, mapReading, markReturnsAsExitCode, matchesTestFileName, mergeReadShapes, moduleInitStructure, moduleOfFile, noopTimer, packGradients, paramToInput, projectFileStamp, rawConditionToPredicate, recordPackFailure, redirectDeliveryWhenSet, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, settleModules, sharedGatingConditions, sourceRefsOf, splitAtHandOffs, stampMayMissAWrite, stampModuleImports, stampModules, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, throughHelper, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };
+export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type ArgumentParser, type AstCapableOps, type BindingExtraction, type BodyContent, CACHE_DIR_ENV, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChildrenOf, type ChosenReading, type ClassOps, type CodeHasher, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DeclaredModule, type DeclaredStatusDecorators, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, EnclosingNodes, type ExitKind, type ExtractionConfig, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type GlobalPrefixCall, type HandOffSite, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type KeepsArms, KeptParses, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_HELPER_PATHS, MAX_PATHS, MODULE_SURFACE_RECOGNITION, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackConfigNeed, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type ParameterSupplier, type ParsedNode, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawProvenance, type RawTerminal, type Reading, type ReceiverOrigin, type RedirectDelivery, type RedirectOption, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, type RouteVersioning, SKIP_CHILDREN, type SettledModule, type SourceRange, type SourceSpelling, type StatedSlot, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TestCaseMatch, type Timer, type TimingReport, type TransparentWrapper, type UnitRecord, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type VersionPlacement, type WalkEnd, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, chosenCacheRoot, commonDirectoryOf, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createCodeHasher, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, extractionCacheDirFor, extractionConfigStamp, firstWrittenReading, formatPackHealth, guardsHoldOn, helperPathsOnVariables, httpRouteDiscovery, isListedTestFile, liveRecordFor, makeIgnoredDirectory, makeTransitionId, mapReading, markReturnsAsExitCode, matchesTestFileName, mergeReadShapes, moduleInitStructure, moduleOfFile, noopTimer, ownersWhereWritten, packConfigCheck, packGradients, paramToInput, processCodeHasher, projectFileStamp, rawConditionToPredicate, recordPackFailure, redirectDeliveryWhenSet, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, settleModules, sharedGatingConditions, sourceRefsOf, splitAtHandOffs, stampMayMissAWrite, stampModuleImports, stampModules, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, throughHelper, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };