limina 0.0.4 → 0.0.5

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,18 +79,118 @@ 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 SourceUnusedDependencyIgnoreEntry {
+  /**
+  * Importing package name from package.json.
+  */
+  importer: string;
+  /**
+  * Declared workspace dependency package name.
+  */
+  dependency: string;
+  /**
+  * Why the dependency is safe to keep even when Knip cannot prove it is
+  * reachable from package entries, binaries, or scripts.
+  */
+  reason: string;
+}
+/**
+* Source dependency usage settings.
+*/
+interface SourceUnusedDependenciesConfig {
+  /**
+  * Declared workspace dependencies intentionally not visible through Knip's
+  * entry-reachable dependency graph.
+  */
+  ignore?: SourceUnusedDependencyIgnoreEntry[];
+}
+/**
+* Explicit exception for a source module that is owned by a package but is
+* intentionally not reachable from Knip's package entry graph.
+*/
+interface SourceUnusedModuleIgnoreEntry {
+  /**
+  * Named package owner from package.json.
+  */
+  owner: string;
+  /**
+  * 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 strict-mode reachability graph.
+*/
+interface SourceUnusedModuleEntryConfig {
+  /**
+  * Named package owner from package.json.
+  */
+  owner: string;
+  /**
+  * Workspace-root-relative file or glob patterns that Knip should treat as
+  * additional entries for this owner.
+  */
+  files: string[];
+  /**
+  * Why these modules are legitimate entries even though they are not package
+  * exports, binaries, scripts, or plugin-discovered entries.
+  */
+  reason: string;
+}
+/**
+* Source module usage settings.
+*/
+interface SourceUnusedModulesConfig {
+  /**
+  * Additional entry globs for source modules loaded by test runners or local
+  * tooling rather than package exports.
+  */
+  entries?: SourceUnusedModuleEntryConfig[];
+  /**
+  * Package-owned source modules intentionally not visible through Knip's
+  * entry-reachable file graph.
+  */
+  ignore?: SourceUnusedModuleIgnoreEntry[];
+}
+/**
+* Source-owned dependency usage check settings.
+*/
+interface SourceCheckConfig {
+  /**
+  * Checks that workspace package dependencies declared in package.json are
+  * reachable from package entries, binaries, or scripts owned by that package.
+  */
+  unusedDependencies?: SourceUnusedDependenciesConfig;
+  /**
+  * Strict-mode exceptions for package-owned source modules that are not
+  * reachable from package entries, binaries, or scripts owned by that package.
+  *
+  * There is no enabled switch: strict: true enables unused module checks.
+  */
+  unusedModules?: SourceUnusedModulesConfig;
+}
+/**
+* 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`.
   */
   include?: string[];
   /**
-  * Glob patterns or directory shorthands to omit from proof coverage.
+  * Glob patterns or directory shorthands to omit from source governance.
   *
   * @default: [
   *   "node_modules",
@@ -100,6 +200,7 @@ interface SourceBoundaryConfig {
   *   "coverage",
   *   "**\/tsconfig*.json",
   *   "**\/package.json",
+  *   "**\/project.json",
   *   ".prettierrc.json",
   *   ".markdownlint.json",
   *   "vercel.json",
@@ -116,7 +217,7 @@ interface SharedLiminaConfig {
   */
   checkers?: Record<string, CheckerConfig>;
   /**
-  * Source file boundary used by coverage proof.
+  * Global source file boundary used by proof checks.
   */
   source?: SourceBoundaryConfig;
 }
@@ -167,6 +268,20 @@ interface GraphRuleRefDenyEntry {
   reason: string;
 }
 /**
+* Declaration leaf boundary explicitly allowed for projects with a matching
+* Limina graph rule when static import analysis cannot prove the edge.
+*/
+interface GraphRuleRefAllowEntry {
+  /**
+  * Target `tsconfig*.dts.json` path, relative to the inferred workspace root.
+  */
+  path: string;
+  /**
+  * Human-readable explanation documenting why this extra reference is safe.
+  */
+  reason: string;
+}
+/**
 * Dependency denied to projects with a matching Limina label.
 */
 interface GraphRuleDepDenyEntry {
@@ -197,10 +312,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.
   */
@@ -213,8 +342,8 @@ interface GraphConfig {
   /**
   * 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>;
 }
@@ -334,10 +463,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.
   */
@@ -362,11 +543,19 @@ 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" | "paths" | "proof" | "release" | "source" | (string & {});
 /**
 * Environment passed to function-style configs.
 */
@@ -408,6 +597,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 +628,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, GraphConfig, GraphRule, GraphRuleAllowConfig, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefAllowEntry, GraphRuleRefDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTool, PackageCheckToolSelection, PackageConfig, PackageEntry, PackagePublintCheckConfig, PathsConfig, PipelineStep, ProofAllowlistEntry, ProofConfig, ReleaseConfig, ReleaseContentHashConfig, ReleaseContentHashConfigArgs, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, SourceCheckConfig, SourceUnusedDependenciesConfig, SourceUnusedDependencyIgnoreEntry, SourceUnusedModuleEntryConfig, SourceUnusedModuleIgnoreEntry, SourceUnusedModulesConfig, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isStrictConfig, loadConfig, validateLiminaConfig };

package/config.js

@@ -1,4 +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 { a as loadConfig, i as isStrictConfig, n as getActiveCheckerExtensions, o as validateLiminaConfig, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-CBKvJc4Y.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, GraphConfig, GraphRule, GraphRuleAllowConfig, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefAllowEntry, 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, SourceCheckConfig, SourceUnusedDependenciesConfig, SourceUnusedDependencyIgnoreEntry, 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 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 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 RunGraphCheckOptions, type RunGraphSyncOptions, type RunGraphSyncResult, type RunInitOptions, type RunInitResult, type RunSourceCheckOptions, type RuntimeEnvironment, type SharedLiminaConfig, type SourceBoundaryConfig, type SourceCheckConfig, type SourceUnusedDependenciesConfig, type SourceUnusedDependencyIgnoreEntry, 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,5 @@
 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 { a as loadConfig, n as getActiveCheckerExtensions, o as validateLiminaConfig, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-CBKvJc4Y.js";
+import { V 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-DTGmTTL7.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.5",
   "type": "module",
   "license": "MIT",
   "author": "Senao Xi",
@@ -33,10 +33,16 @@
   "dependencies": {
     "@arethetypeswrong/core": "^0.18.2",
     "@clack/prompts": "^1.4.0",
-    "logaria": "0.0.2",
+    "logaria": "0.0.3",
     "@publint/pack": "^0.1.4",
     "cac": "^6.7.14",
     "es-module-lexer": "^2.0.0",
+    "knip": "^6.15.0",
+    "npm-package-json-lint": "^9.1.0",
+    "oxc-parser": "^0.133.0",
+    "oxc-resolver": "^11.20.0",
+    "pathe": "^2.0.3",
+    "picomatch": "^4.0.4",
     "publint": "^0.3.17",
     "semver": "^7.8.1",
     "tinyglobby": "^0.2.15",
@@ -44,12 +50,17 @@
     "zod": "^4.3.6"
   },
   "peerDependencies": {
+    "@typescript/native-preview": "7.0.0-dev.20260527.1",
     "@vue/compiler-sfc": "^3.5.28",
     "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": {
+    "@typescript/native-preview": {
+      "optional": true
+    },
     "@vue/compiler-sfc": {
       "optional": true
     },
@@ -61,12 +72,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

package/schemas/tsconfig-schema.json

@@ -0,0 +1,42 @@
+{
+  "$schema": "http://json-schema.org/draft-04/schema#",
+  "id": "https://docs.senao.me/docs-islands/limina/schemas/tsconfig-schema.json",
+  "title": "Limina TypeScript Configuration",
+  "description": "TypeScript tsconfig.json with Limina graph governance options.",
+  "allowTrailingCommas": true,
+  "allOf": [
+    {
+      "$ref": "https://json.schemastore.org/tsconfig"
+    },
+    {
+      "type": "object",
+      "properties": {
+        "liminaOptions": {
+          "$ref": "#/definitions/liminaOptions"
+        }
+      }
+    }
+  ],
+  "definitions": {
+    "nonEmptyString": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "\\S"
+    },
+    "liminaOptions": {
+      "type": "object",
+      "description": "Limina-specific options for this TypeScript project.",
+      "additionalProperties": true,
+      "properties": {
+        "graphRules": {
+          "type": "array",
+          "description": "Graph rule labels from limina.config.mjs#graph.rules that apply to this declaration leaf.",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/definitions/nonEmptyString"
+          }
+        }
+      }
+    }
+  }
+}