Skip to content

queen-3586: rescued bee work for #3586 - #3664

Merged
gHashTag merged 1 commit into
masterfrom
queen-3586
Sep 16, 2026
Merged

gHashTag merged 1 commit into
masterfrom
queen-3586

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #3586

Reconstructed, not replayed. The branch this came from also carried another bee's commits - a reused worktree let a predecessor's work ride along - so publishing it as it stood would have put those changes into this issue's pull request. Only the paths this issue declared in its ## Boundary were taken, at their final state.

Kept: specs/tri/collections/either.t27
Original author and subject preserved; the intermediate commits are not.

Not merged automatically - generation, tests and review are required.

Rescued from queen-3586, which also carried another bee's commits. Only the paths this issue declared were taken.

Closes #3586
@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-15 16:25:23 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 42
PRs with All Checks Green 8
READY 1
FAILING 42
PENDING 0
NO CHECKS YET 0

These columns do not partition: 1 + 42 + 0 + 0 = 43, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=7cab95c431bc != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@gHashTag
gHashTag merged commit e15249f into master Sep 16, 2026
26 of 30 checks passed
@gHashTag
gHashTag deleted the queen-3586 branch September 16, 2026 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant