Skip to content

CLAUDE.md

Latest commit

 

History

History
14 lines (9 loc) · 513 Bytes

CLAUDE.md

File metadata and controls

14 lines (9 loc) · 513 Bytes

CLAUDE.md

See AGENTS.md for project instructions.

Formal Verification

Follow the PulseEngine Formal Verification Guide.

Key: code must satisfy all tracks simultaneously (Verus + Rocq + Kani). Write to the intersection — no trait objects, closures, or async in verified code.

Additional Settings

  • Use rivet validate to verify changes to artifact YAML files
  • Use rivet list --format json for machine-readable artifact queries