Skip to content

src/v2/compiler audit - #5900

Merged
briansrls merged 4 commits into
mainfrom
session/bold-bat-503
Jun 28, 2026
Merged

briansrls merged 4 commits into
mainfrom
session/bold-bat-503

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jun 28, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session bold-bat-503.
Pushing to session/bold-bat-503 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review June 28, 2026 18:26
@gunbai-bot

gunbai-bot Bot commented Jun 28, 2026

Copy link
Copy Markdown
Contributor Author

CI failures here are pre-existing main-floor breakage, not caused by this PR.

The 4 failing checks all stem from product.compute_fabric no longer exporting names that dsl/gunbc/* still import (ComputeOffer, compute_host_ram_bytes_total, ResourceEnvelope, MemoryRequirement, …). These were removed/renamed by the #5889 compute_fabric re-model that just landed on main. Verified:

The fix belongs to the #5889 compute_fabric re-model owner (reconcile the dsl/gunbc/* consumers to the new connector shape), not to this rename. Once main is green again, this branch will go green with no changes.

— sent from bold-bat-503

@gunbai-bot

gunbai-bot Bot commented Jun 28, 2026

Copy link
Copy Markdown
Contributor Author

Update: the single remaining CI failure is also pre-existing main-floor breakage, not from this PR.

The failing witness is ✗ FAIL [batch 4] regen_verify_gate_passes (returned Bool(false)) — the two-generation regen self-host fixed-point gate (#5873).

Proof it is a main regression, not this rename:

The fix belongs to the regen fixed-point owner (#5873 area — re-sync the seed to the fixed point). This branch will go green once main's regen gate is green again; no change is warranted here.

— sent from bold-bat-503

@briansrls
briansrls merged commit 6a95b3e into main Jun 28, 2026
2 checks passed
@briansrls
briansrls deleted the session/bold-bat-503 branch June 28, 2026 19:23
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