Progressive Depletion Minting: a formally verified supply control mechanism, free for personal use and community projects

I am going to keep this direct because I respect that this community values substance over pitch.

I am the sole inventor of Progressive Depletion Minting (PDM), a mathematical supply control mechanism currently under UK patent (GB2513172.3). I have been following the Logos Blockchain development and the Vac TKE unit’s work on the Cryptoeconomics of Nomos framework, and I believe PDM addresses a problem that sits at the heart of what you are building here.

What PDM actually does

Most supply mechanisms in crypto are static. Hardcoded halvings. Fixed emission schedules. Governance-voted parameter changes. All of them either run on autopilot with no feedback loop, or require human intervention that introduces the exact centralisation risk the system was designed to eliminate.

PDM takes a different approach. It treats supply control as a continuous feedback system with three core properties:

Conditional minting. New supply is only created when the liquidity ratio falls below a defined lower band. If the system does not need new supply, none is created. There is no emission schedule to override, because there is no schedule. There is a condition.

Progressive resistance. When minting does occur, it is damped by a resistance function (phi raised to the power of current supply divided by maximum capacity). The closer supply gets to capacity, the harder it becomes to mint. This is not a parameter someone can vote to change. It is a mathematical property of the system.

Autonomous convergence. The mechanism provably converges. I have completed a full Lyapunov stability analysis (candidate function V_L = (L minus phi) squared) and a parameter stability sweep across the entire viable parameter space. The system does not drift. It does not require governance intervention to remain stable. It behaves like physics, not policy.

The reference implementation is in Go. 233 passing tests across 31 source files. All five formal guarantees are verified in the simulation harness: non-negativity, capacity boundedness, progressive resistance, conditional minting, and hash chain integrity.

Everything is on GitHub: GitHub - mannmechanics/pdm-personal-edition-reference: Reference implementation of Progressive Depletion Minting (PDM) – Personal Edition. Non-commercial, educational and research use only. · GitHub

Why this matters for Logos

The Logos Blockchain is heading into testnet in 2026 and mainnet in early 2027. The economic layer needs mechanisms that are governance-minimised, mathematically provable, and resistant to capture. That is not a marketing statement. That is the explicit design philosophy stated in your own specifications.

PDM was built for exactly this kind of environment. It does not require a governance vote to adjust supply. It does not require an oracle to feed external data. It does not require trusted parties to set parameters. Once deployed, it runs autonomously and its behaviour is formally verifiable before deployment.

The specific challenges I have seen discussed in the TKE unit’s published work, block reward sustainability, validator incentive alignment, stake-based supply dynamics, wealth concentration resistance, these are all problems where a conditional, progressively resistant minting mechanism could contribute meaningfully to the design conversation.

Licensing and how MannMechanics works

I want to be completely transparent about the structure, because I believe honesty about commercial intent is more trustworthy than pretending everything is purely altruistic.

PDM is patented. The intellectual property is held through MannMechanics (mannmechanics.com), which handles licensing and consulting for institutional and commercial deployments.

However, the PDM Personal Edition is free. Specifically:

Personal use: free, no licence required. Charities and registered nonprofits: free, no licence required. Community projects with fewer than 10,000 users: free, no licence required.

This means any contributor here can pull the reference implementation from GitHub, run it, test it, break it, extend it, and evaluate whether it has value for the problems you are working on. There is no cost, no catch, and no obligation.

If the Logos project or any IFT portfolio project wanted to integrate PDM into production infrastructure at scale, that would be a commercial licensing conversation with MannMechanics. But that is a bridge to cross only if the mechanism proves its value through open testing first. I am not here to sell. I am here to put the work in front of people who will understand it and let the mathematics speak.

What I am offering

I am offering the community access to a formally verified, patent-protected supply control mechanism at no cost for evaluation, testing, and use in community-scale projects. I am also offering my time. I am happy to answer technical questions about the mechanism, walk through the stability analysis, or discuss how PDM could interface with the economic designs currently under development for the Logos Blockchain.

I have been in the UK digital assets space since 2017, have deployed token contracts on Base (Solidity), and built the complete PDM reference implementation and formal verification suite myself. I am not an academic observer. I am a builder.

If any of this is useful to what you are working on, I am here. If it is not, I respect your time and appreciate you reading this far.

Val

MannMechanics.com