القائمة
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.