菜单
Systematically diagnose Sailfin compilation, self-hosting, or LLVM lowering failures without adding build-driver workarounds.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
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.