create-githolon 0.2.0 → 0.2.2

package/index.mjs

@@ -77,10 +77,12 @@ if (!noGit) {
 const rel = path.relative(process.cwd(), targetDir) || ".";
 process.stdout.write(
   `\nScaffolded ${appName} into ${rel}/${gitInited ? " (git repo)" : ""}\n` +
+    `\nRead docs/01-mental-model.md first — the docs travel with you, offline.\n` +
     `\nNext:\n` +
     `  cd ${rel}\n` +
     `  npm install\n` +
-    `  npx githolon compile        # → build/: deployable package + manifests + typed client\n` +
+    `  npx githolon compile        # → build/: deployable package + manifests + typed client + a generated proof\n` +
+    `  npx githolon proof          # run that proof live — GENERATED from your own law, no test rewriting\n` +
     `  npx githolon login --agent  # a verified identity, no browser\n\n` +
     `Then pick a path (README.md walks both):\n` +
     `  A) npx githolon ws create <ws> && npx githolon deploy <ws>\n` +

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "create-githolon",
-  "version": "0.2.0",
+  "version": "0.2.2",
   "type": "module",
   "description": "Scaffold a Nomos domain package: the starter domain + compile config + live e2e. `npm create githolon my-app`.",
   "license": "SEE LICENSE IN LICENSE.md",

package/template/README.md

@@ -4,9 +4,13 @@ Scaffolded by `npm create githolon`. One domain file, one config, one command
 then an offline-first typed client against Nomos Cloud. Two ways to get a live
 workspace; both end in the same place.
 
+New here? Read [docs/01-mental-model.md](./docs/01-mental-model.md) first — the
+docs travel with you, offline (the full index is [below](#docs--in-the-box)).
+
 ```bash
 npm install
-npx githolon compile          # → build/: deployable package + manifests + typed client
+npx githolon compile          # → build/: deployable package + manifests + typed client + a generated proof
+npx githolon proof            # run that proof live — GENERATED from your own law, no test rewriting
 npx githolon login --agent    # self-onboard a verified identity (no browser; linkable to a full account later)
 ```
 
@@ -70,8 +74,10 @@ The starter is the tutorial; this is the exact path from guestbook to your own l
    ```bash
    npx githolon compile && cat build/<pkg>.summary.txt
    ```
-4. **Re-point the proof** — in `test/e2e.mts`, update the client import and the
-   directive/query/count names to yours; `npm run typecheck` names every stale
+4. **Re-point the proof** — `build/<pkg>.proof.mts` needs nothing: it is
+   REGENERATED from your law on every compile (`npx githolon proof` runs it).
+   The narrated `test/e2e.mts` is yours to reshape: update the client import and
+   the directive/query/count names; `npm run typecheck` names every stale
    reference until it's clean.
 5. **Prove it live:** `npm run e2e` — your law deploys to a throwaway workspace,
    an offline write syncs through admission, the cloud answers your declared
@@ -107,6 +113,8 @@ pages, each under a screen and a half:
   are auto-discovered from exports).
 - `build/guestbook.client.ts` — GENERATED typed TS client (payload types from
   the engine's zod, read models from the field kinds, the law hash baked in).
+- `build/guestbook.proof.mts` — GENERATED runnable proof, synthesized from your
+  own directives/queries/counts on every compile; `npx githolon proof` runs it.
 - `test/e2e.mts` — proves compile → deploy → typed offline write/query →
   edge admission → cloud declared query, against the live cloud.
 - `holon/` (after `ledger init`) — YOUR ledger, a normal git repo. Inspect it:

package/template/package.json

@@ -3,19 +3,20 @@
   "version": "0.0.0",
   "private": true,
   "type": "module",
-  "description": "A Nomos domain package — authored in @githolon/dsl, compiled with `githolon compile`, deployed to Nomos Cloud with one POST.",
+  "description": "A Nomos domain package \u2014 authored in @githolon/dsl, compiled with `githolon compile`, deployed to Nomos Cloud with one POST.",
   "scripts": {
     "compile": "githolon compile",
+    "proof": "githolon proof",
     "e2e": "tsx test/e2e.mts",
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@githolon/dsl": "^0.2.0",
-    "@githolon/client": "^0.2.0",
+    "@githolon/dsl": "^0.2.1",
+    "@githolon/client": "^0.2.1",
     "zod": "^4.4.3"
   },
   "devDependencies": {
-    "githolon": "^0.2.0",
+    "githolon": "^0.2.1",
     "@types/node": "^25.9.2",
     "tsx": "^4.19.2",
     "typescript": "^5.6.3"

package/template/test/e2e.mts

@@ -6,7 +6,10 @@
 //   TYPED declared query routes LOCALLY → sync + edge admission → the CLOUD's
 //   declared query returns the entry.
 //
-// docs/03-client.md explains every call here.
+// The docs travel with you, offline: docs/01-mental-model.md first, then
+// docs/03-client.md explains every call here. This file is the NARRATED
+// walkthrough you reshape by hand; its GENERATED sibling — build/<name>.proof.mts,
+// emitted by every compile from your own law — needs no rewriting: `githolon proof`.
 //
 // Run from this directory AFTER `npx nomos-compile`:  npx tsx test/e2e.mts
 import { readFileSync } from "node:fs";

package/template/tsconfig.json

@@ -12,6 +12,7 @@
   "include": [
     "domains/**/*.ts",
     "build/*.client.ts",
+    "build/*.proof.mts",
     "test/**/*.mts"
   ]
 }