# Paper 2 reproducibility record

Status: internally accepted manuscript; no P2 execution experiment exists
Evidence cut: 23 July 2026
Manuscript date: 23 July 2026

## Current evidence

The manuscript can currently be reproduced as a LaTeX source build. The
following P2 systems artifacts do **not** exist in the audited evidence cut:

- query-v1 serialized profile;
- finite query evaluator;
- Rust query/planner/storage implementation;
- SQLite connector;
- PostgreSQL connector;
- compiler-generated SQL and parameter binding;
- backend plan capture;
- normalized result and lineage differential;
- cache-transition suite;
- hot-path trace;
- performance benchmark;
- Haskell query oracle;
- Lean P2 query/lowering theorem.

The internally accepted P1 Rust, Haskell, and Lean slices supply bounded
schema/path/mapping inputs only. None is counted as P2 query compilation,
connector execution, result equivalence, hot-path, or performance evidence.

## Manuscript build contract

Build in a temporary directory so generated PDF, auxiliary, and bibliography
files do not enter the paper directory:

```sh
tmp_dir=$(mktemp -d /tmp/catdb-p2-tex.XXXXXX)
cp papers/02-physical-compilation/paper.tex "$tmp_dir/paper.tex"
cp papers/02-physical-compilation/references.bib "$tmp_dir/references.bib"
latexmk -cd -pdf -interaction=nonstopmode -halt-on-error "$tmp_dir/paper.tex"
```

Acceptance checks:

```sh
pdfinfo "$tmp_dir/paper.pdf"
texcount -inc -sum papers/02-physical-compilation/paper.tex
rg -n "Overfull|undefined references|undefined citations|LaTeX Error" \
  "$tmp_dir/paper.log"
```

Before exact-digest acceptance, the repository must not retain `paper.pdf`,
`.aux`, `.bbl`, `.blg`, `.fls`,
`.fdb_latexmk`, `.log`, `.out`, or `.toc` from this author pass.

## Corrected-source build

The round-1 response was rebuilt from only `paper.tex` and `references.bib` in
`/tmp/catdb-p2-r2.28q8QC`:

- 47 US-letter pages, PDF 1.7, 433,727 bytes;
- `paper.pdf` SHA-256
  `e55f389562038fbdb8125955eafa073db9e8f297a7831809bc7cccfb8e6a8f53`;
- `paper.log` SHA-256
  `055439607ee2d8680f8a929212a2f053bfcc19161b00f547c07706c44b5d3bf1`;
- 0 errors, undefined citations, undefined references, overfull boxes, or
  underfull boxes; and
- all 47 pages inspected in the ordered contact sheet at
  `/tmp/catdb-p2-r2-visual.Vl37zv/contact.jpg`, with no clipping or overlap.

The corrected repository source hashes are:

- `paper.tex`:
  `81646e98d79db87c34399e821a75b508cf99072f062d2cdae53dbd84bfd8901a`;
- `references.bib`:
  `1f4c331e2f8cac3d2f88ea8c1062882034d693128766cea365f174bf40d59149`;
  and
- combined domain-separated source:
  `9db301b5b5f0c3a2844062ca6f5f67309bce2cb5d40bd2e68e08ed8374b04bd1`.

## Future execution bundle

Every accepted P2 experiment must preserve:

1. repository revision and dirty-state manifest;
2. schema, mapping, query, capability, policy, and fixture digests;
3. exact compiler, connector, backend, driver, and tool versions;
4. DDL, data seed, indexes, statistics procedure, collations, and snapshot;
5. normalized IR and per-node dispositions;
6. exact SQL bytes, typed parameters, and result decoder;
7. independent oracle result and lineage;
8. backend result, lineage, errors, plans, and counters;
9. cold/warm state for semantic, realization, and backend caches;
10. latency distributions, rows, bytes, call counts, and traces;
11. comparison verdict and preserved failed outputs; and
12. checksums over the complete bundle.

## Experiment gates

| Gate | Required experiments | Promotion allowed |
|---|---|---|
| Semantic core | P2-E01, P2-E02, P2-E05 | “query-v1 IR implemented” |
| SQLite correctness | P2-E03, P2-E06, P2-E08–E10, P2-E13 | “SQLite vertical slice passes named fixtures” |
| PostgreSQL parity | P2-E04, P2-E11, P2-E13 | “portable subset passes pinned PostgreSQL version” |
| Performance | P2-E12, P2-E14 | scoped overhead and plan observations |
| Independent reproduction | P2-E15 | reproducible for named environment |

No performance promotion is allowed before value, error, bag, and lineage
correctness gates pass.

## Registered failure conditions

- Per-row semantic compilation or semantic callbacks for fixed query shape.
- Silent residual or approximation.
- Normalized value, multiplicity, error, or lineage mismatch.
- Cache hit after a declared dependency changes.
- Conflation of semantic, realization, and backend warm states.
- Unreported SQLite reprepare or PostgreSQL plan-policy behavior.
- Unfair native baseline.
- Failure of the registered latency threshold.
- Missing raw evidence or inability to reproduce the run.

## Review reproducibility

The eventual frozen review bundle must bind:

- `paper.tex` digest;
- `references.bib` digest;
- all six paper-local ledgers;
- generated PDF digest created by the orchestrated review phase;
- execution artifact bundle digests, if and only if those artifacts exist;
- reviewer outputs and disposition history.

AGY round 1 accepted the original candidate and identified three actionable
minor design gaps. The corrected source now:

- fixes the portable decimal-v1 representation as bounded
  `Decimal64(p,s)` mantissas rather than backend text order;
- uses a validated referenced-dependency closure and compatibility witness for
  semantic-cache reuse, avoiding an unnecessary global schema flush; and
- defines versioned lineage modes with no silent downgrade, plus early
  projection-width, byte, allocation, and latency measurements.

Because those changes modified `paper.tex`, the round-1 acceptance applies
only to its retained digest. Round 2 reviewed the corrected combined source
digest, verified all three changes, found no remaining actionable major or
minor issue, and ended in `VERDICT: ACCEPT`. The canonical review is
byte-identical to round 2. This file remains an evidence record rather than a
reviewer report.

## Accepted repository artifacts

| Artifact | SHA-256 |
|---|---|
| combined `paper.tex` plus `references.bib` source | `9db301b5b5f0c3a2844062ca6f5f67309bce2cb5d40bd2e68e08ed8374b04bd1` |
| repository `paper.pdf` | `e55f389562038fbdb8125955eafa073db9e8f297a7831809bc7cccfb8e6a8f53` |
| repository `paper.log` | `055439607ee2d8680f8a929212a2f053bfcc19161b00f547c07706c44b5d3bf1` |
| repository `cover.png` | `f5f5c5a9ae5f0b4af6de4f22b922ab31612c238dfc525374e3575db071ad1e53` |
| canonical AGY review | `1d10aa9044c6c30df48c6144cef8756ed90878cf6547b62ee272ba278719a003` |

The repository verifier confirms source-digest identity, PDF freshness, 47
pages, a clean log, cover freshness, 300-by-300 DPI cover metadata, the exact
review source digest, and terminal `VERDICT: ACCEPT`. Manuscript acceptance
does not create a compiler, connector, captured plan, hot-path trace, or
performance result.