CodeSampleX

Exemple

ramsey/uuid 4.9.3: Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying

Échantillon vérifié pour composer ramsey/uuid 4.9.3: Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying. Le…

sha256:cb72d4e173a50eea0fa041bc7cd6aef4a9a8ee7ed38e381f613e71c9c6d7b152

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
1
Clés de signature qui l’ont compilé
1
Environnement déclaré php 8 linux x64 php 8 php composer

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
php 8 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · composer@1		 2026-08-14

Cas

HOW
Objectif
Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying
Paquets
Symboles
  • 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
Environnement
php 8
Créé
2026-08-14T20:28:25Z

Contrat

  1. 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
  2. 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
  3. 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
  4. assert getDateTime on a uuid4 throws UnsupportedOperationException with the message Not a time-based UUID rather than returning null
  5. 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
  6. assert a UUID round trips through fromBytes of its own getBytes
  7. 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
  8. assert isValid and fromString are different predicates: the hyphenless 32-character hex form is rejected by isValid and parses fine through fromString
  9. assert the plain, braced, urn and uppercase spellings all pass isValid and all normalise to the same lowercase canonical string
  10. 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
  11. 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
  12. 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
  13. assert a generated UUID compares strictly between the nil and the max UUID
  14. 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
  15. 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
  16. 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
  17. assert equals with a string argument is a TypeError while equals with null or a plain object returns false

Fichiers

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

Télécharger l’artefact source (tar.gz)

Seeder d'origine

anonymous