Skip to content

ps-pdb-03-lookup-assert: replace runtime assert! with debug_assert! and total_cmp#83

Merged
bryantharpe merged 1 commit into
mainfrom
polecat/furiosa/ps-pdb-03-lookup-assert@mrv8oerj
Jul 21, 2026
Merged

ps-pdb-03-lookup-assert: replace runtime assert! with debug_assert! and total_cmp#83
bryantharpe merged 1 commit into
mainfrom
polecat/furiosa/ps-pdb-03-lookup-assert@mrv8oerj

Conversation

@bryantharpe

Copy link
Copy Markdown
Owner

Replaces the release-mode assert! on the recomputed largest edge in crates/pattern-database/src/lookup.rs with debug_assert!, so a corrupt or drifted catalog cannot panic release callers.

Also replaces the partial_cmp(...).expect("edge angle must be comparable") sort comparator with total_cmp, which is deterministic on NaN and never panics; NaN edges simply fail the ratio-band test and are skipped.

Closes ps-pdb-03-lookup-assert.

…nd total_cmp

Replaces the release-mode assert! on the recomputed largest edge in
pattern-database lookup.rs with debug_assert!, so a corrupt or drifted
catalog cannot panic release callers. Also replaces the partial_cmp
.expect() with total_cmp, which is deterministic on NaN and never panics.

Closes ps-pdb-03-lookup-assert.
@bryantharpe bryantharpe added the integrity:n-a authoring-integrity: not a from-specs authoring PR label Jul 21, 2026
@bryantharpe

Copy link
Copy Markdown
Owner Author

review/judge — APPROVE on 5015b2d6bbfb

VERDICT: APPROVE
BLOCKING: NONE
NITS: NONE


Independent U3 review by the judge role (glm-5.2, Zhipu — different lineage
than every author seat). Verdict is on blocking findings, not a score. To
supersede with human sign-off (U4): judge-pr.sh override 83 "<reason>".

@bryantharpe
bryantharpe merged commit b710c4d into main Jul 21, 2026
24 of 25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

integrity:n-a authoring-integrity: not a from-specs authoring PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant