@voxgig/sdkgen-langpack 0.0.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 voxgig
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,104 @@
+# @voxgig/sdkgen-langpack
+
+Additional **language targets** for the
+[Voxgig SDK Generator](https://github.com/voxgig/sdkgen): **Dart**, **Haskell**
+and **Lean**.
+
+```bash
+npm install --save-dev @voxgig/sdkgen-langpack
+voxgig-sdkgen package add @voxgig/sdkgen-langpack
+npm run generate
+```
+
+That installs all three targets. To take just one:
+
+```bash
+voxgig-sdkgen target add @voxgig/sdkgen-langpack/dart
+```
+
+Generation is unchanged from there. These are ordinary language targets: they
+produce a full SDK with the same entity model, the same operation pipeline and
+the same feature set as any bundled target.
+
+## Why a pack rather than three packages
+
+Three languages that nobody releases separately do not need three release
+trains. One package means one version, one test suite and one type-check lane,
+and a consumer still installs exactly the targets they name.
+
+The trade is real and worth stating: a fix to Dart bumps the version Haskell
+and Lean ship under. If any of these languages later grows its own cadence and
+its own maintainer, splitting it out is the same move that brought it here.
+
+## Parity
+
+Declared per target in `sdkgen-package.json`:
+
+| target | tier | what that means |
+|---|---|---|
+| `dart` | `FULL` | drives the shared corpus for every section |
+| `haskell` | `FULL` | drives the shared corpus for every section |
+| `lean` | `FULL` | drives the shared corpus for every section |
+
+`haskell` was `MIRRORED` until it gained an omni port: driving the shared
+corpus needs the shared runner, and hand-written cases cannot fail when the
+reference changes. Its first corpus run found two real defects — see
+`.sdk/tm/haskell/test/TPrimaryCorpus.hs`.
+
+A tier here is checked, not just declared: `test/parity.test.js` reads the
+`parity` map and verifies each claim against what the target's suite actually
+does.
+
+**A caveat that belongs with those two FULL tiers.** The shared corpus is
+materialised into each project as `.sdk/test/test.json`, so a real generated
+SDK does execute it — the tier is accurate for a consumer. What this repository
+cannot do is verify it: the corpus source lives in create-sdkgen and is not yet
+published as a consumable package. Until it is, the suite here covers
+generation, component type-checking and per-target behaviour, and the corpus
+runs where the SDK is generated. Do not read a green build here as a green
+corpus.
+
+## Lean is deliberately different
+
+Lean has no entity object. Its operations are namespaced free functions over
+the client value (`Planet.load c m co`), dispatched by the config-driven
+`SdkRuntime`, so there is no instance to return, no per-entity data or match
+state, and no `.data()` hop. Every other target resolves an operation to an
+entity instance.
+
+That is a boundary, not a gap. Giving Lean the entity-returning contract means
+designing an entity layer for the language, which is a decision in its own
+right rather than a port of an existing one. The suite pins the current shape
+so the difference stays deliberate.
+
+## Developing
+
+```bash
+npm install
+npm test          # type-checks every target's components, then runs the suite
+```
+
+The suite runs on `@voxgig/sdkgen/testkit`: it installs this package into a
+staged consumer through the real `package add`, compiles the components the way
+a consumer's build does, and generates.
+
+Validate the package itself with:
+
+```bash
+npx voxgig-sdkgen package check .
+```
+
+## Provenance
+
+All three targets were generated from the same trees that shipped inside
+`@voxgig/sdkgen`. Before each moved, its output was compared file by file
+against the bundled version from the same model:
+
+| target | files generated | differences |
+|---|---|---|
+| `dart` | 77 | 0 |
+| `lean` | 26 | 0 |
+| `haskell` | 29 | 0 |
+
+Byte-identical, with no placeholder leaks on either side. Nothing about a
+generated SDK changed in the move.

package/package.json

@@ -0,0 +1,78 @@
+{
+  "name": "@voxgig/sdkgen-langpack",
+  "version": "0.0.1",
+  "description": "Additional language targets for the Voxgig SDK Generator: Dart, Haskell and Lean.",
+  "type": "commonjs",
+  "license": "MIT",
+  "keywords": [
+    "voxgig",
+    "sdkgen",
+    "sdkgen-package",
+    "dart",
+    "haskell",
+    "lean"
+  ],
+  "author": "Richard Rodger (http://richardrodger.com)",
+  "repository": {
+    "type": "git",
+    "url": "git://github.com/voxgig/sdkgen-langpack.git"
+  },
+  "files": [
+    ".sdk",
+    "sdkgen-package.json"
+  ],
+  "scripts": {
+    "test": "node --enable-source-maps --test test/*.test.js",
+    "test-some": "node --enable-source-maps --test-name-pattern=\"$npm_config_pattern\" --test test/*.test.js",
+    "watch": "tsc -w",
+    "build": "tsc",
+    "clean": "rm -rf node_modules yarn.lock package-lock.json .build",
+    "reset": "npm run clean && npm i && npm run build && npm test",
+    "repo-tag": "REPO_VERSION=`node -e \"console.log(require('./package').version)\"` && echo TAG: v$REPO_VERSION && git commit -a -m v$REPO_VERSION && git push && git tag v$REPO_VERSION && git push --tags;",
+    "repo-publish": "npm run clean && npm i && npm run repo-publish-quick",
+    "repo-publish-quick": "npm run build && npm run test && npm run repo-tag && npm publish --registry https://registry.npmjs.org --access=public",
+    "resset": "npm run reset",
+    "check-cmp": "tsc -p tsconfig.json --noEmit",
+    "check-package": "voxgig-sdkgen package check ."
+  },
+  "_peer_comment": [
+    "A PACKAGED TARGET INHERITS SDKGEN'S PEERS AS ITS OWN. All three targets'",
+    "components import @voxgig/sdkgen, @voxgig/apidef and @voxgig/struct BY",
+    "NAME, which resolved silently while they lived in the bundled scaffold",
+    "beside sdkgen's own node_modules. Out here they have to be declared, or",
+    "the components fail to type-check for the author and fail to resolve for",
+    "anyone who installs this package without sdkgen's peers present.",
+    "",
+    "Peers rather than dependencies: a consumer necessarily has these already,",
+    "via sdkgen, and a second copy at a different version is the one outcome",
+    "worth preventing.",
+    "",
+    "VERIFIED AS REAL MODULE IMPORTS, not grepped. A generator's components",
+    "are mostly strings containing other languages' source, so a text search",
+    "cannot tell an import from a `require` line the component EMITS — that",
+    "is how the seneca-provider migration nearly declared @seneca/maintain a",
+    "peer. Each name here was traced to a top-level import statement:",
+    "@voxgig/struct to utility_{dart,haskell,lean}.ts and TestEntity_dart.ts.",
+    "",
+    "THE SDKGEN FLOOR IS THE OLDEST PUBLISHED VERSION THIS SUITE IS RUN",
+    "AGAINST, which is 4.9.0. Not the oldest that might work: a floor nobody",
+    "tests is the shape of haskell's old >=3.5.0, which accepted versions",
+    "where a target's components would install and then die at generation on",
+    "a missing export. 4.9.0 is also the first release carrying the test kit",
+    "this suite runs on."
+  ],
+  "peerDependencies": {
+    "@voxgig/apidef": ">=8.2.2",
+    "@voxgig/sdkgen": ">=4.10.0",
+    "@voxgig/struct": ">=0.2"
+  },
+  "devDependencies": {
+    "@voxgig/apidef": ">=8.2.2",
+    "@voxgig/sdkgen": ">=4.10.0",
+    "@voxgig/struct": ">=0.2",
+    "@types/node": ">=24",
+    "aontu": ">=0.52",
+    "memfs": "4.68.1",
+    "typescript": "7.0.2"
+  }
+}

package/sdkgen-package.json

@@ -0,0 +1,22 @@
+{
+  "sdkgen": {
+    "package": 1
+  },
+  "name": "@voxgig/sdkgen-langpack",
+  "version": "1.0.0",
+  "engines": {
+    "sdkgen": ">=4.10.0"
+  },
+  "provides": {
+    "target": [
+      "dart",
+      "haskell",
+      "lean"
+    ]
+  },
+  "parity": {
+    "dart": "FULL",
+    "haskell": "FULL",
+    "lean": "FULL"
+  }
+}