limina 0.0.2 → 0.0.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (9) hide show
  1. package/README.md +4 -5
  2. package/chunks/{dep-jgc7X0zw.js → dep-DzYrmtQJ.js} +32 -49
  3. package/chunks/{dep-uPXyoC0V.js → dep-UWxsul2A.js} +179 -253
  4. package/cli.js +447 -84
  5. package/config.d.ts +1 -7
  6. package/config.js +1 -1
  7. package/index.d.ts +6 -19
  8. package/index.js +3 -3
  9. package/package.json +7 -2
package/config.d.ts CHANGED
@@ -57,7 +57,7 @@ type PipelineStep = string | {
57
57
  */
58
58
  type BuiltinTaskName = "checker:build" | "checker:typecheck" | "graph:check" | "package:check" | "proof:check" | "source:check";
59
59
  type BuiltinCheckerPreset = "svelte-check" | "tsc" | "vue-tsc";
60
- type CheckerPreset = BuiltinCheckerPreset | (string & {});
60
+ type CheckerPreset = BuiltinCheckerPreset;
61
61
  type CheckerExecutionKind = "build" | "typecheck";
62
62
  /**
63
63
  * Checker capability for one source module family.
@@ -71,12 +71,6 @@ interface CheckerConfig {
71
71
  * Checker entry project used by both build and typecheck execution modes.
72
72
  */
73
73
  entry: string;
74
- /**
75
- * Source file suffixes covered by this checker.
76
- *
77
- * Built-in presets may omit this and use their default suffixes.
78
- */
79
- extensions?: string[];
80
74
  }
81
75
  interface ResolvedCheckerConfig {
82
76
  entry: string;
package/config.js CHANGED
@@ -1,4 +1,4 @@
1
1
  import "./chunks/dep-lkQg1P9Q.js";
2
- import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-jgc7X0zw.js";
2
+ import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-DzYrmtQJ.js";
3
3
 
4
4
  export { defineConfig, getActiveCheckerExtensions, getActiveCheckers, loadConfig, validateLiminaConfig };
package/index.d.ts CHANGED
@@ -110,10 +110,9 @@ interface TypecheckTargetResult {
110
110
  status: number;
111
111
  }
112
112
  type TypecheckRunner = (target: TypecheckTarget) => Promise<TypecheckTargetResult> | TypecheckTargetResult;
113
- interface RunCheckerTypecheckOptions {
113
+ interface RunCheckerBuildOptions {
114
114
  clearScreen?: boolean;
115
115
  config: ResolvedLiminaConfig;
116
- concurrency?: number;
117
116
  cwd?: string;
118
117
  flow?: LiminaFlowReporter;
119
118
  flowDepth?: number;
@@ -121,15 +120,12 @@ interface RunCheckerTypecheckOptions {
121
120
  runner?: TypecheckRunner;
122
121
  tscCommand?: string;
123
122
  }
124
- interface RunCheckerTypecheckResult {
123
+ interface RunCheckerBuildResult {
125
124
  passed: boolean;
126
125
  projectRootDir: string;
127
- results: TypecheckTargetResult[];
128
126
  rootConfigPaths: string[];
129
- targetProjectPaths: string[];
130
127
  }
131
- declare function runCheckerTypecheck(options: RunCheckerTypecheckOptions): Promise<RunCheckerTypecheckResult>;
132
- interface RunCheckerBuildOptions {
128
+ interface RunCheckerTypecheckOptions {
133
129
  clearScreen?: boolean;
134
130
  config: ResolvedLiminaConfig;
135
131
  cwd?: string;
@@ -139,24 +135,15 @@ interface RunCheckerBuildOptions {
139
135
  runner?: TypecheckRunner;
140
136
  tscCommand?: string;
141
137
  }
142
- interface RunCheckerBuildResult {
138
+ interface RunCheckerTypecheckResult {
143
139
  passed: boolean;
144
140
  projectRootDir: string;
145
141
  rootConfigPaths: string[];
146
142
  }
147
143
  declare function runCheckerBuild(options: RunCheckerBuildOptions): Promise<RunCheckerBuildResult>;
144
+ declare function runCheckerTypecheck(options: RunCheckerTypecheckOptions): Promise<RunCheckerTypecheckResult>;
148
145
  //#endregion
149
146
  //#region src/tsconfig.d.ts
150
- interface CollectTypecheckTargetProjectPathsOptions {
151
- rootConfigPath: string;
152
- rootDir: string;
153
- }
154
- interface CollectTypecheckTargetProjectPathsResult {
155
- problems: string[];
156
- projectPaths: string[];
157
- targetProjectPaths: string[];
158
- }
159
147
  declare function isOrdinaryTypecheckConfigPath(configPath: string): boolean;
160
- declare function collectTypecheckTargetProjectPaths(options: CollectTypecheckTargetProjectPathsOptions): CollectTypecheckTargetProjectPathsResult;
161
148
  //#endregion
162
- 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 };
149
+ 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 CHANGED
@@ -1,5 +1,5 @@
1
1
  import "./chunks/dep-lkQg1P9Q.js";
2
- import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-jgc7X0zw.js";
3
- 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";
2
+ import { a as validateLiminaConfig, i as loadConfig, n as getActiveCheckerExtensions, r as getActiveCheckers, t as defineConfig } from "./chunks/dep-DzYrmtQJ.js";
3
+ 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";
4
4
 
5
- export { LiminaFlowReporter, collectTypecheckTargetProjectPaths, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runInit, runSourceCheck, validateLiminaConfig };
5
+ export { LiminaFlowReporter, createLiminaFlowReporter, defineConfig, getActiveCheckerExtensions, getActiveCheckers, isOrdinaryTypecheckConfigPath, loadConfig, runCheckerBuild, runCheckerTypecheck, runInit, runSourceCheck, validateLiminaConfig };
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "limina",
3
- "version": "0.0.2",
3
+ "version": "0.0.3",
4
4
  "type": "module",
5
5
  "license": "MIT",
6
6
  "author": "Senao Xi",
@@ -33,21 +33,26 @@
33
33
  "dependencies": {
34
34
  "@arethetypeswrong/core": "^0.18.2",
35
35
  "@clack/prompts": "^1.4.0",
36
- "logaria": "^0.0.1",
36
+ "logaria": "0.0.2",
37
37
  "@publint/pack": "^0.1.4",
38
38
  "cac": "^6.7.14",
39
39
  "es-module-lexer": "^2.0.0",
40
40
  "publint": "^0.3.17",
41
+ "semver": "^7.8.1",
41
42
  "tinyglobby": "^0.2.15",
42
43
  "yaml": "^2.8.3",
43
44
  "zod": "^4.3.6"
44
45
  },
45
46
  "peerDependencies": {
47
+ "@vue/compiler-sfc": "^3.5.28",
46
48
  "svelte-check": "^4.4.7",
47
49
  "typescript": "~5.9.3",
48
50
  "vue-tsc": "~3.2.4"
49
51
  },
50
52
  "peerDependenciesMeta": {
53
+ "@vue/compiler-sfc": {
54
+ "optional": true
55
+ },
51
56
  "svelte-check": {
52
57
  "optional": true
53
58
  },