샘플

Extract or iterate elements from package:collection PriorityQueue in priority order without mutating the queue

sha256:8376217b4f599376ba9a7e40e78691ee88b2b13e999166fe688cf065e655bbc3

PUBLISHED L3_CONTRACT_PASS MIT-0

실행 증거

선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.

증거 기준서명된 컨트랙트 통과

검증 영수증1

검증 수준L3_CONTRACT_PASS

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17

목표: Extract or iterate elements from package:collection PriorityQueue in priority order without mutating the queue HOW
패키지: collection 1.19.1
환경: dart
생성일: 2026-08-17T03:53:33Z

HeapPriorityQueue's unorderedElements property yields elements in priority-sorted order and PriorityQueue implements Iterable.

이 샘플의 작성자가 여기서 개발자나 모델이 기대할 법한 내용으로 적어둔 것이다. 아래 계약이 실제로 실행된 것이다.

PriorityQueue does not implement Iterable, and HeapPriorityQueue.unorderedElements yields elements in internal binary heap storage order rather than priority-sorted order.
Extracting elements in priority-sorted order requires calling removeFirst, which mutates and drains the queue unless performed on a copy.
Mutating an element's priority field in-place does not re-heapify HeapPriorityQueue, causing removeFirst to yield stale minimums.

dart 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17 · ed25519:d91480838ac982c9