Skip to content

Record the upstream queries where the findings live - #11

Merged
vahid-ahmadi merged 1 commit into
mainfrom
docs/record-upstream-queries
Aug 12, 2026
Merged

Record the upstream queries where the findings live#11
vahid-ahmadi merged 1 commit into
mainfrom
docs/record-upstream-queries

Conversation

@vahid-ahmadi

Copy link
Copy Markdown
Contributor

A site audit flagged the claim that the emissions divergence had been "raised with the authors" as unsupported, because nothing in this repository recorded it — the same failure class as a number with no committed artifact behind it.

The claim was true: DEFINE_UK_1.1#1 exists and is open. But the auditor was right that it was untraceable from here, which is exactly the standard VALIDATION.md applies to every number it publishes.

Both queries are now recorded with their links:

Every claim was re-verified against the transcribed tables before being posted publicly: all eight symbols genuinely absent; Eq. (84) computing 0.9725 against a tabulated 0.3198, with both inputs independently reproducing; and the fuel-price normalisation corroborated by IC_FUELPS and IC_FUELPSR both tabulating 15.75, which is only possible at P_FUEL = 1.

229 tests pass.

🤖 Generated with Claude Code

An audit of the site flagged the claim that the emissions divergence had
been "raised with the authors" as unsupported, because nothing in this
repository recorded it. The claim was true — DEFINE_UK_1.1#1 exists and is
open — but the auditor was right that it was untraceable from here, which is
the same standard applied to every number in VALIDATION.md.

Both queries are now recorded with their issue links: #1 on the Table 4
emissions vintage, and #2 on §3.3.2's six untabulated parameters and two
undefined variables, which is why the section cannot be simulated forward as
published, together with Eq. (84)'s factor-of-three disagreement and Eq.
(61) contradicting the stated fuel-price normalisation.

The findings were re-verified against the transcribed tables before being
posted publicly: all eight symbols genuinely absent, Eq. (84) computing
0.9725 against a tabulated 0.3198, and the fuel-price normalisation
corroborated independently by IC_FUELPS and IC_FUELPSR both tabulating
15.75, which is only possible at P_FUEL = 1.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@vahid-ahmadi
vahid-ahmadi merged commit 444e690 into main Aug 12, 2026
2 checks passed
@vahid-ahmadi
vahid-ahmadi deleted the docs/record-upstream-queries branch August 12, 2026 13:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant