Repository navigation

Drop the FS.read and FS.write allow names, which almide never granted and now rejects - #45

Open

O6lvl4 wants to merge 2 commits into

fix-capability-names

Open

Drop the FS.read and FS.write allow names, which almide never granted and now rejects#45
O6lvl4 wants to merge 2 commits into
developfrom
fix-capability-names

Commits on Oct 3, 2026
- Drop the FS.read and FS.write allow names, which the compiler never granted and now rejects (fs is covered by IO)
  
  O6lvl4
  and
  claude
  committed
  7ba05a9
Commits on Oct 4, 2026
- Allow Rand and Fan, which the extern-as-every-category effect inference charges porta's host externs with
  
  O6lvl4
  and
  claude
  committed
  6314d34