CodeSampleX

サンプル

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

検証済みサンプル — composer ramsey/uuid 4.9.3: Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying. php 8 · linux…

sha256:cb72d4e173a50eea0fa041bc7cd6aef4a9a8ee7ed38e381f613e71c9c6d7b152

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
1
ビルドした署名鍵
1
宣言された環境 php 8 linux x64 php 8 php composer

検証実行環境

環境 コントラクト ステージ 実行日
php 8 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · composer@1		 2026-08-14

ケース

HOW
ゴール
Choose between UUID v4 and v7, store and parse them, and compare two UUID objects without == lying
パッケージ
シンボル
  • 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
環境
php 8
作成日
2026-08-14T20:28:25Z

コントラクト

  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

ファイル

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

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

anonymous