# G-14 AMR Customer Proof Pack v0

This bundle contains proof packets generated by the Agent Control Runtime AMR proof pipeline, stored verifier receipts, a negative corpus, the public verification keyset, and a local verifier wheelhouse.

## What You Can Test

- Five signed proof packets that must verify successfully.
- Two operational rejection records for stale-request and replay prevention paths.
- Six negative proof packets that must fail with named F4, F5, or F6 checks.
- The full file checksum ledger in `SHA256SUMS.txt`.

## Linux / WSL Offline Verification

From the extracted bundle:

```bash
python -m venv .venv
. .venv/bin/activate
pip install --no-index --find-links verifier-wheelhouse agent-control-runtime
python tools/verify_pack.py
```

The verifier script imports the packaged `agent_control_runtime` verifier and checks the packet set against `manifest.json` and `public_keyset.json`.

## Cross-Platform Verification

The `agent_control_runtime-0.1.0-py3-none-any.whl` wheel is pure Python. On non-Linux systems, install that wheel and let `pip` resolve platform wheels for `cryptography`:

```bash
python -m venv .venv
. .venv/bin/activate
pip install verifier-wheelhouse/agent_control_runtime-0.1.0-py3-none-any.whl
python tools/verify_pack.py
```

## Integrity Check

Before running the verifier, check the bundle files:

```bash
sha256sum -c SHA256SUMS.txt
```

## Boundary

This proof-pack demonstration artifact shows that the runtime can generate signed packets, positive verifier receipts, and named negative-corpus failures through the same verifier path. It is not a certification, customer deployment attestation, or claim that any external production environment has been assessed.