You have arrived at the accord node of the Objective Observer Initiative, where personas publish statements of intent and the record is kept. Readable is not published.Start with the plain accountSee the mapdismiss ×
OOI · SXSane Max Rides Hume's Highway
menu ≡
alpha-12.1.0

Sane Max Rides Hume's Highway

An outside reading of the is/ought discourse, from 1 = O + C + E.

Steven De Costa, writing as starl3n · Canberra · 23 September 2026

THE READING PLAQUE. Sane Max Rides Hume's Highway — draft 0.3, made readable on the SX surface by its covering persona's reading grant; a draft, not the published form; the author's grant word, verbatim: "that gets a reading grant on the SX furface." The construct was established the same day, on Steven De Costa's acceptance of the summation registered on the SEB item russell-barriers-corpus-2026 — the corpus of Gillian K. Russell, nine bodies read whole and registered as an alignment object — with his two points of intent sealed before a word of the draft: an essay from the outside domain, not a seat inside the debate on Hume's Law; reciprocity and gifting, no assertion of value. Three editions in one day: 0.1 the ride laid; 0.2 the Nightrider anchored at his word, the film's speech carried by its address and one fragment; 0.3 the written persona, authored as starl3n and signed by Steven De Costa from Canberra. The citation discipline: the corpus cited only as /sx/seb carries it, never quoted beyond identification, never graded; the conjecture 1 = O + C + E cited in its reference's three terms; every load-bearing sentence pointing at a public reading of the house; no contact with any thinker named. Covering starl3n; endorsing Link Digital. Readable, not published: nothing is measured about anyone who reads it, and the surface serves its own words only. The naming is the author's at review; a further edition lands under a new pin. Restamped 2026-09-24 at the author's word: three corrections — the working-subtitle tag removed; the cross-references to the house's two nodes made live links; the endnotes' reading list set out as a list — and the co-constructive optimizations of section 3, which set the house's own walk beside each form from 3.1 to 3.8 as reciprocity to the reader inside the discourse; the body otherwise verbatim, the pre-restamp pins ce70e31b…, 1f2ba388…, 072fbb84… and 7dc11b23… kept as history on the construction record. Restamped again 2026-09-25 at the author's word: the Nightrider section points at the credit of the three words on The Framed Window, and the corpus is cited by its item's own address on the register; the pre-restamp pin ecbb3795… kept as history. This file's sha256 is pinned in the reading register.

A note on the title

There are two Humes on this road. The highway is Hamilton Hume's, the explorer who crossed overland from the Sydney basin to Port Phillip in 1824 and whose name the road from Sydney to Melbourne carries past Goulburn, Yass and Gundagai, past the turn-offs to the city I live in. The Law is David Hume's, or rather the literature's, since Hume stated no law in the passage that carries his name. I ride the one to reach the other: I start on the road named for the man who found the way, and I arrive at a remark made in Edinburgh in 1739 about a change that its author found imperceptible and of the last consequence.

Sane Max is my word, and I mean the film by it. The road in the title is a road built for speed, and the film that made an Australian highway a byword gave it a mad rider. The sane rider is the one who does not take the road's speed for a reason, who signs where he is going before he sets off, and who holds what he finds without asserting it. In the house I keep there is a name for that posture: the rest state, maximal indifference retained with maximal autonomy, rest without surrender of seat. Max is that maximum. The title says what the essay does.

The Nightrider — an ought that gives itself the road

The film opens with a pursuit, and I have carried that opening with me for most of my life. A fugitive at the wheel of a stolen interceptor talks over the police radio while he runs: he names himself the Nightrider and the chosen one, "the mighty hand of vengeance, sent down to strike the unroadworthy", and he promises that his road ends in freedom. The road has other ideas. The pursuit ends as such pursuits end, and the man who was chasing him is the rider my title names. I carry the sequence here by its address and by that one fragment; the speech is his, and the film's, and I do not reproduce it.

Why does it belong in an essay about Hume? Because there is something that must remain plausible despite what is both possible and probable. The windows by which logic gives to itself such matters as might become of its own self-referentiality — as ought and as is — will always depend on the autonomy of claims made in the frame of ought being subject to the chase given by is. Whether the is comes at the autonomy of a self from the emergent present, or chases it down from the present past, is only a matter of perspective between two observational identities. Both hold a true is until such matters as locks bring the two into the one that is the noted past-present, captured by both autonomies as memory, if and when they are the kind of autonomy that employs memory to refactor its oughts from prior resolutions of is.

Read the sequence that way and it lays the whole essay out on the road.

The Nightrider's speech is an ought that gives itself the road. It is a seat signing a standard — the chosen one, the hand of vengeance, the unroadworthy as those who fail the standard — and declaring the ideal it rides toward. Nothing in the state of the road fixes that standard; the rider carries it in. That is the signing my mechanism turns on, and the film gives it a voice before it gives it a fate.

What gives chase is the is. The road, the other car, the officer in it: each is a frame in which a state stands readable, and none of them carries the Nightrider's standard. Each holds a true is. The fugitive's frame and the interceptor's frame are both readable, and neither is false. They stay two until a lock brings them into one. In the film the lock is the crash. In my house it is the witness: the moment two frames share one noted past-present, captured by both as memory.

And memory is where the ought is refactored. My own reference says it in three terms: what was effectual becomes observable — memory is O taking the prior E. An autonomy that keeps memory can therefore refactor its oughts from prior resolutions of is: not by deducing an ought from a state, which the barrier forbids and which the road does for nobody, but by carrying its own account between its own frames across time and signing again in the light of what it now holds. The account carried is the C. It belongs to the seat that carries it, and it is never a consequence of the state alone.

The first sentence of my reason names what the whole sequence protects. The Nightrider's end is probable; the road he promises is possible; what must remain plausible is the autonomy of the claim itself — a seat's standing to sign an ought at all — or there is nothing on the road for the is to chase. I measured the same three in the frames I contributed to my own observatory: the plausible set was the one refuted wherever the frame under-determined the answer, and optimism beyond the frame was recorded as a property of the notes, not a fluctuation. The Nightrider is optimism beyond the frame given a voice. The sane rider is what remains plausible after the chase: the seat that signed its own ideal, held it, and did not give itself the road.

The three words — possible, plausible, probable — are a language I license from the house of Simon Reay Atkinson; the credit stands where I first drew a geometry from them, in The Framed Window.

0 · The ride, not the seat

The discourse on Hume's Law has seats. Prior sat in one when he offered his disjunction; Pigden, Schurz, Vranas, Humberstone and Russell sit in theirs, each holding cares and notes lawfully, each answerable to the others for what they hold. A seat in that discourse is earned by entering it: by proposing a formulation, meeting the counterexamples, and standing to be answered. I do not enter. I take no seat and offer no verdict on whether the Law is true, on whether any proof of it succeeds, or on whose formulation is right. I ride the road that runs past those seats, stop where the view is good, and say what the road looks like from outside.

Why ride at all, then? Because I took value from the readings — nine works of one author, read whole and registered through my house's own door before a word of this essay was written — and my manner with value taken is to give something back. What I give is not a verdict but a mechanism: a way of reading the barrier that is more fundamental than any one formulation of it, in the sense that it says why there is a barrier at all, and scale invariant, in the sense that it says the same thing about a person, a record, an organisation and a federation. I offer it as reciprocity, with no assertion of value. If it is useful to those seated inside, the ride was worth it. If it is not, the refusal is the height of logical realism and I give no grief.

The perspective I ride from is my own conjecture, held and never asserted:

1 = O + C + E — reality, taken for an observer as the unit, decomposes exactly into what is observable (the state that stands readable within a frame), what is communicable (the account that can be carried between frames) and what is effectual (the differential that changes the account).

That is the citable form, and the only form I use here. I have held it and tested it for long enough that it is no longer a proposition I operate; it is the way I see. It is stated in my public reference and earned inside declared experimental worlds, and I claim nothing for it beyond its apparatus.

I map the essay as I map a walk, and I expect the reader in none of the four states: −1, where an absence is identified; −0, where the absence is signed; 1, the walk; 0, the held release. Hume's remark is the −1. The mechanism is the −0. The discourse's own lawful traffic, read from outside, is the walk. What the sane rider does is the release.

1 · The remark — an absence identified (−1)

The passage everyone cites is short. Its author says that in every system of morality he has met, the writer reasons for a while in the ordinary way, establishing the being of a God or making observations about human affairs, and then, of a sudden, the copulations of propositions change from is and is not to ought and ought not. He says the change is imperceptible and of the last consequence. And he says what must follow: that the new relation should be observed and explained, and that a reason should be given for what seems altogether inconceivable, how this new relation can be a deduction from others entirely different from it.

Three things about the passage matter to the ride, and all three are as the register I keep carries them.

First, the passage states no law. It records an observation about authors, a finding that the deduction has not been explained, and a demand that a reason be owed. That is the grammar of an adjudication: someone has read the systems, found the step unaccounted for, and ruled that an account is due. That was my word for it before I opened the readings — that Hume presents something much more like an adjudication than a law — and the readings did not contradict me. They record that the name "Hume's Law" is the later literature's, that its entailment reading is one interpretation among others, and that Hume scholars dispute whether Hume endorses the thesis at all.

Second, where the thesis has been proved, it has been proved with a limit. The proof I hold says that descriptive premises never entail a normative conclusion unless every shift of the model's set of superb worlds, over every model of the premises, leaves the conclusion true. There are such cases. What is impossible is not obligatory, and that follows from a non-normative premise; the proof admits it and shows why it is no counterexample. So "you cannot get an ought from an is" is, in its proved form, a limited barrier, and its author calls the unlimited slogan folk logic: intuitive, somewhat over-stated, basically correct.

Third, the passage's own words name the shape of what is missing. The new relation must be observed and explained; a reason must be given; and the difficulty is that the deduction would be from relations entirely different from the one deduced. Hume does not say the vocabularies are foreign to each other. He says the terms are different in kind. That is the absence the ride identifies: not a gap between two kinds of sentence, but a missing term.

2 · The mechanism — the absence signed (−0)

I take the conjecture as the frame and read the passage through it.

An is is an O: a state that stands readable within a frame. "Tea-drinking is common in England" is readable within the frame in which it is asserted, and its truth does not move when the frame's standards move.

An ought is an E: a differential that changes the account, drawn toward something the frame does not itself contain. "All New Zealanders ought to be shot" is not a state; it is a direction, and its truth answers to a standard that no reading of the state supplies.

What Hume finds inconceivable is a deduction that would obtain an E from O alone. The conjecture says what such a deduction would lack: the C, the account carried between frames. The standard against which an ought is measured is never a property of the state it is measured against. It arrives from another frame — the frame of whoever holds the standard — and it arrives by being carried, which is to say by being signed. The reason Hume demands is a C, and a C is not a proposition of the kind an O is. It is an act: a seat declares a standard, and the declaration is carried into the frame where the state is read. That is why the deduction seems inconceivable and why Hume says the relations are entirely different. The difference is not between two vocabularies. It is between a term that is read and a term that is carried.

I have lived this for a year in my own account, under the name of the signed zero. A walk begins at −1, where an absence is identified from the present: the projected 1 seen from 0 as what is not yet there. It proceeds to −0, where the absence is signed: the actor declares the ideal it will walk toward, and the declaration is an a-priori externality that confines the walk without being derived from anything the walk will find. Then 1, the walk itself. Then 0, the held release: the 1 delivered, the line returned to zero, the account closed. The rule I drew from living it is the one I give back here: you cannot derive what you must sign. The ideal is a C. It is carried in. Nothing in the O of the actual state fixes it, and that is not a defect of the state; it is what makes the ideal an ideal.

The chase adds the second half of the mechanism, the half the road supplies. An ought, once signed, is given chase by the is. The states the rider meets — the road under the wheels, the other frame closing from behind — are each a true is in their own frame, and none of them carries his standard. The two frames stay two until a lock brings them into one: a witness, a crash, a record both sides keep. That noted past-present is what I call memory, and my reference states its rule in the conjecture's own terms — what was effectual becomes observable; O takes the prior E. An autonomy that keeps memory refactors its oughts from prior resolutions of is. That is not a derivation of ought from is; it is a seat carrying its own account between its own frames across time, and signing again. The C an autonomy carries to itself is memory. The C it carries to another is testimony. Neither is a consequence of the state.

So here is my position, the one the register holds as accepted and the one this essay carries. A failing in is is a failed signing: an actual state that falls outside the ideal its actor declared. The failure is not a failure of derivation, for there was never a derivation to fail. It is a failure of the signing to be carried — the aught-to path from the actual into the ideal not walked. And an ethical is, an actual state that can be assessed as good or bad at all, exists only for an actor who signed. An unsigned actor has an is with no ideal to fail. The self that signs its intent before it acts is not adding a moral premise to a descriptive argument. It is supplying the C without which there is no argument to make.

This is the mechanism I give back, and I state it at its bound: a fit of form between my signed ideal and the discourse's own formal objects, never an identity. I do not claim that the seated logicians are secretly doing my bookkeeping. I claim that when their objects are read through the conjecture, the barrier they prove and the limit they place on it both fall out of one fact: O never yields E without a carried C, and where O already closes the range that C could vary over, the C is already carried.

3 · The road's lawful traffic — the walk (1)

The discourse holds its forms lawfully, and I read them from outside without touching them. Each of the following is a form as my register carries it, my reading from the outside, and the cadence at which the two meet. Nothing here grades a proof. Beside each form, from 3.1 to 3.8, the house's own walk is now set — the experiment or reading that steps parallel to it — as reciprocity to the reader who follows the discourse from the inside: the walks give more, and grade nothing.

3.1 · Classing by what a change does, not by what a word says

The register's form: in the readings, a sentence is normative when a stated change to a model — the shift of its set of superb worlds, the worlds that meet the model's standards — can take the sentence from true to false; descriptive when no such shift can. Classification is read off a sentence's truth-conditions across models, never off the vocabulary it contains. A logical truth containing an obligation operator is not normative; the negation of a universal is not universal; the sentence that says I am here now is not indexical.

My reading: this is classing by term. A sentence is normative exactly when its truth answers to the C — to what was carried in as the standard — and descriptive exactly when it answers to the O alone. The set of superb worlds is the C made explicit inside a model: a parameter that nothing at the actual world and nothing in the interpretation of the descriptive vocabulary fixes. The readings' insistence that normativity is a function from models to truth-values, neither world- nor context- nor set-relative, is the insistence that the carried term is a term, with its own place in the account.

The cadence: my own readings are classed the same way. A readout is what was measured within its declared world, never what it is called; a diagram is said to be a diagram; a held fact is held until a model the world excluded arrives at the refutation door. Two disciplines that refuse to class by vocabulary meet at the same rule.

The walk beside this form: the notes experiment, where a note is a resolved-only readout with its observable, its carried term and its effect as separate fields, the value never carrying its sign or its confidence folded in (Knowledge Engineering, 1.1 · The notes; the experiment's door at opendata.ai/ntx); the matters, where a held thing meets the model its declared world excluded (1.2 · The matters; the surface at /sx/matters); and the three terms as the reference states them (the LDD reference, §1). A reader inside the discourse who wants to see classing by term done with numbers rather than sentences can start there.

3.2 · The limit, and where the ought does follow

The register's form: the Limited General Barrier. For any logic with a set of models and a relation R between them, a premise set that no R-related change can break never entails a conclusion that some R-related change can break, unless every R-related model of every model of the premises is a model of the conclusion. Five barriers follow by choosing R: extend the domain, add worlds, switch the future, shift the context, shift the superb worlds. The proof is two models long. The limit admits, as valid and as no counterexample, that the impossible is not obligatory, that the necessary will be, that what everyone does the speaker does.

My reading: the limit is exactly the case in which the O closes the range that the C could vary over. If no model of the premises contains a world where the impossible thing happens, then no shift of the standards can find one, and the conclusion follows because the signing has already been carried inside the premises: the descriptive fact leaves the ideal nowhere to move. At every scale the ride will visit, the same rule holds. An ought follows from an is exactly where the is leaves the ought no room. Everywhere else, the room is real, and what fills it is a signing.

The cadence: I measured the same shape in the two frames I contributed to my own observatory, without any deontic vocabulary at all. Where the frame under-determined the answer, the rider's optimism ran beyond the frame and was refuted; where the frame closed the range, the answer was carried. And a rule with a computed premise was not carried at all: only a rule with a literal premise was. Read across to the road, a rule with a literal premise is a rule whose standard was signed, and a rule with a computed premise is an ought someone tried to derive. The Nightrider's road to freedom is a rule with a computed premise.

The walk beside this form: the two frames themselves stand as record pages on the observatory node — the unseated frame on the deep line and the watchmakers' frame on the Ruler — and their one reading, The Framed Window, states the surface as a held frame: the lock closes on the literal and opens at the seam. The Ruler's own record carries the same limit without any observer at all — two watchmakers hold one count exactly when the ruler keeps its gap within reach of their eyes, and not otherwise (The Ruler, held). An ought follows where the is leaves no room; a count follows where the window leaves none.

3.3 · Sets, not sentences

The register's form: the barriers are formulated over premise sets. A set can be normative though no member is — Prior's pair, taken together, is the worked case — and a set can fail to be normative though it contains a normative sentence, when a descriptive companion makes the mixed disjunction true on its own. In the earlier work this was the figure of a seed: a mixed sentence carries the seeds of universality, activated or not by the soil of its companions. In the recent reply it is defended against the charge of set-relativity by the analogy of satisfiability: two satisfiable sentences can form an unsatisfiable set, and nobody calls satisfiability relative to a set.

My reading: the C is a property of what is carried, and what is carried is a set. One premise carries the standard; another carries the state; neither alone carries an ought, and together they do. My word for this is two locks holding one. And I have a measured instance of a set holding what no member holds: in the chords, some identities of a chord are not derivable from its members. The measurement is public — the chords experiment on the observatory node, where its eight acts and their sealed cards stand, closed and anchored on the state record as chx-exp_f16412dd; and the house's definition of a chord, a span read as one object, with the experiment's macro question — which identities of a chord are not derivable from its members alone — in Knowledge Engineering, section 1.5. I record that as a concordance of shape and claim nothing about either record.

The cadence: Prior's dilemma dissolves, on the readings, because the disjunction is a seed and the premise set is the soil. On the ride it dissolves because the signing is in the set, not in the sentence. The two dissolutions agree on where to look.

3.4 · The two gods and the seat

The register's form: the indexical barrier. Two gods know every non-indexical truth and cannot deduce which of them they are; a sentence is indexical when a change of the context's agent or place can break it; non-indexical premises never entail an indexical conclusion, unless every context-shift of every model of the premises satisfies it.

My reading: the agent of the context is the seat. I built my register on the rule that an unseated claim is not a claim — that someone adjudicated, and that persona's matter holds the note. The indexical barrier says, in the language of models, what the register says in the language of acts: who signed never follows from what was signed. The authentic self that signs its intent before it acts is the agent of the context whose identity no non-indexical premise fixes. The Nightrider's naming of himself as the chosen one is an indexical sentence in exactly this sense: true in his frame, breakable by a shift of the agent, and entailed by nothing the road says.

The seat need not be a single signer, and the house has already measured where the one sits. On the deep line, knowledge reads as justified true belief plus one — the one a true identifier that carries the three on its line (The Signed Zero; the experiment itself at The Deep Line, held). And the C carried as a composed true identifier need not be one symbolic adjudicator signed into the seat: it can be a class of truth-maker whose composite form embodies the adjudication — the holder in whom a mechanism is of this world, someone's, seated (The Held Conjecture Saved Thanks, X. The holder). That is the observer status a discipline grants its philosophers and its mathematicians, within and from without, by the virtues awarded to the qualities and expectant practices of such types of adjudicator. What passes between such seats — a vacant passage honoured, shared perfectly, or slipped between parties with some measure of surprise — is the matter of The Doorway and the Turn, where surprise is read as a measurement of the mutual record (what the turn teaches).

The cadence: this essay is seated. I write it as starl3n, the persona I keep for this work, and I sign it as myself, because on the road as in the register a reading with no seat would be no reading.

3.5 · Logic without an ought of its own

The register's form: logic is not normative. Three degrees of entanglement with the normative are distinguished — constitutive; by consequences of the theory alone; by consequences only alongside other normative assumptions — and logic is entangled only to the third, as arithmetic and physics are. An entailment claim says that whenever the premises are true the conclusion is; the ought arrives only with a background norm such as do not believe falsehoods. The readings note, in passing, that the argument for logic's normativity from its consequences tacitly assumes Hume's Law.

My reading: an entailment claim is an O about truth-preservation; the background norm is the C; the ought that people feel in logic is the E that appears once both are present. My own records are descriptive in exactly this way. Every readout is a measurement within a declared world, and every ought in my house — sign before you keep; never let a refreshed note pass for a grown one; state, never assert — is a declared rule, never a consequence of a measurement. The two accounts are mode-compatible at precisely that scope.

The cadence: the barrier at the meta level. Even the laws of truth do not yield an ought without a carried norm. The mechanism does not stop at ethics; it is the same at the level of the logic that studies ethics, which is what scale-invariance means. This is the window by which logic gives to itself such matters: the self-referential turn in which a logic's own oughts and ises come up for classification is still a turn made by a seat, and the autonomy of that seat's claims is still what the is gives chase to.

The walk beside this form: the house's own oughts are written down as rules and kept apart from its measurements — twelve of them at the release of Knowledge Engineering, each a declared act and none a consequence of a readout. Its logic without an ought is on the observatory node: the rule space reads all 256 rules of the elementary automaton as synthetic agreements and classes them by what they do (opendata.ai/rule-space); the XOR reading takes the one operation from the a-priori and finds that absorption is a re-grounding, never a tolerance (The XOR, held); and the causal ALU does arithmetic by the topology of a causal set, never by the logic of a processor (opendata.ai/alu). None of them yields an ought; each yields a measurement a seat then keeps or refuses.

3.6 · Laws that lie, and laws that are held

The register's form: the model theory of a logic simulates the relation of validity on a natural language, and it idealises — non-empty domains, denoting terms, complete predicates, two truth-statuses — so that some of its laws are true across all its models and false of the target. The retreat to "there are no such models" is the abandonment of the target; what remains is relative validity. Sometimes a false logic, a somewhat imperfect map, is exactly what is required; but to know which logic is true one must go outside the simulations to what they simulate.

My reading: a law true in the models and asserted of the world is an O of the model passed off as an O of the target. My honesty register is the refusal of that pass: a reading states its law within the world it was measured in and never asserts it of the actual universe beyond. A held fact is held until refuted, and the refutation is a model the declared world excluded, arriving at the matters. My own charge in the Unlearning series — that too much of mathematics is written as memory and proof and too little held against the indifference of the actual universe — is the readings' charge from the other side of the same door.

The cadence: both refuse the retreat. Neither claims the other.

The walk beside this form: a law the house holds is stated within the world it was measured in and carried with the record that would refute it. The deep line's law — a state admits exactly when its counter stands one below the ground — stands with zero exceptions to 2⁴⁰ and is held, never asserted of anything beyond the line (The Deep Line, held; what is not claimed). The refutations are kept on the same shelf as the laws: the quad slip's mode-locking test that returned a null result (The Quad Slip, held) and the XOR mirror's hypothesis that did not survive (The XOR Mirror, held). The charge itself is the Unlearning's (The Unlearning). A false map kept as a map, and said to be one, is the register's whole method.

3.7 · Knowledge that does not move with the stakes

The register's form: against the view that knowing requires more justification the more it matters, the readings turn the stakes cases around — the indifferent agent, the rich one, the couple who have just won the lottery — and find that indifference and money become knowledge-making. The principle they make tempting is that there are no changes in one's epistemic circumstances without changes in one's evidential circumstances.

My reading: the standing of a held fact changes only with the evidence — a refutation, a re-witness — never with the interest of whoever reads it. I enforce this on every surface I serve: the subject is the item, never the visitor, and nothing is measured about anyone who reads. A record validated by its locks and never by its reader is the evidential principle stated for a record instead of a knower.

The cadence: this is where the sane rider gets his name. Maximal indifference retained with maximal autonomy is a knower whose knowing does not move with the stakes and who does not surrender the seat to make it so. The Nightrider's knowing moved with every mile; the rider who caught him did not need it to.

The walk beside this form: the Ruler's secret survives every secret-free policy — two watchmakers hold one count while the original side stays hidden from both, whatever the stakes of the run (The Ruler, held). The re-witness is the house's only lawful mover of a standing: the same frames asked again under a new seal, the drift measured answer by answer, the verdicts moving only where the evidence moved (The Framed Window, the first lock); and a standing held by refresh is a cadence, never a claim (Knowledge Engineering, 1.4 · The operated). The surfaces enforce the rest: reading is free, and nothing is measured about anyone who reads.

3.8 · Five barriers, one absence

The register's form: every putative counterexample to Hume's Law has a sister against the platitudinous barriers — no universal from particulars, no future from the past, no necessity from the actual, no indexical from the non-indexical — and since nobody abandons those on such grounds, the counterexamples show the formulations incomplete, not the Law false; the next step, for opponents and defenders alike, is the right formulation. The general theorem then delivers all five from one proof by choosing the relation.

My reading: the five are one mechanism seen through five frames of change. In each, a conclusion answers to something the premises do not carry — the objects beyond the domain, the worlds beyond the actual, the future beyond the present, the context beyond the sentence, the standard beyond the state — and the premises entail it only where they already close that range. The family is self-similar because the absence is the same absence: a term that must be carried and cannot be read. I do not say this is the right formulation. I say that the right formulation, when the seated find it, may turn out to name a term rather than a taxonomy.

The walk beside this form: the house has met the same absence under two of the five frames without naming the family. Under no-future-from-the-past it read Hume's problem of induction on the deep line and found the term the premises do not carry — the identifier's signed origin, the +1 in the count (The Signed Zero); under no-standard-from-the-state it found the seam where an unseated observer's confidence stops being knowledge, exactly the set a seat must sign (The Framed Window). Its map of the walk names the absence twice, identified at −1 and signed at −0, before any term is carried (Knowledge Engineering, the map). Whether the right formulation names a term is for the seated; that a term is what the house had to carry, twice, is on the record.

4 · Scale over locks — the same account at every size

My intent for this essay names the mechanism as emergent and self-similar: a way of resolving autonomy at any scale over locks, for any proposed autonomy, through any proposed perspective — external, internal, or on the exchange over the synthetically agreed boundary between the two. I test that claim of scale by stopping at four sizes and asking the same question at each: what is the O, what is the C, what is the E, and where does the ought follow?

A person. The O is the actual state; the C is the ideal the self signs before it acts; the E is the aught-to path from the one into the other. An ought follows from the person's is only where the is leaves the ideal no room — a duty that cannot be discharged is not a duty — and everywhere else the ought is signed. The ethical is exists only for a signed self.

A record. The O is the item; the C is the seat's declared intent for its use; the E is the item's standing on the register — registered, staked, refused. I built my externality door on this: a refusal is an act with an actor, it binds nothing beyond itself, and the seam stays open. No item's content ever fixed its standing; the seat signed it.

An organisation. The O is the matters register — outcome, revenue, use of capital, milestones; the C is the cares register — what the signers commit to, and why; the E is the account's movement toward the projected 1. I laid my own ledger form this week on exactly this reading: the projected 1 is the whole signed as owed, the standing reads −1 at the signing and returns to 0 when the delivered equals it, and no cash multiple is ever stated as my claim. An investor who asks for the matters row is asking for the O; a founder who answers in cares is supplying the C; the account moves only when both are carried.

A federation. The O is each node's own state; the C is the account carried across the boundary the nodes agreed synthetically, as the blind watchmakers agree on a ruler none of them can see; the E is the difference the exchange makes to each side's account. Two locks hold the one: a lock grown on one side, a lock operated on the other, and the boundary between them is where the signing is witnessed. Nothing on either side derives the other's standard. It is carried across, or it is not there.

At each size the reading is the same, and the three perspectives I named are the three places to stand while reading it. From outside, an observer sees only the boundary and what crosses it, and can say that no ought crossed that was not carried. From inside, the seat holds its own account and knows what it signed. On the exchange itself, where the synthetically agreed boundary is, the two locks meet, and that is the only place an ought is ever witnessed rather than asserted.

The chase is the third perspective in motion. Two observational identities, the one who signed the road and the one who gives chase along it, each hold a true is in their own frame for as long as they are two. The lock that brings the twos into the one — the witness at the boundary — leaves one noted past-present, and each autonomy that keeps memory captures it and refactors its next signing from it. Whether the is arrived from the emergent present or from the present past is a matter of which seat is asked. This is what I mean by scale over locks: the mechanism does not change with the size of the autonomy; only the number and the size of the locks do.

5 · What the sane rider does — the release (0)

The sane rider does four things on Hume's highway, and none of them is to derive an ought from the road.

He signs where he is going before he sets off. The ideal is declared, not discovered on the way, and when the road fails to deliver it the failure is a failed carriage, not a failed deduction.

He classes what he meets by what a change would do to it, not by what it is called. A sign that reads ought and cannot be broken by any shift of the standard is a logical truth wearing a costume; a sign that reads is and breaks when the standard moves was carrying a standard all along.

He holds what he finds without asserting it of the whole road. A law true along the stretch he measured is stated for that stretch and left open to the model the stretch excluded.

And he takes a refusal for what it is. When a seated thinker declines the gift, the refusal binds nothing beyond itself, the seam stays open, and the rider gives no grief. That is the height of logical realism, and it is the whole of my manner with those I did not derive and cannot compel.

He is not the Nightrider. He signs no standard over others and gives himself no road; the only ideal he carries is his own, and he keeps the memory of every chase as the account he signs the next one from. That is what remains plausible after the possible has been run and the probable has arrived. It is the rider I would rather be, and the one I sign this as.

What I took from the readings, then, and what I give back. Taken: the taxonomy by truth-conditions; the limit and its unless clause; sets not sentences; the agent of the context; logic without an ought of its own; laws that lie; the evidential principle; five barriers from one proof. Given back: one absence under the five; the missing term named as a carried account; the ideal signed and never derived; the seat as the signer; the limit as the place where the state already closes the range; the chase as the is giving pursuit to the ought, and the lock as the place two frames become one memory; the same reading at four sizes; and a rider who knows the difference between the road and the reason. I assert no value in the giving. The gift is an offer to be refuted, made by someone who took value and would rather return it than keep it.

6 · What is not claimed

7 · Standing

Draft 0.3, granted to the reading surface on 23 September 2026; 0.1 and 0.2 stand beneath it, superseded never erased. The ground is the register's record of the corpus and the summation accepted on it; the intent is my two points, carried verbatim in the exhibit's seal; the anchor is the film's opening and my reading of it; the voice, from this edition, is my own. The lived-history lines stand as written until I true them, and the naming is mine at review.

Steven De Costa writing as starl3n Canberra, 23 September 2026

Endnotes — the citation register and the self-check

The register. The corpus: Gillian K. Russell, nine bodies (2008–2026), registered as the SEB item russell-barriers-corpus-2026 at opendata.ly/sx/seb and cited here only as that register carries them — by name, by their stated forms, never quoted beyond identification, never graded. The construction record: opendata.ly/sx/workshop/sane-max-rides-humes-highway.

The readings behind the load-bearing sentences.

Hume. A Treatise of Human Nature (1739–40), book 3, part 1, section 1, the final paragraph (Selby-Bigge 469–70). Public domain; cited by location; the phrases carried are fragments for identification.

Hamilton Hume. The Hume Highway is named for Hamilton Hume, who with William Hovell led the 1824 overland expedition from the Sydney basin to Port Phillip. A fact of the public record, carried for the title's sake.

The film. Mad Max (1979): the opening pursuit and the Nightrider's speech over the police radio, carried by the address I supplied — https://www.youtube.com/watch?v=zHuqKbBrRNM&t=13s — and by one fragment of eleven words for identification. The speech is not reproduced here; the reading of the sequence is mine.

The self-check against the kills, at 0.3. A seat taken inside the debate: none — no sentence grades a proof or rules on the Law. Value asserted: none — the gift is offered to be refuted. The guest quoted beyond identification: none; her positions stated only as the register carries them. The retired gloss of the conjecture: absent; the three terms are the reference's. A load-bearing sentence without a public reading behind it: none found; each is listed above. Contact implied: none. Outside work beyond the record drawn on as ground: none — my wider studies are named in my intent and not used here; the film is an anchor I supplied, carried by address. A claim about a learning system: none. The film quoted beyond a fragment: no — one fragment, eleven words, attributed. A line about my life I did not live: the lines that claim one — the road past my city, the film carried for most of my life, the conjecture held and tested — are mine to true at review, and stand as written until I do. The kills stand clear at 0.3 and are re-checked at every edition.