The highest tagged major version is v2.

cmd/

Details

Path	Synopsis
automatic-repair-synthesizer
binary-lift-round4
binary-source-pairs
canonical-witness-matrix
decompiler-evidence-join
direct-validation
external-primitive-crosswalk
external-primitive-proof
failure-saturation-corpus
failure-saturation-report
final-target-closure
frontend-closure-report
generic-corpus-fixpoint
go-semantic-project
ground-truth-closure-round3
machine-differential
matrix-lowering-engine
matrix-workbench
miner-cross-transpile
native-external-evidence-integration
normalize-real-ts
observed-witness-replay
primitive-compiler
primitive-complete-closure
primitive-discovery
primitive-mega-join
primitive-source-discovery
r2many
real-source-root-cause
real-source-validation
repair-frozen
repository-primitive-closure
semantic-gap-closure-cycle
semantic-native-batch
signature-bind
sp-closure
structured-matrix-repair
target-replay-one
transpilability-evidence-closure
tree-sitter-frontend-closure
uast-corpus-matrix
uast-corpus-transpile
uast-direct-lowering
uast-directory-transpile
uast-emission-recipes
uast-execution-matrix
uast-extsem-matrix
uast-failure-matrix
uast-matrix-adapter
uast-native-witness
uast-runtime-promotion
uast-source-verify
uast-universal-lowering
universal-truth-miner
v6-authoritative-integration