Skip to content

Trust: honest gen-0 argv refresh after #27962 tip race - #27965

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

Trust: honest gen-0 argv refresh after #27962 tip race#27965
PurHur merged 1 commit into
masterfrom
agent/issue-27964-gen0-argv-tip-race

Conversation

@PurHur

@PurHur PurHur commented Aug 6, 2026

Copy link
Copy Markdown
Owner

Summary

  • Pillar 1: north-star5-verify-fast step 4f-m failed on tip — #27963 stamped a4fa125b9573… from a pre-#27962 tree while master already contained #27962 lowering (cedc396a7a7d…).
  • Honest make bootstrap-gen0-refresh-argv-driver on tip (cedc396a7a7d…, provenance=verified-fresh) — no restamp.

Closes #27964

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
  • php script/bootstrap-gen0-staleness.php → fresh

Verification transcript

check-bootstrap-gen0-manifest-sync: OK (gen-0 argv driver 38789272 bytes, manifest match, lowering_source_fingerprint=cedc396a7a7d…)
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)
bootstrap-gen0-staleness: fresh — committed gen-0 driver bytes are current with lowering sources
  manifest provenance: verified-fresh

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

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

Made with Cursor

#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: 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 #27962 tip race

1 participant