Cross-Platform CI Matrix

[williamofai]

Issue: Cross-Platform CI Matrix

Summary

Expand GitHub Actions to test across multiple platforms, proving bit-identity in CI.

Background

The core value proposition of certifiable-* is deterministic, cross-platform bit-identity. CI should continuously verify this claim.

Current proven platforms:

• ✅ x86_64 Linux (GCC 12.2)
• ✅ x86_64 macOS (Apple Clang)

Target platforms:

• 🎯 aarch64 Linux (ARM64)
• 🎯 riscv64 via ttsim

Tasks

• Add macOS runner to CI matrix
• Add ARM64 runner (ubuntu-24.04-arm64 or self-hosted)
• Add ttsim runner (when Integrate ttsim (Tenstorrent Simulator) #2 complete)
• Store golden reference in repo (test_data/golden/)
• Add CI job that compares hashes against golden
• Fail CI if any platform produces different hashes

Proposed Matrix

strategy:
  matrix:
    include:
      - os: ubuntu-latest
        arch: x86_64
        compiler: gcc
      - os: macos-latest
        arch: x86_64
        compiler: clang
      - os: ubuntu-24.04-arm64
        arch: aarch64
        compiler: gcc
      # Future: ttsim

Acceptance Criteria

• CI runs on at least x86_64 Linux + macOS
• Golden reference committed to repo
• CI verifies Bit-identical: YES on all platforms
• Clear failure message if hashes diverge

Dependencies

• Makefile + CI pattern (Add Makefile + CI Pattern #1)
• ttsim integration (Integrate ttsim (Tenstorrent Simulator) #2) for RISC-V

Assignee

@brixen

Labels

enhancement infrastructure testing cross-platform