Tags

Tags give the ability to mark specific points in history as being important

  • v0.2.0-staging-ready

    2118929a · flake: exclude ForemanProtocol.fst from StarBeam build, keep in F* verification · 
    v0.2.0: Staging-ready server infrastructure

Phase 1-2 complete:
- NixOS server module with ERL_LIBS, secrix stub, nginx proxy
- WebSocket handler (ForemanWebsocketHandler, Registry, HeartbeatMonitor)
- Ed25519 auth handshake (challenge-response)
- Job dispatch system (HTTP -> WS -> Foreman -> WS -> HTTP)
- LiveView pipeline -> foreman job integration
- ForemanProtocol.fst with 11 real lemmas (bidirectional ser/deser proof)
- NixOS integration test with mock Foreman exercising full protocol
- C++ mirror reference (FOREMAN_PROTOCOL_REFERENCE.md)
- All 4 flake checks pass (nixfmt, elixir-tests, fstar-proofs, integration)
- 365 tests, 17 properties, 0 failures
- 5 F* modules verified via StarBeam + 1 F* spec-only (ForemanProtocol)