gdp-wired-cli 0.0.0-stage → 0.33.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 (3) hide show
  1. package/bin.js +6 -0
  2. package/package.json +26 -4
  3. package/README.md +0 -3
package/bin.js ADDED
@@ -0,0 +1,6 @@
1
+ #!/usr/bin/env node
2
+ // gdp-wired's command line (core/cli.ts) with TypeScript installed beside it: every front end reads a rule through the
3
+ // TypeScript extractor's terms, so `npx gdp-wired-cli check <file|dir>` needs nothing else. Its version is gdp-wired's.
4
+ import {main} from 'gdp-wired/cli'
5
+
6
+ main(process.argv.slice(2)).then(c => { process.exitCode = c }, e => { process.stdout.write(`gdp-wired-cli: ${e instanceof Error ? e.message : String(e)}\n`); process.exitCode = 2 })
package/package.json CHANGED
@@ -1,6 +1,28 @@
1
1
  {
2
2
  "name": "gdp-wired-cli",
3
- "version": "0.0.0-stage",
4
- "stub": true,
5
- "description": "Temporary package placeholder for staged publishing"
6
- }
3
+ "version": "0.33.0",
4
+ "description": "gdp-wired's command line with TypeScript beside it: `npx gdp-wired-cli check <file|dir>` reads the rule in the code (Python, Ruby, Elixir, Java, Kotlin, Go, Rust, Swift, C, C++, TypeScript), checks it against the code and proves the laws stated in its comments",
5
+ "license": "MIT",
6
+ "author": "Tom X Nguyen",
7
+ "repository": {
8
+ "type": "git",
9
+ "url": "git+https://github.com/monotykamary/gdp-wired.git",
10
+ "directory": "packages/cli"
11
+ },
12
+ "homepage": "https://github.com/monotykamary/gdp-wired#readme",
13
+ "keywords": ["verification", "invariants", "cli", "gdp-wired"],
14
+ "type": "module",
15
+ "bin": {
16
+ "gdp-wired-cli": "bin.js"
17
+ },
18
+ "files": [
19
+ "bin.js"
20
+ ],
21
+ "engines": {
22
+ "node": ">=20"
23
+ },
24
+ "dependencies": {
25
+ "gdp-wired": "0.33.0",
26
+ "typescript": "^5.9.0"
27
+ }
28
+ }
package/README.md DELETED
@@ -1,3 +0,0 @@
1
- # Temporary Holding Version
2
-
3
- This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.