CBTRN03C_gold_plm.pdf is a complete, unedited Program Logic Manual produced by CDF for the CardDemo daily transaction detail report program CBTRN03C. It is the exact artifact that scored 99.5 in the published benchmark (score of record d7dce794), reproduced here so you can judge the output directly rather than taking the number on faith. An HTML rendering of the same manual is in CBTRN03C_gold_plm.html.
A benchmark number is a claim. A downloadable deliverable, with the source it was generated from sitting beside it, is evidence.
Every fact in the manual carries a line citation of the form (L...). Those line numbers index CBTRN03C.expanded.cbl, shipped in this folder: the copybook-expanded source, not the raw program file. CDF documents against the expanded source because that is the artifact its extraction operates on. Inlining the COPY members means every field a citation refers to is present at a single, stable line number.
Practically: open CBTRN03C.expanded.cbl, go to the cited line, and confirm the fact. Pick any assertion in the manual and check it against this file.
The manual's header names the source as CBTRN03C.CBL, which is the program's original name in the AWS CardDemo repository. The line numbers are the expanded file's, because copybook inlining shifts them; a citation into the raw, unexpanded CBTRN03C.cbl would not line up. Shipping the expanded source alongside the manual removes that ambiguity. What you verify against is exactly what was cited.
Five COPY members are inlined, each delimited by >>> BEGIN COPY and <<< END COPY marker comments so that the modification is visible in place and the original is reconstructable:
| Copybook | Inlined at | What it carries |
|---|---|---|
CVTRA05Y | L93-L115 | Transaction record, 350 bytes |
CVACT03Y | L120-L132 | Card cross-reference record, 50 bytes |
CVTRA03Y | L137-L148 | Transaction type record, 60 bytes |
CVTRA04Y | L153-L166 | Transaction category record, 60 bytes |
CVTRA07Y | L171-L245 | Report line and total structures |
CBTRN03C.expanded.cbl is a copybook-inlined derivative of the program and its COPY members from AWS CardDemo, which is licensed under the Apache License, Version 2.0. The original Amazon copyright and the full Apache-2.0 notice are retained verbatim in the file header, and the inlining is marked in place, so the modification is both explicit and reversible. It is redistributed here as a derivative work under that license, with attribution to Amazon Web Services. See LICENSE.
The citations are line-accurate against the expanded source, and the hard gate rejects invented entities outright: no fabricated paragraph, file, program or field name reaches delivered output.
Line-level provenance, meaning that a real entity is cited at the right line, is a separately spot-audited property rather than something the automated gate certifies. The gate checks that every named reference resolves to a real entity; it does not check that the line attached to it is the correct one. METHODOLOGY.html ยง5 states the boundary of what the automated checks cover, and why the two numbers this benchmark reports answer two different questions.