Reproduce Winter Fleet through PDA

Download the reproduction package. It includes the fictional inputs, exact recorded MCP responses, ordinary reference calculation, MCP runner, hashes, protocol and mapping. No live credentials or runtime databases are included.

Unzip it and run python essai-01/reference.py with Python 3.12 or later. This recalculates the capacity, cash and 128-subset comparison without PDA or network access. The existing evidence describes the original local run; regenerating the arithmetic is not a new MCP trial.

For a fresh MCP run, clone PDA at the tested commit, install its dependencies in .venv, and set PDA_UPSTREAM to that checkout. From a fresh package copy, run <upstream>/.venv/bin/python essai-01/run_mcp.py. The runner refuses to append to an existing run database; retain prior evidence before a new run. The child receives no provider credentials. Native errors and the separately labelled direct-store diagnostic remain part of the experiment.

Source lineage is recorded in essai-01/SOURCE_MANIFEST.json: fictional Winter Fleet commit 23e133b42ceaa60e7268a3eec96c704598ad7b3e, original trial commit b7fd35c674603c52b266f932102b560c5bfd1f47. Public copies are supplied here, so access to the original private repositories is unnecessary. PDA's MIT licence applies to the upstream platform; no upstream source is republished in this package.

The package omits the browser test harness, screenshots and presentation generator. The public reader is a retained report with ephemeral controls: scenario selection and evidence search change no files, records or fleet commitments.