velaris-lang 4.3.4 → 7.1.1
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.
- package/README.md +5 -2
- package/bin/velaris.js +3 -1
- package/package.json +39 -39
package/README.md
CHANGED
|
@@ -3,12 +3,15 @@
|
|
|
3
3
|
Run code you did not write.
|
|
4
4
|
|
|
5
5
|
```
|
|
6
|
-
npx velaris-lang script.vel
|
|
6
|
+
npx velaris-lang script.vel
|
|
7
7
|
```
|
|
8
8
|
|
|
9
9
|
That program cannot read a file, reach the network or call Python -
|
|
10
10
|
whatever its source says about itself - and a refusal cannot be caught
|
|
11
|
-
and carried past.
|
|
11
|
+
and carried past. A run with no `--allow` gets `io` (5.0), so that is
|
|
12
|
+
the default rather than something you have to remember; widen it by
|
|
13
|
+
naming what the program needs, and `--allow all` grants every effect
|
|
14
|
+
and says so on stderr.
|
|
12
15
|
|
|
13
16
|
```javascript
|
|
14
17
|
import { audit, run } from "velaris-lang";
|
package/bin/velaris.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
#!/usr/bin/env node
|
|
2
|
-
// npx velaris hello.vel
|
|
2
|
+
// npx velaris hello.vel (it gets io; --allow to widen)
|
|
3
3
|
//
|
|
4
4
|
// Velaris's compiler is one Python file. This hands your arguments to
|
|
5
5
|
// it, and if it is not installed, says exactly how to fix that rather
|
|
@@ -54,6 +54,8 @@ const INTRODUCED = {
|
|
|
54
54
|
conformance: "4.1.0",
|
|
55
55
|
attest: "4.2.0",
|
|
56
56
|
mcp: "4.3.3",
|
|
57
|
+
migrate: "5.0.0",
|
|
58
|
+
"deps-diff": "7.1.0",
|
|
57
59
|
};
|
|
58
60
|
|
|
59
61
|
// The two flags the compiler takes before any command, each with a
|
package/package.json
CHANGED
|
@@ -1,40 +1,40 @@
|
|
|
1
|
-
{
|
|
2
|
-
"name": "velaris-lang",
|
|
3
|
-
"version": "
|
|
4
|
-
"mcpName": "io.github.gowrishankar-infra/velaris",
|
|
5
|
-
"description": "Run code you did not write. A language where a signature declares its effects and promises, and the runtime refuses anything you did not allow.",
|
|
6
|
-
"keywords": [
|
|
7
|
-
"velaris",
|
|
8
|
-
"sandbox",
|
|
9
|
-
"effects",
|
|
10
|
-
"verification",
|
|
11
|
-
"ai-generated-code",
|
|
12
|
-
"agent",
|
|
13
|
-
"mcp",
|
|
14
|
-
"prover"
|
|
15
|
-
],
|
|
16
|
-
"homepage": "https://gowrishankar-infra.github.io/velaris-lang/",
|
|
17
|
-
"repository": {
|
|
18
|
-
"type": "git",
|
|
19
|
-
"url": "git+https://github.com/gowrishankar-infra/velaris-lang.git"
|
|
20
|
-
},
|
|
21
|
-
"bugs": "https://github.com/gowrishankar-infra/velaris-lang/issues",
|
|
22
|
-
"license": "MIT",
|
|
23
|
-
"author": "Palakurthi Gowri Shankar <gowrishankar@gowrishankar.dev>",
|
|
24
|
-
"type": "module",
|
|
25
|
-
"main": "index.js",
|
|
26
|
-
"types": "index.d.ts",
|
|
27
|
-
"bin": {
|
|
28
|
-
"velaris": "bin/velaris.js"
|
|
29
|
-
},
|
|
30
|
-
"files": [
|
|
31
|
-
"index.js",
|
|
32
|
-
"index.d.ts",
|
|
33
|
-
"python.js",
|
|
34
|
-
"bin/",
|
|
35
|
-
"README.md"
|
|
36
|
-
],
|
|
37
|
-
"engines": {
|
|
38
|
-
"node": ">=18"
|
|
39
|
-
}
|
|
1
|
+
{
|
|
2
|
+
"name": "velaris-lang",
|
|
3
|
+
"version": "7.1.1",
|
|
4
|
+
"mcpName": "io.github.gowrishankar-infra/velaris",
|
|
5
|
+
"description": "Run code you did not write. A language where a signature declares its effects and promises, and the runtime refuses anything you did not allow.",
|
|
6
|
+
"keywords": [
|
|
7
|
+
"velaris",
|
|
8
|
+
"sandbox",
|
|
9
|
+
"effects",
|
|
10
|
+
"verification",
|
|
11
|
+
"ai-generated-code",
|
|
12
|
+
"agent",
|
|
13
|
+
"mcp",
|
|
14
|
+
"prover"
|
|
15
|
+
],
|
|
16
|
+
"homepage": "https://gowrishankar-infra.github.io/velaris-lang/",
|
|
17
|
+
"repository": {
|
|
18
|
+
"type": "git",
|
|
19
|
+
"url": "git+https://github.com/gowrishankar-infra/velaris-lang.git"
|
|
20
|
+
},
|
|
21
|
+
"bugs": "https://github.com/gowrishankar-infra/velaris-lang/issues",
|
|
22
|
+
"license": "MIT",
|
|
23
|
+
"author": "Palakurthi Gowri Shankar <gowrishankar@gowrishankar.dev>",
|
|
24
|
+
"type": "module",
|
|
25
|
+
"main": "index.js",
|
|
26
|
+
"types": "index.d.ts",
|
|
27
|
+
"bin": {
|
|
28
|
+
"velaris": "bin/velaris.js"
|
|
29
|
+
},
|
|
30
|
+
"files": [
|
|
31
|
+
"index.js",
|
|
32
|
+
"index.d.ts",
|
|
33
|
+
"python.js",
|
|
34
|
+
"bin/",
|
|
35
|
+
"README.md"
|
|
36
|
+
],
|
|
37
|
+
"engines": {
|
|
38
|
+
"node": ">=18"
|
|
39
|
+
}
|
|
40
40
|
}
|