chore: align examples, docs, and CI validation

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: zrr1999

.github/workflows/ci-tests.yml

@@ -43,6 +43,7 @@ jobs:
       - uses: actions/checkout@v6
         with:
           repository: spore-lang/spore
+          ref: f36d507f3dd33f61e26b9cdc382e855889172667
           path: _spore
 
       - uses: dtolnay/rust-toolchain@stable
@@ -81,6 +82,9 @@ jobs:
           fi
           find "${paths[@]}" -name '*.sp' -type f | sort | xargs -n 1 _spore/target/release/spore build
 
+      - name: Run hello example
+        run: _spore/target/release/spore run examples/hello.sp
+
       - name: Run Spore spec tests
         run: |
           if [ ! -d tests ]; then

README.md

@@ -23,7 +23,7 @@ Operating System
 | `Stdout` | `uses [Console]` | Standard output |
 | `Stdin` | `uses [Console]` | Standard input |
 | `File` | `uses [FileRead]` or `uses [FileWrite]` | File system operations |
-| `Dir` | `uses [FileRead]` | Directory listing |
+| `Dir` | `uses [FileRead]` or `uses [FileWrite]` | Directory listing and creation |
 | `Env` | `uses [Env]` | Environment variables |
 | `Cmd` | `uses [Spawn]` | Process execution |
 
@@ -76,10 +76,10 @@ If you want to add a new tutorial/example, treat this as the bar:
 
 ## Design Philosophy
 
-Following Spore's [SEP-0005 (Effect System)](https://github.com/spore-lang/spore-evolution):
+Following Spore's [SEP-0003 (Effect Capability System)](https://github.com/spore-lang/spore-evolution/blob/main/seps/SEP-0003-effect-capability-system.md):
 
 - **Capability-gated**: Every I/O function declares its required capabilities via `uses [Cap]`
-- **Cost-annotated**: Platform functions carry `cost ≤ N` budgets where meaningful
+- **Cost-annotated**: Platform functions can carry `cost [c, a, i, p]` budgets where meaningful
 - **Error-typed**: Functions declare error sets via `! ErrorType`
 - **Pure by default**: The platform boundary is the only place side effects occur
 

examples/hello.sp

@@ -1,4 +1,4 @@
 /// A simple "Hello World" using the basic-cli platform.
 ///
-/// Run with: spore run examples/hello.sp --platform basic-cli
+/// Run with: spore run examples/hello.sp
 fn main() -> () uses [Console] { println("Hello from Spore basic-cli!") }