idea119-regflow-verifiable-pre/AGENTS.md

512 B

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.