Skip to content

queen-3542: bee work for #3542 - #3625

Open
gHashTag wants to merge 1 commit into
masterfrom
queen-3542
Open

gHashTag wants to merge 1 commit into
masterfrom
queen-3542

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #3542

Published from the swarm's container by queen_publish.py. The container holds no push credential by design; this branch was exported as a git bundle and pushed from outside it.

Base: origin/master
Files: specs/tri/sort/quick_sort.t27

Not merged automatically. A spec match does not close an issue on its own - generation, tests and review are required.

- Implement sort() function that delegates to sort_range() with proper bounds checking
- Implement sort_range() function with Lomuto partition scheme using last element as pivot
- Add swap() helper function for element exchanges
- Fix broken test assertion for sort_range signature (was missing low, high parameters)
- Add comprehensive test cases covering edge cases and sorting properties
- Update stale comment about empty function bodies

Resolves #3542

Closes #3542
@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 14:04:20 UTC

Summary

Status Count
Total Open PRs 14
PRs with Failing Checks 11
PRs with All Checks Green 3
READY 1
FAILING 11
PENDING 0
NO CHECKS YET 0

These columns do not partition: 1 + 11 + 0 + 0 = 12, and there are 14 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

PR Dashboard

Generated at: 2026-09-15 16:11:47 UTC

Summary

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

These columns do not partition: 1 + 34 + 0 + 0 = 35, 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.

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.

Implement sort and sort_range in specs/tri/sort/quick_sort.t27

1 participant