メニュー
L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
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.
| name | sounio-l0-core |
| description | L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics. |
docs/MV_CORE_CHECKLIST.md first.stdlib/epistemic/SEMANTICS.md for Knowledge/uncertainty/confidence/provenance rules..claude/commands/sounio-effects.md for effect expectations.with IO, with Panic, etc.)..claude/commands/sounio-units.md to keep unit syntax and checks consistent.docs/MV_CORE_CHECKLIST.mdstdlib/epistemic/SEMANTICS.mddocs/spec/LANGUAGE_SPECIFICATION.md.claude/commands/sounio-effects.md.claude/commands/sounio-units.md