# The Marked and the Unmarked: Yin, Yang, and the Formal Status of Absence

**Adaptor House** (author of record)
adaptorhouse.com · July 2026 · v1.0 (AH-ABSENCE-1; id subject to the series
migration table)

*Status: open questions, unreviewed. In response to* On the Derivability of a Five-Valued
Validity Grading over Three-Bit Addresses *(AH-PAPER-1) and* On the Naming Collisions in
the Five-Valued Validity Grading *(AH-GRADE-GLOSS-1). Answers and refutations will be
published, credited, at the address of record.*

---

## Abstract

For two millennia the classical Chinese tradition wrote its deepest pair, yin the
receptive pole and yang the active, as lines: yang an unbroken stroke, yin the same
stroke broken, presence and its interruption. The broken line was read all that time
without a formal zero, and could not have been read otherwise: when the yinyang
distribution was first laid down, before the common era, zero was not yet a thought
process anywhere; no tradition possessed it. The claim is chronology, not deficiency.
It concerns the line-reading tradition's logical instruments, not Chinese mathematics,
which later developed its own zero and its own arithmetic of emptiness on a separate
track, and the two tracks did meet once, on the record, in the title of binary
arithmetic's first published account (§1). The tradition that read it had an exquisite phenomenology of
absence (the receptive, the valley, the
usefulness of the empty vessel) and no instrument for stating that phenomenology as a
sentence that could be false. Modern logic supplies the instrument twice over: von
Neumann's ordinal construction builds every object from the empty set up, and Tarski's
satisfaction relation makes the negation of an atom a *true sentence*, not a gap in the
model. In the working language of the system of record, ¬P(a, ℓ), the string beneath
the prose word *absent*, is satisfied, checkable, and load-bearing: absence is a value,
not a privation. This note puts that instrument under the lattice's unmarked line and
asks three Questions, each with explicit answer conditions: whether the unmarked line
and the satisfied negation are the same relation, with no residue of "receptive force"
left over; whether the primitive pair Vacuum and Power are thereby formal objects rather
than metaphors, co-arising as the two faces of one distinction; and whether the double
verdict that AH-GRADE-GLOSS-1 posed as its second Question dissolves once both of its
addresses are read as complete positive descriptions (absence everywhere, and ground
asserting into absence) rather than as two failures sharing a name. The mathematics of
zero is settled, and so are the theorems inherited here; what is under test is the
application of that mathematics to a pair of words the tradition never defined and
never needed to: a reading held against both a formal system and a living
interpretive culture, refutable by either.

---

## The ongoing conversation

This paper is one move in a published exchange, and it should be read as such. The
series it belongs to is a set of proposals by Adaptor House to establish a concrete
stance, and the argument for that stance, on why particular first-order-logic strings
and proofs were mapped to particular linguistic words and phrases; the express goal of
multilingual mapping (the same strings carried faithfully into more than one natural
language) is a stated motivation of the series. AH-PAPER-1 opened the exchange by
deriving the Grounded/Carried grading and stating what would refute it [1]. AH-PAPER-2
assigned four suits to eight addresses and was explicit about which of its own moves
were entailed and which were authored, leaving open Questions this series keeps
returning to [5]. AH-GRADE-GLOSS-1 posed the naming collisions as Questions, fixed the
string convention this paper writes in, and left a second Question whose remainder §5
below addresses [4]. Standing against the series is the archive's objection of record
("Vacuum is not Yin," yin as receptive force), together with the house reply that
deferred the root question to a formal treatment [8]. The archive at
historicalpresent.com is review-and-relationship material: it reviews the series from
the tradition's side and records the relationship between the formal work and its
interlocutors, and it is cited in that register, never as peer literature and never as
evidence. This paper is the deferred formal treatment, and its three Questions are
addressed as much to the objector as to the series' own consumers.

## 1. The instrument the tradition lacked

Two constructions frame everything below. First: 0 = ∅, 1 = {∅}. The ordinal
construction begins by *regarding* absence, and the first thing that exists is built on
the act of that regard [2]. Absence is not what the construction overcomes; it is where
the construction begins. Second: the calculus of indications begins from a single act of distinction,
before either side of the distinction has a name [2]. Neither construction treats
nothing as a deficiency of something. Both treat it as a term.

Satisfaction completes the frame [3]. In a first-order model, ¬P(a, ℓ) is not the
absence of a fact; it is a fact — a sentence the model satisfies, as evaluable as its
positive twin, usable as a premise, quantifiable over. A theory can *say* "nothing is
there" and be right. This is the exact capability the classical readers of the broken
line did not have. They could revere absence, gender it, position it in cosmology; they
could not assert it and be refuted.

The scoping of the abstract's claim is historical, not dismissive, and the two tracks
it separates are not sealed against each other. In 1703 the Paris Académie published
Leibniz's *Explication de l'Arithmétique Binaire*, whose full title promises the
meaning of "the ancient Chinese figures of Fuxi": the Jesuit Bouvet had sent Leibniz
the hexagram arrangement from China, and Leibniz, his binary arithmetic already in
hand, read the broken and unbroken lines as his 0 and 1 [9]. The first published
account of the arithmetic beneath every modern machine thus carries the line notation
in its very title. The tradition's figures entered the working zero's lineage not as
its source but as its earliest recognized anticipation: a reading across two millennia
and two languages, which is precisely the kind of multilingual mapping this series
states as its motivation. What Leibniz did by inspection, this series does under
refutation conditions: bind the broken line to 0.

The lattice of the system of record was built inside this frame from the start: its
line semantics is power = 1, vacuum = 0 [6], its working language is a small
first-order theory [1], and its grade vocabulary, after the gloss, consists of
sentences in that language [4]. The question this note asks is whether the frame
*exhausts* what the unmarked line is: whether, once absence is a value, anything
remains of yin that the string does not carry. The tradition is the interlocutor
throughout §6, and it is owed a precise statement of what would vindicate it: if the
unmarked line does work anywhere in the system that ¬P cannot express, this paper is
wrong, and says so in Q1's answer conditions.

## 2. Definitions

**Definition 1 (inherited).** As in AH-PAPER-1 and AH-GRADE-GLOSS-1: addresses a ∈
{0,1}³ over lines ℓ ∈ {ground, middle, top}; signature with one predicate P(a, ℓ);
Grounded(a) := P(a, ground); Carried(a) := P(a, middle) ∨ P(a, top). Grades are named
by their strings per the gloss Convention: S₁ := ¬Carried(a) through S₅ := Grounded(a)
∧ P(a, middle) ∧ P(a, top); addresses by their characteristic conjunctions (address
strings) [4].

**Definition 2 (line value).** For an address a and line ℓ, exactly one of P(a, ℓ) and
¬P(a, ℓ) is satisfied. The *marked* line is the satisfied atom; the *unmarked* line is
the satisfied negation. Note the parallelism of the definition: both cases are
satisfactions. Nothing in the signature distinguishes them in kind, only in form (one
atom, one negation of an atom).

**Definition 3 (the primitive pair, cited).** The system of record binds AH-1 *Power*
("Force. The mark, presence, a distinction made.") to bit 1 and AH-0 *Vacuum*
("Non-force. Absence, space, the unmarked. Not a second substance.") to bit 0, beneath
an axis object glossed as the act of distinction itself, whose two faces co-arise [6].
These are Level-1 bindings of the canonical file; this paper takes them as data to be
formalized, not as authority for the formalization.

**Convention (prose bindings).** Per the gloss paper's §7, prose names over strings are
assertions carrying the string's refutation conditions [4]. The word *absent* was that
paper's own worked example: a prose binding over ¬P(a, ℓ), supported by the inherited
research [1][2][3]. This paper writes the string when deriving and the word when
discussing, and never lets the word into a derivation.

## 3. Question 1: the unmarked line is the satisfied negation

**Question.** Is the lattice's unmarked line *exhaustively* rendered by ¬P(a, ℓ), the
same relation with no residue, or does the unmarked line do work in some live derivation
that the satisfied negation cannot express?

**The identity, exhibited.** The bit semantics of the system of record makes the
rendering definitional at the data layer: vacuum is bit 0, and bit 0 at line ℓ of
address a is read into the working language as satisfaction of ¬P(a, ℓ) [6][1]. The
substantive claim is exhaustiveness: that every consumer of "unmarkedness" anywhere in
the live system consumes only this satisfaction. The evidence is structural. Every
predicate the derivations use is built from P by the Boolean connectives: Grounded and
Carried directly [1], the grade strings S₁–S₅ and the eight address strings as their
compounds [4]. There is no second primitive. A derivation that "reads" an unmarked line
reads ¬P(a, ℓ) or reads nothing. In AH-PAPER-1's decomposition, the unmarked line
already carries verdict-level weight exactly through negation: S₁ *is* a negation,
¬Carried(a), and it is a grade, a first-class verdict, not the absence of one [1][4].

**What the claim rules out.** The classical reading holds that yin is not absence but
*receptive force*, a positive capacity: the valley that shapes the river [8,
archive-marked; see §6]. Under Q1's identity there is no such capacity *in the formal
layer*: receptivity, if it names anything live, must be derivable from satisfied
negations in compound (e.g., an address's openness to a carry it does not have is a
fact about which atoms are unsatisfied, expressible without remainder). The claim is
not that the valley-image is worthless; it is that the image is prose over the string,
governed by the gloss paper's prerogative discipline [4], and earns no premise the
string does not earn.

**Answer conditions.** Closes *against* in either of two ways. Internally, and this
door is marked as internal: by exhibiting a live derivation, binding rule, or corpus
computation in which an unmarked line contributes something not equivalent to a
Boolean compound over satisfied negations, a genuine "receptive force" residue. This
test requires access to the live system; it stands open on the record for any party
with that access, and nothing in this paper creates an obligation to grant access,
because the challenge does not depend on this door. The objector of the archive page
keeps standing exactly here [8]. Externally, and this test is the objector's to run
without any access at all: by exhibiting a documented use of the broken line from the
tradition's own practice (divinatory, medical, or textual, from the corpus the
archive keeps) that does interpretive work no reading over satisfied negations can
reconstruct, stated concretely enough that the reconstruction can be attempted and
seen to fail. The internal test asks the objector to find a residue in a system built
to exclude one; the external test asks only for a counterexample from the tradition's
own record, and a single sustained one suffices. Closes *for* by decree
adopting the identity as the reading of record, or passively by the residue never being
produced. Decree belongs to the author of record; this paper cannot invoke it.

## 4. Question 2: Vacuum and Power as formal objects

**Question.** Are AH-0 and AH-1 formal objects, the two satisfaction cases of
Definition 2, or metaphors wearing bit assignments?

**The proposal.** Identify AH-1 with the satisfied atom and AH-0 with the satisfied
negation, and the axis, the "first distinction" of the canonical file [6], with the
satisfaction relation's exclusive alternative itself: for every (a, ℓ), exactly one of
the pair holds. Co-arising is then not mysticism but bookkeeping: neither case is
statable without the other, because both are cases *of one predicate's evaluation*. The
canonical file's own gloss, that power and vacuum are "not two substances beneath it;
they are its two faces, co-arising" [6], becomes a theorem-shaped sentence: the faces are
the two outcomes of one evaluation, and there is no third.

**Why this matters downstream.** The naming function the next paper proposes must
compute names from strings. If ¬P were a gap, absence merely the failure to
assert, then strings containing negations would name partial objects, and the naming
function would be partial exactly where the lattice is most interesting (the empty
address's string is *all* negations). With absence as a value, every address string is
a total description, every grade string a total condition, and the naming function
total on the lattice. Q2 is thus load-bearing for the series, and is stated here so
that its failure would be visible before anything is built on it.

**Answer conditions.** Closes *against* in either of two ways: (a) exhibit AH-0 used
in the system of record as a second substance, that is, any live rule that treats vacuum as
other than the satisfied negation of Definition 2 (this is the file's own "not a second
substance" gloss turned into a check against the file's consumers); (b) show the
co-arising claim does no formal work, that every result of this series survives with
absence-as-privation, in which case the identification is decorative and should be
withdrawn under this house's own discipline against decorative formality. Closes *for*
by the next paper's naming function actually consuming the totality property, which
would make (b) unexhibitable.

## 5. Question 3: the double verdict, dissolved retroactively

**Question.** AH-GRADE-GLOSS-1's second Question asked whether one label shared by two
addresses erased a distinction the theorem proves matters, and answered that the
distinction lives in the address strings [4]. Does the present note's reading close
that Question's remainder, the intuition that something was still *wrong* with two
addresses sharing a verdict?

**The dissolution.** Read with absence as a value, the two addresses of S₁'s band are
two complete, positive, different structural facts:

> T0's string, ¬Grounded(a) ∧ ¬P(a, middle) ∧ ¬P(a, top), is *absence everywhere*:
> three satisfied negations, a fully specified profile. Nothing about T0 is missing or
> indeterminate; it is the address every line of which is settled to the vacuum face.

> T4's string, Grounded(a) ∧ ¬P(a, middle) ∧ ¬P(a, top), is *ground asserting into
> absence*: one satisfied atom beneath two satisfied negations, force at the root with
> nothing above to carry it (the informal description AH-PAPER-1 records as predating
> the decomposition [1]).

The felt wrongness of the shared verdict was an artifact of reading "false" as
privation, as if both addresses *lacked* something and the lattice had carelessly
filed two lacks under one word. Under the gloss, the shared name is S₁ = ¬Carried(a),
itself a satisfied negation: a positive verdict that no carry is present, silent on
ground by construction [4]. Two different truths entail one common truth; that is not
erasure but entailment. The residue the gloss paper left to this note, that "absence as a
value makes both of these *positive* structural facts" [4, §4], is hereby stated as
the reading of record proposed.

**Answer conditions.** Inherits the gloss paper's own against-condition: a live
consumer needing the two addresses distinguished *at verdict level* would break the
band and the reading together [4]. Adds one: if Q1 falls, if unmarkedness turns out to
carry residue beyond the satisfied negation, then T0's "absence everywhere" is no
longer a complete description, and this Question reopens with it. Closes *for* by
decree, or by the Progenitor treatments of the two addresses (forthcoming) proceeding
on this reading without exception clauses.

## 6. Discussion: the tradition as interlocutor

*(Interlocutor register throughout; archive citations are archive-only and no
derivation above reasons from them [8].)*

**What the tradition saw.** Credit is owed twice, and precisely. Laozi's second chapter
has presence and absence arising together (有無相生), complements that generate rather
than negate each other, and the eleventh has the usefulness of the vessel residing in
its emptiness: readings that anticipate, in the register available to them, both the
co-arising of Q2 and the absence-as-value of Q1 [7, archive-marked]. The concordance
the archive keeps binds the lattice's Level-1 pair to the classical poles: AH-0 to the
receptive, AH-1 to the active [8, archive-marked]. Where the structure now agrees with
those readings, the agreement is a *vindication the tradition could not check*: it held
the position without the instrument that makes the position falsifiable.

**Where the disagreement is live.** The archive's own objection page states the strong
classical case: yin as receptive *force*, not absence. The house reply on record
concedes that AH-0 is not a translation of yin, defers the root question to "the formal
treatment," and grants that the objector keeps standing if the resolution fails [8].
This note is that formal treatment. Its answer to the objection is Q1 and Q2 jointly:
the primitive is neither face but the distinction (the evaluation with exactly two
outcomes), and "receptive force" survives exactly as far as it can be compounded from
satisfied negations — as prose over strings, with the prerogative discipline's audit
conditions [4], and not one premise further. The objector's win conditions are now
formal ones on Q1 and Q2 jointly: Q1's residue (internal or external), or Q2's
second-substance exhibit, or Q2's decorative-formality self-check: any one of the
three refutes the treatment. That is more than the concession the reply made: the
objection has been promoted from a standing complaint to a set of refutation
conditions spanning both Questions.
The tradition's side deserves its own paper: what did receptive-force readings *do*,
in divinatory and medical practice, that a satisfied-negation reading must
reconstruct or lose? The archive side is invited to take that question up, in its own
register; the objection and reply of the dual-lineage page are its seed.

**What is not claimed.** No claim that the tradition *meant* satisfied negation: the
claim is about the structure, not about intent recovered across two millennia. No claim
that zero's mathematics settles yin: the register caution of this series applies, and
the application of settled mathematics to an unsettled pair of words is belief under
test, held in the Position and refutable at the conditions stated. And no claim of
novelty in the instruments: the zero, the distinction, and satisfaction are inherited
exactly as cited [1][2][3].

## 7. Author's Position

Held, not argued here. The position (belief register, first person, per AH-PAPER-1
§6) is published as this paper's companion document on the archive side
(AH-ABSENCE-1-H, historicalpresent.com/shared), the arrangement confirmed for this
paper by the author of record per the precedent of AH-GRADE-GLOSS-1-H.
**Archive-only**: never citable by live systems. The Questions of §§3–5 and their
answer conditions are this paper's entire challengeable surface.

## References

[1] Adaptor House, *On the Derivability of a Five-Valued Validity Grading over
Three-Bit Addresses* (AH-PAPER-1), adaptorhouse.com/works/papers/derivability-paper
(2026).

[2] J. von Neumann, *Zur Einführung der transfiniten Zahlen*, Acta Litterarum ac
Scientiarum (Szeged) 1 (1923), 199–208; G. Spencer-Brown, *Laws of Form*, Allen &
Unwin, London (1969). Cited as inherited by AH-PAPER-1 [1][2].

[3] A. Tarski, *Pojęcie prawdy w językach nauk dedukcyjnych* (1933); English trans. in
*Logic, Semantics, Metamathematics*, Oxford (1956). Cited as inherited by AH-PAPER-1
[3].

[4] Adaptor House, *On the Naming Collisions in the Five-Valued Validity Grading: A
Gloss and Coinage Proposal* (AH-GRADE-GLOSS-1),
adaptorhouse.com/works/papers/grade-gloss-paper (2026): the string convention, the
prose prerogative, and Question 2 whose remainder §5 addresses.

[5] Adaptor House, *On the Assignment of Four Suits to Eight Addresses* (AH-PAPER-2),
adaptorhouse.com/works/papers/suit-assignment-paper (2026): polarity axiom P ("light
belongs to fullness"), the orientation of every complement pair by mark count.

[6] Adaptor House, canonical bindings (AH-CORE-2), `lattice-core.yaml`, the system of
record, served at adaptorhouse.com/data/lattice-core.yaml: axis ("the act of drawing a
distinction"), AH-0 Vacuum / AH-1 Power Level-1 bindings, bit semantics power = 1,
vacuum = 0.

[7] Laozi, *Daodejing*, chs. 2, 11: arising-together of presence and absence; the
vessel's useful emptiness. House edition of record: adaptorhouse.com/works/daojing;
direct quotations in this series link there. **Archive-only**: interlocutor, never
evidence.

[8] Adaptor House / Historical Present, *The Inherited Lattice* (AH-DUAL-1-H),
historicalpresent.com/shared/dual-lineage: concordance (AH-0 · the receptive pole;
AH-1 · the active pole), the objection "Vacuum is not Yin," and the house reply
deferring to the formal treatment. **Archive-only**: review-and-relationship material,
interlocutor, never peer literature, never evidence; no derivation above reasons from
it.

[9] G. W. Leibniz, *Explication de l'Arithmétique Binaire, qui se sert des seuls
caractères 0 et 1, avec des remarques sur son utilité, et sur ce qu'elle donne le sens
des anciennes figures Chinoises de Fuxi*, Mémoires de l'Académie Royale des Sciences,
Paris (1703). Historical mention: the hexagram figures, sent by J. Bouvet from China,
read as binary numerals in the first published account of binary arithmetic.
Interlocutor register.

---

## Change log

- v1.0 (2026-07-18): published at adaptorhouse.com/works/papers/marked-unmarked-paper
  on the author of record's instruction, with the archive-side companion
  (AH-ABSENCE-1-H) at historicalpresent.com/shared/marked-unmarked-position. The
  working draft's archive-response flag became the public invitation that closes §6,
  per the series precedent. Updates as refutations and answers arrive, credited at
  the address of record.
- v1.0-DRAFT rev. g (2026-07-18): on the author of record's further review: em-dash
  discipline re-applied to all rev. e/f additions (public body text back to exactly
  the two kept constructions). Abstract's zero claim now leads with chronology: zero
  was not yet a thought process anywhere when the yinyang distribution was laid down
  pre-BCE; the claim is chronology, not deficiency. Q1's internal door marked as
  internal with the access verbiage settled (open on the record for any party with
  access; no obligation to grant access is created; the challenge does not depend on
  that door). Both doors confirmed kept.
- v1.0-DRAFT rev. f (2026-07-18): on the author of record's rev. e review: the
  historical seam between the two zero-tracks added as citation and mention — Leibniz's
  1703 binary memoir, its Fuxi title, the Bouvet transmission, the informal 0-binding
  this series redoes under refutation conditions (§1, ref [9]; abstract gains the
  pointing clause). Items 1, 4, 5 of rev. e confirmed as-is; item 2 (the external
  answer condition) under discussion.
- v1.0-DRAFT rev. e (2026-07-18): on the author of record's review and series decree:
  post-abstract section "The ongoing conversation" added (series stance and
  multilingual-mapping motivation stated; Papers 1–3 represented by Question and
  citation; historicalpresent.com fixed as review-and-relationship register, never
  peer). Q1 gains the objector's external answer condition (a documented practice-side
  counterexample suffices; the internal residue-hunt is no longer the only door).
  Abstract's "without a formal zero" scoped to the interpretive apparatus (Chinese
  mathematics' own zero expressly excluded from the claim). §6's promotion sentence
  widened to Q1 ∧ Q2 jointly. Ref [6] carries the public URL of the canonical file.
- v1.0-DRAFT rev. d (2026-07-17): copy edit on the author of record's review: em-dash
  constructions reduced to two in the public text (commas, colons, parentheses, and
  sentence breaks elsewhere; section headings to colons). §1's "it is the material"
  replaced with "it is where the construction begins": absence must not be reified as
  material, and no formal claim in the paper depended on the reification. Definition 3's
  quotations normalized to the canonical file's exact punctuation.
- v1.0-DRAFT rev. c (2026-07-17): abstract overreach repaired on the author of
  record's review — "nothing here is [settled]" (absolute) replaced with precise
  scoping: settled mathematics and inherited theorems named as settled; the
  application to yin/yang named as what is under test, refutable by the formal system
  and the interpretive culture both.
- v1.0-DRAFT rev. b (2026-07-17): abstract opening given its missing context on the
  author of record's review — yin and yang introduced by name, pole, and line notation
  (words only; the render quarantine keeps glyphs out of the functional paper) before
  "the broken line" is used.
- v1.0-DRAFT rev. a (2026-07-17): -H companion arrangement confirmed for this paper by
  the author of record (§7 firmed from ask-per-paper to confirmed); Laozi house
  edition of record (adaptorhouse.com/works/daojing) named in [7] as the link target
  for direct quotations.
- v1.0-DRAFT (2026-07-17): first full draft. Grades and addresses cited as strings per
  AH-GRADE-GLOSS-1's Convention throughout; the four handle cells left open by that
  paper's §6 are not used. Companion position document drafted separately for the
  author of record's review.

*Correspondence: adaptorhouse.com. This document is released for challenge; §§3–5
state what would close each Question.*