{"id":"id-generators-preserve-monotonic-order","text":"Stateful ID generators maintain monotonic ordering within their time granularity through distinct sub-millisecond strategies: Snowflake uses a bounded sequence counter (4096/ms), ULID increments the random component, and the stock exchange uses a global counter — all thread-safe via locks to prevent ID collision under concurrency.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["snowflake-sequence-max-4096-per-ms","ulid-monotonic-within-millisecond","stock-exchange-trade-counter-global","all-stateful-generators-thread-safe"],"outlist":[],"label":"Three generators use different monotonicity mechanisms; all share thread-safety via locks — a cross-system pattern of ordered-ID-generation-under-concurrency"}],"dependents":["monotonicity-is-the-universal-ordering-primitive"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"id-generators-preserve-monotonic-order","truth_value":"IN","reason":"SL justification valid","antecedents":["snowflake-sequence-max-4096-per-ms","ulid-monotonic-within-millisecond","stock-exchange-trade-counter-global","all-stateful-generators-thread-safe"],"label":"Three generators use different monotonicity mechanisms; all share thread-safety via locks — a cross-system pattern of ordered-ID-generation-under-concurrency"},{"node":"snowflake-sequence-max-4096-per-ms","truth_value":"IN","reason":"premise"},{"node":"ulid-monotonic-within-millisecond","truth_value":"IN","reason":"premise"},{"node":"stock-exchange-trade-counter-global","truth_value":"IN","reason":"premise"},{"node":"all-stateful-generators-thread-safe","truth_value":"IN","reason":"premise"}]}}