name: CI

on:
  push:
    branches: [main]
  pull_request:
    branches: [main]

env:
  CARGO_TERM_COLOR: always

jobs:
  check:
    runs-on: windows-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Install Rust toolchain
        uses: dtolnay/rust-toolchain@stable

      - name: Cache Cargo dependencies
        uses: Swatinem/rust-cache@v2

      - name: Verify pinned toolchain
        run: cargo --version

      - name: Check formatting
        run: cargo fmt --check

      - name: Run Clippy
        run: cargo clippy --workspace --all-targets -- -D warnings

      - name: Jacobian health gate (Epic 0)
        run: cargo test -p entropyk-components --test jacobian_health_sweep

      - name: Add no_std check target
        run: rustup target add thumbv7em-none-eabihf

      - name: Check solver-core no_std build (Story 1.2)
        run: cargo check -p entropyk-solver-core --no-default-features --target thumbv7em-none-eabihf

      - name: Run workspace tests
        run: cargo test --workspace