示例

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