ci: add minimal github actions workflow

Author: edengilbertus

.github/workflows/ci.yml

@@ -0,0 +1,18 @@
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - run: cargo clippy -- -D warnings
+      - run: cargo test
+      - run: cargo check
+      - name: Header drift check
+        run: |
+          cargo install cbindgen --locked
+          cbindgen --config cbindgen.toml --output /tmp/kore_check.h
+          diff include/kore.h /tmp/kore_check.h

docs/plans/2026-03-20-kore-ci-design.md

@@ -0,0 +1,39 @@
+# Kore CI Design
+
+## Goal
+
+Add a minimal GitHub Actions workflow that protects the current `kore` milestone by verifying lint, tests, build health, and generated-header drift on every push and pull request.
+
+## Scope
+
+This phase is intentionally small. It adds one Ubuntu-based CI job, tags the current milestone commit as `v0.1.0-dev`, and pushes the branch/tag to GitHub. It does not add matrix builds, release automation, or deployment steps.
+
+## Workflow Shape
+
+The workflow lives at `.github/workflows/ci.yml` and runs on `push` and `pull_request`. It uses the stable Rust toolchain, then runs:
+
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `cargo check`
+- a header drift check using `cbindgen`
+
+The header drift check installs `cbindgen`, regenerates `/tmp/kore_check.h`, and diffs it against `include/kore.h`.
+
+## Git Sequence
+
+The current milestone commit `351efbc` should be tagged first as `v0.1.0-dev` using an annotated tag. Then `main` and the tag should be pushed. After that, the CI workflow is added, committed, pushed, and observed until the GitHub Actions run passes.
+
+## Non-Goals
+
+- Windows/macOS CI
+- release workflows
+- caches or performance optimization
+- badge/README polish
+
+## Verification
+
+The phase is complete when:
+
+- the tag exists locally and on GitHub
+- `.github/workflows/ci.yml` is present and committed
+- the pushed GitHub Actions run is green

docs/plans/2026-03-20-kore-ci-implementation.md

@@ -0,0 +1,115 @@
+# Kore CI Implementation Plan
+
+> **For Claude:** REQUIRED SUB-SKILL: Use superpowers:executing-plans to implement this plan task-by-task.
+
+**Goal:** Tag the current milestone and add a minimal GitHub Actions workflow that keeps `kore` green on pushes and pull requests.
+
+**Architecture:** Keep CI intentionally small: one Ubuntu job, stable Rust, four verification commands. Tag the current milestone first, then commit and push the CI workflow so GitHub can validate the repository automatically.
+
+**Tech Stack:** Git, GitHub CLI, GitHub Actions, Rust, cbindgen
+
+---
+
+### Task 1: Tag the milestone commit
+
+**Files:**
+- No file changes
+
+**Step 1: Verify the current HEAD**
+
+Run: `git rev-parse --short HEAD`
+Expected: `351efbc`
+
+**Step 2: Create the annotated tag**
+
+Run:
+
+```bash
+git tag -a v0.1.0-dev -m "Stable CPU kernel + C ABI milestone"
+```
+
+**Step 3: Push branch and tag**
+
+Run:
+
+```bash
+git push origin main && git push origin v0.1.0-dev
+```
+
+**Step 4: Verify tag exists remotely**
+
+Run: `git ls-remote --tags origin v0.1.0-dev`
+Expected: one matching remote tag line
+
+### Task 2: Add minimal GitHub Actions workflow
+
+**Files:**
+- Create: `.github/workflows/ci.yml`
+
+**Step 1: Write the workflow**
+
+```yaml
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - run: cargo clippy -- -D warnings
+      - run: cargo test
+      - run: cargo check
+      - name: Header drift check
+        run: |
+          cargo install cbindgen --locked
+          cbindgen --config cbindgen.toml --output /tmp/kore_check.h
+          diff include/kore.h /tmp/kore_check.h
+```
+
+**Step 2: Run local equivalence checks**
+
+Run:
+
+```bash
+cargo clippy -- -D warnings && cargo test && cargo check && cbindgen --config cbindgen.toml --output /tmp/kore_check.h && diff include/kore.h /tmp/kore_check.h
+```
+
+Expected: PASS
+
+**Step 3: Commit the workflow**
+
+Run:
+
+```bash
+git add .github/workflows/ci.yml docs/plans/2026-03-20-kore-ci-design.md docs/plans/2026-03-20-kore-ci-implementation.md
+git commit -m "ci: add minimal github actions workflow"
+```
+
+### Task 3: Push CI and confirm GitHub Actions is green
+
+**Files:**
+- No intended file changes
+
+**Step 1: Push the new workflow commit**
+
+Run: `git push origin main`
+Expected: push succeeds
+
+**Step 2: Watch the latest GitHub Actions run**
+
+Run: `gh run watch --exit-status`
+Expected: workflow completes successfully
+
+**Step 3: Verify final run status**
+
+Run: `gh run list --limit 1`
+Expected: latest `CI` run shows `completed success`
+
+## Notes For Execution
+
+- Keep the workflow intentionally minimal.
+- Do not add matrix jobs, caches, release jobs, or badges in this phase.
+- If GitHub Actions fails due to an environment-specific issue, fix only the blocking CI issue and re-run.