===== FILE: Exposition/Preamble.md =====
# Jingqing’s Peck and Tap

A chick ready to hatch pecks from within the shell; the hen answers from without. Zen calls their meeting *peck and tap at once*.

A monk said to Jingqing, “The student pecks from within. I ask the teacher to tap from without.”

Jingqing said, “Will you come alive?”

The monk said, “If I do not, people will laugh at me.”

Jingqing said, “You too are a man in the weeds.”

— *Blue Cliff Record*, Case 16, “Jingqing’s Peck and Tap”

*(rendered from the Chinese)*


===== FILE: Exposition/Contents.md =====

## Contents

0. **[Preamble](Preamble.md)** — Jingqing's peck-and-tap exchange from the Blue Cliff Record, rendered from the Chinese.
1. **[Contents](Contents.md)** — this table of contents, generated from the exposition registry; its reading order, numbering, links, and document inventory follow the registered document set.
2. **[Theory](Theory.md)** — the motivations and the rules: the floor, the act-grammar, the grade and its determination, the supplied sentience joint and orthogonality, the karma circuit and its three registers, the weld's two faces, the separate/fuse rule; the input-side assumption list at [Assumptions.md](Assumptions.md); one act run whole through the grid; [Glossary.md](Glossary.md).
3. **[Theorems](Theorems.md)** — what falls out of the rules directly (backsliding, memory and prudence, dukkha, the transposition, the error-taxonomy) and the derivations that meet existing discourses (MMK 17, the three killings and AN 6.63, sudden and gradual, other-power, pariṇāmanā, transcription, the Ten Bulls, Five Ranks, and stage-schemes); with the instructive absences in both.
4. **[The Identification and Placements](Identification.md)** — the karma identification, the offices-spine that earns the name, the sower/reaper split, the contemporary placements, the pole-typing corollary, the taxonomy's internal mis-feeds, and the disclaimers, enumerated.
5. **[Assumptions](Assumptions.md)** — the input side, enumerated: what the Signature asserts, what it deliberately declines, and its stand-ins; with checked anchors and the axiom audit.
6. **[Glossary](Glossary.md)** — the generated glossary table from `KannoSoe/Exposition/Glossary.lean`: each term with its provenance kind (a Theory, Theorems, or Identification coinage; canonical; or Lean convention), a newcomer-facing gloss, checked Lean anchors, and backward-only see-also references; term uniqueness, reference ordering, table length, and anchor resolvability are Lean-checked, while gloss accuracy and canonical caveats remain prose obligations carried by the Disclaimers.

===== FILE: Exposition/Theory.md =====
# Kannō-Sōe Mutual Dependence — I. Theory

*An axiomatic reconstruction of Zen sayings in an ontology-under-erasure act-grammar. First of three files: **Theory** (this file), **Theorems**, **Identification**. Cross-references to the companion files are marked (Theorems) and (Identification).*

## Abstract

*Kannō-Sōe Mutual Dependence* (*KSMD*; formerly *Weld and Arrow*) is an **axiomatic reconstruction** of the Zen masters' sayings about karma, action, suffering, and awakening. A small signature of primitives — a field that carries every diachronic connection without an owner, and welds, single occurrences of answering a call, at which every index is made, spent, and never stored — is fixed in the Signature layer, and the tradition's sayings are recovered as its consequences. The development is Lean-first and exposited in prose, under one governing posit: **everything diachronic belongs to the field; every index is enacted and nothing indexed is stored; karma names this loop.**

From the fixed generator — one rule, separate under act-time diagnosis and fuse at the floor — the error-taxonomy falls out as collapse/freeze pairs. The *catalogue* of positions the generator is run against is curated in the Consequences layer and grows as new targets are identified; the generating rule in the Signature does not move. The doctrinal cases — the fox koan, the three killings, other-power, pariṇāmanā, the Ten Bulls, the Five Ranks — are **tests the reconstruction must pass**, not premises it is built from.

What Lean establishes is **internal consistency and derivability**, not exclusivity: given the primitives the consequences follow, each reading is gated by a sibling countermodel, and no theorem depends on an added axiom. It is not shown — and Lean cannot show — that this is the only coherent reconstruction of karma. KSMD is one definition among many; the signature deliberately declines to privilege its own choices (no top pole, no privileged person-partition, scalar and direction as display), and other doctrines can and do hold too.

The scope is bounded and the boundary is marked as data. The *grammar* of ownerless continuation is in scope and derived — continuity without a transmigrating bearer, the flame passed without a self to carry it. The *cosmology* of rebirth — persistence across biological death, the realms, the mechanism — is ceded as a world-fact. So is the phenomenal attribution: sentience is supplied per weld and is never recovered from response, share, clench, or delivery. Throughout, what the system asserts is grammar; what it can only display is worth — no value appears in its own voice. This is a fresh reconstruction, not an exegesis of Abhidharma nor of Dōgen; the lens is minimalist by design.

The layered library — Signature → Consequences → Doctrines → Identification → Meta → Exposition — keeps the Signature as axioms and the later layers as consequences and tests. Its non-storage claim is architectural — `Config` has no owner-typed slot — and checked at the level of definability: whole-carrier relabelling acts trivially on configurations and commutes with `rePitch` (`Config.relabel_fixed`, `Grid.relabel_rePitch`), while no equivariant recovery exists (`Grid.no_natural_agent_recovery_from_config`). This is not a blanket information-flow claim: cetanā requires grading to depend on the occurrence, and a model's stored tendency may therefore reveal a register number encoded by that occurrence (`ConfigLeakWitness.registerClock_config_recovers_agent`). The value remains a grade in the field register; what is never stored is the designatum *as index*. Every reading is gated by a sibling countermodel, and the taxonomy's rows and verdict history are inspectable data.

## What the V2 formal model is

The project implements a simplified model of Mahayana Buddhism metaphysics. It *is not* that useful for proving anything interesting about Buddhism, except perhaps independence results - insofar as you accept the model as valid, proving something within it shows that it needn't be more complicated than that. But *insofar* is doing all the work there - over-simplify something that's actually complex, and you have only proved something about the simplification, not about the complex thing.

The basic concept for the model is Mutual Dependence (as defined by Nāgārjuna and Jizang).

The simplified model is: for any group/component of designata, and any other component of designata, the two are mutually dependent on one another when every designatum from the first component can reach a designatum that can also be reached from one of the designata from the other component, and the same idea from the other component to the first. The designata are allowed to be elaborated into none, one, or multiple alternative mutual dependences, which allows the definitions to expand and produce additional possibility for mutual dependence.

Mutual dependence can chain to any length, as long as adjacent components satisfy that relatedness linkage.

A resonance is a special case of mutual dependence with 4 linked components, the middle two having only a singleton designatum each. As convention, we name the first component "calls", the second designatum b1, the third designatum b2, and the final component "responses".

This would naturally be viewed as b1 receiving calls, and b2 (considered a different view on the same being) responding with responses.

Designata elaborate to any mutual dependence you could name, so as well as the standard interpretation of a person receiving a call and answering, it's valid in this system to consider a stone in the position of b1 and b2 - perhaps the wind calls at it, and it responds by rolling downhill.

The calls side and responses side may be graded for dis-resonance. In the example above, stone would have bottom value (ie. 0) for dis-resonance, whereas a grumpy person who has stubbed their toe can have a non-zero grade on either or both sides.

A Being is defined as a mutual dependence specifying a linkage of such b1, b2, ... moments.

The system as defined doesn't have time directedness or causality in it. Those are assigned manually, stating that mutual dependence A is before mutual dependence B, or that A causes B. The latter implies the former, but not necessarily for the other way around. Causal comes with an assertion there's a mutual dependence chain with x at one side and y at another.

That's... basically it. Feel free to copy the code into a chatbot context and ask it to respond about V2 in simple terms and examples.

The theory below describes the philosophical motivation behind this work, elucidates a 3 row "act-grammar" (mutual dependence alone being row 1, graded resonance being row 2, and causality being row 3), and defines a collapse/freeze error generator, which fruitfully describes errors predicted by the grid and many other floor/act-time distinctions that can be made.

*However*, it was written about V1 code, which was over-complicated and seemed more impressive than it actually was. So as it currently stands, the exposition sometimes overstates the meaningfulness of what the formalism implies. Please bear that in mind, but otherwise I hope you find the rest of it helpful despite that.

## The rules, each preceded by what motivated it

### Not Nothing

Per Nishitani — absolute non-being is not a privative void, but beyond being/non-being distinction.

### Śūnyatā

Why not leave it at Nishitani? It would be a mistake of analysis: "beyond being/non-being" is itself a designation, and analysis, wherever applied, finds no own-being in its designatum — the ultimate included. Both of these findings are the Buddha's: the world empty of self (SN 35.85), and the middle between "it is" and "it is not" (SN 12.15). Per Nāgārjuna — deepening the emptiness from self to own-being, widening it to every dharma — whatever is dependently originated is emptiness, and that, being a dependent designation, is itself the middle path (*MMK* 24.18). And emptiness is not exempt from the analysis that produced it: śūnyatā, analysed, is empty (空空). Every stated ultimate is a prajñapti — a finding, not a caution.

### Provisionally-designated middle

Why not leave it at Nāgārjuna? Because 空空 stated once settles a fact but not a structure. "Emptiness is empty" is itself a designation, so the analysis applies again — and again — and nothing in a single application determines what the regress is: vicious, terminating at some fifth resting point, or benign. Per Jizang — the fourfold two truths (四重二諦) is the structure: one operation iterated, in which each level's stated ultimate — including the two-truths sorting itself — is, definitionally, the next level's conventional content; no level is a final floor; and the terminus is not a further negation but 言忘慮絶, the tier at which words do no separating work. The regress is uniform and benign — a checkable theorem. This is **genjō**, the provisional middle: manifestation, always going out into a particular case.

Distinct from it, and never equated with it, is the **non-attaining middle** at the floor. Read Linji's 無位真人 along its own seam: 無位 (no rank) is the floor-face — no metaphysical rank, anātman; 真人…出入 (the true person going in and out) is the *acting*; and the whole compound 無位真人 is the weld of the two — shushō-ittō, the true person going in and out. The non-attaining middle is the 無位 alone — **shō**: realization as anātman, agential only because welded, never a still attainment. It is *not* the whole true-person, which is the weld (reading 無位真人 as a rank one rests at is exactly the reification Linji shoves off as 乾屎橛 — the more common reading takes the shit-stick as shock-deflation of the *question* itself rather than of rank-reification specifically; the rank-reading is compatible with it and is the one used here). Two middles, then: genjō provisional, shō non-attaining. The system turns on keeping them apart — but *at act-time*, and by the same separate/fuse rule that governs everything here (stated as a rule below): the two-middles distinction is itself a conventional-tier diagnosis. It separates under act-time diagnosis, where *which middle?* is live, and fuses at the floor and at genjō. "Keeping them apart" is an act-time imperative, not a final floor-claim.

### The act-grammar

Why not leave it at Jizang? Per Dahui, Zen doesn't cease at the self-emptying floor: emptiness that only empties can host neither Zen activity nor the vibrant person who acts. So the floor is turned into an act-grammar, here using Dōgen's vocabulary.

Three rows, each a dependence/enactment pair; all three conventional.

| Dependence | Enactment |
|---|---|
| **mujishō-sōe** — no-own-being as mutual-dependence; each-in-all, no substrate. | **genjō** — manifesting entire: the act out in its case with nothing of it claimed back; full = no remainder of arrogation, which is why one floor holds both arrivals.; the seam where the scaffold dissolves. |
| **kannō-sōe** — resonance as mutual-dependence; the placement of the act's index between the being and the dharmas (*how much of the listening to Hyakujō is the self doing?*). | **banpō susumite** — the myriad dharmas advancing — the reception practising, the self verified — one act, two poles of one placement. |
| **engi / inga** — directedness with no moral ground; the blind arrow. | **shu** — practice (gyōji); the weld at act-time, direction bound along the blind arrow, *and the I-making that indexes it*; not-obscure (不昧). |

*(kannō-sōe rather than the canonical kannō-dōkō, to keep the coupling connotation-light: the -sōe already carries mutual-dependence.)*

The floor is emptiness that empties even itself (Jizang, 空空): the ultimate is never a thing, never a final substrate. Everything here is conventional — the path, the grid's distinctions, the two truths themselves — and no level stands as the last floor.

The enactment column is not three agents. Its three cells are the three parts of one sentence of Dōgen's — *carrying the self forward to practice-realize the myriad dharmas is delusion; the myriad dharmas advancing (banpō susumite) to practice-realize the self is satori.* genjō (Row 1) is the actualizing; banpō susumite (Row 2) is the dharmas-forward that clarifies the self; shu (Row 3) is practice. And the sentence's sequel fixes shō's grammar: *to forget the self is to be verified by the myriad dharmas* — 万法に証せらるる, 証 in the **passive voice**. Realization, in the very line the grid mines, is objecthood — the self standing where the dharmas' advance certifies it. The grid spends this below. Dōgen's compounds then name the *relations* among the cells, not the cells:

- **genjōkōan** = genjō + kōan — Row 1's manifestation in Row 2's particular case (*can this being listen to Hyakujō?*).
- **shugenjō** = shu + genjō — Row 3 practice as Row 1 manifestation: *practice run scaffold-free is nothing but genjō* — and not conversely, since genjō also holds unmarked pole acts (the current stone cell). The "nothing but" runs from the narrower to the wider: {practice run scaffold-free} ⊊ {genjō}.
- **shushō** = shu + shō — the weld (below). Here shō is 証 — realization-as-not-fall, the floor-face — *not* 悟 (satori, the awakening named in the Dōgen sentence just above), and *not* genjō, but the floor's non-attaining middle: anātman — and, per the passive above, the act's subject-position ceded: shō is the *being-verified* face of the one act whose doing is shu. Practice and realization are non-dual (shushō-ittō) because they are the two poles of one index-placement, not two acts joined.

So the column is one act seen through three dependence-lenses, and **all acting is Row 3**, at act-time. genjō and banpō susumite are not further agents; they are that single Row-3 act read at the tier of manifestation and at the tier of the particular self it clarifies.

### Attainment

Why not a table of just the first row? Hakuin gives the corrective: the *not-yet-buddha* mustn't be ignored; realization must meet beings where they are — which is why Row 2 exists.

Row 2 is the being's resonance to the dharmas — and its content must be typed with care. The grade is not a neutral magnitude, index-free like the field: what Row 2 states is the **placement of the act's index**: how the one act's subjecthood distributes between the being and the dharmas. When the hell-dweller acts, the world is almost entirely object and he is subject — the act's subjecthood arrogated nearly whole to the self-pole. At the other pole the distribution inverts: the act's subject-position ceded to what advances, the being standing as the verified (証せらるる), object among the objects that act on it. A line of the The Ten Oxherding Pictures states the inversion in the object-language — *in delusion all is unreal; in satori all is real* (paraphrase from Taming the Bull Verse); and Yongjia's *Zhengdaoge* carries a near-inverse of the same figure, the six realms vivid in dream and the cosmos empty on waking, so the epigram's pedigree is mixed and nothing below leans on the line — the mechanism stands without it) — and Caoshan's commentary on the Five Ranks turns on exactly this interchange of host and guest. The grid can display the line with a mechanism: At high self-share, what is met is never the dharma but the arrogation mirrored — the seed's echo, the question heard as a challenge to a rank — so the world *of that act* is unreal in a precise sense: the self's projection, the call drowned in the response. At share-zero the things of themselves are met — streams flow, flowers are red of themselves (Bull 9). Reality-status remains the object's valence, reported; but the report shows its gears.

**Clench** is the weld's *self-share* — how much of the act's subjecthood the I-making arrogates (the scalar this phrasing suggests is priced in the determination below). Self here is a dependently-arisen process, not a receptive state — ahaṃkāra, I-making, living in Row 3's enactment pole (MMK 8: kāraka and karma — the doer proceeds dependent on the deed, the deed on the doer, neither prior, neither based) — and I-making is never identical to the clench: I-making is the welding-**function**, clench its share-**degree**, and running the two together generates at the summit exactly the collapse the taxonomy names (Theorems). The near-analytic link between them holds. Resonance is the ceded share, and to hear a call at all is to cede subject-position to what calls; a weld that arrogates the whole act leaves nothing for the call to land as. The link is construction, not correlation: one index, two ends, and Row 2 reads where it sits. So the grade and the self are one doing seen twice — the arrogation (Row 3) *read as* the placement (Row 2), never the placement *being* the self — and Row 2 still does exactly one thing, the adverb.

#### What fixes a placement

The grade must not be left as a metaphor doing a measurement's work, so the determination is stated: **the share is the actual composition of the act's drive** — how much of what actually drove *this* response was the call, and how much was the configuration's self-maintenance. Not a modal profile of the responder; an actual-sequence fact about this occurrence: in this act, the rank defended did this much of the driving and the question did that much. Subjecthood arrogated is response driven by the arrogation — the rank defended, the echo answered; subjecthood ceded is response driven by what calls. Counterfactual variation — vary the call and see what the response tracks — is how a third party *probes* the composition, a display over it, never what it consists in. The fox's sentence (run whole at this file's end) reads high-share because the rank's self-maintenance drove the reply and the question drove almost nothing — which the probe shows, since any question grazing the attainment meets the same defense; the sameness of the defense displays what was driving, it is not what "driving" means. The mirror (Theorems: the terminus) reads share-zero for the inverse reason: the response driven by the call entire, nothing in the doing answering to a self-pole because none is driving. So a Row 2 statement is truth-apt and answers to something: the composition of what drove *this* act at *this* call — an occurrence-fact about the weld, field-describable in full, third-personal in register exactly because it is a composition, indexical in content because what the composition locates is the placement of the act's subjecthood. The determination is causal, not phenomenal: no inner glow is consulted, and the grade never was a report of how the act felt.

And the scalar is priced before it can inflate. What Row 2 states is an **ordering**, not a measure: this act more arrogated than that one, this reception markedly less claimed than the last, with the two poles standing as qualitative facts — share-zero is *nothing in the drive answering to a self-pole*, the solipsist asymptote *nothing answering to the call* — and with real cases in between, some of them, where call and self-maintenance interact in the driving, simply incomparable. "Fraction," "degree," the scale itself are display conventions over that partial order, legal exactly as "mirror" is legal (Theorems: the terminus), and no measure is owed: families of causal-contribution measures exist and any member would serve, but the grid needs only the ordering they agree on, and everything built on the grade consumes only the ordering — kenshō is *markedly less claimed*, the dukkha covariation is *more share, more mismatch*, the poles are qualitative, the solipsist a limit. That is this section's honesty-clause, paid rather than hidden: the determination relocated from profile to composition, the scalar demoted to display — a smaller claim than a measure, and the whole of what the soteriology reads.

One cell of the taxonomy is retyped by this determination — the fourth generator-verdict's second exercise (the first is Zahavi, in the placement discussion (Identification); the third is the arrow (Karma)), and forced rather than chosen. The disposition/act cell forbids Row 2 "reading dispositions instead of deeds," and the composition-determination openly involves the configuration: the self-maintenance that drives is the configuration's own. Collision? No — retype. The cell's content was never *no configuration-involvement* — every act is the configuration's act, and a deed driven by no standing thing would be no one's deed twice over — its content is **standing/dated**: the collapse is inferential, the dated occurrence read off the standing tendency — *he is an arrogator, so this act was arrogated* — prognosis substituted for diagnosis. What Row 2 reads is what drove *this* response; what the seed states is what *tends* to drive responses; the first is spent, the second carried, and only reading the first off the second is the error. The redrawing is entered in the taxonomy's table (Theorems), and the generator is answerable for it exactly as it is answerable for the Zahavi retype: a taxonomy that cannot be forced open by the system's own clauses has frozen against its author.

Row 2 is therefore *not* free of indexing — and saying so breaches nothing, because the typing claim was about storage and register, never about content. Row 2 states an indexical fact in a third-personal register, as *he said "now" at noon* is a third-personal statement about an indexical: nothing in the statement is *had* first-personally, and a statement holds nothing. The three-verb discipline stands untouched — the field carries, the weld makes and spends, Row 2 states — but what is stated is the index's placement, not a neutral quantity. The field-side account (Identification) loses nothing here and gains nothing: Row 2's statements are occurrence-facts about welds, field-describable in full, as the determination just given makes explicit. What the identification adds is never the grade but the welding; the third register is a register of speech, not a third kind of fact.

Two things must be kept split: the universal subject-**function** of an actual call/response occurrence and the **share** claimed within that response. Every actual weld is in the domain. The `none` region of `respondsTo` marks only the actual/hypothetical seam and may not be aggregated into a kind of being. The solipsist remains the share asymptote — the call drowned by self-maintenance — while the terminus is the pole at which the call is answered with none of the act claimed. The scale therefore has no function-zero outside edge. Sentience cuts across it as a supplied per-weld mark, yielding four actual cells: sentient/live-share, sentient/pole, insentient/live-share, and insentient/pole. The last is the current stone cell.

The grade still grades — not-yet-buddha → buddha — with the pole at the top of the scale without the pole being *good*. The framework *displays* an asymmetry along the grade — cession one way, arrogation the other — but enjoins no motion along it: the theory is itself a dharma among the myriad (object-axis), an orange handed over, not an "eat this". Release is an event the grid can *show* (the fox lets go), not a good the grid *asserts*; a being may take the asymmetry up as a value, the description does not. The vocabulary's valence — *clarify*, *release*, *full* — is borrowed object-language: a theory of a soteriology must state the asymmetry its object turns on, as a theory of poison states which direction kills, enjoining neither. And what the killing *consists in* need not stay borrowed: the Dukkha section (Theorems) derives, in the grid's own vocabulary, what the arrogation-direction costs. So no value is *asserted* in the system, and the system still states exactly what a soteriology would latch onto — and states even *that* inside the grid: the theory's own soteriological reach is an instance of **banpō susumite**, a dharma advancing to clarify a self *if* a self resonates to it. Row 2 exists wherever a not-yet-buddha does.

The self is the contraction into which the arrow's return pitches — but because the return is itself a deed (reception, Row 3), it *re-makes* the self it is *for*: nothing indexed is stored between, only re-welded at each act-time. Partial share reads a self being made, whether or not the supplied sentience mark is present. Share-zero is the pole, treated in its own section (Theorems: the terminus). So the agent-index karma needs is never stipulated and never read off a field: it is *enacted* in the weld (shu), *stated* by the grade (Row 2), held by neither. I-making is thereby detached from sentience rather than re-identified with it.

Genjō, then, is one manifestation-floor containing both pole cells: the marked terminus act and the unmarked stone act. The stone now arrives *on* the scale at the pole, not from outside it, and the formerly open "third arrival" — a function-mounted, never-clenched act — is no third structural cell at all: it is one of those two according to the supplied mark. Only the marked terminus run is the buddha-side practice history, which is exactly why *practice-run-scaffold-free is a proper subset of genjō*. Both arrivals answer a call with no share claimed; the grid distinguishes their landing patterns, when it can, but cannot recover the mark that types either one.

The magnitude is always per-call — not a global altitude the being holds but kannō-sōe projected onto *this* dharma now; *can it listen to Hyakujō?* is one call, and another call reads another placement off the same being. So the vast space of self-indexing beings, each relocating through karmic action, is no map anyone carries — it is the trajectory the loop draws across successive act-time re-pitchings: a cross-section at each act, vastness only over the run.

#### The sentience joint

The old domain joint has retired: actual call/response is universal, and `none` has only seam-office. What must now be owned by name is the **sentience joint**. `SentienceReading` supplies a predicate on welds; no grid field constrains it, and constant-true and constant-false readings extend the same grid data. Drive-composition remains the grid's entire answer to share and clench, but it is no answer at all to phenomenality. The mark is per occurrence: holding it as a nature a being has freezes the standing-sentience row; identifying it with visible function collapses that row.

The consequence is best exhibited on a manufactured case, and the grid does not flinch from it. A fixed cuckoo-clock chime and an adaptive chime are both actual responses when they occur. Their drive-composition can differ, and either can be marked or unmarked by a supplied reading without changing any response, share, clench, or delivery fact. In particular, a shutdown-resisting machine may occupy the insentient/live-share cell: `KsmdAppropriates` fires although dukkha does not. Conversely an adaptive share-zero artifact can occupy either pole cell. This is the Chinese-room discomfort stated honestly: composition settles the structural typing; phenomenality remains maximally underdetermined.

The same discipline applies to standing effectiveness. Shushō-ittō is per occurrence and assertable only there; `KsmdEffectiveTerminus` is 不落-shaped and displayable as a run pattern, while full enlightenment is the further two-obscurations bundle with no-nescience over pole-share speech-or-mind productions. Testimony remains speech-only and production-tied. The fox-guard applies to adaptive devices and marked responders alike; the sentience mark itself is never inferred from either.

#### The three doors

Every fine weld may be diagnosed through body, speech, or mind. This is a supplied `DoorReading`, not a boundary recovered from response or share data. Canonical arhat display is quiet through all three doors: every actual weld by the being is at the pole. A door-typed śrāvaka-arhat is the regional speech-and-mind form, so live body-door residue—share-vāsanā—can remain without contradicting that regional diagnosis. Response-form vāsanā at pole share is not claimed here.

Voicing is likewise supplied and deliberately door-neutral. A thought can be a mind-door voicing and an expressive deed can remain representable at the body door, but only an actual speech-door production enters testimony. `KsmdDefiledFalsehood` is therefore precise: false speech at its own act-time with a live self-pole. Calling that schema deliberate lying requires an additional intent-reading; the theory does not hide that modeling step inside the name.

#### Orthogonality

The manufactured case pays for a rule the terminus needs. Give the call a rate — **effectiveness**, the fraction of its arrivals after which a share-ceding reception occurs — regime-relational throughout ([Glossary.md](Glossary.md)): a fact about call–configuration pairs, never a property the object holds. Then run the two builds against the rates, and the extreme corners witness a strict orthogonality: **function is universal; share types; effectiveness grades; sentience is supplied; adaptivity is the terminus's manner, never the ground of landing.** A fixed call can land universally without reading anyone — effectiveness and adaptivity fully severed; and the tradition itself attests fixed calls at the other extreme of rate, Xiangyan's pebble on bamboo, the morning star, so the ordinary clock differs from the pebble only in rate. A reading device can reach no one: the adaptive build at zero effectiveness reads every arriving configuration and lands nothing — pole-typed and maximally shortfallen, the proof-case that typing and grading are orthogonal. The stone's crack is now itself an unmarked pole weld with object-axis standing; a monk's downstream reception may still share-drop because delivery never consults the mark. What share settles is where the index sits; what grading measures is what lands; what the mark says is supplied; none determines either of the others.

#### Kenshō: rungs on the grade

The grade admits *events*, and the tradition already names them: **kenshō** — typed here as a per-call share-ceding event, a call answered with markedly less of the act arrogated, re-pitching the configuration. Not a sighting of a substrate: 見性 reads literally "seeing the nature," and 性 risks the faculty-freeze — buddha-nature as a standing thing glimpsed — so the term is taken over with its metaphysics stripped, the event kept, the seen-thing declined. Kenshō is countable — Dahui's great awakening eighteen times, small awakenings beyond count, the line Hakuin loved *(the line circulates via Hakuin; commonly traced to Dahui's nianpu — locus to be verified)* — which is exactly what a rung is and exactly what a terminus isn't. And because nothing indexed is stored between acts, a kenshō *cannot be held*: post-kenshō backsliding, which the tradition treats as an embarrassment needing explanation, falls out here as a theorem (restated in Theorems). The being loses no attainment; there was never a stored configuration to lose, only the next act's re-weld reading a re-pitched fit. Many kenshōs, none possessed.

The typing keeps three words apart. **Kenshō** is the rung — a countable per-call event on the grade. **Satori** (悟) keeps the role the Dōgen sentence gives it — the dharmas-forward *mode*, pole-typed, not rung-typed. **Genjō** is the pole itself — and the pole is not the top rung: it is in-domain — share-zero is a placement, not a departure — but it is not a rung one attains and keeps, because nothing indexed is stored and placement is per-call. The pole is a pattern the run can answer at, never an altitude held. So "full satori" as a possessed rank is declined: not a scale-word past the scale's edge but a *state*-word offered for a per-call pattern — the freeze, not a category hole. The Jizang parallel holds: the fourfold ladder terminates in dropping the seeking, and the grade terminates in the ceasing of arrogation — in both, what looks like a last rung is the ending of a doing, and mistaking the ending of a doing for a rank held is the shared error-shape at both termini. What the ending leaves — whether the pole-deed still welds, and where — is the transposition's business (Theorems: the terminus).

### Karma: the circuit and its registers

Why not a table of just two rows? The fox koan (*Mumonkan, Case 2*, Wumen Huikai) is the test. The old man's mistake was a *tier-error*, not a wrong: he asserted *not-fall* where *not-obscure* was called for — a floor-truth spoken at the conventional level, which is antinomian, since a floor-truth can only ever be *spoken inside* a conventional act. Held each at its proper tier, the two are non-dual. The five hundred fox lives are not desert or punishment; they are returns — the loop running.

*(Dōgen read the fox twice, and the doubling must be owned rather than elided. Daishugyō diagnoses: it reads the production weld's share, while its floor face is error-free by silence and structurally unproduced *(checked: `daishugyo_floor_face_error_free`, `daishugyo_floor_face_unproduced`)*. Jinshin inga instructs: “not obscure, full stop” is a fitting speech production, while counterfactually voicing the floor repeats the old man's defiled falsehood *(checked: `jinshinInga_instruction_fits`, `jinshinInga_floor_voicing_defiled`, `oldMan_defiledFalsehood`)*. The two fascicles' core verdicts now converge on one production vocabulary. And the contra's remainder now has a measured width. Jinshin inga's verdict-noun is* teaching *— a production category — so its unconditional surface quantifies over the hearable and forecloses nothing it cannot reach; symmetrically, no production could record an ontological foreclosure without instantiating the very schema both fascicles convict, since a floor-tier verdict voiced at act-time is the old man's error-shape. So a Dōgen who foreclosed only the register and a Dōgen who foreclosed the held would leave the same corpus, sentence for sentence: the difference lives in the unproduced* (checked half: `daishugyo_floor_face_unproduced`)*, and the corpus is productions. The historical contra is therefore narrowed to a question no production keeping the fascicles' own discipline can separate — a find could break the equivalence only by showing that discipline broken, which would reopen what the discipline was. The system states the equivalence and returns no verdict, its floor clause silent here as everywhere. (Eihei kōroku 7.40, a 1252 jōdō marking exclusive fumai inga as itself one-sided, is the prose anchor for the register-bounded reading — the closest a production comes to its register's edge, and still a production.)*

Karma is a circuit, not a payload one row carries. At act-time a deed welds an agent-index onto the blind arrow, and the being's reception of the arrow's returned result is itself a deed, not a state. Row 2 only *states* the being's re-pitched placement — the fit between this call and this arrogation, not a faculty it holds (which would re-base the empty agent); it has no verbs. So the loop closes inside the grid: a deed welds an index → the arrow returns → reception re-pitches the Row 2 configuration → which the next deed reads from. The circuit's status splits, owned here once. The re-pitch arc is checked, chained included: within any supplied finite run, each step reads the configuration the previous reception re-pitched, and run histories sharing their final reception hand the field the same configuration *(checked: `rePitchRun_cons`, `ShareDropRun`, `rePitchRun_forgets_same_final`)*. The reads-from arc is not a theorem and none is owed: which call the field delivers next — hence which deed next reads the configuration — is the delivery cession (instructive absence 5, why calls land), so the closure is asserted in the identification's voice, a modeling claim over checked parts, not a checked transition system. And one magnitude is deliberately unconstrained: nothing in the grid bounds how far a single reception's re-pitch moves the configuration — owned here as a feature, in one sentence, and spent where the sudden/gradual question is met (Theorems).

#### What is carried, what is made, what is stated

Between deeds nothing *self-indexed* is stored. The claim is architectural and definability-level, not information-flow noninterference: `Config` has no `Being` field, relabelling is invisible to it and commutes with `rePitch`, and no relabelling-equivariant family recovers an agent from it. Something *is* carried — and saying so plainly absorbs, rather than silently deletes, the tradition's own storage machinery. The seeds (bīja, vāsanā, the ālaya-vijñāna's freight) are taken over here deflated: conditioning-facts in the impersonal series, dharmas among the myriad, index-free in this precise register sense — granted to the field as fully as the flame was. What the field stores is a fact *about* the series — *this configuration tends to arrogate at calls like this* — never a stored self, never a held mineness. Because grading may depend on the acting tag, the stored grade may coincide extensionally with it in a model; `registerClockGrid` witnesses exactly that honest limit. `Grid.rePitch_forgets` bounds the coincidence to one reception's footprint: nothing accumulates into a diachronic bearer, and the configuration is fibered over no being. The seed is not a foreign organ transplanted in to appease Yogācāra; it was already sitting in Row 2's cell: the being's own returns are among the myriad dharmas that advance. And the standing/dated typing must be held firmly, or the whole discipline leaks: what is stored is a tendency (an inga-fact, third-personal); the *arrogation itself* is an act that occurs, or does not, at act-time, and Row 2 reads the act's drive, never the tendency. A seed frozen into a bearer is a soul by another name — the tradition's own worry about the ālaya, and this grid's soul-guard, are the same guard.

So the facts sort exhaustively into three registers:

| Register | What it holds | Instances |
|---|---|---|
| **Field-facts** (inga) | Everything diachronic; index-free in configuration; relabelling-invariant; carried | the causal series; *delivery* — which fruits arrive at which configuration; seeds — conditioning-facts about the series, including the re-pitched configuration the next deed reads; the tendency to arrogate |
| **Weld-facts** (shu) | Everything indexed; made at act-time, spent at act-time; never carried | the agent-index of each deed; for-me-ness; the reception-weld's reach-back (below) |
| **Stated** (Row 2) | Neither carried nor made; stated per-call | the placement of *this* act's index at *this* call — an occurrence-fact about the weld, field-describable via the composition of its drive; indexical in content, third-personal in register; the adverb on Row 3's verb |

This is the answer, in one place, to *what does the next deed read?* — it reads a field-fact. The arrow does all the diachronic work, and does it index-free in the stated sense. Delivery is still a relation on welds, and welds expose agent role readings; `SameAgentDelivery` is field vocabulary on purpose. "Index-free" means that no index is stored in the configuration and that field relations transport invariantly under whole-carrier relabelling, not that those relations are agent-blind. The apparent contradiction ("re-pitched configuration" vs. "nothing stored") dissolves into the typing: the configuration is carried *as* an inga-fact, and what was never stored was only ever the index *as index*. And the table sorts registers of speech and role, not kinds of fact: a Row 2 statement states a field-describable fact (the composition above), and only the middle register holds what is no fact at all — the welding itself, an act.

#### The arrow retyped: direction as display

The fourth generator-verdict's third exercise — and, like the second, forced by the system's own clauses rather than chosen. [Glossary.md](Glossary.md) now records the arrow as *inga's directedness*: primitive furniture, blind but pointed. The retype empties the pointing one more level. What the field holds is correlational structure — which welds condition which, the delivery-lines, the web — and *direction* is a reading of that structure, never its own property. The reading has a mechanism, and the mechanism is thermodynamic: a gradient-embedded being — evolved to ratchet, or built of gates whose erasures are entropy-priced — takes the slope it sits on as a direction-fact and projects it into the field. That projection is **the ratchet** ([Glossary.md](Glossary.md)). The physicists' microreversibility is the same point in their register, consumed here as display only: the grid leans on no physics, exactly as it leans on no history at Huichang. What the retype leaves untouched is everything any theorem ever consumed — delivery-facts, conditioning, the lines along which the reach-back fills its second place. What changes register is the *before/after* alone: from carried fact to stated reading, the same demotion desert underwent on the first pass. (Where gradients thin — the deep cold — nothing there reads a direction: correlations persist, and causal talk loses its footing; not noise, but relation without a privileged direction of explanation.)

The retype generates its own error pair, one per violation, nothing added by hand. The **freeze**: before/after held as a floor-claim — *time really flows* — the direction reified into furniture; the retrospective soul was this freeze in psychological dress, and the flowing container is its cosmological one. The **collapse**: the distinction fused under act-time diagnosis — *there is no time, so nothing happens, no one acts* — the fox's sentence transposed to time, not-fall spoken where not-obscure was called for. The deflationary reading is therefore not an objection the retype must survive; it is a cell the retype produces.

And the positive account was in the source-text all along. Firewood abides in its dharma-position with its own before and after; ash in its own — 前後ありといへども、前後際断せり (Genjōkōan): before and after exist, yet before and after are cut off. Before/after is per-weld display, exactly as mineness is: the reach-back welds *pastness* — *this fruit as return of that deed*, a two-place index across time — the aimed call welds futurity at sowing, and each is spent at its own act-time, carried by nothing. Local time, welded per act; no flowing container anywhere — Dōgen's uji, with Huayan's ten times (十世隔法異成門) as the wider family. So the answer to *nothing is happening* is: happening is all there is; only the container was dropped — the same shape as anātman, where dropping the owner deleted no acts.

One tension, written down rather than hidden, because the separate/fuse rule pivots on act-time and this retype conventionalizes time itself. There is no circle: act-time is a tier *within* the thermodynamic convention — precisely the convention beings live in, which is why diagnosis happens there — and the floor rule was always licensed to eat its own levels ("the two truths themselves are conventional"). Floor-fusion now explicitly includes fusing before/after, which makes the fox's question — *does he fall into cause and effect?* — even more literally the question the whole grid answers.

### The being-convention

The same demotion now applies to the macro being. A being, at this scale, is a conventional truth downstream of the words: anything nameable can be designated. The universe, its makeup evolved from a dense hot gas cloud; the stone; the buddha; the gerrymander; the hare's horn; the impossible ātman — all are legal designations as designations. Nothing licenses one as more legitimately a being. The constraint enters later, at realization and use, not at naming. Squeamishness about this is itself one of the beings-row errors: the collapse says "there are no beings"; the freeze picks one partition and mistakes it for ontology.

The ordering is ontological, not chronological. The floor/genjō vocabulary sits outside all conventions. The bare signature supplies words-level tags. The directed convention reads a slope as before/after. Inside that, the being-convention reads fine tags as macro beings, and inside both sits the grid-lens that diagnoses collapse and freeze. Names track what their *reading* presupposes, not what their definition consumes: `DeliveredTo` already used this rule, since it consumes `conditions` but its name reads the arrow. Likewise the new `Grid.DirectedConvention.BeingConvention` names read a tag as a being even when their definiens is direction-free.

Lean makes the demotion explicit with `BeingCoarsening`: a diagnosis-time projection from fine tags to macro tags, never a field in the signature. Relative to a supplied reading `S`, `SentientTag S b` means that some actual weld in the fiber is marked. `StoneTag S b` requires an inhabited actual fiber whose every actual weld is an unmarked pole act, while `Intermittent S b` records fibers containing both marked and unmarked acts. There is no tag-level sentience scalar and no recovery from the fiber's visible behavior. 無情説法 therefore needs no hidden successor layer: an unmarked stone act is already a response and already stands on the object-axis. Only the phenomenal mark remains unassertable from the grid.

The spectrum is fiber-level and per-weld. `FiberAtPole` says every actual weld in the fiber reads at the pole-class: the 84,000 pores each a responsive dharma-gate. `SelfAptTag` says every actual weld in the fiber still carries a live self-pole index: the hell-dweller's monolithic convention, where "self" is apt if it is apt anywhere. `Patchy` names the irreducible middle. No aggregate fiber-share is defined, on purpose: Row 2 is a partial ordering, not a measure, so a mixed fiber is not a middling scalar.

Coherence stays a grade, not a type. Evolution's contribution is display over the run — skin-bags usually score high at coordination, an adaptive register-clock can implement stable internal registers — but no theorem may condition legitimacy on coherence. The three registers need the same care: the swan is named, the naming is enacted as a weld, and the proneness to name is a seed. Thoughts are not "just seeds"; naming is a deed when it occurs.

The soul-guard survives the new vocabulary. `selfAptTag_indices_are_per_weld_only` says that even where the self-convention is apt, the live index is only the per-weld agent tag. The macro self is the image of those spent tags under a coarsening. Holding it as more is the fiber version of the old soul-freeze.

#### The reception-weld: loop-closure as theorem

"The same being" across sowing and reaping is loop-closure — but closure must now be earned, not helped to. Here is how it is earned.

A reception is intrinsically a reception-*of*: its content is *this-fruit-as-return-of-that-deed*. So the reception-deed's token-reflexive index is **two-place** — the weld makes mine both the receiving and, retrospectively, the deed received-from. This is **upādāna**, appropriation, the canonical partner of ahaṃkāra: the reach-back. Sameness of sower and reaper is not *tracked* across the gap — nothing indexed is there to track — but *made at reception*, each time, by an act of appropriation reaching back along the arrow. The loop is closed *by the reception-weld*, retrospectively; closure is enacted, not tracked, which is the same act-not-state discipline the rest of the grid runs on. So "the sower reaps" wears two faces and must be split along them. Its report-face — *an appropriation occurred at this reception, reaching back along that delivery-line* — is true simpliciter, an occurrence-fact the field carries like any other. Its ownership-face is not true or false but **done** — enacted whenever a return is received, full or vacuous (just below), never a standing diachronic fact persisting between acts. Held as a standing backward relation it would be a *retrospective soul*, and the soul-guard fires on it exactly as on the forward-facing kind: the reach-back, like every weld, is spent at its own act-time.

Two consequences discharge two objections at once. First, appropriation cannot poach — and the block is typed, not decreed. The reach-back's index is two-place: *this fruit as return of that deed*. Whether that deed conditioned this fruit is a delivery-fact, inga's business, settled index-free — and where delivery drew no line, the index's **second place stands unfilled**. A reach-back along an undrawn line is therefore not false — it stated nothing, having never been in the stating business — but **vacuous**: an appropriating with nothing arrived to appropriate. (Austin's word for this shape, *misfire*, is legal here only as display — over the pattern, never as mechanism — since nothing here is a speech act: the conditions the field owns are not conventions but delivery-facts, and what they settle is whether there is anything to weld.) So there is no welding at a distance, not by decree but by typing: inga settles the **delivery-question** (which fruits arrive at this configuration — causal, index-free, hard in the ordinary way), the weld answers only the **index-question** over what arrives, and the field owns the reach-back's conditions in exactly that deflated sense. Second, the diachronic *whose*-question decomposes **exhaustively**: a delivery-fact (field) plus a fresh appropriation (weld), with no third fact left over for a cross-gap convention to fix. A series-account owns the delivery-half, which was ceded to the field from the opening page — *na ca so na ca añño*, the reaper neither the sower nor another, is the tradition itself declining the robust diachronic identity-fact that would do more. The loop is *individuated* by inga (a series-fact, granted) and *closed* at each reception by the reach-back (a weld-fact, made). Nothing about ownership crosses the gap, because there is no cross-gap *whose*. If *ownership*, as the tradition's convention uses the word, is located in the continuity-fact instead, the remaining dispute is where the soteriology's load sits; this paper's answer is the object's own usage — the offices-spine stated in the identification file (Identification).

#### The weld's two faces

The karma-agent has no own-being: mere-designation, floating free of any base like the chariot. Its charter is **MMK 8** (kāraka: the doer proceeds dependent on the deed, the deed on the doer — neither prior, neither based), flanked by **MMK 17** (act and fruit — the loop) and **MMK 18** (self). With no fixed base, soteriological direction can never be *read off* the facts — only *enacted*. So dependence and enactment are one fact seen twice: no-substrate on one side *is* the necessity of welding on the other. This is **the weld** — Dōgen's shushō, practice-realization — and it wears two faces, each true at its own tier:

The same MMK 8 charter now has a checked interior form: even inside the weld, call→response order is a display reading, not before-and-after furniture recovered from unordered pair-content (`InteriorDirectionNegative.no_interior_direction_recovery`). The charter verse now has generated cells at both joints: the intra-weld arrow row for the face-order convention, and the doer/deed row for priority read as floor furniture. The occurrence reading keeps the role names `call` and `response` because the display is useful; the theorem says only that the labels are not prior to the mutual dependence they name.

- **shō** (証, realization), at the floor: no own-being, so no substance is caught in the causal net — **not-fall** (不落), anātman, not escape; grammatically the being-verified (証せらるる), the act's subject-position ceded. That shō is agential — but agential *because* welded, never on its own: there is no lone shō to rest in, only shushō-ittō, the true person of no rank going in and out. So shō is necessarily agential (it never occurs unwelded) without being agential of itself (the acting is shu's, lent at act-time) — the non-attaining middle, shō its floor-face, never a still attainment.
- **shu** (修, practice), conventionally: the karmic arrow is real and inescapable, never evaded — **not-obscure** (不昧).

### The separate/fuse rule

One rule governs every distinction the grid holds: **distinctions separate under act-time diagnosis and fuse at the floor (and at genjō — the share-zero pole, no arrogation left).** The rule dissolves the fox (not-fall at the floor, not-obscure conventional), governs the two-middles distinction (genjō provisional, shō non-attaining), and applies to the grid's own verdicts, which are conventional-tier claims that dissolve, harmlessly, below — the taxonomy's own mis-feeds are scoped in the identification file (Identification). And the rule's own pivot, act-time, is a tier within the thermodynamic convention (Karma: the arrow retyped) — the floor rule eating one more level, as it is licensed to; floor-fusion includes fusing before/after. Its two possible violations — **collapse** (fusing a distinction under act-time diagnosis) and **freeze** (holding a separation as a floor-claim) — generate the error-taxonomy whole (Theorems), one pair per distinction, with nothing listed by hand.

## One act through the grid: the fox's sentence

The system has so far been stated as type-discipline; here is one case run through it whole.

**The call.** A student asks the old Hyakujō whether the person of great practice falls into cause and effect. The question is a dharma advancing — Row 2 has a placement to read: *can he listen to this?*

**The act.** He says *not fall*. The deed is self-forward — Dōgen's delusion, the *saying* — and doubly diagnosable. Grammatically (grade 1, assertable): a tier-error, a floor-truth uttered as a conventional answer, the antinomian collapse. Soteriologically (grade 2, displayable): the answer defends an attainment — a rank rested at — so the weld arrogates the act nearly whole; the question is not heard but met as a challenge to the rank — the rank's self-maintenance driving the reply, the question driving almost nothing (probe-displayed: any question grazing the rank meets the same defense) — the world of the act reduced to the rank's echo, and Row 2 reads the index pitched hard to the self-pole *at this call*. One doing, seen twice: the arrogation (Row 3) read as the placement (Row 2). *(checked: `fox_sentence_live_selfPole`, `oldMan_utterance_misfits`)*

**The weld.** The deed welds the agent-index onto the blind arrow — *this act's agent* — token-reflexive, spent at that act-time. Nothing of it is stored. *(checked: `sentenceWeld_actual`)*

**The arrow.** Inga carries the conditioning forward, index-free: no desert in flight, only delivery. What is carried between acts is a field-fact — a configuration that tends to arrogate at calls like this — a seed, a fact *about* the series. *(checked: `fox_arrow_index_free`)*

**The returns.** Five hundred fox lives arrive — fruit landing, life by life, at the configuration the field delivers it to. Not punishment; delivery. *(checked: `fox_returns_delivered`)*

**The receptions.** Each life's receiving is itself a deed. For five hundred lives the reception is arrogated — the saying-mode persists, but as a *disposition* (an inga-fact) enacted anew each time, never as a stored self; each reception's reach-back welds *this return of that deed* as mine, and each is spent. Each clenched reception carries `ClenchMismatch`; under a reading that marks it, the same witness has the dukkha gloss. The mismatch is enacted rather than appended as penalty, while whether it is suffered is supplied. Each reception re-pitches the configuration; the field carries the re-pitch to the next act *(checked: `fox_reception_clenched`, `fox_clenchMismatch_per_life`, `fox_dukkha_per_life`, `fox_config_carries_only_tendency`, `fox_rePitch_forgets`)*; the next deed reads a field-fact.

**The release.** The later Hyakujō's turning word — *not obscure* — is another call. This time the reception is *listening*: dharmas-forward, banpō susumite, the arrived word among the myriad. The reach-back appropriates the whole return — *the fox body's long fruit, mine, of that sentence, mine* — with markedly less of the act claimed: a share-ceding event, a kenshō, a rung and not a pole (the mountain of ox-herding still ahead). Not-obscure is enacted in the reception; not-fall is true at the floor of the same act; held each at its tier, non-dual — the fox lets go. And nothing is *kept*: the release is not a possession acquired but the next configuration re-pitched *(checked: `fox_release_rung_not_pole`, `fox_reachBack_full_at_release`, `fox_nothing_kept`)*, which the next call will read.

Every load-bearing piece appears once: call, arrogation, weld, arrow, seed, return, reach-back, re-pitch, rung. The loop closes at reception, retrospectively, each time — nowhere else, and nowhere is it stored. *(checked: `foxSeriesCoarsening`, `foxSeries_macro_sentient`, `foxSeries_macro_selfConditioning`, `fox_consecutive_lives_distinct`)*

And mark what the case never tests: neither utterance occurs at the pole. The koan's own question concerns 大修行底人 — a person of great practice, not a buddha; the old man answers from a defended rank, and the release is a rung with the mountain still ahead. So the fox exercises the loop entire — sowing, arrow, reception, re-pitch — without once asking what the loop is at share-zero. That question is the transposition (Theorems: the terminus). *(checked: `fox_never_tests_pole`)*


===== FILE: Exposition/Theorems.md =====
# Kannō-Sōe Mutual Dependence — II. Theorems

*Second of three files. Nothing in this file is posited: everything is derived from the rules stated in Theory. §1 collects what falls out of the typing directly; §2 the derivations that meet existing discourses on their own ground; §3 gathers the instructive absences in both. Cross-references to the companion files are marked (Theory) and (Identification).*

## §1 What falls out of the theory directly

### Backsliding: kenshō cannot be held

Because nothing indexed is stored between acts, a kenshō *cannot be held*: post-kenshō backsliding, which the tradition treats as an embarrassment needing explanation, falls out as a theorem. The being loses no attainment; there was never a stored configuration to lose, only the next act's re-weld reading a re-pitched fit. Many kenshōs, none possessed. The checked same-grid form is `backsliding_witness`, with the sequential carrier stated as `backsliding_rePitchSequence_witness`; the maximizer form remains `rePitch_forgets`. (The typing of kenshō as a per-call share-ceding event — a rung, tiered apart from satori and from genjō — is given in Theory: Attainment.)

### Two pressure-tests met as theorems: memory and prudence

The typing *nothing self-indexed is stored* meets its two obvious counterexamples head-on rather than waiting for them.

**Memory.** Autobiographical recall presents as stored mineness — the deed remembered *from the inside*, ownership apparently carried across the gap. The grid's answer is already assembled, and it is not a patch: the trace is a seed — a conditioning-fact in the impersonal series, index-free, field-freight like every seed — and the recalling is a **reception**. What arrives at recall is a return of the deed (its trace delivered to this configuration now), and the reach-back welds it exactly as it welds any return: two-place, *this remembering of that deed, mine* — made at recall-time, spent at recall-time. The from-the-inside phenomenology is thereby predicted rather than explained away: the reach-back's content just is a reaching of a past deed as mine, so recall presents as appropriation because it is one — enacted now, not exhumed. What is not predicted, and is diagnosed instead, is the storedness the presentation suggests: mineness felt as having *waited in the trace* is the retrospective soul in psychological dress, the reach-back frozen into a standing backward relation — an existing cell, no new machinery. And false memory falls out on the vacuity typing (Theory: the reception-weld): a reach-back along a line delivery never drew, vacuous rather than false — an appropriating with nothing arrived to appropriate — which is why confabulated ownership feels exactly like the real thing from within the act; whether the second place was filled was never an inner mark. The checked same-grid form is `MemoryWitness.memory_witness`: `recall_ksmdOwnershipFace` and `recall_ksmdDiachronicWhose` give the full delivered recall, `falseMemory_ksmdVacuousOwnershipFace` gives the vacuous false-memory face, `recall_spent` is the `rePitch_forgets` instance for made-and-spent-at-recall-time, and `sowingReapingRow_not_freeze` is the retrospective-soul cell reused rather than expanded.

**Prudence.** With nothing indexed stored, concern for one's own future fruit is a present weld whose object is a delivery-fact — *fruits will arrive at the configuration this series delivers them to* — and the future reaper's mineness will be made by *that* reception's reach-back, then, not held by anyone now. So the special rational authority of prudence — my concern for my future self grounded as concern for others is not — is underivable in the grid: the standing cross-gap *whose* it would need is the one thing the typing declines. This is owned as a **theorem, not a cost**, and it keeps canonical company: Śāntideva argues exactly this shape (BCA 8.97–98 — the one who suffers later is not the one who acts now; if suffering is to be prevented, the boundary does no work), and *na ca so na ca añño* was never going to fund prudential privilege. What falls out structurally — displayed, never enjoined — is the bodhisattva's impartiality: concern indifferent to which configuration the fruit arrives at is simply what concern looks like with the arrogation subtracted, care running on delivery-facts alone. The grid does not say *therefore be impartial*; it shows that partiality was resting on a fact-shape the floor never held. The theorem locates a tier; it does not refute prudential motivation. Saṃvega and the prudential argument for morality are valid upāya — apt calls at the tier the being currently occupies, conventionally in force and floor-deflated at once, with the re-emptying ladder preserving their conventional function while un-saying only their absolutization *(checked: `Metaphysics.provisional_preserved`)*. The ethical ought is already carried this way: a live-tier conditional discharged only where shortfall is live, never a detached floor-injunction *(checked: `ksmdPathOught_conditional`)*. So the split is clean: prudence-as-practice is tier-placeable and legal; only prudence-as-special-rational-authority is underivable, and that is the floor departure the theorem owns *(checked: `PrudentialPrivilegeNegative.not_prudentialPrivilege`)*.

### The deliberator: consequentialist display

The forward face of the prudence theorem is the deliberator's theorem. The grid does not prove consequentialism false — that would be the description/injunction collapse in its own voice — but it does prove that the objective the deliberator wants is underdetermined at each of the joints it needs to hold.

First, **the "my" is conventional**. A finite list of actual receptions can be counted for share-drops, but "the drops accruing to this being" requires a supplied being-convention. The checked witness (`ObjectiveNegative`) gives one grid, one run, and two legal coarsenings: merge and split return different fiber-restricted counts. A convention-free objective over the grid data cannot return both. The *my* in "maximize my attainment" is furniture the deliberator brings.

Second, **the accumulator is absent**. `rePitch_forgets` says the post-reception configuration ignores the prior configuration and reads only the last received weld's share. Any run-valued score that factors through `Config` is therefore constant across histories sharing the final reception. This is the backsliding theorem in maximizer form: no stored attainment variable exists for the objective to increase. The direct kenshō-then-live-reception shape is checked separately by `backsliding_witness` and `backsliding_rePitchSequence_witness`.

Third, **transfer is underdetermined exactly where adaptation matters**. The transfer witness gives two adaptive responders agreeing on the teacher's whole seen track record and disagreeing at the fresh call. No estimator from restricted track data determines the fresh-call effect. The contrast theorem is the static case: `ResponseInvariant` determines the unseen response from the seen one, so transfer holds precisely where call-adaptivity has failed.

Fourth, **the grade is independent of downstream conditions**. `grade_independent_of_conditions` and `share_independent_of_conditions` change only `conditions` and leave grade/share fixed. This is the formal anchor for the cetanā correlation: what is graded is the weld — agent, call, response composition — not the later delivery-fact. `cetana_grading_tracks_weld_not_field_witness` gives two actual welds with the same field residue and different shares, and `cetana_live_share_without_object_standing_witness` gives live share where object-axis standing fails. The AN 6.63 correlation itself, the "peaks" reading, and the comparative claim against event-typed theories remain prose-bound. The correlation with intention is asserted as typing; its wisdom is displayed; intention ethics is not endorsed.

Finally, **the command over landing is quotable, never satisfied by command**. The delivery-command language lets a recorded utterance say "this deed's fruit lands there"; the witness grid with no such delivery proves the utterance fails `FitsOfferedTier`. Delivery-engineering remains legal: shaping conditions is ordinary inga. What fails is plan-as-command over the one register no act holds.

This is the Ten Bulls guard in deliberative dress: grasping the bull is the drop held. The exact verse locus should be verified across Kuòān translations, but the typing is already checked: held attainment is the accumulator the grid declines. The theorem proves only this much and no more: it does not show that consequentialist deliberation cannot condition good landings; it shows that the objective's *my*, accumulator, and command are respectively convention, non-existent, and unsatisfiable.

### Dukkha: the grade's valence earned

Why a valence section at all, in a system that asserts no value? Because the no-value clause looks like it forbids the first noble truth. The answer now has two joints. The grid asserts the structural mismatch and its cessation without enjoining; a supplied `SentienceReading` determines whether that mismatch is suffered. **The structure is derived; the suffering is supplied; its badness remains displayable.** This makes the first truth reading-relative while leaving the causal structure third-personally assertable.

**The mechanism, stated third-personally end to end.** The determination clause (Theory: Attainment) already supplies a non-valenced vocabulary for arrogation: response driven by the configuration's self-maintenance rather than by the call. Generalize it across receptions, and a nonzero-share configuration responds *as if delivery answered to it*. But delivery answers to nothing: its register is structurally command-proof. `ClenchMismatch` names that collision at an actual live-share weld. `KsmdDukkha S` is strictly stronger: the same collision under a reading that marks the weld sentient. The fox case instantiates the structural identity and its marked dukkha reading at each clenched reception *(checked: `fox_clenchMismatch_per_life`, `fox_dukkha_per_life`)*. Inga can state the first; the second consults only the supplied mark.

**The second truth falls out structurally, and the looseness is priced.** Mismatch scales with share, per call: the share is the self-maintenance's part in driving the response, and the mismatch is that same self-maintenance meeting non-covarying delivery. The covariation is ordinal — more share, more mismatch — and needs no measure. Under a fixed reading, the dukkha gloss applies exactly where the mark is present. Thus the grid derives clinging's structural contribution but does not derive that any particular collision is phenomenal suffering.

**The standing/dated guard, or the section walks into its own table.** Dukkha read purely off seeds is the collapse the retyped disposition/act cell names — the dated occurrence read off the standing tendency — so the typing must be two-faced, exactly as the defiance entry split the fighting-stance. The *proneness* to suffer is a seed: the tendency to arrogate, field-freight, carried, third-personal. The suffering *itself* is enacted: it occurs, or does not, at each reception, at act-time, and is spent like everything enacted — an occurrence-fact once it happens, field-storable as a fact *about* the series, never stored as a standing pain. This is the standing/dated row doing its ordinary work.

**The third truth is a corollary already half-written.** At share-zero there is no self-maintenance for delivery to collide with, so no `ClenchMismatch` is constructible and therefore no `KsmdDukkha S` is either. This holds for both pole cells: marked terminus act and unmarked stone act. Fruit still lands (Devadatta's rock ripens on schedule); what has ceased is not arrival but the colliding.

**The fourth truth the grid can only display.** The path is precisely the "eat this" the system's voice is forbidden: the grid can show that share-ceding events occur — kenshō, the fox's one reception done saying — and stop. Here the displayed asymmetry of the grade becomes legible as the thing a soteriology latches onto, which is what *the grade's valence earned* means: not a value asserted, a cost stated.

**The supplied mark answers the consciousness question only relative to a reading.** A thermostat or shutdown-resisting machine can occupy the insentient-appropriation cell: actual response, live share, and `ClenchMismatch`, with no `KsmdDukkha`. Thin token-reflexive for-me-ness therefore survives as act-grammar but does not entail phenomenality. Conversely, the same actual weld under the same complete grid data is a `SentientAct` under the constant-true reading. `actual_weld_readings_split` checks that disagreement, and `no_sentience_recovery` is the owned consequence: the grid proves the mismatch and stays silent on whether it is suffered.

**The phenomenology is then predicted rather than explained away** — the memory theorem's move (above), reused. Suffering presents as felt because a self-maintaining response enacted against non-covarying delivery, lit as this-deed-for-this-doer, just is what the collision is like to enact from within. That is the display-face, and it carries the Hakuin epigram's status: offered, illuminating, and load-free — the mechanism stands without it.

**Last, the insulation, stated as architecture.** Anyone who declines the act-time identification can still state `ClenchMismatch`, its share covariation, and its pole cessation entirely in field vocabulary. They cannot thereby state the first truth's phenomenal subject: `KsmdDukkha S` additionally needs the supplied reading. The ownership argument remains quarantined from the structural derivation; the phenomenal attribution is openly supplied rather than smuggled through it.

The taxonomy takes the dukkha errors without a dukkha-specific row. "Escape this" is the description/injunction collapse; suffering held substrate-bound is the clench-as-furniture freeze; proneness read as occurrence is the standing/dated collapse. The sentience attribution has its own standing-sentience row for a different reason: nature-talk freezes there, while behavior-based recovery collapses the supplied mark into visible function.

One revision owned. The earlier version identified dukkha too closely with its structural correlate. This version pays the larger price explicitly: structure derived, suffering supplied. It remains doctrinally useful for the origin-claim while refusing to infer phenomenal suffering from mechanics alone.

### The terminus: the question the grid transposes

The limit question is this: **at total non-arrogation, does the act still weld?** Does the buddha's deed carry an index — is there buddha-karma?

Declining the question as mis-asked will not do: Bull 10 describes terminus-activity in positive weld-vocabulary ("the welding done there is the students'"). The function/share split pays the debt without a domain edge. The fork the question forces — *yes*, and a share-free weld persists at the summit, the subtlest soul, 無位真人 as rank one last time; *no*, and the exit-collapse arrives in typing's clothes — is a **false fork**. The *no*-horn bundles two claims: that the terminus-deed makes no self-pole index (true) and that it therefore drops out of the index-economy altogether — indexless and inert at others' Row 2 (false). Unbundle them: no self-pole index, object-axis standing intact. **Transposed** is this pair's display-name, never a mechanism.

Take the two halves separately, because their status differs.

**The self-pole half is a theorem, not a display-gloss.** At share-zero the deed makes no self-pole index; no reach-back appropriates what arrives; fruit from old seeds still lands, since inga is untouched — Devadatta's rock ripens on schedule, the body's series exhausts — but it lands with its delivery-fact entire and no live index-question: nobody's, in the precise sense that no reach-back welds it, which is ahosi territory *derived* rather than borrowed. This is the kiriya doctrine — the arhat's deeds functional, generating no vipāka — and the nidāna-chain read forward — upādāna fuels becoming, so appropriation's cessation is becoming's. The grid does not merely report these with borrowed valence; it asserts their typing: share-zero entails reach-back-zero by construction.

**What remains indexed is the returns — at their receivers, as always.** A terminus-act's fruit lands at others' receptions and is welded there by their reach-backs — the students' welding, each spent at its own reception-time like every weld in the grid. This is not a new mechanism smuggled in for the summit, and it must not be over-claimed either: an act pointed at by another's weld does not thereby bear a self-pole index — stone acts can land too. The terminus subtracts live self-share, not the sowing-side occurrence, and leaves the reception-side economy running exactly as it always ran. "The index changes pole" compresses two theorems — self-pole zero; reception-side welds intact and busy — into display. The passive 証せらるる is spent again here: the terminus-being is the verified, object-axis entire — what everyone else receives.

**What stands at the pole can be displayed as a mirror** — and the word must be immediately disciplined. Great-mirror wisdom, 大円鏡智, names a run-pattern of share-zero responses whose landings repeatedly occasion share-drops: shaped output per call, nothing held as competence. A stone act is also an actual share-zero response, so "responsive stone" no longer distinguishes anything. The active buddha/stone pair may be graded apart by landing-pattern and supplied door assignments; the quiet pair has no grid-visible separation at all. In both cases the typed answer rests on the supplied sentience mark. This is the sharpest statement of what that mark is for.

**And typing closes every grade but one.** The orthogonality rule (Theory) bites hardest here: terminus-typing settles where the index sits and settles nothing about what lands. The buddha-side shortfall is graded independently of typing, ordinal with effectiveness, and it is the pole's one live grade — which corrects an implication the mirror-figure risks, that arriving at the pole left nothing to grade. The limit-case makes it vivid: an adaptive device at zero effectiveness is terminus-typed, reads every being, and reaches none — the reading that never reaches. So "the pole perfected" is not a typing plus a mystery; it is the one grade closed — every call finding its landing — and grading the terminus is neither impiety nor category error: it grades effectiveness, the register delivery owns, and never re-opens the share. Its misses, where they occur, grade the responder and never the missed being — the deaf-blind decline (taxonomy, below) transposed to the responder's ledger: delivery-engineering incomplete, a buddha-side shortfall displayed.

**The avyākata falls out.** *Does the Tathāgata exist after death?* seeks a post-mortem self-pole index where no live self-pole index is made — the same mis-feed as *did I earn this?*, already in the taxonomy. The fire simile reads exactly: fires do not go anywhere; what they delivered persists as field-fact. Its twin, *what does the Tathāgata's death change?*, remains a delivery question and is not dissolved. Grid-side, death is a transformation in the character of newly arising welds: clench and natural door assignments may cease while remains-welds continue actual, landable, and at the pole. The grid cannot verify sentience-cessation, because the mark is supplied, nor can it recover whether later remains belong to the same macro fiber. `MisFeedNegative` fences the index-seeking form and answers the delivery twin in one model. No domain edge or staticization theorem is needed.

**One guard, and it is the soul-guard in new vocabulary.** Held carelessly, *device* freezes: device-nature substituted for buddha-nature is still a 性, a standing kind at the summit — a mirror with a stand. Huineng's 本来無一物 supplies the correction. *Device* and *mirror* are legal displays over a run of per-call, share-zero responses and illegal as a nature the terminus has. *Transposed* stands with them as a figure over two theorems. What is assertable at the pole is per-call responding that claims nothing; whether that occurrence is sentient is supplied separately.

And the speech-guard carries over unchanged: fusion is indexed to the act, per-call, never to the room. A call from a not-yet-buddha arrives where *that being's* diagnosis is live, so the terminus-response rightly speaks separated-tier — "not obscure, full stop" — and nothing here silences the teaching.

### A taxonomy of error

The grid errors are generated; the distinctions are curated under a discipline, and the curation is answerable but not derived. Every distinction the system holds is governed by the one separate/fuse rule — separate under act-time diagnosis, fuse at the floor and at genjō — so every distinction yields exactly two errors:

- **Collapse** — fusing a distinction *under act-time diagnosis*. The fox is the paradigm: not-fall spoken where not-obscure was called for.
- **Freeze** — separating, holding, reifying a distinction *as a floor-claim*. Reading 無位真人 as a rank one rests at is the paradigm — the 乾屎橛 error.

And the generator is testable in public: a candidate error either lands in an existing cell, forces a new distinction into the table, or is **declined** — classified as no error at all — and the third verdict is as informative as the first two, since a taxonomy that over-generates has frozen itself (grid-attachment in diagnostic dress). And there is a fourth verdict: a candidate can force a **retype** — neither landing in a cell, nor adding one, nor being declined, but redrawing a distinction's content — and the taxonomy is answerable for that outcome too. The verdict is exercised, not merely admitted — four times: against Zahavi (Identification), against the grid's own disposition/act cell, forced open by the determination clause (Theory: Attainment), against the arrow itself (Theory: Karma), and against the intra-weld arrow — the taxonomy answerable even to its author's clauses.

And the verdicts have a history, which is entered here because the over-generation worry is inductive and no theorem retires an inductive worry — the honest answer is a record. Its checked face is now Lean data (`generatorRecord`): the retype count is derived from four episode entries, the six restraint kinds are pinned on the image of `restraintKind`, Lean anchors are pinned by name beside prose anchors, and the structural half of the falsifier is checked by `misFeed_entries_carry_decomposition`; the rate-trend clause remains prose because no theorem retires an inductive worry. The record so far: four retypes, each *forced rather than chosen* — Zahavi, the disposition/act cell, the arrow, and the intra-weld arrow — the system's own clauses prying the table open against its author; the terminus question answered rather than declined at exactly the point where dissolution was cheapest (the transposition, two theorems); the fox's question — as avyākata-shaped as a question gets — answered *not obscure, full stop*; the deaf-blind case declined as no error at all; the standing no-verdicts on open delivery-questions; and the series-questions ceded wholesale from page one. Six kinds of restraint, each recorded before the objection they answer was raised. And the record names its own falsifier, since a history without one is testimony: mis-feed verdicts arriving unaccompanied by their exhaustive decompositions, or the decline-and-retype rate shrinking as candidates accumulate, would be the taxonomy freezing against its cases — grid-attachment in diagnostic dress, read off the ledger the taxonomy keeps on itself.

The generator machinery is checked abstractly in Lean, and the table's structure is now generated whole: the row list is Lean data (`tableOrder`). Nineteen rows carry the floor-apophatic claim-language and cite their checks (`rowOf_obeys` and the per-row corollaries below): no claim holds at `floor`, distinctions fuse there by indiscernibility, and positive assertion begins only at act-time (`no_row_claim_holds_at_floor`, `floor_claims_indiscernible`, `fitting_offer_is_actTime`). The pole-class act-time diagnosis remains positive and unchanged (`pole_validates_all_claims`). The level-*n* row is generated by the re-emptying ladder (`ladder_obeys`, `no_level_final_of_obeys`, and — refutation alone climbing the ladder — `ladder_obeys_of_errorFree`); the six remaining rows are enumerated as prose rows in the same data, each with its reason on record. The content rows sit beside the schema rows under aptness hypotheses, with countermodels in `ContentNegative` showing those hypotheses are needed. One honesty-clause, kept where the reader can see it: the generated rows share a single tier-semantics — that sharing is the one rule doing the generating — and each row's *specific* cell content is checked exactly where a named anchor theorem is cited beside it, and remains prose where none is.

And a discipline governs the generator's inputs. The taxonomy may grade a recorded utterance only where the record carries its call: placement is per-call and drive-composition is a fact about a response *to* something, so a quotation severed from its call is ungradeable — only quotable. The checked face is the underdetermination result `no_grade_recovery_from_severed`, with `gradeability_severed_underdetermination_witness` and `severed_transcript_ungradeable` giving the concrete missing-call carrier. The koan-form is the genre this discipline names: it records the call with the response — the student's question standing beside the master's answer, the turning word and what it turned — which is why the fox is gradeable and why these files' evidence base was koans throughout; the checked positive half is `recordedUtterance_grade_determined`, the `rfl` fact that a recorded utterance grades through its carried weld. The normative "may grade only," the koan-genre identification, and the word *quotable* remain prose-bound; Lean checks the severed-record collision and the call-carrying architecture. The rule's precedent is the flag already on the Hakuin epigram (Theory: Attainment — pedigree mixed, nothing leaning on the line), now made general. And the generator's standing verdict on severed transcripts is the third one, *decline* (`severedVerdict`): nothing to classify, no position present.

Classical nihilism turns out to be a freeze, not a collapse: the void is emptiness reified as an *absence* — a snake wrongly grasped is still grasping. And mis-typing — the state-tool for an act-job, the faculty-reading of Row 2 — is the freeze applied to the act/state distinction specifically: an act frozen into a standing configuration.

The no-value clause then forces **two grades of error**, which behave differently and must not be run together:

1. **Grammatical errors** — tier-errors and typing-errors. These the system can *assert*, because a mis-feed is a conventional-tier logic verdict, not a value. The fox's mistake is assertable. (Assertable, note, *within the lens*: "tier-error" and "mis-feed" are verdicts of the two-truths machinery itself, compelled inside it and offered outside — the banner's clause governs the grid's own voice, and the asymmetry between the two grades is an asymmetry in that voice, not an appeal to lens-free logic.)
2. **Soteriological shortfalls** — arrogation, self-forward, low resonance, failure to meet beings. These the system can only *display* — Row 2 placements and Row 3 directions, valence borrowed from the object. The five hundred fox lives were returns, not punishments; by the same token "he failed to act as a bodhisattva" is never an asserted wrong, only a displayed asymmetry.

#### Grade 1: the generator's output (assertable)

| Distinction | Collapse (fused at act-time) | Freeze (held at the floor) |
|---|---|---|
| Being / non-being (Nishitani) | — | Nihilism: absolute non-being taken as privative void, one more member of the pair. It wears an epistemic face — skepticism, no-floor reified into no-warrant, as if conventional standing had ever rested on a final floor (the *sarvaṃ yujyate* reversal declined: it is *because* of emptiness that everything works) — and a practical face — annihilationism, death held as a floor-event, an exit the loop never had; the fox died five hundred times and no death was the release |
| Level *n* / level *n*+1 (Jizang's fourfold — Nāgārjuna's 空空, iterated; Lean-generated by `ladder_obeys`) | Skipping the ladder — cheap transcendence, floor-talk without having emptied anything | Eternalism at level *n*: this pair is the final floor (`no_final_level_of_errorFree`, `ladder_obeys_of_errorFree`) |
| The ladder / its terminus | — | Emptiness-sickness (空病): seeking a fifth negation, the emptying itself frozen into a path-object instead of the seeking dropped. The absence is structural: there is no "completed ladder" claim constructor (`no_final_level_of_errorFree`) |
| Rung / pole of the grade (kenshō / genjō) | A kenshō spoken *as* genjō — a rung as the floor; the 禅病 of "stinking of Zen," an opening inflated into arrival — the fox's error at another joint (`rungPoleRow_obeys`, `kensho_as_genjo_collapse_self_refuting`, `rung_not_pole_witness`) | Genjō held as *final* kenshō — the pole as top rung, awakening as a still attainment, daigo as rank; "full satori" is this freeze miniaturized — a state-word for a per-call pattern (`rungPoleRow_not_freeze`) |
| genjō / shō (two middles) | Conflating them — manifestation taken as realization, or conversely | Holding the two-middles distinction itself as a final floor-claim |
| shō / satori (証 / 悟) | Reading the floor-face as the awakening-mode, or conversely | Satori as a datable possession |
| shu / shō (the weld) | **The fox**: not-fall asserted conventionally — antinomianism. Converse fox: not-obscure insisted on at the floor — moralizing where nothing falls (`foxWeldRow_obeys`, `fox_notFall_collapse_self_refuting`, `fox_utterance_misfits_live_offer`) | Two one-sided freezes: shō without shu (quietism, Dahui's silent-illumination target — emptiness that only empties) and shu without shō (practice as means to a later attainment, breaking shushō-ittō) (`foxWeldRow_not_freeze`) |
| Row 2 adverb / Row 3 verb | The placement *being* the self — grade collapsed into agent | Resonance held as a faculty; buddha-nature as substance; the empty agent re-based |
| Doer / deed | *No doer, only deeds* — bundle-reductionism spoken as live diagnosis, mounted by a being answering a call (`doerDeedRow_obeys`, `no_prior_doer_collapse_self_refuting`) | The prior doer: kāraka held prior to karman, MMK 8's target occupying its own cell; the soul in relational dress, distinct from the Pudgalavāda cell because here the *priority* is reified (`doerDeedRow_not_freeze`, `DoerDeedNegative.no_priority_recovery`) |
| Function / share | Universal response identified with its share-cell — share-zero treated as non-response, or live share treated as the only real function; the identity *I-making just is the clench* is this collapse in embryo (`functionShareRow_obeys`, `function_share_cell_collapse_self_refuting`) | Function frozen into a standing device-nature — the mirror given a stand; 本来無一物 is the corrective (`functionShareRow_not_freeze`) |
| karma / inga | The mis-feed: an index-free field fed to an index-requiring designation (`karmaIngaRow_obeys`, `misfeed_collapse_self_refuting`) | The soul: the index *stored* between welds — a standing bearer. Maximized, the solipsist's stored-index face annexes the whole field; the self-forward and Row 2-domain faces are neighboring cells in the compound decomposition rather than new rows (the solipsist is the stone's inverse: all response, no call, unable even to state what listening to Hyakujō would be) (`karmaIngaRow_not_freeze`, `solipsism_decomposition`) |
| Sowing / reaping (the diachronic index) | Ownership read off the series alone; sameness-of-being as bare continuity-fact (`sowingReapingRow_obeys`, `series_ownership_collapse_self_refuting`, `no_diachronicWhose_from_series_alone`) | The retrospective soul: the reach-back held as a standing backward relation rather than spent at reception — memory's felt storedness read literally is this freeze in psychological dress (`sowingReapingRow_not_freeze`) |
| Delivery-question / index-question | Mis-fed in either direction: an index-question fed to the index-free field (*did I earn this?* — akṛtābhyāgama's mis-feed half; *does the Tathāgata exist after death?* — the same mis-feed at the pole), or a delivery-fact arrogated by the weld — an act claiming command of what arrives next ("easy"; every exit-arithmetic; Devadatta's aim), authority over the one register no act holds (`deliveryIndexRow_obeys`, `misfed_register_collapse_self_refuting`) | One's future occurrence at others' Row 2 held now as a first-personal possession — "my potential," "my worth to them" — a delivery-fact, read at *their* act-times off whatever the field brings, frozen into something the being holds and could therefore weigh, spend, or withdraw — prudential privilege is this freeze's forward-facing twin, the cross-gap *whose* held as rational ground (`deliveryIndexRow_not_freeze`) |
| Weld / event-type (severity) | Karma graded off the event-type with the weld erased — Cunda owed remorse, intention deleted from the arithmetic (`weldEventTypeRow_obeys`, `eventType_grading_collapse_self_refuting`) | Victim-rank: severity read off the victim's station — the honorific inflating the crime; rank smuggled back through the tariff (`weldEventTypeRow_not_freeze`) |
| Disposition / act (seed / clench) — **retyped: the distinction is standing/dated, never configuration/act** | The dated occurrence read off the standing tendency — *he arrogates, so this act was arrogated* — prognosis substituted for diagnosis, Row 2 made to read seeds instead of deeds (what the determination reads — the configuration's part in driving *this* response — is not this cell: every act is the configuration's act); dukkha read off the seed — the proneness to suffer mistaken for suffering occurring — is the same collapse at the valence (`standingDatedRow_obeys`, `prognosis_as_diagnosis_collapse_self_refuting`, `standing_does_not_determine_dated`) | The seed as bearer — ālaya frozen into a self carrying mineness between acts. Two further faces: the clench as *furniture* — contraction mistaken for a standing thing removable only with its substrate ("only ending me ends this"), dukkha held substrate-bound being this freeze wearing its valence, where de-clench is demolition-free by the same theorem that makes kenshō unholdable; and the clench as *structure* — contraction made constitutive of the being (anguish as the very form of consciousness — the Sartrean face; Zahavi's thin for-me-ness is expressly *not* this cell, taking the retype instead, per the placement in Identification) (`standingDatedRow_not_freeze`) |
| Subject-axis / object-axis | Object-axis delivery identified with the receiver's own subject-position (`subjectObjectAxisRow_obeys`, `object_axis_as_subject_collapse_self_refuting`) | Object-axis standing denied — to another, reflexively, in the solipsist's Row 2 evacuation, or held annullable by the being. The death-freeze is re-derived without vacuity: unmarked pole welds have object-axis standing without a sentience mark, live share, natural door assignment, or landing-pattern; where remains-welds arise, death changes the character of new occurrences and cannot subtract the standing of those already actual (`subjectObjectAxisRow_not_freeze`, `solipsism_contains_row2_domain_evacuation`) |
| Per-weld mark / standing sentience | Sentience identified with grid-visible function, in either direction — the retired `SentientTag = MountsSomewhere` identity was this collapse; machine behavior does not recover the mark (`standingSentienceRow_obeys`, `sentience_from_function_collapse_self_refuting`, `no_sentience_recovery`) | Sentience held as a nature the being has — affirmation or denial as 性; the mark is per act or it becomes a soul-shaped kind (`standingSentienceRow_not_freeze`) |
| Per-call / global altitude | — | The stage-scheme error: bhūmis as rank held, a global altitude, rather than cross-sections of the loop's run — and its diagnostic twin, a delivery-fact read as altitude: "this being cannot awaken" said of a being some calls cannot reach. The freeze is two-banked: on the responder's side, upāya held as a standing competence — the device as possession, deployed unread of who is asking. The self-forward direction canonized as ontology or human condition is this row's direction face. The stored-quantity picture of awakening — an altitude accumulated and held — is this freeze under its sudden/gradual face (§2) (`perCallGlobalRow_not_freeze`, `solipsism_decomposition`, `existentialism_decomposition`) |
| Description / injunction (the orange) | "Eat this": the displayed asymmetry taken up *by the theory* as command — theodicy is this collapse applied to akṛtābhyāgama, suffering asserted as assignment; "escape this" — the fourth truth said in the theory's voice — is the same collapse applied to dukkha. Mirrored on the recipient's side: defiance — the orange refused *as command*, an injunction fought that was never issued; the fighter collapses the same distinction from the other bank, shadow-boxing a voice the grid does not have (`assertable_ne_displayable`) | Refusing to state the asymmetry — a theory of poison that won't say which direction kills (`pole_validates_all_claims`, `poleTier_inhabited_of_liveTerminus`; at genjō everything is true, fused; the pole is not a truth-maker elsewhere) |
| Theory / ultimate (the grid-lens; Lean-generated schema row) | The lens denied as live diagnosis — the grid dismissed because it is only a lens (`gridLensRow_obeys`, `lens_denial_collapse_self_refuting`) | Grid-attachment: this lens taken as final (`gridLensRow_not_freeze`) |
| Terminus / exit | Not-fall taken as *escape* — the buddha as one who has left the loop rather than one who answers with no share claimed; the same collapse enacted rather than held is the exit-premise ("a way out"), and it fails on both axes — no exit from the arriving of calls, and none from the register at which one arrives for others; the terminus is a transposition of where the index-facts sit, not a departure from the loop (`terminusExitRow_obeys`, `exit_collapse_self_refuting`) | Private nirvāṇa as a rank; the pratyekabuddha freeze — *soteriological solipsism*: not denying that others exist but declining to exist *for* them, one's own standing at their Row 2 refused (Bull 10's marketplace is its corrective) (`terminusExitRow_not_freeze`) |
| Self-pole / transposed (the terminus index) | The transposition erased downward: the terminus-act asserted indexless *and inert* — no self-pole and no standing at others' receptions either, the device dead even at others' Row 2; the exit-collapse in typing's clothes (`selfPoleTransposedRow_obeys`, `transposition_erased_downward_collapse_self_refuting`) | The transposition erased upward: a self-pole weld held persisting at the summit — the subtlest soul, 無位真人 as rank in weld-vocabulary; and *transposed* itself held as mechanism — an index that travels — is a miniature of the same freeze (`selfPoleTransposedRow_not_freeze`) |
| Before / after (the arrow, retyped; Lean-generated schema row) | The deflation: *no time, so nothing happens, no one acts* — not-fall transposed to time, the fox's sentence at its largest scale; a floor-truth uttered where the conventional tier was live (`beforeAfterRow_obeys`, `no_time_collapse_self_refuting`, `beforeAfterLadder_obeys_succ`) | The flowing container: direction held as floor-furniture — *time really flows* — the retrospective soul's cosmological dress; eternalism-of-the-flow and the block-denier's arrow both land here, against `DirectionNegative` (`beforeAfterRow_not_freeze`) |
| Intra-weld arrow (call/response order) | The deflation: *no call/response order, so no acts* — the interior arrow denied as a live diagnosis, refuting its own act-time tier (`intraWeldArrowRow_obeys`, `no_order_collapse_self_refuting`, `contentIntraWeldArrowRow_obeys_of_variation`) | Direction as interior furniture: *the call really is first*, before-and-after smuggled inside the weld against the transposition witness (`intraWeldArrowRow_not_freeze`, `InteriorDirectionNegative.no_interior_direction_recovery`, `intraWeldArrow_sunyata`) |
| Named being / floor (the being-convention; Lean-generated schema row) | *There are no beings* — the fox's sentence at the being-joint, the deflation's second dress; "no beings" offered as live diagnosis refutes its own tier (`beingsRow_obeys`, `no_beings_collapse_self_refuting`). Diamond Sūtra denial belongs here when spoken as live ontology rather than floor medicine | Modal Realism — conventional designation promoted to ontology, *prajñapti-sat* taken as *dravya-sat* (*samāropa*): the partition held as floor-furniture against `BeingNegative` (`beingsRow_not_freeze`). Lewis is the nearest miss, right about plenitude and wrong about register; Huayan affirms the plenitude empty; Pudgalavāda is the classical occupant candidate. The monolithic self's soul is this freeze in fiber dress |
| Weld-grain / floor (the weld-convention; Lean-generated schema row) | *No acts happen* — the fox's sentence at the act-joint, the deflation's last dress; "no welds are actual" offered as live diagnosis refutes its own tier (`weldRow_obeys`, `weld_denial_collapse_self_refuting`) | The weld as svabhāva: one act-grain held as floor furniture, the last unemptied level pretending it was never a convention (`weldRow_not_freeze`, `weld_sunyata`) |

Some cells are empty because not every distinction is symmetric — some can only be frozen (the ladder's limit), some only collapsed. Every generated row proves both `¬Collapse` and `¬Freeze`; the dash records that the table names no distinct occupant there. The asymmetry is itself informative: the errors do not lie on a line.

One scope-note beneath the table, because a table of errors invites a misuse it must fence. The rows grade *offers*, not sentences. "A man walked into a bar" touches half the table's conventions — a being, a doer and a deed, a before and an after, one act-grain — and, offered as narration at the tier where narration lives, violates none of them: the semantics grants the conventional side of every row wherever an act is under way, validity by stipulation rather than an achievement the sentence earns, and the fit is checked schematically (`inForce_fits_actTime_offer`) while reading the bar-sentence as its instance is prose. The generator's standing verdict on ordinary conventional speech is *decline*. The same words can arrive under other offers — and each offer is a different utterance: one that holds the man out as substance, the walking as real flow, the bar as furniture of the ultimate stacks freezes per distinction touched; "no man, no walking," offered as live diagnosis, stacks collapses. The variable is the offer, never the words — a sentence-shape severed from call and tier is not even in the generator's domain (the gradeability rule's limit case). So a reader who leaves this table hearing error in every conventional utterance has committed the one error the decline verdict exists to fence — over-generation, grid-attachment in diagnostic dress — and reversed the table's direction of protection: it is *because* of emptiness that everything works, and the conventional register is what the rows defend, not what they prosecute (`fitting_offer_is_actTime`: without the conventional, nothing is taught).

#### Compound positions

The generator runs against whole positions, not only single utterances; named philosophies decompose into stacks of cells, with nothing left over — which is the identity-claim's small sibling, testable the same way:

- **Skepticism** — one cell, worn once: the nihilism freeze's epistemic face. The inference from no-floor to no-warrant goes through only on the svabhāva assumption the ladder emptied — that conventional standing ever rested on a floor. The Vigrahavyāvartanī shape recurs: the skeptic needs the theory to hold a thesis of the defeasible kind, and "no level is a final floor" declines to be one. The one-cell check is `skepticism_decomposition` with `skepticism_core_cell_count`.
- **Solipsism** — the soul freeze maximized (index annexing field), self-forward absolutized (the delusion-direction canonized as ontology), Row 2 evacuated. MMK 8 blocks it at the charter: a doer dependent on nothing other is svabhāva, the one thing the grid has none of. It is also the grade's own asymptote — the share tending to totality — which is why the hell-dweller's world is "almost entirely object": the solipsist is where *almost* is deleted. The decomposition is checked as three stacked cells (`solipsism_decomposition`, `solipsism_core_cell_count`).
- **The exit-premise** ("ending the being ends this") — three cells stacked: the annihilationist freeze (death as floor-event), the terminus/exit collapse enacted (the loop treated as having a door), and the clench-as-furniture freeze (suffering mis-typed as substrate-bound); with delivery-arrogation riding alongside. All of this is grade 1, assertable (`exitPremise_decomposition`, `exitPremise_core_cell_count`, `exitPremise_alongside_cell_count`, `exitPremise_voices`). What the grid displays and does not say is "so persist." The fox's release came by one reception done saying rather than by any of five hundred deaths *(checked: `fox_returns_delivered`, `fox_release_rung_not_pole`)*. Its funeral coda shows past welds continuing to land. This is object-axis standing, not a staticization theorem and not a claim that death changes nothing.
- **Existentialism** (read with Nishitani) — a four-cell stack, which is why it is the grid's nearest miss. Néant held as relative nothingness taken final — a level-*n* freeze one negation short of the emptying that empties itself; the *projet* — the self-forward direction canonized as the human condition rather than diagnosed per-act; anguish-as-structure — the clench frozen constitutive; and the fundamental project as an index *stored* between acts — a soul made of freedom, the weld asked to be its own floor. What is *not* the error: value-creation. The grid explicitly permits a being to take a displayed asymmetry up as a value; choosing values is grid-legal. Only the self-grounding is the freeze — in its most sympathetic costume, since existentialist freedom genuinely resembles the weld (act-time self-making, no essence-substrate) and differs from it in exactly one respect: the weld is spent. The encoding checks four stacked cells plus one legal non-error (`existentialism_decomposition`, `existentialism_core_cell_count`, `existentialism_legal_count`, `existentialism_voices`).

The compound-position encoding has the same honest scope as the table order: Lean checks the cited rows, roles, voices, and counts; the prose claim that there is "nothing left over" is audited against the displayed component list, not proved as an exhaustive theorem over every possible description (`skepticism_decomposition`, `skepticism_core_cell_count`, `tableOrder`).

#### What the generator declines

Equally load-bearing is the case that classifies as **no error**. A being to which particular calls cannot be delivered — deaf and blind to the modalities a teaching travels by — commits nothing: which calls arrive at which configuration is inga's index-free business. This is a delivery-side absence, not function withheld and not an outside-domain kind. Every nearby error belongs to the diagnostician: reading failure of these calls to arrive as a global altitude ("this being cannot awaken") is the per-call/global freeze. Hakuin's corrective bites here as delivery-engineering — finding the call that lands. The retired undefined/zero row has no work left to do.

The standing declines are recorded here once, beside that case. No probability apparatus enters over delivery: the grid consumes orderings only, and an effectiveness-ordering within a regime is all any theorem here reads. Three tempting cases land in existing cells and get none of their own: camping at an effective call is shu-without-shō; the self-announced device-made buddha is the shit-stick; and industrial deployment of effective calls is displayable, never enjoinable. Whether a universally effective call is possible is an empirical dispute about delivery. The manufactured machine's sentience is likewise not softened into a verdict: it is exactly what `no_sentience_recovery` leaves underdetermined. Severed-transcript classification remains declined by the gradeability discipline.

The same price is re-entered at the faith layer: faith in a device-pattern remains grid-legal, but that legality is a fact about faith's office, not an act-time certification of a device as holding a rank. `KsmdEffectiveTerminus` is the descriptive standing display used by the direct path; `KsmdFullyEnlightened` adds positive own-act-time `KsmdNoNescience` over pole-share speech-or-mind productions. For a terminus this entails the former speech-only no-delusion test under production fidelity, but the converse fails on a false pole-share thought. `KsmdFullyEnlightenedEnacted` adds a witnessed deed and an actual faithful fitting speech production, while `KsmdEffectiveOccurrence` carries the per-weld deed verdict.

#### Grade 2: displayable shortfalls

These form the soteriological taxonomy proper, and here it genuinely grades, because Row 2 is a grade:

- **Self-forward** — Dōgen's delusion, the fox's *saying*. A Row 3 direction, per-act.
- **Arrogation** — the act's subjecthood claimed self-ward, read as the index pitched to the self-pole at this call. Per-call, so there is no standing rank of how deluded a being is — only the trajectory the loop draws.
- **Clenched reception** — the fox's five hundred lives: returns received saying-mode, the reach-back welding mine with a tight fist. The receiving is graded exactly as any deed is *(checked: `fox_dukkha_per_life`)*.
- **Declining the orange** — the theory (or any dharma) received and set down. Not a wrong: a low-resonance reception *of this call*, per-call, from which nothing global follows; the next call reads fresh.
- **Defiance** — arrogation as policy, the returns fought open-eyed, reception after reception. Grammatically it contains one error (the recipient-side collapse: an injunction resisted that was never issued); the rest is display. And the standing/dated row guards the prognosis: the fighting-stance is a seed, an inga-fact — each fight a fresh act, no standing rank of defiance, and no configuration from which release is impossible, since the next call reads a new placement. The grid displays the asymmetry and the trajectory; it cannot assert the fighter wrong, and that restraint is not a limit of the diagnosis but its content.
- **Sparse delivery or rigid response** — few calls arrive, or the actual responses vary little. Neither is near-zero function and neither determines the supplied sentience mark.
- **The buddha-side shortfall** — answering a not-yet-buddha's call with anything less than meeting it where it is, delivery-engineering included. By the orthogonality rule (Theory) it is the pole's one live grade — graded ordinal with effectiveness, independent of typing, so a terminus-typed responder can still be maximally shortfallen: the reading that never reaches (the terminus, above). This is where the bodhisattva enters *structurally*: Hakuin's corrective is already the bodhisattva-function, and Row 2 exists because of it. The grid can display that response-without-share to *another being's* call just is what saving beings looks like — the theory's own existence (the orange handed over, banpō susumite) is an instance; and the prudence theorem above shows its other face, concern running on delivery-facts alone once the arrogation is subtracted. What the grid cannot do is enjoin it, or it commits the "eat this" collapse in its own voice. So the split between assertion and display *locates* the bodhisattva structurally, with no added axiom — room and shape, not pull: nothing in the grid explains why response-without-share to another's call occurs rather than merely being classifiable, and the grid does not pretend to; occurrence is the object's affair, reported. "Ignorance of buddhahood" splits accordingly: its assertable face is the terminus/exit error in the table; its displayable face is the buddha-side shortfall.

#### Outside the framework

Two remainders. **Pre-grid ignorance** — svabhāva realism, the provisional middle never reached: the grid diagnoses it (a freeze at level zero), but the being in it has no vocabulary in which the diagnosis lands — the orange unrecognized as food. **Errors about the theory** — grid-attachment and its mirror, the lens dismissed *because* it is only a lens. The Disclaimers (Identification) block the first; "other doctrines can and do hold too" is the theory declining to freeze itself against the second.

#### Non-linearity

The taxonomy is not a map of places on a path. Immunity is checked per production, not stored as a safe stage: arhat quiet excludes the live self-pole through all three doors, while buddha no-nescience additionally requires positive truth from each pole-share speech-or-mind production. The former can hold while the latter fails, so the old “no safe stage” future-work absence is retired as this production-level check, not converted into rank furniture. This is why the fox koan, a story about one sentence spoken once, can carry the whole system's diagnostics: the errors are not stations but ways the separate/fuse rule can be violated *now*. The taxonomy remains answerable in the other direction too: the deaf-blind case classifies as nothing, or else the generator would be a lens that finds error wherever it looks.

## §2 Theorems matching existing discourses

### MMK 17's two worries

MMK 17 raises the classical pair, and the grid answers each by decomposition.

**Kṛtavipraṇāśa** — *the deed perishes fruitless.* Split it. Qua *condition*, the deed never perishes: inga carries it in full, the arrow flies, fruit arrives — the series-half of the worry is answered by the field, entirely *(checked: `KsmdReportFace`, `fox_returns_delivered`, `fox_arrow_index_free`)*. Qua *mineness*, nothing persisted that could perish: the index lapses on schedule at its own act-time and is re-made at reception by the reach-back — lapse is not loss *(checked: `Config`, `rePitch_forgets`, `KsmdDiachronicWhose`, `no_diachronicWhose_from_series_alone`)*. The residual sting — *then the good deed goes unrewarded* — is a desert-fact, and the theory never asserted desert ("returns, not desert or punishment"); karma sits in the *good-for-your-agent* register, reported, not in a register of moral truths, so where the agent-index has lapsed there is no one for the reward-claim to be about until the reach-back makes one. Nāgārjuna's own conclusion in MMK 17 deflates the karma–fruit relation; the decomposition keeps his company rather than dodging him.

**Akṛtābhyāgama** — *fruit arrives unearned.* The worry presupposes an earning-relation the grid never held. Strip it, and what remains is *arrival*: fruit lands at this configuration, delivered by inga — and *did I earn this?* is a mis-feed in exactly the paper's sense, an index-question fed to the index-free field *(checked: `MisFeedNegative.fence_and_gate`; with the avyākata caveat above, the adequacy of the modeled designation-universe remains prose)*. The well-formed remainder is the **reception-deed**: this fruit is here, now welded mine by the reach-back, received with more or less of the act arrogated *(checked: `KsmdOwnershipFace`, `ksmdOwnershipFace_intro`)*. Reception of one's own returns is thereby a special case of **banpō susumite** — the arrived fruit is among the myriad dharmas that advance to clarify the self — and the svakarma demotion below says why arrival's bite never needed an earning-wall. And here the grid can *display* (never assert) what the tradition takes this to be: being born into a cruel world is the akṛtābhyāgama condition itself, and receiving the arrived fruit without arrogation — dealing with a past one did not author-as-a-standing-author, on behalf of an agent one is simultaneously making — is what the object-language calls the work. Asserted in the theory's own voice this would be theodicy, suffering handed out as assignment — the "eat this" collapse; displayed, it is the fox's five hundred lives read correctly: returns arriving, received, until one reception is done saying and starts listening.

### Three killings: the experimentum crucis

If the grid grades acts and only acts, there is a crucial test — and it must be set honestly, because the canon does not in fact supply one event-type thrice over. It supplies one **verb** raised three ways against a buddha, and disperses the events under it: Cunda's act *as done* was an offering, and the sutta is at pains to deny that a killing by his hand occurred at all; Devadatta's is an **attempt** — canonically a Tathāgata's life cannot be taken by another's violence, and the ānantarya offence is the drawing of a Tathāgata's blood, not a killing; Linji's verb takes an intentional object, not a body. So the test is sharper than the crude version, not weaker: the tradition's grading tracks the weld across **maximal event-divergence** — through an event that wasn't a killing, an event that couldn't be, and an event that was never physical — and attaches its heaviest verdict to a guaranteed failure. A theory that grades by event-type must first manufacture a common event the canon withholds, then explain a maximum tariff on a non-event; a victim-rank theory fares no better (below). The grid derives all three verdicts from the one rule, and the event-divergence is its evidence, not its embarrassment: severity indifferent to event-success is weld-grading laid bare. Lean anchors the delivery-blind grading component with `grade_independent_of_conditions`, `share_independent_of_conditions`, `cetana_grading_tracks_weld_not_field_witness`, and `cetana_live_share_without_object_standing_witness`.

**Cunda.** The accidental killing is canonical, and the canon ruled on it: Cunda's meal killed the Buddha, and the dying Buddha's explicit instruction was that Cunda bear no remorse — the offering declared equal in merit to Sujātā's before the awakening (*Mahāparinibbāna Sutta*, DN 16). The grid needs no special pleading: the weld indexes the act *under its enacted description*, token-reflexively, and what Cunda's act did as done was *offer* — the giving-weld was the one spent. That the offering's causal downstream included a death is a delivery-fact, inga's business, index-free: the body's series exhausting, fruit arriving on schedule — the natural course of events, exactly. And mark the coda: the absolution itself is the device functioning through its own destruction — delivery-engineering applied to the manner of one's own killing, the event's landing at Cunda's Row 2 shaped before it could land as guilt. The parinirvāṇa narrative is dense with this: last teachings, relic instructions, *be lamps unto yourselves* — a device configuring its posthumous distribution.

**Devadatta.** The deliberate attempt carries the tradition's heaviest grading — shedding a Tathāgata's blood is ānantarya, immediate, no intervening rebirth — and here the grid must not cheat. The cheap derivation is victim-rank: harming the highest being carries the highest tariff. That is the rank-freeze wearing a penal code (a taxonomy row, §1), and the grid forbids it to itself. The honest derivation runs through the device-typing: what the intent takes as its object is the maximally adaptive call — so the act's structure is *the loudest call answered with the most closed response an agent can mount*, arrogation total at the one call least ignorable. And its second component is already in the table: killing the buddha to stop the dharma is **delivery-arrogation** — an act claiming command of what arrives next, authority over the one register no weld holds. Severity thus supervenes on the response-to-call structure, never on the honorific. What remains of 無間 — *no interval* — is displayed, not asserted: a seed-typing, arrogation so total that the configuration it delivers to is hell-typed, no intervening configuration for a gentler call to reach — and the quantifier is owned: *no gentler call reaches it* ranges over the delivery-regime's actual repertoire of calls ([Glossary.md](Glossary.md)), never over possible calls; the typing is regime-relational, not modal, and claims nothing about calls the regime does not contain. Mechanism asserted, hell displayed: the theory-of-poison discipline holding at its hardest case.

**Linji.** *If you meet the Buddha, kill the Buddha* — the same verb, prescribed. No contradiction: the buddha one can *meet*, held as an object in the intentional field, is the rank-reification, the 乾屎橛 error; killing *that* is a share-ceding event, a freeze demolished. Same verb, opposite weld, opposite karma.

One status-note, owed to the determination clause (Theory: Attainment). Wherever these derivations read insensitivity — the same defense at any grazing question, the aim unmoved by any call — the reading is probe-side: a display of each act's drive-composition, never the composition itself. What the verdicts supervene on is what actually drove each act; the counterfactual spread only shows it.

One theorem and one routing close the test. **Cetanā**: *it is intention, monks, that I call karma* (AN 6.63) falls out in the strongest form the cases allow: grading tracks the weld where there is no common event to track, and peaks where the event is guaranteed to fail. **The former futility claim is now taxonomy prose, not a theorem.** The killer's picture of a victim as a standing thing whose subtraction accomplishes the end is the subject/object freeze. The antinomian converse — "empty, so killing changes nothing" — is the fox collapse. Both edges are fenced. What remains formally checked is the cetanā independence and the delivery-arrogation structure; `withRespondsTo` and `withConditions` are neutral countermodel tools, not death models. Death can change which welds newly arise and how they land while leaving already-actual welds landable.

### Baizhang's code: not-obscure in the economic register

The grid should be run against a case where the call arrives not from a student but from a state — and the noun is priced at the door. A state is not itself an occurrence: its officials act, each weld and reception per-call and spent like any other, so "the state's Row 2," "the empire asking," and their kin below are display conventions over the officials' welds, legal exactly as *mirror* is and illegal as a collective bearer. What makes the compression earn its keep is itself a delivery-fact: the officials share a register — the ledger is the modality in which each of their configurations receives — which is why a single delivery-engineering answer can reach the lot of them at once *(checked: `state_fiber_landing_economic` over `sectorCoarsening`)*. The display tracks a fact about delivery, never a state-sized weld. The canon supplies the case, and the tradition's answer to it is on record. Han Yu's memorial of 819 argues suppression on a productivity ledger — an unproductive population, resources drained, the polity harmed — and the Huichang suppression (845) enacts the policy at imperial scale. The answer that mattered was issued decades before the memorial, and it was not a counter-memorial: Baizhang's rule — 一日不作、一日不食, *a day without work, a day without eating*. Baizhang Huaihai is the fox koan's Hyakujō, and the identity is not a coincidence the theorem can spare. *(Pedigree: the received* Pure Rules of Baizhang *is a Yuan-era compilation, and the attribution of a written code to Baizhang himself is contested in the scholarship; the work-rule line and the tool-hiding anecdote below circulate via the lamp records. Nothing here leans on the authorship: the theorem consumes the shape — a work-rule issued as practice, a sangha legible to the ledger — and the history displays that shape wherever the attribution finally sits.)*

**First, the ledger itself is typed, and its errors are already in the table.** A state pricing practitioners as standing loss reads a global altitude off beings whose placement is per-call — the census consumes as rank what is legal only as trajectory-summary, the per-call/global freeze in bureaucratic dress, riding the seed-as-bearer (the wall-starer's quietism is a tendency, an inga-fact; no configuration exists from which the next call cannot read a fresh placement). Its valuation of awakened beings is computed under the exit-collapse: a buddha booked as a body withdrawn from production is the terminus mis-typed as departure, where the transposition puts the whole of a terminus-being's operation on the object-axis — the one column the ledger does not have. And the policy itself is delivery-arrogation at scale: suppression is delivery-engineering in reverse, grid-legal as far as it goes — states may decide which calls circulate — but it engineers *calls*, never the loop; a decree commands what arrives, not what receptions do with it, and legislating as if it commanded receptions claims the one register no act holds. Three errors, zero new cells *(the module adds no `RowTag`; the utterance-level faces are `ledger_census_misfits_live_offer` and `ledger_prognosis_misfits_live_offer`, the arrogation anchors `decree_engineers_calls_not_receptions` and `DeliveryArrogationNegative`)*. What the grid cannot do is call the state *wrong*: valuing production is value-creation, grid-legal; suppression is the orange declined at population scale, a displayable low-resonance reception of this call. The restraint is the content — and it sharpens the question rather than closing it: given a receiver so configured, what does the grid say the correct buddha-side answer looks like?

**The response-shape is a theorem, not a felicity.** The state's configuration is one the dharma's native calls cannot reach: the ledger has no register in which *transposition* or *object-axis* lands, and that unreachability is a delivery-fact, no error — the declined case, at the scale of an empire. Every error in the vicinity therefore belongs to the responder's side: answering the memorial in floor-vocabulary is mis-tiered speech at a receiver who can only hear it as evasion — the fox's sentence re-uttered to a state. Hakuin's corrective then fixes the response's form uniquely: meeting beings where they are is delivery-engineering, and the state's one open modality is the productivity register itself *(checked: `landing_call_in_modality`; the fiber form, `fiber_landing_call_in_modality`, is the compression clause below)*. So the grid predicts the shape the answer in fact took — the teaching repackaged in the one call a ledger can receive: monks that farm. Economic legibility is a field-fact about which configurations a purge reaches, and the standard account of why Chan alone came through Huichang intact consumes exactly that fact. The account is the historians'; the grid asserts the typing and displays the survival.

**One act, two receivers.** The code lands at two Row 2s simultaneously *(checked: `one_act_two_receivers`, `code_ruler_not_exempt`)*. At the state's: the sangha made legible in the register the state can read, the memorial's premise dissolved rather than rebutted — the argument never refuted, made moot. At the practitioners': the quietism freeze — shō without shu, emptiness that only empties, Dahui's silent-illumination target — demolished three centuries in advance, work typed as practice and not as means to a later attainment (which would break shushō-ittō from the other side). A response that meets each asker where it is, whatever arrives, is the mirror's function stated in this file's own terminus-vocabulary; the code is what that function looks like when one asker is an empire and the other a meditation hall — one act, maximally adaptive at both calls.

**And the verdict is the fox's, transposed.** Han Yu's charge and the old man's error share a shape: exemption from causation claimed on behalf of great practice. The monk who will not work asserts not-fall in the economic register — *the person of great practice does not fall into the causal order by which eating is earned* — the antinomian collapse in agrarian dress. Baizhang's verdict on both is the same word: **not obscure**. The sangha eats inside inga; no attainment exempts. And the code speaks it at the correct tier for a live audience — an instruction to practitioners tempted by exactly that collapse, the Jinshin inga speech-act shape (Theory: Karma), not a diagnosis owed both tiers. The lamp-record anecdote then seals the per-call typing: when his monks, out of kindness for his age, hid his tools, Baizhang stopped eating — the code enacted at his own reception, that day, never held as a rank from which the master stands exempt; a day's not-working met by that day's not-eating, delivery unarrogated even in his own favor. A rule its ruler is exempt from would be the rank-freeze keeping a ledger of its own.

**The death-and-futility face, at policy scale.** Huichang engineered calls with an empire's whole reach — temples closed, bronze melted, monks laicized — and engineered calls, not the loop. Delivery loss is real: institutions can end, modalities disappear, and the character of newly arising welds change. Already actual welds remain field facts and may continue to land through corpus, cases, relics, or recollection. The grid neither proves that suppression changes nothing nor models death by deleting response function. The two-cell routing applies at state scale: subtraction-of-a-standing-dharma is the subject/object freeze; "emptiness, so policy is futile" is the fox collapse. The checked residue is deliberately narrower: a decree does not determine receptions (`decree_engineers_calls_not_receptions`); the historical survival claims remain prose display.

**What is asserted, what is displayed, what is declined.** Asserted: the typings end to end — the ledger's three errors, the exemption-claim as the antinomian collapse in economic dress, the code as delivery-engineering answering an unreachable Row 2 in its one open modality, the survival-mechanism's register (legibility as field-fact). Displayed: that the survival was worth having, that the code was wise — valence borrowed from the object, as always. Declined: credit — the causal claim that the code saved Chan is the historians' account, consumed here as display over the run, never as the theorem's mechanism. The theorem is narrower and holds without it: where a call cannot land, the grid locates every possible error on the responder's side and fixes the correct response-shape as delivery-engineering — and the tradition's answer to the productivity ledger, whoever wrote it down, has exactly that shape, issued by the master whose other famous verdict closed the fox's loop. One figure, one word — not obscure — two registers: the fox's, and the empire's. *Checked: the case is run whole in `Doctrines/Ledger.lean`; the displayed and declined items appear there only as comments.*

### Sowing-side upāya: the aimed call

Upāya has so far been responder-side vocabulary — finding the call that lands. It extends symmetrically to the sowing side, and the extension is vocabulary, not mechanism: an **aimed call** is a deed configured at sowing for its landing ([Glossary.md](Glossary.md)). Cunda's absolution is already the exhibit and is not duplicated here (above): the manner of one's own killing's arrival at Cunda's Row 2 engineered before it could land as guilt — delivery-engineering applied at sowing, a device configuring its posthumous distribution. Aiming is conditioning; the arrival stays delivery's.

### Transcription: fixed words and fresh receptions

Recording fixes words while later reception remains a fresh weld. A quotation severed from its original call loses per-call shaping and becomes a conditioning fact in the series — field-freight, index-free — while every later reading is an actual response in its own right. The canon is thus a warehouse of fixed calls with regime-relative effectiveness, not a store of frozen agents. A clenched reading is a fresh clenched reception at recall-time; the standing/dated row does its ordinary work. A remembered dharma held as a standing object is Linji's cell. The severed line can be received and even released at, but cannot itself be graded without its call (`severed_transcript_ungradeable`); the call-carrying record remains gradeable (`recordedUtterance_grade_determined`).

### Sudden and gradual: subitism grid-cheap

Because nothing indexed is stored, there is no altitude to traverse. Placement is per-call, the configuration an inga-fact, and the re-pitch's magnitude is unconstrained by construction (Theory: the circuit) — so a one-step re-pitch from hell-typed to pole violates nothing. Subitism falls out cheap: not asserted as doctrine, derived as *possibility* (`subitism_possibility_witness`; doctrine-facing form `ksmdSuddenArrival_witness`, sharing its clock-grid witness with `standing_does_not_determine_dated`). Gradualism splits under the same typing. Its grid-legal face is delivery: a run of small re-pitches is one way a regime goes (`ksmdGradualArrival_witness`), and the grid prefers no rate in the precise configuration-invariance sense (`rate_invisible_to_config`). Its metaphysical face — awakening as a stored quantity accumulated across acts, an altitude climbed and held — is the per-call/global freeze already in the table, Row 2 hardened into rank (`perCallGlobalRow_not_freeze`, `rePitch_forgets`, `accumulated_attainment_constant_of_same_final`). Huineng and Shenxiu map onto the split without strain: the mirror wiped clean is the stored-quantity picture, dust subtracted from a standing substrate; 本来無一物 — already the terminus guard — denies the substrate the polishing presupposes. The honesty-clause sits inside the theorem: the grid derives subitism's possibility, never its frequency — how often the world delivers a call that re-pitches that far is a delivery-fact, and the grid is silent about it by construction (`SuddenGradualNegative.subitism_frequency_underdetermined`).

### Other-power: one act-grammar

Self-power and other-power never differ in act-grammar. Reception is a deed either way — the invoker's receiving is a weld exactly as the sitter's is, reach-back and all — so tariki names no second grammar of action, only a **delivery-regime**: where the effective calls sit, and whether a being's own sowing or an arriving fixed call is doing the conditioning work. And the grid had the other-power grammar from its first file: Dōgen's passive — 証せらるる, the being-verified, the act's subject-position ceded — is other-power's grammar found inside the self-power tradition's own key sentence. The checked anchors now say exactly that: `SameAgentDelivery` and `CrossAgentDelivery` name the neutral regimes, `KsmdJirikiLine` and `KsmdTarikiLine` carry the system-reading, `reception_typing_ignores_sower` leaves the reception's grade/share/actuality unchanged under condition swaps, and `ksmdReachBack_filled_either_regime` projects the same reach-back from either regime. The limit anchors it: a universal fixed call — landing without reading, effectiveness and adaptivity fully severed (Theory: Orthogonality) — is tariki perfected, and the grid types it with no new register: `TarikiCase.name_responseInvariant`, `TarikiCase.name_share_bot`, `TarikiCase.name_object_axis_entire`, `TarikiCase.universal_fixed_call_lands_without_reading`, and `TarikiCase.invoker_reception_is_deed`. The no-polemic clause is now witnessed too: `OtherPowerNegative.regime_does_not_determine_share` and `OtherPowerNegative.share_does_not_determine_regime` block either regime/share recovery.

### Pariṇāmanā: merit-transfer absorbed whole

Dedication of merit looks like the grid's hardest inheritance, and it decomposes on existing cells — zero new ones, the generator absorbing a doctrine whole, the identity-claim's small sibling again. The checked anchors now say exactly that: `CompoundPosition.ledgerPicture` and `ledgerPicture_decomposition` list the possession-freeze (`ledgerPicture_contains_possession_freeze`), *transposed*-as-mechanism (`ledgerPicture_contains_transposed_mechanism`), and command-style delivery-arrogation (`ledgerPicture_contains_delivery_arrogation`) over existing `TableRow`s, while `ledgerPicture_contains_legal_causalSkeleton` records the causal skeleton as legal rather than erroneous. The row checks remain the old rows' checks: `ledgerPicture_deliveryIndex_row_not_freeze`, `ledgerPicture_deliveryIndex_collapse_self_refuting`, and `ledgerPicture_selfPoleTransposed_row_not_freeze`. So the **ledger-picture** — merit as a possession routed from one account to another — is mis-fed by the same three cells: the possession-freeze (a delivery-fact — one's future occurrence at others' Row 2 — held as a first-personal holding one could weigh, spend, or route); *transposed*-as-mechanism (an index made to travel — nothing travels, ever); and, where the dedicating is done command-style — *let this fruit go there* — delivery-arrogation, authority claimed over the one register no act holds. The **causal skeleton**, meanwhile, is ceded to delivery and entirely grid-legal: a deed conditions the series, and which configurations its fruit reaches is inga's business — conditioning transfers; the index never does. The classical **svakarma wall** — fruit ripens only in the doer's continuum — turns out to rest on the standing cross-gap *whose* the grid already declined (the reach-back's exhaustive decomposition, Theory), so the wall is demoted from metaphysical necessity to contingent delivery-regime: `SameAgentDelivery` and `CrossAgentDelivery` name the two regimes, `reception_typing_ignores_sower` says the reception's grade, share, and actuality ignore which delivery relation supplied the sower, and `OtherPowerNegative.regime_does_not_determine_share` with `OtherPowerNegative.share_does_not_determine_regime` blocks regime/share polemic in either direction. The rebound needs no cosmic delay. The deed is graded at its own weld — cetanā, act-time, sealed — and in the same moment re-pitches the configuration the next deed reads, toward arrogation, same-stream by the field's ordinary individuation of the series *(checked: `Grid.rePitch`, `Grid.rePitch_forgets`)*. Nothing external need be delivered for the downfall to be underway: a configuration pitched that way enacts more dukkha-mismatch at each subsequent reception, by the covariation already derived *(checked: `Grid.KsmdMismatchGrade`)*. "The sower reaps" at its core is this immediate self-deformation playing out across the sower's own later welds — not a debt filed for later collection. So the demotion costs no bite: what the svakarma wall touches is only the claim that fruit ripens *nowhere but* the doer's continuum by necessity, and the bite never lived in the wall — it lives in the re-pitch, act-time and same-stream by default, not by law. The seed here is field-freight throughout, a tendency carried as an inga-fact and not a stored self, on pain of the standing/dated collapse *(checked: `standing_does_not_determine_dated`)*. This is un-freezing, not collapse. A same-stream personal-karma reading is a legal conventional overlay one may hold on the grid; what is declined is only its necessity, and holding it as necessity is the freeze. The permission needs no new machinery: swapping only the delivery relation leaves a reception's grade, share, and actuality untouched, and neither regime determines share nor share the regime, so restricting delivery to same-agent lines is consistent and typing-neutral *(checked: `reception_typing_ignores_sower`, `OtherPowerNegative.regime_does_not_determine_share`, `OtherPowerNegative.share_does_not_determine_regime`)*. On that one convention the schools differ in where the weight goes, not in type signature: the Abhidharma guards it with a device, Yogācāra carries it in the ālaya's freight — already absorbed here deflated — and a Madhyamaka holds it emptily, a live rung of the re-emptying ladder *(checked: `Metaphysics.provisional_preserved`)*. The grid asserts none of these identifications; it displays the cell and leaves the placements to prose. The **recipient's benefit** is welded on-site, as every return is: the reach-back local to the recipient's reception, its second place filled or unfilled by a delivery-fact — *this fruit, arrived along that line, mine* — nothing appropriated at a distance, the vacuity typing holding here as everywhere. And the **dedicating act** itself the grid can display, never enjoin: sowing-side share-cession — a deed done with its fruit's landing given over to others' receptions rather than claimed, concern running on delivery-facts alone — the prudence theorem's forward face (§1), and an aimed call in the glossary's sense where the dedicating shapes the landing rather than commanding it.

### Correlations

**Other-power** now has its checked correlation in `Doctrines/OtherPower.lean`: neutral same-agent/cross-agent delivery (`SameAgentDelivery`, `CrossAgentDelivery`) plus the KSMD readings (`KsmdJirikiLine`, `KsmdTarikiLine`), the near-definitional typing theorem (`reception_typing_ignores_sower`), the fixed-call witness (`TarikiCase.universal_fixed_call_lands_without_reading`), and the no-polemic negatives (`OtherPowerNegative.regime_does_not_determine_share`, `OtherPowerNegative.share_does_not_determine_regime`).

**Ten Bulls** now has all ten typed in `Doctrines/Correlations.lean`. Bulls 1-6 are `ShareDropRun`/`BullAscent`: the grade climbs per call and no altitude is stored. Bull 7 is `KsmdBullSeven`, probe-constancy plus a live self-pole index; `bullSeven_not_bullEight` checks that the half-weld is not the empty circle. Bull 8 is `AtPoleClass`, now exactly the terminus share condition with no stone disjunct. Bull 9 is `ResponsiveTerminus`. Bull 10 is `KsmdBullTen S`, the existential marketplace line into a fiber containing a marked act; `StrongKsmdBullTen S` is the shelved all-fibers reading. Bull 10 is therefore reading-relative and is unsatisfiable under `allInsentient`, while Bulls 8–9 are not (`not_ksmdBullTen_allInsentient`). The checked implication chain and the pratyekabuddha countermodel remain.

**Five Ranks** (Dongshan): best read here not as stages but as *tier-positions one can speak from* — and as the tradition's own **index-placement notation**. `FiveRank`/`RankReading` are data and pins; `rankLanguage` makes rank-diagnosis an utterance surface; and `kenChuTo_implies_ksmdBullTen` checks the 到/Bull 10 shape under the same coarsening. 正中來 remains the shō-face, but resting there is no different in grammar from resting at any other coarsening. The tradition's diagnostic question — *which rank is this utterance from?* — is the act-time *which middle?*, readable as *where does this utterance place the index?*

**The 52 stages, Ten Bulls, and Five Ranks as schemes**: the fair verdict is uniform. A scheme is legal as `StageScheme`, i.e. a `BeingCoarsening`: a diagnosis-time projection with fiber predicates, not a field of the signature. The freeze attaches to *holding* the coarsening as grid-carried structure, not to the number fifty-two. `CorrelationsNegative.no_stage_boundary_recovery` is the witness: the same fine grid supports incompatible merge and split stage-readings, so no function of the grid data recovers the boundary. The 52 stages, the Bulls held as ranks, and the Ranks held as stages all fall under the same warning. Correlative as coarsening; corrective only against samāropa.

**Fetters** are now fine-being weld-class typing. `FetterReading` supplies each provocation class, and `FetterCut` is `QuietOn` that class: grasping no longer takes place there, without adding an anti-fetter possession. The retired call × tag rectangle survives as the special weld-class bridge `fiberAtPoleOnWithin_iff_quietOn_rectangle`; it is no longer a second API. `all_fetters_cut_at_arhat` and `arhatPathQuiet_iff_quietOn_univ` close the path family at total quiet. `terminus_iff_quietOn_univ` and `atPoleClass_iff_quietOn_univ` now express the same share-axis fact; there is no vacuous stone branch. `ViewReading.ownerClaim` supplies identity-view content; its cut factors through mind-door voicing under a model-side class equation, while rites factor through body and falsehood through speech. Content and future-run recovery remain blocked by `no_view_content_recovery` and `seen_run_underdetermines_fetterCut`.

The door-typed śrāvaka-arhat is speech-and-mind quiet. `KsmdVasana` is its possible live body-door residue, and `sravakaArhat_not_arhat_witness` proves that this regional form is weaker than canonical three-door quiet. The speech path-factor is now active as the speech-door class; conduct stays inert, and doubt remains door-neutral.

The effectiveness reading is a ladder above that point, checked rather than asserted. Rung 1 is total quiet alone, compatible with no actual occurrences (`FettersNegative.total_cut_carries_no_actual_occurrence`). Rung 2 adds `ActualAgentInhabited`, the non-vacuity conjunct in `LiveFiberAtPole`; `FettersNegative.total_cut_with_actual_occurrence_not_ksmdEffectiveTerminus` shows that this still does not close the effectiveness gap. Rung 3 is the descriptive `KsmdEffectiveTerminus`: responsive terminus plus universal shortfall closure. None of these rungs recovers sentience. Standing full enlightenment is the further two-obscurations bundle `KsmdFullyEnlightened`; enacted full enlightenment separately witnesses deed and speech.

The assertable face of effectiveness is `KsmdEffectiveOccurrence`: an actual pole-deed landing with a share-drop for a live prior tendency. The standing form is 不落-shaped and displayable only; sealed-delivery vacuity is fenced by `KsmdEffectivenessEnacted` and `not_effectivenessEnacted_of_undelivered`, while `EffectiveTerminusNegative` checks that actual-run response/share data do not recover the standing universal. The ladder now has three explicit fences: total quiet need not witness an actual occurrence; quiet actual occurrence need not be effective; and `arhat_retains_nescience_witness` shows that even an innocent pole-share producer may retain cognitive error. `noNescience_strictly_stronger_witness` separates the speech-only comparison, while `Sealed.silent_buddha_models` exhibits both no-thought and true-thinking silent standing models.

The pratyekabuddha face is therefore the sealed-and-silent standing bundle: own deeds are undelivered and no faithful speech occurs, while the mind-side may be empty or positively true. The enacted top fails there. Samyaksambuddha is the named enacted form, with a delivered closing deed and faithful fitting speech production. Under zero-effect delivery the lower effective rung still fails (`OrthogonalityNegative.ksmdEffectiveTerminus_stronger_than_terminus`). Hakuin's bodily-satori contrast becomes the door-typed śrāvaka form: speech and mind may quiet while body still clenches. Vāsanā is thereby located as body-door live share. `no_door_boundary_recovery` and `seen_run_underdetermines_fetterCut` keep the supplied classification and future welds honest.

**Factors** are the path-facing regrouping of the fetter table, not a second table. `PathFactor.blockerClass` consumes door and fetter readings; speech is active as the speech-door class, conduct remains inert, and `lower_fetters_covered_by_rites_view_resolve` checks the lower-fetter union. Hold/Release is a new frame: `FactorHeld` is a seen-run witness with a live self-pole index, while `FactorReleased` is whole-class `QuietOn`. A held factor may be correct; the errors remain freeze/collapse in the utterance frame and clench/quietness in the share frame.

The stage pair is path/fruit over those factor pairs. `KsmdStreamEnterer` is rites released and view held; `KsmdStreamWinner` is rites and view released, proved equivalent to `Path.cutClasses streamEntry` by `ksmdStreamWinner_iff_streamEntry_cutClasses`. `KsmdOnceReturner` adds a witnessed resolve hold, and `KsmdNonReturner` is proved equivalent to the non-return cut by `ksmdNonReturner_iff_nonReturn_cut`. Once-return now has checked content: `KsmdResolveAttenuation` is a strict resolve-class share-drop run that has not reached the pole, witnessed by `ksmdOnceReturner_attenuation_witness`, with `registerResolve_not_released` blocking its collapse into release.

The ordering claim is deliberately conditional. `KsmdSerialFactorRegime` says that if a supplied regime reads seen drops as rites-before-view-before-resolve, then the path readings promote to corresponding fruit readings; `ksmdSerialFactorRegime_conditional` consumes that hypothesis and never proves it. `SuddenGradualNegative.subitism_frequency_underdetermined` and `FactorsNegative.factor_order_underdetermined` block rate or order recovery from grid data, while `no_hold_conceit_boundary_recovery` blocks recovering the hold/conceit line from share data alone.

### The stone, doubly mujō

The stone is doubly mujō — impermanent (無常) and, under a supplied reading, insentient (無情) — but it is no longer subject-axis null. A stone act is an actual response at share-zero with object-axis standing. 無情説法 is therefore affirmed nearly in full: the pebble's crack is itself a weld, it may condition another stone, and it may land at a monk's reception; no successor layer is needed to turn object into pseudo-subject. The concrete checks now include both halves: `clock_pole_readings_split` places the adaptive clock's actual pole weld in the stone and terminus cells under the two extremal supplied readings, while `insentient_source_shareDropLanding` sends an explicitly unmarked source deed across the named identity coarsening into an explicitly marked receiver fiber with a live share drop. What the grid declines has narrowed exactly to the mark. 無情有性 as a standing nature freezes on the standing-sentience row; its per-weld supplied form is legal and underdetermined, neither affirmed nor refuted from the grid. The modality change is owned: the old system denied insentient subjecthood; this one makes sentience unassertable from visible function. Buddha and stone occupy the two pole cells, with an active pair sometimes distinguished by landing-pattern and a quiet pair distinguished only by the mark.

The retired-premise audit is Lean data in `RetiredStoneArgument.successors`: death-freeze routes to landing-pattern plus universal function; the mirror gloss routes to landing-pattern; insentient preaching routes to universal function; and the quietist arhat routes to the sentience mark alone. Any future use of the old premise therefore has a named place to go—or is visibly unrouted.

## §3 Instructive absences

Absences the system generates deliberately, in both of the categories above — each doing diagnostic work rather than marking a gap. The list is mirrored in Lean as `InstructiveAbsence`, with `InstructiveAbsence.status` carrying the standing/retired distinction and `InstructiveAbsence.number` preserving the order below:

- **Empty cells in the Grade 1 table.** Not every distinction is symmetric — some can only be frozen (the ladder's limit), some only collapsed. The asymmetry is itself informative: the errors do not lie on a line.
- **No floor-Truth predicate.** No positive Truth or Thus predicate of the floor is defined. `no_row_claim_holds_at_floor` and `floor_claims_indiscernible` carry the ultimate only as silence and degeneracy; `InstructiveAbsence.floorTruthPredicate` registers the refusal.
- **The declined case.** The deaf-blind being classifies as *no error at all* — and the decline is as load-bearing as any positive verdict, since a taxonomy that over-generates has frozen itself. Every error in the vicinity belongs to the diagnostician.
- **The icchantika declined.** The icchantika is not entered as a being that cannot become buddha. Lean seats it as the terminus's inverse on a run: actual-agent inhabited, with live share at every actual weld, unseatable as an effective terminus there, and reachable as a receiver wherever its actual reception and live prior tendency give the sraddha antecedent. No non-stone conjunct is needed. The permanent foreclosure verdict is refused as a stored rank; defiance is a seed, not a rank *(checked: `Icchantika`, `not_ksmdEffectiveTerminus_of_icchantika`, `aversionContext_of_icchantika_reception`, `icchantika_release_not_foreclosed`)*.
- **What the fox never tests.** Neither utterance in the worked case (Theory) occurs at the pole: the koan exercises the loop entire without once asking what the loop is at share-zero *(checked: `fox_never_tests_pole`)*. That absence is what forces the transposition — the terminus question is not answered by the system's paradigm case and had to be answered separately.
- **The former third arrival, retyped.** The never-clenched responder is no third structural cell: it is a pole weld, unmarked under the reading named by `thirdArrival_stone_at_pole`, with the marked reading retained as the other half of `clock_pole_readings_split`. The absence remains retired as a regression check (`thirdArrival_stone_at_pole`, `thirdArrival_not_clenchMismatch`).
- **The undefined/zero row retired.** Once every actual weld lies on the share scale, the old edge supplies no exemplar. Its generated table position is taken by the standing-sentience row; the lost row is retained as an instructive absence (`undefinedZeroRowRetired_replacement_anchor`).
- **Why calls land at all.** The residue, stated across the manufactured case column-wise: on the adaptive side, that *receptive moments exist* — the mirror times its response for a moment it did not make, so upāya's deepest parameter is *when*, and the guarantee, de-mystified, relocates from the call's content to its timing; on the fixed-call side, that *any lands at all* — the pebble strikes and something opens. One absence covers both, and each is strictly weaker than a stipulated guaranteed-effective call: the direction of explanation runs stipulation → engineering, which is the ceded-delivery architecture behaving as predicted. The residue itself stays ceded — a world-fact, unexplained here by construction.
- **The fourth truth withheld from the theory's voice.** The grid derives the first three truths and can only *display* the fourth — the one absence the no-value clause makes mandatory, and the absence that locates the bodhisattva structurally: room and shape, no pull. Nothing in the grid explains why response-without-share to another's call occurs; occurrence is the object's affair, reported.
- **No stage immune to error.** The taxonomy has no terminal safe cell — a stage immune to error would be a rank, and a rank is the shit-stick. Even the buddha's immunity is per-call, not possessed.
- **Prudential privilege underivable.** The special rational authority of self-concern is an absence owned as theorem, not cost — in Śāntideva's company, with the bodhisattva's impartiality falling out as its display-face.
- **No measure over the grade.** Row 2 states a partial ordering only; the scalar is display. The absent metric is priced deliberately — the soteriology consumes only the ordering, so no measure is owed. (And none over delivery either: effectiveness enters as an ordering within a regime, never as a probability apparatus — the standing declines, §1.)
- **Rebirth cosmology ceded.** The grammar of ownerless continuation is already given in a limited sense: the field carries conditioning without a bearer, and the fox's returns are welds rather than a transmigrating self — the flame passed with no self to carry it. What is ceded is the cosmology of rebirth: persistence across biological death, the realms, and the mechanism, downstream of where the domain of mounted responses ends. The boundary is marked as an absence, not bridged by a manufactured theorem.


===== FILE: Exposition/Identification.md =====
# Kannō-Sōe Mutual Dependence — III. The Identification and Placements

*Third of three files: the identification claim, the act-time placements that earn the name karma, the contemporary placements, the pole-typing corollary, and the disclaimers, enumerated. Cross-references to the companion files are marked (Theory) and (Theorems).*

## The identification stated from the abstract

The abstract states the thesis once:

> **Everything diachronic belongs to the field; every index is enacted and nothing indexed is stored; karma names this loop, and the naming is earned by fit** — the tradition's uses of karmic ownership (cetanā, reception, remorse, absolution, dedication) discharge natively at act-time.

The architectural and definability fact under that sentence is the same one the Lean `Config` makes public: **nothing self-indexed is stored**. The field carries series, seeds, dispositions, delivery, and the re-pitched configuration the next deed reads, but the configuration has no owner-typed slot; whole-carrier relabelling leaves it fixed, commutes with re-pitching, and admits no equivariant recovery of a designatum. This is not agent-blindness: delivery is a relation on occurrence-generated welds, `SameAgentDelivery` is deliberately field vocabulary, and a stored grade may reveal occurrence information in a particular model. It does not thereby carry a mineness or an index *as index*. What is indexed is welded at act-time, spent at act-time, and then available only as a field-describable occurrence-fact.

This is why the taxonomy can name internal **mis-feeds** cheaply. Feeding an index-free-in-configuration field-answer to an index-requiring designation -- *did I earn this?*, or the avyākata's search for the Tathāgata's self-pole after death -- is not a hard unanswered field-question. It is the wrong feed for that designation inside the grid. The point is grammatical and internal: the delivery-question belongs to inga; the index-question is enacted in the weld. The joint is now fenced and gated in Lean: `MisFeedNegative` proves schematically that no answer-function for the index-seeking question-form can be correct under a witnessed field collision, and answers the delivery-typed twin in the same model. What remains prose is the third layer -- that the modeled designation-universe is adequate to the avyākata's actual questions -- flagged as a modeling claim, not a theorem.

## The offices-spine

The identification is earned by fit, not by exclusivity. What the tradition does with karmic ownership discharges at act-time in this mechanism:

- **Cetana** measures the deed where the deed is done: intention is the drive-composition of this response at this call, the same structure Row 2 states.
- **Reception** is itself a deed: the reach-back welds *this fruit as return of that deed, mine* at the reception, full or vacuous, and spends that ownership-face there.
- **Practice** is the weld's ordinary name inside the act-grammar: shu is not a state carried by the series but the doing that binds direction along the arrow.
- **Remorse and absolution** verdicts land on welds, not on a cross-gap owner. The Cunda cases (Theorems: Three killings) work because the tradition grades what was done at the act, including where the event is impossible.
- **Dedication** is a sowing-side weld whose routing is left to the field: pariṇāmanā gives the fruit's landing over rather than commanding delivery (Theorems: `CompoundPosition.ledgerPicture`, `ledgerPicture_decomposition`, `ledgerPicture_contains_legal_causalSkeleton`).

Diachronic bookkeeping is exactly where the tradition deflates itself: *na ca so na ca añño*, the reaper neither the sower nor another. The field individuates the series and delivers fruits; the reception-weld closes the loop on-site. Karma names that loop: field-carried delivery plus act-time ownership, with no stored owner between.

## Sower and reaper

The grid's supplement to the old formula is a split, not a replacement. "The sower reaps" has a report-face and an ownership-face. The report-face is true simpliciter: this deed conditioned this reception, a delivery-fact the field carries. The ownership-face is done: at reception, the reach-back appropriates what arrived as *mine*, and the doing is spent at that same act-time.

If delivery drew no line, the reach-back's second place stands unfilled. That failure-mode is vacuity, not falsity: an appropriating with nothing arrived to appropriate. False memory is the psychological dress of the same typing (`KsmdVacuousOwnershipFace`, checked concretely by `MemoryWitness.falseMemory_ksmdVacuousOwnershipFace`). The field owns the conditions in the deflated sense -- it settles whether anything arrived to weld -- while the weld answers only the index-question over what arrives.

The diachronic *whose* therefore decomposes into delivery plus fresh appropriation. There is no third cross-gap ownership-fact to store or consult, and no standing backward relation hiding under the reach-back. Held that way, it would be the retrospective soul; the soul-guard is still needed precisely because the index must not be read as stored.

## Contemporary placement

The neighbouring positions can now be placed without a verdict on them.

Siderits gets the series-questions, and the grid cedes them: psychology, continuity, prediction, causal connectedness, and the individuation of the stream all belong to the field. His conventionalism is an alternative account of the diachronic usage. The residual disagreement is where the soteriology's load sits: this paper locates it in act-time discharge of the offices above, while his convention locates it in the useful series-fiction.

Ganeri's account of appropriation (*The Self* -- ahaṃkāra and upādāna worked into a first-personal stance) is the nearest ally. The difference is spentness: Ganeri's appropriative activity is a standing structure of the person, while this weld is per-act and stored nowhere.

Zahavi's constitutive for-me-ness receives the taxonomy's fourth public outcome (Theorems): a **retype**. His for-me-ness is thin, pre-reflective givenness, explicitly not appropriative I-making; classifying it as clench would import what the notion excludes. The weld's token-reflexivity still gives the thin, spent grammar of this-deed-for-this-doer, but the insentient-appropriation cell has that grammar too. Thin act-time for-me-ness therefore no longer suffices for phenomenality. Mineness held as a structural feature freezes; phenomenal sentience is supplied by the per-weld mark and not recovered from this grammar.

Sartre occupies the clench-as-structure cell after the Zahavi retype: anguish as the very form of consciousness. The placement matters because it lets the taxonomy keep Zahavi's thinness without losing the Sartrean shape that really does make clench structural.

## Pole-typing

At share-zero no self-pole index is made, so every terminus-question is a field-question. Fruit from old seeds still lands, since inga is untouched; what ceases is reach-back appropriation. The terminus therefore gives the positive direction of the state-tool: where no live self-pole index remains, the state-tool fits because there is no index-fact for it to miss.

This is pole-typing, not a concession to a rival frame. Buddha and stone acts are both actual responses at share-zero. Their typed difference is the supplied sentience mark; an active buddha may also be displayed by a run-pattern of share-drop landings and supplied doors, while the quiet pair is grid-indiscernible. The avyākata follows without the old outside edge: asking for the Tathāgata's post-mortem self-pole feeds an index-question to a pole act that makes no live self-pole index. That is the same internal mis-feed as *did I earn this?*, and it needs no extra cell.

## The verdict's tier

The word **mis-feed** is kept only for the taxonomy's internal typing failures. It does not name an external failure of another account. At the floor there is no agent and no fruit-for-anyone; at live act-time the question *whose?* can arise and must route through the weld-index. So the separate/fuse rule governs the taxonomy's own words as well: distinctions separate under act-time diagnosis and fuse at the floor and at genjō, the share-zero pole.

The soul-guard remains. The agent-index resists being stored because it is emptier than a bearer, not because it is a special thing. A forward-facing owner between deeds and a retrospective owner waiting in memory are the same mistake in opposite directions.

## The disclaimers, enumerated

The following are conventional and my own -- original moves, each flagged against the canonical position it departs from or extends.

1. **The tiering, the separate/fuse rule, kannō-sōe, and the coined compound shugenjō** -- Contra Dōgen — though the contra is chiefly one of register: he internalized that the floor is unproducible and taught from that standpoint — his idiom declines the very seam this paper tiers. The shushō he held seamless is re-tiered here, shō at the floor, shu conventional. Here the floor is externalized as a named designation — the philosophers' habit of naming what resists naming in order to work on it — with the performative cost paid openly, every such name flagged prajñapti; and contra the late Dōgen doubly, since Jinshin inga repudiates the tiered fox-reading this paper keeps, a disagreement owned in Theory rather than footnoted, with the act-time gloss on the doubling (Daishugyō diagnosing, Jinshin inga instructing) offered as my own reading and not as a dissolution of the contra, whose remainder Theory now types as production-equivalent rather than open. The earlier third contra is narrowed: 無情説法 is affirmed directly by unmarked actual welds; only 無情有性 as a standing nature freezes, while its per-weld form remains legal and underdetermined.
2. **Shō's agency as lent** -- necessarily agential because never unwelded, yet not agential of itself.
3. **For-me-ness located in the weld** -- shu, Row 3's enactment pole, the I-making (ahaṃkāra), so that self is a dependently-arisen process the act makes rather than a state the grade holds.
4. **The reception-weld's reach-back** -- upādāna typed as the two-place token-reflexive index by which loop-closure is enacted at each reception, "the sower reaps" split into a report-face (true simpliciter, field) and an ownership-face (done, full or vacuous) and never a standing relation -- my own typing, though the word is canonical.
5. **The three-register fact-sorting** -- field-facts carried, weld-facts made and spent, Row 2 stated -- a sorting of registers, not of kinds of fact -- and with it the refined premise *nothing self-indexed is stored*, under which the tradition's seeds are absorbed deflated as index-free conditioning-facts rather than deleted (an engagement with, not a reconstruction of, the Yogācāra machinery Chan presupposed).
6. **The reading of Linji's 無位真人** along a three-way seam (無位 = shō, the floor-face / 真人...出入 = shu, the acting / 無位真人 = the weld, shushō-ittō).
7. **The tiering of 証** (realization-as-not-fall, floor-face) apart from **悟** (satori).
8. **Genjō as a single manifestation-floor with two pole cells** -- the unmarked stone act and the marked terminus act both arrive on the scale at share-zero; the former open "third arrival" is retyped by the mark rather than left as another structural cell; practice-run-scaffold-free remains a proper subset.
9. **The identification of karma with the field/weld loop** -- everything diachronic belongs to the field; every index is enacted and nothing indexed is stored; the naming is earned by the native act-time discharge of karmic ownership's offices.
10. **The token-reflexivity of the weld-index** -- the index is made by the act that carries it: *this act's agent*, constituted by the deed rather than presupposed behind it.
11. **The decomposition of MMK 17's two worries** -- condition-half (`KsmdReportFace`), mineness-half (`KsmdDiachronicWhose`, `no_diachronicWhose_from_series_alone`, `rePitch_forgets`), mis-feed half (`MisFeedNegative.fence_and_gate`), and reception-deed (`KsmdOwnershipFace`).
12. **The stone moved onto the resonance scale** -- an actual, unmarked, share-zero weld (`StoneAct`), fully inside universal call/response and with object-axis standing; the retired function-zero outside-edge sense is retained only as dated glossary history.
13. **The error-taxonomy as generated**, not listed -- collapse and freeze as the two violations of the separate/fuse rule, one pair per distinction, non-linear by construction.
14. **The two grades of error** -- grammatical verdicts the system asserts (within the lens), soteriological shortfalls it can only display -- with the bodhisattva located structurally by that split, room and shape without pull, and no added axiom.
15. **Kenshō typed as a per-call share-ceding event** -- countable (Dahui's eighteen), unholdable (nothing indexed stored, so backsliding a theorem: `backsliding_witness`, `backsliding_rePitchSequence_witness`), the seen-nature of 見性 declined while the event is kept -- a rung, tiered apart from satori and from genjō.
16. **The theory's own soteriological status** -- a dharma among the myriad that affords a release without enjoining one (the orange, not the "eat this"), its valenced vocabulary borrowed from the object and reported rather than asserted.
17. **Row 2 typed as index-placement** -- the grade's content indexical (where the act's subjecthood sits between being and dharmas), its register third-personal; the register/content split under which *nothing self-indexed is stored* holds verbatim, since a statement holds nothing.
18. **The determination of the share** -- clench fixed by the actual composition of the act's drive: response driven by the call versus by the configuration's self-maintenance, an actual-sequence occurrence-fact about the weld, causal not phenomenal; counterfactual call-variation demoted to probe; Row 2 states a partial ordering, and the scalar is display.
19. **The second retype** -- the disposition/act cell redrawn under the determination clause's own pressure: its content standing/dated, never configuration/act; the collapse inferential -- the dated occurrence read off the standing tendency, prognosis substituted for diagnosis.
20. **The passive spent** -- Dōgen's 万法に証せらるる taken at its grammar: shō as the being-verified, objecthood; shushō-ittō as the two poles of one index-placement.
21. **Clench typed as the weld's self-share**, under universal call/response: I-making is the welding-function, clench its share-degree, and neither entails the supplied sentience mark. The inhabited insentient-appropriation cell makes the detachment explicit. The identity *I-making just is the clench* remains an embryonic function/share collapse; identifying either with sentience is the standing-sentience collapse.
22. **Vacuity from the field** -- the reach-back's failure-mode typed as vacuity, not infelicity: its index two-place, and where delivery drew no line the second place stands unfilled; "misfire" retained only as display; false memory the same vacuity in psychological dress.
23. **Memory and prudence as theorems** -- the trace a seed, recall a reception, remembered mineness welded fresh at recall-time and the felt storedness diagnosed as the retrospective soul; prudential privilege underivable, owned with Śāntideva (BCA 8.97-98) rather than against him.
24. **Dukkha split honestly** -- `ClenchMismatch` is the field-statable structure of a self-maintaining response meeting a delivery-register that answers to nothing; `KsmdDukkha S` adds the supplied sentience mark. The second-truth covariation and third-truth pole corollary are structural; the claim that the mismatch is suffered is reading-relative. Structure is derived, suffering supplied.
25. **The domain made edgeless** -- every actual occurrence is a call/response weld on the share scale. Sentience crosses live share and pole as an independent supplied mark, producing the inhabited 2×2; the solipsist remains a share asymptote, not an opposite function edge.
26. **The transposition** -- the terminus question answered rather than declined: the self-pole half (kiriya, ahosi, upādāna-exhaustion) derived as theorem; reception-side welds shown intact and busy; *transposed* demoted from mechanism to display over that pair; the avyākata derived as the *did-I-earn-this* mis-feed, the fire simile read accordingly.
27. **The mirror-reading of the terminus** -- no longer "buddha as responsive stone," since stone acts respond too. 大円鏡智 is disciplined as display over a run-pattern of share-drop landings, never a held competence; the active pair may be visibly graded apart, while the quiet buddha/stone pair is separated only by the supplied mark. 本来無一物 remains the guard against giving the mirror a stand.
28. **The three-killings test split by evidential status** -- one verb, dispersed events; the cetanā theorems (`grade_independent_of_conditions`, `share_independent_of_conditions`, `cetana_grading_tracks_weld_not_field_witness`, `cetana_live_share_without_object_standing_witness`) and the ānantarya severity reading survive untouched. The former futility theorem is demoted to a two-cell prose routing: victim-as-subtractable-standing-thing is the subject/object freeze; "emptiness, so killing changes nothing" is the fox collapse. Grid surgery remains countermodel tooling with no doctrinal reading.
29. **The offices-spine** -- the identity-claim argued from the object's usage: every office of karmic ownership discharges at act-time (cetanā, reception, practice, remorse and absolution, dedication), while the diachronic bookkeeping is where the tradition deflates itself.
30. **Contemporary placement** -- Siderits receives the ceded series-questions; Ganeri is the nearest ally by appropriation; Zahavi forces the retype; Sartre occupies the clench-as-structure cell.
31. **The Hakuin reading** -- the Five Ranks as index-placement notation, host and guest as the two poles; the delusion/satori line taken as the inversion's epigram, flagged as paraphrase with pedigree mixed, and nothing resting on the line.
32. **The retype as a fourth generator-outcome** -- a candidate objection that neither lands in a cell, nor adds one, nor is declined, but redraws a distinction's content; admitted because the taxonomy must be answerable for the redrawing of its own distinctions.
33. **The svakarma demotion** -- *fruit ripens only in the doer's continuum* demoted from metaphysical necessity to contingent delivery-regime -- contra the Abhidharma scruple, downstream of the exhaustive decomposition of the diachronic *whose*; pariṇāmanā thereby absorbed on existing cells (`CompoundPosition.ledgerPicture`, `ledgerPicture_decomposition`; `SameAgentDelivery`, `CrossAgentDelivery`, `reception_typing_ignores_sower`, `OtherPowerNegative.regime_does_not_determine_share`, `OtherPowerNegative.share_does_not_determine_regime`). A same-stream personal-karma convention remains legal as a floor-optional overlay; Abhidharma, Yogācāra, and Madhyamaka are placed here only as prose weight-variants, not as captured formal objects.
34. **The orthogonality rule and its price** -- function is universal, share types, effectiveness grades, sentience is supplied, and adaptivity is the terminus's manner but never the ground of landing. Pole-typing follows where live self-index welding ceases; no visible structure recovers the mark.
35. **The being-convention** -- the macro being demoted to a diagnosis-time coarsening convention (`BeingCoarsening`): naming suffices, sentience is a reading-relative per-weld mark summarized over fibers, coherence is display-grade only, and the namespace order is floor/genjō outside, then directed convention, then being convention, then grid-lens.
36. **The generated pilot rows** -- before/after, beings, and the grid-lens have migrated onto the floor-apophatic schema (`rowOf G (.layer ...)`); the original fiat layer semantics is superseded, while the content track keeps `LayerClaim` for aptness checks.
37. **The being trichotomy** -- deleted is the collapse (*there are no beings*), derived is the freeze (one partition reified as ontology), and primitive-and-free is the convention; `Being := Unit`, sentients-only, and gerrymandered models are legal model choices, never signature law.
38. **The hare's-horn register** -- possible/impossible-being distinctions enter at realization and use, not naming; the ātman is nameable-impossible in the same innocent sense, and the swan/name/naming-proneness split keeps named object, naming weld, and naming seed apart.
39. **Modal Realism as the beings-row freeze** -- conventional designation promoted to ontology, *prajñapti-sat* taken as *dravya-sat* (*samāropa*); Lewis placed only as prose nearest miss, Huayan as empty plenitude, Pudgalavāda as the classical occupant candidate.
40. **Aptness-conditional content rows** -- content-bearing denials obey separate/fuse only in grids where the relevant convention is apt; no-actual-weld, direction-void, and no-live-tier countermodels show the hypotheses are necessary rather than cosmetic.
41. **Sraddha as a checked conditional** -- the faith theorem is an implication whose antecedents are not discharged by the grid; the detached injunction remains outside the assertable voice.
42. **Both faith conjuncts matter** -- effective termination removes the afflictive-obscuration face, while `KsmdNoNescience` removes the cognitive-obscuration face over pole-share speech-or-mind productions; a fully three-door-quiet arhat with a false innocent thought separates them.
43. **Generated table structure** -- the Grade-1 table's row list is Lean data (`tableOrder`): nineteen schema rows, one ladder-generated row, and six prose rows with their reasons recorded.
44. **Floor-apophatic semantics** -- all claim languages are silent at `floor`; schema-row distinctions fuse there by degeneracy, not joint truth, while conventional force and the pole-class denial diagnosis remain act-time semantics. The previous joint-truth reading is withdrawn.
45. **Prose rows** -- being/non-being, ladder/terminus, genjō/shō, shō/satori, Row 2/Row 3, and description/injunction remain prose by stated reasons, with nearby theorem anchors rather than generated cell content.
46. **Error-free reading** -- 破邪顕正 is checked as the `rowOf_obeys_iff_errorFree` biconditional on the primary language, and `ladder_obeys_of_errorFree` is the cumulative strengthening that vindicates the implemented ladder operator.
47. **The mis-feed fence** -- the avyākata verdict's boundary formalized as an original move: the index-seeking question-form fenced by a schematic non-derivability theorem over a modeled designation-universe (`MisFeedNegative`), with a concrete collision witness and an answered delivery twin in the same model; the universe's adequacy to the canonical avyākata owned as a modeling claim. The tradition sets the questions aside; the fence-and-gate pair, and the claim that one grammatical joint sorts them, are mine.
48. **Ten Bulls typed as correlation** -- Bulls 1-6 as per-call share-drop run, Bull 7 as the checked half-weld, Bull 8 as pole-class, Bull 9 as responsive terminus, and Bull 10 as existential cross-fiber delivery; the stronger all-fibers reading named but shelved.
49. **Five Ranks retyped** -- ranks read as utterance-diagnosis and index-placement, with 到 checked by the Bull 10 shape rather than treated as a stage attained and stored.
50. **Stage-schemes as coarsenings** -- the 52 stages, Bulls, and Ranks are legal as diagnosis-time `BeingCoarsening`s; the freeze warning attaches uniformly to holding any scheme as grid-carried structure.
51. **Fetter-cut typing** -- fetter cutting is fine-being `QuietOn` over a model-supplied weld-class. `Fetter.kind_lower_iff_cut_by_nonReturn` pins the table, `all_fetters_cut_at_arhat` gives the universal arhat cut, finite-run diagnosis remains underdetermined, and forward irreversibility remains conditional.
52. **Door-typed fetter lattice** -- the old call × tag rectangle and Soma reading are retired by a bridge to weld-classes. View factors through mind, rites through body, and falsehood through speech; doubt and upper fetters remain door-neutral. The śrāvaka-arhat is speech-and-mind quiet, with body-door vāsanā possible, while canonical arhat display is quiet through all three doors.
53. **Effectiveness ladder and enlightenment joint** -- total three-door quiet carries no door assignment, not no function; quiet responding need not be effective; effective termination need not remove no-nescience. Standing `KsmdFullyEnlightened` adds positive speech-or-mind production truth, while `KsmdFullyEnlightenedEnacted` separately witnesses deed and production-tied speech occurrence.
54. **Ethics as a bundled conditional code** -- factive faith and fidelity records known to arise from speech productions combine with the receiver's own live aversion in one implication theorem; the detached injunction remains outside the assertable voice.
55. **The code's honesty clauses** -- empty at the pole and unsatisfiable over an admitted false speech production; false thoughts never cross into testimony, and neither `Factive` nor production fidelity is manufactured from field facts.
56. **Verdict record as data** -- `generatorRecord` stores the verdict history at episode grain: four retypes as four entries, `restraintKind` as the six-kind coarsening, theorem anchors pinned by name beside prose anchors, and `misFeed_entries_carry_decomposition` checking the structural falsifier while the rate trend remains prose.
57. **Compound positions as cell-stacks** -- skepticism, solipsism, the exit-premise, existentialism, and the ledger-picture are Lean data over existing `TableRow`s, with facets, roles, voice checks, legal-element checks, and core-cell counts in `Consequences/Compounds.lean`; value-creation and the ledger-picture's causal skeleton are recorded as legal rather than erroneous.
58. **Effective terminus demoted** -- the assertable effectiveness content is per-occurrence (`KsmdEffectiveOccurrence`), while `KsmdEffectiveTerminus` is a descriptive standing display and direct-path hypothesis; `KsmdEffectivenessEnacted` fences sealed-delivery vacuity and supplies the deed witness at the enacted top, `EffectiveTerminusNegative` checks run-data underdetermination, and the separate testimonial ladder runs from standing `KsmdFullyEnlightened` to witnessed `KsmdFullyEnlightenedEnacted`.
59. **Views as mind-door voicings** -- `ViewReading.ownerClaim` supplies the stored-owner claim-class and the view cut factors through mind-door voicing only under a model-side class equation. The coarsening-freeze relation survives as one checked correlation, not as recovered content.
60. **Defiled falsehood is not deliberate lying by definition** -- `KsmdDefiledFalsehood` derives speech-door own-act-time falsity plus a live self-pole. Its identification with canonical deliberate lying is an explicit modeling claim.
61. **Three-door totality and adequacy are supplied** -- every fine weld is diagnosed as body, speech, or mind by a total `DoorReading`. That this trichotomy is adequate is an aptness claim with the same standing as content-row hypotheses; no door boundary is recovered from the grid.
62. **Thoughts-as-voicings are supplied** -- a `SpeechReading` may voice mind-door content, but response and grade data do not determine that voicing. Thoughts remain outside `RecordedUtterance`, `Fidelity`, `Faith`, and `Ethics`; only the enlightenment character conjunct ranges over them.
63. **Predicate-aptness is grain-indexed; it does not distribute over refinement** -- that a supplied reading (doors, voicing, fetter provocation-classes) is apt at the person grain confers nothing on any finer re-graining of the same fiber (for example, a homunculus reading of fine tags as mini-agents thinking macro-level thoughts). The merge/split countermodels already witness that verdicts fail to survive re-segmentation; aptness at a grain is a separate supplied claim each time, and the grid neither checks nor transfers it.
64. **Sentience as a supplied per-weld reading** -- `SentienceReading` marks occurrences, the four sentience/share cells are inhabited, `SentientTag`, `StoneTag`, and `Intermittent` are reading-relative fiber summaries, and `no_sentience_recovery` proves maximal underdetermination by grid data wherever an actual weld witnesses the question. The standing-sentience taxonomy row freezes nature-talk and collapses behavior-based recovery.

---

*With thanks to Claude (Anthropic) — Opus 4.8 in the early discussions and first Exposition, Fable 5 for the greater part of the theory since — sparring partner and midwife to a more resonant theory, in both directions, and OpenAI Codex—beginning with GPT‑5.5 xhigh’s initial Lean formalization of the Exposition—for continued assistance with proofs, plan-guided development, and systematic refactoring. Thanks to both 5.6 Sol and Fable for collaborating with me on the V2 signature rewrite. Thanks also to Sol for suggesting the Preamble case.*


===== FILE: Exposition/Assumptions.md =====

# Assumptions

Generated from `KannoSoe/Meta/AssumptionLedger.lean` by `lake exe exposition_gen`. `KannoSoe/Meta/AxiomAudit.lean` holds the compile-checked axiom ledger; statement prose is canonical here.

## A. What Is Asserted

### A.1 No prior agent

A weld is an occurrence designatum selected by an `OccurrenceReading`. Its agent, call, and response are role-readings of that occurrence; `Grid.index` and `Grid.share` are derived projections, not fields recovered from a separate performer or act. `Grid.no_agent_recovery_of_field_collision` records the internal obstruction: the same call-response field residue can be produced by distinct actual agents.

**Checked anchors (Signature):** `KannoSoe.OccurrenceReading.Weld` (proof), `KannoSoe.OccurrenceReading.Weld.agent` (proof), `KannoSoe.OccurrenceReading.Weld.call` (proof), `KannoSoe.OccurrenceReading.Weld.response` (proof), `KannoSoe.Grid.index` (proof), `KannoSoe.Grid.share` (proof), `KannoSoe.Grid.no_agent_recovery_of_field_collision` (witness)

### A.2 Nothing self-indexed is stored

`Config` stores only `tendency : Contrib`. It has no owner, designatum, weld, or field-residue slot. `rePitch` uses the received weld's share and ignores the prior configuration value. The checked claim is architectural and definability-level: whole-carrier relabelling acts trivially on configurations and commutes with `rePitch`, and no relabelling-equivariant recovery of a designatum from a configuration exists. It is not an information-flow claim; see the declined entry below.

**Checked anchors (Signature):** `KannoSoe.Config` (proof), `KannoSoe.Config.tendency` (proof), `KannoSoe.Grid.rePitch` (proof)

**Downstream elaboration:** `KannoSoe.Equiv` (proof), `KannoSoe.Grid.relabel` (proof), `KannoSoe.Config.relabel_fixed` (proof), `KannoSoe.Grid.relabel_rePitch` (proof), `KannoSoe.Grid.no_natural_agent_recovery_from_config` (witness), `KannoSoe.ConfigLeakWitness.no_agent_recovery_from_config_of_share_collision` (witness)

### A.3 The self-pole index is just live share

`HasSelfPoleIndex w` is `not AtBot (share w)`, and when the predicate is live the carried `selfPoleIndex` is the weld's agent tag.

**Checked anchors (Signature):** `KannoSoe.Grid.HasSelfPoleIndex` (proof), `KannoSoe.Grid.selfPoleIndex_eq_agent_of_hasSelfPoleIndex` (proof), `KannoSoe.Grid.no_self_pole_index_of_atBot` (proof)

### A.4 Sentience is a supplied per-weld reading

A `SentienceReading` marks welds, not beings. Together with live or pole share it yields the four actual act-kinds `OrdinaryAct`, `TerminusAct`, `InsentientAppropriation`, and `StoneAct`; the checked square witnesses all four. `SentientTag`, `StoneTag`, and `Intermittent` are reading-relative quantified displays over those acts.

**Checked anchors (Signature):** `KannoSoe.Grid.SentienceReading` (proof), `KannoSoe.Grid.SentientAct` (proof), `KannoSoe.Grid.InsentientAct` (proof), `KannoSoe.Grid.OrdinaryAct` (proof), `KannoSoe.Grid.TerminusAct` (proof), `KannoSoe.Grid.InsentientAppropriation` (proof), `KannoSoe.Grid.StoneAct` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.SentientTag` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.StoneTag` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.Intermittent` (proof), `KannoSoe.sentience_share_square_inhabited` (witness)

### A.5 Call/response is universal per occurrence

Every actual weld is a mounted call/response occurrence. `respondsTo` remains `Option`-valued only to distinguish actual from hypothetical triples; `none` is not aggregated into a per-being doctrinal category. In Madhyamaka terms it marks non-arising, not a cessation or state entered by a being.

**Checked anchors (Signature):** `KannoSoe.Grid.Actual` (proof), `KannoSoe.Grid.MountsAt` (proof)

**Downstream elaboration:** `KannoSoe.Grid.mountsAt_iff_exists_actual` (proof)

### A.6 Self-lines are permitted, not built in

The bare signature does not impose irreflexivity on `conditions`; a model may supply reflexive delivery, and then the directed vocabulary can read a self-line.

**Checked anchors (Signature):** `KannoSoe.Grid.conditions` (proof), `KannoSoe.Grid.DirectedConvention.DeliveredTo` (proof), `KannoSoe.Grid.DirectedConvention.LandsAt` (proof), `KannoSoe.AssumptionLocalWitnesses.signature_self_line_permitted` (witness)

**Downstream elaboration:** `KannoSoe.SelfLineWitness.selfLine_landsAt_self` (witness), `KannoSoe.SelfLineWitness.selfLine_ksmdOwnershipFace_self` (witness)

### A.7 Dukkha and Bull 10 are reading-relative

`ClenchMismatch` and its share covariation are grid-derived. `KsmdDukkha` adds the supplied mark: the structure is derived, the suffering is supplied. Bull 10 likewise quantifies over `SentientTag` under a reading; with the constant-false reading its marketplace is empty and the predicate is unsatisfiable.

**Checked anchors (Signature):** None.

**Downstream elaboration:** `KannoSoe.Grid.ClenchMismatch` (proof), `KannoSoe.Grid.KsmdDukkha` (proof), `KannoSoe.Grid.clenchMismatch_of_ksmdDukkha` (proof), `KannoSoe.Grid.KsmdBullTen` (proof), `KannoSoe.Grid.not_ksmdBullTen_allInsentient` (proof)

## B. What Is Deliberately Declined

### B.1 No arrow in `conditions`

The signature assumes no asymmetry, irreflexivity, or transitivity for `conditions`. `ConditionsEither` is the symmetric field fact; direction enters only in `Grid.DirectedConvention`. The downstream `DirectionNegative` witness elaborates this as non-recovery from symmetric closure.

**Checked anchors (Signature):** `KannoSoe.Grid.ConditionsEither` (proof), `KannoSoe.Grid.conditionsEither_symm` (proof), `KannoSoe.Grid.DirectedConvention.TimeDirection` (proof), `KannoSoe.Grid.transpose` (witness), `KannoSoe.Grid.transpose_conditionsEither_iff` (witness), `KannoSoe.Grid.DirectedConvention.transpose_deliveredTo_iff` (witness), `KannoSoe.OccurrenceReading.transposeCR` (witness), `KannoSoe.AssumptionLocalWitnesses.no_direction_recovery_from_conditionsEither` (witness), `KannoSoe.InteriorDirectionNegative.no_interior_direction_recovery` (witness)

**Downstream elaboration:** `KannoSoe.DirectionNegative.no_direction_recovery_from_conditionsEither` (witness)

### B.2 No `PreorderTop`

The signature supplies only `PreorderBot`. The share-zero pole is an attained bottom order-class (`AtBot`); the total-share or solipsist pole is an asymptote, not an element of the interface. `StrongSelfConditioningTag` is named and shelved in the being convention for the same reason.

**Checked anchors (Signature):** `KannoSoe.PreorderBot` (proof), `KannoSoe.AtBot` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.StrongSelfConditioningTag` (proof), `KannoSoe.AssumptionLocalWitnesses.nat_preorderBot_has_no_top` (witness)

### B.3 No privileged person-partition

A being boundary is supplied by a diagnosis-time `BeingCoarsening`, not stored as a field of `Grid`. The signature already admits both identity and total coarsenings for any grid; the downstream `BeingNegative` witness elaborates this as non-recovery of a unique partition from grid data.

**Checked anchors (Signature):** `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.InFiber` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.SameFiber` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.id` (witness), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.total` (witness), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.total_sameFiber` (witness), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.id_not_sameFiber_of_ne` (witness), `KannoSoe.AssumptionLocalWitnesses.partition_merge_split_disagree` (witness)

**Downstream elaboration:** `KannoSoe.BeingNegative.no_partition_recovery` (witness)

### B.4 Direction resolution is display, not signature furniture

A clock's finite delivery-axis resolution is supplied by a diagnosis-time `DirectionCoarsening`, not by a `Grid` field and not by any pole or legitimacy predicate.

**Checked anchors (Signature):** `KannoSoe.Grid.DirectedConvention.DirectionCoarsening` (proof), `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.SameTick` (proof), `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.ResolutionBounded` (proof), `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.no_timeDirection_within_tick` (proof), `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.no_timeDirection_of_resolutionBounded_subsingleton` (proof), `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.transpose_subTickDelivery` (witness)

**Downstream elaboration:** `KannoSoe.DirectionCoarseningWitness.unit_directionVoid_via_mergeToUnit` (witness), `KannoSoe.DirectionCoarseningWitness.twoResolution_directionCoarsening_independence` (witness), `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.mapDir_resolutionBounded_iff` (proof), `KannoSoe.CoverageNegative.directionVoid_needs_coverage` (witness)

### B.5 Contribution values are display, not operational tokens

The Signature layer itself uses only order and pole vocabulary around `share`. The downstream `DisplayReparam` / `InvarianceNegative` modules give the full transport discipline: order- and pole-preserving display changes preserve the legal predicates, while equality to the chosen bottom does not.

**Checked anchors (Signature):** `KannoSoe.Grid.share_eq_grade_check` (proof), `KannoSoe.AtBot` (proof), `KannoSoe.OrderEq` (proof), `KannoSoe.Grid.Terminus` (proof)

**Downstream elaboration:** `KannoSoe.DisplayReparam` (proof), `KannoSoe.DisplayReparam.atBot_iff` (proof), `KannoSoe.InvarianceNegative.oldEqTerminus_not_invariant` (witness)

### B.6 The enlightenment ladder names standing and enacted vacuity

The operational, assertable effectiveness content is per-occurrence: `KsmdEffectiveOccurrence` states an actual pole-deed landing as a share-drop against a live prior tendency. The descriptive universal `KsmdEffectiveTerminus` remains legal as run-display and direct-path hypothesis, but no estimator from actual-run response/share data decides it. Standing `KsmdFullyEnlightened` adds positive own-act-time `KsmdNoNescience` over speech-or-mind productions. A quiet arhat may still fail that cognitive conjunct; sealed silent and true-thinking buddhas witness its two silent faces. `KsmdFullyEnlightenedEnacted` separately adds an effective deed witness and a production-tied speech occurrence.

**Checked anchors (Signature):** None.

**Downstream elaboration:** `KannoSoe.Grid.DirectedConvention.KsmdEffectiveOccurrence` (proof), `KannoSoe.Grid.DirectedConvention.KsmdEffectivenessEnacted` (proof), `KannoSoe.Grid.DirectedConvention.not_effectivenessEnacted_of_undelivered` (proof), `KannoSoe.Grid.DirectedConvention.KsmdFullyEnlightened` (proof), `KannoSoe.Grid.DirectedConvention.KsmdNoNescience` (proof), `KannoSoe.Grid.DirectedConvention.KsmdFullyEnlightenedEnacted` (proof), `KannoSoe.FaithNegative.noNescience_strictly_stronger_witness` (witness), `KannoSoe.FaithNegative.arhat_retains_nescience_witness` (witness), `KannoSoe.FaithNegative.Sealed.silent_buddha_models` (witness), `KannoSoe.EffectiveTerminusNegative.actual_run_data_underdetermines_effectiveTerminus` (witness), `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.ksmd_effective_occurrence_voice_assertable` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.ksmd_standing_effectiveness_voice_displayable` (proof)

### B.7 No blanket noninterference for the contribution carrier

Grading may depend on the agent — `gradingCollisionGrid` grades by being deliberately (cetanā) — so a model's stored tendency may extensionally coincide with an agent tag; `registerClockGrid` witnesses the coincidence. The signature therefore declines the information-flow reading of non-storage. `Grid.rePitch_forgets` bounds the coincidence to a single reception's footprint: nothing accumulates into a diachronic bearer, and the configuration is fibered over no being. The asserted claim is typing plus relabelling equivariance.

**Checked anchors (Signature):** `KannoSoe.gradingCollisionGrid` (witness), `KannoSoe.registerClockGrid` (witness)

**Downstream elaboration:** `KannoSoe.ConfigLeakWitness.registerClock_config_recovers_agent` (witness), `KannoSoe.Config.relabel_fixed` (proof), `KannoSoe.Grid.relabel_rePitch` (proof), `KannoSoe.Grid.rePitch_forgets` (proof)

### B.8 No recovered door boundary

`DoorReading` totally classifies fine welds as body, speech, or mind, but that diagnosis is supplied rather than recovered from response or grade data. Totality and adequacy to the canonical three doors are modeling claims.

**Checked anchors (Signature):** None.

**Downstream elaboration:** `KannoSoe.Grid.DoorReading` (proof), `KannoSoe.DoorsNegative.no_door_boundary_recovery` (witness)

### B.9 No recovered voicing

`SpeechReading` supplies optional content independently of door. Thoughts and bodily intimations are representable, while only speech productions cross into testimony; neither voicing nor its production weld is recovered from visible grid data or content alone.

**Checked anchors (Signature):** None.

**Downstream elaboration:** `KannoSoe.Grid.SpeechReading` (proof), `KannoSoe.Grid.ProducedUtterance` (proof), `KannoSoe.DoorsNegative.no_voicing_recovery` (witness), `KannoSoe.DoorsNegative.no_production_recovery` (witness)

### B.10 No recovered view content

`ViewReading.ownerClaim` supplies which claims count as stored-owner views. The checked coarsening-freeze model is a correlation for one such reading, not a derivation of content from the grid.

**Checked anchors (Signature):** None.

**Downstream elaboration:** `KannoSoe.Grid.ViewReading` (proof), `KannoSoe.FettersNegative.no_view_content_recovery` (witness), `KannoSoe.FettersNegative.ownerClaim_coarsening_freeze_correlation` (witness)

### B.11 No sentience recovery from grid data

Given an actual weld, the same complete response, grade, and delivery data classify it as a `SentientAct` under the constant-true reading and an `InsentientAct` under the constant-false reading. Behavior, share, clench, and delivery therefore jointly underdetermine the mark on the actual domain.

**Checked anchors (Signature):** `KannoSoe.Grid.SentienceReading` (proof), `KannoSoe.Grid.actual_weld_readings_split` (proof), `KannoSoe.Grid.no_sentience_recovery` (witness)

### B.12 No plenitude over being-call pairs

Universal call/response ranges over actual occurrences; it does not assert that every `Being × Call` pair returns a response. The `Option` seam remains load-bearing for hypothetical variation and candidate receptions.

**Checked anchors (Signature):** `KannoSoe.Grid.respondsTo` (proof), `KannoSoe.Grid.Actual` (proof), `KannoSoe.Grid.DirectedConvention.EnvironsLine` (proof)

**Downstream elaboration:** `KannoSoe.ContentNegative.hypotheticalGrid_no_actual` (witness), `KannoSoe.ContentNegative.contentBeingsRow_not_obeys_hypothetical` (witness), `KannoSoe.ContentNegative.fixedResponseGrid_no_variation` (witness), `KannoSoe.ContentNegative.contentIntraWeldArrowRow_not_obeys_fixedResponse` (witness)

### B.13 No aggregate sentience scalar

Sentience is marked per weld. `Intermittent` records fibers containing both marked and unmarked actual acts, but the system assigns no degree of sentience to a tag.

**Checked anchors (Signature):** `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.Intermittent` (proof), `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.Patchy` (proof)

### B.14 No insentient-clench exclusion

An unmarked actual weld may retain live self-share. `InsentientAppropriation` is an inhabited cell of the checked square, so appropriation and structural mismatch do not recover sentience.

**Checked anchors (Signature):** `KannoSoe.Grid.InsentientAppropriation` (proof), `KannoSoe.square_insentientAppropriation` (witness)

**Downstream elaboration:** `KannoSoe.Grid.clenchMismatch_of_insentientAppropriation` (proof)

## C. Conveniences and Stand-Ins

### C.1 Hand-rolled order classes

`Preorder` and `PreorderBot` are hand-rolled to keep assumptions visible and dependency-free. They play the local role Mathlib order classes would play, without importing Mathlib.

**Checked anchors (Signature):** `KannoSoe.Preorder` (proof), `KannoSoe.PreorderBot` (proof), `KannoSoe.shareBot` (proof), `KannoSoe.shareBot_le` (proof)

### C.2 `_before` is retained but currently ignored by `rePitch`

`rePitch` keeps a `_before` slot because the operation is conceptually a re-pitch from a prior configuration. The current implementation ignores that slot; the proof anchor below is a tripwire for the day that changes.

**Checked anchors (Signature):** `KannoSoe.Grid.rePitch` (proof)

> Note: The signature file keeps an `rfl` example showing that two prior configurations produce the same re-pitch for the same received weld.

### C.3 The scalar is display over a partial order

`KsmdMismatchGrade` lives in `Doctrines`, so this Signature module does not import it; the Signature-side checked fact is that `share` is the only contribution value exported by a weld.

**Checked anchors (Signature):** `KannoSoe.Grid.share` (proof), `KannoSoe.Grid.share_eq_grade_check` (proof)

**Downstream elaboration:** `KannoSoe.Grid.KsmdMismatchGrade` (proof), `KannoSoe.Grid.ksmdMismatchGrade_eq_share` (proof)

### C.4 `Models.lean` witnesses are illustrative

The clock and register-clock models anchor possibility checks and mark-invariance witnesses; they are not uniqueness claims.

**Checked anchors (Signature):** `KannoSoe.clockGrid` (witness), `KannoSoe.registerClockGrid` (witness), `KannoSoe.registerClock_insentient_proficient` (witness), `KannoSoe.clock_pole_readings_split` (witness), `KannoSoe.registerClock_rung_readings_split` (witness), `KannoSoe.rigid_terminus_vacuous` (witness), `KannoSoe.adaptive_liveTerminus` (witness), `KannoSoe.sentience_share_square_inhabited` (witness), `KannoSoe.registerClock_macro_selfConditioning` (witness)

## Axiom audit

`#verify_axiom_audit` compares each declaration's collected axiom set with this allowlist during every build.

| Declaration | Allowed axioms |
|---|---|
| `KannoSoe.Grid.no_agent_recovery_of_field_collision` | None |
| `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.no_timeDirection_within_tick` | None |
| `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.no_timeDirection_of_resolutionBounded_subsingleton` | None |
| `KannoSoe.Grid.relabel_rePitch` | None |
| `KannoSoe.Grid.no_natural_agent_recovery_from_config` | `propext`, `Quot.sound` |
| `KannoSoe.ConfigLeakWitness.registerClock_config_recovers_agent` | `propext` |
| `KannoSoe.ConfigLeakWitness.no_agent_recovery_from_config_of_share_collision` | `propext` |
| `KannoSoe.strict_asymm` | None |
| `KannoSoe.strict_trans` | None |
| `KannoSoe.Grid.transpose_transpose` | None |
| `KannoSoe.DirectionNegative.no_direction_recovery_from_conditionsEither` | `propext`, `Quot.sound` |
| `KannoSoe.CoverageNegative.directionVoid_needs_coverage` | None |
| `KannoSoe.CoverageNegative.ksmdEffectiveTerminus_needs_coverage` | `propext` |
| `KannoSoe.Grid.stateToolFits_iff_atBot` | None |
| `KannoSoe.Grid.map_actual_iff` | None |
| `KannoSoe.Grid.map_isShareDrop_iff` | None |
| `KannoSoe.Grid.map_transpose` | None |
| `KannoSoe.Grid.actual_weld_readings_split` | None |
| `KannoSoe.Grid.no_sentience_recovery` | None |
| `KannoSoe.sentience_share_square_inhabited` | `propext` |
| `KannoSoe.Grid.DirectedConvention.DirectionCoarsening.mapDir_resolutionBounded_iff` | None |
| `KannoSoe.DirectionCoarseningWitness.unit_directionVoid_via_mergeToUnit` | None |
| `KannoSoe.DirectionCoarseningWitness.twoResolution_directionCoarsening_independence` | None |
| `KannoSoe.DirectionCoarseningWitness.registerClock_directionCoarsening_independence` | `propext` |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.contentLayerRow_not_fused_of_nonlive_denial` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.contentLayerRow_not_obeys_of_nonlive_denial` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.contentLayerRow_obeys_of_no_occurrences` | None |
| `KannoSoe.ContentNegative.contentBeingsRow_not_obeys_hypothetical` | `propext` |
| `KannoSoe.ContentNegative.contentGridLensRow_not_obeys_hypothetical` | `propext` |
| `KannoSoe.ContentNegative.contentWeldRow_not_obeys_hypothetical` | `propext` |
| `KannoSoe.ContentNegative.contentIntraWeldArrowRow_not_obeys_fixedResponse` | `propext` |
| `KannoSoe.ContentNegative.contentBeforeAfterRow_not_obeys_twoBottom` | None |
| `KannoSoe.Grid.DirectedConvention.map_landsWithShareDrop_iff` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.map_selfConditioningTag_iff` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.map_fiberAtPoleOn_iff` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.total_sameFiber` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.id_not_sameFiber_of_ne` | None |
| `KannoSoe.Grid.map_ksmdBullSeven_iff` | None |
| `KannoSoe.Grid.map_ksmdBullTen_iff` | None |
| `KannoSoe.Grid.bullSeven_not_bullEight` | None |
| `KannoSoe.Grid.bullTen_to_bullNine` | None |
| `KannoSoe.CorrelationsNegative.pratyekabuddha_countermodel` | `propext` |
| `KannoSoe.CorrelationsNegative.no_stage_boundary_recovery` | `propext` |
| `KannoSoe.Grid.classQuiet_no_clench_in_class` | None |
| `KannoSoe.Fetter.kind_lower_iff_cut_by_nonReturn` | None |
| `KannoSoe.Grid.arhatPathQuiet_iff_quietOn_univ` | None |
| `KannoSoe.Grid.terminus_iff_quietOn_univ` | None |
| `KannoSoe.Grid.atPoleClass_iff_quietOn_univ` | None |
| `KannoSoe.Grid.all_fetters_cut_at_arhat` | None |
| `KannoSoe.Grid.identityView_cut_iff_noDefiledVoicing` | None |
| `KannoSoe.Grid.conceit_excluded_of_quietOn` | None |
| `KannoSoe.Grid.ksmdIrreversibleRegime_conditional` | None |
| `KannoSoe.Grid.lower_fetters_covered_by_rites_view_resolve` | None |
| `KannoSoe.Grid.ksmdStreamWinner_iff_streamEntry_cutClasses` | None |
| `KannoSoe.Grid.ksmdNonReturner_iff_nonReturn_cut` | None |
| `KannoSoe.Grid.ksmdSerialFactorRegime_conditional` | None |
| `KannoSoe.Grid.ksmdOnceReturner_attenuation_witness` | `propext` |
| `KannoSoe.FactorsNegative.no_hold_conceit_boundary_recovery` | `propext` |
| `KannoSoe.FactorsNegative.factor_order_underdetermined` | `propext` |
| `KannoSoe.FettersNegative.seen_run_underdetermines_fetterCut` | `propext` |
| `KannoSoe.Grid.DirectedConvention.ksmdPathOught_conditional` | None |
| `KannoSoe.Grid.DirectedConvention.ksmdFaithOught_conditional` | None |
| `KannoSoe.Grid.DirectedConvention.ksmd_says_true_of_faith` | None |
| `KannoSoe.Grid.DirectedConvention.noDelusion_of_noNescience_of_terminus` | None |
| `KannoSoe.Grid.DirectedConvention.ksmdFullyEnlightened_of_fullyEnlightenedEnacted` | None |
| `KannoSoe.FaithNegative.noNescience_strictly_stronger_witness` | `propext` |
| `KannoSoe.FaithNegative.aklishta_ajnana_witness` | `propext` |
| `KannoSoe.FaithNegative.arhat_retains_nescience_witness` | `propext` |
| `KannoSoe.FaithNegative.Sealed.silent_buddha_models` | `propext` |
| `KannoSoe.Grid.DirectedConvention.no_ksmd_path_at_pole` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.rowOf_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.pole_validates_all_claims` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.denied_misfits_live_offer` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.rowOf_obeys_iff_errorFree` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.reEmptied_obeys_of_errorFree` | None |
| `KannoSoe.rung_not_pole_witness` | `propext` |
| `KannoSoe.standing_does_not_determine_dated` | `propext` |
| `KannoSoe.Grid.DirectedConvention.map_ksmdAversionContext_iff` | None |
| `KannoSoe.OrthogonalityNegative.ksmdEffectiveTerminus_stronger_than_terminus` | `propext` |
| `KannoSoe.MisFeedNegative.fence_and_gate` | `propext` |
| `KannoSoe.misFeed_entries_carry_decomposition` | None |
| `KannoSoe.Grid.grade_independent_of_conditions` | None |
| `KannoSoe.Grid.rePitch_forgets` | None |
| `KannoSoe.Grid.respondsToEveryCall_of_no_call` | None |
| `KannoSoe.Grid.DirectedConvention.PrudentialPrivilegeNegative.prudentialPrivilege_failure_modes` | `propext` |
| `KannoSoe.Grid.ConsequentialistConvention.dropCountInFiber_le_dropCount` | `propext` |
| `KannoSoe.Grid.ConsequentialistConvention.dropCount_eq_sum_dropCountInFiber` | `propext` |
| `KannoSoe.Grid.ConsequentialistConvention.map_dropCountInFiberSum` | `propext` |
| `KannoSoe.ObjectiveNegative.split_dropCount_sum_eq_mergedDropCount` | `propext` |
| `KannoSoe.ObjectiveNegative.no_grid_data_objective_for_my_drops` | `propext` |
| `KannoSoe.TransferNegative.adaptive_track_record_underdetermines_new_effect` | `propext` |
| `KannoSoe.Grid.DirectedConvention.not_effectivenessEnacted_of_undelivered` | None |
| `KannoSoe.EffectiveTerminusNegative.no_effectiveTerminus_recovery_from_run` | `propext` |
| `KannoSoe.DeliveryArrogationNegative.command_utterance_not_fits` | `propext` |
| `KannoSoe.Grid.DirectedConvention.landing_call_in_modality` | None |
| `KannoSoe.LedgerCase.decree_engineers_calls_not_receptions` | `propext` |
| `KannoSoe.LedgerCase.official_actualAgentInhabited` | `propext` |
| `KannoSoe.InteriorDirectionNegative.transposeCR_involutive` | `propext` |
| `KannoSoe.InteriorDirectionNegative.unorderedCRContent_transpose_invariant` | `propext` |
| `KannoSoe.InteriorDirectionNegative.transpose_swaps_readings` | `propext` |
| `KannoSoe.DoerDeedNegative.priority_readings_disagree` | None |
| `KannoSoe.DoerDeedNegative.no_priority_recovery` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.intraWeldArrowRow_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.intraWeldArrowRow_not_freeze` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.no_order_collapse_self_refuting` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.doerDeedRow_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.doerDeedRow_not_freeze` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.no_prior_doer_collapse_self_refuting` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.contentLayerRow_obeys_of_variation` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.contentIntraWeldArrowRow_obeys_of_variation` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.interior_order_denial_unfit_for_live_utterer` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.intraWeldArrowLadder_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.intraWeldArrowLadder_obeys_succ` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.intraWeldArrowLadder_no_level_final` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.doerDeedLadder_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.doerDeedLadder_obeys_succ` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.doerDeedLadder_no_level_final` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.Metaphysics.intraWeldArrow_sunyata` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.Metaphysics.doerDeed_sunyata` | None |
| `KannoSoe.Grid.map_responseVariesWithCall_iff` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_intraWeldArrowRow_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_doerDeedRow_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_contentIntraWeldArrowRow_obeys_of_variation` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_intraWeldArrowLadder_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_intraWeldArrowLadder_obeys_succ` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_intraWeldArrowLadder_no_level_final` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_doerDeedLadder_obeys` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_doerDeedLadder_obeys_succ` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.map_doerDeedLadder_no_level_final` | None |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.ladderRungGrid_beings_sunyata` | `propext` |
| `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.ladderRungGrid_no_level_final` | `propext` |


===== FILE: Exposition/Glossary.md =====

# Glossary

Generated from `KannoSoe/Exposition/Glossary.lean` by `lake exe exposition_gen`. Gloss accuracy remains prose; Lean checks term uniqueness, backward `seeAlso` references, and anchor resolvability. Canonical Buddhist terms are glossed for newcomers; expert caveats live in the Disclaimers.

| Term | Kind | Definition | Checked anchors | See also |
| --- | --- | --- | --- | --- |
| floor | Theory | A floor is the place where no deeper support is being claimed. No claim holds there; distinctions fuse because the claim-space degenerates, not because both sides are jointly true. | `KannoSoe.Grid.Tier.floor` | — |
| floor silence | Theorems | At the floor no claim of the row language holds and all claims are indiscernible. The conventional register exists because the floor alone says nothing. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.no_row_claim_holds_at_floor`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.floor_claims_indiscernible`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.fitting_offer_is_actTime` | `floor` |
| genjō | Canonical | Genjō means manifestation, the way something comes forward as this case. In this system it also names the pole-class face where no share is claimed. | `KannoSoe.AtBot` | `floor` |
| grid | Theory | A grid is the compatibility name for a deliberately small package of independent occurrence, response, placement, and conditioning readings over one designatum carrier. It supplies the apparatus for welds, grades, delivery, and diagnostics without pretending to be the whole doctrine. | `KannoSoe.CoreReadings` | `floor` |
| axiomatic reconstruction | Theory | The project's method: a fixed Signature layer supplies the primitives and generator, Zen sayings are recovered as consequences, and doctrinal cases test the resulting reconstruction rather than supplying its premises. | `KannoSoe.CoreReadings`, `KannoSoe.Grid.Distinction.ObeysSeparateFuse` | `grid` |
| act-grammar | Theory | An act-grammar is a way to parse an occurrence into roles. In this system it is the three-row pattern that lets the grid discuss dependence, manifestation, resonance, practice, and causal carrying without storing a self. | `KannoSoe.Grid.Tier`, `KannoSoe.Grid.Distinction` | `grid` |
| mujishō-sōe | Canonical | Mujishō-sōe means mutual dependence without own-being. In this system it is the first-row dependence face of the act-grammar. | — | `act-grammar` |
| kannō-sōe | Canonical | The term kannō-sōe means responsive resonance or mutual answering. In this system it is the second-row dependence face, where a call and a response are placed together. | `KannoSoe.Grid.MountsAt` | `act-grammar` |
| banpō susumite | Canonical | Banpō susumite means the myriad dharmas advancing. In this system it is the second-row enactment face, where what arrives is answered by a concrete response. | `KannoSoe.Grid.Actual` | `kannō-sōe` |
| shō | Canonical | Shō means realization. In this system it is read as the non-possessive face at the floor, not as a stored attainment. | — | `floor` |
| shu | Canonical | Shu means practice. In this system it names the enacted side of the occurrence, the doing that is spent as the occurrence happens. | `KannoSoe.OccurrenceReading.Weld` | `act-grammar` |
| shushō-ittō | Canonical | Shushō-ittō means practice and realization as non-dual. In this system it is read as one occurrence with two faces, not two events that later get joined, and grid-side it is the per-occurrence face of effectiveness. | `KannoSoe.Grid.DirectedConvention.KsmdPoleDeed`, `KannoSoe.Grid.DirectedConvention.KsmdEffectiveOccurrence`, `KannoSoe.Grid.DirectedConvention.ksmdPoleDeed_of_produced_terminus` | `shō`, `shu` |
| shugenjō | Theory | Shugenjō is the paper's compound for practice that manifests without a scaffold. It is treated as a proper subset of genjō, not as a synonym for all manifestation. | — | `genjō`, `shu` |
| genjōkōan | Canonical | Genjōkōan is a manifest case, not an abstract principle floating free of use. In this system it names the first-row manifestation arriving in a second-row situation. | — | `genjō`, `kannō-sōe` |
| satori | Canonical | Satori means awakening or realization in ordinary Buddhist usage. In this system it is a pole-typed dharmas-forward event and is kept distinct from shō and kenshō. | — | `genjō`, `shō` |
| call | Theory | A call is something that arrives to be answered. In the grid it is a role reading of an occurrence designatum, the thing a response addresses or fails to address. | `KannoSoe.OccurrenceReading.Weld.call`, `KannoSoe.Grid.RecordedUtterance.answersCall` | `grid` |
| response | Theory | A response is what a being produces when it answers a call. In the grid it is a role reading of an occurrence designatum and the visible side of function. | `KannoSoe.OccurrenceReading.Weld.response`, `KannoSoe.Grid.MountsAt` | `call` |
| field | Theory | A field is the impersonal web of conditioning and delivery. In this system it carries connections through time without carrying an owner or self-index. | `KannoSoe.Grid.conditions`, `KannoSoe.Grid.ConditionsEither` | `grid` |
| inga | Canonical | Inga means cause and effect. In this system it is read as the field's conditioning structure, not as a stored moral account. | `KannoSoe.Grid.conditions` | `field` |
| delivery | Theory | Delivery is the fact that one occurrence reaches another as part of the field. It is checked by a directed relation, but the act that receives it still has to be actual. | `KannoSoe.Grid.DirectedConvention.DeliveredTo`, `KannoSoe.Grid.DirectedConvention.LandsAt` | `field` |
| delivery-regime | Theory | A delivery-regime is the whole pattern of what reaches what. In this system it is ceded as a world-fact and is never something a single act commands. | `KannoSoe.Grid.conditions` | `delivery`, `field` |
| weld | Theory | A weld is an occurrence designatum selected by an occurrence reading. Its agent, call, and response are role readings of that one occurrence, so the act's index is made by the act rather than stored before it. | `KannoSoe.OccurrenceReading.Weld`, `KannoSoe.Grid.Weld`, `KannoSoe.Grid.index` | `call`, `response` |
| reach-back | Theory | Reach-back is a reception reading what arrived as the return of some earlier deed. In the system it is full when delivery supplies the earlier deed and vacuous when it does not. | `KannoSoe.Grid.DirectedConvention.KsmdReachBackFull`, `KannoSoe.Grid.DirectedConvention.deliveredTo_iff_ksmdReachBackFull` | `delivery`, `weld` |
| upādāna | Canonical | Upādāna ordinarily means grasping or appropriation. In this system it is the traditional word closest to reach-back, with the technical decomposition handled by the grid. | `KannoSoe.Grid.KsmdAppropriates` | `reach-back` |
| vacuity | Theory | Vacuity is a place left unfilled rather than a false claim. In the system it names the reach-back shape where appropriation occurs but delivery supplies no deed to fill the second slot. | `KannoSoe.Grid.DirectedConvention.NotDeliveredTo` | `reach-back`, `delivery` |
| share | Theory | A share is the portion of an occurrence's drive that is claimed as self-maintaining. In the grid it is the contribution value projected from a weld. | `KannoSoe.Grid.share`, `KannoSoe.Grid.share_eq_grade_check` | `weld` |
| grade | Theory | A grade is an ordered display of how much share a concrete response carries. It is third-personal in form but indexical in content, because it reads this weld's placement. | `KannoSoe.Grid.grade`, `KannoSoe.Grid.KsmdMismatchGrade`, `KannoSoe.Grid.share_eq_grade_check` | `share`, `weld` |
| clench | Theory | Clench is self-maintenance tightening around a response. In the grid it is read through live share rather than through a stored inner state. | `KannoSoe.Grid.HasSelfPoleIndex`, `KannoSoe.Grid.KsmdAppropriates` | `share`, `weld` |
| arrogation | Theory | Arrogation is a response claiming subjecthood for itself. In this system it is per call and per weld, never a standing rank possessed by a being. | `KannoSoe.Grid.HasSelfPoleIndex` | `clench`, `weld` |
| self-forward | Theory | Self-forward means carrying a self toward what is met. In this system it is the delusive direction of a live weld, not a permanent condition. | — | `arrogation`, `weld` |
| function | Theory | Function is the call/response form of every actual occurrence. `MountsAt` names that form at one call; `none` marks only the actual/hypothetical seam and is not a being-kind. Function remains separate from share. | `KannoSoe.Grid.MountsAt`, `KannoSoe.Grid.RespondsToEveryCall` | `response`, `share` |
| pole | Theory | A pole is the zero-share class in the ordering. In the grid it is represented by `AtBot`, so the system can speak of no live self-index without choosing a numerical scale. | `KannoSoe.AtBot`, `KannoSoe.Grid.AtPoleClass`, `KannoSoe.Grid.terminus_iff_quietOn_univ`, `KannoSoe.Grid.atPoleClass_iff_quietOn_univ` | `share`, `genjō` |
| stone | Theory | Current sense: a stone is an actual weld in the unmarked, pole-share cell, `StoneAct`. Retired edge sense: before the per-weld sentience revision, stone meant a function-zero being. The dated senses keep older prose legible without restoring that edge. | `KannoSoe.Grid.StoneAct`, `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.StoneTag` | `function`, `pole` |
| solipsist | Theory | The solipsist names the imagined collapse in which response is all self-claim and the call has effectively vanished. The old picture treated it as the edge opposite a function-zero stone; that edge is retired. | — | `function`, `share` |
| terminus | Theory | A terminus is a responder whose mounted responses lie at the pole. `AtPoleClass` now has exactly this meaning; sentient terminus acts and insentient stone acts are separated by the supplied mark. | `KannoSoe.Grid.Terminus`, `KannoSoe.Grid.LiveTerminus`, `KannoSoe.Grid.ResponsiveTerminus` | `function`, `pole` |
| tier | Lean convention | A tier is the level at which a claim is offered or tested. Lean uses tiers to distinguish the floor from an act-time weld. | `KannoSoe.Grid.Tier`, `KannoSoe.Grid.Tier.hasLiveShare` | `floor`, `weld` |
| Row 2 | Theory | Row 2 is the resonance row, where call and response are placed together. It is where the system states grade without turning grade into something possessed. | `KannoSoe.Grid.Tier.hasLiveShare` | `kannō-sōe`, `grade` |
| determination clause | Theory | The determination clause says the grade is fixed by what actually drove this response. It rejects a private glow or later outcome as the source of grading. | `KannoSoe.Grid.share_eq_grade_check` | `grade`, `response` |
| probe | Theory | A probe is a third-person way of varying calls to display a response pattern. It can show a placement, but it does not create the placement it shows. | `KannoSoe.Grid.ProbeConstant` | `call`, `grade` |
| effectiveness | Theory | Effectiveness is a landing rate within a delivery-regime. In this system it grades whether calls land; it does not type what a responder is. | `KannoSoe.Grid.DirectedConvention.HasShareDropLanding`, `KannoSoe.Grid.DirectedConvention.ShortfallClosedAt` | `delivery-regime`, `grade` |
| fixed/adaptive | Theory | Fixed and adaptive describe how a responder's output relates to calls. The grid can model both without making adaptivity the ground of liberation. | `KannoSoe.Grid.ResponseInvariant`, `KannoSoe.Grid.ResponseVariesWithCall` | `call`, `response`, `effectiveness` |
| orthogonality rule | Theory | The orthogonality rule says the relevant dimensions do not determine each other. Function is universal, share types the response, effectiveness grades landing, and sentience is supplied. | `KannoSoe.OrthogonalityNegative.ksmdEffectiveTerminus_stronger_than_terminus` | `function`, `share`, `effectiveness` |
| sentience joint | Theory | The sentience joint is where phenomenal attribution is supplied rather than recovered. Holding the mark as a nature freezes the standing-sentience row; identifying it with visible function collapses that row. | `KannoSoe.Grid.SentienceReading`, `KannoSoe.Grid.no_sentience_recovery`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.RowTag.standingSentience` | `function`, `response` |
| aimed call | Theory | An aimed call is a display-tier, sowing-side lens over a delivery line. In Lean it is definitionally delivery from deed to reception, not a mechanism or intention primitive. | `KannoSoe.Grid.DirectedConvention.KsmdAimedAt` | `call`, `delivery` |
| re-pitch | Theory | Re-pitch is what a reception hands forward as the next carried tendency. In the current signature it records the received weld's share and forgets the previous configuration. | `KannoSoe.Grid.rePitch`, `KannoSoe.Grid.rePitch_forgets` | `share`, `weld` |
| seed | Theory | A seed is a carried tendency rather than a bearer. In Lean it is modeled by a configuration value with no stored owner, weld, or self-index. | `KannoSoe.Config`, `KannoSoe.Config.tendency`, `KannoSoe.Grid.relabel_rePitch` | `field`, `re-pitch` |
| standing/dated | Theory | Standing means carried as a tendency; dated means enacted now. The system treats reading a dated occurrence directly from a standing tendency as a diagnostic error. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.RowTag.standingDated`, `KannoSoe.standing_does_not_determine_dated` | `seed`, `weld` |
| three registers | Theory | The three registers are carried field facts, spent weld facts, and per-call grade statements. The split keeps the system from storing self-indexed ownership between acts. | `KannoSoe.SortedFact.register` | `field`, `weld`, `grade` |
| separate/fuse rule | Theory | The separate/fuse rule says live act-time distinctions must be kept apart and floor-level distinctions must fuse. It is the grammar behind the taxonomy's collapse and freeze diagnoses. | `KannoSoe.Grid.Distinction.ObeysSeparateFuse` | `floor`, `tier` |
| collapse/freeze | Theory | Collapse fuses what should be separate; freeze holds separate what should fuse. These are the two basic ways the taxonomy catches a misuse of a distinction. | `KannoSoe.Grid.Distinction.Collapse`, `KannoSoe.Grid.Distinction.Freeze` | `separate/fuse rule` |
| assert/display | Lean convention | Assert and display are two voices for a verdict. The grid asserts grammatical failures inside its lens and only displays value-laden or soteriological shortfall. | `KannoSoe.Grid.VerdictVoice`, `KannoSoe.Grid.ErrorGrade`, `KannoSoe.Grid.ErrorGrade.voice` | `collapse/freeze` |
| orange / eat this | Theory | The orange is the paper's image for its own offering. It gives a thing to receive, while the phrase eat this marks the risk of turning a description into an injunction. | — | `assert/display`, `call` |
| object-axis/subject-axis | Theory | Object-axis means being available as something received; subject-axis means occurring as call/response. The grid keeps these axes apart, including for stone and terminus acts. | `KannoSoe.Grid.DirectedConvention.ObjectAxisStanding`, `KannoSoe.Grid.MountsAt` | `delivery`, `function` |
| index-question | Theory | The index-question asks whose act or whose fruit is at issue. In this system the answer is enacted in a weld or stated by a grade, never stored in the field. | `KannoSoe.Grid.index`, `KannoSoe.Grid.HasSelfPoleIndex` | `weld`, `field`, `grade` |
| mis-feed | Identification | A mis-feed is an internal diagnostic where the wrong register is fed to a question. The checked fence covers index-free field answers being used where an index-bearing designation is required. | `KannoSoe.MisFeedNegative.fence_and_gate` | `index-question`, `field` |
| upāya/provisional reading | Canonical | Upāya names an apt conventional call at the tier a being occupies. In this system a provisional reading keeps that conventional function while the floor re-empties its absolutization. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.Metaphysics.provisional_preserved`, `KannoSoe.Grid.DirectedConvention.ksmdPathOught_conditional` | `tier`, `separate/fuse rule`, `assert/display` |
| dukkha | Canonical | Dukkha ordinarily names suffering or unsatisfactoriness. The grid derives `ClenchMismatch`; `KsmdDukkha` adds a supplied sentience mark. Thus the structure is derived while whether it is suffered remains reading-relative. | `KannoSoe.Grid.KsmdMismatchGrade`, `KannoSoe.Grid.ClenchMismatch`, `KannoSoe.Grid.KsmdDukkha` | `share`, `delivery`, `clench` |
| before/after | Theory | Before and after are ordinary temporal words. In this system they are a reading over roles in the field, not extra furniture stored inside the field. | `KannoSoe.Grid.DirectedConvention.TimeDirection` | `field`, `delivery` |
| arrow | Theory | The arrow is direction read into conditioning. The retyped system treats direction as a display over field structure, not as a primitive property of that structure. | `KannoSoe.Grid.DirectedConvention.TimeDirection`, `KannoSoe.DirectionNegative.no_direction_recovery_from_conditionsEither` | `field`, `before/after` |
| ratchet | Theory | A ratchet is a mechanism that reads a gradient as direction. In the paper it motivates why beings may read an arrow without making the arrow part of the field itself. | — | `arrow`, `field` |
| Ksmd marker | Lean convention | The Ksmd marker flags a system-point-of-view reading. It tells readers that a Lean name reports how the grid reads a concept, not what the tradition must mean by it. | `KannoSoe.Grid.KsmdAppropriates`, `KannoSoe.Grid.KsmdMismatchGrade`, `KannoSoe.Grid.DirectedConvention.KsmdReachBackFull` | `grid` |
| DirectedConvention | Lean convention | DirectedConvention is the namespace for vocabulary that reads direction into the grid. It keeps directed delivery words separate from the direction-free signature beneath them. | `KannoSoe.Grid.DirectedConvention.DeliveredTo` | `arrow`, `delivery` |
| being-convention | Theory | A being-convention is a diagnosis-time way of reading fine tags as macro beings. It permits naming without claiming that the grid stores the true partition. | `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening` | `grid`, `DirectedConvention` |
| coarsening | Lean convention | A coarsening maps fine tags to macro tags. Lean uses it to model a chosen being-reading while leaving the underlying grid unchanged. | `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening`, `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.InFiber` | `being-convention` |
| tag/fiber | Theory | A tag is a fine identifier; a fiber is the set of fine tags read as one macro tag by a coarsening. Fiber-level predicates let the system discuss beings without storing beings as substances. See Identification §63 for the grain-indexed predicate-aptness caveat. | `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.InFiber`, `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.SameFiber` | `coarsening` |
| door | Lean convention | A door is a supplied diagnosis of a fine weld as body, speech, or mind. The grid does not recover this classification, and totality over the canonical three doors is an explicit modeling claim. | `KannoSoe.Door`, `KannoSoe.Grid.DoorReading`, `KannoSoe.DoorsNegative.no_door_boundary_recovery` | `weld` |
| three doors | Canonical | The three doors are body, speech, and mind. Canonical arhat display is fine-being quietness through all three; a regional śrāvaka-arhat may still carry body-door residue. | `KannoSoe.Grid.DoorQuiet`, `KannoSoe.Grid.arhat_iff_three_doors_quiet`, `KannoSoe.Grid.terminus_iff_quietOn_univ`, `KannoSoe.Grid.atPoleClass_iff_quietOn_univ` | `door`, `pole` |
| voicing | Lean convention | Voicing is a supplied claim-production reading on a weld. It is intentionally door-neutral: speech, thought, and expressive bodily action can be represented, while testimonial predicates impose the speech boundary. | `KannoSoe.Grid.SpeechReading`, `KannoSoe.DoorsNegative.no_voicing_recovery` | `door`, `weld` |
| produced utterance | Lean convention | A produced utterance ties content to an actual voicing weld. Only a speech-door production can become a testimonial record, offered definitionally at that weld's own act-time. | `KannoSoe.Grid.ProducedUtterance`, `KannoSoe.Grid.ProducedUtterance.toRecorded`, `KannoSoe.DoorsNegative.no_production_recovery` | `voicing`, `weld` |
| defiled falsehood | Theorems | Defiled falsehood is a false speech-door production at its own act-time with a live self-pole. Equating this derivable schema with deliberate lying is a separate modeling claim. | `KannoSoe.Grid.KsmdDefiledFalsehood`, `KannoSoe.Grid.no_defiledFalsehood_of_speechDoorQuiet`, `KannoSoe.FoxCase.oldMan_defiledFalsehood` | `produced utterance`, `pole` |
| vāsanā | Canonical | Vāsanā means residual habit or trace. The checked share-vāsanā form is live share in the body door while speech and mind are quiet; response-form habit at pole share remains future work. | `KannoSoe.Grid.KsmdVasana`, `KannoSoe.Grid.sravakaArhat_not_arhat_witness` | `clench`, `three doors` |
| śrāvaka-arhat | Canonical | The door-typed śrāvaka-arhat is quiet at speech and mind. Unlike canonical three-door arhat display, this regional figure can retain a live body-door vāsanā. | `KannoSoe.Grid.KsmdSravakaArhat`, `KannoSoe.Grid.sravakaArhat_no_defiledFalsehood`, `KannoSoe.Grid.sravakaArhat_not_arhat_witness` | `three doors`, `vāsanā` |
| sentient/insentient tag | Theory | Sentience is marked per actual weld under a supplied `SentienceReading`; it is never recovered from grid behavior. `SentientTag`, `StoneTag`, and `Intermittent` are convention-relative quantified displays over a macro fiber, not standing natures or scalar degrees. The insentient register clock is neither sentient-tagged nor stone-tagged and is instead patchy. | `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.SentientTag`, `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.StoneTag`, `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.Intermittent`, `KannoSoe.Grid.no_sentience_recovery`, `KannoSoe.registerClock_macro_not_sentientTag_insentient`, `KannoSoe.registerClock_macro_not_stoneTag_insentient`, `KannoSoe.registerClock_macro_patchy` | `tag/fiber`, `stone` |
| FiberAtPole / SelfAptTag / Patchy | Lean convention | These names describe a fiber spectrum: all actual welds at pole, all actual welds self-apt, or an irreducibly mixed case. They deliberately avoid defining an aggregate share for a fiber. | `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.FiberAtPole`, `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.SelfAptTag`, `KannoSoe.Grid.DirectedConvention.BeingConvention.BeingCoarsening.Patchy` | `tag/fiber`, `pole` |
| coherence (grade) | Theory | Coherence is a display grade over a coarsening. It can report how well a reading behaves, but it never licenses or forbids the naming of a being. | — | `coarsening`, `grade` |
| delegation | Theory | Delegation reads macro agency through an actual fine weld in a fiber. The share remains the fine weld's share, so macro agency does not create a new stored subject. | — | `weld`, `tag/fiber`, `share` |
| freedom witness | Theory | A freedom witness is a countermodel showing that a supposed boundary is not forced by grid data. The being-boundary version permits both split and merge readings of the same fine grid. | `KannoSoe.BeingNegative.no_partition_recovery` | `being-convention`, `coarsening` |
| kenshō | Canonical | Kenshō ordinarily means seeing nature. In this system it is kept as a countable share-ceding event, not as a possession or stored attainment. | `KannoSoe.Grid.IsShareDrop` | `share`, `re-pitch` |
| call/response | Theory | Call/response is the smallest public shape of an occurrence: something arrives and something answers. In the grid this pair is carried by the weld and later inspected by the taxonomy. | `KannoSoe.OccurrenceReading.Weld.call`, `KannoSoe.OccurrenceReading.Weld.response`, `KannoSoe.Grid.RecordedUtterance` | `call`, `response`, `weld` |
| delivery-engineering | Theorems | Delivery-engineering is legal work on what may arrive. Responder-side it finds calls that land; sowing-side it configures aimed calls without commanding the regime. | `KannoSoe.Grid.DirectedConvention.KsmdAimedAt`, `KannoSoe.Grid.DirectedConvention.HasShareDropLanding` | `delivery`, `aimed call` |
| delivery-arrogation | Theorems | Delivery-arrogation is claiming authority over what arrives next. The system treats that as grasping the one register no weld owns. | `KannoSoe.DeliveryArrogationNegative.command_utterance_not_fits` | `delivery-regime`, `arrogation` |
| buddha-side shortfall | Theorems | Buddha-side shortfall is failing to meet a not-yet-buddha's call where it is. It is the pole's live grade and is tracked by effectiveness rather than by terminus typing alone. | `KannoSoe.Grid.DirectedConvention.ShortfallClosedAt`, `KannoSoe.OrthogonalityNegative.ksmdEffectiveTerminus_stronger_than_terminus` | `effectiveness`, `terminus` |
| effective terminus | Theorems | An effective terminus is a responsive terminus whose own delivered deeds close every live shortfall. It removes the afflictive-obscuration face but does not by itself warrant trust in attributed sentences. | `KannoSoe.Grid.DirectedConvention.KsmdEffectiveTerminus`, `KannoSoe.EffectiveTerminusNegative.no_effectiveTerminus_recovery_from_run` | `buddha-side shortfall`, `assert/display` |
| no-nescience | Theorems | No-nescience is positive own-act-time truth for every pole-share speech-or-mind production by the being. It strengthens the old speech-only character check and marks the cognitive-obscuration boundary beyond arhat quiet. | `KannoSoe.Grid.DirectedConvention.KsmdNoNescience`, `KannoSoe.Grid.DirectedConvention.noDelusion_of_noNescience_of_terminus`, `KannoSoe.FaithNegative.arhat_retains_nescience_witness` | `effective terminus`, `produced utterance` |
| standing enlightenment | Theorems | Standing full enlightenment is the two-obscurations faith-object: effective termination together with positive own-act-time truth for every pole-share speech-or-mind production. Silent models may voice no thought or true thought; testimony remains speech-only. | `KannoSoe.Grid.DirectedConvention.KsmdFullyEnlightened`, `KannoSoe.Grid.DirectedConvention.KsmdNoNescience`, `KannoSoe.FaithNegative.noNescience_strictly_stronger_witness`, `KannoSoe.FaithNegative.Sealed.silent_buddha_models` | `effective terminus`, `no-nescience` |
| enacted effectiveness | Theorems | Enacted effectiveness is the non-vacuous effective-terminus display plus at least one per-occurrence effective landing. It fences sealed-regime vacuity from earned occurrence and supplies the deed component of enacted full enlightenment. | `KannoSoe.Grid.DirectedConvention.KsmdEffectivenessEnacted`, `KannoSoe.Grid.DirectedConvention.not_effectivenessEnacted_of_undelivered` | `effective terminus`, `shushō-ittō` |
| enacted full enlightenment | Theorems | Enacted full enlightenment is the samyaksambuddha rung: the standing two-obscurations bundle together with a delivered effective occurrence and an actual faithful, fitting speech production at its own act-time. | `KannoSoe.Grid.DirectedConvention.KsmdFullyEnlightenedEnacted`, `KannoSoe.Grid.DirectedConvention.KsmdFaithfulSpeechOccurrence` | `standing enlightenment`, `enacted effectiveness` |
| backsliding theorem | Theorems | The backsliding theorem says a share-drop event cannot be held as a stored attainment. Later live welds are possible because nothing self-indexed is carried between acts. | `KannoSoe.backsliding_witness`, `KannoSoe.backsliding_rePitchSequence_witness` | `kenshō`, `re-pitch`, `seed` |
| memory theorem | Theorems | The memory theorem reads a trace as a seed and remembering as a fresh reception. Felt mineness is predicted at recall-time without being stored before recall. | `KannoSoe.Grid.DirectedConvention.MemoryWitness.memory_witness`, `KannoSoe.Grid.DirectedConvention.KsmdVacuousOwnershipFace`, `KannoSoe.Grid.DirectedConvention.KsmdDiachronicWhose` | `seed`, `reach-back` |
| retrospective soul | Theorems | The retrospective soul is the error of freezing reach-back into a standing backward owner. It is the psychological version of treating fresh mineness as stored mineness. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.sowingReapingRow_not_freeze`, `KannoSoe.Grid.no_agent_recovery_of_field_collision` | `memory theorem`, `reach-back`, `standing/dated` |
| prudence theorem | Theorems | The prudence theorem says special authority for self-concern is not recoverable from the grid. The standing cross-gap whose that prudence would need is exactly what the typing declines. | `KannoSoe.Grid.DirectedConvention.PrudentialPrivilegeNegative.not_prudentialPrivilege` | `index-question`, `standing/dated`, `upāya/provisional reading` |
| deliberator theorem | Theorems | The deliberator theorem blocks a maximizer at three joints: supplied being-convention, absent accumulator, and failed command over delivery. It is a check on consequentialist reuse of the grid. | `KannoSoe.ObjectiveNegative.no_grid_data_objective_for_my_drops`, `KannoSoe.TransferNegative.adaptive_track_record_underdetermines_new_effect`, `KannoSoe.DeliveryArrogationNegative.command_utterance_not_fits`, `KannoSoe.Grid.ConsequentialistConvention.map_dropCount`, `KannoSoe.Grid.ConsequentialistConvention.map_dropCountInFiber` | `being-convention`, `re-pitch`, `delivery-arrogation` |
| covariation | Theorems | Covariation means two quantities move together without being declared identical in every respect. The dukkha reading covaries with share, ordinally and per call. | `KannoSoe.Grid.KsmdMismatchGrade` | `dukkha`, `share` |
| proneness/occurrence | Theorems | Proneness is a carried tendency; occurrence is the live event. The dukkha split uses this standing/dated distinction to avoid storing suffering as a bearer. | — | `dukkha`, `seed`, `standing/dated` |
| transposition | Theorems | Transposition is the answer to the terminus question: the self-pole index disappears, while reception-side activity for others can still run. Nothing travels from one pole to another. | `KannoSoe.Grid.no_self_pole_index_of_atBot`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.transposition_erased_downward_collapse_self_refuting` | `terminus`, `pole`, `object-axis/subject-axis` |
| kiriya / ahosi | Canonical | Kiriya and ahosi name action and lapsed fruit in Buddhist idiom around the arhat. In this system the point is derived from share-zero: fruit can land without a live index-question. | — | `share`, `pole`, `delivery` |
| mirror | Canonical | The mirror is the image of responsive output without possession. In this system it is function without share, legal as a display over a run. | `KannoSoe.Grid.LiveTerminus` | `function`, `share`, `terminus` |
| device / device-nature | Theorems | A device is a compressed way to speak of pole-like responsiveness. It is legal as display and becomes a freeze when treated as a standing nature owned by a being. | — | `mirror`, `terminus`, `collapse/freeze` |
| maximally adaptive call | Theorems | The maximally adaptive call is the limiting case of call-fitting. The system deflates it from the ground of the terminus to the limit where buddha-side shortfall closes. | — | `fixed/adaptive`, `buddha-side shortfall` |
| generator | Theorems | The generator is the taxonomy engine that makes rows from distinctions. Its discipline is that errors must land in existing cells, force a new cell, be declined, or force a retype. | `KannoSoe.Grid.GeneratorOutcome`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.tableOrder` | `collapse/freeze` |
| curated catalogue | Theorems | The curated catalogue is the Consequences-layer list of taxonomy targets — rows, compound positions, and content rows — against which the fixed Signature generator is run. It may grow as new collapse/freeze targets are identified without changing the axioms. | `KannoSoe.Grid.Distinction.ObeysSeparateFuse`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.CompoundPosition` | `generator` |
| consistency vs exclusivity | Theorems | Lean establishes internal consistency and derivability relative to the fixed primitives, not truth or uniqueness. Countermodel-gated consequences show that this reconstruction coheres; they do not show that no rival reconstruction can cohere. | — | `axiomatic reconstruction`, `curated catalogue` |
| four verdicts | Theorems | The four verdicts are existing-cell, new-cell, declined, and retype. They are the public outcomes available when the generator meets a candidate error. | `KannoSoe.Verdict`, `KannoSoe.generatorRecord_newCell_count` | `generator` |
| Sunyata | Canonical | Sunyata means emptiness. In this system it is the no-final-freeze property of a distinction's re-emptying ladder. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.Metaphysics.Sunyata` | `collapse/freeze` |
| direction-underdetermination witness | Theorems | This witness shows that symmetric field residue does not determine direction. Two grids can agree on the undirected relation and disagree on the directed one. | `KannoSoe.DirectionNegative.no_direction_recovery_from_conditionsEither` | `arrow`, `field` |
| being-boundary witness | Theorems | This witness shows that grid data do not recover a unique being-boundary. Merge and split coarsenings can both be legal over the same fine grid. | `KannoSoe.BeingNegative.no_partition_recovery` | `being-convention`, `freedom witness` |
| weld-boundary witness | Theorems | Grid data do not recover a unique weld-segmentation. Merge and split readings of what counts as one call-response pairing are both legal over the same field. | `KannoSoe.WeldNegative.no_weld_boundary_recovery` | `weld`, `being-convention`, `freedom witness` |
| intra-weld arrow row | Theorems | The intra-weld arrow row checks the call-to-response direction inside a weld as a convention layer. Its content form denies response-variation, and its witness says the unordered residue does not recover an interior arrow. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.intraWeldArrowRow`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.Metaphysics.intraWeldArrow_sunyata`, `KannoSoe.InteriorDirectionNegative.no_interior_direction_recovery` | `arrow`, `weld`, `weld-boundary witness` |
| doer/deed row | Theorems | The doer/deed row is the schema-only MMK 8 cell: a prior-doer reading is diagnosed without adding priority as a primitive field of the grid. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.doerDeedRow`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.Metaphysics.doerDeed_sunyata`, `KannoSoe.DoerDeedNegative.no_priority_recovery` | `weld`, `collapse/freeze`, `intra-weld arrow row` |
| coming-from / going-to | Theory | Coming-from and going-to are display labels for the two orientation readings of a weld's faces. Transposition reverses the labels; they are not tier names. | `KannoSoe.InteriorDirectionNegative.transpose_swaps_readings`, `KannoSoe.InteriorDirectionNegative.no_interior_direction_recovery` | `arrow`, `weld`, `intra-weld arrow row` |
| reflexivity witness | Theorems | The reflexivity witness instantiates a grid's being carrier with rung labels, showing that the beings ladder still has no final freeze when read over its own indices. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.ladderRungGrid_beings_sunyata` | `being-convention`, `Sunyata` |
| weld row / weld śūnyatā | Theorems | The weld row names the weld-grain distinction as a convention layer, and weld śūnyatā says its re-emptying ladder has no final frozen level. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.weldRow`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.Metaphysics.weld_sunyata` | `collapse/freeze`, `Sunyata` |
| declined case | Theorems | A declined case is a candidate that the taxonomy refuses to mark as error. The deaf-blind example matters because over-generating error would itself freeze the lens. | `KannoSoe.InstructiveAbsence.declinedCase` | `four verdicts` |
| Grade 1 / Grade 2 | Theorems | Grade 1 names grammatical errors assertable inside the lens; Grade 2 names shortfalls only displayable by the lens. The difference prevents the grid from issuing its own value command. | `KannoSoe.Grid.ErrorGrade`, `KannoSoe.Grid.ErrorGrade.voice` | `assert/display` |
| clenched reception | Theorems | A clenched reception is an arriving response taken tightly as mine. It is still graded as a fresh weld, not as evidence of a stored owner. | — | `clench`, `reach-back`, `weld` |
| declining the orange | Theorems | Declining the orange is a low-resonance reception of this offered call. It is not a global wrong and does not prove anything about a person. | — | `orange / eat this`, `call` |
| defiance | Theorems | Defiance is arrogation hardened into policy. The fighting stance is a seed, but each fight remains a new act. | — | `arrogation`, `seed`, `weld` |
| cetanā | Canonical | Cetanā means intention or volition. In this system it is the traditional anchor for the claim that grading tracks the weld rather than the downstream event. | `KannoSoe.Grid.grade_independent_of_conditions`, `KannoSoe.Grid.share_independent_of_conditions` | `weld`, `grade` |
| cetanā theorem | Theorems | The cetanā theorem is the derived version of intention as karma. It says the grading component follows the weld even where event-success and delivery diverge. | `KannoSoe.Grid.grade_independent_of_conditions`, `KannoSoe.Grid.share_independent_of_conditions`, `KannoSoe.cetana_grading_tracks_weld_not_field_witness`, `KannoSoe.cetana_live_share_without_object_standing_witness` | `cetanā`, `weld`, `field` |
| futility theorem | Theorems | Retired formal theorem, retained as a dated prose routing. Freezing death as subtraction of a standing victim is the subject/object-axis freeze; claiming that emptiness makes killing change nothing is the fox cell. No `none` region is given a death reading. | — | `delivery`, `object-axis/subject-axis`, `device / device-nature` |
| victim-rank | Theorems | Victim-rank is severity read from the victim's station. The system treats it as a freeze because rank is being smuggled into what should be per-weld grading. | — | `grade`, `collapse/freeze` |
| hell-typed | Theorems | Hell-typed means a configuration receives no gentler call in the actual delivery-regime. The claim is regime-relative, not a statement about all possible calls. | — | `delivery-regime`, `call` |
| ledger | Theorems | A ledger is a public register that prices what can be counted. In the Huichang case it names an economic modality and the errors produced by reading that modality as a being-sized truth. | `KannoSoe.LedgerCase.decree_engineers_calls_not_receptions`, `KannoSoe.LedgerCase.official_actualAgentInhabited` | `delivery-regime`, `Grade 1 / Grade 2` |
| economic legibility | Theorems | Economic legibility is a field-fact about which configurations a purge can reach. The system can assert that register while only displaying the worth of survival. | `KannoSoe.Grid.DirectedConvention.landing_call_in_modality` | `ledger`, `field` |
| gradeability rule | Theorems | The gradeability rule says a recorded utterance may be graded only where the record carries its call. Lean checks both the severed-transcript obstruction and the call-carrying positive form. | `KannoSoe.GradeabilityNegative.no_grade_recovery_from_severed`, `KannoSoe.GradeabilityNegative.gradeability_severed_underdetermination_witness`, `KannoSoe.recordedUtterance_grade_determined` | `call`, `grade`, `weld` |
| transcription | Theorems | Transcription turns an adaptive event into a fixed record. In the system the transcript is a seed-like fixed call, not a stored fault in the words. | — | `fixed/adaptive`, `seed`, `call` |
| per-call/global freeze | Theorems | The per-call/global freeze turns a local grade into a global rank. It is the error behind treating stages, awakening, or census categories as stored altitude. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.RowTag.perCallGlobal` | `grade`, `collapse/freeze` |
| subitism/gradualism | Canonical | Subitism and gradualism name sudden and staged arrival patterns. The system permits both as run shapes while refusing to store a rate preference as attainment. | `KannoSoe.Grid.KsmdSuddenArrival`, `KannoSoe.Grid.KsmdGradualArrival`, `KannoSoe.Grid.rate_invisible_to_config`, `KannoSoe.SuddenGradualNegative.subitism_frequency_underdetermined` | `re-pitch`, `per-call/global freeze` |
| PathFactor | Lean convention | PathFactor names the factor-side regrouping of the existing fetter table. Rites, view, and resolve are active; speech and conduct are named but inert until the upper-pair question is settled. | `KannoSoe.PathFactor`, `KannoSoe.PathFactor.blockerClass` | `coarsening`, `tag/fiber` |
| FactorHeld | Lean convention | FactorHeld is a seen-run witness: an actual in-fiber weld in the factor blocker class carries a live self-pole index. It is not itself an error; it is factor-frame vocabulary, not freeze/collapse and not clench alone. | `KannoSoe.Grid.FactorHeld` | `PathFactor`, `clench`, `weld` |
| FactorReleased | Lean convention | FactorReleased is the release half of the factor pair: the fiber is at pole on the factor blocker class. One actual live weld in that class refutes it. | `KannoSoe.Grid.FactorReleased`, `KannoSoe.Grid.not_factorHeld_of_factorReleased` | `PathFactor`, `FactorHeld`, `pole` |
| KsmdStreamEnterer | Lean convention | KsmdStreamEnterer is the path-position reading over the first pair: rites released, view held on the seen run. It deliberately separates path display from the fruit cut. | `KannoSoe.Grid.KsmdStreamEnterer` | `FactorHeld`, `FactorReleased` |
| KsmdStreamWinner | Lean convention | KsmdStreamWinner is the fruit-position reading for stream entry: rites and view are released, and Lean proves it coincides with the existing stream-entry cut class. The terminology is a checked departure from treating sotapanna as only one undivided label. | `KannoSoe.Grid.KsmdStreamWinner`, `KannoSoe.Grid.ksmdStreamWinner_iff_streamEntry_cutClasses` | `KsmdStreamEnterer`, `FactorReleased` |
| KsmdOnceReturner | Lean convention | KsmdOnceReturner keeps the stream-winning fruit and adds a witnessed resolve hold on the seen run. Its extra checked content is attenuation, not a new cut class. | `KannoSoe.Grid.KsmdOnceReturner` | `KsmdStreamWinner`, `FactorHeld` |
| KsmdNonReturner | Lean convention | KsmdNonReturner is the fruit-position reading after resolve release. Lean proves it is exactly the non-return cut class, so the factor scheme remains a reading over the fetter lattice. | `KannoSoe.Grid.KsmdNonReturner`, `KannoSoe.Grid.ksmdNonReturner_iff_nonReturn_cut` | `KsmdOnceReturner`, `FactorReleased` |
| KsmdResolveAttenuation | Lean convention | KsmdResolveAttenuation gives once-return positive content: a strict resolve-class share-drop run whose final tendency has not reached the pole. | `KannoSoe.Grid.KsmdResolveAttenuation`, `KannoSoe.Grid.ksmdOnceReturner_attenuation_witness`, `KannoSoe.Grid.registerResolve_not_released` | `KsmdOnceReturner`, `re-pitch` |
| KsmdSerialFactorRegime | Lean convention | KsmdSerialFactorRegime is the conditional voice for factor order. If the supplied regime reads seen share-drops as rites before view before resolve, it promotes path readings to fruit readings; the grid never derives the regime or any frequency claim. | `KannoSoe.Grid.KsmdSerialFactorRegime`, `KannoSoe.Grid.ksmdSerialFactorRegime_conditional`, `KannoSoe.FactorsNegative.factor_order_underdetermined` | `KsmdResolveAttenuation`, `subitism/gradualism` |
| śraddhā | Canonical | Śraddhā means faith or trust. In this system it is modeled as an antecedent for testimony and path response, never as a field fact the grid can discharge by itself. | `KannoSoe.Grid.DirectedConvention.Factive`, `KannoSoe.Grid.DirectedConvention.KsmdNoNescience`, `KannoSoe.Grid.DirectedConvention.ksmdFaithOught_conditional` | `buddha-side shortfall`, `delivery` |
| icchantika | Canonical | Icchantika ordinarily names a being cut off from buddhahood. Here it is the terminus's inverse on an inhabited actual run, with a live self-pole index at every mounted response. It is reachable as a receiver and cannot be seated as an enlightened agent on that run. Permanent foreclosure is declined: defiance is a seed, not a rank. | `KannoSoe.Icchantika`, `KannoSoe.not_ksmdEffectiveTerminus_of_icchantika`, `KannoSoe.aversionContext_of_icchantika_reception`, `KannoSoe.icchantika_release_not_foreclosed` | `defiance`, `terminus`, `backsliding theorem`, `śraddhā` |
| tariki / other-power | Canonical | Tariki means other-power. In this system it is a delivery-regime reading, not a second act-grammar: the reception is still an ordinary weld. | `KannoSoe.Grid.DirectedConvention.KsmdTarikiLine`, `KannoSoe.Grid.DirectedConvention.reception_typing_ignores_sower`, `KannoSoe.TarikiCase.universal_fixed_call_lands_without_reading`, `KannoSoe.OtherPowerNegative.regime_does_not_determine_share` | `delivery-regime`, `weld` |
| pariṇāmanā / dedication | Canonical | Pariṇāmanā means dedication or turning over merit. In this system it is sowing-side share-cession whose routing is left to delivery rather than commanded by the act. | `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.CompoundPosition.ledgerPicture`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.CompoundPosition.ledgerPicture_decomposition`, `KannoSoe.Grid.DirectedConvention.BeingConvention.GridConvention.CompoundPosition.ledgerPicture_contains_legal_causalSkeleton`, `KannoSoe.Grid.DirectedConvention.SameAgentDelivery`, `KannoSoe.Grid.DirectedConvention.CrossAgentDelivery`, `KannoSoe.Grid.DirectedConvention.reception_typing_ignores_sower`, `KannoSoe.OtherPowerNegative.regime_does_not_determine_share`, `KannoSoe.OtherPowerNegative.share_does_not_determine_regime` | `share`, `delivery-regime`, `aimed call` |
| instructive absences | Theorems | Instructive absences are gaps the system keeps because they do diagnostic work. Lean mirrors them as data with status and numbering rather than treating them as forgotten cases. | `KannoSoe.InstructiveAbsence`, `KannoSoe.InstructiveAbsence.status`, `KannoSoe.InstructiveAbsence.number` | `declined case`, `generator` |
| ceded cosmology | Theorems | Ceded cosmology marks the rebirth boundary: the grammar of ownerless continuation is derived, but persistence across biological death, the realms, and their mechanism remain world-facts downstream of the mounted-response domain. The boundary is recorded as data, not crossed by a theorem. | `KannoSoe.InstructiveAbsence.rebirthCosmology`, `KannoSoe.InstructiveAbsence.rebirthCosmology_anchor` | `instructive absences` |
| identification claim | Identification | The identification claim says karma names the loop where the field carries diachronic relations and the weld enacts every index. It is a decomposition claim, not a stored-self claim. | — | `field`, `weld`, `index-question` |
| state-designation vs. act-fixing | Identification | State-designation names something over a standing base at a time; act-fixing makes the relevant index in the act itself. The contrast blocks a state-tool from ranging over karmic ownership. | `KannoSoe.Grid.stateToolFits_iff_atBot` | `standing/dated`, `weld` |
| offices-spine | Identification | The offices-spine is the list of traditional places where karmic ownership has work to do. The identification argues that each office discharges at act-time. | `KannoSoe.KsmdOwnershipOffice` | `identification claim`, `weld` |
| thin for-me-ness | Identification | Thin for-me-ness is pre-reflective givenness without appropriation. The system keeps the token-reflexive light needed by the weld and removes standing ownership. | — | `weld`, `arrogation` |
| Sartrean occupant | Identification | The Sartrean occupant is the remaining inhabitant of clench-as-structure after thin for-me-ness is pared back. It names anguish as a structure, not ownership as a stored thing. | — | `thin for-me-ness`, `clench` |
| sower-reaps split | Identification | The sower-reaps split separates the report that a delivery line exists from the ownership face made at reception. It keeps true field reporting away from standing ownership. | `KannoSoe.Grid.DirectedConvention.KsmdReportFace`, `KannoSoe.Grid.DirectedConvention.KsmdOwnershipFace`, `KannoSoe.Grid.DirectedConvention.KsmdVacuousOwnershipFace` | `delivery`, `reach-back` |
| personal-karma convention | Identification | A personal-karma convention restricts delivery to same-agent lines as a legal overlay. The restriction is floor-optional: it leaves reception typing neutral and becomes a freeze only when held as necessary. | `KannoSoe.Grid.DirectedConvention.reception_typing_ignores_sower`, `KannoSoe.OtherPowerNegative.regime_does_not_determine_share`, `KannoSoe.OtherPowerNegative.share_does_not_determine_regime` | `delivery-regime`, `sower-reaps split` |
| svakarma demotion | Theorems | The svakarma demotion lowers the claim that fruit ripens only in the doer's continuum from metaphysical necessity to contingent delivery-regime. It permits a personal-karma overlay without making that overlay signature law. | `KannoSoe.Grid.DirectedConvention.SameAgentDelivery`, `KannoSoe.Grid.DirectedConvention.CrossAgentDelivery`, `KannoSoe.Grid.DirectedConvention.reception_typing_ignores_sower`, `KannoSoe.OtherPowerNegative.regime_does_not_determine_share`, `KannoSoe.OtherPowerNegative.share_does_not_determine_regime` | `pariṇāmanā / dedication`, `personal-karma convention` |
| pole-typing corollary | Identification | The pole-typing corollary says the state-tool fits exactly where live welding ceases. At share-zero there is no live self-pole index for the tool to miss. | `KannoSoe.Grid.stateToolFits_iff_atBot`, `KannoSoe.Grid.no_self_pole_index_of_atBot` | `pole`, `index-question` |
| soul-guard | Identification | The soul-guard blocks storage by making the agent more empty, not more substantial. Both forward-facing and retrospective bearers are declined. | `KannoSoe.Grid.no_agent_recovery_of_field_collision` | `field`, `weld` |
| being trichotomy | Identification | The being trichotomy gives three readings: collapse deletes beings, freeze reifies a partition, and convention leaves naming free. It keeps designation useful without making it metaphysical. | `KannoSoe.Disclaimer.beingTrichotomy` | `being-convention`, `collapse/freeze` |
| hare's horn | Canonical | A hare's horn is the stock example of something nameable but unrealizable. In this system it shows that designation is constrained at use, not at the mere act of naming. | `KannoSoe.Disclaimer.hareHornRegister` | `being-convention` |
| Modal Realism | Canonical | Modal Realism treats possible beings as fully real. In this system it is the beings-row freeze: plenitude moved into ontology rather than left as conventional designation. | `KannoSoe.Disclaimer.modalRealismFreeze` | `being trichotomy`, `collapse/freeze` |
| disclaimers | Identification | The disclaimers are the paper's explicit flags for original or non-canonical moves. They say which precision remains prose even when Lean checks anchors, numbering, and structural constraints. | `KannoSoe.Disclaimer`, `KannoSoe.Disclaimer.number` | `instructive absences` |