limina 0.0.4 → 0.0.6

package/config.d.ts

@@ -23,7 +23,7 @@ type PipelineStep = string | {
   */
   args?: string[];
   /**
-  * Executable name, for example `pnpm`, `tsc`, or `vue-tsc`.
+  * Executable name, for example `pnpm`, `tsc`, `tsgo`, `vue-tsc`, or `vue-tsgo`.
   *
   * The command runs from the inferred workspace root unless `cwd` is set.
   */
@@ -55,8 +55,8 @@ type PipelineStep = string | {
 /**
 * Built-in task names understood by Limina pipelines.
 */
-type BuiltinTaskName = "checker:build" | "checker:typecheck" | "graph:check" | "package:check" | "proof:check" | "release:check" | "source:check";
-type BuiltinCheckerPreset = "svelte-check" | "tsc" | "vue-tsc";
+type BuiltinTaskName = "checker:build" | "checker:typecheck" | "graph:check" | "nx:check" | "package:check" | "proof:check" | "release:check" | "source:check";
+type BuiltinCheckerPreset = "svelte-check" | "tsc" | "tsgo" | "vue-tsc" | "vue-tsgo";
 type CheckerPreset = BuiltinCheckerPreset;
 type CheckerExecutionKind = "build" | "typecheck";
 /**
@@ -64,7 +64,7 @@ type CheckerExecutionKind = "build" | "typecheck";
 */
 interface CheckerConfig {
   /**
-  * Built-in checker preset, such as `tsc`, `vue-tsc`, or `svelte-check`.
+  * Built-in checker preset, such as `tsc`, `tsgo`, `vue-tsc`, `vue-tsgo`, or `svelte-check`.
   */
   preset: CheckerPreset;
   /**
@@ -79,90 +79,208 @@ interface ResolvedCheckerConfig {
   preset: CheckerPreset;
 }
 /**
-* Source boundary that must be covered by checker entries or allowlist proof.
+* Explicit exception for a declared workspace package dependency that is used
+* through generated code, runtime strings, or another path that Knip
+* dependency analysis cannot see.
+*/
+interface SourceKnipIgnoredDependencyConfig {
+  /**
+  * Declared workspace dependency package name.
+  */
+  dep: string;
+  /**
+  * Why the dependency is safe to keep even when Knip cannot prove it is
+  * reachable from package entries, binaries, or scripts.
+  */
+  reason: string;
+}
+/**
+* Explicit exception for a source module that is owned by a package but is
+* intentionally not reachable from Knip's package entry graph.
+*/
+interface SourceKnipIgnoredFileConfig {
+  /**
+  * Workspace-root-relative source module path.
+  */
+  file: string;
+  /**
+  * Why the source module is safe to keep even when Knip cannot prove it is
+  * reachable from package entries, binaries, or scripts.
+  */
+  reason: string;
+}
+/**
+* Additional source module entries for Knip's source reachability graph.
+*
+* Default entries come from package exports, package binaries, package scripts,
+* and Knip-supported plugin entries. Packages without package.json#exports are
+* treated as application-style owners: Limina provides the full governed source
+* module set as the entry surface and skips unused-file coverage for that
+* package. Use this only for extra entry modules loaded by test runners, local
+* tools, or build steps that should not become package exports.
+*/
+interface SourceKnipEntryConfig {
+  /**
+  * Workspace-root-relative file or glob patterns that Knip should treat as
+  * additional entries for the keyed package.
+  */
+  files: string[];
+  /**
+  * Why these modules are legitimate entries even though they are not package
+  * exports, binaries, scripts, or plugin-discovered entries.
+  */
+  reason: string;
+}
+/**
+* Explicit exception for a source module whose nearest bare tsconfig.json
+* cannot identify a unique ordinary typecheck owner.
+*/
+interface SourceTsconfigOwnershipIgnoreEntry {
+  /**
+  * Named package owner from package.json.
+  */
+  owner: string;
+  /**
+  * Workspace-root-relative file or glob patterns inside the owner package.
+  */
+  files: string[];
+  /**
+  * Why these modules may skip nearest-tsconfig ownership enforcement.
+  */
+  reason: string;
+}
+/**
+* Nearest bare tsconfig ownership settings.
+*/
+interface SourceTsconfigOwnershipConfig {
+  /**
+  * Package-owned source modules intentionally exempted from nearest bare
+  * tsconfig ownership enforcement.
+  */
+  ignore?: SourceTsconfigOwnershipIgnoreEntry[];
+}
+/**
+* Package-level Knip source analysis config interpreted by Limina.
+*/
+interface SourceKnipWorkspaceConfig {
+  /**
+  * Additional package-owned source modules Knip should treat as reachable
+  * roots. Limina disables Knip's implicit index/main/cli entry guessing by
+  * default; package manifest entries, scripts, plugin-discovered entries, and
+  * Limina virtual entries remain enabled.
+  */
+  entry?: SourceKnipEntryConfig[];
+  /**
+  * Declared workspace dependencies intentionally not visible through Knip's
+  * entry-reachable dependency graph.
+  */
+  ignoreDependencies?: SourceKnipIgnoredDependencyConfig[];
+  /**
+  * Package-owned source modules intentionally not visible through Knip's
+  * entry-reachable file graph.
+  */
+  ignoreFiles?: SourceKnipIgnoredFileConfig[];
+}
+/**
+* Knip-backed source analysis config interpreted by Limina.
+*/
+interface SourceKnipCheckConfig {
+  /**
+  * Package-specific Knip source analysis config keyed by workspace package
+  * name, such as "@example/app". Unknown package names fail source checks.
+  */
+  workspaces?: Record<string, SourceKnipWorkspaceConfig>;
+}
+/**
+* Source-owned dependency usage check settings.
+*/
+interface SourceCheckConfig {
+  /**
+  * Knip-backed unused dependency and unused source module analysis.
+  *
+  * `true` or omitted uses Limina's generated default config, `false` skips
+  * these Knip-backed checks, and an object configures Limina's semantic Knip
+  * source rules by workspace package name.
+  *
+  * @default true
+  */
+  knip?: boolean | SourceKnipCheckConfig;
+  /**
+  * Exceptions for source modules whose nearest bare tsconfig.json cannot
+  * resolve a unique ordinary typecheck owner.
+  */
+  tsconfigOwnership?: SourceTsconfigOwnershipConfig;
+}
+/**
+* Global source boundary used by proof checks.
 */
 interface SourceBoundaryConfig {
   /**
-  * Glob patterns for source files that need proof coverage.
+  * Glob patterns for source files that Limina should govern.
   *
-  * When omitted, Limina derives the source boundary from configured checker
-  * extensions and then applies `exclude`.
+  * When omitted, Limina uses TypeScript/JSON source defaults and adds
+  * framework extensions from configured checkers, such as `.vue` or
+  * `.svelte`.
   */
   include?: string[];
   /**
-  * Glob patterns or directory shorthands to omit from proof coverage.
+  * Glob patterns or directory shorthands to omit from source governance.
+  *
+  * When omitted, Limina reads the workspace root `.gitignore` and combines it
+  * with the built-in excludes below.
   *
   * @default: [
-  *   "node_modules",
+  *   "nx.json",
+  *   "project.json",
+  *   "tsconfig.json",
+  *   "**\/tsconfig.*.json",
   *   "dist",
+  *   ".nx",
   *   ".git",
   *   ".tsbuild",
   *   "coverage",
-  *   "**\/tsconfig*.json",
-  *   "**\/package.json",
-  *   ".prettierrc.json",
-  *   ".markdownlint.json",
-  *   "vercel.json",
+  *   "node_modules",
   * ]
   */
   exclude?: string[];
 }
 /**
-* Shared project facts used by graph, paths, proof, and related checks.
+* Shared project facts used by graph, proof, and related checks.
 */
 interface SharedLiminaConfig {
   /**
-  * Checker capabilities shared by graph, proof, paths, and tsc tasks.
+  * Checker capabilities shared by graph, proof, and tsc tasks.
   */
   checkers?: Record<string, CheckerConfig>;
   /**
-  * Source file boundary used by coverage proof.
+  * Global source file boundary used by proof checks.
   */
   source?: SourceBoundaryConfig;
 }
 /**
-* Options for generated TypeScript `paths` compatibility files.
+* Declaration leaf boundary denied to projects with a matching Limina label.
 */
-interface PathsConfig {
-  /**
-  * Directory names treated as build artifacts when mapping package exports
-  * back to source files.
-  */
-  artifactDirectories?: string[];
-  /**
-  * Export condition priority when resolving package exports.
-  *
-  * Put more specific conditions earlier when your package exports use several
-  * entries such as `types`, `import`, `node`, or `default`.
-  */
-  conditionPriority?: string[];
-  /**
-  * File name used for generated path mapping configs.
-  *
-  * @default "tsconfig.dts.paths.generated.json"
-  */
-  generatedFileName?: string;
+interface GraphRuleRefDenyEntry {
   /**
-  * Header marker written into generated files.
-  *
-  * Limina uses this to know which files it is allowed to refresh.
+  * Target `tsconfig*.dts.json` path, relative to the inferred workspace root.
   */
-  generatedFileMarker?: string;
+  path: string;
   /**
-  * Source extensions tried when replacing artifact exports with source files.
+  * Human-readable explanation shown when the rule fails.
   */
-  sourceExtensions?: string[];
+  reason: string;
 }
 /**
-* Declaration leaf boundary denied to projects with a matching Limina label.
+* Declaration leaf boundary explicitly allowed for projects with a matching
+* Limina graph rule when static import analysis cannot prove the edge.
 */
-interface GraphRuleRefDenyEntry {
+interface GraphRuleRefAllowEntry {
   /**
   * Target `tsconfig*.dts.json` path, relative to the inferred workspace root.
   */
   path: string;
   /**
-  * Human-readable explanation shown when the rule fails.
+  * Human-readable explanation documenting why this extra reference is safe.
   */
   reason: string;
 }
@@ -197,10 +315,24 @@ interface GraphRuleDenyConfig {
   deps?: GraphRuleDepDenyEntry[];
 }
 /**
+* Allow lists for a Limina graph label.
+*/
+interface GraphRuleAllowConfig {
+  /**
+  * Extra declaration leaf boundaries that matching projects may keep even
+  * when static import analysis cannot prove them.
+  */
+  refs?: GraphRuleRefAllowEntry[];
+}
+/**
 * Package-level graph governance rule keyed by a label declared in
 * `tsconfig*.dts.json`.
 */
 interface GraphRule {
+  /**
+  * Allowed graph boundaries that static analysis cannot prove.
+  */
+  allow?: GraphRuleAllowConfig;
   /**
   * Denied graph boundaries and workspace package dependencies.
   */
@@ -209,12 +341,31 @@ interface GraphRule {
 /**
 * TypeScript project graph policy.
 */
+interface GraphConditionDomain {
+  /**
+  * Human-readable domain name used in graph check reports.
+  */
+  name: string;
+  /**
+  * Domain entry `tsconfig*.dts.json` path, relative to the inferred workspace root.
+  */
+  entry: string;
+  /**
+  * Bundler/package condition names expected for this declaration reference tree.
+  */
+  customConditions: string[];
+}
 interface GraphConfig {
+  /**
+  * Real declaration resolution domains whose project references should share
+  * the configured custom conditions.
+  */
+  conditionDomains?: GraphConditionDomain[];
   /**
   * Label-based package and build-boundary access rules.
   *
-  * A `tsconfig*.dts.json` can opt into one rule by declaring
-  * `"limina": "<label>"`.
+  * A `tsconfig*.dts.json` can opt into one or more rules by declaring
+  * `liminaOptions.graphRules`.
   */
   rules?: Record<string, GraphRule>;
 }
@@ -256,7 +407,12 @@ type PackageAttwProfile = "esm-only" | "node16" | "strict";
 /**
 * publint package check settings.
 */
+type PackagePublintLevel = "error" | "suggestion" | "warning";
 interface PackagePublintCheckConfig {
+  /**
+  * Minimum publint message level to report.
+  */
+  level?: PackagePublintLevel;
   /**
   * Whether publint should run in strict mode.
   *
@@ -267,7 +423,36 @@ interface PackagePublintCheckConfig {
 /**
 * Are The Types Wrong package check settings.
 */
+type PackageAttwLevel = "error" | "warn";
+type PackageAttwIgnoreRule = "cjs-only-exports-default" | "cjs-resolves-to-esm" | "fallback-condition" | "false-cjs" | "false-esm" | "false-export-default" | "internal-resolution-error" | "missing-export-equals" | "named-exports" | "no-resolution" | "unexpected-module-syntax" | "untyped-resolution" | (string & {});
 interface PackageAttwCheckConfig {
+  /**
+  * Exhaustive list of package entrypoints to check. The package root is ".".
+  */
+  entrypoints?: string[];
+  /**
+  * Whether ATTW should consider all published files as entrypoints when no
+  * other entrypoints are detected or configured.
+  */
+  entrypointsLegacy?: boolean;
+  /**
+  * Entrypoints to exclude from checking.
+  */
+  excludeEntrypoints?: (string | RegExp)[];
+  /**
+  * Problem rule names to ignore.
+  */
+  ignoreRules?: PackageAttwIgnoreRule[];
+  /**
+  * Entrypoints to check in addition to automatically discovered ones.
+  */
+  includeEntrypoints?: string[];
+  /**
+  * Whether ATTW findings fail the package check or are logged as warnings.
+  *
+  * @default "error"
+  */
+  level?: PackageAttwLevel;
   /**
   * Problem profile to enforce.
   *
@@ -315,11 +500,11 @@ interface PackageEntry {
   /**
   * publint settings for this package output.
   */
-  publint?: PackagePublintCheckConfig;
+  publint?: boolean | PackagePublintCheckConfig;
   /**
   * Are The Types Wrong settings for this package output.
   */
-  attw?: PackageAttwCheckConfig;
+  attw?: boolean | PackageAttwCheckConfig;
   /**
   * Built package import boundary settings.
   */
@@ -334,10 +519,62 @@ interface PackageConfig {
   */
   entries?: PackageEntry[];
 }
+interface ReleaseContentHashConfigArgs {
+  /**
+  * Package currently being release-checked.
+  */
+  importerName: string;
+  /**
+  * Workspace dependency package being compared against npm.
+  */
+  dependencyName: string;
+}
+/**
+* Release dependency artifact content hash settings.
+*/
+interface ReleaseContentHashConfig {
+  /**
+  * npm dist-tag used as the online baseline for dependency package output.
+  *
+  * @default "latest"
+  */
+  baselineTag?: string | ((args: ReleaseContentHashConfigArgs) => string);
+  /**
+  * Use Limina's built-in dependency artifact ignore set as a fallback when
+  * `ignore` is omitted or returns `undefined`.
+  *
+  * @default false
+  */
+  builtinIgnore?: boolean;
+  /**
+  * Additional package-relative glob patterns ignored by dependency artifact
+  * content hashes.
+  */
+  ignore?: string[] | ((args: ReleaseContentHashConfigArgs) => string[] | undefined);
+}
+/**
+* Release check settings.
+*/
+interface ReleaseConfig {
+  /**
+  * Dependency artifact content hash comparison settings.
+  */
+  contentHash?: ReleaseContentHashConfig;
+}
 /**
 * Limina user config.
 */
 interface LiminaConfig {
+  /**
+  * Enable strict workspace modeling rules.
+  *
+  * Strict mode keeps the existing command surface but makes graph, proof,
+  * source, package, and release checks enforce the complete Limina workspace
+  * model.
+  *
+  * @default false
+  */
+  strict?: boolean;
   /**
   * Shared project facts, such as checker entries and source boundary.
   */
@@ -351,10 +588,6 @@ interface LiminaConfig {
   */
   package?: PackageConfig;
   /**
-  * Options for generating TypeScript source `paths` compatibility files.
-  */
-  paths?: PathsConfig;
-  /**
   * Named command pipelines runnable through `limina check <name>`.
   */
   pipelines?: Record<string, PipelineStep[]>;
@@ -362,17 +595,25 @@ interface LiminaConfig {
   * Rules that prove source files are covered by graph or checker entries.
   */
   proof?: ProofConfig;
+  /**
+  * Rules for release dependency artifact comparisons.
+  */
+  release?: ReleaseConfig;
+  /**
+  * Rules for source-owned dependency usage checks.
+  */
+  source?: SourceCheckConfig;
 }
 /**
 * CLI command currently loading the config.
 */
-type LiminaCommand = "check" | "graph" | "package" | "paths" | "proof" | "release" | "source" | (string & {});
+type LiminaCommand = "check" | "graph" | "nx" | "package" | "proof" | "release" | "source" | (string & {});
 /**
 * Environment passed to function-style configs.
 */
 interface LiminaConfigEnv {
   /**
-  * CLI command family, such as `check`, `graph`, or `paths`.
+  * CLI command family, such as `check`, `graph`, or `package`.
   */
   command: LiminaCommand;
   /**
@@ -408,6 +649,7 @@ declare function defineConfig(config: LiminaConfigFnObject): LiminaConfigFnObjec
 declare function defineConfig(config: LiminaConfigFnPromise): LiminaConfigFnPromise;
 declare function defineConfig(config: LiminaConfigFn): LiminaConfigFn;
 declare function validateLiminaConfig(config: LiminaConfig): void;
+declare function isStrictConfig(config: Pick<LiminaConfig, "strict">): boolean;
 declare function getActiveCheckers(config: LiminaConfig): ResolvedCheckerConfig[];
 declare function getActiveCheckerExtensions(config: LiminaConfig): string[];
 interface LoadConfigOptions {
@@ -438,4 +680,4 @@ interface LoadConfigOptions {
 }
 declare function loadConfig(options?: LoadConfigOptions): Promise<ResolvedLiminaConfig>;
 //#endregion
-export { BuiltinCheckerPreset, BuiltinTaskName, CheckerConfig, CheckerExecutionKind, CheckerPreset, GraphConfig, GraphRule, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTool, PackageCheckToolSelection, PackageConfig, PackageEntry, PackagePublintCheckConfig, PathsConfig, PipelineStep, ProofAllowlistEntry, ProofConfig, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig };
+export { BuiltinCheckerPreset, BuiltinTaskName, CheckerConfig, CheckerExecutionKind, CheckerPreset, GraphConditionDomain, GraphConfig, GraphRule, GraphRuleAllowConfig, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefAllowEntry, GraphRuleRefDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwIgnoreRule, PackageAttwLevel, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTool, PackageCheckToolSelection, PackageConfig, PackageEntry, PackagePublintCheckConfig, PackagePublintLevel, PipelineStep, ProofAllowlistEntry, ProofConfig, ReleaseConfig, ReleaseContentHashConfig, ReleaseContentHashConfigArgs, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, SourceCheckConfig, SourceKnipCheckConfig, SourceKnipEntryConfig, SourceKnipIgnoredDependencyConfig, SourceKnipIgnoredFileConfig, SourceKnipWorkspaceConfig, SourceTsconfigOwnershipConfig, SourceTsconfigOwnershipIgnoreEntry, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isStrictConfig, loadConfig, validateLiminaConfig };

package/config.js

@@ -1,4 +1,3 @@
-import "./chunks/dep-lkQg1P9Q.js";
-import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-DzYrmtQJ.js";
+import { a as loadConfig, i as isStrictConfig, n as getActiveCheckerExtensions, o as validateLiminaConfig, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-Ce6cDHmw.js";
 
-export { defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig };
+export { defineConfig, getActiveCheckerExtensions, getActiveCheckers, isStrictConfig, loadConfig, validateLiminaConfig };

package/index.d.ts

@@ -1,4 +1,4 @@
-import { BuiltinCheckerPreset, BuiltinTaskName, CheckerConfig, CheckerExecutionKind, CheckerPreset, GraphConfig, GraphRule, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTool, PackageCheckToolSelection, PackageConfig, PackageEntry, PackagePublintCheckConfig, PathsConfig, PipelineStep, ProofAllowlistEntry, ProofConfig, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig } from "./config.js";
+import { BuiltinCheckerPreset, BuiltinTaskName, CheckerConfig, CheckerExecutionKind, CheckerPreset, GraphConditionDomain, GraphConfig, GraphRule, GraphRuleAllowConfig, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefAllowEntry, GraphRuleRefDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwIgnoreRule, PackageAttwLevel, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTool, PackageCheckToolSelection, PackageConfig, PackageEntry, PackagePublintCheckConfig, PackagePublintLevel, PipelineStep, ProofAllowlistEntry, ProofConfig, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, SourceCheckConfig, SourceKnipCheckConfig, SourceKnipEntryConfig, SourceKnipIgnoredDependencyConfig, SourceKnipIgnoredFileConfig, SourceKnipWorkspaceConfig, defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig } from "./config.js";
 //#region src/flow.d.ts
 interface ClackLogAdapter {
   error: (message: string) => void;
@@ -62,6 +62,26 @@ declare class LiminaFlowReporter {
 }
 declare function createLiminaFlowReporter(options?: LiminaFlowReporterOptions): LiminaFlowReporter;
 //#endregion
+//#region src/commands/graph.d.ts
+interface RunGraphCheckOptions {
+  clearScreen?: boolean;
+  flow?: LiminaFlowReporter;
+  flowDepth?: number;
+}
+interface RunGraphSyncOptions {
+  clearScreen?: boolean;
+  cwd?: string;
+  entryPath?: string;
+  flow?: LiminaFlowReporter;
+  flowDepth?: number;
+}
+interface RunGraphSyncResult {
+  changed: boolean;
+  projectCount: number;
+}
+declare function runGraphCheck(config: ResolvedLiminaConfig, options?: RunGraphCheckOptions): Promise<boolean>;
+declare function runGraphSync(config: ResolvedLiminaConfig, options?: RunGraphSyncOptions): Promise<RunGraphSyncResult>;
+//#endregion
 //#region src/commands/init.d.ts
 interface RunInitOptions {
   clearScreen?: boolean;
@@ -146,4 +166,4 @@ declare function runCheckerTypecheck(options: RunCheckerTypecheckOptions): Promi
 //#region src/tsconfig.d.ts
 declare function isOrdinaryTypecheckConfigPath(configPath: string): boolean;
 //#endregion
-export { type BuiltinCheckerPreset, type BuiltinTaskName, type CheckerConfig, type CheckerExecutionKind, type CheckerPreset, type GraphConfig, type GraphRule, type GraphRuleDenyConfig, type GraphRuleDepDenyEntry, type GraphRuleRefDenyEntry, type LiminaCommand, type LiminaConfig, type LiminaConfigEnv, type LiminaConfigExport, type LiminaConfigFn, type LiminaConfigFnObject, type LiminaConfigFnPromise, type LiminaFlowFailureOptions, type LiminaFlowMessageOptions, type LiminaFlowOutputOptions, LiminaFlowReporter, type LiminaFlowReporterOptions, type LiminaFlowTask, type LoadConfigOptions, type PackageAttwCheckConfig, type PackageAttwProfile, type PackageBoundaryCheckConfig, type PackageCheckTool, type PackageCheckToolSelection, type PackageConfig, type PackageEntry, type PackagePublintCheckConfig, type PathsConfig, type PipelineStep, type ProofAllowlistEntry, type ProofConfig, type ResolvedCheckerConfig, type ResolvedLiminaConfig, type RunCheckerBuildOptions, type RunCheckerBuildResult, type RunCheckerTypecheckOptions, type RunCheckerTypecheckResult, type RunInitOptions, type RunInitResult, type RunSourceCheckOptions, type RuntimeEnvironment, type SharedLiminaConfig, type SourceBoundaryConfig, type TypecheckRunner, type TypecheckTarget, type TypecheckTargetResult, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runInit, runSourceCheck, validateLiminaConfig };
+export { type BuiltinCheckerPreset, type BuiltinTaskName, type CheckerConfig, type CheckerExecutionKind, type CheckerPreset, type GraphConditionDomain, type GraphConfig, type GraphRule, type GraphRuleAllowConfig, type GraphRuleDenyConfig, type GraphRuleDepDenyEntry, type GraphRuleRefAllowEntry, type GraphRuleRefDenyEntry, type LiminaCommand, type LiminaConfig, type LiminaConfigEnv, type LiminaConfigExport, type LiminaConfigFn, type LiminaConfigFnObject, type LiminaConfigFnPromise, type LiminaFlowFailureOptions, type LiminaFlowMessageOptions, type LiminaFlowOutputOptions, LiminaFlowReporter, type LiminaFlowReporterOptions, type LiminaFlowTask, type LoadConfigOptions, type PackageAttwCheckConfig, type PackageAttwIgnoreRule, type PackageAttwLevel, type PackageAttwProfile, type PackageBoundaryCheckConfig, type PackageCheckTool, type PackageCheckToolSelection, type PackageConfig, type PackageEntry, type PackagePublintCheckConfig, type PackagePublintLevel, type PipelineStep, type ProofAllowlistEntry, type ProofConfig, type ResolvedCheckerConfig, type ResolvedLiminaConfig, type RunCheckerBuildOptions, type RunCheckerBuildResult, type RunCheckerTypecheckOptions, type RunCheckerTypecheckResult, type RunGraphCheckOptions, type RunGraphSyncOptions, type RunGraphSyncResult, type RunInitOptions, type RunInitResult, type RunSourceCheckOptions, type RuntimeEnvironment, type SharedLiminaConfig, type SourceBoundaryConfig, type SourceCheckConfig, type SourceKnipCheckConfig, type SourceKnipEntryConfig, type SourceKnipIgnoredDependencyConfig, type SourceKnipIgnoredFileConfig, type SourceKnipWorkspaceConfig, type TypecheckRunner, type TypecheckTarget, type TypecheckTargetResult, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runGraphCheck, runGraphSync, runInit, runSourceCheck, validateLiminaConfig };

package/index.js

@@ -1,5 +1,4 @@
-import "./chunks/dep-lkQg1P9Q.js";
-import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-DzYrmtQJ.js";
-import { Y as isOrdinaryTypecheckConfigPath, a as runSourceCheck, i as runCheckerTypecheck, n as createLiminaFlowReporter, o as runInit, r as runCheckerBuild, t as LiminaFlowReporter } from "./chunks/dep-ZRIm_-Zk.js";
+import { L as isOrdinaryTypecheckConfigPath, a as runCheckerTypecheck, c as runGraphCheck, i as runCheckerBuild, l as runGraphSync, n as createLiminaFlowReporter, o as runSourceCheck, s as runInit, t as LiminaFlowReporter } from "./chunks/dep-COZNKoxO.js";
+import { a as loadConfig, n as getActiveCheckerExtensions, o as validateLiminaConfig, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-Ce6cDHmw.js";
 
-export { LiminaFlowReporter, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runInit, runSourceCheck, validateLiminaConfig };
+export { LiminaFlowReporter, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runGraphCheck, runGraphSync, runInit, runSourceCheck, validateLiminaConfig };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "limina",
-  "version": "0.0.4",
+  "version": "0.0.6",
   "type": "module",
   "license": "MIT",
   "author": "Senao Xi",
@@ -23,7 +23,7 @@
   "bugs": {
     "url": "https://github.com/XiSenao/docs-islands/issues"
   },
-  "homepage": "https://docs.senao.me/docs-islands",
+  "homepage": "https://docs.senao.me/docs-islands/limina",
   "publishConfig": {
     "access": "public"
   },
@@ -31,28 +31,38 @@
     "limina": "./bin/limina.js"
   },
   "dependencies": {
-    "@arethetypeswrong/core": "^0.18.2",
-    "@clack/prompts": "^1.4.0",
-    "logaria": "0.0.2",
-    "@publint/pack": "^0.1.4",
-    "cac": "^6.7.14",
-    "es-module-lexer": "^2.0.0",
-    "publint": "^0.3.17",
-    "semver": "^7.8.1",
+    "picomatch": "^4.0.4",
     "tinyglobby": "^0.2.15",
-    "yaml": "^2.8.3",
-    "zod": "^4.3.6"
+    "oxc-parser": "^0.133.0",
+    "oxc-resolver": "^11.20.0"
   },
   "peerDependencies": {
+    "@arethetypeswrong/core": "^0.18.2",
+    "@typescript/native-preview": "7.0.0-dev.20260527.1",
     "@vue/compiler-sfc": "^3.5.28",
+    "knip": "^6.15.0",
+    "publint": "^0.3.17",
     "svelte-check": "^4.4.7",
     "typescript": "~5.9.3",
-    "vue-tsc": "~3.2.4"
+    "vue-tsc": "~3.2.4",
+    "vue-tsgo": "0.2.2"
   },
   "peerDependenciesMeta": {
+    "@arethetypeswrong/core": {
+      "optional": true
+    },
+    "@typescript/native-preview": {
+      "optional": true
+    },
     "@vue/compiler-sfc": {
       "optional": true
     },
+    "knip": {
+      "optional": true
+    },
+    "publint": {
+      "optional": true
+    },
     "svelte-check": {
       "optional": true
     },
@@ -61,12 +71,16 @@
     },
     "vue-tsc": {
       "optional": true
+    },
+    "vue-tsgo": {
+      "optional": true
     }
   },
   "types": "./index.d.ts",
   "exports": {
     ".": "./index.js",
     "./config": "./config.js",
+    "./schemas/tsconfig-schema.json": "./schemas/tsconfig-schema.json",
     "./package.json": "./package.json"
   },
   "sideEffects": false