# MachinaLedger public x402 proof

This package demonstrates a real MachinaLedger Signed Economic Receipt over a retained accepted **x402 testnet** Machine Economic Event (MEE).

## What is proven

The published receipt was issued by the integrated MachinaLedger test-only receipt issuer from the verified MachinaLedger development snapshot `2026.09.29.2`.

The integrated offline verifier returned `accepted: true`, and the same Ed25519 signature was independently verified with OpenSSL.

Run the independent zero-dependency proof verifier:

```bash
node verify.mjs
```

It checks:

- receipt contract/version and signing domain;
- Ed25519 public-key encoding and `keyId`;
- deterministic `receiptId`;
- Ed25519 signature;
- MEE `contentHash`;
- x402 rail binding for this sample;
- the explicitly supplied active trust pin.

## Files

- `x402-receipt.json` — complete signed receipt envelope.
- `trust-pins.json` — caller-supplied test trust pin.
- `verification-result.json` — result from the integrated MachinaLedger offline verifier.
- `manifest.json` — source commit, hashes and assurance boundary.
- `verify.mjs` — small independent verifier using Node built-ins only.

## Important assurance boundary

This is testnet proof, not production signing.

The receipt proves integrity/authenticity relative to its test key and verifies the retained MEE content. It does **not** claim that the service response is objectively true.

For this public artifact:

- evidence replay: `not_performed`;
- fresh current-chain verification: `not_performed`;
- production key custody: absent;
- payment execution: absent;
- production accounting posting: absent.

The full MachinaLedger verifier has stricter parsing, JSON Schema validation, MEE/rule bindings and caller trust-policy handling than the compact `verify.mjs` included here.