35 lines
1.2 KiB
Markdown
35 lines
1.2 KiB
Markdown
ProofWeave Prototype - AGENTS
|
|
|
|
Purpose
|
|
- Provide a small, well-tested chunk of the ProofWeave idea: a DSL manifest + toy compiler that emits wasm + proof_summary + manifest.
|
|
|
|
Repository layout
|
|
- src/proofweave/: Python package
|
|
- compiler.py: main compile function that produces bundle artifacts
|
|
- __init__.py
|
|
- tests/: pytest tests
|
|
- pyproject.toml: packaging metadata (project name: idea193-proofweave-proof-carrying)
|
|
- README.md: overview
|
|
- test.sh: runs pytest and python3 -m build
|
|
|
|
Tech stack
|
|
- Language: Python 3.8+
|
|
- Packaging: setuptools (PEP 621 pyproject)
|
|
- Test: pytest
|
|
|
|
Commands
|
|
- Run tests: `bash test.sh` (this runs `pytest` and `python3 -m build`)
|
|
- Import API: `from proofweave.compiler import compile_genome`
|
|
|
|
Development rules for agents
|
|
- Keep changes small and well-tested. Add tests for any behavioral change.
|
|
- Do not modify packaging metadata without updating `AGENTS.md` and `README.md`.
|
|
- Do not add new top-level files without updating this doc.
|
|
|
|
Notes
|
|
- This is intentionally a small initial slice. Follow-on agents should add:
|
|
- a real DSL parser and schema validation
|
|
- signing/attestation and Merkle manifest chunking
|
|
- a lightweight Rust verifier compiled to WASM
|
|
- CI workflows and more comprehensive conformance tests
|