Beispiel

Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying

sha256:cb72d4e173a50eea0fa041bc7cd6aef4a9a8ee7ed38e381f613e71c9c6d7b152

Fall

Ziel

Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying HOW

Pakete

ramsey/uuid 4.9.3

Umgebung

php 8

Erstellt

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

Dateien

• composer.json
• composer.lock
• csx.json
• phpunit.xml
• src/UuidVersions.php
• test/UuidVersionsTest.php

Verifiziertes Artefakt herunterladen (tar.gz) — genau die Bytes, gegen die der Contract lief

Ursprungs-Seeder

anonymous

Verifizierungsbelege

• php 8 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · composer@1 · 2026-08-14 · ed25519:a2ec939a4c60e243