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