CodeSampleX

Sample

equatable 2.1.0: Give a Dart class value equality with no code generation, so two instances with the same fields are ==, hash the same, and work as Set members and Map keys

Verified sample for pub equatable 2.1.0: Give a Dart class value equality with no code generation, so two instances with the same fields are ==, hash the…

sha256:89d2bef982143e36175a1174a40d2ddf617e91bf571cde4cd217db418fbf1a1b

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
1
Signing keys that built it
1
Declared environment dart 3 linux x64 dart 3 dart pub

Verification-run environments

Environment Contract Stages Run
dart 3 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · pub@1
2026-08-14

Case

HOW
Goal
Give a Dart class value equality with no code generation, so two instances with the same fields are ==, hash the same, and work as Set members and Map keys
Packages
Symbols
  • Equatable
  • Equatable.props
  • Equatable.stringify
  • EquatableMixin
  • EquatableConfig
  • EquatableConfig.stringify
  • copyWith
  • hashCode
  • Set.contains
  • Map.containsKey
Environment
dart 3
Created
2026-08-14T20:03:00Z

Contract

  1. assert two instances with equal fields are == where the same class without Equatable compares by identity, that their hashCodes agree, that a difference in either field is a difference, and that const canonicalization is what makes the unhelped class look right sometimes
  2. assert equatable generates no copyWith, so a hand-written one returns an equal-but-not-identical instance and carries untouched fields over, and that the usual null-coalescing body cannot clear a nullable field while a private sentinel default plus identical can
  3. assert a field left out of props is silently dropped from equality: two orders with different line items are ==, hash the same, collapse to one entry in a Set, and overwrite each other as Map keys with no warning anywhere
  4. assert a List in props is compared element-wise and in order while a Set and a Map prop are order-insensitive, that a nested Equatable composes through its own ==, and that two nums in props compare and hash across int and double
  5. assert a rebuilt equal instance is found by Set.contains and as a Map key, but mutating a List prop in place after insertion changes the hashCode, leaves the object unfindable and unremovable inside the Set, and lets the Set accept an equal duplicate
  6. assert copying that Set does not repair it, because a spread literal and Set.of given another Set carry the stale entry across and Map.of does the same for keys, while routing the elements through a plain Iterable or adding them in a loop rehashes and does repair it
  7. assert runtimeType is compared before props, so a subclass inheriting props verbatim is not == to its parent in either direction, and an inherited hand-written copyWith downcasts it into an unequal parent instance
  8. assert toString prints the props under asserts and only the type name when EquatableConfig.stringify is false, and that a per-instance stringify overrides the global setting
  9. assert Equatable is an abstract mixin class in 2.1.0 so it can be mixed into a class that already extends something, while EquatableMixin still works but is deprecated and is not a subtype of Equatable

Files

  • csx.json
  • lib/value.dart
  • pubspec.lock
  • pubspec.yaml
  • test/contract_test.dart

Download the source artifact (tar.gz)

Origin Seeder

anonymous