メニュー
Use when running Habu focused tests, the full native gate, timing the gate, or changing gate pool and budget arguments.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Use when timing the Habu native test suite on a supported host class, comparing host profiles, or setting timing-regression policy.
Use when recovering or refreshing Habu bin/hb, selecting Gforth, validating no-binary bootstrap, or porting bootstrap work to zed/Linux.
Use when building standalone Habu AOT binaries, REPL images, or validating native hb-build behavior.
| name | habu-gate |
| description | Use when running Habu focused tests, the full native gate, timing the gate, or changing gate pool and budget arguments. |
Use native bin/hb for all gate work. Do not add env-var knobs; expose policy as
script arguments.
For timing-regression checks, use skills/habu-host-profiles/SKILL.md. The
runner auto-detects the host profile; force --perf-profile NAME only when
reproducing a specific policy.
Run the full native gate:
bin/hb --load test/run.f
Run with explicit timing policy:
bin/hb --load test/run.f -- --perf-profile macos-arm64-10x2 --timings
Run the macOS timing profile:
bin/hb --load test/run.f -- --under bin/hb --timings
Reuse an already-built Habu candidate instead of rebuilding it:
bin/hb --load test/run.f -- --under bin/hb --perf-profile macos-arm64-10x2 --timings
Run focused tests through their owning load path before the full gate. Keep generated artifacts out of the commit and delete gate caches only when testing uncached behavior.
Habu-under-test is the small rebuilt hb-stdin engine, not a snapshot
launcher. Snapshot coverage belongs to the native build/fixpoint path.