githolon 0.49.0 → 0.51.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.
Files changed (2) hide show
  1. package/dist/cli.mjs +20 -0
  2. 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.49.0",
3
+ "version": "0.51.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.49.0",
33
- "@githolon/dsl": "^0.49.0",
32
+ "@githolon/client": "^0.51.0",
33
+ "@githolon/dsl": "^0.51.0",
34
34
  "isomorphic-git": "^1.38.4"
35
35
  },
36
36
  "devDependencies": {