From 7ba05a9dca4ef8abbfaa6e6efb19435a2753b651 Mon Sep 17 00:00:00 2001 From: O6lvl4 Date: Sun, 4 Oct 2026 01:18:55 +0900 Subject: [PATCH 1/2] Drop the FS.read and FS.write allow names, which the compiler never granted and now rejects (fs is covered by IO) Co-Authored-By: Claude Opus 5.5 (1M context) --- almide.toml | 2 +- examples/demo-agent/almide.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/almide.toml b/almide.toml index 7c5527d..599e5bb 100644 --- a/almide.toml +++ b/almide.toml @@ -3,7 +3,7 @@ name = "porta" version = "0.6.17" [permissions] -allow = ["FS.read", "FS.write", "IO", "Env", "Time", "Net"] +allow = ["IO", "Env", "Time", "Net"] [native-deps] wasmtime = "47.0.3" diff --git a/examples/demo-agent/almide.toml b/examples/demo-agent/almide.toml index 1341237..c8f852b 100644 --- a/examples/demo-agent/almide.toml +++ b/examples/demo-agent/almide.toml @@ -3,4 +3,4 @@ name = "demo-agent" version = "0.1.0" [permissions] -allow = ["FS.read", "FS.write", "IO"] +allow = ["IO"] From 6314d346c90ab517c6aa6edd5e2b3cdefd07de4d Mon Sep 17 00:00:00 2001 From: O6lvl4 Date: Sun, 4 Oct 2026 10:54:55 +0900 Subject: [PATCH 2/2] Allow Rand and Fan, which the extern-as-every-category effect inference charges porta's host externs with Co-Authored-By: Claude Opus 5.5 (1M context) --- almide.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/almide.toml b/almide.toml index 599e5bb..33b830f 100644 --- a/almide.toml +++ b/almide.toml @@ -3,7 +3,7 @@ name = "porta" version = "0.6.17" [permissions] -allow = ["IO", "Env", "Time", "Net"] +allow = ["IO", "Env", "Time", "Net", "Rand", "Fan"] [native-deps] wasmtime = "47.0.3"