sounio

Type-check a Sounio .sio file using the souc compiler

JIT-execute a Sounio .sio file and show output

Type-check a Sounio .sio file using the souc compiler

Compile and run a Sounio .sio file and show output

Work on the self-hosted Sounio compiler bootstrap path: self-hosted/main.sio pipeline modes (--lex, --parse, --check, --ir-dump, --native-compile), frontend corpus gates, and bootstrap binary milestones.

Work on the native x86-64 code generation backend: register allocation, instruction encoding, peephole optimization, frame sizing, ELF output, and the compile_ir_function pipeline; use when editing any sprint 52–65+ native/*.sio files.

Work on the profile-guided optimization pipeline: counter injection, .sprof file output, strategy promotion, inlining, layout, const-fold/DCE, and register allocation; use when editing any sprint 38–52+ IR optimization files.

Work on the Sounio render platform: stdlib/render/ API, examples/render/ examples, website showcase generation, and GPU backend emitters; use when editing any render-related .sio file or website preview.

Scan a .sio file for Rust-isms and suggest Sounio-native fixes

L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.

Write and edit Sounio `.sio` code, examples, and language docs; enforce Sounio-native syntax (`var`, `&!`, explicit `with` effects) and reduce Rust-like drift across `examples/`, `tests/`, and `docs/`.

Work on Sounio type checking and effect system (bidirectional inference, effect inference/enforcement, and type rules); use when editing `compiler/src/typeck/`, `compiler/src/types/`, `compiler/src/check/`, or `compiler/src/effects/`.

Extend Sounio's automatic differentiation capabilities to higher‑order derivatives, Hessians, differentiation through control flow, and GPU‑accelerated gradient computation, enabling state‑of‑the‑art scientific machine learning.

Extend Sounio's epistemic types with advanced uncertainty quantification methods, such as confidence intervals, non‑Gaussian distributions, and Dempster‑Shafer evidence combination, positioning the language at the state‑of‑the‑art in measurement science.

Integrate formal verification tools (SMT solvers, Lean) to prove properties of epistemic programs, such as uncertainty bounds, confidence guarantees, and provenance integrity, establishing Sounio as a language with mathematically verified scientific claims.

Perform systematic, safety‑preserving refactoring of code in any language, using dependency analysis, invariant detection, and verification techniques to avoid introducing bugs.

Extend Sounio's epistemic types with advanced uncertainty quantification methods, such as confidence intervals, non‑Gaussian distributions, and Dempster‑Shafer evidence combination, positioning the language at the state‑of‑the‑art in measurement science.

Choose which AI model to use for a given Sounio task: type-checker changes, render examples, PGO passes, docs/skills updates, bootstrap debugging, codebase sweeps, and paper sections.

Work on Sounio code generation and backends (Cranelift, LLVM, GPU, native ELF backend); use when editing `compiler/src/codegen/`, `compiler/src/backend/`, or backend-adjacent runtime glue.

Implement and debug Sounio MIR/SSA analyses and optimization passes (CSE/DCE/const-prop/LICM); use when editing `compiler/src/mir/` or adding MIR-level performance work.

Work on Sounio epistemic computing: `Knowledge`/uncertainty/confidence/provenance, ontology bindings, and dependent epistemic subtyping/proofs; use when editing `compiler/src/epistemic/`, `compiler/src/dependent/`, or `stdlib/epistemic/`.

Keep `examples/` compiling and aligned with the compiler; use when editing examples or enforcing example hygiene.

Work on Sounio scientific ontology integration (term resolution, embeddings, semantic typing, federated ontologies); use when editing `compiler/src/ontology/` or ontology-related diagnostics/types.

Develop the Sounio standard library (`stdlib/`): add/edit modules, keep APIs consistent, and update `STDLIB_REFERENCE.md`; use when working on stdlib `.sio` code or stdlib docs/tests.

Add and maintain Sounio tests: `tests/run-pass`, `tests/compile-fail`, `tests/ui`, and Rust integration tests under `compiler/tests`; use when writing regressions or adjusting diagnostics expectations.

Work on Sounio tooling: LSP, VSCode extension, playground (WASM), and Jupyter kernel; use when editing `compiler/src/lsp/`, `editors/vscode/`, `playground/`, or `jupyter/`.