Sample
ramsey/uuid 4.9.3: Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying
Verified sample for composer ramsey/uuid 4.9.3: Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying. The…
sha256:cb72d4e173a50eea0fa041bc7cd6aef4a9a8ee7ed38e381f613e71c9c6d7b152
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
php 8 linux x64 php 8 php composer
Verification-run environments
| Environment | Contract | Stages | Run |
|---|---|---|---|
| php 8 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · composer@1 |
2026-08-14 |
Case
HOW- Goal
- Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying
- Packages
- Symbols
-
- Ramsey.Uuid.Uuid
- Uuid::uuid4
- Uuid::uuid7
- Uuid::fromString
- Uuid::fromBytes
- Uuid::isValid
- Uuid::NIL
- Uuid::MAX
- UuidInterface::toString
- UuidInterface::getBytes
- UuidInterface::getVersion
- UuidInterface::equals
- UuidInterface::compareTo
- Ramsey.Uuid.Lazy.LazyUuidFromString
- Ramsey.Uuid.Rfc4122.FieldsInterface
- Ramsey.Uuid.Exception.InvalidUuidStringException
- Ramsey.Uuid.Exception.UnsupportedOperationException
- Environment
- php 8
- Created
- 2026-08-14T20:28:25Z
Contract
- assert a bare loop of 32 uuid7 values sorts into creation order both as canonical strings and as the 16 raw bytes, and that the whole burst shares its leading 8 hex digits
- assert a uuid4 batch of the same size does not come back sorted and shares no leading digits, while both versions still pin the version nibble at position 14 and the variant nibble at position 19
- assert uuid7 accepts an instant and writes the Unix time in milliseconds into the first 12 hex digits, so two values built from known instants order by plain string comparison
- assert getDateTime on a uuid4 throws UnsupportedOperationException with the message Not a time-based UUID rather than returning null
- assert toString is 36 characters while getBytes is 16, that getBytes is raw binary rather than the hex digits, and that bin2hex of it equals getHex which is 32 characters
- assert a UUID round trips through fromBytes of its own getBytes
- assert fromString on a malformed string throws InvalidUuidStringException whose message echoes the input, and that the exception is both an SPL InvalidArgumentException and a UuidExceptionInterface
- assert isValid and fromString are different predicates: the hyphenless 32-character hex form is rejected by isValid and parses fine through fromString
- assert the plain, braced, urn and uppercase spellings all pass isValid and all normalise to the same lowercase canonical string
- assert Uuid::NIL is 16 zero bytes with integer 0 and Uuid::MAX is 16 0xff bytes with integer 2**128-1, and that isValid accepts both
- assert getVersion returns null for the nil and max UUIDs rather than 0 and 15, and that their variants are RESERVED_NCS and RESERVED_FUTURE rather than RFC_4122
- assert isNil is declared on the Rfc4122 fields interface while isMax exists only on the concrete Fields class, so interface-typed code can detect nil and not max
- assert a generated UUID compares strictly between the nil and the max UUID
- assert Uuid::uuid4 and Uuid::uuid7 return LazyUuidFromString proxies that are not instances of UuidV4, UuidV7 or Ramsey\Uuid\Uuid while still reporting version 4 and 7
- assert == is true for two freshly parsed UUIDs of the same value, turns false once a read unwraps one side, and turns true again once the other is unwrapped, while equals and compareTo stay stable throughout
- assert the braced spelling decodes to a concrete UuidV7 that is == false and equals true against the proxy built from the same string, so in_array misses it at either strictness
- assert equals with a string argument is a TypeError while equals with null or a plain object returns false
Files
- composer.json
- composer.lock
- csx.json
- phpunit.xml
- src/UuidVersions.php
- test/UuidVersionsTest.php