CGK – Provably Preventing Overcommit in Distributed Capacity Markets

Show HN: CGK – Provably Preventing Overcommit in Distributed Capacity Markets

CGK – Provably Preventing Overcommit in Distributed Capacity Markets is a company in show hn launch.

Profile

Early PoC exploring how to make distributed capacity markets (DePIN, restaking, AI inference slots, etc.) provably non-overcommitting — even under network partitions and adversarial excitation.Core idea: enforce strict global conservation (Σ allocations ≤ CAP) via:Contractive dynamics (Banach fixed-point convergence) Lattice join merges (⊔ = max, never additive) Budget-token gating + partition-local caps (≤ CAP/n)Try the guided 5-step interactive simulator (single HTML file, no install): it demonstrates normal operation, stress to cap, partition attack, adversarial injection, and safe reconnection/merge with invariants always held.Full technical report (proofs of conservation, contractivity,

As a business in show hn launch, CGK – Provably Preventing Overcommit in Distributed Capacity Markets is listed here with the public details available about it.

It is recorded at the Show HN launch stage.

Website: distributed-markets-overcommit.github.io/Distributed-markets-overcommit