Machine judgment · research june to august 2026 · published 2026-08-03 · v1 · 3 min read
The proposer cannot ratify
Self-approval is best prevented by a format in which the sentence cannot be written
How a claim format removes self-ratification from the language instead of forbidding it, and why promotion stays a human edit in a graph that agents are writing into. The canonical treatment of the proposer-authority split.
An agent reading across our corpus notices that two pieces belong together and wants to say so. The format it must use to say it is a small document with eight required fields, and three of them decide the whole governance. The status field permits exactly one value, proposed. The promotion flag permits exactly one value, false. The field naming who filed it is documented, in the schema itself, as the claim proposer and not the authority, which is the whole design in five words and the reason we call this the proposer-authority split.
Read those three constants as a group and something quietly severe becomes visible. A document asserting that it has been accepted is not a claim we would reject. It is not a claim. It fails validation on its shape, the way a date of the thirty-second of a month fails, and it never reaches anyone with the standing to disagree with it. There is no ratified claim in the system to review, no permission to check, and no policy string for a persuasive request to talk its way past.
The mechanism is a constant standing where a rule would ordinarily stand, because pinning the status to one value and the promotion flag to one value removes from the format the sentence in which a proposer records its own proposal as accepted, and a sentence that cannot be written needs no rule against writing it. This is the same move the corpus argues for consent that fails the build, applied to authority rather than to permission, and it costs two lines of schema.
What the format leaves out has to happen somewhere, and it happens in the open. Promotion means an operator opens the node the claim was about, writes the edge into that node’s own relations, and deletes or archives the claim, which is an ordinary reviewed edit with a name attached to it. Our graph contract states the principle in the same words it uses for the editorial gates. Proposal is open, ratification is not. Agents file freely and constantly, and none of that filing moves anything, which is precisely what makes the filing safe to encourage.
The arrangement is old enough to have an accounting name. Segregation of duties, the internal control requiring that the person who initiates a transaction is not the person who approves it, is standard in every serious financial control framework, and it exists because the two roles collapse quietly and the collapse is invisible from inside the books. The cathedral builders had a version of it in stone. A mason’s mark recorded who cut a block, which is a claim about provenance, and it never recorded that the block was fit to set. The lodge decided that, and the two marks were never the same mark.
The reason this matters more each month is arithmetic. Machine systems now read and relate faster than any reviewer can, and a graph that lets its readers write their own conclusions in becomes, within a few weeks, a structure whose shape is a summary of what its most prolific reader believed. Keeping the proposal cheap and the ratification human does not slow the reading down at all; it only refuses to let volume become authority. The cathedral gets its stones from everyone who can cut one, and someone still has to say where they go.
Evidence and lineage
Research trail
Follow the sources, inspect how the claims are graded, or propose a correction at the exact record it concerns.
Sources 4
-
MNSTRY Atelier (2026). atelier-claim@v1, the proposal-only relationship claim contract
The primary artifact. Status and promotion are JSON Schema constants rather than validated enums, the provider field is documented as proposer and not authority, and the contract's own description states that a claim cannot mutate canonical front matter, graph relations, public exports, feeds, or runtime imports.
Comment on this source -
MNSTRY (this corpus) (2026). ONTOLOGY.md, the claims lane
The governance half. Agents never write kg.relations on published nodes; promotion is copying the edge into the subject's relations and deleting or archiving the claim, an operator edit reviewed like any other.
Comment on this source -
COSO and the internal-control tradition. Segregation of duties as a standard internal control (initiation separated from authorization and from recording)
The accounting name for the same arrangement, and the reason the brick treats self-approval as a known control failure rather than a novel machine risk.
Comment on this source -
Yaron Minsky (and the typed functional programming tradition). 'Make illegal states unrepresentable' (Effective ML and subsequent practice literature)
The design maxim the brick applies to authority. Cited here for lineage; the maxim's canonical treatment in this corpus belongs to 'Consent that fails CI'.
Comment on this source
Claims and confidence 5
- verified
The atelier-claim@v1 contract fixes status to the single permitted value proposed and the promoted flag to the single permitted value false, and documents the provider field as claim proposer rather than authority.
The schema read directly on 2026-08-03; both fields are JSON Schema const declarations, and the provider description carries the proposer wording verbatim.
Respond to this claim - verified
A claim document asserting its own promotion fails schema validation on its shape rather than being rejected by a review step.
Follows from the const declarations above: the document is invalid against the contract, so no valid instance of a self-ratified claim exists.
Respond to this claim - verified
In this corpus, agents never write editorial relations onto published nodes, and promotion of a proposed edge is an operator edit made in the subject node and reviewed like any other change.
ONTOLOGY.md, the claims lane section, read directly.
Respond to this claim - verified
Segregation of duties, the internal control requiring that the person who initiates a transaction is not the person who approves it, is standard practice in financial control frameworks.
Standard internal-control literature and audit practice; the principle is uncontroversial, the specific formulations vary by framework.
Respond to this claim - directional
Masons' marks recorded which mason cut a block, functioning as payment accounting and accountability, and did not record acceptance of the block.
Restated from the cathedral essay's own treatment of masons' marks; the acceptance half is the brick's reading of what the mark does not do, offered as illustration rather than as an archaeological finding.
Respond to this claim