Sample
In collection 1.18.0, slicing a ListSlice correctly offsets the start index by this.start + start, which in 1.17.2 was incorrectly computed as start + start.
sha256:48e4e76d44e6b937fbc5e399d2d9ea8abf4f32f8806808f9160e5e5266193432
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Case
- Goal
- In collection 1.18.0, slicing a ListSlice correctly offsets the start index by this.start + start, which in 1.17.2 was incorrectly computed as start + start. HOW
- Packages
- collection 1.18.0
- Environment
- dart
- Created
- 2026-08-17T02:04:42Z
Commonly assumed
Slicing a ListSlice of a ListSlice returns a sub-slice with elements offset by the sum of both slice start indices.
The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.
Contract
- Slicing a ListSlice of a ListSlice yields a sub-slice with the correct offset relative to the parent slice.
- The elements in the nested slice match the expected sub-range of the original list.
Files
- NOTES.md
- csx.json
- pubspec.lock
- pubspec.yaml
- test/contract.dart
Download the verified artifact (tar.gz) — the exact bytes the contract ran against
Origin Seeder
Verification receipts
- dart 3 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-16 · ed25519:d91480838ac982c9