# 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](/sx/seb#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](/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 {#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-nightrider}

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](https://opendata.ly/sx/reading/the-framed-window#the-three-words).

## 0 · The ride, not the seat {#the-ride}

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-remark}

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) {#the-mechanism}

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-walk}

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 {#classing}

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](https://opendata.ly/sx/reading/knowledge-engineering#the-notes); the
experiment's door at [opendata.ai/ntx](https://opendata.ai/ntx)); the matters,
where a held thing meets the model its declared world excluded ([1.2 · The
matters](https://opendata.ly/sx/reading/knowledge-engineering#the-matters); the
surface at [/sx/matters](https://opendata.ly/sx/matters)); and the three terms
as the reference states them ([the LDD reference,
§1](https://opendata.ly/sx/reading/ldd-reference#1-the-conjecture)). 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-limit}

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](https://opendata.ai/contrib/unseated-frame) and [the watchmakers' frame on
the Ruler](https://opendata.ai/contrib/watchmakers-frame) — and their one
reading, [The Framed
Window](https://opendata.ly/sx/reading/the-framed-window#the-surface), 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](https://opendata.ly/sx/reading/the-rlx-held#what-the-objective-observer-learned)).
An ought follows where the is leaves no room; a count follows where the window
leaves none.

### 3.3 · Sets, not sentences {#sets}

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](https://opendata.ai/chx) on the
observatory node, where its eight acts and their sealed cards stand, closed and
anchored on the state record as
[chx-exp_f16412dd](https://mldata.opendata.ai/dataset/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](https://opendata.ly/sx/reading/knowledge-engineering#the-chords).
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-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](https://opendata.ly/sx/reading/the-signed-zero#knowledge-as-read-justified-true-belief-plus-one);
the experiment itself at
[The Deep Line, held](https://opendata.ly/sx/reading/the-dlx-held#the-mechanism-and-the-signed-zero)).
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](https://opendata.ly/sx/reading/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](https://opendata.ly/sx/reading/the-doorway-and-the-turn#what-the-doorway-teaches),
where surprise is read as a measurement of the mutual record
([what the turn teaches](https://opendata.ly/sx/reading/the-doorway-and-the-turn#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 {#logic-descriptive}

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](https://opendata.ly/sx/reading/knowledge-engineering#the-rules),
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](https://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](https://opendata.ly/sx/reading/the-xor-held#open-absorb-closed)); and the
causal ALU does arithmetic by the topology of a causal set, never by the logic
of a processor ([opendata.ai/alu](https://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 {#laws}

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](https://opendata.ly/sx/reading/the-dlx-held#the-laws-as-they-stand); [what
is not
claimed](https://opendata.ly/sx/reading/the-dlx-held#the-register-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](https://opendata.ly/sx/reading/the-quad-slip-held#the-mode-locking-test-a-null-result))
and the XOR mirror's hypothesis that did not survive ([The XOR Mirror,
held](https://opendata.ly/sx/reading/the-xor-mirror-held#the-hypothesis-that-did-not-survive)).
The charge itself is the Unlearning's ([The
Unlearning](https://opendata.ly/sx/reading/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-indifferent-lock}

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](https://opendata.ly/sx/reading/the-rlx-held#what-the-objective-observer-learned)).
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](https://opendata.ly/sx/reading/the-framed-window#lock-one)); and a
standing held by refresh is a cadence, never a claim ([Knowledge Engineering,
1.4 · The
operated](https://opendata.ly/sx/reading/knowledge-engineering#the-operated)).
The surfaces enforce the rest: reading is free, and nothing is measured about
anyone who reads.

### 3.8 · Five barriers, one absence {#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](https://opendata.ly/sx/reading/the-signed-zero#the-problem-of-induction-as-read));
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](https://opendata.ly/sx/reading/the-framed-window#the-surface)). 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](https://opendata.ly/sx/reading/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 {#scale}

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-release}

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 {#not-claimed}

- No verdict on whether Hume's Law is true as a thesis in metaethics. I take no
  side, and the rider takes no seat.
- No grading of any proof or position in the readings; each is stated as the
  register carries it and left where its author placed it.
- No identity between my signed ideal and the discourse's set of superb worlds,
  between the seat and the agent of the context, or between my held fact and a
  law of logic. Each is a fit of form, stated at its bound.
- No claim that the conjecture 1 = O + C + E is proved. It is held, earned
  inside declared worlds, and stated in its public reference with its own
  fences.
- Nothing normative about logic itself; the readings' descriptive account is
  recorded, and my own oughts come from my declared rules.
- No claim about any artificial learning system.
- No claim about the film beyond the sequence described; its speech is carried
  by its address and one fragment for identification, and the reading of it is
  mine, not the film's.
- No contact with any thinker named or unnamed here. The essay is a statement,
  not an approach; any approach is my own act, made in my own name.

## 7 · Standing {#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](https://opendata.ly/sx/seb#russell-barriers-corpus-2026)
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 {#endnotes}

**The register.** The corpus: Gillian K. Russell, nine bodies (2008–2026),
registered as the SEB item
[russell-barriers-corpus-2026](https://opendata.ly/sx/seb#russell-barriers-corpus-2026)
at [opendata.ly/sx/seb](https://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](https://opendata.ly/sx/workshop/sane-max-rides-humes-highway).

**The readings behind the load-bearing sentences.**

- The conjecture and its three terms, and the rule that what was effectual becomes
  observable — memory as O taking the prior E:
  [opendata.ly/sx/reading/ldd-reference](https://opendata.ly/sx/reading/ldd-reference)
  (RK-1, RK-2 and the three-term reading).
- The signed zero and the four states:
  [opendata.ly/sx/reading/the-signed-zero](https://opendata.ly/sx/reading/the-signed-zero)
  and
  [opendata.ly/sx/reading/knowledge-engineering](https://opendata.ly/sx/reading/knowledge-engineering)
  (the map).
- The seat and the refusal grammar: [opendata.ly/sx/seb](https://opendata.ly/sx/seb) (the
  register's notes on a refusal and on an acceptance).
- Two locks holding one, and the blind watchmakers:
  [opendata.ly/sx/reading/the-rlx-held](https://opendata.ly/sx/reading/the-rlx-held) and
  [opendata.ai/rlx](https://opendata.ai/rlx).
- The chords' grain: [opendata.ai/chx](https://opendata.ai/chx).
- A held fact until refuted, validated by the locks and never the reader: the Foundations
  readings at [opendata.ly/sx/reading](https://opendata.ly/sx/reading).
- The separation law:
  [opendata.ly/sx/reading/the-unlearning](https://opendata.ly/sx/reading/the-unlearning).
- The two registers, matters and cares, and the witness given or withheld:
  [opendata.ly/sx/reading/co-constructive-economics](https://opendata.ly/sx/reading/co-constructive-economics).
- The frame that under-determines, optimism beyond it, and the rule carried only with a
  literal premise: the contributed tracks at
  [opendata.ai/contrib/unseated-frame](https://opendata.ai/contrib/unseated-frame) and
  [opendata.ai/contrib/watchmakers-frame](https://opendata.ai/contrib/watchmakers-frame).
- The walk that this ride is kin to:
  [opendata.ly/sx/reading/i-went-for-a-walk](https://opendata.ly/sx/reading/i-went-for-a-walk).

**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.