idea174-catopt-swarm/AGENTS.md

AGENTS.md

Architecture

• Python package: catopt_swarm
• Core modules:
  • models.py: validated IR and audit objects
  • registry.py: graph-of-contracts registry and adapter conformance checks
  • adapters.py: drone and rover functor-style adapters into the IR
  • solver.py: deterministic ADMM-lite distributed solver with delta sync
  • verification.py: invariant and safety verification helpers
  • cli.py: demo entrypoint

Tech Stack

• Python 3.10+
• Pydantic for runtime validation
• NetworkX for the contract graph
• Pytest for tests

Testing

• bash test.sh
• python3 -m pytest
• python3 -m build

Contribution Rules

• Keep changes minimal and deterministic.
• Prefer validated models over ad-hoc dicts.
• Preserve the top-level compatibility shims unless there is a strong reason to remove them.
• Update README.md and this file if the architecture changes.