Oska guides

Task-oriented guides for the oskac toolchain. Oska is pre-alpha: these pages describe what the current build does, which is v0.1.0 or later. The programs and outputs on these pages are checked against the real toolchain by cargo test.

Start here

1. Install: one-line installers for the latest release, or build from source.
2. Quickstart: write, check, run, and test a program.
3. Language tour: the syntax and types in one sitting.

Concepts

• Capabilities and authority: how a program's effects are visible in its signatures.
• Untrusted data and secrets: how Oska keeps injection and leaks out of programs.

Working with the toolchain

• Testing with oskac test
• Debugging: dbg, panics, and --format=json
• Troubleshooting: by symptom and by diagnostic code.
• CLI reference
• Agent guide: the check, fix, run, test, and authority loop, with machine-readable output.

Examples

Each example page shows the program's source and its oskac check authority report.

• hello
• capabilities

Reference

• Design notes, checker notes, runtime notes, and the AST reference.
• Glossary and the decision records.