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 the line 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.
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.
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.
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].
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).
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.
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.
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.
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.
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.
(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].
The position (belief register, first person, per AH-PAPER-1 §6) is published as this paper's companion document on the archive side: The Author's Position on the Marked and the Unmarked (AH-ABSENCE-1-H), historicalpresent.com/shared/papers/absence, 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.