idea94-portaledger-verifiab.../AGENTS.md

18 lines
905 B
Markdown

# AGENTS
- This repository implements PortaLedger with a CatOpt bridge for cross-domain provenance sharing.
- Architecture:
- porta ledger core: Python package under src/portaledger with LocalProblem, SharedVariable, PlanDelta, ProvenanceEvent, Attestation, PortaLedger.
- Bridge: src/portaledger/bridge.py with PortaBridge and bridge_to_catopt to map to CatOpt-like GoC primitives.
- Governance: src/portaledger/governance.py implementing a light governance ledger anchored to a SQLite store.
- Tests: tests/test_portaledger.py validating core signing/logging and bridge behavior.
- Build/test: test.sh runs python3 -m build and pytest.
- Packaging: pyproject.toml configured for setuptools with dependencies (cryptography).
How to run:
- ./test.sh
Conventions:
- Minimal production-grade persistence (SQLite in-memory by default) for testability.
- Do not depend on network; tests are deterministic.