c54c569f30
Completed clean root directory structure: - Root now contains only: .git, .env, docs/, orig/ - Moved all remaining files and directories to orig/: - Config files (.claude, .dockerignore, .drone.yml, etc.) - All .env variants (except active .env) - Git config (.gitconfig, .github, .gitignore, etc.) - Tool configs (.golangci.yml, .revive.toml, etc.) - Documentation (*.md files, @prompts) - Build files (Dockerfiles, Makefile, go.mod, go.sum) - Docker compose files - All source directories (scripts, tests, tools, etc.) - Runtime directories (logs, monitoring, reports) - Dependency files (node_modules, lib, cache) - Special files (--delete) - Removed empty runtime directories (bin/, data/) V2 structure is now clean: - docs/planning/ - V2 planning documents - orig/ - Complete V1 codebase preserved - .env - Active environment config (not in git) 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
67 lines
1.8 KiB
Go
67 lines
1.8 KiB
Go
package main
|
|
|
|
import (
|
|
"flag"
|
|
"fmt"
|
|
"log"
|
|
"os"
|
|
|
|
"github.com/fraktal/mev-beta/tools/math-audit/internal/audit"
|
|
"github.com/fraktal/mev-beta/tools/math-audit/internal/checks"
|
|
"github.com/fraktal/mev-beta/tools/math-audit/internal/loader"
|
|
"github.com/fraktal/mev-beta/tools/math-audit/internal/report"
|
|
)
|
|
|
|
var (
|
|
vectorsFlag = flag.String("vectors", "default", "Vector set to load (default, path, or comma-separated list)")
|
|
reportDir = flag.String("report", "", "Optional directory to write JSON and Markdown reports")
|
|
)
|
|
|
|
func main() {
|
|
flag.Parse()
|
|
|
|
log.SetFlags(0)
|
|
|
|
vectors, err := loader.LoadVectors(*vectorsFlag)
|
|
if err != nil {
|
|
log.Fatalf("load vectors: %v", err)
|
|
}
|
|
|
|
if len(vectors) == 0 {
|
|
log.Fatalf("no vectors loaded from selector %q", *vectorsFlag)
|
|
}
|
|
|
|
runner := audit.NewRunner()
|
|
propertyChecks := checks.Run()
|
|
result := runner.Run(vectors, propertyChecks)
|
|
|
|
failed := (result.Summary.VectorsPassed != result.Summary.TotalVectors) ||
|
|
(result.Summary.AssertionsPassed != result.Summary.TotalAssertions) ||
|
|
(result.Summary.PropertySucceeded != result.Summary.PropertyChecks)
|
|
|
|
fmt.Printf("Math audit completed: %d/%d vectors passed, %d/%d assertions passed, %d/%d property checks succeeded\n",
|
|
result.Summary.VectorsPassed,
|
|
result.Summary.TotalVectors,
|
|
result.Summary.AssertionsPassed,
|
|
result.Summary.TotalAssertions,
|
|
result.Summary.PropertySucceeded,
|
|
result.Summary.PropertyChecks,
|
|
)
|
|
|
|
if *reportDir != "" {
|
|
jsonPath, err := report.WriteJSON(*reportDir, result)
|
|
if err != nil {
|
|
log.Fatalf("write json report: %v", err)
|
|
}
|
|
mdPath, err := report.WriteMarkdown(*reportDir, result)
|
|
if err != nil {
|
|
log.Fatalf("write markdown report: %v", err)
|
|
}
|
|
fmt.Printf("Reports written to %s and %s\n", jsonPath, mdPath)
|
|
}
|
|
|
|
if failed {
|
|
os.Exit(1)
|
|
}
|
|
}
|