type AccessRule = RuleOf<"Access">

export interface Context {
  readonly model: EffectModel
  readonly input: LiftInput
  readonly files: ReadonlyMap<string, SourceFileRecord>
  readonly filesByModule: ReadonlyMap<string, SourceFileRecord>
  readonly schemaFacts: ReadonlyMap<string, SchemaFact>
  readonly markers: ReadonlyMap<string, MiddlewareFact>
  readonly values: ReadonlyMap<string, ValueRecord>
  readonly localValues: ReadonlyMap<string, LocalValueRecord>
  readonly localCalls: ReadonlyMap<string, LocalValueCall>
  readonly wrappers: ReadonlyMap<string, WrapperFact>
  readonly successRules: ReadonlyMap<string, SuccessRule>
  readonly noSchemaRules: ReadonlyMap<string, NoSchemaRule>
  readonly problemRules: ReadonlyArray<ProblemRule>
  readonly metadataRules: ReadonlyArray<MetadataRule>
  readonly accessRules: ReadonlyArray<AccessRule>
  /** Definition records by reference identity (both the definition's own ref and its effect key's). */
  readonly definitionsByRef: ReadonlyMap<string, DefinitionRecord>
  /** Definition records by annotation name. */
  readonly definitionsByName: ReadonlyMap<string, DefinitionRecord>
  /** The selected definition-owned hooks the caller composed with `liftRegistryOf`. */
  readonly registry: LiftRegistry
  /** Names already taken per file, extended as exports are planned (collision-free by construction). */
  readonly taken: Map<string, Set<string>>
  /** Successful extraction plans shared by every consumer of the same resolved union. */
  readonly codePlans: Map<string, { readonly refactors: ReadonlyArray<Refactor>; readonly reference: CodeReference }>
}

type MetadataRule = RuleOf<"Metadata">

type NoSchemaRule = RuleOf<"NoSchemaSuccess">

type Position = "structure" | "channel" | "success" | "problems" | "metadata" | "access"

type ProblemRule = RuleOf<"ProblemRegistry">

type SuccessRule = RuleOf<"SuccessWrapper">

declare const claimName: (ctx: Context, file: SourceFileRecord, name: string) => void

declare const findingCause: (ctx: Context, subject: string, position: Position, finding: Finding) => Cause

declare const freeName: (ctx: Context, file: SourceFileRecord, preferred: string) => string

declare const groupPart: (group: string) => string

declare const isDeclared: (file: SourceFileRecord, name: string) => boolean

declare const localDeclarationIdentity: (id: LocalDeclarationId) => string

declare const makeContext: (model: EffectModel, input: LiftInput, registry: LiftRegistry) => Context

declare const nameOfSymbol: (ref: SymbolRef) => string

declare const plannedSchemaRef: (file: SourceFileRecord, name: string) => Result.Result<SchemaRef, string>

declare const plannedSymbolRef: (file: SourceFileRecord, name: string) => SymbolRef

declare const reserveName: (ctx: Context, file: SourceFileRecord, preferred: string) => string

declare const restoreTaken: (ctx: Context, snapshot: ReadonlyMap<string, ReadonlySet<string>>) => void

declare const snapshotTaken: (ctx: Context) => ReadonlyMap<string, ReadonlySet<string>>

declare const sourceRangeIdentity: (range: SourceRange) => string

declare const stripSuffix: (name: string, suffix: string) => string

declare const subjectOf: (group: string, key: Option.Option<string>, symbol: SymbolRef) => string

declare const unrecognized: (subject: string, at: SourceRange, construct: string) => Cause

declare const upperFirst: (name: string) => string