16 lines
512 B
Markdown
16 lines
512 B
Markdown
# AGENTS
|
|
|
|
This repository contains a minimal RegFlow implementation used for tests.
|
|
|
|
- regflow: Python module providing a tiny DSL compiler and per-trade proof generator.
|
|
- Tests demonstrate basic functionality:
|
|
- compile_dsl parses constraints into an IR with rules
|
|
- generate_proof evaluates a trade against the IR and returns a proof structure
|
|
|
|
Build commands:
|
|
- Run tests: pytest -q
|
|
- Build package: python3 -m build
|
|
|
|
Notes:
|
|
- This is intentionally small and deterministic to enable reliable unit tests.
|