limina 0.0.2 → 0.0.4

package/config.d.ts

@@ -55,9 +55,9 @@ type PipelineStep = string | {
 /**
 * Built-in task names understood by Limina pipelines.
 */
-type BuiltinTaskName = "checker:build" | "checker:typecheck" | "graph:check" | "package:check" | "proof:check" | "source:check";
+type BuiltinTaskName = "checker:build" | "checker:typecheck" | "graph:check" | "package:check" | "proof:check" | "release: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;
@@ -301,15 +295,19 @@ interface PackageBoundaryCheckConfig {
   ignoredExternalPackages?: string[];
 }
 /**
-* One published package output to check.
+* One published package output entry.
 */
-interface PackageCheckTarget {
+interface PackageEntry {
+  /**
+  * Package name used by CLI filters, reports, and cwd release matching.
+  */
+  name: string;
   /**
   * Built package directory to scan, relative to the inferred workspace root.
   */
   outDir: string;
   /**
-  * Package check tools enabled for this target.
+  * Package check tools enabled for this entry.
   *
   * @default ["publint", "attw", "boundary"]
   */
@@ -326,21 +324,15 @@ interface PackageCheckTarget {
   * Built package import boundary settings.
   */
   boundary?: PackageBoundaryCheckConfig;
-  /**
-  * Friendly target name used by CLI filters and reports.
-  *
-  * Defaults to the `outDir` path.
-  */
-  name?: string;
 }
 /**
-* Published package check settings.
+* Published package settings.
 */
-interface PackageChecksConfig {
+interface PackageConfig {
   /**
   * Built package outputs to check.
   */
-  targets?: PackageCheckTarget[];
+  entries?: PackageEntry[];
 }
 /**
 * Limina user config.
@@ -357,7 +349,7 @@ interface LiminaConfig {
   /**
   * Rules for checking built package outputs before publishing.
   */
-  packageChecks?: PackageChecksConfig;
+  package?: PackageConfig;
   /**
   * Options for generating TypeScript source `paths` compatibility files.
   */
@@ -374,7 +366,7 @@ interface LiminaConfig {
 /**
 * CLI command currently loading the config.
 */
-type LiminaCommand = "check" | "graph" | "package" | "paths" | "proof" | "source" | (string & {});
+type LiminaCommand = "check" | "graph" | "package" | "paths" | "proof" | "release" | "source" | (string & {});
 /**
 * Environment passed to function-style configs.
 */
@@ -446,4 +438,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, 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, PackageCheckTool, PackageCheckToolSelection, PackageConfig, PackageEntry, 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, 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";
+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";
 //#region src/flow.d.ts
 interface ClackLogAdapter {
   error: (message: string) => void;
@@ -110,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;
@@ -121,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;
@@ -139,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 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, collectTypecheckTargetProjectPaths, 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 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 };

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 { K as isOrdinaryTypecheckConfigPath, a as runSourceCheck, i as runCheckerTypecheck, n as createLiminaFlowReporter, o as runInit, r as runCheckerBuild, t as LiminaFlowReporter, z as collectTypecheckTargetProjectPaths } from "./chunks/dep-uPXyoC0V.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";
 
-export { LiminaFlowReporter, collectTypecheckTargetProjectPaths, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runInit, 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.2",
+  "version": "0.0.4",
   "type": "module",
   "license": "MIT",
   "author": "Senao Xi",
@@ -33,21 +33,26 @@
   "dependencies": {
     "@arethetypeswrong/core": "^0.18.2",
     "@clack/prompts": "^1.4.0",
-    "logaria": "^0.0.1",
+    "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
     },