@loj-lang/cli 0.5.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 (36) hide show
  1. package/README.md +87 -0
  2. package/agent-assets/loj-authoring/SKILL.md +179 -0
  3. package/agent-assets/loj-authoring/agents/openai.yaml +3 -0
  4. package/agent-assets/loj-authoring/metadata.json +6 -0
  5. package/agent-assets/loj-authoring/references/backend-family.md +340 -0
  6. package/agent-assets/loj-authoring/references/backend-targets.md +171 -0
  7. package/agent-assets/loj-authoring/references/frontend-family.md +794 -0
  8. package/agent-assets/loj-authoring/references/frontend-runtime-trace.md +204 -0
  9. package/agent-assets/loj-authoring/references/policy-rules-proof.md +178 -0
  10. package/agent-assets/loj-authoring/references/project-and-transport.md +454 -0
  11. package/agent-assets/loj-authoring/references/workflow-flow-proof.md +263 -0
  12. package/dist/database-native-sql.d.ts +4 -0
  13. package/dist/database-native-sql.d.ts.map +1 -0
  14. package/dist/database-native-sql.js +266 -0
  15. package/dist/database-native-sql.js.map +1 -0
  16. package/dist/env.d.ts +31 -0
  17. package/dist/env.d.ts.map +1 -0
  18. package/dist/env.js +229 -0
  19. package/dist/env.js.map +1 -0
  20. package/dist/fastapi-dev-runner.d.ts +3 -0
  21. package/dist/fastapi-dev-runner.d.ts.map +1 -0
  22. package/dist/fastapi-dev-runner.js +263 -0
  23. package/dist/fastapi-dev-runner.js.map +1 -0
  24. package/dist/flow-proof.d.ts +3 -0
  25. package/dist/flow-proof.d.ts.map +1 -0
  26. package/dist/flow-proof.js +2 -0
  27. package/dist/flow-proof.js.map +1 -0
  28. package/dist/index.d.ts +36 -0
  29. package/dist/index.d.ts.map +1 -0
  30. package/dist/index.js +5353 -0
  31. package/dist/index.js.map +1 -0
  32. package/dist/rules-proof.d.ts +3 -0
  33. package/dist/rules-proof.d.ts.map +1 -0
  34. package/dist/rules-proof.js +2 -0
  35. package/dist/rules-proof.js.map +1 -0
  36. package/package.json +49 -0
@@ -0,0 +1,263 @@
1
+ #!/usr/bin/env node
2
+ import { spawn, spawnSync } from 'node:child_process';
3
+ import { createHash } from 'node:crypto';
4
+ import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
5
+ import { resolve } from 'node:path';
6
+ const options = parseArgs(process.argv.slice(2));
7
+ const generatedDir = resolve(process.cwd(), options.generatedDir);
8
+ const venvDir = resolve(process.env.LOJ_FASTAPI_VENV_DIR ?? resolve(process.cwd(), '.venv-fastapi-dev'));
9
+ const pythonLauncher = process.env.PYTHON ?? 'python3';
10
+ const venvPython = process.platform === 'win32'
11
+ ? resolve(venvDir, 'Scripts', 'python.exe')
12
+ : resolve(venvDir, 'bin', 'python');
13
+ const installStampPath = resolve(venvDir, '.loj-fastapi-install.json');
14
+ main();
15
+ function main() {
16
+ const pyprojectPath = resolve(generatedDir, 'pyproject.toml');
17
+ if (!existsSync(pyprojectPath)) {
18
+ throw new Error(`Missing generated FastAPI project at ${pyprojectPath}`);
19
+ }
20
+ ensureVirtualEnvironment();
21
+ ensureEditableInstall(pyprojectPath);
22
+ runServer();
23
+ }
24
+ function ensureVirtualEnvironment() {
25
+ if (existsSync(venvPython)) {
26
+ return;
27
+ }
28
+ mkdirSync(venvDir, { recursive: true });
29
+ runChecked(pythonLauncher, ['-m', 'venv', venvDir], { cwd: generatedDir });
30
+ }
31
+ function ensureEditableInstall(pyprojectPath) {
32
+ const pyprojectHash = hashFile(pyprojectPath);
33
+ const existingStamp = readInstallStamp();
34
+ if (existingStamp?.pyprojectHash === pyprojectHash && existsSync(venvPython)) {
35
+ return;
36
+ }
37
+ runChecked(venvPython, ['-m', 'pip', 'install', '--disable-pip-version-check', 'setuptools>=68', 'wheel'], { cwd: generatedDir });
38
+ runChecked(venvPython, ['-m', 'pip', 'install', '--disable-pip-version-check', '--no-build-isolation', '-e', '.'], { cwd: generatedDir });
39
+ writeFileSync(installStampPath, `${JSON.stringify({ pyprojectHash }, null, 2)}\n`, 'utf8');
40
+ }
41
+ function readInstallStamp() {
42
+ if (!existsSync(installStampPath)) {
43
+ return null;
44
+ }
45
+ try {
46
+ return JSON.parse(readFileSync(installStampPath, 'utf8'));
47
+ }
48
+ catch {
49
+ return null;
50
+ }
51
+ }
52
+ function hashFile(filePath) {
53
+ return createHash('sha256').update(readFileSync(filePath, 'utf8')).digest('hex');
54
+ }
55
+ function runServer() {
56
+ const child = spawn(venvPython, [
57
+ ...(options.debugpyHost && options.debugpyPort
58
+ ? [
59
+ '-m',
60
+ 'debugpy',
61
+ '--listen',
62
+ `${options.debugpyHost}:${options.debugpyPort}`,
63
+ '-m',
64
+ 'uvicorn',
65
+ 'app.main:app',
66
+ ]
67
+ : [
68
+ '-m',
69
+ 'uvicorn',
70
+ 'app.main:app',
71
+ ]),
72
+ '--host',
73
+ options.host,
74
+ '--port',
75
+ options.port,
76
+ ...(options.rootPath ? ['--root-path', options.rootPath] : []),
77
+ ...(options.shutdownMode === 'graceful'
78
+ ? ['--timeout-graceful-shutdown', String(options.shutdownTimeoutSeconds)]
79
+ : []),
80
+ ...(options.forwardedHeadersMode === 'standard'
81
+ ? ['--proxy-headers', '--forwarded-allow-ips', renderTrustedProxyForwardedAllowIps(options)]
82
+ : []),
83
+ ], {
84
+ cwd: generatedDir,
85
+ env: process.env,
86
+ stdio: 'inherit',
87
+ });
88
+ let shuttingDown = false;
89
+ const forwardSignal = (signal) => {
90
+ if (shuttingDown) {
91
+ return;
92
+ }
93
+ shuttingDown = true;
94
+ if (child.exitCode === null && child.signalCode === null) {
95
+ child.kill(signal);
96
+ setTimeout(() => {
97
+ if (child.exitCode === null && child.signalCode === null) {
98
+ child.kill('SIGKILL');
99
+ }
100
+ }, 5000).unref();
101
+ }
102
+ };
103
+ process.on('SIGINT', () => forwardSignal('SIGINT'));
104
+ process.on('SIGTERM', () => forwardSignal('SIGTERM'));
105
+ child.on('exit', (code, signal) => {
106
+ if (signal) {
107
+ process.kill(process.pid, signal);
108
+ return;
109
+ }
110
+ process.exit(code ?? 1);
111
+ });
112
+ }
113
+ function runChecked(command, args, options) {
114
+ const result = spawnSync(command, args, {
115
+ cwd: options.cwd,
116
+ env: {
117
+ ...process.env,
118
+ ...options.env,
119
+ },
120
+ stdio: 'inherit',
121
+ });
122
+ if (result.error) {
123
+ throw result.error;
124
+ }
125
+ if (typeof result.status === 'number' && result.status !== 0) {
126
+ process.exit(result.status);
127
+ }
128
+ if (result.signal) {
129
+ process.exit(1);
130
+ }
131
+ }
132
+ function parseArgs(args) {
133
+ let generatedDir;
134
+ let host;
135
+ let port;
136
+ let debugpyHost;
137
+ let debugpyPort;
138
+ let rootPath;
139
+ let shutdownMode = 'graceful';
140
+ let shutdownTimeoutSeconds = 30;
141
+ let forwardedHeadersMode = 'none';
142
+ let trustedProxyMode = 'local';
143
+ let trustedProxyCidrs;
144
+ for (let index = 0; index < args.length; index += 1) {
145
+ const arg = args[index];
146
+ if (arg === '--generated-dir') {
147
+ generatedDir = args[index + 1];
148
+ index += 1;
149
+ continue;
150
+ }
151
+ if (arg === '--host') {
152
+ host = args[index + 1];
153
+ index += 1;
154
+ continue;
155
+ }
156
+ if (arg === '--port') {
157
+ port = args[index + 1];
158
+ index += 1;
159
+ continue;
160
+ }
161
+ if (arg === '--debugpy-host') {
162
+ const value = args[index + 1];
163
+ if (typeof value === 'string' && value.trim().length > 0) {
164
+ debugpyHost = value.trim();
165
+ index += 1;
166
+ continue;
167
+ }
168
+ throw new Error('fastapi-dev-runner --debugpy-host must be a non-empty string');
169
+ }
170
+ if (arg === '--debugpy-port') {
171
+ const value = args[index + 1];
172
+ if (typeof value === 'string' && /^[1-9][0-9]*$/.test(value.trim())) {
173
+ debugpyPort = value.trim();
174
+ index += 1;
175
+ continue;
176
+ }
177
+ throw new Error('fastapi-dev-runner --debugpy-port must be a positive integer');
178
+ }
179
+ if (arg === '--root-path') {
180
+ const value = args[index + 1];
181
+ if (typeof value === 'string' && value.trim().startsWith('/')) {
182
+ rootPath = value.trim();
183
+ index += 1;
184
+ continue;
185
+ }
186
+ throw new Error('fastapi-dev-runner --root-path must start with "/"');
187
+ }
188
+ if (arg === '--shutdown-mode') {
189
+ const value = args[index + 1];
190
+ if (value === 'immediate' || value === 'graceful') {
191
+ shutdownMode = value;
192
+ index += 1;
193
+ continue;
194
+ }
195
+ throw new Error('fastapi-dev-runner --shutdown-mode must be "immediate" or "graceful"');
196
+ }
197
+ if (arg === '--shutdown-timeout') {
198
+ const value = Number(args[index + 1]);
199
+ if (!Number.isFinite(value) || value <= 0) {
200
+ throw new Error('fastapi-dev-runner --shutdown-timeout must be a positive number');
201
+ }
202
+ shutdownTimeoutSeconds = value;
203
+ index += 1;
204
+ continue;
205
+ }
206
+ if (arg === '--forwarded-headers-mode') {
207
+ const value = args[index + 1];
208
+ if (value === 'none' || value === 'standard') {
209
+ forwardedHeadersMode = value;
210
+ index += 1;
211
+ continue;
212
+ }
213
+ throw new Error('fastapi-dev-runner --forwarded-headers-mode must be "none" or "standard"');
214
+ }
215
+ if (arg === '--trusted-proxy-mode') {
216
+ const value = args[index + 1];
217
+ if (value === 'local' || value === 'all' || value === 'cidrs') {
218
+ trustedProxyMode = value;
219
+ index += 1;
220
+ continue;
221
+ }
222
+ throw new Error('fastapi-dev-runner --trusted-proxy-mode must be "local", "all", or "cidrs"');
223
+ }
224
+ if (arg === '--trusted-proxy-cidrs') {
225
+ const value = args[index + 1];
226
+ if (typeof value === 'string' && value.trim().length > 0) {
227
+ trustedProxyCidrs = value.trim();
228
+ index += 1;
229
+ continue;
230
+ }
231
+ throw new Error('fastapi-dev-runner --trusted-proxy-cidrs must be a non-empty comma-separated string');
232
+ }
233
+ }
234
+ if (!generatedDir || !host || !port) {
235
+ throw new Error('Usage: fastapi-dev-runner --generated-dir <dir> --host <host> --port <port> [--debugpy-host <host> --debugpy-port <port>] [--shutdown-mode graceful|immediate] [--shutdown-timeout <seconds>] [--forwarded-headers-mode none|standard] [--trusted-proxy-mode local|all|cidrs] [--trusted-proxy-cidrs <cidr1,cidr2>]');
236
+ }
237
+ if ((debugpyHost && !debugpyPort) || (!debugpyHost && debugpyPort)) {
238
+ throw new Error('fastapi-dev-runner --debugpy-host and --debugpy-port must be provided together');
239
+ }
240
+ return {
241
+ generatedDir,
242
+ host,
243
+ port,
244
+ debugpyHost,
245
+ debugpyPort,
246
+ rootPath,
247
+ shutdownMode,
248
+ shutdownTimeoutSeconds,
249
+ forwardedHeadersMode,
250
+ trustedProxyMode,
251
+ trustedProxyCidrs,
252
+ };
253
+ }
254
+ function renderTrustedProxyForwardedAllowIps(options) {
255
+ if (options.trustedProxyMode === 'all') {
256
+ return '*';
257
+ }
258
+ if (options.trustedProxyMode === 'cidrs' && options.trustedProxyCidrs) {
259
+ return options.trustedProxyCidrs;
260
+ }
261
+ return '127.0.0.1,::1';
262
+ }
263
+ //# sourceMappingURL=fastapi-dev-runner.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"fastapi-dev-runner.js","sourceRoot":"","sources":["../src/fastapi-dev-runner.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAgBpC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;AAClE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;AACzG,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC;AACvD,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO;IAC7C,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC;IAC3C,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACtC,MAAM,gBAAgB,GAAG,OAAO,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;AAEvE,IAAI,EAAE,CAAC;AAEP,SAAS,IAAI;IACX,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAC9D,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,wCAAwC,aAAa,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,wBAAwB,EAAE,CAAC;IAC3B,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACrC,SAAS,EAAE,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB;IAC/B,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,OAAO;IACT,CAAC;IACD,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACxC,UAAU,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,qBAAqB,CAAC,aAAqB;IAClD,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,gBAAgB,EAAE,CAAC;IACzC,IAAI,aAAa,EAAE,aAAa,KAAK,aAAa,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7E,OAAO;IACT,CAAC;IAED,UAAU,CACR,UAAU,EACV,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAClF,EAAE,GAAG,EAAE,YAAY,EAAE,CACtB,CAAC;IACF,UAAU,CACR,UAAU,EACV,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,6BAA6B,EAAE,sBAAsB,EAAE,IAAI,EAAE,GAAG,CAAC,EAC1F,EAAE,GAAG,EAAE,YAAY,EAAE,CACtB,CAAC;IACF,aAAa,CAAC,gBAAgB,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,gBAAgB;IACvB,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAA+B,CAAC;IAC1F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB;IAChC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,SAAS;IAChB,MAAM,KAAK,GAAG,KAAK,CACjB,UAAU,EACV;QACE,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW;YAC5C,CAAC,CAAC;gBACA,IAAI;gBACJ,SAAS;gBACT,UAAU;gBACV,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,EAAE;gBAC/C,IAAI;gBACJ,SAAS;gBACT,cAAc;aACf;YACD,CAAC,CAAC;gBACA,IAAI;gBACJ,SAAS;gBACT,cAAc;aACf,CAAC;QACJ,QAAQ;QACR,OAAO,CAAC,IAAI;QACZ,QAAQ;QACR,OAAO,CAAC,IAAI;QACZ,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,UAAU;YACrC,CAAC,CAAC,CAAC,6BAA6B,EAAE,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;YACzE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,OAAO,CAAC,oBAAoB,KAAK,UAAU;YAC7C,CAAC,CAAC,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,mCAAmC,CAAC,OAAO,CAAC,CAAC;YAC5F,CAAC,CAAC,EAAE,CAAC;KACR,EACD;QACE,GAAG,EAAE,YAAY;QACjB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,SAAS;KACjB,CACF,CAAC;IAEF,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,EAAE;QACvC,IAAI,YAAY,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QACD,YAAY,GAAG,IAAI,CAAC;QACpB,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,UAAU,CAAC,GAAG,EAAE;gBACd,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;oBACzD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpD,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;IAEtD,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAChC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,OAAe,EACf,IAAc,EACd,OAGC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE;QACtC,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,GAAG,EAAE;YACH,GAAG,OAAO,CAAC,GAAG;YACd,GAAG,OAAO,CAAC,GAAG;SACf;QACD,KAAK,EAAE,SAAS;KACjB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,MAAM,CAAC,KAAK,CAAC;IACrB,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAc;IAC/B,IAAI,YAAgC,CAAC;IACrC,IAAI,IAAwB,CAAC;IAC7B,IAAI,IAAwB,CAAC;IAC7B,IAAI,WAA+B,CAAC;IACpC,IAAI,WAA+B,CAAC;IACpC,IAAI,QAA4B,CAAC;IACjC,IAAI,YAAY,GAA6B,UAAU,CAAC;IACxD,IAAI,sBAAsB,GAAG,EAAE,CAAC;IAChC,IAAI,oBAAoB,GAAwB,MAAM,CAAC;IACvD,IAAI,gBAAgB,GAA8B,OAAO,CAAC;IAC1D,IAAI,iBAAqC,CAAC;IAE1C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;YAC9B,YAAY,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/B,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACvB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACvB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,gBAAgB,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzD,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC3B,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,GAAG,KAAK,gBAAgB,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACpE,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC3B,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9D,QAAQ,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;gBAClD,YAAY,GAAG,KAAK,CAAC;gBACrB,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,GAAG,KAAK,oBAAoB,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;YACrF,CAAC;YACD,sBAAsB,GAAG,KAAK,CAAC;YAC/B,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,0BAA0B,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;gBAC7C,oBAAoB,GAAG,KAAK,CAAC;gBAC7B,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,GAAG,KAAK,sBAAsB,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBAC9D,gBAAgB,GAAG,KAAK,CAAC;gBACzB,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,GAAG,KAAK,uBAAuB,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzD,iBAAiB,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBACjC,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAC;QACzG,CAAC;IACH,CAAC;IAED,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,qTAAqT,CAAC,CAAC;IACzU,CAAC;IACD,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,WAAW,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IACpG,CAAC;IAED,OAAO;QACL,YAAY;QACZ,IAAI;QACJ,IAAI;QACJ,WAAW;QACX,WAAW;QACX,QAAQ;QACR,YAAY;QACZ,sBAAsB;QACtB,oBAAoB;QACpB,gBAAgB;QAChB,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,mCAAmC,CAAC,OAAgC;IAC3E,IAAI,OAAO,CAAC,gBAAgB,KAAK,KAAK,EAAE,CAAC;QACvC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,KAAK,OAAO,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QACtE,OAAO,OAAO,CAAC,iBAAiB,CAAC;IACnC,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC"}
@@ -0,0 +1,3 @@
1
+ export { buildFlowManifestFileName, compileFlowSource, isFlowSourceFile, } from '@loj-lang/sdsl-compiler';
2
+ export type { FlowCompileError, FlowCompileResult, FlowManifest, FlowProgram, } from '@loj-lang/sdsl-compiler';
3
+ //# sourceMappingURL=flow-proof.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"flow-proof.d.ts","sourceRoot":"","sources":["../src/flow-proof.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,WAAW,GACZ,MAAM,yBAAyB,CAAC"}
@@ -0,0 +1,2 @@
1
+ export { buildFlowManifestFileName, compileFlowSource, isFlowSourceFile, } from '@loj-lang/sdsl-compiler';
2
+ //# sourceMappingURL=flow-proof.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"flow-proof.js","sourceRoot":"","sources":["../src/flow-proof.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC"}
@@ -0,0 +1,36 @@
1
+ #!/usr/bin/env node
2
+ export interface CliIO {
3
+ cwd?: string;
4
+ stdout?: (text: string) => void;
5
+ stderr?: (text: string) => void;
6
+ env?: Record<string, string | undefined>;
7
+ runtime?: CliRuntime;
8
+ onDevSession?: (session: DevSession) => void;
9
+ }
10
+ export interface DevWatcher {
11
+ close(): void;
12
+ }
13
+ export interface DevProcess {
14
+ readonly exitCode: number | null;
15
+ readonly signalCode: string | null;
16
+ close(signal?: string): void;
17
+ }
18
+ export interface SpawnProcessOptions {
19
+ cwd: string;
20
+ env?: Record<string, string | undefined>;
21
+ onStdoutLine?: (line: string) => void;
22
+ onStderrLine?: (line: string) => void;
23
+ onExit?: (code: number | null, signal: string | null) => void;
24
+ }
25
+ export interface CliRuntime {
26
+ watch(directory: string, listener: (eventType: string, fileName?: string) => void): DevWatcher;
27
+ spawn(command: string, args: string[], options: SpawnProcessOptions): DevProcess;
28
+ exists(path: string): boolean;
29
+ npmCommand(): string;
30
+ }
31
+ export interface DevSession {
32
+ close(): void;
33
+ rebuild(trigger?: 'manual' | 'change'): void;
34
+ }
35
+ export declare function runCli(args: string[], io?: CliIO): number;
36
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAuCA,MAAM,WAAW,KAAK;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,IAAI,CAAC;CAC9C;AAiUD,MAAM,WAAW,UAAU;IACzB,KAAK,IAAI,IAAI,CAAC;CACf;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACtC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACtC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC;CAC/D;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,IAAI,GAAG,UAAU,CAAC;IAC/F,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,mBAAmB,GAAG,UAAU,CAAC;IACjF,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,UAAU,IAAI,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,IAAI,IAAI,CAAC;IACd,OAAO,CAAC,OAAO,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAAC;CAC9C;AAkUD,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAE,KAAU,GAAG,MAAM,CAmD7D"}