# P13 reproducibility record

Status: internally accepted manuscript; P13 runtime remains `OBSTRUCTED`

Date: 23 July 2026

## Evidence boundary

This manuscript is a source-level research artifact. A reader can reproduce
the LaTeX build and audit its citations, evidence labels, proposed profile,
counterexamples, falsifiers, implementation gates, formalization targets, and
exact nonclaims.

The current boundary is:

| Layer | Present evidence | Not established |
|---|---|---|
| P13 evidence dossier | primary-source ledger, model distinctions, claim anchors, typed candidates, fixture families, roadmaps, and falsifiers | accepted profile, implementation, experiment, or theorem |
| Existing CatDB repository | smaller schema, path, mapping, and structural-envelope work owned by prerequisites | provenance runtime, query surface, capture hooks, exporter, or benchmark |
| P13 manuscript | profile-relative contract, positive-fragment semantics, completeness classes, counterexamples, and acceptance gates | executed CatDB provenance result, performance result, security result, or machine-checked P13 law |

All CatDB-specific runtime, completeness, performance, security, and formal
claims remain `OPEN`, `OBSTRUCTED`, `ENGINEERING HYPOTHESIS`, or
`PAPER REASONING`. The only literature-supported claims are the results
established by the cited primary sources within their own assumptions.

## Clean build

Build in a fresh temporary directory so no PDF or auxiliary file is written
beside the manuscript:

```sh
build_dir="$(mktemp -d /tmp/catdb-p13-final.XXXXXX)"
cp paper.tex references.bib "$build_dir/"
cd "$build_dir"
latexmk -pdf -interaction=nonstopmode -halt-on-error paper.tex
pdfinfo paper.pdf
```

Acceptance checks:

```sh
rg -n \
  "Overfull|undefined references|undefined citations|LaTeX Error|Emergency stop|Fatal error|duplicate ignored" \
  "$build_dir/paper.log"
rg -n "Warning|error|not found" "$build_dir/paper.blg"
texcount -inc -sum "$build_dir/paper.tex"
```

Render every page for inspection:

```sh
render_dir="$(mktemp -d /tmp/catdb-p13-render.XXXXXX)"
pdftoppm -png -r 96 "$build_dir/paper.pdf" "$render_dir/page"
```

## Final author-source build observation

The corrected round-1 response build for the source hashes below used:

- temporary build directory: `/tmp/catdb-p13-r2.QbA1XG`;
- format: 12pt article, US letter, PDF 1.7;
- page count: 36;
- PDF size: 373,744 bytes;
- TeXcount: 6,342 text words and 6,705 summed words;
- bibliography entries: 30;
- overfull boxes: 0;
- undefined references: 0;
- undefined citations: 0;
- BibTeX warnings: 0;
- duplicate PDF destinations: 0;
- LaTeX errors: 0; and
- underfull boxes: 11.

The underfull boxes are confined to ordinary paragraph and bibliography line
breaking. The rendered pages show no clipping or overlap from them.

All 36 corrected-source pages were rendered and inspected in the ordered
contact sheet at `/tmp/catdb-p13-r2-visual.i7acxz/contact.jpg`. No heading,
text block, equation, table, figure, listing, citation, link, page number, or
sidebar was clipped or overlapped.

Temporary build hashes:

- `paper.pdf` SHA-256:
  `577ec9b67032387407862e860aef993510384856945f55f83d1a377e21fd1525`;
- `paper.log` SHA-256:
  `17acffee1bf9b3b36e7ea1fa571c7cf2cc4095f113f15dedcde1d1aaa4c19df8`.

Repository source hashes:

- `paper.tex` SHA-256:
  `7bda8be17691af6c13218f885434b884f028ba37784672d96b1280656db7e136`;
- `references.bib` SHA-256:
  `497fd894e48ac148635c45262cb4555e86597b45ff16d6732169ba97b1bc827b`;
- evidence dossier SHA-256:
  `e4d914f5575bdf1a497dd42b3aec60874cfbce28ac125fef5da7a93af335fc68`;
  and
- bounded TeX-plus-bibliography source digest:
  `ce65ce6d2247f95ac26d7606c8ab0122a5e957e10e6e3c7a1c82c61ecf2d5538`.

The repository does not retain the provisional PDF, log, cover image, or
auxiliary build files.

## Citation closure

The final BibTeX pass emits 30 bibliography entries. Every entry is cited,
and every citation key resolves. The author pass verified the source ledger
against primary records, including DOI metadata, W3C Recommendations and
Notes, VLDB and PVLDB papers, USENIX paper pages, OpenProceedings records, the
official CQL project materials, and the cited arXiv record.

The 2026 EDBT provenance-sketch paper was checked against its
OpenProceedings paper and DOI metadata. It is used only as an approximate
sketch and incremental-maintenance baseline. W3C PROV sources are used for
interchange concepts and constraints, not as the internal relational
derivation algebra.

Bibliographic resolution verifies source identity and relevance. It does not
promote a CatDB claim.

## Future semantic reproduction contract

A future result bundle must retain:

1. exact repository revision and dirty-state record;
2. frozen query, provenance, source-identity, normalization, completeness,
   retention, disclosure, and PROV projection profiles;
3. immutable input artifacts, source frontiers, and content digests;
4. hand-derived fixtures and manifest hashes;
5. independent Rust and Haskell normalized result and provenance outputs;
6. named Lean declarations, axiom inventory, and placeholder audit for every
   machine-checked claim;
7. mapping, migration, query, plan, reconciliation, materialization,
   retention, and policy activity evidence;
8. full and incremental data-plus-provenance comparisons;
9. crash, retry, duplicate, reordering, cursor, and durability traces;
10. W3C PROV validation and machine-readable projection-loss reports;
11. disclosure tests for graph shape, counts, errors, continuation tokens,
    and timing;
12. baseline source, version, configuration, workload matching, exclusions,
    seeds, failures, timeouts, and raw measurements;
13. preregistered correctness and overhead thresholds; and
14. a retained record for every rejected, unsupported, or failed case.

An evaluator that reads a fixture's expected output is not independent. Equal
visible data without equal required provenance is not exact reproduction. A
valid PROV graph is not automatically a lossless internal envelope.

## Paper-review response

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

- defines deterministic fine-to-coarse source-token subsumption with explicit
  coverage, ambiguity, and completeness behavior;
- requires a versioned normal-form circuit serialization with
  domain-separated tags and digests, stable child ordering, multiplicities,
  and Rust/Haskell golden fixtures; and
- makes the machine-readable `loss_report` a required field of every PROV
  export response.

Because these changes modified `paper.tex`, the original acceptance applies
only to the digest retained in the round-1 review. 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.

## Accepted repository artifacts

| Artifact | SHA-256 |
|---|---|
| combined `paper.tex` plus `references.bib` source | `ce65ce6d2247f95ac26d7606c8ab0122a5e957e10e6e3c7a1c82c61ecf2d5538` |
| repository `paper.pdf` | `577ec9b67032387407862e860aef993510384856945f55f83d1a377e21fd1525` |
| repository `paper.log` | `17acffee1bf9b3b36e7ea1fa571c7cf2cc4095f113f15dedcde1d1aaa4c19df8` |
| repository `cover.png` | `06bc40bb5ce33588e407e056cdb375c2f8a0ce648e4233e238c33afd3a0463f8` |
| canonical AGY review | `bdfc80debe8e488f0f28112d8c6174306ce553f4bb7d598e6be57ed9be7da550` |

The repository verifier confirms source-digest identity, PDF freshness, 36
pages, no rejected log finding, cover freshness, 300-by-300 DPI cover metadata,
the exact review source digest, and terminal `VERDICT: ACCEPT`.

## Deliberate absences

This author pass did not:

- implement P13 code, profiles, fixtures, benchmarks, or Lean declarations;
- execute Rust, Haskell, Lean, SQLite, PostgreSQL, connector, security, or
  user experiments;
- create a repository PDF, log, cover, or auxiliary file;
- promote an `OPEN` or `OBSTRUCTED` claim;
- commit or publish changes;
- edit shared coordination files, `README.md`, `CITATION.cff`, code, or
  another paper; or
- claim that source identity establishes authenticity, provenance establishes
  truth, or a hash chain establishes capture completeness.

No provenance runtime, completeness result, performance result, security
result, exporter, benchmark, or machine-checked P13 theorem is created by
manuscript acceptance.