limina 0.0.1 → 0.0.3

package/config.d.ts

@@ -57,7 +57,7 @@ type PipelineStep = string | {
 */
 type BuiltinTaskName = "checker:build" | "checker:typecheck" | "graph:check" | "package:check" | "proof:check" | "source:check";
 type BuiltinCheckerPreset = "svelte-check" | "tsc" | "vue-tsc";
-type CheckerPreset = BuiltinCheckerPreset | (string & {});
+type CheckerPreset = BuiltinCheckerPreset;
 type CheckerExecutionKind = "build" | "typecheck";
 /**
 * Checker capability for one source module family.
@@ -71,12 +71,6 @@ interface CheckerConfig {
   * Checker entry project used by both build and typecheck execution modes.
   */
   entry: string;
-  /**
-  * Source file suffixes covered by this checker.
-  *
-  * Built-in presets may omit this and use their default suffixes.
-  */
-  extensions?: string[];
 }
 interface ResolvedCheckerConfig {
   entry: string;
@@ -173,39 +167,14 @@ interface GraphRuleRefDenyEntry {
   reason: string;
 }
 /**
-* Workspace package dependency denied to projects with a matching Limina label.
+* Dependency denied to projects with a matching Limina label.
 */
 interface GraphRuleDepDenyEntry {
   /**
-  * Target workspace package name.
+  * Target package root, package.json imports specifier, or Node builtin name.
   *
-  * @deprecated Use `workspaceDeps` for new configs.
-  */
-  name: string;
-  /**
-  * Human-readable explanation shown when the rule fails.
-  */
-  reason: string;
-}
-/**
-* Workspace package dependency denied to projects with a matching Limina label.
-*/
-interface GraphRuleWorkspaceDepDenyEntry {
-  /**
-  * Target workspace package name.
-  */
-  name: string;
-  /**
-  * Human-readable explanation shown when the rule fails.
-  */
-  reason: string;
-}
-/**
-* Node builtin denied to source files with a matching Limina label.
-*/
-interface GraphRuleNodeBuiltinDenyEntry {
-  /**
-  * Target Node builtin name, such as `fs`, `node:fs`, or `node:*`.
+  * Examples: `@acme/internal`, `zod`, `#internal/*`, `fs`, `node:fs`,
+  * or `node:*`.
   */
   name: string;
   /**
@@ -222,19 +191,10 @@ interface GraphRuleDenyConfig {
   */
   refs?: GraphRuleRefDenyEntry[];
   /**
-  * Workspace packages that matching projects must not reference or import.
-  *
-  * @deprecated Use `workspaceDeps` for new configs.
+  * Packages, package imports, and Node builtins that matching projects must
+  * not reference or import.
   */
   deps?: GraphRuleDepDenyEntry[];
-  /**
-  * Node builtins that matching projects must not import.
-  */
-  nodeBuiltins?: GraphRuleNodeBuiltinDenyEntry[];
-  /**
-  * Workspace packages that matching projects must not reference or import.
-  */
-  workspaceDeps?: GraphRuleWorkspaceDepDenyEntry[];
 }
 /**
 * Package-level graph governance rule keyed by a label declared in
@@ -480,4 +440,4 @@ interface LoadConfigOptions {
 }
 declare function loadConfig(options?: LoadConfigOptions): Promise<ResolvedLiminaConfig>;
 //#endregion
-export { BuiltinCheckerPreset, BuiltinTaskName, CheckerConfig, CheckerExecutionKind, CheckerPreset, GraphConfig, GraphRule, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleNodeBuiltinDenyEntry, GraphRuleRefDenyEntry, GraphRuleWorkspaceDepDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTarget, PackageCheckTool, PackageCheckToolSelection, PackageChecksConfig, PackagePublintCheckConfig, PathsConfig, PipelineStep, ProofAllowlistEntry, ProofConfig, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig };
+export { BuiltinCheckerPreset, BuiltinTaskName, CheckerConfig, CheckerExecutionKind, CheckerPreset, GraphConfig, GraphRule, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTarget, PackageCheckTool, PackageCheckToolSelection, PackageChecksConfig, PackagePublintCheckConfig, PathsConfig, PipelineStep, ProofAllowlistEntry, ProofConfig, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, defineConfig, getActiveCheckerExtensions, getActiveCheckers, 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-jgc7X0zw.js";
+import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-DzYrmtQJ.js";
 
 export { defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig };

package/index.d.ts

@@ -1,4 +1,4 @@
-import { BuiltinCheckerPreset, BuiltinTaskName, CheckerConfig, CheckerExecutionKind, CheckerPreset, GraphConfig, GraphRule, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleNodeBuiltinDenyEntry, GraphRuleRefDenyEntry, GraphRuleWorkspaceDepDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTarget, PackageCheckTool, PackageCheckToolSelection, PackageChecksConfig, 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, GraphRuleDenyConfig, GraphRuleDepDenyEntry, GraphRuleRefDenyEntry, LiminaCommand, LiminaConfig, LiminaConfigEnv, LiminaConfigExport, LiminaConfigFn, LiminaConfigFnObject, LiminaConfigFnPromise, LoadConfigOptions, PackageAttwCheckConfig, PackageAttwProfile, PackageBoundaryCheckConfig, PackageCheckTarget, PackageCheckTool, PackageCheckToolSelection, PackageChecksConfig, PackagePublintCheckConfig, PathsConfig, PipelineStep, ProofAllowlistEntry, ProofConfig, ResolvedCheckerConfig, ResolvedLiminaConfig, RuntimeEnvironment, SharedLiminaConfig, SourceBoundaryConfig, defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig } from "./config.js";
 //#region src/flow.d.ts
 interface ClackLogAdapter {
   error: (message: string) => void;
@@ -62,6 +62,24 @@ declare class LiminaFlowReporter {
 }
 declare function createLiminaFlowReporter(options?: LiminaFlowReporterOptions): LiminaFlowReporter;
 //#endregion
+//#region src/commands/init.d.ts
+interface RunInitOptions {
+  clearScreen?: boolean;
+  cwd?: string;
+  flow?: LiminaFlowReporter;
+  flowDepth?: number;
+  yes?: boolean;
+}
+interface RunInitResult {
+  checkCommand: string;
+  installRequired: boolean;
+  rootDir: string;
+  skippedFiles: string[];
+  workspacePackageCount: number;
+  writtenFiles: string[];
+}
+declare function runInit(options?: RunInitOptions): Promise<RunInitResult>;
+//#endregion
 //#region src/commands/source.d.ts
 interface RunSourceCheckOptions {
   clearScreen?: boolean;
@@ -92,10 +110,9 @@ interface TypecheckTargetResult {
   status: number;
 }
 type TypecheckRunner = (target: TypecheckTarget) => Promise<TypecheckTargetResult> | TypecheckTargetResult;
-interface RunCheckerTypecheckOptions {
+interface RunCheckerBuildOptions {
   clearScreen?: boolean;
   config: ResolvedLiminaConfig;
-  concurrency?: number;
   cwd?: string;
   flow?: LiminaFlowReporter;
   flowDepth?: number;
@@ -103,15 +120,12 @@ interface RunCheckerTypecheckOptions {
   runner?: TypecheckRunner;
   tscCommand?: string;
 }
-interface RunCheckerTypecheckResult {
+interface RunCheckerBuildResult {
   passed: boolean;
   projectRootDir: string;
-  results: TypecheckTargetResult[];
   rootConfigPaths: string[];
-  targetProjectPaths: string[];
 }
-declare function runCheckerTypecheck(options: RunCheckerTypecheckOptions): Promise<RunCheckerTypecheckResult>;
-interface RunCheckerBuildOptions {
+interface RunCheckerTypecheckOptions {
   clearScreen?: boolean;
   config: ResolvedLiminaConfig;
   cwd?: string;
@@ -121,24 +135,15 @@ interface RunCheckerBuildOptions {
   runner?: TypecheckRunner;
   tscCommand?: string;
 }
-interface RunCheckerBuildResult {
+interface RunCheckerTypecheckResult {
   passed: boolean;
   projectRootDir: string;
   rootConfigPaths: string[];
 }
 declare function runCheckerBuild(options: RunCheckerBuildOptions): Promise<RunCheckerBuildResult>;
+declare function runCheckerTypecheck(options: RunCheckerTypecheckOptions): Promise<RunCheckerTypecheckResult>;
 //#endregion
 //#region src/tsconfig.d.ts
-interface CollectTypecheckTargetProjectPathsOptions {
-  rootConfigPath: string;
-  rootDir: string;
-}
-interface CollectTypecheckTargetProjectPathsResult {
-  problems: string[];
-  projectPaths: string[];
-  targetProjectPaths: string[];
-}
 declare function isOrdinaryTypecheckConfigPath(configPath: string): boolean;
-declare function collectTypecheckTargetProjectPaths(options: CollectTypecheckTargetProjectPathsOptions): CollectTypecheckTargetProjectPathsResult;
 //#endregion
-export { type BuiltinCheckerPreset, type BuiltinTaskName, type CheckerConfig, type CheckerExecutionKind, type CheckerPreset, type CollectTypecheckTargetProjectPathsOptions, type CollectTypecheckTargetProjectPathsResult, type GraphConfig, type GraphRule, type GraphRuleDenyConfig, type GraphRuleDepDenyEntry, type GraphRuleNodeBuiltinDenyEntry, type GraphRuleRefDenyEntry, type GraphRuleWorkspaceDepDenyEntry, 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 PackageCheckTarget, type PackageCheckTool, type PackageCheckToolSelection, type PackageChecksConfig, type PackagePublintCheckConfig, type PathsConfig, type PipelineStep, type ProofAllowlistEntry, type ProofConfig, type ResolvedCheckerConfig, type ResolvedLiminaConfig, type RunCheckerBuildOptions, type RunCheckerBuildResult, type RunCheckerTypecheckOptions, type RunCheckerTypecheckResult, type RunSourceCheckOptions, type RuntimeEnvironment, type SharedLiminaConfig, type SourceBoundaryConfig, type TypecheckRunner, type TypecheckTarget, type TypecheckTargetResult, collectTypecheckTargetProjectPaths, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runSourceCheck, validateLiminaConfig };
+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 PackageCheckTarget, type PackageCheckTool, type PackageCheckToolSelection, type PackageChecksConfig, 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 };

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-jgc7X0zw.js";
-import { G as isOrdinaryTypecheckConfigPath, R as collectTypecheckTargetProjectPaths, a as runSourceCheck, i as runCheckerTypecheck, n as createLiminaFlowReporter, r as runCheckerBuild, t as LiminaFlowReporter } from "./chunks/dep-DoSHsBSP.js";
+import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-DzYrmtQJ.js";
+import { J as isOrdinaryTypecheckConfigPath, a as runSourceCheck, i as runCheckerTypecheck, n as createLiminaFlowReporter, o as runInit, r as runCheckerBuild, t as LiminaFlowReporter } from "./chunks/dep-UWxsul2A.js";
 
-export { LiminaFlowReporter, collectTypecheckTargetProjectPaths, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runSourceCheck, validateLiminaConfig };
+export { LiminaFlowReporter, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runInit, runSourceCheck, validateLiminaConfig };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "limina",
-  "version": "0.0.1",
+  "version": "0.0.3",
   "type": "module",
   "license": "MIT",
   "author": "Senao Xi",
@@ -15,27 +15,44 @@
   "engines": {
     "node": "^20.19.0 || >=22.12.0"
   },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/XiSenao/docs-islands.git",
+    "directory": "packages/limina"
+  },
+  "bugs": {
+    "url": "https://github.com/XiSenao/docs-islands/issues"
+  },
+  "homepage": "https://docs.senao.me/docs-islands",
+  "publishConfig": {
+    "access": "public"
+  },
   "bin": {
     "limina": "./bin/limina.js"
   },
   "dependencies": {
     "@arethetypeswrong/core": "^0.18.2",
     "@clack/prompts": "^1.4.0",
-    "@docs-islands/logger": "0.0.5",
+    "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",
     "tinyglobby": "^0.2.15",
     "yaml": "^2.8.3",
     "zod": "^4.3.6"
   },
   "peerDependencies": {
+    "@vue/compiler-sfc": "^3.5.28",
     "svelte-check": "^4.4.7",
     "typescript": "~5.9.3",
     "vue-tsc": "~3.2.4"
   },
   "peerDependenciesMeta": {
+    "@vue/compiler-sfc": {
+      "optional": true
+    },
     "svelte-check": {
       "optional": true
     },