メニュー
Type-check a Sounio .sio file using the souc compiler
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
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.
| name | sounio-check |
| description | Type-check a Sounio .sio file using the souc compiler |
| user-invocable | true |
| allowed-tools | Bash, Read, Glob |
Type-check the specified Sounio source file.
Resolve the souc compiler binary:
$SOUC_BIN or $SOUC environment variable if setsouc on PATH./artifacts/omega/souc-bin/souc-linux-x86_64-jitSOUC_BINIf no file argument given, find the most recently modified .sio file in the working directory
Run type-check:
$SOUC check <file>
If the user asked for --show-ast or --show-types, pass those flags through
Parse the output:
with effects, &mut → &!, semicolons, missing type annotationsIf the error mentions a missing effect, suggest the correct with clause based on what the function body does (IO for print, Mut for mutation, Div for division, Panic for indexing/assert)