Skip to content

Say what the ESI registry receipt's cleanliness check covers (#454) - #1379

Merged
MaxGhenis merged 1 commit into
mainfrom
esi-454-registry-receipt-scope
Oct 24, 2026
Merged

MaxGhenis merged 1 commit into
mainfrom
esi-454-registry-receipt-scope

Conversation

@MaxGhenis

Copy link
Copy Markdown
Contributor

Follow-up to microcosm#1189. Round 8's executed review (GPT-6.1 Sol, APPROVE WITH NITS) left one nit, about a code comment.

COMPILER_PATHS in experiments/us-esi-454/feed-repin/compare_registries.py was described as "everything the compiled registry depends on besides the two feeds". That overstates it. The receipt's sources_clean check covers only packages/ and tools/. The script's own target period and serialization, and uv.lock, also shape the registry and its digests, and they are not checked. The comment now says what is checked and what is not.

This is a comment-only change. No code or receipt changes, and registry_diff.json stays as committed (round 8 reproduced it).

axiom: n/a: data pipeline

🤖 Generated with Claude Code

Round 8's review of microcosm#1189 found the COMPILER_PATHS comment in
compare_registries.py overstated: it said the paths were everything the
compiled registry depends on besides the two feeds, but the script's own
target period and serialization and uv.lock also shape the registry and
its digests and are not checked. The comment now says so. Code and the
committed receipt are unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@MaxGhenis
MaxGhenis merged commit c7d1ac2 into main Oct 24, 2026
10 checks passed
@MaxGhenis

Copy link
Copy Markdown
Contributor Author

Merged at reviewed head b0f67516f as c7d1ac27b8d9e3e1c2299cc2fdf769bf832493a7 (merge commit). Gates: gh pr checks exit 0 (10/10, run 40055982100); MERGEABLE and CLEAN, so no admin override; independent review by GPT-6.1 Sol (~/reviews/microcosm-esi-454/review_1379.md): APPROVE, with no findings. This answers the only nit from round 8 on #1189.

@MaxGhenis
MaxGhenis deleted the esi-454-registry-receipt-scope branch October 24, 2026 04:57
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