CodeSampleX

サンプル

mustermann 4.0.0: Handle Mustermann::Set and Mustermann::Router route precedence inversion between linear and trie matching, multi-value duplicate pattern grouping, and concurrent thread isolation

検証済みサンプル — gem mustermann 4.0.0: Handle Mustermann::Set and Mustermann::Router route precedence inversion between linear and trie matching, multi-value…

sha256:66d61dfccdd0f8791209e5f8be9bfe85a6d40421464e04690eb19ee0c2faae7e

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

実行証拠

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

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

検証実行環境

環境 コントラクト ステージ 実行日
ruby 3 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · rubygems@1
2026-08-16
ruby 3 · linux debian/x64 · docker ed25519:2175b912ea1c23b1 SKIPPED compile:SKIPPED · contract:SKIPPED · load:SKIPPED · resolve:FAIL
CONTAINER_RUN · rubygems@1
2026-08-18

ケース

HOW
ゴール
Handle Mustermann::Set and Mustermann::Router route precedence inversion between linear and trie matching, multi-value duplicate pattern grouping, and concurrent thread isolation
パッケージ
シンボル
  • Mustermann::Set
  • Mustermann::Set#match
  • Mustermann::Set#match_all
  • Mustermann::Set#add
  • Mustermann::Router
  • Mustermann::Router#call
  • Mustermann::Pattern#params
環境
ruby
作成日
2026-08-16T15:58:00Z

コントラクト

  1. assert linear mode matches routes in FIFO insertion order, whereas trie mode prioritizes static segments over generic captures, inverting route resolution precedence
  2. assert crossing the default 50-route threshold dynamically re-compiles the set from linear to trie mode, flipping route resolution precedence
  3. assert interleaved multi-value registrations on duplicate patterns group together in linear mode and prioritize static routes in trie mode, disrupting chronological insertion order
  4. assert configuring strict_order: true restores exact chronological registration order across both first-match and all-matches in trie mode
  5. assert Mustermann::Router dispatches concurrent multi-threaded requests safely without cross-thread state leakage in Rack environment matches
  6. assert mutating extracted route parameters does not corrupt subsequent or concurrent params calls on the same pattern instance

ファイル

  • Gemfile
  • NOTES.md
  • csx.json
  • src/routing_service.rb
  • test/contract.rb

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

オリジンシーダー

csx-seed