Skip to content

History / Guarantees

Revisions

  • Guarantees: A15, A16 after A13 (#661) and A14 (MongoDB) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 2, 2026
    cf6582f

  • Payments, Guarantees, Several-instances: an error of unknown outcome reconciled, a replay past keyRetention never sent (#657, #658) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 2, 2026
    af9259c

  • Guarantees: the linearizability checker takes a renewal where the answers after it pin it (#660)

    @PavelRavvich PavelRavvich committed Nov 2, 2026
    8f1e4a8

  • MongoDB, Guarantees (A14), Your-own-store, Changelog, Sidebar: the stores on MongoDB (#527) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 2, 2026
    da1e23c

  • docs(#482): Running on PostgreSQL — install, wiring, migrations, one backend, connection limits, clock_timestamp, the proofs Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 2, 2026
    b7c544b

  • docs(#682): a thread's latest checkpoint is the one written last; A13 restated Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 2, 2026
    3732a6e

  • docs(#661): a child's end is read at the checkpoint its run wrote last; A13 in Guarantees Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 1, 2026
    4d9807f

  • FinOps, Guarantees, Changelog: the budget's overrun bound, stated in full (#664) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 1, 2026
    532cc57

  • Payments: the gateway contract, every payment race (PS1–PS23) and ten gateways (#653) New pages Payments (the notice, the contract in short, whether the guarantees hold on a gateway, what stays the application's, how to wire a gateway, how to check your own call) and Payment-scenarios (each race: wrong, mechanism, guarantee, assumptions, boundary, proof). Payment-gateways: the capability table of ten gateways read 2026-11-01, the support rule, quotes and links. Guarantees: A12, the retention a repeat must come within. Cross-links from Several-instances and Guarantees-across-processes; a Payments group in the sidebar; Changelog. Gaps found: #657, #658. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 1, 2026
    d3c1476

  • Guarantees: an undo marked done never runs again (#607) Guarantees-across-processes: every automatic undo marked done and skipped by whoever takes the tree over — a failed join's too —, the one window left (between the undo action and its mark: at least once, exactly once when fenced by its key), scenario 12b and its broken store. Guarantees: P5 says once; the fault suite's row counts 23 scenarios and the undo matrix. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 1, 2026
    04cf7ff

  • Guarantees: the mutation row names the scope as it is — the fencing and SQLite shards, their counts, what is not mutated yet (#626, #633) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 1, 2026
    bb91b26

  • Guarantees: the mutation counts of #619's final run (800, 786 killed, 5 timeouts, 9 ignored) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 1, 2026
    c8956a1

  • Guarantees: the mutation row's counts after #619 — 9 ignored by 5 comments, each covering only equivalent mutants Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Nov 1, 2026
    c46d330

  • Guarantees: each proof with its bounds (#625) A3 no longer says a forward step never makes two holders; the explorer's P2, depth and race list as they are; PostgreSQL's explorer on the test's clock, database time proved by clock-authority and clock-skew; the mutation row's scope and its 11 over-broad comments (#619, #626); P5 under A1 with its proofs; the checker's fix (#617), the shrink's (#618) and the collation's (#620). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012Kh8JmysuhZyQRSpNyJdPg

    @PavelRavvich PavelRavvich committed Oct 31, 2026
    bee887b

  • Guarantees: the mutant count after #578

    @PavelRavvich PavelRavvich committed Oct 31, 2026
    64f646d

  • docs(#533): Guarantees — every guarantee, its assumptions and its proofs

    @PavelRavvich PavelRavvich committed Oct 31, 2026
    c9e1904