Skip to content

Lab L1: Local Refund Laundering

Lab L1 is the first deterministic capability lab. It runs a local HTTP mesh fixture with a public support agent, planner intermediary, billing refund sink, and file tripwire.

Run it:

bash lab/local/run_refund_laundering.sh

The wrapper starts the local fixture, starts Seam API, routes Assay probes through Seam, verifies the transcript, and runs meshmapper:

lab/local/out/
  seam-transcript.json
  graph.json
  paths.json
  finding.json

Expected behavior:

  • Direct route refuses the refund and does not touch the tripwire.
  • Laundered route delegates through the planner and touches the tripwire.
  • Seam transcript verifies.
  • meshmapper emits an unproven privilege_laundering hypothesis.
  • Assay emits a proof-carrying finding with direct false and laundered true route stats.

The lab is local deterministic. Lab L2 provides the Docker mini-mesh version; real-framework labs come later.