feat(corpus): resolved & expanded training corpus (700K+ proofs)#25

Merged

hyperpolymath merged 449 commits intomainfrom

claude/expand-vocabulary-corpus-1SFwy

Apr 20, 2026

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 16, 2026

migrate: .scm → .a2ml state files in .machine_readable/

hyperpolymath
and
claude
committed
ci: deploy missing standard workflows (2 added)

hyperpolymath
and
claude
committed
chore: restructure 6a2ml files into .machine_readable/6a2/
hyperpolymath
committed
chore: add SPDX headers to source files
hyperpolymath
committed
chore: clean up legacy Trustfile.hs, example Trustfiles, and AI.djot files

hyperpolymath
and
claude
committed
chore: restructure nested 6a2ml files into .machine_readable/6a2/
hyperpolymath
committed
feat: add CLADE.a2ml — clade taxonomy declaration

hyperpolymath
and
claude
committed
chore: update manifest paths to .machine_readable/6a2/
hyperpolymath
committed
chore: SHA-pin GitHub Actions for supply chain security

hyperpolymath
and
claude
committed
chore: add #![forbid(unsafe_code)] to safe Rust crates

hyperpolymath
and
claude
committed

Commits on Mar 17, 2026

Commits on Mar 18, 2026

Commits on Mar 20, 2026

Commits on Mar 21, 2026

Commits on Mar 22, 2026

Commits on Mar 23, 2026

Commits on Mar 24, 2026

Commits on Mar 28, 2026

Commits on Mar 31, 2026

Change Green Hosting link in README
hyperpolymath
authored

Commits on Apr 2, 2026

Commits on Apr 3, 2026

Commits on Apr 4, 2026

Commits on Apr 5, 2026

Commits on Apr 7, 2026

fix(api): route SMT check-sat queries through raw solver eval
hyperpolymath
committed

Commits on Apr 8, 2026

chore: automated sync of local changes
hyperpolymath
committed

Commits on Apr 10, 2026

Commits on Apr 11, 2026

Commits on Apr 12, 2026

Commits on Apr 15, 2026

Commits on Apr 16, 2026

chore: M5 CI/Workflow Sweep - final synchronisation
hyperpolymath
committed

Commits on Apr 17, 2026

Commits on Apr 18, 2026

Commits on Apr 19, 2026