githolon 0.49.0 → 0.50.0
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.
- package/dist/cli.mjs +20 -0
- package/package.json +3 -3
package/dist/cli.mjs
CHANGED
|
@@ -3779,6 +3779,20 @@ function runCompile(args) {
|
|
|
3779
3779
|
const r = spawnSync(process.execPath, [launcher, ...args], { stdio: "inherit", cwd: process.cwd() });
|
|
3780
3780
|
return r.status ?? 1;
|
|
3781
3781
|
}
|
|
3782
|
+
function resolveCheckLauncher(cwd) {
|
|
3783
|
+
const launcher = resolveCompileLauncher(cwd);
|
|
3784
|
+
return launcher === void 0 ? void 0 : join3(dirname(launcher), "check_package.mjs");
|
|
3785
|
+
}
|
|
3786
|
+
function runCheck(args) {
|
|
3787
|
+
const launcher = resolveCheckLauncher(process.cwd());
|
|
3788
|
+
if (launcher === void 0) {
|
|
3789
|
+
process.stderr.write(`error: ${NO_DSL_REMEDY}
|
|
3790
|
+
`);
|
|
3791
|
+
return 1;
|
|
3792
|
+
}
|
|
3793
|
+
const r = spawnSync(process.execPath, [launcher, ...args], { stdio: "inherit", cwd: process.cwd() });
|
|
3794
|
+
return r.status ?? 1;
|
|
3795
|
+
}
|
|
3782
3796
|
function compileAsync(cwd, args = []) {
|
|
3783
3797
|
const launcher = resolveCompileLauncher(cwd);
|
|
3784
3798
|
const t0 = performance.now();
|
|
@@ -4934,6 +4948,9 @@ The inner loop:
|
|
|
4934
4948
|
--query <id> [--param k=v] keys from the chain, read private fields in cleartext
|
|
4935
4949
|
|
|
4936
4950
|
Authoring:
|
|
4951
|
+
githolon check [config] run the author-time gate (static twins) on
|
|
4952
|
+
./nomos.package.mjs \u2014 the unified report; exits
|
|
4953
|
+
non-zero on any REFUSE (compile runs it implicitly)
|
|
4937
4954
|
githolon compile [compiler args] compile the package by ./nomos.package.mjs
|
|
4938
4955
|
githolon proof [build/<name>.proof.mts] run the proof GENERATED from your law, live
|
|
4939
4956
|
(every compile emits it; ALL GREEN or it names the jam)
|
|
@@ -5276,6 +5293,9 @@ async function main(argv) {
|
|
|
5276
5293
|
if (argv[0] === "compile") {
|
|
5277
5294
|
return runCompile(argv.slice(1));
|
|
5278
5295
|
}
|
|
5296
|
+
if (argv[0] === "check") {
|
|
5297
|
+
return runCheck(argv.slice(1));
|
|
5298
|
+
}
|
|
5279
5299
|
if (argv[0] === "proof") {
|
|
5280
5300
|
return runProof(argv.slice(1));
|
|
5281
5301
|
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "githolon",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.50.0",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"description": "githolon — the Nomos developer CLI: Rails-style generators for @githolon/dsl domains + the package compiler. Kernel-independent.",
|
|
6
6
|
"license": "SEE LICENSE IN LICENSE.md",
|
|
@@ -29,8 +29,8 @@
|
|
|
29
29
|
},
|
|
30
30
|
"dependencies": {
|
|
31
31
|
"@bjorn3/browser_wasi_shim": "0.4.2",
|
|
32
|
-
"@githolon/client": "^0.
|
|
33
|
-
"@githolon/dsl": "^0.
|
|
32
|
+
"@githolon/client": "^0.50.0",
|
|
33
|
+
"@githolon/dsl": "^0.50.0",
|
|
34
34
|
"isomorphic-git": "^1.38.4"
|
|
35
35
|
},
|
|
36
36
|
"devDependencies": {
|