velaris-lang 8.2.1 → 8.3.1

package/README.md

@@ -66,6 +66,6 @@ than mysterious. If you ask for a subcommand that version does not
 have, it says which command and which version introduced it instead of
 handing it over. `pip install -U velaris-lang` upgrades the compiler.
 
-[Documentation](https://gowrishankar-infra.github.io/velaris-lang/) ·
-[Playground](https://gowrishankar-infra.github.io/velaris-lang/playground.html) ·
+[Documentation](https://velaris-lang.dev/) ·
+[Playground](https://velaris-lang.dev/playground.html) ·
 [Source](https://github.com/gowrishankar-infra/velaris-lang)

package/bin/velaris.js

@@ -56,8 +56,12 @@ const INTRODUCED = {
   mcp: "4.3.3",
   migrate: "5.0.0",
   "deps-diff": "7.1.0",
+  "permissions-ratchet": "8.3.0",
   eject: "8.1.0",
   stats: "8.2.0",
+  eval: "8.3.0",
+  receipts: "8.3.0",
+  replay: "8.3.0",
 };
 
 // The two flags the compiler takes before any command, each with a

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "velaris-lang",
-  "version": "8.2.1",
+  "version": "8.3.1",
   "mcpName": "io.github.gowrishankar-infra/velaris",
   "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.",
   "keywords": [
@@ -13,7 +13,7 @@
     "mcp",
     "prover"
   ],
-  "homepage": "https://gowrishankar-infra.github.io/velaris-lang/",
+  "homepage": "https://velaris-lang.dev/",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/gowrishankar-infra/velaris-lang.git"

package/python.js

@@ -140,4 +140,4 @@ export const NOT_INSTALLED =
   "Velaris needs its compiler, which is a Python package:\n" +
   "\n    pip install velaris-lang\n" +
   "\nOr try it with nothing installed:\n" +
-  "    https://gowrishankar-infra.github.io/velaris-lang/playground.html";
+  "    https://velaris-lang.dev/playground.html";