Skip to content

Trust: honest gen-0 argv refresh after #27940–#27960 tip race - #27963

Merged
PurHur merged 1 commit into
masterfrom
agent/issue-27961-gen0-argv-tip-race
Aug 6, 2026
Merged

Trust: honest gen-0 argv refresh after #27940–#27960 tip race#27963
PurHur merged 1 commit into
masterfrom
agent/issue-27961-gen0-argv-tip-race

Conversation

@PurHur

@PurHur PurHur commented Aug 6, 2026

Copy link
Copy Markdown
Owner

Summary

Closes #27961

Test plan

  • php script/check-bootstrap-gen0-manifest-sync.php → OK (38789272 bytes, fingerprint match)
  • make north-star5-verify-fast → OK (4f-m / 4f2 / 4f3)
  • argv-driver functional smoke during refresh (never-seen script + HelloWorld/arith/single-quote)

Verification transcript

check-bootstrap-gen0-manifest-sync: OK (gen-0 argv driver 38789272 bytes, manifest match, lowering_source_fingerprint=a4fa125b9573…)
north-star5-verify: step 4f-m ok (gen-0 manifest matches committed driver)
north-star5-verify: step 4f2 ok
north-star5-verify: step 4f3 ok
north-star5-verify: OK (fast)

Not covered: north-star5-verify --strict / full spine sidecar relink.

Refs #21905, #23468, #8713, #10533.

Made with Cursor

#27940#27960 landed after the last verified-fresh argv seed (#27939),
re-staling lowering_source_fingerprint (4f-m / #8713). Rebuild
bin-compile-aot on tip with verified-fresh receipt + functional smoke.

Co-authored-by: Cursor <cursoragent@cursor.com>
@PurHur
PurHur merged commit 9c0c6be into master Aug 6, 2026
1 check failed
@PurHur
PurHur deleted the agent/issue-27961-gen0-argv-tip-race branch August 6, 2026 01:25
@PurHur
PurHur restored the agent/issue-27961-gen0-argv-tip-race branch August 6, 2026 01:25
@PurHur
PurHur deleted the agent/issue-27961-gen0-argv-tip-race branch August 6, 2026 01:27
PurHur added a commit that referenced this pull request Aug 6, 2026
#27963 stamped argv provenance from a pre-#27962 tree, leaving 4f-m red
on tip (a4fa125b9573… → cedc396a7a7d…). Rebuild bin-compile-aot on tip with
verified-fresh receipt + functional smoke.

Co-authored-by: PurHur <PurHur@users.noreply.github.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
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.

Trust: honest gen-0 argv refresh after #27940–#27960 tip race

1 participant