# ProofWeave (prototype)

ProofWeave is a prototype implementation of a proof-carrying WebAssembly toolchain for "ServiceGenomes". This repository provides:

- A small typed ServiceGenome DSL (JSON/YAML consumable schema) and a toy compiler that emits:
  - a compact manifest JSON (provenance fields),
  - a minimal valid wasm binary (empty module placeholder), and
  - a proof summary JSON (resource bounds, allowed syscalls).
- A tiny Python API to produce these bundle artifacts.
- Tests and packaging metadata so the project can be built with `python3 -m build`.

This is an initial, well-tested chunk of the full ProofWeave idea described in the original design. It focuses on deterministic manifest and proof-summary generation suitable for constrained-edge verification.

Quickstart

Install dev dependencies (recommended in a venv) and run tests:

    bash test.sh

Usage (Python API)

    from proofweave.compiler import compile_genome
    compile_genome(genome_dict, out_dir)

See `AGENTS.md` for developer notes, architecture and how to contribute.