The argument, with its counter-arguments.
Infrastructure and human action.
Financial infrastructure is amoral; the things people do with it are human — sometimes good, sometimes bad.
Much regulation treats infrastructure as the place to intervene: KYC, licensing, custody restrictions. Gavel's design takes the position that, for the activities it enables, this is often the wrong place. Infrastructure cannot tell good uses from bad at the moment of interaction, and every filter adds friction for legitimate users and discretion for whoever applies it.
The design does not prevent bad acts. It makes sure the infrastructure itself cannot be their source: there is no operator able to take funds, no central entity able to freeze them, no fee mechanism and no exclusion mechanism at the protocol layer.
The counter-arguments have real force. Infrastructure controls sometimes work where upstream controls cannot. Access can enable harms that were not possible before. The counterfactual is not nothing: a venue without KYC may draw those avoiding it, in unknown proportions. Regulation sometimes protects people from themselves. And democratic societies have a legitimate interest in the financial system.
The position does not deny them. It is narrower: for collateralised credit, spot trading of tokenised assets and derivatives composed from these, the case for permissionless infrastructure outweighs the case for infrastructure-layer controls. Reasonable people can disagree.
Gavel is not in competition with traditional finance for its core functions — issuing currency, insured deposits, regulated listing and clearing. It adds a choice alongside them, and can serve as a shared layer beneath both.
Transparency is where the design aids the response to human bad acts: every event is publicly indexable, and every balance publicly queryable.
Legal completeness.
A law about secured credit can constrain a transition in four ways only: who may make it, when, on what condition, and with what result.
The core is complete when, for every transition, an orchestrator can set all four — by a term fixed at creation, or by naming at creation an address to which the decision is delegated: a security agent, a contract encoding a jurisdiction's rules, a court-appointed agent. The core never needs to know the law; it needs a place for the law to attach.
What one legal system requires and another forbids is an option of the lien, fixed at creation, and every option has today's open behaviour as one setting, so open markets are unaffected by the options regulated markets choose.
The core declines three things, for everyone: reversing the past, discretion no party agreed to, and indefinite stays where a resolution was guaranteed. These are left to courts acting on persons, for whom a complete public record makes their orders precise.
This is a design principle, checked transition by transition against the specifications. It is not legal advice; how it meets a particular legal system is a question for lawyers in that system.
Dated finance.
Without a continuous price, prices exist only where an auction makes them, at discrete times. Every instrument has a date and settles at a market.
Before continuous markets, credit worked this way: bills of exchange settled at periodic fairs, such as those of Champagne. Gavel's batch auctions play the part of the fairs.
Legal relations and the core.
Idea
Wesley Hohfeld (1913) separated four kinds of legal advantage, each with a correlative: claim-right and duty; liberty and no-right; power and liability; immunity and disability.
The core contains all four. An obligation is a claim and a duty. Permissionlessness is a liberty: anyone may pay, or enforce after a backstop. Gates and triggers are powers. Immutability and the three exclusions are immunities: governance is disabled from changing terms or reversing the past.
Where the model stops: the core records; it cannot compel. Facts arrive through parties one chooses to trust, not through oracles. It expresses what is owed in an asset; it cannot make an asset valuable. The core can carry the relations; the facts and the force come from elsewhere.