26266272695
95%

Ran 22 May 2026 03:16AM UTC

Jobs 1

Files 49

Run time 1min

Badge

Embed ▾

Committed 22 May 2026 03:13AM UTC coverage: 96.202%. Remained the same

Build # 26266272695

Build Type

push

github

Committed by

web-flow

Commit Message

docs(contract): clarify monotonicity guarantee, drop "gap-free" overclaim (#73)

The README and overview prose described tsoracle as issuing "gap-free" timestamps with "no skipped values, ever." That overstates the contract: the allocator packs `physical_ms << 18 | logical` and resets `logical` when `physical_ms` advances, so the packed 64-bit integer space is not dense — integer values inside an unused logical tail are skipped whenever wall-clock advance or a logical-boundary-straddling request rolls `physical_ms` forward. `docs/the-allocator.md`, the `monotonicity.rs` property test (which only asserts `first > prev`), and `try_grant_above_committed_is_window_exhausted` (which depends on the wall-clock-advance reset) all reflect the actual contract: strictly monotonic, never regressing, never duplicate — but not dense.

Reword the four overclaiming sites to match the real guarantee, and add an inline note in the README feature bullet and in `docs/overview.md` explaining the not-dense property so readers building MVCC or audit-ordering systems on top understand that the property they need (strict ordering) is held while the property they don't (dense packed integers) is not.

Coverage Stats

6257 of 6504 relevant lines covered (96.2%)

82772.67 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26266272695.1	22 May 2026 03:16AM UTC	49	96.2	GitHub Action Run

prisma-risk / tsoracle / 26266272695
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26266272695

prisma-risk / tsoracle / 26266272695 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26266272695

prisma-risk / tsoracle / 26266272695
95%

README BADGES
x