# Reproducibility record

Status: internally accepted

Date: 23 July 2026

## What can be reproduced now

The paper is a source artifact. A reader can reproduce its LaTeX build and
audit citation closure, evidence labels, section coverage, and the stated
absence of P3 migration results. The accepted P1 Rust/Haskell/Lean artifacts
are prerequisite evidence only; none executes a P3 migration.

The current repository evidence boundary is:

| Layer | Current evidence | Not established |
|---|---|---|
| P1 Rust | bounded schema, path, and mapping computations | P3 migration, loss, diff, or backend execution |
| P1 Haskell | independent agreement on 16 semantic and 8 structural cases, zero disagreements | migration oracle or backend equivalence |
| P1 Lean | audited declarations for PATH-02..04 and MAP-03..05 only | instance migration, delta, loss, diff, views, or plans |
| P3 envelopes | four migration, two loss, and two diff values decode/canonicalize/round-trip | semantic operations or expected outcomes |
| P3 paper | definitions, two complete finite-total paper proofs, taxonomy, and preregistered falsifiers | measured systems results |

## Clean build procedure

Build outside the repository so no PDF or auxiliary file is deposited beside
the sources:

```sh
build_dir="$(mktemp -d)"
cp paper.tex references.bib "$build_dir/"
cd "$build_dir"
pdflatex -interaction=nonstopmode -halt-on-error paper.tex
bibtex paper
pdflatex -interaction=nonstopmode -halt-on-error paper.tex
pdflatex -interaction=nonstopmode -halt-on-error paper.tex
pdfinfo paper.pdf
```

The independent author build used
`/tmp/catdb-p3-root.YmiOFB`. `texcount` reports 7,557 words. The resulting PDF
is 31 pages and 358,857 bytes.
The log contains zero errors, undefined citations, undefined references, or
overfull boxes, and three underfull-box warnings. All 31 pages were rendered
at 150 DPI to `/tmp/catdb-p3-visual.z8asTu`; the contact sheet at
`/tmp/catdb-p3-visual.z8asTu/contact.jpg` was inspected for clipping,
overlap, and unreadable tables.

The build outputs have these SHA-256 digests:

| Artifact | SHA-256 |
|---|---|
| `paper.pdf` | `dbe8762013911300bda8bc3c47c6e7d2fec222b8fc3a5d8e3a6d16aeeb1df6b2` |
| `paper.log` | `43a51a0ca07d29706d4eed81da85e619b20b56ce216c9fb9b52d25e2ee7ac7e6` |
| `paper.bbl` | `afd2daaefcd24f035db0aaacb1c878794351a0b3e2c9e4af558e4c7bcc482b31` |
| `paper.blg` | `82b5b5398af948a4c3aa95fc65731f168e148f8b8eb8e28d300707a286507fe2` |

The eight peer deliverables have these source digests:

| Artifact | SHA-256 |
|---|---|
| `disputed-claim-ledger.md` | `afd2e5697792f2adcacac28f5896f1dc304ff00343b1055cc8855704878a2ee0` |
| `humanizer-scope.md` | `c4b6ef6732d1ba1690f4836f5b3480be8c5e43573b87dcb592f089a291c7092c` |
| `novelty-ledger.md` | `4be84e022806839f547a2cba4f58f07b4feba8edf0284ae1537251ddfb297c1c` |
| `paper.tex` | `9b8f6d37e6d152dabd3b624d07ff840bae23fa192c2e227b4a9e06d9f6ac57b5` |
| `primary-source-bibliography.md` | `06baca03be28eae284dcc359a1904a239eb69d31ecb2fb734919b8e0e710fe47` |
| `references.bib` | `27a0d9dadf1abba4cd69910c6d2a537349e892419fccbb3c4326a3f8d6815440` |
| `related-work-ledger.md` | `e1b1bd1c43acd388d857d73e339822a6963bba7403183bd7094026f24d64b906` |
| `review-contract.md` | `e53498eb59d668494c94c3e97b97a59f6de0308482f2d9e0b15c1896a4770acd` |

This record cannot bind its own bytes without a detached manifest. Its release
digest will therefore be recorded by the final acceptance commit. These
observations are build evidence only.

## Terminal acceptance artifacts

The accepted TeX-plus-BibTeX source digest is
`b1d53d45a170f33014d42605f4e1eb234ccdb3165437818e752f977f0ed1c88f`.
AGY round 1 reviewed exactly that digest and ended in `VERDICT: ACCEPT`; the
canonical review is byte-identical to the round-1 record.

| Artifact | SHA-256 |
|---|---|
| repository `paper.pdf` | `dbe8762013911300bda8bc3c47c6e7d2fec222b8fc3a5d8e3a6d16aeeb1df6b2` |
| repository `paper.log` | `43a51a0ca07d29706d4eed81da85e619b20b56ce216c9fb9b52d25e2ee7ac7e6` |
| 300-DPI `cover.png` | `8355b1da0f40f1f68a02721f48a9b2a4b20acf9c0e9d53ec7a6e42436ea45072` |
| canonical AGY review | `13b9cd02fe8fa238783acd9ffd1867ba90614138812a55a1b9b3c424a0e94ef2` |

## Citation and reference checks

A clean build requires:

- zero undefined citations;
- zero undefined references;
- zero overfull boxes;
- no duplicate BibTeX keys; and
- every bibliography entry to appear in
  `primary-source-bibliography.md` and `related-work-ledger.md`.

## Future semantic reproduction contract

A future P3 result bundle must retain:

- exact source revision and dirty-state record;
- Rust, GHC/Cabal, Lean/Lake, SQLite, and PostgreSQL versions as applicable;
- fixture schema version, fixture IDs, canonical fixture hashes, and seeds;
- independently computed Rust and Haskell observations;
- exact Lean declaration names, axiom inventory, and `sorry`/`admit` audit;
- backend capability manifest and schema/data snapshot hashes;
- generated semantic result and generated physical plan as separate artifacts;
- raw SQL, database logs, native query/DDL plans, locks, scans, and failures;
- repetitions, warm-up policy, exclusions, and all failed runs; and
- normalized result comparison under a declared bag/set, null, scalar,
  collation, timezone, decimal, and error model.

Golden expected values are comparison data. An implementation that reads and
replays them does not satisfy the contract.

## Deliberate absences in this pass

No migration executor, loss detector, schema-diff engine, physical compiler,
SQLite/PostgreSQL runner, benchmark, human study, terminal paper review, cover
generation, or final publication verification was run. The Humanizer pass is
documented separately and did not modify definitions, proofs, equations,
evidence labels, or implementation boundaries.
These absences are not build failures; they keep the manuscript provisional.