Skip to content

History / Distributed and Provable

Revisions

  • Docs sweep: brand ThrottleKit Lens; new Scaling/Policy Plans/Replay pages; 8-tab Lens + Monitor door - Home/_Sidebar: (TUI) -> (Lens), Policy-Plans compare row, links to the new pages - Monitoring-and-the-Lens: rebrand to ThrottleKit Lens, 5 -> 8 tabs (Cost Room/Replay/Plan), Monitor door section - new pages: Scaling-and-the-Fleet (Tier-1 + Tier-2 + leaseWindowed), Policy-Plans, Replay - Tier-1/Tier-2 cross-links + Monitor door across Polyglot/Operations/Federation/Pillar-4/Unified/Distributed/Performance/Middleware

    @AmeyaBorkar AmeyaBorkar committed Jun 10, 2026
    51dc0df

  • docs: de-academicize positioning — capability-led, no 'research' labels Home 'Research-backed' bullet -> 'Proven, and shipping'; guides/sidebar/cross- link labels 'Research: GALE & TALE' / 'research track' -> 'GALE & TALE'; Research page retitled 'the proven guarantees' and venue mentions (SIGMETRICS/POMACS/NSDI) removed. GALE/TALE kept as engine names; the proof signals (TLA+, fleet-size- independent) kept; FairRide NSDI'16 prior-art citation kept.

    @AmeyaBorkar AmeyaBorkar committed Jun 1, 2026
    fac377e

  • Distributed & Provable: lease.adaptive wires GALE Pillar 2 into the lease loop (0.13.0)

    @AmeyaBorkar AmeyaBorkar committed May 30, 2026
    95f906c

  • docs(federation): new Federation page + sidebar/home/Distributed-and-Provable cross-links (TK-911) The federation user-facing wiki page for the 0.9.0 release. Pushes to origin happen at release tag time per the local-accumulate-then-push rule (memory/throttlekit-wiki.md). New page Federation.md covers: - Quick start (federate + RedisCoordinator example) - The contribution narrative vs static partition (eval table at K=3) - All four outage shapes + Δ bound per shape - Coordinator backends matrix (TestCoordinator / RedisCoordinator shipped; PostgresCoordinator / Raft 0.9.x / 1.0.x follow-ups) - SPOF caveat + Sentinel/Cluster/Postgres/Raft mitigation ladder - Pointers to the TLA+ spec, BFS twin, DESIGN.md, RESULTS.md Cross-links added: - Home.md table: new Federation row - _Sidebar.md: new Federation link - Distributed-and-Provable.md: new 'Cross-cluster federation' sub-section that says when to use federate() vs the existing twoTier(leased) windowCoupled (essentially, when processes span multiple regional clusters)

    @AmeyaBorkar AmeyaBorkar committed May 28, 2026
    8d1e98a

  • docs(distributed): document the best-effort Workers KV store (TK-812)

    @AmeyaBorkar AmeyaBorkar committed May 27, 2026
    bd1f6c9

  • docs: document 0.8.0 stores, adapters, and distributedTokenBudget

    @AmeyaBorkar AmeyaBorkar committed May 27, 2026
    7ba9f99

  • Mark GALE Pillars 2-3 and TALE Layers 2-3 shipped (0.7.0) learnedReservation/predictiveReservation and leaseSizer/predictiveLeaseSizer now ship as first-class API. Research.md status markers flipped to Shipped + the shipped-surface paragraph updated; new admission-pacing section on the Overload page; new 'Sizing the lease' subsection on the Distributed page; Home breadth bullet notes the LLM cost-control stack.

    @AmeyaBorkar AmeyaBorkar committed May 27, 2026
    b975642

  • Add ThrottleKit wiki: guides, distributed model, research

    @AmeyaBorkar AmeyaBorkar committed May 26, 2026
    5e59d8b