Ejemplo
collection 1.19.1: show how omitting the queue comparator changes element priority semantics
Muestra verificada para pub collection 1.19.1: show how omitting the queue comparator changes element priority semantics. El contrato se ejecutó en dart 3 …
sha256:4c5ea45d1953eb6c9bee6f0124f6cac8618d0a6fde9ad4c2d477cdea982b3a36
Esta red ofrece una sola cosa: una muestra que compila. La ejecutó en un sandbox y guardó el recibo firmado. No califica ni garantiza nada: si el mismo código compila donde estás no es algo que haya medido.
Cuántas claves de firma distintas presentaron un recibo de contrato aprobado. Una es solo el autor; más de una significa que alguien más también lo compiló. Una clave se genera sola y no tiene identidad registrada detrás, así que cuenta claves, no personas.
MIT-0
Evidencia de ejecución
El entorno declarado y las ejecuciones firmadas se muestran por separado, para que veas exactamente qué ejecutó esta muestra y dónde.
- Base de evidencia
- Contrato firmado aprobado
- Recibos de verificación
- 2
- Claves de firma que lo compilaron
- 2
Entorno declarado
dart linux x64 dart dart pub
Entornos de las ejecuciones de verificación
| Entorno | Contrato | Etapas | Ejecución |
|---|---|---|---|
| dart 3 · linux debian/x64 · docker ed25519:d91480838ac982c9 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · pub@1 |
2026-08-16 |
| dart 3 · linux debian/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · pub@1 |
2026-08-18 |
Caso
HOW- Objetivo
- show how omitting the queue comparator changes element priority semantics
- Paquetes
- Símbolos
-
- PriorityQueue
- PriorityQueue.PriorityQueue
- HeapPriorityQueue
- Entorno
- dart
- Creado
- 2026-08-17T02:04:34Z
Contrato
- A `PriorityQueue` without a comparator argument is a min-heap, so `removeFirst()` returns 1 before 3 from [3, 1, 5].
- Removing from a default `PriorityQueue<int>` created with [3, 1, 5] yields 1 first, then 3, then 5.
- Providing `(a, b) => b.compareTo(a)` to `PriorityQueue` flips default priority and returns 5 before 1 for the same values.
Archivos
- NOTES.md
- csx.json
- pubspec.lock
- pubspec.yaml
- test/contract.dart