Menu
Systematically diagnose Sailfin compilation, self-hosting, or LLVM lowering failures without adding build-driver workarounds.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Run the full Sailfin compiler validation pipeline (make clean-build then make check). Use before declaring a feature shipped, before cutting a release, or when you need to verify self-hosting still works after a structural change.
Systematically diagnose why a Sailfin source file or self-hosting build step fails to compile. Isolates the failure, identifies the pipeline stage, escalates to seed-stabilizer or compiler-architect when the fix is non-trivial, and verifies via test-runner. Use whenever `make compile` fails, a .sfn file won't build, or LLVM rejects generated IR.
Run Sailfin compiler and test verification safely with the required self-hosting and formatting gates.
Pick up a ready Sailfin Linear or GitHub issue and drive it through branch, implementation, verification, and PR handoff.
Plan Sailfin work in Linear from Initiatives through Projects to session-sized compiler/runtime issues. Use when Codex needs to audit or create Linear planning structure, prioritize production compiler/runtime health and performance, assign Projects/Cycles/priorities/estimates, groom Triage/Backlog/Ready/Blocked queues, or propose/apply bulk Linear issue updates.
Pin the Sailfin seed compiler to a specific released version. Updates bootstrap.toml [seed].version and the compiler [toolchain] floor, fetches the binary, and optionally runs a smoke compile to verify the new seed builds the compiler. Usage: /pin-seed <version> (e.g. /pin-seed v0.5.10-alpha.12 or /pin-seed 0.5.10-alpha.12).
| name | sailfin-debug-compile |
| description | Systematically diagnose Sailfin compilation, self-hosting, or LLVM lowering failures without adding build-driver workarounds. |
Use this skill whenever sfn check, make compile, a single .sfn build, or LLVM/linking fails.
sfn check <file> or build/bin/sfn check <file>.timeout 60.make compile output and preserve the log path.Map the symptom to the canonical pipeline stage:
compiler/src/lexer.sfn, compiler/src/parser.sfncompiler/src/ast.sfn, compiler/src/typecheck.sfn, compiler/src/effect_checker.sfncompiler/src/native_ir.sfn, compiler/src/emit_native.sfncompiler/src/llvm/lowering/runtime/prelude.sfn, runtime/sfn/compiler/src/cli/, compiler/src/capsule_resolver.sfn (orchestration only; no fixups)If a similar construct works elsewhere, compare emitted .sfn-asm or .ll and look for the first divergence.
compiler/src/ or runtime/sfn/; keep the diff minimal.compiler/tests/ when the failure pattern can recur.sfn check <touched .sfn files> for the fast parse/type/effect loop.sfn fmt --write and sfn fmt --check on touched .sfn files under compiler/src/ or runtime/.make compile for compiler-source changes.make test or make check only when the issue asks
for a full gate or the fix is structural, release-facing, or high-risk.ulimit prefix is needed.make clean-build before rebuilding.