v2.3.0 — Cargo.toml/CHANGELOG reconciliation per #173

ECHIDNA v1.5.0 - Trust & Safety + Fleet Integration

Major features:
- Trust & safety pipeline complete (13 components)
- Gitbot-fleet integration (Tier 1 Verifier bot)
- 30 prover backends fully implemented
- Security audit: 39% reduction in weak points
- 306+ tests passing
- Performance benchmarks

See CHANGELOG.md for complete release notes.

ECHIDNA v1.3.0 - Production Ready

Full neurosymbolic theorem proving stack:
- 12 prover backends operational
- Julia ML + Rust + ReScript integrated
- Trust framework complete
- 332 proofs, 1,603 tactics training data
- All 8 integration tests passing
- Comprehensive documentation

Not LLM bullshit - the real deal. ✓

MVP 1.0.0 release

chore: rename justfile to Justfile for consistency

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

chore: rename justfile to Justfile for consistency

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

chore: rename justfile to Justfile for consistency

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

chore: rename justfile to Justfile for consistency

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

chore: rename justfile to Justfile for consistency

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

chore: rename justfile to Justfile for consistency

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>