Methodology 00 Via Rho: The Way of the Remainder
方法论00 余之道 · Via Rho

Abstract

This paper establishes Via Rho (the Way of the Remainder) as the methodological dual of Via Negativa. Methodology Paper VII systematized the apophatic tradition as a method of approaching Negativa through exclusion. This paper proposes Via Rho as its dual method: approaching Negativa by tracing the operative residue rather than by negating what it is not.

The paper proceeds in three main movements. First, it establishes that Via Rho is walkable as a complete method, tracing the remainder backward to Negativa as the condition of all operation. Second, it establishes that the two via share a single limit-indication—they both point to the same Negativa though from opposite directions, each revealing different structural facets. Third, it presents the paper's central structural finding: at the operational level, Negativa and remainder exhibit an asymmetric mutual causation structure. Negativa supplies the existential condition of the remainder (ontological direction); the remainder supplies the dynamic condition of Negativa's continued operation (kinetic direction). The two directions hold in different modalities, which is why the causation is mutual but not symmetric.

The asymmetric mutual causation is not a second axiom. It is a necessary corollary of Methodology Paper 0 at the operational level: Negativa is still the sole axiom, the remainder is still a theorem. What Methodology 00 contributes is a structural naming that makes explicit what was already implicit in Methodology 0—namely, that the two conservation results of Methodology 0 (the remainder is the product of not-negativa; the remainder drives the next operation) together form the asymmetric mutual causation structure.

This paper borrows Heidegger's Gleichursprünglichkeit from Being and Time §28 as a philosophical term to support the structural claim, but with an explicit boundary: only the equiprimordial structural sense is retained; the symmetric sense of Heidegger's original usage is not. The borrowing is consistent with how Living-toward-Death (DOI: 10.5281/zenodo.18808585) borrows Sein zum Tode—taking the structural insight, not the full Heideggerian ontological commitment.

Using the asymmetric mutual causation as an interpretive lens, the paper rereads three established structures in the SAE framework: the four phases of Methodology 0, the five cross-sections of the chisel-construct cycle in Methodology M, and the mutual non dubito structure at 16DD. Each rereading is a parallel perspective, not a replacement—the Methodology 00 reading runs alongside the original Methodology 0, M, and 16DD treatments without modifying them.

The paper closes with an acknowledgement: why Negativa and the remainder exhibit this asymmetric mutual causation is a question structurally isomorphic to Methodology 0's "where does Negativa come from"—it is thing-in-itself territory. Methodology 00 neither answers nor evades this question; it marks the boundary.

Main thesis: At the axiomatic level Negativa is sole; at the operational level Negativa and remainder are paired.

---

Statement of Layers

This paper explicitly adopts an axiomatic-level / operational-level layering as its argumentative structure. At the axiomatic level Negativa is the sole axiom, not subject to modification; at the operational level Negativa and remainder together form the asymmetric mutual causation structure. The two levels are each true within their own jurisdiction, and the arguments of this paper hold within this layering.

This layering is a working assumption of Methodology 00, not an independently established fact. Whether a third level might be missed by this bipartite layering is not argued here. Should a third level exist, the scope of this paper's main thesis would need to be reconsidered. The exhaustiveness of the two-level layering is preserved as a structural remainder of this paper (see §8, Remainder One).

Placing this statement before the main text reflects a foundational-paper honesty requirement. Every specific argument in this paper depends on this layering; readers should see the layering's status as a working assumption before entering the specific arguments. This neither weakens the specific arguments (each still holds within the layering) nor conceals the arguments' dependency (the layering itself is explicitly marked as assumable).

---

1. From Negativa to Remainder · The Reversal of Path

Methodology Paper 0 (Negativa · On Negation Prior to Being) argued that Negativa is the sole axiom of SAE; everything else is theorem. It proceeded by the method of exclusion, chipping away at what Negativa is not, until only the self-referential double-negative manifestation remained. This was a direct indication of Negativa.

Methodology Paper VII (Via Negativa) took the exclusion method itself as the object of systematic treatment, inheriting the apophatic tradition. From Pseudo-Dionysius to Maimonides to Nicholas of Cusa, two millennia of negative sequences peeled away layer after layer, approaching the unnameable. Methodology VII distilled the operational rules of this method: the form of exclusion principles, the C4 injunction against sanctifying the remainder, the boundary signals of self-referential closure. Via Negativa became the first fully-formulated method of approaching Negativa within SAE.

But Via Negativa is not the only method.

Each operation of Negativa leaves a remainder. Methodology 0 itself argues this point. The remainder (ρ) is the product of not-negativa (negativa interrogating itself); remainder conservation is the naming of Negativa's structural incompleteness. The remainder is not an external axiom imposed on the system; it is the necessary companion of any operation of Negativa.

This means the remainder is always present. So long as Negativa operates, the remainder is being left. Conversely, wherever there is a remainder, there is the trace of Negativa in operation.

This opens a second methodological path. Rather than entering from the Negativa side (by excluding what Negativa is not), one can enter from the remainder side (by tracing the traces of Negativa's operation). Tracing the remainder is, in effect, returning to the condition under which Negativa operates. This path runs in the opposite direction from Via Negativa, starts from a different point, but takes the same Negativa as its limit-indication. Both paths anchor the same non-objectifiable condition.

Methodology VII bears Via Negativa. Methodology 00 proposes Via Rho (the Way of the Remainder) as the methodological dual of Via Negativa.

The relation between the two via is duality, not rivalry and not supplementarity. Rivalry would suggest that one is closer to the truth than the other; duality means they are two different ways of approaching the same truth. Supplementarity would suggest that each fills the other's gap; duality means each is complete in itself but enters from a different direction.

The completeness of Via Negativa is already established in Methodology VII. Methodology 00's task is to establish the completeness of Via Rho. If Via Rho is indeed a dual method, it must satisfy two conditions. First, it must be a complete path with a clear starting point (the remainder) and a clear limit-indication (Negativa). Second, the limit-indication it reaches must be the same Negativa that Via Negativa reaches, not some other limit-object.

These two conditions constitute the argumentative task of the first half of Methodology 00. §2 establishes the walkability of Via Rho. §3 establishes the equivalence of the two via—that they share the same limit-indication. Beginning in §4, the paper enters the content that Via Rho alone can reveal: namely, what the structure of Negativa's operation looks like when approached from the remainder side, and how this presentation differs from but does not contradict the Via Negativa presentation.

The existence of Via Rho is in fact already hinted at in the text of Methodology 0. §2 of Methodology 0 states that the remainder is the product of not-negativa; the same section states that the remainder drives the next operation. Taken together, these two statements amount to acknowledging that once the remainder appears, it enters a reciprocal relation with Negativa. Methodology 0 did not develop this reciprocal relation because its main axis was preserving the purity of Negativa as sole axiom. But this reciprocal relation has been waiting there to be taken up. Methodology 00 does so.

The paper's numbering carries this structure. Methodology 0 points directly at Negativa. Methodology VII takes up Via Negativa, the method of approaching Negativa, as an independent paper. Methodology 00 proposes Via Rho, the methodological dual of Via Negativa. The two zeros in "00" correspond to the two endpoints of the Via Rho path: the first zero is the starting point (remainder), the second zero is the limit-indication (Negativa). The "via" in the middle is the empty space that no character carries—yet it is precisely this empty space that constitutes the locus of Methodology 00's entire argument.

For the historical development of the methodology numbering system and possible future reorganization directions, see the appendix.

---

2. The Walkability of Via Rho

Methodology 00's first argumentative task is to establish the walkability of Via Rho. If one cannot, starting from the remainder, actually arrive (in the limit-indication sense) at Negativa, then Via Rho is not a path but a mere metaphor.

This section argues that Via Rho is walkable. The argument proceeds in four steps: the remainder has directionality (2.1); this directionality can be traced (2.2); tracing has Negativa as condition of operation as its limit-indication (2.3); the tracing does not diverge but continually structurally unfolds (2.4).

2.1 The Directionality of the Remainder

The remainder is not neutral. It is a trace, and a trace structurally points to what left it.

In everyday usage, a trace is always a trace of something—footprints are footprints of a walker, scratches are scratches from a tool, scars are scars from an injury. The trace's structural property is not its content but its pointing-back. Without what left it, a trace is not a trace but just a random mark.

The remainder carries the same structural property. ρ is the mark of Negativa's operation—the sign that an operation has taken place and that this operation was not complete. If one tries to imagine a remainder independent of the operation that produced it, what one has is not a remainder but just some arbitrary thing. Remainder-ness consists precisely in pointing back to the operation.

This directionality is not imposed from outside; it is constitutive of what the remainder is. Methodology 0 has already established this: the remainder is the product of not-negativa. To say the remainder is a product is to say it has a producer; to say it has a producer is to say it points back to that producer. The directionality is internal to Methodology 0's own argument.

2.2 Directionality Can Be Traced

Having directionality is one thing; being able to trace that directionality is another. Via Rho requires the second, not just the first. An arrow pointing somewhere you cannot follow is not a usable path.

Tracing a directionality means executing an operation on the remainder that asks after its origin. For the remainder ρ, this means: given ρ as trace, what operation could have left this trace? The asking is itself an operation. It is a Negativa-operation directed at ρ—a new application of Negativa, one that takes the remainder as its object of interrogation.

Here lies the critical point: this tracing operation does not require importing any external tool. It uses Negativa itself. The tracing of ρ's directionality is simply another operation of the same Negativa that left ρ in the first place. Via Rho is not a method that needs some external mechanism to be grafted onto SAE; it is a use of Negativa itself that has been available all along.

Methodology 0 provides the structural basis for this: Negativa cannot not operate. If an operation is possible on ρ, then Negativa will operate on ρ. Tracing is such an operation. Therefore tracing is not merely possible—it is structurally available whenever there is a remainder to trace.

2.3 The Limit-Indication of Tracing Is Negativa as Condition of Operation

What is the limit-indication of tracing? This is where Via Rho's walkability argument reaches its core.

Starting from ρ and asking "what operation left this?" one arrives at a specific Negativa-operation. But that operation itself produced its own ρ, and moreover was enabled by a prior state of Negativa. Tracing the first operation points to the conditions of that operation—and the deepest condition is the availability of Negativa itself as the ability to operate at all.

Here a potential confusion must be dissolved. Might tracing arrive at a specific instance of Negativa (this operation, that operation) rather than Negativa itself? In the SAE framework, Negativa is not a multiplicity of operations but the sole axiom that makes any operation possible. Operations of Negativa are particular events; Negativa itself is the condition under which such events occur. Specific operations can be indexed (op_0, op_1, etc.), but the subject of all these operations is the same Negativa—Negativa has no multiple instances.

With this understood, tracing the remainder is returning to this unified structure. It is not induction to multiple Negativae, nor the identification of some specific operation, but the return to the same non-objectifiable condition of operation. The tracing has as its limit-indication Negativa as the condition that makes all operations possible—the same condition that Methodology 0 posits as axiom directly, now structurally displayed through the tracing of remainders.

Two paths have the same Negativa as their limit-indication. Via Negativa points to Negativa by excluding what Negativa is not; Via Rho takes Negativa as condition of operation as its limit-indication by tracing the directionality of the remainder. Opposite directions, same limit-indication.

2.4 Tracing Does Not Diverge: Each Step Further Displays

Here a potential objection must be addressed in advance.

The act of tracing the remainder is itself a new operation of Negativa, and this operation necessarily leaves a new remainder. Tracing the new remainder is another operation of Negativa, leaving yet another remainder. On and on: tracing seems to lead to a divergent infinite recursion in which the tracer is forever generating new remainders and never reaching Negativa itself.

This objection is based on an intuition about recursive structures: recursion means divergence. But Via Rho's tracing recursion is not divergent; it is an approach-recursion anchored by the same non-objectifiable condition.

Immediately, a clarification is needed. Directly using "monotonically convergent sequence" as the mathematical term to describe Via Rho's recursion would introduce a hidden problem—"monotonic convergence" presupposes a metric space, presupposes measurable distance. But Negativa is non-objectifiable; it cannot be placed in a metric space as a measurable coordinate point. If one says "the new remainder is closer to Negativa than the old remainder," what is the metric of this "closer"? How is "distance" to a non-objectifiable limit-object defined? That road is a dead end.

Via Rho's recursive convergence structure is not distance-descent in a metric space; it is nested stripping in the sense of topological covering. A more precise expression: nested filter sequence.

The structure is as follows. Each act of tracing unfolds the prior remainder, allowing what had appeared only as first-order trace to disclose, through being interrogated, the deeper structure it was pointing to. The new remainder carries an additional layer of reflection on the conditions of the old remainder. The new remainder is not "one step closer in distance to Negativa"; rather, it has stripped away one layer of "apparent closedness" from the old remainder. The old remainder, as a trace, has a surface shell of closedness; interrogation strips this shell, disclosing the deeper structure the trace was pointing to—this is the new remainder. The new remainder has its own shell; the next interrogation strips further. Each interrogation is an act of topological stripping, not metric distance-shortening.

This structure can be made precise as follows: ρ_j has a higher order of display than ρ_i if and only if ρ_j explicitly contains the tracing mark of ρ_i's conditions of production. This is a structural partial order, not a metric distance. We do not say "ρ_j is closer to Negativa by some measurable amount"; we say "ρ_j displays one more layer than ρ_i." The partial order of display-order is the precise meaning of Via Rho's recursive convergence.

Another analogy. Tracing is like a series of nested filters. Each newly produced remainder is a finer filter, inheriting the structure of the previous filter but carrying one more layer of interrogation marks on the prior layer. The mesh becomes ever finer, but the filter is never what it is trying to separate—Negativa. We cannot measure how far we still are from Negativa; we only know that the mesh is monotonically fining. The fining of mesh is a structural act of stripping, not a shortening of spatial distance.

So tracing is not loitering at the same structural level; each step strips further toward deeper structure. Each interrogation lets the remainder more display the condition it points to—Negativa as condition of operation. This is not rhetorical "closeness"; it is structural "one more layer displayed"—the new remainder has one less layer of un-interrogated closedness and one more layer of exposure to production-condition.

This topological-stripping structure takes Negativa as its limit-indication. Via Rho's recursion is anchored by the same non-objectifiable condition. "Takes Negativa as limit-indication" is the precise expression of this anchoring—each step of the recursion displays more of this condition's operation-trace, but the condition itself (Negativa) cannot be captured as a coordinate point to be reached. The recursion never "reaches" Negativa as a possessible endpoint; it only displays, at each step, a further indication toward Negativa.

This also responds to Zeno-type objections. Zeno's Achilles-and-tortoise paradox assumes divergent recursion requires infinite time and cannot terminate. Via Rho's tracing recursion is not Zeno-type—it is not infinite approach at the same structural level but nested sequence of topological stripping. Each step is a structural act of stripping, not a crossing of distance. Zeno's paradox, in the Via Rho context, is not dissolved but found inapplicable—Zeno's assumption concerns distance-motion in a metric space, while Via Rho concerns structural nesting in topological stripping. The two differ in the structure of the problem itself.

Via Rho's peculiar character shows here. It is not a method of waiting for revelation (one negation suffices to arrive), nor a method expecting completion (the argument ends when the derivation ends). It is a method of sustained interrogation. Each interrogation leaves the interrogator structurally one layer more displaying of indication toward Negativa. It is true one never reaches a possessible endpoint (Negativa is non-objectifiable), but no step is wasted. Each tracing is an actual structural stripping, not repetition in place.

2.5 Summary

Via Rho is walkable. Starting from the remainder and tracing its directionality, recursively unfolding this tracing, at each step the new remainder displays more in the sense of topological stripping, taking Negativa as condition of operation as its limit-indication. This path requires no external tool; the tracing operation is internal to Negativa's own operation.

Nested filter sequence is the core of Via Rho's walkability. It ensures three things. First, each step of tracing is an act of structural stripping, not repetition in place. Second, the tracing recursion is anchored by the same non-objectifiable condition. Third, tracing takes Negativa as limit-indication—neither diverging infinitely nor reaching a possessible endpoint. These three together are the feasibility of Via Rho as method.

With walkability established, the next question is whether Via Rho's limit-indication and Via Negativa's limit-indication are the same Negativa, or are two different limit-objects. This is the task of §3.

---

3. The Equivalence of the Two Via

This section argues that the two paths have the same Negativa as their limit-indication. The argument is developed in three levels: reference identity, formal outline of dual-paths, and equivalence-not-replaceability.

3.1 Reference Identity

Via Negativa takes as its limit-indication Negativa as the unnameable, unknowable, unconstructable limit-object. This is the description carried jointly by Methodology 0 and Methodology VII.

Via Rho takes as its limit-indication Negativa as the common condition of operation of all remainders. This is the description established in §2.

Two descriptions point to the same object. The argument's crux is whether these two descriptions structurally co-refer within the SAE axiomatic structure.

"Unnameable, unknowable, unconstructable" limit-object: unnameable because naming is constructing and so is not possible; unknowable because knowing presupposes subject-object separation and subject-object separation is the result after Negativa has already operated; unconstructable because construct is the sediment of Negativa's operation, not Negativa itself. These three "un-" together give Methodology 0's negative definition of Negativa.

"Common condition of operation of all remainders": the condition that all remainders commonly indicate must itself be unnameable (if it had a name, the name itself would be a kind of construct; but it is the condition of construct, not a construct), must be unknowable (knowing means objectifying it, but it is the antecedent of subject-object separation and cannot be objectified), must be unconstructable (all constructs are products of its operation, not itself).

The three properties (unnameable, unknowable, unconstructable) of the two descriptions correspond one-to-one. This is not coincidence. The correspondence holds because the two descriptions refer to the same object, merely describing it from different angles. Via Negativa describes from the angle of "excluding what it is not," yielding the three "un-"s. Via Rho describes from the angle of "what the traces of its operation commonly indicate," yielding "common condition of operation." But for this common condition of operation to carry the role of what all remainders commonly indicate, it must be unnameable, unknowable, unconstructable.

The two descriptions structurally co-refer within the SAE axiomatic structure. Here the background premise of the argument must be made explicit—Methodology 0 has already argued two propositions: "Negativa is prior to 0DD" and "Negativa's operation necessarily leaves a remainder." Against this background, "the unnameable-unknowable-unconstructable limit-object" and "the common condition of operation of all remainders" refer to the same object. Specifically: the "unnameable-unknowable-unconstructable" as the negative definition of Negativa, combined with the Methodology-0-established proposition "Negativa's operation necessarily leaves a remainder," together necessarily entails "it is the condition that all remainders commonly indicate." Conversely, "the common condition of operation of all remainders" as a description of the remainder's indication-face, combined with the Methodology-0-established proposition "the remainder is the product of Negativa," together necessarily entails "this condition has a status more foundational than any product—that is, it is unnameable, unknowable, unconstructable."

To be clear: this co-reference is not a background-independent purely logical mutual entailment. It depends on the axiomatic structure Methodology 0 has already established. Outside this axiomatic structure, "unnameable-unknowable-unconstructable" and "common condition of operation of all remainders" could be interpreted as referring to different objects—many limit-objects can be described as unnameable-unknowable-unconstructable, but not all of them automatically become "common conditions of operation of remainders." So the argument here is "within the SAE axiomatic structure, the two descriptions structurally co-refer," not "in any philosophical framework, the two descriptions are logically mutually entailed."

So the two descriptions refer to the same object. Via Negativa and Via Rho take the same Negativa as their limit-indication.

3.2 Formal Outline of Dual-Paths

Reference identity is the philosophical argument of this section. A more formal outline can aid understanding this structure. The outline borrows the dual concept from category theory, but only for its structural intuition—not as strict proof.

Consider two limit-paths. Via Negativa's path starts from a sequence of negations "Negativa is not X," proceeding by layered exclusion toward the limit-object. Each item in the sequence is an excluded "not"; the sequence as a whole anchors Negativa at its limit. Via Rho's path starts from the remainder and follows its directionality of tracing, taking condition of operation as its limit-indication. Each item in the sequence is a new remainder; the sequence as a whole anchors Negativa as condition of operation at its limit.

The two paths run in opposite directions. One takes as its limit-indication the limit-object from the negative-description sequence; the other traces back from product-sequence to the common condition of the products. But they anchor the same non-objectifiable condition.

This structure corresponds in category theory to the general pattern of dual categories sharing a limit object, formally resembling the adjoint-pair structure. Left adjoint and right adjoint constitute a pair of functors in opposite directions, anchoring the same object at the limit. Via Negativa and Via Rho can be viewed as such a pair of opposite-direction approach processes, anchoring the same Negativa at the limit position.

A terminological note. In discussing adjoint-pairs, this section uses "endpoint" or "sharing their endpoint" as category-theoretic mathematical expressions—corresponding to terminal object or universal object in category theory, a structural-sense limit-position rather than a reachable coordinate point. This does not conflict with §2.4's established claim that "Negativa is non-objectifiable and cannot be reached as a coordinate point"—the latter is a claim at the SAE ontological level, the former is an expression at the mathematical-structural level. The two levels are each precise in their domain.

This paper uses this expression as heuristic isomorphism, not as strict category-theoretic proof. Strict formalization would require precise definitions of categories, objects, morphisms, adjoint functors, and other technical details—these are not Methodology 00's task. Methodology 00 borrows the structural intuition of adjoint-pair to obtain a formal outline, letting the intuition of "two paths in opposite directions sharing the same limit-indication" have a mathematical counterpart. Strict formalization is left to a subsequent mathematical appendix or independent paper.

This borrowing has one practical benefit. It lets readers unfamiliar with philosophical argumentation understand Methodology 00's basic claim via a known mathematical structure. Category-theoretically-trained readers see adjoint-pair and immediately understand that "opposite directions sharing a limit-indication" is a natural structure. Philosophically-trained readers can understand the same point through the familiar Via Negativa and the newly introduced Via Rho. The two training backgrounds meet here.

3.3 Duality at Different Levels

The two via are equivalent but do not replace each other. Equivalence means both paths have the same Negativa as their limit-indication. Not replacing each other means the ways in which they approach this limit-indication differ in structure, revealing different facets of Negativa.

The two via have a clear epistemological dual position. Via Negativa is an a posteriori approach; Via Rho is an a priori approach. Via Negativa starts from already-given constructs, excluding layer by layer; each step's work depends on the presence of already-available content; each exclusion presupposes that some construct at the phenomenal layer is first proposed and then negated. Via Rho does not start from phenomena; it starts from the a priori fact that the remainder is the necessary companion of Negativa's operation. "The remainder exists" is not an empirical observation; it is a structural feature of Negativa's operation itself. Tracing the remainder is tracing this a priori feature back to its position as antecedent condition of operation.

This a priori / a posteriori correspondence connects directly with the epistemological map of Methodology Paper II. Methodology Paper II established the 2×2 structure of cognitive operation: direction axis (a priori / a posteriori) × operation axis (synthesis / analysis), giving four quadrants of deduction, reduction, induction, abduction. Methodology II argues that none of the four quadrants can be stopped in—they must all be traversed—but it does not propose the traversal-process itself as a method. Methodology 00's contribution is to propose the two via explicitly as the methodological self-awareness of traversing the two axes. Via Negativa is the methodological self-awareness of traversing the a posteriori axis (induction and abduction quadrants); Via Rho is the methodological self-awareness of traversing the a priori axis (deduction and reduction quadrants). Together the two via cover the entire 2×2 map of Methodology II, constituting the complete methodological realization of the four-quadrant traversal Methodology II described.

Methodology 00 and Methodology II thus have deep duality. Methodology II discusses methodological movement at the subject level (the subject is pushed to traverse the four quadrants by the remainders); Methodology 00 discusses the structure at the operational-ontological level (Negativa operates, leaves the remainder, the remainder drives the next Negativa). The two are isomorphic: Methodology II's "remainders push the subject to traverse" and Methodology 00's "the remainder drives the next Negativa" are the same structure displayed at two description levels. Methodology II is Methodology 00 specified at the subject-cognitive level; Methodology 00 is Methodology II grounded at the operational-ontological level.

On this epistemological basis, the two via reveal different facets of Negativa.

Via Negativa reveals Negativa as limit. By excluding what Negativa is not, Via Negativa displays Negativa as the limit point of all "is-not"s. This limit is a static, unreachable, border-position existence. Negativa, from the Via Negativa perspective, is the common exterior of all exclusions, the residual position that no positive description can cover. This role corresponds mathematically to a topological limit—the unreachable boundary outside the closure.

Via Rho reveals Negativa as condition. By tracing the directionality of the remainder, Via Rho displays Negativa as the common condition of all operation. This condition is a dynamic, continuously-present, antecedent-position existence. Negativa, from the Via Rho perspective, is the source condition of all operation, the invisible support that every operation necessarily presupposes. This role corresponds mathematically to an analytic limit—the target value of sequence convergence.

The two "limits" are the same Negativa, but they play structurally different roles. The topological limit is the boundary of spatial structure; the analytic limit is the target of sequence convergence. Negativa simultaneously plays both roles. In Via Negativa, it is approached as topological limit (unreachable boundary); in Via Rho, it is traced as analytic limit (convergence target of sequence).

This structural difference makes the two via each irreplaceable.

The risk of using only Via Negativa is that Negativa displays as purely negative object, unnameable-unknowable-unconstructable nearly to the point of emptiness. Negativa as topological limit is precise but lacks a sense of presence. Readers might ask: what difference is there between this purely negative thing and nothingness? Via Negativa cannot answer directly; it can only continue by excluding "Negativa is not nothingness."

The risk of using only Via Rho is that Negativa displays as purely operational condition, approaching a kind of dynamic background. Negativa as analytic limit is present but might be misread as an entity-ized first cause. Readers might ask: what difference is there between this continuously-present condition and an original entity? Via Rho cannot answer directly; it can only handle this by emphasizing Negativa's non-objectifiability.

Together, the two via let readers see both Negativa's unreachability-as-limit (Via Negativa) and Negativa's continuous-presence-as-condition (Via Rho). Unreachability prevents Negativa from being entity-ized; continuous presence prevents Negativa from being void-ized. The two paths mutually defend against each other's possible misreading risks while revealing Negativa's dual structure.

This is the meaning of the two via as methodological duals. Not that one replaces the other, but that the two together carry the complete approach to Negativa. Methodology VII and Methodology 00 are each irreplaceable in the SAE methodology series.

3.4 ZFCρ as the Mathematical Carrier of Via Rho

The philosophical argument above establishes Via Rho as a dual method of Via Negativa at the methodological level. SAE's mathematical work has a corresponding realization: the ZFCρ series is the mathematical carrier of Via Rho.

ZFCρ's first paper (DOI: 10.5281/zenodo.18842458) argues a specific methodological fact: ZFC's extensional closure reduces operative acts to extensional artifacts, and this reduction leaves a ρ as structural cost. This ρ is not a defect of ZFC; it is what is paid for achieving extensional closure. ZFC cannot absorb ρ within its own axiomatic system because if it could absorb it, extensional closure would be compromised.

The structural relation between this ρ and Methodology 00's ρ is precise correspondence. Methodology 00's ρ is the remainder left by Negativa's operation—the necessary trace of the operation's incompleteness. ZFCρ's ρ is the remainder left by ZFC's extensional-closure operation—the necessary trace of this operation's incompleteness at the set-theoretic level. Both are the mark of an operation's incompleteness; both are tracked by Via Rho.

This correspondence is not coincidence. It is the concrete realization of Via Rho at the mathematical level. Methodology 00 proposes Via Rho as a method of philosophical-level tracking of the remainder. ZFCρ realizes this tracking at the set-theoretic level. The two work in the same direction, tracking the ρ left by a specific operation (Negativa's operation / ZFC's extensional-closure operation) to meta-level reveal what that operation is.

ZFCρ's three laws of chaos (ρ ≠ ∅, directionality, F(ρ) ≠ ∅) correspond directly to the three sentences of 0DD in Methodology 0 ("cannot not develop," "negation cannot terminate," "negation stops when it encounters the un-negatable"). This one-to-one correspondence is not an externally imposed analogy; it is the structural consistency between the mathematical-level Via Rho and the philosophical-level Via Rho. The same Via Rho method, applied to two layers, yields the same structural results.

This also explains a feature of the SAE methodological layout: why both Via Negativa as a philosophical method (carried by Methodology VII) and ZFCρ as mathematical work are needed. It is not because philosophy and mathematics are two independent disciplines each expanding independently; it is because Via Rho and Via Negativa as methodological duals must simultaneously expand in both disciplines. SAE uses Via Negativa in philosophical work (carried by Methodology VII); it uses the mathematization of Via Rho in mathematical work (carried by ZFCρ). The two work-lines are themselves a reflection of the methodological duality at the disciplinary level. Methodology 00's contribution is to explicitly propose the philosophical basis of this layout, letting Via Rho as an independent method obtain self-aware carriage at the methodological level.

3.5 Summary

Via Rho and Via Negativa take the same Negativa as their limit-indication. The argument unfolds in four levels: reference identity of the two descriptions (3.1), formal outline of dual-paths (3.2, heuristic isomorphism), the two via revealing different facets of Negativa at different levels (3.3, unreachable limit vs. continuously-present condition), and Via Rho's concretization at the SAE mathematical level (3.4, ZFCρ as the mathematical carrier of Via Rho).

Equivalence is established. Both paths anchor the same non-objectifiable condition. But equivalence does not mean replaceability: the two via reveal different structural facets of Negativa, each irreplaceable.

By this point, the first-half argumentative tasks of Methodology 00 are complete: Via Rho is walkable (§2), and Via Rho and Via Negativa are equivalent but reveal different structures of Negativa at different levels (§3). The second half of Methodology 00 enters the content that Via Rho alone can reveal: namely, what the structure of Negativa's operation presents when looked at from the remainder side.

This is the task of §4.

---

4. Asymmetric Mutual Causation · The Basic Finding of Via Rho

The first three sections established Via Rho as the methodological dual of Via Negativa. §2 argued Via Rho is walkable; §3 argued the two via take the same Negativa as limit-indication but at different levels reveal different facets of Negativa. These three sections established the legitimacy of Via Rho as an independent method.

Starting in §4, Methodology 00 enters the second half. This part's task is no longer to establish that Via Rho is walkable, but to present what Via Rho, walked as an independent method, reveals. Via Rho as an independent method reveals structures of Negativa that Via Negativa, in its own perspective, does not see. This is Methodology 00's central contribution as an independent work.

The central finding is asymmetric mutual causation.

4.1 Precise Definition of Asymmetric Mutual Causation

Mutual causation refers to a relation between two items A and B satisfying the following two conditions.

First, A cannot operate independently of B. A as operating subject requires B as the corresponding term of the operation. Without B, A's operation cannot proceed.

Second, B cannot exist independently of A. B as existing item depends on A's operation to be produced. Without A, B does not appear at any level of existence.

When these two conditions hold simultaneously, A and B are in a relation of mutual causation.

But this definition requires an immediate clarification. The modalities of the two conditions are different. The first condition speaks of the operational level (A cannot operate); the second condition speaks of the existential level (B cannot exist). The two conditions are not two symmetric faces of the same relation; they are two directions at different modalities.

This is asymmetric mutual causation. Symmetric mutual causation would require A and B to be mutually dependent at the same modality (for example, both cannot exist, or both cannot operate). Asymmetric mutual causation requires only that the two directions hold simultaneously at different modalities. Mutual causation's structural character consists in the two directions holding simultaneously; it does not consist in the two directions being at the same modality.

This asymmetry is one of the most critical clarifications in the paper. Without this clarification, readers would default to reading the mutual causation as symmetric, inferring from there that the two items have equal status. Under asymmetric mutual causation, A and B cannot at their respective modalities be independent of each other, but their ontological statuses are themselves not equal.

4.2 Negativa and Remainder Satisfy the Asymmetric Mutual Causation Definition

Substituting Negativa and remainder into the definition above.

Negativa cannot operate independently of the remainder. This is a direct corollary of the remainder conservation Methodology 0 has already argued. Methodology 0 argues that every operation of Negativa must be incomplete, and the incompleteness manifests as remainder. The most original operation is Negativa interrogating itself (not-negativa), and this operation produces the most original remainder. Any subsequent operation of Negativa inherits this structural incompleteness, leaving a remainder. Conversely, Negativa cannot operate without producing a remainder—there is no "pure Negativa-operation" with no accompanying remainder. So Negativa cannot operate independently of the remainder.

The remainder cannot exist independently of Negativa. This too is already argued in Methodology 0. The remainder is not an independent entity; it is the trace left by Negativa's operation. A trace ontologically depends on the operation that produced it—without the operation, there is no trace. The most original trace comes from not-negativa's original operation; any subsequent remainder is a trace of Negativa's operation. So without Negativa's operation there is no remainder appearing. The remainder cannot exist independently of Negativa.

Both conditions hold simultaneously. Negativa cannot operate independently of the remainder (operational-level direction); the remainder cannot exist independently of Negativa (existential-level direction). The modalities of the two directions differ. Negativa's direction concerns whether operation can proceed; the remainder's direction concerns whether existence can appear.

Negativa and remainder therefore satisfy the definition of asymmetric mutual causation.

This satisfaction is an integration of Methodology 0's content. Methodology 0 separately argued two things: the remainder is the product of not-negativa (negativa interrogating itself as the original operation), and the remainder drives the next operation of Negativa. These two arguments are placed in Methodology 0 to preserve the purity of Negativa as sole axiom—both arguments explain that the remainder is not an independent thing; all aspects of the remainder (origin and function) hang on Negativa. Methodology 00 combines these two arguments, seeing that together they are exactly the two directions of asymmetric mutual causation: the remainder comes from not-negativa (existential-level dependence); the remainder drives Negativa's continued operation (operational-level dependence). Methodology 0's argumentative results are not changed; only the structure they together display receives a new naming.

It is worth making one specific point explicit. The most original remainder is directly produced by not-negativa. Here a strict clarification is needed: this is not "most original" in the temporal sense, but "most foundational" in the logical-architectural sense. There is no "moment at which Negativa was isolated in stillness and had not yet produced a remainder." Negativa's axiomatic uniqueness is not temporal "priority" (prior in time) to the remainder but logical priority (ontological priority)—Negativa as sole axiom is the structural antecedent of what defines Negativa as Negativa, not the first moment in a temporal sequence.

The presence of Negativa is the presence of operation; the presence of operation is the presence of the remainder. When this paper says "the most original not-negativa produces the most original remainder," it describes the foundational form of the logical architecture, not the first second of a cosmic event. Time itself is a product of 3DD (Methodology 0 §8 already argues this); Negativa is prior to 3DD, so Negativa cannot be placed in a temporal sequence to speak of "before" and "after." Asymmetric mutual causation describes the structural simultaneity of what Negativa is as Negativa—Negativa and remainder are modally asymmetric (Negativa is source, remainder is trace) but absolutely co-present in manifestation (Negativa's presence is the remainder's presence).

All subsequent remainders share this foundational form. Each operation of Negativa leaving a remainder is a structural feature of Negativa as operation itself, not a feature that appears only at some stage of Negativa's unfolding. Asymmetric mutual causation is a structure that necessarily accompanies Negativa the moment operation begins. This foundational character secures asymmetric mutual causation's status as the basic structure of Negativa's operation, not merely as a relation that appears only under certain conditions.

4.3 Asymmetric Mutual Causation Is Not Accidental Pairing of Two Independent Components

This section guards against a possible misreading.

Mutual causation could be read as a special interdependence between two independent entities. On this reading, Negativa and remainder are two items each capable of independent existence, which happen to depend on each other under certain conditions. This reading makes asymmetric mutual causation look like a potentially-not-obtaining accidental relation—if conditions change, Negativa and remainder could each stand alone and the mutual causation relation would dissolve.

This reading is wrong.

Asymmetric mutual causation in the case of Negativa and remainder is not an accidental relation but a necessary one. This necessity comes from Methodology 0's remainder conservation. Methodology 0 argues that Negativa's operation is necessarily incomplete, and every incompleteness necessarily manifests as remainder. This necessity is not a necessity that holds only under some conditions; it is a structural feature of Negativa as operation itself. Negativa cannot "under some conditions operate completely" while "under other conditions operate incompletely"—Negativa is forever incomplete, forever leaving a remainder.

This necessity rules out the possibility of Negativa operating independently. A Negativa that could operate independently of a remainder would not be the Negativa Methodology 0 argues for; it would be something else. Methodology 0's Negativa is precisely the Negativa whose every operation must leave a remainder. So the asymmetric mutual causation of Negativa and remainder is not a relation between Negativa and remainder; it is a structural feature of Negativa as Negativa.

Conversely, the remainder is not something that depends on Negativa only under some conditions. The remainder just is the trace of Negativa's operation; the very concept of trace presupposes the producer of the trace. One cannot conceive of "a trace that does not depend on a producer"—that is not a trace but some other thing. So the remainder's dependence on Negativa is not a state of the remainder but a structural feature of the remainder as remainder.

Both sides together, the asymmetric mutual causation of Negativa and remainder is a structural feature of each being what each is, not an accidental relation between two independent entities. This necessity is the key guarantee of asymmetric mutual causation as Methodology 00's central finding. If mutual causation were merely accidental, Methodology 00 would only be describing a specific situation. Because mutual causation is necessary, what Methodology 00 reveals is the basic structure of Negativa in any operational situation.

4.4 The Relation Between Asymmetric Mutual Causation and Methodology 0's "Negativa Interrogates Itself"

One of the core arguments of Methodology 0 is that Negativa as sole axiom manifests through self-interrogation. Methodology 0 §2 unfolds this self-interrogation. Negativa interrogates Negativa itself, producing double negation, which produces the four phases. This is Methodology 0's basic move from Negativa to the four phases.

What is the relation between this core move of Methodology 0 and Methodology 00's asymmetric mutual causation? Are they two different structures or the same structure?

The answer is: the same structure manifesting at two levels. Negativa interrogating itself is the minimal unit of asymmetric mutual causation.

Specifically. When Negativa interrogates itself, the act of interrogation is itself an operation of Negativa. This operation has two participating items: Negativa as interrogator and Negativa as interrogated object. Both participating items are Negativa, but they play different roles in this interrogation. The interrogator performs the act; the interrogated object is established as the target.

The relation between these two roles is precisely the minimal unit of asymmetric mutual causation. The interrogator cannot operate independently of the interrogated object (without the interrogated object, the interrogation is empty). The interrogated object cannot exist independently of the interrogator's operation (without interrogation, there is no "interrogated object" position). The two directions are modally different—one is at the operational level (whether the interrogator can operate), the other at the existential level (whether the interrogated object can exist in the sense of being interrogated).

This is what it means to say that Negativa interrogating itself is the minimal unit of asymmetric mutual causation. The core move of Methodology 0 is not an independent special mechanism; it is the manifestation of asymmetric mutual causation in its most compact form.

This understanding brings two important consequences.

First, Methodology 00's asymmetric mutual causation is not an addition to or modification of Methodology 0. It is the structural naming of Methodology 0's core move. Methodology 0 uses the verbal phrase "Negativa interrogates itself" to refer to that core move. Methodology 00 uses the noun phrase "asymmetric mutual causation" to refer to the structure of the same move. Both refer to the same object; only Methodology 0, from the Via Negativa perspective, names it as an operational process, while Methodology 00, from the Via Rho perspective, names it as a structural relation.

Second, asymmetric mutual causation as the basic structure at the operational level is already established at the original position of Negativa interrogating itself. Methodology 0 develops the four phases from the interrogation; Methodology 00 develops the four phases from asymmetric mutual causation (§5's task). The two derivation chains handle different expansion directions of the same original structure. Methodology 0 unfolds it as the generation order of the four phases and the remainder; Methodology 00 unfolds it as asymmetric mutual causation's manifestation at different levels. The two expansions are complementary, not conflicting.

This section has made Methodology 00's relation to Methodology 0 clear. Methodology 00 does not add a new axiom, nor does it discover a new structure Methodology 0 did not see. Methodology 00 looks at the original move Methodology 0 has already unfolded, but from the Via Rho perspective, and gives this move a structural naming. The naming itself is Methodology 00's contribution—only with the naming can the subsequent sections of mutual-causation rereading (§5 on four phases, §6 on five cross-sections, §7 on 16DD) happen. Without the name "asymmetric mutual causation," these rereadings would have no conceptual handle.

At this point, asymmetric mutual causation as a concept has been established. The next subsections (4.5 to 4.7) enter formal expression, philosophical-term support, and the explicit handling of thing-in-itself reservation.

4.5 Formal Expression

The first four steps established asymmetric mutual causation as concept through prose. This step provides a formal expression, anchoring the concept in symbols.

The basic unfolding of asymmetric mutual causation can be written in the following form.

$$\mathcal{N} \xrightarrow{\text{op}_i} \rho_i \xrightarrow{\text{drive}} \mathcal{N} \xrightarrow{\text{op}_{i+1}} \rho_{i+1}$$

Here $\mathcal{N}$ is the unnameable indication of Negativa; $\text{op}_i$ is the $i$-th operation of Negativa; $\rho_i$ is the remainder (trace of incompleteness) produced by the $i$-th operation. Arrows express two different directions: $\mathcal{N} \xrightarrow{\text{op}_i} \rho_i$ is the ontological direction (Negativa's operation produces remainder); $\rho_i \xrightarrow{\text{drive}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ is the kinetic direction (remainder drives Negativa's next operation).

The symbolic distribution of this formula itself encodes the asymmetry.

$\mathcal{N}$ has no subscript. No matter how many times $\mathcal{N}$ appears in the formula, it refers to the same Negativa. A subscript on $\mathcal{N}$ does not appear and need not appear—Negativa as sole axiom needs no version numbering. Each op acts on the same $\mathcal{N}$; there is no "the $i$-th Negativa" and "the $i+1$-th Negativa" as different versions.

What is subscripted is op (operation) and ρ (product). op has subscript $i$ because operations have ordinal-sense unfolding—the $i$-th operation and the $i+1$-th operation are different positions in the derivation sequence. ρ has subscript $i$ because each operation's remainder is distinguishable—$\rho_0$ is the most original remainder produced by the most original operation; $\rho_1$ is the remainder produced by the next operation; and so on. These remainders have their own specific trace-forms; they are not the same thing.

The asymmetric symbolic distribution ($\mathcal{N}$ without subscript, op and ρ with subscript) directly corresponds to the conceptual asymmetry. Negativa is a unified indication without subscript—the symbolic expression of axiomatic-level uniqueness. Remainder is a distinguishable trace with subscript—the symbolic expression of operational-level multiplicity. Operation is a specific event with subscript—the symbolic expression of operational-level unfolding. At a glance, the formula tells the reader: Negativa and remainder are not equal; one is a unified indication (no subscript), the other is a distinguishable product (with subscript).

The precise meaning of the subscripts must be made clear. Subscripts $i$ and $i+1$ are not markers of physical time; they are ordinal indices of logical derivation. Time itself is a product of 3DD (Methodology 0 §8 already argues this); Negativa is prior to 3DD, so Negativa's operation sequence cannot be understood as a temporal sequence. Interpreting subscripts as time would pull Negativa into the temporal structure, violating the structural fact that Negativa is prior to time. The correct understanding of subscripts is: they mark the depth of logical unfolding or the depth of fractal nesting, not the passage of time.

The same clarification applies to the arrows. The arrow $\mathcal{N} \xrightarrow{\text{op}_i} \rho_i$ is not a "Negativa then remainder appears" temporal-order relation. The arrow expresses the structural direction of asymmetric mutual causation: Negativa provides the existential condition of the remainder (ontological direction). This "providing" is not temporal before-and-after but structural dependence. $\rho$ structurally depends on $\mathcal{N}$ as its producing condition, and this dependence does not require temporal passage—it holds structurally at every unfolding of asymmetric mutual causation.

The starting-point state is at the position $i = 0$: $\mathcal{N} \xrightarrow{\text{op}_0} \rho_0 \xrightarrow{\text{drive}} \mathcal{N} \xrightarrow{\text{op}_1} \rho_1$. Here $\text{op}_0$ is the original operation of Negativa interrogating itself (i.e., not-negativa); $\rho_0$ is the original remainder produced by the original operation. This starting-point state corresponds to the foundational form discussed in §4.2—Negativa's axiomatic uniqueness and Negativa's operation are structurally simultaneously present; through $\text{op}_0$ as the original move, this manifests as a structurally co-present event (not a first moment in time).

Refinement of the Formalization: Distinction Between Construct and Remainder

The above formula expresses the basic structure of asymmetric mutual causation. But what op produces when it acts on $\mathcal{N}$ is actually not only ρ but also "construct" from Methodology M's five cross-sections. Construct and remainder are two different facets of the same action of op—construct is the sediment, remainder is the part the sediment cannot enclose. In Methodology M the two are independent cross-sections; Methodology 00 must preserve this independence.

The refined formula is written as follows.

$$\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i) \xrightarrow{\rho_i \text{ drives}} \mathcal{N} \xrightarrow{\text{op}_{i+1}} (C_{i+1}, \rho_{i+1})$$

Here $C_i$ is the construct (sediment) produced by the $i$-th operation, and $\rho_i$ is the remainder (the part of the sediment that cannot be enclosed) left by the $i$-th operation. $C_i$ and $\rho_i$ are two products of the same action of $\text{op}_i$, not the same thing. The drive to the next operation comes from $\rho_i$, not from $C_i$—construct itself does not push the next operation; only the un-enclosed part of the construct (i.e., the remainder) pushes the next operation.

This refinement handles several things.

First, it prevents the "construct = ρ" misreading. The ρ in the basic formula only represents the remainder, not the construct. The construct gets an independent position in the refined formula. The five cross-sections of Methodology M include chisel, construct, and remainder as three different cross-sections; Methodology 00's formula must preserve this distinction.

Second, it lets Methodology 00's formalization connect directly with ZFCρ. ZFCρ's first paper argues that ZFC's extensional closure reduces operative acts to extensional artifacts, and this reduction leaves a ρ as structural cost. The $(C_i, \rho_i)$ in the refined formula precisely corresponds to this structure—$C_i$ is the extensional artifact (sediment), and $\rho_i$ is the operative trace that $C_i$ cannot absorb. The refined formula gives Methodology 00 and ZFCρ a symbol-level precise connection.

Third, it provides a formal handle for §6's rereading of the five cross-sections. §6 argues that the five cross-sections of the chisel-construct cycle are manifestations of asymmetric mutual causation at different granularities. In the refined formula, op corresponds to chisel (the operation itself), $C_i$ corresponds to construct (sediment), and $\rho_i$ corresponds to remainder (incompleteness). The bridge in the five cross-sections corresponds to the mechanism of transition from $\rho_i$ to $\text{op}_{i+1}$; thing-in-itself corresponds to the self-closure limit encountered in interrogating $\mathcal{N}$ itself. The refined formula gives §6's rereading a specific symbolic correspondence.

The basic formula $\mathcal{N} \xrightarrow{\text{op}_i} \rho_i \xrightarrow{\text{drive}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ and the refined formula $\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i) \xrightarrow{\rho_i \text{ drives}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ each have their use. The basic formula is used when discussing the overall structure of asymmetric mutual causation (the focus of argument is the Negativa-remainder relation). The refined formula is used when discussing the correspondence between Methodology 00 and Methodology M's five cross-sections, and the connection with ZFCρ (the focus of argument is the construct-remainder distinction). The two-layer formulas run in parallel in Methodology 00; the latter does not replace the former.

On the Nature of This Formalization

An honest note is needed. The above formulas are not standard expressions inherited from some philosophical tradition; they are symbolic languages specifically coined by Methodology 00 for the asymmetric mutual causation structure. The structural inspiration comes from the formal shell of the general recursive relation $x_{n+1} = f(x_n)$ in mathematics, but the specific symbolic distribution ($\mathcal{N}$ without subscript, op and ρ with subscripts) and arrow-direction meaning are designed by Methodology 00 according to the structural features of asymmetric mutual causation.

In philosophical tradition there are partial counterparts, but each differs from Methodology 00's formula at a key point.

Hegel's thesis-antithesis-synthesis is a three-step recursive structure, but Hegel's three items are all content-bearing objects; each step unfolds new content, and synthesis is higher than both thesis and antithesis. Methodology 00's $\mathcal{N}$ is content-less; ρ is a structural trace not content; the next op still acts on the same $\mathcal{N}$, not on some higher synthesis. Methodology 00 does not take Hegel's spiral-ascent path.

Buddhism's twelve-link dependent origination (ignorance, volitional formation, consciousness... to old-age-and-death) is structurally the closest recursive precedent, but the twelve links are different items—each is an independent level of existence or psychological state. Methodology 00's $\mathcal{N}$ under each op is the same Negativa, not a linear unfolding through twelve different links. The twelve-link dependent origination needs external intervention (nirvana) to terminate; Methodology 00's recursion is internal, needing no external intervention.

Whitehead's process philosophy's bipolarity (physical pole and mental pole) has a certain source-structural quality, but both poles are active items. Methodology 00's $\mathcal{N}$ and ρ are asymmetric—$\mathcal{N}$ is source, ρ is trace.

Deleuze's Difference and Repetition has a "sameness unfolding through difference" structure, but Deleuze's position is that difference is prior to sameness; Methodology 00's position is that sameness (Negativa as sole) is prior to multiplicity (remainder as many). The directions are opposite.

Heidegger's Ereignis involves a mutual belonging of Being and Dasein, but Heidegger does not formalize this relation; he uses interpretive phenomenological description. Methodology 00 borrows Heidegger's Gleichursprünglichkeit as a specific term (see §4.6), not the entire thought-structure of Ereignis.

Listing these partial counterparts is not to seek family ties with philosophical traditions but to let readers see in what sense Methodology 00's formula is new. The formal shell (recursive structure) has precedents in both mathematics and philosophy; the asymmetric ontology ($\mathcal{N}$ source vs. ρ trace, one without subscript vs. one with subscript) is specifically designed by Methodology 00 according to the specific needs of the SAE framework.

Methodology 00 does not claim formalization itself is the main contribution. The main contribution is the structural finding of asymmetric mutual causation that the formalization expresses. Formalization merely anchors this finding precisely in symbols, for ease of discussion and verification.

A possible counter-question: does this formula simplify asymmetric mutual causation into a sequence? If it is a sequence, then it regresses into the temporal misreading. The response is this. The formula is a recursive relation, not a linear sequence. $\mathcal{N}$ under each op is the same Negativa, not different versions of Negativa. The subscripts of op and ρ mark the unfolding-position in the derivation sequence, not temporal coordinates. The "sequence" here is merely an expression tool used in the argumentation process to unfold the structure; it is not a linear temporal arrangement of $\text{op}_0, \text{op}_1, \text{op}_2$ in ontology.

The true meaning of this recursive relation is: asymmetric mutual causation unfolds completely in each op, and each unfolding is a re-manifestation of the same Negativa and the same mutual-causation structure. The operation sequence produces distinguishable remainders ($\rho_0, \rho_1, \rho_2$ differ from each other), but the structure of operation itself is unchanged. This is the most precise formal expression of Methodology 00's central finding.

4.6 Gleichursprünglichkeit and the Source-Primordial Character of Asymmetric Mutual Causation

The first five steps have established the concept and formalization of asymmetric mutual causation. This step gives asymmetric mutual causation a term support from philosophical tradition.

Negativa and remainder, at the operational level, exhibit Gleichursprünglichkeit (equiprimordiality).

Heidegger introduces this concept in Being and Time §28 to describe the relation between Dasein's worldliness (Weltlichkeit) and selfhood (Selbstheit). Two structures are equally primordial at the source level; neither can be reduced to being derived from the other. What Heidegger expresses with this German compound is a special ontological relation: two items are not sequential in appearance, nor derived one from the other; rather, at source they jointly appear as two faces of the same source-structure.

This paper borrows Gleichursprünglichkeit for its source-primordial structural sense. In the completed operational event, Negativa and remainder are inseparable—the two together constitute two faces of the same operational event, not divisible into two successive links. From §4.5's formula: without $\mathcal{N}$ there is no ρ (without Negativa's operation no remainder); but without ρ there is no next op (without remainder no continuation of operation). This inseparability is not a symmetric reading of "the two have equal status" (that would pull asymmetric mutual causation back into a symmetric original-principle misreading). At the level of condition-relation, Negativa still provides the existential condition of the remainder (ontological direction), and the remainder provides the kinetic condition of Negativa's continued operation (kinetic direction)—the two directions hold in different modalities. But in each completed operational event, the condition-giving in these two directions occurs simultaneously and inseparably—this is the precise meaning with which Gleichursprünglichkeit is borrowed.

An immediate clarification is needed: here Gleichursprünglichkeit is not original-principle symmetry but operational-level co-origination.

Heidegger's original sense discusses Dasein's structures' symmetric source-primordiality—worldliness and selfhood as two equal structural moments of Dasein, neither more primordial than the other. Methodology 00 discusses Negativa and remainder's asymmetric co-origination. Negativa still provides the existential condition of the remainder (ontological direction); the remainder provides only the kinetic condition of Negativa's continued operation (kinetic direction). The two directions hold at different modalities. Borrowing Heidegger's term borrows its source-primordial structural sense (the two are inseparable at the source level), not its two-side-symmetry (the two are of equal status).

The precision of this borrowing determines whether Methodology 00 can carry its central thesis. If Heidegger's symmetry were fully inherited, asymmetric mutual causation would be pulled back into a symmetric reading, and ρ would be elevated to original-principle status equal to Negativa. Methodology 00's entire argument would be overthrown. So the borrowing must have a boundary—borrow the source-primordial structural sense but not the symmetry.

A concurrent layering must be preserved: Gleichursprünglichkeit is a property at the operational level, not canceling Negativa as axiom's uniqueness. Negativa and remainder's Gleichursprünglichkeit holds at the operational level (the two inseparable in operation); Negativa's axiomatic uniqueness holds at the axiomatic level (Negativa is sole axiom, remainder is not a second axiom). Both levels each true, each precise in its own jurisdiction.

This layering corresponds to Methodology 00's central thesis: at the axiomatic level Negativa is sole, at the operational level Negativa and remainder are paired. Gleichursprünglichkeit is the philosophical-term support for the "Negativa-remainder paired" at the operational level. The axiomatic-level uniqueness and the operational-level pairing do not contradict, because they hold at different levels.

This paper borrows Gleichursprünglichkeit in a manner consistent with how Living-toward-Death (DOI: 10.5281/zenodo.18808585) borrows Sein zum Tode. Both borrowings take the structural sense of Heidegger's term to handle corresponding structures within the SAE framework; neither appropriates Heidegger's entire ontological commitment. The SAE series' overall stance toward Heidegger is selective absorption—borrowing the precise structural insights, not inheriting Heideggerian ontological commitments.

4.7 Why Asymmetric Mutual Causation Operates This Way: The Thing-in-Itself Reservation

By this point, Methodology 00's central thesis has been established: asymmetric mutual causation as the basic structure at the operational level; Negativa gives the existential condition of the remainder; the remainder gives the kinetic condition of Negativa's continued operation; the two have Gleichursprünglichkeit at the source level.

But there remains one question.

Why do Negativa and remainder have the asymmetric mutual causation structure and not some other relation? Why does Negativa necessarily produce a remainder? Why does the remainder necessarily drive the next Negativa? Where does the "necessity" of these necessities come from?

This question looks like a reasonable further probe of Methodology 00. If Methodology 00 could answer it, the argument would be more complete. But this probe actually touches the boundary Methodology 00 consciously carries.

This section argues: the question "why do Negativa and remainder have asymmetric mutual causation" is structurally isomorphic to Methodology 0's "where does Negativa come from." Methodology 00 takes up Methodology 0's handling—marking this as thing-in-itself level, neither answering nor evading.

The Structure of the Probe

The probe "why do Negativa and remainder have asymmetric mutual causation" presupposes one thing: that the asymmetric mutual causation structure itself can be probed to a deeper source. The probe seeks a thing more foundational than asymmetric mutual causation, a thing that could explain "why asymmetric mutual causation is this way and not some other way."

Methodology 0's "where does Negativa come from" is an isomorphic probe. It presupposes that Negativa can be probed to a deeper source, a thing more foundational than Negativa, which could explain "why Negativa is this way and not some other way."

The two probes have the same presuppositional structure: both seek an explanatory term more foundational than the current object.

Methodology 0 §8 has already argued that this kind of probe necessarily hits a wall at the position of Negativa. The reasoning is as follows.

Any probe requires direction. Seeking "a more foundational source" presupposes "foundationality" as a direction. Direction is a product of 3DD—space is 3DD, and directions in space are derivative structures of space. But Negativa is prior to 3DD—Negativa is at a position prior to 0DD, and 0DD is the common origin of 3DD (and all DDs). So "using direction to probe Negativa" is structurally impossible: one would be using Negativa's product (direction) to give direction to Negativa.

This is the concrete meaning of Methodology 0's "chisel hits chisel" and "the hammer hits the hammer, remaining intact." Thing-in-itself here manifests as the structural impossibility of the probe itself.

Isomorphic Probes Hitting Isomorphic Walls

The probe "why does asymmetric mutual causation operate this way" hits the same wall as the probe "where does Negativa come from."

Asymmetric mutual causation is the structure of Negativa as operation itself (§4.2 already argues this—Negativa cannot operate independently of the remainder, which is not a state of Negativa but a structural feature of Negativa as Negativa). So the probe "why does asymmetric mutual causation operate this way" is the probe "why is Negativa as Negativa the kind of Negativa that operates this way." Structurally, this probe is "why is Negativa Negativa"—which is the same wall as "where does Negativa come from," asked in a different form.

Methodology 0's handling is to mark the structural impenetrability of this wall. Methodology 00 takes up this handling. The question "why does asymmetric mutual causation operate this way" belongs to the thing-in-itself level; Methodology 00 neither answers nor evades, only marks that the wall Methodology 00 encounters at the source is the same wall Methodology 0 encounters.

This Is Not a Trick

A possible counter-response must be met head-on: that Methodology 00 is hiding the difficulty in a no-probe position, evading it. The specific form of this challenge might be: "You say asymmetric mutual causation is the basic structure, then say why it is so is thing-in-itself. Isn't this using the word 'thing-in-itself' to cover an empty argument?"

The response is as follows.

First, thing-in-itself is not a concept Methodology 00 introduces for itself. Methodology 0 has already established thing-in-itself as the wall the probe of Negativa necessarily hits. Methodology 00 takes up this pre-existing concept; it does not create it to evade difficulty.

Second, if Methodology 00 did not acknowledge this wall, it would do what Methodology 0 has already argued is impossible—use a product of Negativa to give direction to Negativa. Not acknowledging thing-in-itself is the real problem. Acknowledging thing-in-itself is a requirement of methodological honesty.

Third, acknowledging thing-in-itself does not cancel Methodology 00's argumentative work. Methodology 00 has argued that asymmetric mutual causation is the basic structure at the operational level (§4.2), argued that asymmetric mutual causation is not an accidental relation (§4.3), argued the relation between asymmetric mutual causation and Negativa interrogating itself (§4.4), given the formal expression (§4.5), given philosophical-term support through Gleichursprünglichkeit (§4.6). All this argumentative work is substantive; it provides substantive support for Methodology 00's central thesis. Thing-in-itself only marks a boundary; all the work within the boundary remains valid.

An argument that does not acknowledge thing-in-itself would instead have a logical problem—it would attempt to use Negativa's product to explain Negativa itself, producing circularity or infinite regress in the argumentative chain. Acknowledging thing-in-itself keeps Methodology 00's argumentation logically clean: argument unfolds fully where it can; honestly stops where it cannot.

A Collateral Understanding

Acknowledging thing-in-itself brings a collateral understanding.

Methodology 00 and Methodology 0 each encounter their own thing-in-itself; the two encounter the same wall (the same thing-in-itself). This is not coincidence. This is precisely another manifestation of Via Negativa and Via Rho as two dual paths both having the same Negativa as limit-indication—in their approach to Negativa, the two paths also encounter the un-probable character of Negativa being Negativa; this un-probability is Negativa's thing-in-itself character.

If the two paths encountered different things-in-themselves, it would mean they do not indicate the same object. That they encounter the same wall means they do indicate the same object. The identity of thing-in-itself is another manifestation, at the boundary, of the equivalence of Via Negativa and Via Rho (as §3 argues).

This collateral understanding makes the Methodology 00 / Methodology 0 boundary sharing not merely an argumentative technique ("acknowledge thing-in-itself to avoid a trick") but a structural fact ("two dual paths have the same Negativa as limit-indication so they encounter the same thing-in-itself"). Methodology 00 encountering thing-in-itself is neither failure nor evasion; it is a meeting with Methodology 0 at the same wall.

Summary

Asymmetric mutual causation is Methodology 00's central finding. Negativa provides the existential condition of the remainder (ontological direction); the remainder provides the kinetic condition of Negativa's continued operation (kinetic direction). The two directions hold at different modalities, constituting asymmetric mutual causation. Negativa and remainder at the operational level exhibit Gleichursprünglichkeit—co-origination but asymmetric. Why asymmetric mutual causation operates this way belongs to the thing-in-itself level; Methodology 00 neither answers nor evades.

Methodology 00 proposes asymmetric mutual causation at the operational level as a basic structural naming, taking up and making explicit Methodology 0's two argumentative results (remainder conservation and not-negativa producing the remainder). Methodology 00 does not add a new axiom or modify Methodology 0. It merely gives, from the Via Rho perspective, a structural naming to the original move Methodology 0 has already unfolded, so that the subsequent sections (four-phase rereading, chisel-construct-cycle rereading, 16DD deepening) have a conceptual handle.

This is the entirety of Methodology 00's central chapter. The following three sections (§5 to §7) display the explanatory power of this naming—using it to reread Methodology 0's four phases, Methodology M's chisel-construct cycle five cross-sections, and 16DD's mutual non dubito structure.

---

5. Rereading of the Four Phases Through Asymmetric Mutual Causation

Methodology 0 §2 derives the four phases from Negativa interrogating itself: Being, Non-Being, Neither-Being-Nor-Non-Being, and Neither-Not-Being-Nor-Not-Non-Being. Methodology 0's derivation follows the Via Negativa path—the four phases arise as products of interrogation through the exclusion of "what not-negativa is not."

This section rereads the four phases through asymmetric mutual causation. Each phase is a manifestation of asymmetric mutual causation at a specific level. This rereading does not replace Methodology 0's derivation; it supplements Methodology 0's derivation with a structural explanation from the Via Rho perspective. Together the two readings display different facets of the four phases.

5.1 The First Phase: Being as the First Manifestation of Asymmetric Mutual Causation

Being is the most original phase. In Methodology 0's derivation, Being arises when Negativa interrogating itself first produces something positive—the position of "there is something" emerges.

From the asymmetric mutual causation perspective, Being is the first manifestation of asymmetric mutual causation. The most original operation of Negativa (i.e., not-negativa, Negativa interrogating itself) produces the first remainder. This remainder appears positionally as Being. Being is not an independent substance; Being is the positional name of the first remainder produced by asymmetric mutual causation's first unfolding.

The asymmetry of mutual causation shows here. Negativa (as interrogator) and Being (as the first remainder) are not equal. Negativa is source; Being is trace. The two exhibit Gleichursprünglichkeit (in the first operational event they are inseparable) but not symmetric original-principle equality (Negativa is still the sole axiom, Being is the operational-level trace). This is asymmetric mutual causation's most compact manifestation—in one operation, the two-directional structure (ontological direction + kinetic direction) is fully displayed.

5.2 The Second Phase: Non-Being as the Asymmetric Mutual Causation Turnover of the First Phase

Non-Being is the second phase. In Methodology 0's derivation, Non-Being is produced when Negativa turns to interrogate Being—the result of negating Being.

From the asymmetric mutual causation perspective, Non-Being is the asymmetric mutual causation manifesting again at a new level, taking Being as object. The first operation produced Being; now the second operation takes Being as object of interrogation and produces a second remainder. This second remainder's positional name is Non-Being.

The turnover here is worth noting. The second operation's interrogated object is the first operation's remainder. The new remainder (Non-Being) is the trace of interrogating the old remainder (Being). So asymmetric mutual causation at the second phase has the first phase's product as interrogated object, displaying a layered structure—second-order mutual causation builds on first-order mutual causation.

5.3 The Third Phase: Neither-Being-Nor-Non-Being as the Asymmetric Mutual Causation Integration of Two Phases

The third phase is produced by Negativa interrogating the previous two phases together. In Methodology 0's derivation, Neither-Being-Nor-Non-Being arises when Negativa negates the dichotomy of Being and Non-Being, refusing to stop at either pole.

From the asymmetric mutual causation perspective, the third phase is asymmetric mutual causation's integration manifestation. The third operation takes not a single remainder but the relation between two remainders (the Being-Non-Being dichotomy) as object of interrogation. This produces a third remainder, whose positional name is Neither-Being-Nor-Non-Being.

The third phase handles integration—integrating Being and Non-Being as a relation. This integration is itself a manifestation of asymmetric mutual causation, but at a higher level of abstraction. The first two phases each had a single remainder as object; the third phase has the relation between two remainders as object. The abstraction level rises by one layer.

5.4 The Fourth Phase: Neither-Not-Being-Nor-Not-Non-Being as Asymmetric Mutual Causation Meeting Itself

The fourth phase is produced by Negativa interrogating the third phase itself. In Methodology 0's derivation, this is the self-referential closure—Negativa negating the negation of dichotomy, completing the argumentative loop.

From the asymmetric mutual causation perspective, the fourth phase is asymmetric mutual causation meeting itself. The third phase's remainder is already an integrated structure (integration of the Being-Non-Being relation). The fourth operation's interrogated object is this integrated structure itself.

The fourth phase's operation is further interrogation of this integrated state. But this interrogation encounters a situation the first three phases did not: the interrogated object has itself become an asymmetric mutual causation unit. The interrogations of the first three phases handled specific products—Being, Non-Being, the Being-Non-Being dichotomy—all specific products. The fourth phase's interrogation handles "the asymmetric mutual causation unit" as structure itself.

Interrogating an asymmetric mutual causation unit, the act of interrogation (Negativa) and the object of interrogation (an asymmetric mutual causation unit) mutually constitute each other's conditions. But the object of interrogation is itself already asymmetric mutual causation, so this co-origination is asymmetric mutual causation meeting asymmetric mutual causation—structure meeting structure.

This constitutes closure. The fifth interrogation's product is still an asymmetric mutual causation unit; continuing to interrogate is merely repetition within the same self-referential closed structure, producing no new content. The interrogation enters a structural self-loop.

So from the Via Rho rereading perspective, after the fourth phase no new structural type is produced. This does not mean speech cannot continue, nor that interrogation cannot continue—interrogation can continue, but its continuation is merely repetition within the same self-referential closed structure and does not produce independent new phases. Asymmetric mutual causation's unfolding completes these four steps and enters closure; the fourth phase's self-referential closure is precisely asymmetric mutual causation meeting itself.

A note on Methodology 00's stance here is worth making. Methodology 0 from the Via Negativa perspective has already argued for the closure of the four phases—the four phases exhaust all operational levels of "Negativa's action on itself," and the fourth phase's negation of negation brings about self-referential closure. Methodology 00's rereading from the Via Rho perspective is consistent with this conclusion of Methodology 0, merely looking at the same matter from a different angle—Methodology 0 looks at the exhaustion of interrogation-levels; Methodology 00 looks at the exhaustion of asymmetric mutual causation's unfolding-steps. The two perspectives are complementary, not conflicting. Methodology 00 does not reprove a stronger four-phase theorem than Methodology 0; it only provides, from the Via Rho perspective, a structural explanation for the same closure conclusion.

5.5 The Four Phases as Complete Self-Display of Asymmetric Mutual Causation

Taking the four phases together.

The first phase is the first manifestation of asymmetric mutual causation (producing the first remainder, Being).

The second phase is asymmetric mutual causation's turnover taking the first remainder as object (producing the second remainder, Non-Being).

The third phase is asymmetric mutual causation's integration taking the relation between two remainders as object (producing the third remainder, Neither-Being-Nor-Non-Being).

The fourth phase is asymmetric mutual causation's self-encounter taking the integrated structure itself as object (producing self-referential closure, Neither-Not-Being-Nor-Not-Non-Being).

Levels rise layer by layer. The first phase handles no prior remainder (directly produces the first one). The second phase handles one prior remainder. The third phase handles the relation between the first two remainders. The fourth phase handles the structure of integration itself. The object of interrogation becomes progressively abstract, and at the fourth level encounters structure itself's self-reference.

This level-ascent corresponds to Methodology 0's "four phases advance layer by layer." Methodology 00's contribution is to give the "layer by layer" structural feature a precise description—each layer is a manifestation of asymmetric mutual causation, but the manifestation's object becomes progressively abstract in level, finally encountering structure itself's self-reference at the fourth level.

5.6 A Collateral Observation

This level-ascent insight connects Methodology 00 with the rereading of the chisel-construct cycle's five cross-sections in §6. The five cross-sections are also a layer-by-layer unfolding structure, and the four phases' layering corresponds to the chisel-construct cycle's more general layer-by-layer unfolding. §6 will further develop this connection.

---

6. Rereading of the Chisel-Construct Cycle Through Asymmetric Mutual Causation

Methodology M (the Methodological Overview) derives from 0DD to 16DD, establishing the chisel-construct cycle as SAE's basic unit of motion. The five cross-sections of the chisel-construct cycle are chisel, construct, remainder, bridge, and thing-in-itself. Methodology M's derivation follows the Via Negativa path—through the exclusion of the necessary unfolding that follows from "Negativa as sole axiom," it derives the five cross-sections and the 16-level dimension sequence.

Methodology 00 rereads the five cross-sections. From the Via Rho perspective, the five cross-sections are manifestations of asymmetric mutual causation at different granularities. This section's task is to display this rereading, explaining how asymmetric mutual causation unifies the structure of the five cross-sections.

The positioning of this section must be declared clearly in advance. The asymmetric-mutual-causation reading of the five cross-sections in this section is a parallel perspective, not a replacement of Methodology M. Methodology M names the five cross-sections from the unfolding face of Via Negativa; Methodology 00 sees their shared dynamics from the retrospective face of Via Rho. Both perspectives hold simultaneously; Methodology M is not modified by Methodology 00's rereading. The five cross-sections as working language of the chisel-construct cycle are established in Methodology M; Methodology 00 only points out the structural interpretation this working language obtains from the Via Rho perspective.

6.1 Chisel and Construct as a Pair of Facets of Asymmetric Mutual Causation

Chisel is the action of negation; construct is the sediment of negation. Methodology M argues that chisel and construct mutually transform each other in the chisel-construct cycle—each chisel leaves a construct as sediment, and each construct's incompleteness emerges to summon a new chisel.

From the asymmetric mutual causation perspective, chisel and construct are a pair of facets of asymmetric mutual causation, but the way this pair is constituted requires precise specification.

Chisel is the face of Negativa in the mutual causation (performing the operation of negation). Chisel as action corresponds to $\text{op}_i$ in §4's formal expression—the chisel-operation is the operation of Negativa; chisel is Negativa's specific-action manifestation.

Construct is the sediment left by Negativa's operation, corresponding to $C_i$ in the refined formula. Remainder is the part of this sediment that cannot be enclosed, corresponding to $\rho_i$. Each chisel-operation simultaneously produces construct and remainder, but construct is not itself remainder—construct is the sediment itself; remainder is the un-enclosable part of that sediment. The incompleteness of construct manifests as remainder. The two are cognate but not identical. Methodology 00 in §4.5's refined formula explicitly separates the two: $\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i)$, where $(C_i, \rho_i)$ are two products of $\text{op}_i$'s single action, not the same thing.

Chisel and construct are not two independent cross-sections in accidental pairing; they are two facets of the same asymmetric-mutual-causation operation. Without chisel there is no construct (without the action of negation there is no sediment), corresponding to Negativa's giving of the existential condition of the remainder in asymmetric mutual causation. Without construct there is no field in which remainder can manifest—remainder is the part the construct cannot enclose, so the appearance of remainder requires construct's existence as condition. Without remainder there is no driving force for the next chisel—strictly speaking, what pushes the next chisel is not construct itself but the remainder that construct exposes. This corresponds to the remainder's giving of the kinetic condition of Negativa's continued operation in asymmetric mutual causation.

Methodology M uses the term "chisel-construct cycle" to describe the sustained motion of this pair of facets. Methodology 00 points out that the internal structure of this cycle is precisely asymmetric mutual causation—chisel (i.e., op) acting on $\mathcal{N}$ produces the pair of products construct and remainder, and remainder drives the next chisel. Chisel and construct are asymmetric in status (chisel is the source operation, construct is the sediment), and construct and remainder are also asymmetric in status (construct is the product, remainder is the un-enclosable part of the product). The entire cycle unfolds continually through the kinetic direction of the remainder.

6.2 Remainder as the Kinetic Term of Asymmetric Mutual Causation

Remainder (ρ) is Methodology M's third cross-section. Methodology M argues that remainder is not a simple by-product of chisel and construct; it has an independent status—remainder is the driving force that drives the next chisel. The conservation of remainder (ρ ≠ ∅) guarantees the chisel-construct cycle never terminates.

From the asymmetric mutual causation perspective, the reason for remainder as independent cross-section becomes clear. Remainder carries the direction "the remainder gives the kinetic condition of Negativa's continued operation" in asymmetric mutual causation.

Here remainder and construct need to be distinguished. Both are products of Negativa's operation, but they carry different structural roles.

Construct is the "sediment" after the negating operation sediments, the direct output of the operation. As a cross-section, construct describes "what the chisel-operation produced"—the answer is construct, this product.

Remainder is the "incompleteness trace" of the negating operation, a structural feature of the operation. As a cross-section, remainder describes "what part the chisel-operation cannot complete"—the answer is remainder, this incompleteness.

From the refined formula $\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i)$ in §4.5, construct $C_i$ and remainder $\rho_i$ are two different products of $\text{op}_i$'s single action. The two are cognate (same operation) but different things (one is the sediment itself, the other is the un-enclosable part of the sediment). The same op produces both because Negativa's operation is necessarily incomplete—the operation leaves sediment (this is construct) and simultaneously leaves incompleteness (this is remainder). The two are not two facets of the same thing; they are two parallel products of the same action.

Remainder as independent cross-section has a special status (Methodology M argues "remainder has direction, construct has no direction") precisely because it carries the kinetic role of asymmetric mutual causation. Construct has no direction because construct is only a sediment; sediment itself does not point in any direction. Remainder has direction because remainder is the part construct cannot enclose; the state of not being enclosable itself points toward the next operation—this "pointing toward the next" is direction.

6.3 Bridge as the Local Excitation of Asymmetric Mutual Causation

Bridge is Methodology M's fourth cross-section. Methodology M argues that bridge is the local event in which remainder accumulates to a critical point and forces the chisel to operate again. Bridge is not a sustained process but a moment of excitation—the leap from the current state to the next chisel.

From the asymmetric mutual causation perspective, bridge is the processual manifestation of asymmetric mutual causation.

Asymmetric mutual causation as basic structure contains the direction "the remainder gives the kinetic condition of Negativa's continued operation." But this "continued operation" in concrete unfolding is not continuous—remainder must accumulate to a certain degree before it excites the next chisel. This moment of excitation is the bridge.

Bridge corresponds in §4.5's formal expression to the step from $\rho_i$ to $\text{op}_{i+1}$—the transition from the current remainder to the next Negativa-operation. But that step in the formal expression is an abstract expression; in concrete operation this step is completed through the specific event of bridge. Bridge gives the abstract transition in the formula a concrete mechanism.

This makes the necessity of bridge as an independent cross-section clear. Without bridge as a cross-section, the kinetics of the chisel-construct cycle would be incomplete—it could only say "the remainder drives the next chisel," not "how the remainder drives the next chisel." Bridge fills in this "how" concrete mechanism.

6.4 Thing-in-Itself as the Self-Closure Limit of Asymmetric Mutual Causation

Thing-in-itself is Methodology M's fifth cross-section. Methodology M argues that thing-in-itself is the wall the chisel-construct cycle encounters when it tries to probe its own source.

From the asymmetric mutual causation perspective, thing-in-itself is the self-closure limit of asymmetric mutual causation.

Asymmetric mutual causation can be infinitely unfolded at the operational level—op after op, remainder after remainder, the cycle can continue forever. But when asymmetric mutual causation turns to probe its own source (why does asymmetric mutual causation operate this way), it encounters the wall §4.7 has already argued. This wall is the self-closure limit of asymmetric mutual causation—the operational-level unfolding cannot reach the structure's own source.

Methodology M names this wall the thing-in-itself, making it the fifth cross-section of the chisel-construct cycle. This is not adding an external cross-section; it is the consciousness of the cycle's own limit. Asymmetric mutual causation's self-closure at the source is the thing-in-itself cross-section's structural basis.

6.5 The Five Cross-Sections as Manifestations of Asymmetric Mutual Causation at Different Granularities

Taking the five cross-sections together.

Chisel is asymmetric mutual causation as operation itself (op).

Construct is the sediment of asymmetric mutual causation's operation ($C$).

Remainder is the trace of asymmetric mutual causation's operational incompleteness ($\rho$).

Bridge is the processual excitation mechanism of asymmetric mutual causation (from $\rho_i$ to $\text{op}_{i+1}$).

Thing-in-itself is the self-closure limit of asymmetric mutual causation when probing its own source.

The five cross-sections exhibit asymmetric mutual causation at different granularities. Chisel displays the single-step action (granular). Construct displays the direct output of action (product). Remainder displays the structural feature of action (incompleteness). Bridge displays the transition mechanism from the current step to the next step (processual). Thing-in-itself displays the structural boundary of the entire action (limit). Five granularities together constitute the complete unfolding of the chisel-construct cycle.

This granularity structure explains why the five cross-sections are exactly five, not some other number. Each granularity level has its structurally necessary content—none can be merged with another, none is superfluous. Methodology M derives the five cross-sections through Via Negativa's exclusion unfolding; Methodology 00 rereads them through Via Rho's asymmetric mutual causation granularities. The two derivations arrive at the same result, displaying the internal consistency of the SAE framework.

6.6 The Value of the Rereading

Why does Methodology M already having derived the five cross-sections still need Methodology 00's rereading?

The rereading's value is not to add new content but to provide a structural explanation. Methodology M derives the five cross-sections as working language of the chisel-construct cycle, but Methodology M itself does not explicitly unify the structural relations between the cross-sections. Readers of Methodology M know "the five cross-sections are the five components of the chisel-construct cycle," but they may still be unclear about "why exactly these five are a whole." Methodology 00's rereading gives this "why a whole" an answer: the five cross-sections are asymmetric mutual causation's manifestations at five different granularities; the structure asymmetric mutual causation carries has, at each granularity level, its structurally necessary correspondence.

This rereading thereby makes the SAE framework more internally consistent. The five cross-sections of Methodology M and the asymmetric mutual causation of Methodology 00 are two perspectives on the same structure. Readers can use either language. Those wanting concrete operation can use the five-cross-section language to discuss chisel, construct, remainder, bridge, and thing-in-itself. Those wanting structural understanding can use the asymmetric-mutual-causation language to discuss how the five cross-sections unify at the structural level.

Methodology M and Methodology 00 therefore relate as complementary, not competitive. Methodology M provides the work; Methodology 00 provides the interpretation. The two together let the chisel-construct cycle have both operable concrete tools and intelligible structural foundations.

---

7. Further Deepening of 16DD

16DD has already undergone multiple deepenings in the SAE series.

Methodology 0 §7 did the first deepening on 16DD, elevating mutual non dubito from interpersonal ethical description to the ontological level: 16DD is not the endpoint or limit of Negativa but the encounter of two Negativae. Each subject is the manifestation of a Negativa at the unfolding sequence's terminal; the two meeting is the collision of two Negativae. This is Methodology 0's first ontological elevation of 16DD.

Methodology 00 does further deepening. From the asymmetric mutual causation perspective, the two subjects' encounter is not the collision of two Negativae (this would still stay at the level of two simple entities), but the meeting of two asymmetric mutual causation units. This is the second deepening.

7.1 The Double Role of the Remainder at the Level Layering

The first point this deepening requires is distinguishing the role of the remainder at different DD levels.

In the range of 1DD to 15DD, remainder as kinetic term drives Negativa's next operation. This is the role $\rho_i$ carries in §4's asymmetric-mutual-causation formal expression—$\rho_i$ drives $\mathcal{N}$ into the next operation $\text{op}_{i+1}$. Remainder here is functional; its role is to let Negativa's operation continue.

But at the specific position of 16DD, remainder changes role.

16DD is the position of two subjects encountering. Each subject is an asymmetric mutual causation unit. In this encounter, the "remainder-ness" of one subject (A) to the other (B) is no longer the kinetic-term remainder-ness (A is not B's driving force of operation) but a special existential-level remainder-ness (A is what B's operation cannot enclose as outside).

This is what the paper calls "ontological remainder"—remainder in the sense of ontological externality, not in the sense of kinetic trace.

This distinction is important because it prevents a potential ethical crisis. If 16DD's "mutual remainder" were read as remainder in the 1DD-to-15DD sense (kinetic term), then subject A would become the driving force of subject B's operation, meaning A is used by B as tool. This directly violates the SAE ethical proposition (the human is end, not tool).

The concept of ontological remainder prevents this crisis. At the 16DD position, the two subjects being each other's remainder is in the sense of un-enclosable externality, not in the sense of kinetic term. The two subjects, precisely because they cannot enclose each other, must recognize each other as end. Remainder here equals the ontological premise of end-itself.

7.2 Ontological Restatement of Mutual Subject-Causation

With the double role of the remainder at the level layering as premise, we can restate 16DD's asymmetric mutual causation structure.

Two subjects mutually recognize each other as end-itself. This "mutual" is the complete realization of asymmetric mutual causation at the inter-subject level. But to understand the precise meaning of this "mutual," one must see its structure clearly.

Subject A is an asymmetric mutual causation unit. Negativa (A's chisel-construct cycle's operation) gives the existential condition of remainder (the incompleteness produced by A's construct); remainder gives the kinetic condition of Negativa's continued operation. A as a complete unit unfolds continuously in its own operation sequence.

Subject B is another asymmetric mutual causation unit. The same internal structure. B unfolds continuously in its own operation sequence.

What happens when the two units encounter.

A as a unit whole appears in B's cognitive view. B recognizes A as a subject—not as an object B can process, but as a complete asymmetric mutual causation unit. In this recognition, A as whole is not a product B's internal construct can generate. A structurally exceeds the range that B's construct can enclose.

A key precisification is required here. B not being able to enclose A is not a matter of B's cognitive capacity being insufficient. If it were understood as a cognitive capacity matter (for example, B's construct being not complete enough or strong enough to process A), 16DD's encounter would be downgraded to the level of cognitive failure—A's independence would depend on B's capacity being inadequate, and once B's capacity became sufficient it could enclose A. This reading would hollow out 16DD's ethical significance.

The precise understanding is as follows. A as a complete asymmetric mutual causation unit, its ontological status does not depend on whether B can place it into B's own construct. However complete B's construct is, this does not change A's ontological fact as an independent asymmetric mutual causation unit. "B cannot enclose A" is a structural fact at the ontological level—no matter how complete B's construct is, none of B's constructs is at the position of A as an independent mutual causation unit. A's position is A itself. B's position is B itself. The independence of the two positions is not a matter of B not reaching A (that would be a capacity matter) but a matter of none of B's constructs being at the position of A (that is an ontological matter).

This precisification ensures that the 16DD encounter is at the ontological level, not at the cognitive level. A and B mutually cannot enclose each other because the two as two independent asymmetric mutual causation units just are so, not because either side's capacity is inadequate. This un-enclosability is structural, not accidental—any two independent asymmetric mutual causation units' encounter is this structure, regardless of their respective construct development.

From B's perspective, A is thus an ontological remainder—not a trace B's operation can produce, but an externality B's construct cannot enclose. The feature of this ontological remainder is un-enclosability—not a matter of B's capacity, but the ontological fact of A as an independent center of completeness. Precisely because A is structurally just the independent center of completeness (not something B's construct can generate), B must recognize A as a complete unit independently existing.

Conversely, B as a whole is also an ontological remainder to A—none of A's constructs is at the position of B as an independent mutual causation unit. So A also must recognize B as a complete unit independently existing.

The two directions together constitute 16DD's "mutual recognition of each other as end-itself." This mutual recognition is not merely an ethical attitude or subjective judgment; it is the structurally necessary relation that appears when two asymmetric mutual causation units encounter. Mutual un-enclosability is ontological fact; mutual recognition is this fact's inter-subject manifestation. The "must" in "must recognize" is structural "cannot not," not ethical-imperative "should"—in the structure of two independent asymmetric mutual causation units encountering, there is no other structurally feasible posture besides recognition.

7.3 Providing Ontological Grounding for Kant's "Humanity as End"

The preceding two subsections established the asymmetric-mutual-causation reading of 16DD. This reading brings an important theoretical result—Methodology 00 through the Via Rho method provides an independent ontological-level defense path for Kant's "humanity as end," this core ethical proposition.

This result needs to be seen within the overall relation between SAE and Kant to show its weight.

The SAE framework overall inherits from Kant. "Self-as-an-End" as a name itself comes from Kant's second formula in Critique of Practical Reason—"humanity as end-itself, not merely as means." SAE from Methodology 0 onward inherits Kant's work, and Methodology A11 Living-toward-Death explicitly positions SAE as "completing Kant"—Kant at 9D-10D handles living-toward-death (the law of living-toward-death) and non dubito (the bidirectional law of non-doubt) together without precisely distinguishing the two; one of SAE's tasks is to structurally precisify this area Kant has reached but not fully unfolded.

Kant's humanity-as-end proposition is given directly as categorical imperative. Kant's defense is: the human as rational being has intrinsic value, therefore cannot be used merely as means. This defense presupposes "rationality's intrinsic value." Kant's ethical edifice is built on this presupposition. But presuppositions themselves can be questioned—utilitarians might question why rationality should have intrinsic value rather than happiness or utility having it. Kant's ethical foundation, at the presuppositional level, is not entirely immovable.

Methodology 00 through Via Rho provides another independent defense path for this foundation.

Starting from asymmetric mutual causation structure, 16DD's position of subject-encounter is the position of two asymmetric mutual causation units as each other's ontological remainder. Un-enclosability is structural fact—A as a complete asymmetric mutual causation unit structurally exceeds the range B's construct can enclose, and vice versa. This un-enclosability is not stipulation nor value-judgment; it is the structurally necessary consequence of asymmetric mutual causation at the 16DD position.

Precisely because B cannot enclose A (not "should not" enclose, but structurally "cannot"), B must recognize A as a unit of existence as end-itself. "Must" here is structural "cannot not," not ethical-imperative "should." Not recognizing A as end equals trying to treat A as object to be placed within B's construct's range, but this is structurally impossible to complete. The only structurally feasible posture is recognizing A as a complete unit.

This turns "humanity as end-itself" from a categorical imperative presupposing rationality's intrinsic value into a necessary corollary of asymmetric mutual causation structure at the 16DD position. The proposition itself is consistent with Kant's original meaning, but the defense's foundation drops from the presuppositional level to the ontological-structural level.

Methodology 00's stance toward Kant is active reinforcement, not challenge. Kant's proposition is correct; only Kant's defense's dependence on presupposition is not completely stable. Methodology 00 provides, for the same proposition, a defense independent of the "rationality's intrinsic value" presupposition—tracking the remainder's directionality through Via Rho all the way to 16DD, seeing at this position the structural fact of two subjects, as two asymmetric mutual causation units, mutually un-enclosable. This fact itself is the defense of the humanity-as-end proposition.

This defense path has several advantages.

First, it does not depend on any philosophical presupposition. Kant's defense presupposes rationality has intrinsic value; this presupposition itself requires additional defense. Methodology 00's defense depends only on the structural necessity of asymmetric mutual causation, and this structural necessity is derived from Methodology 0's sole axiom (Negativa) through Via Rho. It does not require additional ethical presupposition.

Second, starting from structural necessity, it naturally avoids utilitarian counterattacks. Utilitarians can question "rationality has intrinsic value" but cannot question "A as a complete asymmetric mutual causation unit is structurally un-enclosable by B"—the latter is structural fact, not value-judgment. Utilitarianism has no foothold before this defense path, because it cannot use value-questioning to refute a structural statement.

Third, it is completely compatible with Kant's original meaning. Methodology 00 does not change the content of Kant's proposition, nor does it change the proposition's normative-ethical status. It merely gives the proposition a more stable defensive foundation. Kant's proposition remains the same proposition; it merely stands on a deeper structural foundation.

The establishment of this defense path is a core theoretical result of Methodology 00, not a collateral observation. Methodology 00's main work is to establish Via Rho as method and display its explanatory power, but when the Via Rho method is applied to the 16DD position, it naturally produces an ontological defense of Kant's core ethical proposition. This is both Methodology 00's result and a key node on SAE's entire inheritance line from Kant.

The relation between SAE and Kant obtains a concrete verification here. SAE's inheritance is not mere terminological reuse or thematic continuation; it provides a new defensive foundation for Kant's core work. Methodology 00's rereading of 16DD is the concrete realization of this inheritance relation under the Via Rho method.

Two-Layer Qualification

The force of this defense path needs two layers of qualification to be completely stated.

The first layer is a declaration about the nature of the path: this defense path is a parallel supplement to Kant's original path, not a replacement. Kant's defense with rationality's intrinsic value as presupposition still holds at its own argumentative level; it has its own force. Methodology 00 through Via Rho's ontological defense is another independent path reaching the same conclusion. The two paths complementarily strengthen the proposition's defensive force together; it is not Methodology 00 replacing Kant's defense. SAE's stance throughout is completing Kant, not challenging Kant—Methodology 00 works on this line of continuation.

The second layer is a declaration about the starting point: accepting this defense path requires accepting Methodology 0's sole axiom (Negativa) as premise. Any defense path has a starting point; starting points can be rejected. Kant's defense path has a starting point—"rationality has intrinsic value"—which can be rejected by utilitarians and other philosophical positions. Methodology 00's defense path also has a starting point—"Negativa is the sole axiom"—which similarly can be rejected. Both starting points are not absolutely unrejectable. But Methodology 00's starting point is one layer more foundational than Kant's: Kant's starting point is at the presuppositional level (rationality has some value); Methodology 00's starting point is at the axiomatic level (Negativa as the most foundational cannot-not-operate-er). The axiomatic level is more foundational than the presuppositional level, because the axiomatic level does not depend on any premise while the presuppositional level depends on the presupposed concept of "value." So both paths can be rejected, but rejecting Methodology 00's starting point requires going one layer deeper than rejecting Kant's starting point.

These two layers of qualification let Methodology 00's support for Kant's work maintain sober proportion. Methodology 00 does not claim to provide an unconditional defense—any defense has a starting point, and starting points can be rejected. What Methodology 00 claims is: under the premise of accepting Methodology 0's axiom, the humanity-as-end proposition obtains a defense path independent of Kant's original path, and the two paths in parallel strengthen the proposition's defensive force.

7.4 Re-Understanding of the 0DD-16DD Isomorphism

In Methodology M, 0DD and 16DD have already been recognized as having a certain isomorphism—both are endpoints of the DD sequence, and both their chisel-construct cycles reach some limit. Methodology 00's asymmetric-mutual-causation reading gives this isomorphism a new structural explanation.

0DD is the undifferentiated state of asymmetric mutual causation. At the 0DD position, Negativa and remainder are structurally not yet differentiated into two clearly distinguishable facets. Chisel and construct are not yet separated here—construct's independent manifestation and remainder's independent manifestation require sufficient levels of structural unfolding; at the foundational position of 0DD these levels have not yet differentiated. Asymmetric mutual causation here is in the undifferentiated foundational form. Here "undifferentiated" is not in the temporal sense of "not yet happened" but in the logical-architectural sense of "structure not yet unfolded to differentiation level." 0DD and 16DD are both complete states of asymmetric mutual causation, only at different degrees of unfolding.

16DD is the encounter between two subjects after asymmetric mutual causation has fully differentiated. Through the complete unfolding of the DD sequence (1DD to 15DD), Negativa and remainder have fully differentiated into two clearly distinguishable facets, and each subject has unfolded into a complete asymmetric mutual causation unit. When two complete units meet, chisel and construct coincide—A's chisel (with A's construct as object) and A's construct (A's operational sediment) when A appears as whole unite into one; similarly B's chisel and B's construct unite into one. The encounter of two whole units is the encounter of two "chisel-construct-coincident bodies."

So 0DD is chisel-construct-undifferentiated (because the DD sequence has not yet unfolded), and 16DD is chisel-construct-coincident (because the DD sequence has fully unfolded and closed into a whole unit). Both endpoints are "complete states" of asymmetric mutual causation—one is latent completeness, the other unfolded completeness. The isomorphism of the two is not coincidence; it is two different manifestations of asymmetric mutual causation at the two ends of the sequence.

This isomorphism gives SAE's 0DD-16DD structure a new mode of understanding. The DD sequence is not a linear process unfolding from a starting point to an endpoint; it is a complete cycle of asymmetric mutual causation from latent to unfolded to encounter. 0DD is the cycle's beginning point, 16DD is the cycle's closure point. The two are structurally two endpoints of the same asymmetric mutual causation, only at different degrees of unfolding.

7.5 Summary

This section did further deepening on 16DD. With the asymmetric mutual causation structure as lens, 16DD is restated as the encounter of two asymmetric mutual causation units. Subjects as asymmetric mutual causation units have wholeness and un-enclosability; the two subjects' encounter is the encounter between two wholes; mutual recognition as end-itself is the inter-subject structural manifestation of this encounter.

This reading simultaneously provides, for Kant's core ethical proposition "humanity as end," an independent ontological-level defense path. The other person as un-enclosable ontological remainder constitutes the structural premise of the imperative "end-itself." This turns Kant's ethical proposition from a categorical imperative with rationality's intrinsic value as presupposition into a necessary corollary of asymmetric mutual causation structure at the 16DD position. SAE's work of inheriting Kant obtains a concrete verification at this section of Methodology 00: the Via Rho method applied at the 16DD position naturally produces an ontological defense for Kant's core proposition.

Once again: all the work in this section is ontological deepening of the existing 16DD definition, not replacement. Mutual non dubito as 16DD's core definition remains valid. Methodology 00's contribution is to give this core definition a new structural-explanation perspective—letting 16DD keep both its original core ethical status and obtain methodological-level structural support.

At this point Methodology 00's second-half rereading work is complete. §5 rereads the four phases, §6 rereads the five cross-sections, §7 rereads 16DD. The three sections together display the explanatory power of the asymmetric mutual causation naming. The next section (§8) lists Methodology 00's self-remainders, consistent with the writing convention of Methodology 0 and Methodology M—ending with remainders, not conclusions.

---

8. Remainders of Methodology 00

Methodology 00's main work ends here. Following the conventions of Methodology 0 and Methodology M, the paper ends with a list of remainders, not conclusions.

This convention itself is a practice of what Methodology 00 argues—the paper as construct necessarily produces remainders; the paper should explicitly list the remainders it produces rather than pretending the argument is complete. Methodology 0 §8 does this; Methodology 00 continues this practice.

Remainder One: Whether the Axiomatic-Level / Operational-Level Layering Is Exhaustive

Methodology 00's main thesis depends on the axiomatic-level / operational-level layering—at the axiomatic level Negativa is sole; at the operational level Negativa and remainder are paired. But this layering is a working assumption introduced by Methodology 00. Whether a third level is missed by this bipartite layering is not argued by Methodology 00. Should a third level exist, the scope of the main thesis's applicability would need to be reconsidered. The exhaustiveness of the two-level layering is a structurally unfinished defense of Methodology 00.

Remainder Two: Formalization of Asymmetric Mutual Causation Structure

Methodology 00 uses $\mathcal{N} \xrightarrow{\text{op}_i} \rho_i \xrightarrow{\text{drive}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ as the formal expression of asymmetric mutual causation (with the $(C_i, \rho_i)$ refinement), uses Gleichursprünglichkeit as philosophical-term support, and uses category theory's adjoint pair as heuristic isomorphism. These formalization tools each have their applicability, but whether they completely express all structural features of asymmetric mutual causation is not argued by Methodology 00. Asymmetric mutual causation may still have structural facets Methodology 00 has not discovered, or the formalization tools used may miss some key features. The completeness of the formalization is an open question.

Remainder Three: Via Rho's Independence as a Method

§3 argued that Via Rho and Via Negativa are equivalent in taking the same Negativa as their limit-indication. But equivalence does not mean independence. Methodology 00 did not independently argue that Via Rho is not a special form of Via Negativa. A possible critique is that Via Rho is merely Via Negativa in a specific angle's deformation, and the two are two manifestations of the same method, not two independent paths. The relation between independence and equivalence itself needs further clarification.

Remainder Four: Methodology 00 Itself as Construct

Methodology 00 is a paper. A paper is a construct. Methodology 00 argues that every operation of Negativa must be incomplete and must leave a remainder; this argument, itself as operation, must also be incomplete and must leave a remainder. Methodology 00 itself applies the incompleteness it points out. This is not a flaw; it is a manifestation of Methodology 00's honesty—but it is still a remainder. The more said, the more constructed; the more constructed, the more remainder. Methodology 00's remainder as construct is hidden more deeply than others because it hides in the argumentation itself.

Remainder Five: The Precision of Gleichursprünglichkeit Borrowing

Gleichursprünglichkeit as borrowed term—its complete meaning in the original Heideggerian Being and Time text and its new position after Methodology 00's borrowing may have subtle offsets. Methodology 00 explicitly says it only borrows the source-primordial structural sense and does not inherit its symmetry, but the complete meanings of Gleichursprünglichkeit in Heidegger's original are more than just "source-primordial structure." Methodology 00's borrowing may lose some meanings in Heidegger's original that this paper did not notice. The precision of term borrowing is an incomplete terminological-history comparison.

Remainder Six: Cross-Domain Interface

Methodology 00's asymmetric mutual causation structure may have independent structural-isomorphic manifestations in other domains. Cross-cultural creation myths (Pangu, Ymir, Purusha and others—the structure of a carrier being differentiated appears in at least five myths) may be one example; physical ladders (the asymmetric phase transitions at each level in the DD sequence) may be another; biological differentiation (the irreversibility appearing in cell differentiation and species differentiation) may be a third. If these cross-domain isomorphisms truly exist, they are external corroboration of Methodology 00's core thesis. This paper does not handle these isomorphisms; it does not rely on them as argumentative foundation. They will be handled separately in independent interface papers.

The remainder list ends here. These six remainders are not a defect list of Methodology 00; they are Methodology 00's conscious boundary markers. Each remainder points to a direction—either a direction for further argument (Remainders One, Two, Three, Five), a direction for honestly acknowledging the nature of argumentation (Remainder Four), or a direction for cross-domain expansion (Remainder Six). Remainders as boundaries let Methodology 00 know its work's scope, and let subsequent work know where to continue.

Methodology 00 thus ends.

---

Appendix: Historical Development and Future Reorganization of Methodology Numbering

This appendix discusses the historical development of the SAE methodology series' numbering system and possible future reorganization directions. This discussion is not part of Methodology 00's core argument; it belongs to the meta-level explanation. Readers interested in the organizational structure of the SAE methodology series can read it; readers who care only about Methodology 00's content can skip it.

A.1 Historical Development of the Existing Numbering System

The existing numbering of the SAE methodology series reflects the historical order of the papers' development, not fully the papers' structural roles.

Methodology M (the Methodological Overview) is the methodological general overview, established earliest. It derives the chisel-construct cycle and the dimension sequence from 1DD to 16DD, establishing the working language for the entire SAE series.

Methodology M-I and its subsequent papers are the subsequent unfolding of the methodology series, each handling a specific aspect of methodology. Among these, Methodology VII is Via Negativa, systematically organizing the apophatic tradition as a method of approaching Negativa.

Methodology Paper 0 Negativa was written later. In writing order, Methodology VII was completed first, establishing Via Negativa as a method of approaching Negativa. After completing this work, the author retrospectively inquired whether the object Via Negativa's method points to (i.e., "Negativa") could be independently argued as SAE's sole axiom. This independent argument is Methodology 0. Methodology 0's numbering is 0 rather than M-IX or some similar position because it is content-wise prior to Methodology M—it argues that Negativa as axiom is prior to the unfolding of the chisel-construct cycle. Numbering starting at 0 marks this "priority" in content.

Methodology 00 is the most recent work. It proposes Via Rho as the methodological dual of Via Negativa, building on the foundations of Methodology 0 and Methodology VII. The numbering 00 marks its position as the operational-level dual of Methodology 0.

A.2 Structural Features of the Existing Numbering

There is a notable inconsistency in the existing numbering.

Methodology 0's content is "Negativa" itself—the foundational axiom of the SAE methodology series.

Methodology VII's content is Via Negativa, the method—the path of approaching Negativa.

Methodology 00's content is Via Rho, the method—another path of approaching Negativa.

The two types of content differ. Methodology 0 is at the object level; Methodology VII and Methodology 00 are at the method level. In the existing numbering, Methodology VII's numbering position (the seventh in the M-series) does not reflect that it is a methodological dual paired with Methodology 00.

This inconsistency does not affect the validity of the papers' content. Methodology 0, Methodology VII, and Methodology 00's arguments each hold. But the numbering system, as a file-organization tool, does not fully reflect the structural relations among the files.

A.3 Possible Directions for Future Reorganization

Based on the current understanding of the SAE methodology series' structure, if the numbering system is reorganized in the future, one possible direction would be as follows.

Methodology Foundation. Carries the argument of Negativa itself (corresponding to the content of current Methodology 0). As the foundational paper it would be unnumbered or numbered as Foundation, highlighting Negativa's special status as the foundation of SAE methodology.

Methodology 0. Carries Via Negativa (corresponding to the content of current Methodology VII). In Chinese this could be called "非之道" (the Way of Negation). As the first method of approaching Negativa.

Methodology 00. Carries Via Rho (the current paper). In Chinese "余之道" (the Way of the Remainder). As the methodological dual of Via Negativa.

In this arrangement, Foundation is the foundation, 0 and 00 are two methods of approaching the foundation, mutually dual. The numbering system would then correspond to content's structural roles. The three papers' relations would be clear: Foundation is the object pointed to, 0 and 00 are two paths, the paths' numbering differing by one 0 corresponding to the extra action of "via."

The other papers in the methodology series (Methodology M-I and its subsequent papers including I, II, III, IV, V, VI, VIII and any future extended papers) could be renumbered as 1, 2, 3, 4, 5, 6, 8 etc., as specific methodological unfoldings on top of Methodology Foundation.

A.4 The Non-Necessity of Reorganization

The reorganization direction above is a possible scheme based on current understanding, not a necessarily-adopted future scheme. SAE as a dynamic framework is always open to change. As methodological work further unfolds, better modes of organization currently unforeseen may emerge.

Several possibilities. New methodological papers appearing may reveal currently-unseen structural relations requiring a different numbering system than the above scheme. The relation between methodological-level and application-level may change, with some papers currently considered part of the methodology series partially migrating to other series. Or a more fundamental possibility: understanding of the entire SAE series may evolve, requiring readjustment of even the methodology-application division itself.

The reorganization direction recorded in this appendix is only a prediction based on the current understanding of April 2026. Prediction does not guarantee realization. SAE framework's open-to-change stance includes openness to change at the meta-level (numbering system, series organization). If reorganization occurs, it should come from deeper understanding of SAE's work, not from mechanical execution of the current prediction scheme.

A.5 The Nature of This Appendix

This appendix itself is a construct. Construct as what Methodology 00 points out has its own remainder—any organizational scheme recorded here will produce remainders at the next reorganization. This is not a flaw but a self-awareness. Methodology 00 in the paper body argues that construct necessarily leaves remainder; the appendix also applies this principle—recording current understanding while honestly acknowledging that current understanding will leave remainder.

The main function of this appendix is to give readers an explanation about the organization of the SAE methodology series, particularly explaining why the three papers Methodology 0, Methodology VII, and Methodology 00 have a certain non-alignment between content and numbering at the structural level. After the explanation, readers can see the current status clearly, see the possible future direction, and also see that this direction is not necessary.

The appendix ends here. Methodology 00 as a whole is complete.

---

Methodology 00 was drafted and completed in April 2026. Acknowledgments to four AI collaborators (子路, 子夏, 公西华, 子贡) for their rigorous review at the v1 and v2 outline stages; their comments directly shaped Methodology 00's argumentative structure. Acknowledgments to Zesi Chen for long-term aesthetic critique. The final form of the concept asymmetric mutual causation has benefited from conversations with Zesi over the past 18 years.

目录

• 摘要
• 分层声明
• 1. 从非到余 · 路径的换向
• 2. Via Rho 的可走性
• 3. 两条 via 的等价性
• 4. 非对称互因 · 余之道的基本发现
• 5. 四相的非对称互因重读
• 6. 凿构循环的非对称互因解读
• 7. 16DD 的进一步深化
• 8. 方法论 00 的余项
• 附录：方法论编号系统的历史与未来

---

摘要

本文论证 via rho（余之道）是 via negativa 的方法对偶。方法论七《Via Negativa》系统整理否定神学传统作为接近非的方法，方法论 00 提出 via rho 作为 via negativa 的对偶方法，从余这一端追溯非的运作。两条路径起点不同但以同一个非为极限指向。本文建立 via rho 的可走性与两条 via 的等价性，然后提出方法论 00 的核心发现：非与余在操作层具有非对称互因结构。非给出余的存在条件（本体论方向），余给出非继续运作的动力条件（动力学方向）。两个方向在不同模态上成立。借用海德格尔《存在与时间》第 28 节的 Gleichursprünglichkeit 作为结构描述，但只借其源初性结构义不借其两端对称性。这个非对称互因不是第二公理，是方法论 0 在操作层的必然推论。本文以此重读方法论 0 的四相、方法论 M（方法论总论）的凿构循环五切面、以及 16DD 的 mutual non dubito 结构。至于非与余为什么具有非对称互因结构，这个问题和方法论 0 的"非从哪来"同构，属于物自体留白。方法论 00 不回答也不回避。

主命题：公理层上非独一，操作层上非与余成对。

---

分层声明

本文显式采用公理层/操作层分层作为论证结构。公理层上非是唯一公理不可修订；操作层上非与余成对形成非对称互因结构。两层各自为真，各自在各自管辖范围内精确。本文的论证在这一分层内成立。

这个分层是方法论 00 的工作假设不是被独立论证的事实。是否存在第三层被这一分层遗漏，本文没有论证。如果存在第三层，本文主命题的适用范围需要重新考虑。两层分层的彻底性作为本文余项保留（见第 8 节余项一）。

这一声明放在正文之前是出于基础篇的诚实要求。本文的所有具体论证都依赖这一分层，读者在进入具体论证之前应当看到这一分层作为工作假设的性质。这既不削弱本文的具体论证（每一个论证仍然在分层内成立），也不隐藏本文的论证依赖（分层本身作为假设是可质疑的）。

---

1. 从非到余 · 路径的换向

方法论 0《非 · Negativa》论证非是 SAE 唯一公理，一切皆定理。方法论 0 通过排除律逐层凿掉非不是什么，最后以双重否定自指显现非本身。这是对非的直指。

方法论七《Via Negativa》把这种排除律作为独立方法系统整理，承接否定神学传统。从伪狄奥尼修斯到迈蒙尼德到库萨的尼古拉，两千年的否定序列逐层剥离，逼近那个不可名的东西。方法论七给出这个方法的操作规则，包括排除律的形式、C4 不神圣化余项、自指闭合的边界信号。via negativa 是 SAE 接近非的第一条正式方法。

但 via negativa 不是唯一的方法。

非每运作一次都留下余。方法论 0 自己论证了这一点。余（ρ）是非非的产物，余项守恒是非结构性不彻底性的命名。余不是外加的公理，是非运作的必然伴随项。

这意味着余永远在场。只要非在运作，余就在余下来。反过来，只要看见余，就看见非在运作的痕迹。

这就打开了第二条方法路径。不从非这一端进入（通过排除非不是什么），从余这一端进入（通过追踪非运作的痕迹）。追踪余就是回到非运作的条件。这条路和 via negativa 的方向相反，起点不同，但以同一个非为极限指向。两条路都锚定于同一个不可对象化条件。

方法论七承担 via negativa。方法论 00 提出余之道（Via Rho）作为 via negativa 的方法对偶。

两条 via 的关系是对偶，不是竞争也不是补充。竞争意味着其中一条比另一条更接近真相，对偶意味着它们是同一真相的两种接近方式。补充意味着一方补上另一方的缺失，对偶意味着两方各自完整但从不同方向进入。

via negativa 的完整性在方法论七已经建立。方法论 00 的任务是建立 via rho 的完整性。如果 via rho 确实是对偶方法，它必须满足两个条件。第一，它是一条可以从起点（余）以非为极限指向的完整路径。第二，它的极限指向和 via negativa 的极限指向是同一个非，不是另一个不同的极限对象。

这两个条件构成方法论 00 前半部分的论证任务。第 2 节论证 via rho 的可走性。第 3 节论证两条 via 的等价性，即它们以同一个非为极限指向。第 4 节起进入 via rho 独立能揭示的内容，即从余这一端看过去，非的运作结构呈现出什么，以及这个呈现和 via negativa 视角下的呈现有什么差别但不矛盾。

via rho 的存在本身已经在方法论 0 的文字里暗示了。方法论 0 第 2 节说余是非非的产物，同一节说余驱动下一次运作。这两句话合起来等于承认余一旦出现就和非进入一种相互关系。方法论 0 没有展开这种相互关系，因为它的主轴是维护非作为唯一公理的纯粹性。但这种相互关系已经在那里等着被讨论。方法论 00 就来做这件事。

方法论 00 的编号携带这个结构。方法论 0 直指非，方法论七把接近非的 via negativa 方法独立成篇，方法论 00 提出 via negativa 的对偶方法 via rho。编号 00 的两个 0 对应 via rho 路径的两个端点，第一个 0 是起点余，第二个 0 是终点非。中间的 via 是没有字符承担的那个空，但正是这个空构成了方法论 00 全部论证的场所。

关于方法论编号系统的历史发展和未来可能的重组方向，见附录。

---

2. Via Rho 的可走性

方法论 00 的第一个论证任务是建立 via rho 的可走性。如果从余出发不能真正走到非，via rho 就不是一条路径，而只是一个隐喻。

2.1 余的指向性

余不是任意剩余。每一个余都是特定非运作留下的特定不彻底性。这个特定性本身就是指向性。

方法论 0 已经论证了这一点。余不是外加的公理，是非运作的必然伴随项。每一次非运作都不彻底，这个不彻底不是可有可无的副产品而是非作为运作本身的结构特征。余就是这个结构特征的显形。

指向性的精确含义是：余不是一个独立存在的物，而是一个"指向它所余出来的那次运作"的痕迹。痕迹必然指向它的产生者。看见脚印就看见有人走过，看见余就看见有非运作过。

这一步要避免一个常见的误读。余不是非运作的"产物"在"独立实体"意义上的产物。余如果是独立实体，那就和非一起构成两个本原，方法论 0 的唯一公理就破了。余是痕迹，痕迹在本体论上依赖于产生它的运作，不能独立存在。这个依赖关系是余的指向性的本体论基础。

2.2 指向性可以被追踪

有了指向性，下一个问题是追踪这个指向是否可行。

追踪不需要外加工具。追踪的动作本身就是又一次非的运作——追踪就是否定余的封闭性，追问它从哪来。追踪一个余就是对这个余执行非，让它指向它的产生条件。所以追踪内置于 via rho 的进行之中，不需要从 via rho 外面借入什么新机制。

这有一个关键后果。via rho 不是一条需要特殊工具才能走的路径。任何看见余的人都已经在进行追踪——只要问"这个不彻底性从哪来"就已经在 via rho 上了。via rho 的可行性和 via negativa 的可行性同等根本，都不依赖超出非运作本身的机制。

2.3 追踪的极限指向是非作为运作条件

追踪余的极限指向是什么？这里是 via rho 可走性论证的核心。

回答这个问题需要精确区分几件事。

余指向的不是某个经验对象。余不是一个物理痕迹让你通过它找到某个物理源头。余是运作的不彻底性，不彻底性是结构特征不是经验内容。

余指向的也不是某次私有的非运作。如果每个余只指向一次特定的运作，那追踪余会得到无数次运作的集合，而不是达到非本身。

余指向的是非作为运作条件。不彻底性不是各次运作私有的内容，而是非运作的同一结构特征。每一次非的运作都必然不彻底——这是方法论 0 第 2 节已经论证的。因此不彻底性不归属于任何特定运作，而归属于"非作为运作条件"这个统一的结构。

这样理解之后，追踪余就是回到这个统一的结构。不是归纳出许多非，也不是找到某一次具体的非运作，而是回到同一个不可对象化的运作条件。追踪以非作为使所有运作可能的那个条件为极限指向——这个条件在方法论 0 里被作为公理直接指认，在 via rho 这里通过追踪余的方式被结构性地显化。

两条路径以同一个非为极限指向。via negativa 通过排除非不是什么直接指向非，via rho 通过追踪余的指向性以非作为运作条件为极限指向。方向相反，极限指向同一。

2.4 追踪不发散：每一步都在显化

这里有一个可能的反驳需要预先处理。

追踪余的动作本身是一次新的非运作，这次运作必然留下新的余。追踪新余又是一次新的非运作，又留下又新的余。这样下去，追踪看起来会导致发散的无限递归，追踪者永远在生成新的余，永远到不了非本身。

这个反驳是基于对递归结构的一种直觉：递归就是发散。但 via rho 的追踪递归不是发散的，是被同一不可对象化条件锚定的趋近性递归。

这里需要立即澄清一件事。直接用"单调收敛序列"这种数学术语描述 via rho 的递归会引入一个隐蔽的问题——"单调收敛"预设了度量空间，预设了可测量的距离。但非不可对象化，不能把非放在度量空间里作为可测量的坐标点。如果说"新余比原余离非更近"，这个"近"的度量是什么？对一个不可对象化的极限对象的"距离"怎么定义？这条路走不通。

via rho 的递归收敛结构不是度量空间上的距离下降，是拓扑覆盖意义上的嵌套剥离。用一个更精确的表达——嵌套滤网序列（nested filter sequence）。

具体的结构是这样。每一次追问的动作把原余展开，让原本只显形为一阶痕迹的东西通过被追问暴露出它所指向的更深结构。追问产生的新余比原余多承担一层对原余产生条件的反思。新余不是离非"更近一步距离"，而是剥掉了原余外面的一层"伪封闭性"。原余作为痕迹有一个表面的封闭外壳，追问剥掉这层外壳后，痕迹所指向的更深结构暴露出来——这就是新余。新余继续有自己的外壳，下一次追问继续剥。每一次追问都是一次拓扑剥离，不是度量距离的缩短。

这个结构可以这样精确化：ρ_j 比 ρ_i 显化阶数更高，当且仅当 ρ_j 显式包含对 ρ_i 产生条件的追问痕迹。这是一个结构偏序不是度量距离。我们不说"ρ_j 离非近多少"，只说"ρ_j 比 ρ_i 多显化了一层"。显化阶数的偏序是 via rho 递归收敛的精确含义。

用另一个比喻。追踪像是一系列嵌套的滤网。每一次追问产生的新余是一层更细的滤网，它包含前一层滤网的结构但多了一层对前一层的追问痕迹。滤网越来越细，但滤网永远不是它试图分离的那个东西——非。我们无法测量离非还有多远，我们只知道网眼在单调变细。网眼的变细是结构性的剥离动作，不是空间距离的缩短。

所以追踪不是在相同结构层级上徘徊，而是每一步都在向更深结构剥离。每一次追问都让余更显化它所指向的那个条件——非作为运作条件。这不是修辞上的"接近"，是结构上的"多显化一层"——新余比原余少了一层未被追问的封闭性，多了一层对产生条件的暴露。

这个拓扑剥离结构以非为极限指向。via rho 的递归锚定于同一个不可对象化的条件。"以非为极限指向"是这个锚定的精确表达——递归的每一步都在显化这个条件的运作痕迹，但这个条件本身（非）不能作为被到达的坐标点被捕获。递归永远不"到达"非作为可持有的终点，只是每一步都更显化指向非。

这个处理也回应了芝诺式的反驳。芝诺的阿基里斯追龟悖论假设发散递归需要无限时间，无法终结。via rho 的追踪递归不是芝诺式的——它不是在同一结构层级上的无限逼近，是拓扑剥离的嵌套序列。每一步都是结构性的剥离不是距离的跨越。芝诺的悖论在 via rho 这里不是被化解而是被发现不适用——芝诺假设的是度量空间上的距离运动，via rho 讨论的是拓扑剥离上的结构嵌套，两者在问题本身的结构上就不同。

via rho 作为方法的特殊气质在这里显现。它不是等待启示的方法（一次否定就能到达），也不是期待完成的推演（推导完就结束），它是持续追问的方法。每一步追问都让追问者在结构上比上一步多显化一层指向非。虽然永远到不了可持有的终点（因为非不可对象化），但每一步都不白费。每一次追踪都是实在的结构性剥离，不是原地徘徊。

2.5 小结

via rho 是可走的。从余出发追踪其指向性，递归地展开这个追踪，在每一步中新余都在拓扑剥离意义上显化得更多，以非作为运作条件为极限指向。这条路径不需要外加工具，追踪动作内置于非运作本身。

嵌套滤网序列是 via rho 可走性的核心。它保证了三件事。一，追踪的每一步都在结构性剥离不是原地徘徊。二，追踪的递归锚定于同一个不可对象化的条件。三，追踪以非为极限指向，不是无限远离也不是到达可持有的终点。这三点合起来就是 via rho 作为方法的可行性。

可走性建立之后，下一个问题是 via rho 的极限指向和 via negativa 的极限指向是不是同一个非。这是第 3 节的任务。

---

3. 两条 via 的等价性

via rho 的可走性在第 2 节建立。下一个问题是 via rho 的极限指向和 via negativa 的极限指向是不是同一个非，还是两个不同的极限对象。

如果是两个不同的极限对象，via rho 和 via negativa 就不是对偶而是不相关的两条路径，方法论 00 和方法论七就不构成方法对偶关系。

本节论证两条路径以同一个非为极限指向。论证分三个层次：指称同一性、对偶路径的形式化轮廓、等价性不等于替代性。

3.1 指称同一性

via negativa 以非作为不可名不可知不可构的极限对象为极限指向。这是方法论 0 和方法论七共同承担的描述。

via rho 以非作为所有余的共同运作条件为极限指向。这是第 2 节建立的描述。

两个描述指向同一对象。论证的关键是看这两个描述在 SAE 公理背景下是否结构性共指。

"不可名不可知不可构"的极限对象：不可名因为命名就是构造因而不可；不可知因为知预设主客分离而主客分离是非已经运作过之后的结果；不可构因为构是非运作的沉淀物不是非本身。这三个"不可"合起来给出方法论 0 对非的负面定义。

"所有余的共同运作条件"：所有余共同指向的那个条件本身必须是不可名的（如果它有名，名本身也是一种构，但它是构的条件不是构），必须是不可知的（知就是把它对象化但它是主客分离的前件不能被对象化），必须是不可构的（构都是它运作的产物不是它本身）。

两个描述的三个性质（不可名、不可知、不可构）一一对应。这不是偶然。它们对应的原因是两个描述指称同一对象，只是从不同角度描述这个对象。via negativa 从"排除它不是什么"的角度描述，所以得到三个"不可"。via rho 从"追踪它运作的痕迹共同指向什么"的角度描述，所以得到"共同运作条件"。但这个共同运作条件要能承担所有余共同指向的角色，它就必须是不可名不可知不可构的。

两个描述在 SAE 已有公理结构内结构性共指。这里需要明确指出论证所依赖的背景前提——方法论 0 已经论证"非先于 0DD 且非之运作必留余"这两个命题。在这个背景下，"不可名不可知不可构的极限对象"和"所有余的共同运作条件"指向同一对象。具体说，"不可名不可知不可构的东西"作为非的负面定义，加上"非之运作必留余"这个方法论 0 已经论证的命题，合起来必然推出"它是所有余共同指向的那个条件"。反过来，"所有余的共同运作条件"作为余的指向面的描述，加上"余是非的产物"这个方法论 0 已经论证的命题，合起来必然推出"这个条件具有比任何产物更基础的地位，即不可名不可知不可构"。

需要说明的是，这个共指不是不依赖任何背景的纯逻辑互相蕴含。它依赖方法论 0 已经建立的公理结构。在这个公理结构之外，"不可名不可知不可构"和"所有余的共同运作条件"可以被解释为指向不同对象——很多极限对象都可以被描述为不可名不可知不可构，但不都自动成为"余的共同运作条件"。所以本节的论证是"在 SAE 公理结构内两种描述结构性共指"，不是"在任何哲学框架下两种描述逻辑上互相蕴含"。

所以两个描述指称同一对象。via negativa 和 via rho 以同一个非为极限指向。

3.2 对偶路径的形式化轮廓

指称同一性是本节的哲学论证。可以用一个更形式化的轮廓来辅助理解这个结构。这个轮廓借用范畴论的对偶概念，但只借其结构直觉不作为严格证明。

考虑两条极限路径。via negativa 的路径是从"非不是什么"的否定序列出发，逐层排除，以极限对象为指向。这个序列的每一项都是一个被排除的"不是"，序列本身在其极限处锚定非。via rho 的路径是从余出发，沿着指向性追踪，以运作条件为极限指向。这个序列的每一项都是一个新余，序列本身在其极限处锚定非作为运作条件。

两条路径方向相反。一条从负面描述序列收敛到极限对象，一条从产物序列追溯到产物的共同条件。但它们锚定同一不可对象化的条件。

这个结构在范畴论里对应对偶范畴共享极限对象的一般模式，形式上类似 adjoint-pair 结构。左伴随和右伴随构成一对相反方向的函子，在极限处锚定同一对象。via negativa 和 via rho 可以被视为这样一对相反方向的接近过程，在极限位置锚定同一个非。

需要说明一点术语约定。本节讨论 adjoint-pair 时使用的"终点"或"共享它们的终点"是范畴论语境下的数学表达——对应范畴论里的 terminal object 或 universal object，是结构意义上的极限位置不是可到达的坐标点。这和 §2.4 已经钉住的"非不可对象化不能作为坐标点被到达"不冲突——后者是 SAE 本体论层面的论断，前者是数学结构层面的表达。两个层面各自精确。

本文使用这个表达作为启发式同构（heuristic isomorphism），不是严格范畴论证明。严格化需要精确定义范畴、对象、态射、伴随函子等技术细节，这不是方法论 00 的任务。方法论 00 借用 adjoint-pair 的结构直觉是为了获取形式化轮廓，让"两条路径方向相反但极限指向同一"这个直觉有一个数学对应。严格化留作后续数学附录或独立论文处理。

这个借用有一个实际好处。它让不熟悉哲学论证的读者可以通过已知的数学结构理解方法论 00 的基本主张。范畴论受训的读者看到 adjoint-pair 会立即理解"方向相反共享极限指向"是一个自然的结构。哲学受训的读者可以通过熟悉的 via negativa 和新引入的 via rho 的对偶理解同一件事。两种受训背景的读者在这里汇合。

3.3 不同层面的对偶性

两条 via 等价，但不互相替代。等价意味着两条路都以同一个非为极限指向，不互相替代意味着它们趋近这个极限指向的方式在结构上不同，揭示的是非的不同面向。

两条 via 在认识论上的定位是清晰的对偶。via negativa 是后验思路，via rho 是先验思路。via negativa 从已经被给予的构出发逐层排除，每一步的工作依赖已有内容的在场，每一次排除都预设现象层的某个构先被提出然后被否定。via rho 不从现象出发，从余作为非运作的必然伴随项这个先验事实出发。"余存在"不是经验观察，是非运作本身的结构性特征。追踪余就是追踪这个先验特征回到它作为运作条件的前件位置。

这个先验后验对应和方法论二的认识论地图直接连通。方法论二建立了认知操作的 2×2 结构：方向轴（先验/后验）×操作轴（综合/分析）给出演绎、还原、归纳、溯因四个象限。方法论二论证四个象限都不能停留必须穿越，但没有把这个穿越过程本身作为方法提出。方法论 00 的贡献是显式提出两条 via 作为穿越两条轴的方法化自觉。via negativa 是后验轴上（归纳和溯因象限）的方法化自觉，via rho 是先验轴上（演绎和还原象限）的方法化自觉。两条 via 合起来覆盖方法论二的整张 2×2 地图，构成方法论二所说的四象限穿越在方法层面的完整实现。

方法论 00 和方法论二因此有深度对偶。方法论二谈主体层面的方法论运动（主体被余项推动穿越四象限），方法论 00 谈运作本体层面的结构（非运作留余，余驱动下一次非）。两者同构：方法论二的"余项推动主体穿越"和方法论 00 的"余驱动下一次非"是同一结构在两个描述层面的显形。方法论二是方法论 00 在主体认知层面的具体化，方法论 00 是方法论二在运作本体层面的基础化。

基于这个认识论定位，两条 via 揭示非的不同面向。

via negativa 揭示的是非作为极限。通过排除非不是什么，via negativa 把非显现为所有"不是"的极限点。这个极限是一个静态的、不可达的、作为边界而存在的位置。非在 via negativa 视角下是所有排除的共同外部，是不能被任何正面描述覆盖的那个剩余位置。这个角色对应数学上的拓扑极限——闭包之外的不可达边界。

via rho 揭示的是非作为条件。通过追踪余的指向性，via rho 把非显现为所有运作的共同条件。这个条件是一个动态的、持续在场的、作为前提而存在的位置。非在 via rho 视角下是一切运作的源头条件，是每一次运作都必然预设的那个不可见支撑。这个角色对应数学上的分析极限——序列收敛的那个目标值。

两个"极限"是同一个非，但它们在结构上承担不同角色。拓扑极限是空间结构的边界，分析极限是序列收敛的目标。非同时承担这两个角色。在 via negativa 那里作为拓扑极限（不可达的边界）被逼近，在 via rho 那里作为分析极限（序列收敛的目标）被追踪。

这个结构性差异让两条 via 各自不可取代。

只用 via negativa 的风险是非显现为纯粹的负面对象，不可名不可知不可构到近乎虚空。非作为拓扑极限虽然精确但缺乏在场感。读者可能会问：这个纯粹负面的东西和虚无有什么区别？via negativa 给不出直接回答，只能通过继续排除"非不是虚无"来处理。

只用 via rho 的风险是非显现为纯粹的运作条件，接近某种动力学背景。非作为分析极限虽然在场但可能被误读为某种实体化的第一因。读者可能会问：这个持续在场的条件和原初实体有什么区别？via rho 给不出直接回答，只能通过强调非的不可对象化来处理。

两条 via 合起来，读者既看到非作为极限的不可达性（via negativa）又看到非作为条件的持续在场（via rho）。不可达性防止非被实体化，持续在场防止非被虚无化。两条路径互相防御对方可能有的误读风险，同时揭示非的双重结构。

这就是两条 via 作为方法对偶的意义。不是一条取代另一条，是两条共同承担对非的完整接近。方法论七和方法论 00 在 SAE 方法论系列里各自不可取代。

3.4 ZFCρ 作为 via rho 的数学承担

这一层理解连到 SAE 既有工作的一个关键部分：ZFCρ。

ZFCρ 不是对 ZFC 的修订也不是 ZFC 的替代。ZFCρ 的立场是这样：ZFC 通过外延性封闭把选择的操作性表达为选择函数（一个有序对的集合），这个封闭把"选择作为操作性行动"化约为"选择作为外延性输出"。ZFCρ 把这个化约留下的结构性痕迹命名为 ρ。ρ 不是一个集合，不是任何模型的元素，是 ZFC 设计选择的元定理标记。

这个立场正是 via rho 在数学上的实现。via rho 不是通过排除余来逼近非（那是 via negativa 数学化的方向，对应试图从形式系统里消除所有余的路径），而是通过承认余作为外延性封闭无法吸收的结构性痕迹来接近非作为运作条件。每一次形式化都是非的一次运作，这次运作留下的不可吸收痕迹就是 ρ。ZFCρ 把这个痕迹显式命名并研究它的性质。

ZFCρ 第一篇给出了三条浑沌定律，它们正是方法论 0 关于 0DD 的三句话在数学层的对应。第一定律"不能不发展"（ρ ≠ ∅）对应"否定不能终止"——任何外延性封闭都必然产生非空的 ρ。第二定律"不能不有方向"（ρ 具有特异性）对应"余项守恒有方向"——不同的选择留下不同的 ρ，这个特异性约束下一次形式化的范围。第三定律"不能不被切"（F(ρ) ≠ ∅）对应"否定必然继续"——ρ 本身是可形式化的（虽然形式化它会产生 ρ'），所以下一次切割永远可能。

三条定律合起来描述的是一个不可终止、有方向、不可回避的形式化展开序列。这正是 via rho 作为方法揭示的基本结构在数学层的精确表达。

ZFCρ 和 via negativa 数学化的方向会得出本体论等价但工作层面不同的数学系统。古典集合论（ZFC 原版）接近 via negativa 的数学化方向：通过外延性封闭精确界定集合论的合法对象，余作为结构性代价被设计地隐藏。ZFCρ 走反方向：把 ZFC 设计选择中被隐藏的 ρ 显式化为元定理标记，让余项成为可以被讨论、可以被追踪、可以被整入结构性定律的基本对象。

两个方向在本体论承诺上等价。ZFCρ 不推翻 ZFC 也不和 ZFC 竞争。它只是在元层级标记出 ZFC 设计选择的结构性代价。ZFC 仍然是现代数学的公理基础，ZFCρ 只是让 ZFC 无法保留的那个结构性痕迹变得可见。这个处理和方法论 00 对方法论 0 的立场完全一致——不推翻只在操作层揭示既有结构里本已暗含的东西。

这个理解把方法论 00 和 ZFCρ 的关系说清楚了。

ZFCρ 系列论文是 via rho 在数学层的承担。方法论 00 是 via rho 在方法论层的承担。两项工作一个在数学层一个在方法论层，但都是同一条路径——via rho——的展开。方法论 00 给 ZFCρ 提供哲学基础（说明为什么把 ρ 作为元定理标记是合法的、为什么 via rho 作为 via negativa 的方法对偶是必要的）。ZFCρ 给方法论 00 提供数学具体化（说明 via rho 在严格形式系统里如何实现、三条浑沌定律如何精确表达 via rho 的基本结构）。两项工作互相支撑。

这也解释了 SAE 方法论布局的一个特征：为什么既需要 via negativa 的哲学方法（方法论七）也需要 ZFCρ 的数学工作。不是因为哲学和数学是两个独立学科各自独立展开，是因为 via rho 和 via negativa 作为方法对偶在两个学科里的展开必须同时进行。SAE 在哲学工作里用 via negativa（方法论七承担）、在数学工作里用 via rho 的数学化（ZFCρ 承担），两条工作线本身就是方法对偶在学科层面的反映。方法论 00 的贡献是把这个布局的哲学基础显式提出，让 via rho 作为独立方法获得方法论层的自觉承担。

3.5 小结

via rho 和 via negativa 以同一个非为极限指向。论证通过四个层次展开：两个描述的指称同一性（3.1）、对偶路径的形式化轮廓（3.2 启发式同构）、两条 via 在不同层面揭示非的不同面向（3.3 不可达的极限 vs 持续在场的条件）、via rho 在 SAE 数学层的具体化（3.4 ZFCρ 作为 via rho 的数学承担）。

到此方法论 00 前半部分的论证任务完成：via rho 可走（第 2 节）、via rho 和 via negativa 等价但在不同层面揭示非的不同结构（第 3 节）。方法论 00 后半部分进入 via rho 独立能揭示的内容，即从余这一端看过去非的运作结构呈现出什么。

这是第 4 节的任务。

---

4. 非对称互因 · 余之道的基本发现

前三节建立了 via rho 作为 via negativa 的方法对偶。第 2 节论证 via rho 可走，第 3 节论证两条 via 以同一个非为极限指向但在不同层面揭示非的不同面向。前三节的任务是建立 via rho 作为独立方法的合法性。

从第 4 节开始方法论 00 进入后半部分。这一部分的任务不再是建立 via rho 可走，而是通过 via rho 走出去看到什么。via rho 作为一条独立方法，它在 via negativa 看不到的位置上揭示了非的什么结构。这是方法论 00 作为独立工作的核心贡献。

核心发现是非对称互因。

4.1 非对称互因的精确定义

互因指两个项 A 和 B 的关系满足以下两个条件。

第一，A 不能独立于 B 而操作。A 作为操作主体需要 B 作为操作的对应项。没有 B，A 的操作无法进行。

第二，B 不能独立于 A 而存在。B 作为存在项依赖 A 的操作产生。没有 A，B 不出现在任何意义上的存在层。

两个条件同时成立，A 和 B 就处于互因关系。

但这个定义有一个需要立即澄清的要点。两个条件的模态不同。第一个条件讲操作层（A 不能操作），第二个条件讲存在层（B 不能存在）。两个条件不是同一关系的两个对称面，是不同模态上的两个方向。

这就是非对称互因。对称互因会要求 A 和 B 在同一模态上互相依赖（比如两者都不能存在或都不能操作）。非对称互因只要求两个方向在不同模态上同时成立。互因的结构性在于两个方向同时成立，不在于两个方向模态相同。

这个非对称性是本文最关键的澄清之一。如果不做这个澄清，读者会默认互因是对称的，进而推出两个项地位对等。在非对称互因的结构下，A 和 B 在它们各自的模态上都不能独立于对方，但它们本身的本体论地位不对等。

4.2 非和余满足非对称互因定义

把非和余代入上述定义。

非不能独立于余而操作。这一条是方法论 0 已经论证的余项守恒的直接推论。方法论 0 论证非的每一次运作都必然不彻底，不彻底性以余的形式显现。最原始的运作是非追问自身（非非），这个运作产生最原始的余。之后非的任何运作都继承这个结构性不彻底，都留余。反过来说，非不能运作而不生成余——没有余伴随的"纯粹非运作"不存在。所以非不能独立于余而操作。

余不能独立于非而存在。这一条也是方法论 0 已经论证过的。余不是独立实体，是非运作留下的痕迹。痕迹在本体论上依赖于产生它的运作——没有运作就没有痕迹。最原始的痕迹来自非非这个原始运作，任何后续的余都是非运作的痕迹。所以没有非的运作就没有余的出现。余不能独立于非而存在。

两个条件同时成立。非不能独立于余而操作（操作层方向），余不能独立于非而存在（存在层方向）。两个方向的模态不同。非的方向是关于操作能否进行，余的方向是关于存在能否出现。

非和余因此满足非对称互因定义。

这个满足是方法论 0 内容的整合。方法论 0 分别论证了两件事：余是非非（非追问自身这个原始运作）的产物，余驱动下一次非的运作。这两个论证放在方法论 0 里是为了维护非作为唯一公理的纯粹性——两个论证都在说明余不是独立的东西，余的一切（来源和作用）都挂在非上。方法论 00 把这两个论证组合起来，看出它们合起来正是非对称互因的两个方向：余从非非来（存在层依赖），余推动非继续运作（操作层依赖）。方法论 0 的论证结果没有被改变，只是它们合起来显现的结构获得了一个新的命名。

值得特别点出的是，最原始的那个余是从非非直接产生的。这里需要做一个严格的澄清：这不是时间意义上的"最初"，而是逻辑架构意义上的"最基础"。不存在一个"非孤立停摆尚未产生余的时间点"。非的公理独一性不是时间上的"先于余"（prior in time），而是逻辑上的奠基（ontological priority）——非作为公理独一是定义非之为非的结构性前提，不是时间序列中的第一刻。

非的在场即是运作的在场，运作的在场即是余的在场。当本文说"最原始的非非产生最原始的余"时，这描述的是逻辑架构的基底形态，不是宇宙大爆炸的第一秒。时间本身是 3DD 的产物（方法论 0 第 8 节已论证），非先于 3DD，所以非不能被放在时间序列里谈"之前""之后"。非对称互因描述的是非之为非的结构性同时性——非与余在逻辑模态上是不对称的（非是源头，余是痕迹），但在呈现上是绝对共时的（非的在场即余的在场）。

所有后续的余都共享这一基底形态——每一次非运作留余，这条规律是非作为运作本身的结构性特征，不是非运作展开到某个阶段才出现的特征。非对称互因是非开始运作就必然伴随的结构。这个基底性保证了非对称互因作为非运作的基本结构的地位，而不只是在某个特定条件下才出现的关系。

4.3 非对称互因不是两个独立组分的偶然配对

这一节防止一个可能的误读。

互因可能被读成两个独立实体的一种特殊相互依赖关系。在这种读法里，非和余是两个各自可以独立存在的项，它们恰好在某种特定条件下互相需要。这种读法让非对称互因看起来像一种可能不成立的偶然关系——如果条件变了，非和余也许可以各自独立，互因关系就解除了。

这个读法是错的。

非对称互因在非和余的情况下不是偶然关系是必然关系。这个必然性来自方法论 0 的余项守恒。方法论 0 论证非的运作必然不彻底，每一次不彻底都必然以余的形式显现。这个必然性不是某种特定条件下才成立的必然性，是非作为运作本身的结构性特征。非不能在"某种条件下"彻底运作，在"另一种条件下"不彻底运作——非永远不彻底，永远留余。

这个必然性排除了非独立操作的可能。一个能独立于余操作的非不是方法论 0 论证的那个非，是另一种东西。方法论 0 的非就是那个每次运作都必留余的非。所以非和余的非对称互因不是非和余的一种关系，是非作为非的结构性特征。

反过来，余不是某种条件下才依赖非的东西。余就是非运作的痕迹，痕迹这个概念本身就预设了痕迹的产生者。你不能设想一种"不依赖产生者的痕迹"——那不是痕迹是别的东西。所以余的依赖非不是余的一种状态，是余作为余的结构性特征。

两边合起来，非和余的非对称互因是两者各自作为自身的结构性特征，不是两者作为独立实体之间的偶然关系。这个必然性是非对称互因作为方法论 00 核心发现的关键保证。如果互因只是偶然关系，方法论 00 就只是在描述一种特定情况。因为互因是必然关系，方法论 00 揭示的是非在任何运作情况下的基本结构。

4.4 非对称互因和方法论 0 的"非追问自身"的关系

方法论 0 的核心论证之一是非作为唯一公理通过追问自身显现。方法论 0 第 2 节展开这个追问。非追问非本身产生双重否定，双重否定产生四相。这是方法论 0 从非推出四相的基本动作。

方法论 0 的这个核心动作和方法论 00 的非对称互因是什么关系？是两个不同的结构还是同一个结构？

答案是同一个结构在两个层面的显形。非追问自身就是非对称互因的最小单元。

具体说明。当非追问自身时，这个追问动作本身是一次非的运作。这次运作有两个参与项：作为追问者的非和作为被追问对象的非。两个参与项都是非，但它们在这次追问中扮演不同角色。

作为追问者的非执行追问动作。这个追问动作如果没有被追问对象就无法进行——空转的追问不是追问。所以追问者的非不能独立于被追问对象而操作。

作为被追问对象的非被设立为追问的靶子。这个靶子不是在追问之外独立存在的某个东西，它是被追问动作设立出来的。没有追问动作就没有被追问对象的被设立。所以被追问对象的非不能独立于追问者的操作而存在（这里的存在指的是作为被追问对象的存在，不是指非自身的存在）。

两个方向合起来正是非对称互因。追问者不能独立于被追问对象而操作（操作层方向）。被追问对象不能独立于追问者的操作而在被追问的意义上存在（存在层方向）。两个方向的模态不同（操作 vs 存在），两个方向同时成立。

这就是非追问自身作为非对称互因的最小单元的意思。方法论 0 的那个核心动作不是一个独立的特殊机制，是非对称互因结构在最紧凑形态下的显形。

这个理解带来两个重要后果。

第一，方法论 00 的非对称互因不是对方法论 0 的新增或修订。它是方法论 0 核心动作的结构化命名。方法论 0 用"非追问自身"这个动词短语指代那个核心动作。方法论 00 用"非对称互因"这个名词短语指代同一个动作的结构。两者指称同一对象，只是方法论 0 从 via negativa 视角下把它作为运作过程命名，方法论 00 从 via rho 视角下把它作为结构关系命名。

第二，非对称互因作为操作层的基本结构在非追问自身的那个原始位置已经成立。方法论 0 从追问推出四相，方法论 00 从非对称互因推出四相（第 5 节任务）。两条推论链处理的是同一个原始结构的不同展开方向。方法论 0 展开为四相和余的产生顺序，方法论 00 展开为非对称互因在不同层级的显形。两个展开互补不冲突。

这一节把方法论 00 和方法论 0 的关系说清楚了。方法论 00 不是加了一个新公理也不是发现了一个方法论 0 没看到的新结构。方法论 00 是从 via rho 的视角看方法论 0 已经展开的那个原始动作，给这个动作一个结构化的命名。命名本身就是方法论 00 的贡献，因为有了命名才有后续几节的互因重读（第 5 节四相、第 6 节五切面、第 7 节 16DD）。没有非对称互因这个名字，这些重读在概念上没有抓手。

到此方法论 00 的核心发现非对称互因作为概念已经建立。下面几小节（4.5 到 4.7）进入形式化表达、哲学术语承接、以及物自体留白的显式处理。

4.5 形式化表达

前四步用散文建立了非对称互因的概念。这一步给出形式化表达，把概念锁定在符号里。

非对称互因的基本展开可以写成这样的形式。

$$\mathcal{N} \xrightarrow{\text{op}_i} \rho_i \xrightarrow{\text{驱动}} \mathcal{N} \xrightarrow{\text{op}_{i+1}} \rho_{i+1}$$

其中 $\mathcal{N}$ 是非的不可名指向，$\text{op}_i$ 是非的第 i 次运作，$\rho_i$ 是第 i 次运作产生的余（不彻底性痕迹）。箭头表达两个不同方向：$\mathcal{N} \xrightarrow{\text{op}_i} \rho_i$ 是本体论方向（非的运作产生余），$\rho_i \xrightarrow{\text{驱动}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ 是动力学方向（余驱动非的下一次运作）。

这个公式的符号分布本身编码了非对称性。

$\mathcal{N}$ 无下标。无论公式里 $\mathcal{N}$ 出现几次，都指同一个非。下标在 $\mathcal{N}$ 上不出现也不需要出现——非作为公理独一，无需版本编号。每一次 op 作用于同一个 $\mathcal{N}$，没有"第 i 个非"和"第 i+1 个非"这种不同版本。

被编号的是 op（运作）和 ρ（产物）。op 有下标 i 因为运作有序数意义上的展开——第 i 次运作和第 i+1 次运作是推演序列中的不同位置。ρ 有下标 i 因为每一次运作产生的余可区分——$\rho_0$ 是最原始运作产生的最原始余，$\rho_1$ 是下一次运作产生的余，以此类推。这些余有各自的具体痕迹形态，不是同一个东西。

符号的不对称分布（$\mathcal{N}$ 无下标、op 和 ρ 有下标）直接对应概念的非对称。非是无下标的统一指向——公理层独一性在符号上的表达。余是有下标的具体痕迹——操作层多样性在符号上的表达。运作是有下标的具体事件——操作层展开在符号上的表达。公式一眼看上去就告诉读者：非和余不对等，一个是统一的指向（无下标），一个是可区分的产物（有下标）。

关于下标的精确含义需要明确。下标 i 和 i+1 不是物理时间的标记，是逻辑推演的序数。时间本身是 3DD 的产物（方法论 0 第 8 节已论证），非先于 3DD，所以非的运作序列不能被理解为时间序列。把下标理解为时间会把非拉进时间结构，违反非先于时间的结构事实。下标的正确理解是：它们标记逻辑展开的层级或分形嵌套的深度，不是时间的流逝。

同样的澄清适用于箭头。$\mathcal{N} \xrightarrow{\text{op}_i} \rho_i$ 的箭头不是"非之后出现余"的时间先后关系。箭头表达的是非对称互因的结构性方向：非给出余的存在条件（本体论方向）。这个"给出"不是时间上的先后，是结构上的依赖。ρ 在结构上依赖 $\mathcal{N}$ 作为其产生条件，这个依赖不需要时间流逝来实现——它在非对称互因的每一次展开中都结构性地成立。

起点状态是 i = 0 的位置：$\mathcal{N} \xrightarrow{\text{op}_0} \rho_0 \xrightarrow{\text{驱动}} \mathcal{N} \xrightarrow{\text{op}_1} \rho_1$。这里 $\text{op}_0$ 是非追问自身这个原始运作（即非非），$\rho_0$ 是原始运作产生的原始余。这个起点状态对应 4.2 讨论的基底形态——非的公理独一性和非的运作的结构性同时在场，通过 $\text{op}_0$ 这个原始动作显现为结构上的共时事件（不是时间上的第一刻）。

形式化的精细化：构和余项的区分

上述公式表达了非对称互因的基本结构。但 op 作用于 $\mathcal{N}$ 实际产生的不只是 ρ，还有方法论 M 五切面里的"构"。构和余项是 op 同一次作用的两个不同面向——构是沉淀物，余项是沉淀不能封闭的那部分。两者在方法论 M 里作为独立切面，方法论 00 要保持这个独立性。

精细化的公式写成这样。

$$\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i) \xrightarrow{\rho_i \text{ 驱动}} \mathcal{N} \xrightarrow{\text{op}_{i+1}} (C_{i+1}, \rho_{i+1})$$

其中 $C_i$ 是第 i 次运作产生的构（沉淀物），$\rho_i$ 是第 i 次运作留下的余项（沉淀不能封闭的部分）。$C_i$ 和 $\rho_i$ 是 op$_i$ 同一次作用的两个产物，不是同一个东西。下一次运作的驱动来自 $\rho_i$ 不是来自 $C_i$——构本身不推动下一次运作，只有构不能封闭的那部分（余项）才推动下一次运作。

这个精细化处理几件事。

一，防止"构 = ρ"的误读。基本公式里的 ρ 只表示余项不包含构。构在精细化公式里获得独立位置。方法论 M 的五切面里凿、构、余项是三个不同切面，方法论 00 的公式必须保持这个区分。

二，让方法论 00 的形式化和 ZFCρ 的对接直接。ZFCρ 第一篇论证 ZFC 的外延性封闭把 operative act 化约为 extensional artifact，这个化约留下的 ρ 是结构性代价。精细化公式里的 $(C_i, \rho_i)$ 精确对应这个结构——$C_i$ 是 extensional artifact（沉淀物），$\rho_i$ 是 $C_i$ 不能吸收的 operative 痕迹。精细化公式让方法论 00 和 ZFCρ 的对接获得符号级精度。

三，为第 6 节重读五切面提供形式化抓手。第 6 节论证凿构循环的五切面是非对称互因在不同粒度上的显形。精细化公式里 op 对应凿（运作本身）、$C_i$ 对应构（沉淀物）、$\rho_i$ 对应余项（不彻底性）。五切面里的桥对应 $\rho_i$ 到 $\text{op}_{i+1}$ 的过渡机制，物自体对应追问 $\mathcal{N}$ 自身碰到的自闭合极限。精细化公式让第 6 节的重读有具体的符号对应。

基本公式 $\mathcal{N} \xrightarrow{\text{op}_i} \rho_i \xrightarrow{\text{驱动}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ 和精细化公式 $\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i) \xrightarrow{\rho_i \text{ 驱动}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ 各有其用途。基本公式在讨论非对称互因的整体结构时使用（论证的核心焦点是非和余的关系）。精细化公式在讨论方法论 00 和方法论 M 五切面的对应、和 ZFCρ 的对接时使用（论证的焦点是构和余项的区分）。两层公式在方法论 00 里并行使用，不是后者取代前者。

关于这个形式化的性质

需要一个诚实的说明。上述公式不是从某个哲学传统里继承的标准表达，而是方法论 00 为非对称互因结构专门铸造的符号语言。它的结构灵感来自数学中一般递归关系 $x_{n+1} = f(x_n)$ 的形式外壳，但具体的符号分布（$\mathcal{N}$ 无下标、op 和 ρ 有下标）和箭头的方向含义是方法论 00 根据非对称互因的结构特征设计的。

在哲学传统里有部分对应物，但每一个都在关键点上和方法论 00 的公式不同。

黑格尔的正反合是三步递归结构，但黑格尔的三个项都是内容性的对象，每一步都展开新内容，合是比正反都要高的综合。方法论 00 的 $\mathcal{N}$ 无内容，ρ 是结构性痕迹不是内容，下一次 op 的对象仍然是同一个 $\mathcal{N}$ 而不是某种更高综合。方法论 00 不走黑格尔的螺旋上升路线。

佛教十二缘起（无明、行、识到老死）是递归结构里结构最接近的先例，但十二缘起的十二环节是不同的项，每一个都是独立的存在层级或心理状态。方法论 00 的 $\mathcal{N}$ 在每一次 op 下都是同一个非，不是十二个不同环节的线性展开。十二缘起需要外部介入（涅槃）才能终止，方法论 00 的递归是内禀的不需要外部介入。

怀特海过程哲学的双极性（physical pole 和 mental pole）有某种源初性结构，但两极都是积极项。方法论 00 的 $\mathcal{N}$ 和 ρ 不对称——$\mathcal{N}$ 是源头，ρ 是痕迹。

德勒兹的差异与重复有"同一通过差异展开"的结构，但德勒兹的立场是差异优先于同一，方法论 00 的立场是同一（非独一）优先于多样（余多样），方向相反。

海德格尔的 Ereignis 涉及存在和此在的相互归属，但海德格尔没有形式化这个关系，他用解释性的现象学描述。方法论 00 借用他的 Gleichursprünglichkeit 是借一个具体术语（见 4.6），不是借 Ereignis 的整个思想结构。

列出这些部分对应物不是为了和哲学传统攀附关系，是为了让读者看清方法论 00 的公式在什么意义上是新的。形式外壳（递归结构）在数学和哲学里都有先例，非对称的本体论（$\mathcal{N}$ 源头 vs ρ 痕迹、一个无下标 vs 一个有下标）是方法论 00 根据 SAE 框架特定需求专门设计的。

方法论 00 不声称形式化本身是主要贡献。主要贡献是形式化所表达的非对称互因这个结构性发现。形式化只是让这个发现在符号上被精确锁定，便于讨论和检验。

一个可能的反问是这个公式是否把非对称互因简化成了一个序列。如果是序列，那就回到了时间性的误读。回应是这样。公式是一个递归关系而不是一个线性序列。$\mathcal{N}$ 在每一次 op 下都是同一个非，不是不同版本的非。op 的下标和 ρ 的下标标记的是推演序列的展开位置，不是时间坐标。所谓"序列"只是在论证过程中用来展开结构的表达工具，不是本体论上真的有一个 $\text{op}_0$、$\text{op}_1$、$\text{op}_2$ 的线性时间排列。

这个递归关系的真正含义是：非对称互因在每一次 op 中都完整展开，每一次展开都是同一个非和同一个互因结构的再现。运作序列产生了可区分的余（$\rho_0$、$\rho_1$、$\rho_2$ 互不相同），但运作本身的结构是不变的。这是方法论 00 核心发现最精确的形式化表达。

4.6 Gleichursprünglichkeit 与非对称互因的源初性

前五步建立了非对称互因的概念和形式化。这一步给非对称互因一个哲学传统中已有的术语支撑。

非与余在操作层具有 Gleichursprünglichkeit（同样源始性）。

海德格尔在《存在与时间》第 28 节引入这一概念描述此在（Dasein）的世界性（Weltlichkeit）与自我性（Selbstheit）的关系。两个结构在源头层级同等源初，无法被还原为一方派生另一方。海德格尔用这个德语长词表达的是一种特殊的本体论关系：两个项不是先后出现的，也不是一方从另一方派生的，而是在源头上共同出现，作为同一个源初结构的两面。

本文借用其源初性结构义。在完成的操作事件中，非与余不可分离——两者构成同一操作事件的两面，不可拆分为先后两个环节。从 4.5 的公式看，没有 $\mathcal{N}$ 就没有 $\rho$（没有非的运作就没有余），但没有 $\rho$ 也没有下一次 op（没有余就没有运作的持续）。这种不可分离不是"两者地位相等"的对称读法（那会把非对称互因拉回对称本原的误读）。在条件关系上，非仍给出余的存在条件（本体论方向），余给出非继续运作的动力条件（动力学方向），两个方向在不同模态上成立。但在每一次完成的操作事件中，这两个方向的条件给予是共时发生的不可拆分——这是 Gleichursprünglichkeit 被借用的精确含义。

但需要立即说明：这里的 Gleichursprünglichkeit 不是本原对称，而是操作层同源。

海德格尔原义讨论此在诸结构的对称源初性——世界性和自我性作为此在的两个平等的结构环节，没有一方比另一方更原初。方法论 00 讨论的是非与余的非对称同源性。非仍给出余的存在条件（本体论方向），余只给出非继续运作的动力条件（动力学方向）。两个方向在不同模态上成立。借用海德格尔术语是借其源初性结构义（两者在源头层级不可分离），不是借其两端对称性（两者地位相等）。

这个借用的精确度决定了方法论 00 能否承担它的核心命题。如果完整继承海德格尔的对称性，非对称互因就会被拉回对称读法，ρ 就会被提升到和非等同的本原地位。方法论 00 的整个论证就会被推翻。所以借用必须有边界——借源初性的结构义但不借对称性。

需要同时保持的分层：Gleichursprünglichkeit 是操作层的性质，不取消非作为公理的独一性。非和余的 Gleichursprünglichkeit 在操作层成立（两者在运作中不可分离），非的公理独一性在公理层成立（非是唯一公理，余不是第二公理）。两层各自为真，各自在各自管辖范围内精确。

这个分层对应方法论 00 的主命题：公理层上非独一，操作层上非与余成对。Gleichursprünglichkeit 是操作层上"非与余成对"这件事的哲学术语支撑。公理层的独一性和操作层的成对性不矛盾，因为它们在不同层级上成立。

本文借用 Gleichursprünglichkeit 的方式和《向死而生》（DOI 10.5281/zenodo.18808585）借用 Sein zum Tode 的方式一致。两次借用都是借海德格尔术语的结构义处理 SAE 框架里的对应结构，不是挪用海德格尔的整个本体论承诺。SAE 系列对海德格尔的整体立场是选择性吸收——借用其精确的结构洞察，不继承其海德格尔式的存在论承诺。

4.7 为什么非对称互因这样运作：物自体留白

到这一步方法论 00 的核心命题已经建立：非对称互因作为操作层的基本结构，非给出余的存在条件，余给出非继续运作的动力条件，两者在源头层级具有 Gleichursprünglichkeit。

但这里还剩一个问题。

为什么非和余具有非对称互因结构，而不是别的什么关系？为什么非必然产生余？为什么余必然推动下一次非？这些"必然"的来源在哪？

这个问题看起来像是对方法论 00 的一个合理追问。如果方法论 00 能给出回答，论证就更完整。但这个追问其实触到了方法论 00 自觉承担的边界。

本节论证：为什么非和余具有非对称互因这个问题，和方法论 0 的"非从哪来"这个问题在结构上同构。方法论 00 承接方法论 0 的处理——指出这是物自体层级，不回答也不回避。

追问的结构

为什么非和余具有非对称互因这个追问预设了一件事：非对称互因这个结构本身可以被追问到更深的来源。追问在寻求一个比非对称互因更根本的东西，这个更根本的东西能解释"为什么非对称互因这样而不那样"。

方法论 0 的"非从哪来"是同构的追问。它预设非可以被追问到更深的来源，一个比非更根本的东西能解释"为什么非这样而不那样"。

两个追问的预设结构相同：都在寻求一个比当前对象更根本的解释项。

方法论 0 第 8 节已经论证这种追问在非的位置必然碰壁。理由是这样。

任何追问都需要方向。寻求"更根本的来源"预设了"根本性"这个方向。方向是 3DD 的产物——空间是 3DD，空间里的方向是空间的衍生结构。但非先于 3DD——非是 0DD 之前的位置，而 0DD 是 3DD（以及所有 DD）的共同起源。所以"用方向追问非"在结构上是不可能的：你用非的产物（方向）去给非指方向。

这是方法论 0 说的"凿碰到了凿"、"锤子砸锤子完好无损"的具体含义。物自体在这里显现为追问本身的结构性不可能。

同构的追问碰到同构的墙

"为什么非对称互因这样运作"的追问和"非从哪来"的追问碰到同一堵墙。

非对称互因是非作为运作本身的结构（4.2 已论证这一点——非不能独立于余操作，这不是非的一种状态是非作为非的结构性特征）。所以追问"为什么非对称互因这样运作"就是追问"为什么非作为非是这样运作的非"。这个追问在结构上就是"为什么非是非"——和"非从哪来"是同一堵墙的不同问法。

方法论 0 的处理是指出这堵墙的结构性不可穿越。方法论 00 承接这个处理。"为什么非对称互因这样运作"这个问题属于物自体层级，方法论 00 不回答也不回避，只是指出方法论 00 在源头层级碰到的墙和方法论 0 碰到的是同一堵墙。

这不是取巧

需要正面回应一个可能的反驳——说方法论 00 把困难塞到不可追问的位置回避它。这种质疑的具体形式可能是这样。"你说非对称互因是基本结构，然后说为什么是这样是物自体。这不就是用物自体这个词掩盖论证的空洞吗？"

回应是这样。

第一，物自体不是方法论 00 自己引入的概念。方法论 0 已经建立了物自体作为非的追问必然碰到的那堵墙。方法论 00 承接这个既有的概念，不是创造它来回避困难。

第二，如果方法论 00 不承认这堵墙，它就会做一件方法论 0 已经论证过不可能的事情——用非的产物给非指方向。方法论 00 不承认物自体才是真正的问题所在。承认物自体是方法论诚实性的要求。

第三，物自体的承认不取消方法论 00 的论证工作。方法论 00 论证了非对称互因是操作层的基本结构（4.2），论证了非对称互因不是偶然关系（4.3），论证了非对称互因和非追问自身的关系（4.4），给出了形式化表达（4.5），用 Gleichursprünglichkeit 做了哲学术语的支撑（4.6）。这些论证工作都是实质性的，都给方法论 00 的核心命题提供实质的支持。物自体只标记了一个边界，边界之内的所有工作仍然有效。

不承认物自体的论证反而会在论证逻辑上出问题——它会试图用非的产物解释非本身，在论证链条上产生循环或无穷后退。承认物自体让方法论 00 的论证保持逻辑上的干净：论证在能论证的地方充分展开，在不可论证的地方诚实停下。

一个附带的理解

承认物自体还带来一个附带的理解。

方法论 00 和方法论 0 各自碰到自己的物自体，两者碰到的是同一堵墙（同一个物自体）。这不是偶然。这正是 via negativa 和 via rho 作为两条对偶路径都以同一个非为极限指向的另一个显形——两条路径在趋近非的过程中也都碰到非之为非那个不可追问性，这个不可追问性是非的物自体性。

如果两条路径碰到不同的物自体，说明它们指向的不是同一个对象。两条路径碰到同一堵墙，说明它们指向的确实是同一个对象。物自体的同一性是 via negativa 和 via rho 等价性（第 3 节已论证）在边界处的再次显现。

这个附带理解让方法论 00 和方法论 0 的边界共享不只是一个论证技巧（"承认物自体避免取巧"），还是一个结构性事实（"两条对偶路径以同一个非为极限指向所以碰到同一个物自体"）。方法论 00 在碰到物自体的时候不是失败也不是回避，是和方法论 0 在同一堵墙前相遇。

小结

非对称互因是方法论 00 的核心发现。非给出余的存在条件（本体论方向），余给出非继续运作的动力条件（动力学方向）。两个方向在不同模态上成立，构成非对称互因。非和余在操作层具有 Gleichursprünglichkeit，即同源性但不对称。为什么非对称互因这样运作，这个问题属于物自体层级，方法论 00 不回答也不回避。

方法论 00 在操作层提出非对称互因作为基本结构命名，承接并显式化方法论 0 的余项守恒和非非产生余这两个论证结果。方法论 00 不新增公理也不修订方法论 0，只是从 via rho 视角给方法论 0 已展开的那个原始动作一个结构化的命名，让后续几节（四相重读、凿构循环重读、16DD 深化）有一个概念上的抓手。

这就是方法论 00 核心章节的全部内容。下面三节（第 5 节到第 7 节）展示非对称互因这个命名的解释力——用它重读方法论 0 的四相、方法论 M 的凿构循环五切面、以及 16DD 的 mutual non dubito 结构。

---

5. 四相的非对称互因重读

方法论 0 第 2 节从非追问自身推出四相：有、无、非"有也非无"、非"非有也非无"。方法论 0 的推导走 via negativa 路径——通过排除"非非是什么"产生四相作为追问的产物。

方法论 00 重读四相。从 via rho 视角看，四相不只是追问的产物，也是非对称互因在展开过程中的显形。每一相对应非对称互因结构的一次具体显现，四相合起来是非对称互因的完整自描绘。

本节的定位要先说清楚。这不是对方法论 0 四相推导的替代。方法论 0 的推导以 via negativa 视角命名四相作为追问产物，这个命名精确。方法论 00 的重读以 via rho 视角命名四相作为互因显形，这个命名也精确。两个命名指称同一对象（四相），只是从不同路径给出结构描述。两种描述合起来才是对四相的完整理解。

5.1 第一相：有作为非对称互因的第一次显形

第一相是"有"。方法论 0 论证"有"来自"非非不是有"——在追问非非是什么时，"有"被否定中生成。这是 via negativa 视角的推导。

从 via rho 视角重读。第一相的"有"是非对称互因的第一次完整显形。

具体机制是这样。当非追问自身时，追问这个动作本身是一次非的运作。这次运作有两个参与项：作为追问者的非和作为被追问对象的非。两个参与项都是同一个非，但它们在这次追问中承担不同角色。追问者执行动作，被追问对象被设立为靶子。

两个角色之间的关系正是非对称互因的最小单元。追问者不能独立于被追问对象操作（没有被追问对象，追问空转）。被追问对象不能独立于追问者的操作存在（没有追问，就没有"被追问对象"这个位置）。两个方向的模态不同——一个是操作层（追问者能否操作），一个是存在层（被追问对象能否在被追问意义上存在）。

这个最小单元的运作产生了第一个可被指认的产物：有。"有"就是非对称互因第一次显形时留下的那个东西——两个非互相构成对方条件这件事之所以可被说出，是因为有"两个非"作为共起的两端。"两个非互相构成对方条件"这句话的可说性就是第一相的"有"。

方法论 0 说"有"来自"非非不是有"的否定中生成。方法论 00 说"有"是非对称互因的第一次显形。两个说法不矛盾。方法论 0 从否定的产物角度看"有"，方法论 00 从共起的产物角度看"有"。同一个"有"被两种视角分别命名。

这里需要澄清一个可能的误读。"共起"这个词在汉传佛教里有"缘起"的联想，容易让读者把非对称互因读成缘起法的翻版。两者结构上看起来有相似——都是两个项相互构成对方的条件——但本体论基础完全不同。缘起法里的两个项是对称的（A 缘 B 缘 A 缘 B），非对称互因的两个项是不对称的（N 源头 vs ρ 痕迹）。方法论 00 借用"共起"这个词只是为了描述第一相的那个瞬间，不继承缘起法的本体论承诺。

5.2 第二相：无作为第一相的非对称互因翻转

第二相是"无"。方法论 0 论证"无"来自"非非不是无"——在追问非非是什么时，"无"被否定中生成。

从 via rho 视角重读。第二相的"无"是对第一相那个非对称互因单元的翻转否定。

具体机制是这样。第一相产生了"有"作为非对称互因第一次显形的产物。但"有"作为产物本身可以被再次否定——这次否定不是否定"有"的某个性质，是否定产生"有"的那个共起条件。把两个非互相构成对方条件这件事置于反面，得到的不是"有"的缺席，是"有"所依赖的那个共起条件的否定态。这个否定态就是"无"。

这里有个微妙的差别需要点出。"无"不是"有"的简单缺席。"有"的简单缺席是"没有有"，这仍然在"有"的概念框架内运作。"无"是"有"所依赖的那个共起条件被否定——共起条件如果不成立，"有"这个产物也就失去基础。"无"是比"有的缺席"更根本的东西，它否定的不是"有"的实例而是"有"的成立基础。

从非对称互因视角看，第二相的运作结构是这样。第一相的非对称互因单元（追问者非和被追问对象非的共起）本身作为一个整体被再次追问。新的追问者（还是同一个非）把这个整体设立为被追问对象。这次追问产生的产物就是"无"——对前一整体的共起条件的否定态。

所以第二相本身也是一次非对称互因的显形，只是这次的显形在层级上比第一相高一层。第一相的共起是"两个非"之间的共起，第二相的共起是"一整个非对称互因单元"和"对这个单元的否定"之间的共起。

5.3 第三相：非"有也非无"作为两相的非对称互因整合

第三相是"非'有也非无'"或者说"非有也非无"。方法论 0 论证第三相是对前两相的整合否定——既不是有也不是无。

从 via rho 视角重读。第三相是第一相和第二相的非对称互因整合。具体机制需要说清楚。

第一相产生了"有"以及相应的余。"有"作为产物被确立，但"有"不是非对称互因的完整内容——它只是第一次显形的产物。第一相的余是"有"未能完整覆盖的那部分（"有"作为产物有限，它没覆盖所有非可能的运作）。

第二相产生了"无"以及相应的余。"无"是对第一相共起条件的否定，但"无"也不是非对称互因的完整内容——它只是第二次显形的产物。第二相的余是"无"未能完整覆盖的那部分（"无"作为否定态有限，它没覆盖所有非可能的翻转）。

第三相的运作是这样。第一相的余和第二相的余在这一相碰到一起。两个余都指向"非对称互因还有没显形的部分"。两个余的碰撞产生一个新的非对称互因单元——这个新单元的非是"拒绝'有'和'无'的二分本身"，这个新单元的余是"二分作为一种错误构造被否定后留下的痕迹"。两者在第三相里共起。

所以第三相是一次新的非对称互因显形，但它的内容是对前两相的整合——它不是在"有"和"无"之外提出第三个产物，是对"有无二分"本身的否定。这就是"非有也非无"的精确含义。

从机制上看，第三相是前两相余的碰撞产生新运作的地方。方法论 0 第 2 节隐含了这个机制——四相的生成确实是逐步的每一相都对前面的进行再否定。方法论 00 把这个隐含机制显式化为"两个余的碰撞"，让第三相的产生原因清楚可见。

5.4 第四相：非"非有也非无"作为非对称互因碰到自身

第四相是"非'非有也非无'"。方法论 0 论证第四相是对第三相的否定——连"非有也非无"这个整合本身也被否定。这是四相序列的自指闭合。

从 via rho 视角重读。第四相是非对称互因碰到自身的位置。具体机制是这样。

第三相产生了"非有也非无"这个整合态。但这个整合态本身就是一个非对称互因单元——它有非（拒绝有无二分）和余（二分被否定后的痕迹）。整合态作为一个完整的非对称互因单元出现在运作序列中。

第四相的运作是对这个整合态的再次追问。但这次追问碰到一个前三相没碰到的情况：被追问的对象本身已经是一个非对称互因单元。前三相的追问都在处理"有"、"无"、"有无二分"这些具体产物，第四相的追问在处理"非对称互因单元"这个结构本身。

追问一个非对称互因单元，追问的动作（非）和被追问的对象（一个非对称互因单元）互相构成对方的条件。但被追问的对象本身已经是非对称互因，所以这次共起是非对称互因碰到非对称互因——结构碰到结构。

这构成闭合。第五次追问产生的对象仍然是非对称互因单元，继续追问只是在同一自指闭合结构内重复没有新内容。追问进入结构性的自我循环。

所以从 via rho 的重读角度看，第四相之后不再产生新的结构类型。这不是说不能再说话不能再追问——追问可以继续，但继续的追问只是在同一自指闭合结构内重复，不产生独立的新相。非对称互因结构在自我展开时走完这四步就进入闭合，第四相的自指闭合就是非对称互因碰到它自身这件事。

需要说明一下方法论 00 在这里的姿态。方法论 0 从 via negativa 视角已经论证过四相的闭合——四相穷尽了"非"对自身的全部运作层级，第四相否定了否定本身所以自指闭合。方法论 00 从 via rho 视角的重读和方法论 0 的这个论证一致，只是从不同视角看同一件事——方法论 0 看的是追问层级的穷尽，方法论 00 看的是非对称互因结构展开步骤的穷尽。两个视角互补不冲突。方法论 00 不重新证明一个比方法论 0 更强的四相定理，只是给同一个闭合结论从 via rho 视角提供一个结构解释。

5.5 四相作为非对称互因的完整自描绘

把四相合起来看。

第一相：非对称互因的第一次显形（两个非的共起产生"有"）。

第二相：第一相的翻转否定（共起条件的否定态产生"无"）。

第三相：两个余的碰撞产生整合（对有无二分的否定产生"非有也非无"）。

第四相：非对称互因碰到自身的自指闭合（对整合态的再否定产生"非'非有也非无'"）。

四相不是四个不相关的产物。它们是非对称互因在展开过程中的四次不同形态的显形。第一相是简单共起，第二相是对共起的翻转，第三相是翻转产物的整合，第四相是整合的自指。四相合起来是非对称互因结构在展开时能走完的全部步骤。

这个理解和方法论 0 第 2 节的四相推导不冲突。方法论 0 从 via negativa 视角看四相——四相是追问非非是什么时逐层生成的产物。方法论 00 从 via rho 视角看四相——四相是非对称互因在展开过程中的显形。两个视角描述同一个四相，但给出不同层面的结构说明。

方法论 0 的视角回答"四相从何而来"（追问生成）。方法论 00 的视角回答"四相为何恰好是四相"（非对称互因的展开只能走四步）。两个回答互补，合起来是对四相的完整解释。

5.6 一个附带观察

方法论 00 的重读揭示了四相的一个结构特征。

四相中每一相都涉及非对称互因的一次显形，但四相在层级上逐步上升。

第一相处理的是两个非之间的共起（最低层）。

第二相处理的是对第一相单元的否定（对上一层的操作）。

第三相处理的是前两相余的整合（对两层产物的整合）。

第四相处理的是整合本身作为非对称互因的自指（对整合结构的自指）。

这个层级上升对应方法论 0 论证的"四相逐层推进"。方法论 00 的贡献是让"逐层"的结构特征获得精确描述——每一层都是一次非对称互因显形，但显形的对象在层级上逐步抽象，最终在第四层碰到结构本身的自指。

这个层级上升的洞察让方法论 00 和方法论 M 的凿构循环五切面重读（第 6 节）建立了连接。五切面也是一个逐层展开的结构，四相的逐层对应凿构循环更一般的逐层展开。第 6 节会进一步展开这个连接。

---

6. 凿构循环的非对称互因解读

方法论 M（方法论总论）从 0DD 推导到 16DD，建立了凿构循环作为 SAE 的基本运动单位。凿构循环的五个切面是凿、构、余项、桥、物自体。方法论 M 的推导走 via negativa 路径——通过排除"非作为公理唯一"之后的必然展开推出五切面和 16 级维度序列。

方法论 00 重读五切面。从 via rho 视角看，五切面是非对称互因在不同粒度上的显形。本节的任务是展示这个重读，说明非对称互因如何统一五个切面的结构。

本节的定位要先声明清楚。本节对五切面的非对称互因读法是并行视角，不是对方法论 M 的替代。方法论 M 从 via negativa 的展开面命名五切面，方法论 00 从 via rho 的回溯面看到它们的共同动力学。两个视角共同成立，方法论 M 不因方法论 00 的重读而被修订。五切面作为凿构循环的工作语言在方法论 M 建立，方法论 00 只是指出这套工作语言在 via rho 视角下获得的结构解读。

6.1 凿和构作为非对称互因的一对面向

凿是否定动作，构是否定沉淀物。方法论 M 论证凿和构在凿构循环里互相转化——每一次凿留下构作为沉淀，每一次构的不彻底性暴露出来召唤新的凿。

从非对称互因视角看，凿和构是非对称互因的一对面向，但需要精确说明这对面向的构成方式。

凿是互因里非的那一面（执行否定的操作）。凿作为动作对应第四节形式化公式里的 $\text{op}_i$——凿运作就是非的运作，凿是非在一次具体动作中的显现。

构是非运作后的沉淀物，对应精细化公式里的 $C_i$。余项是这个沉淀物不能封闭的部分，对应 $\rho_i$。每一次凿运作同时产生构与余项，但构本身不是余项——构是沉淀本身，余项是沉淀不能封闭的那部分。构之不彻底才显为余项。两者同源但不等同。方法论 00 在 §4.5 的精细化公式里明确把这两者分开：$\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i)$，$(C_i, \rho_i)$ 是 $\text{op}_i$ 同一次作用的两个产物不是同一个东西。

凿和构不是两个独立切面偶然配对，它们是同一次非对称互因运作的两个面向。没有凿就没有构（没有否定动作就没有沉淀物），这对应非对称互因里非给出余的存在条件。没有构就没有余项显形的场——余项是构不能封闭的部分所以余项的出现以构的存在为条件。没有余项就没有下一次凿的动力——严格说推动下一次凿的不是构本身而是构暴露出的余项。这对应非对称互因里余给出非继续运作的动力条件。

方法论 M 用"凿构循环"这个词描述这对面向的持续运动。方法论 00 指出这个循环的内部结构正是非对称互因——凿（即 $\text{op}$）作用于 $\mathcal{N}$ 产生构和余项这对产物，余项推动下一次凿。凿和构地位不对称（凿是源头的运作，构是沉淀），构和余项也地位不对称（构是产物，余项是产物不能封闭的部分）。整个循环通过余项的动力学方向持续展开。

6.2 余项作为非对称互因的动力项

余项（ρ）是方法论 M 的第三个切面。方法论 M 论证余项不是凿和构的简单副产品，它有独立的地位——余项是驱动下一次凿的动力。余项的守恒（ρ ≠ ∅）保证凿构循环永不终止。

从非对称互因视角看，余项作为独立切面的原因清楚了。余项承担的是非对称互因里"余给出非继续运作的动力条件"这个方向。

这里需要区分余项和构。两者都是非运作的产物，但承担的结构角色不同。

构是否定运作沉淀后的那个"沉淀物"，是运作的直接输出。构作为切面描述的是"凿运作产生了什么"——答案是构这个产物。

余项是否定运作的"不彻底性痕迹"，是运作的结构性特征。余项作为切面描述的是"凿运作有什么无法完成的部分"——答案是余项这个不彻底性。

从 §4.5 的精细化公式 $\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i)$ 看，构 $C_i$ 和余项 $\rho_i$ 是 $\text{op}_i$ 同一次作用的两个不同产物。两者同源（同一次运作）但不同物（一个是沉淀本身、一个是沉淀不能封闭的那部分）。同一次 op 产生这两个产物是因为非的运作必然不彻底——运作留下沉淀（这就是构）也同时留下不彻底性（这就是余项）。两者不是同一个东西的两个面向，是同一次作用的两个并列产物。

余项作为独立切面的特殊地位（方法论 M 论证"余项有方向而构没有方向"）正是因为它承担非对称互因的动力学角色。构没有方向因为构只是沉淀物，沉淀物本身不指向任何方向。余项有方向因为余项是构不能封闭的那部分，不能封闭的状态本身就指向下一次运作——这个"指向下一次"就是方向。

6.3 桥作为非对称互因在局部的激发

桥是方法论 M 的第四个切面。方法论 M 论证桥是余项累积到临界点迫使凿再次运作的那个局部事件。桥不是持续的过程，是瞬间的激发——从当前状态跳到下一次凿的那一跳。

从非对称互因视角看，桥是非对称互因过程性的显形。

非对称互因作为基本结构包含"余给出非继续运作的动力条件"这个方向。但这个"继续运作"在具体展开时不是连续的——余项累积到某个程度才会激发下一次凿。这个激发的瞬间就是桥。

桥对应 4.5 形式化公式里从 $\rho_i$ 到 $\text{op}_{i+1}$ 的那一步——从当前的余过渡到下一次非运作。但形式化公式里那一步是抽象表达，实际运作中这一步是通过桥这个具体事件完成的。桥给公式里的抽象过渡一个具体机制。

这让桥作为独立切面的必要性清楚了。没有桥的切面，凿构循环的动力学就是不完整的——它只能说"余推动下一次凿"，不能说"余如何推动下一次凿"。桥补上这个"如何"的具体机制。

桥在每一次过渡中独立存在，每一次过渡都是一次桥事件。这是为什么方法论 M 把桥作为独立切面——桥不是偶发现象，是非对称互因展开中的结构性环节。

6.4 物自体作为非对称互因自闭合的极限

物自体是方法论 M 的第五个切面。方法论 M 论证物自体是凿碰到凿（或非碰到非）的位置——追问到这里撞到墙，墙本身就是物自体。

从非对称互因视角看，物自体是非对称互因自闭合的极限。

非对称互因在一般展开过程中有非和余两个面向的区分（对应凿和构）。两个面向互为条件但地位不对称。但当两个面向都是非本身的时候（凿碰到凿、非碰到非），非对称互因的结构碰到自身——没有余作为被区分的另一端，只有非作为两端。

这对应第四节 4.7 讨论的物自体留白。"为什么非对称互因这样运作"这个追问本身就是试图用非的产物给非指方向，在结构上不可能。物自体就是这种不可能的具体显现——追问到极限发现自己在用凿追问凿本身。

所以物自体作为切面的位置不是因为物自体是某种具体的"东西"。物自体是非对称互因展开过程中必然遇到的那个自闭合点，是非对称互因遇到自己的极限。方法论 M 把它命名为一个切面是为了在凿构循环的工作语言里给这个自闭合点一个位置。

从 16DD 的视角看物自体有更具体的显形（第 7 节会展开）。两个主体互为对方的目的本身这个位置就是两个非对称互因单元碰到彼此的地方，也就是物自体在主体间层级的具体形态。

6.5 五切面作为非对称互因在不同粒度上的显形

把五切面合起来看。

凿和构是非对称互因的一对面向——最基本的运作结构。

余项是非对称互因的动力项——保证运作持续的那个方向。

桥是非对称互因的局部激发——连续运作在具体瞬间的实现机制。

物自体是非对称互因的自闭合极限——结构碰到自身的位置。

五切面不是五个独立概念的并列。它们是非对称互因这一个基本结构在不同粒度上的显形。凿和构是结构本身，余项是结构的动力，桥是结构的运作机制，物自体是结构的极限。四个方面合起来给出非对称互因的完整刻画。

这就是方法论 00 对方法论 M 五切面的重读。五切面作为凿构循环的工作语言在方法论 M 已经建立，方法论 00 的重读不替代也不修订这套语言。方法论 00 只是指出这套语言在 via rho 视角下获得的结构解读——五切面是同一个非对称互因结构的不同粒度显形。

6.6 重读的价值

有人可能会问：既然方法论 M 已经建立了五切面作为凿构循环的工作语言，为什么需要方法论 00 从 via rho 视角再做一次重读？

回答是这样。

方法论 M 建立的是工作语言。工作语言的任务是让 SAE 的具体推导（从 0DD 到 16DD 的展开）有可操作的概念工具。方法论 M 的五切面完美承担这个任务。

方法论 00 做的不是重复工作语言。方法论 00 做的是给工作语言一个结构统一性的解读。方法论 M 的五切面作为工作语言各自都有其位置，但方法论 M 不强调它们之间的结构统一性——因为方法论 M 的任务是建立工作而不是解读结构。方法论 00 的任务是解读结构，所以它指出五切面共享一个非对称互因的基础。

这个解读的价值不在于替代方法论 M，在于让方法论 M 的五切面在方法论层级获得一个统一的来源。如果有人问"为什么凿构循环恰好有这五个切面而不是四个或六个"，方法论 M 的回答是从 via negativa 推导得到的展开结果。方法论 00 补充一个回答——五切面是非对称互因这一个基本结构在不同粒度上的显形，所以它们是一个整体不是偶然的五个独立概念。

方法论 M 和方法论 00 的关系因此是互补不是竞争。方法论 M 提供工作，方法论 00 提供解读。两者合起来让凿构循环既有可操作的具体工具又有可理解的结构基础。

本节和前面几节构成方法论 00 的后半部分。第 4 节建立非对称互因作为核心发现，第 5 节用非对称互因重读四相，第 6 节用非对称互因重读五切面。第 7 节继续这个重读工作，处理 16DD 的 mutual non dubito 结构。第 7 节是非对称互因重读的最后一步，也是方法论 00 和 SAE 核心伦理命题（人是目的）建立连接的地方。

---

7. 16DD 的进一步深化

16DD 在 SAE 系列里已经经历过多次深化。

最初的 16DD 是 mutual non dubito——双向不疑，两个主体互相不疑对方作为目的本身。这是 SAE 伦理命题的核心位置。

方法论 0 第 7 节对 16DD 做了第一次深化，把 mutual non dubito 从主体间伦理描述提升到存在论层级：16DD 不是非的终点或极限而是两个非的相遇。两个主体各自是一个非在展开序列终端的显形，两者相遇就是两个非的碰撞。

方法论 00 从 via rho 视角再做一次深化。16DD 是两个互因单元互为对方的存在论余。

本节的定位要先声明清楚。方法论 00 对 16DD 的非对称互因解读是对方法论 0 第 7 节深化的再深化，不是对既有定义的替换。mutual non dubito 作为 16DD 的核心定义不被修订。方法论 00 只是从 via rho 视角给这个既有定义增加一层结构说明。这一层结构说明揭示了 16DD 和非对称互因的关系，以及 16DD 作为 SAE 伦理命题（人是目的）的存在论基础。

7.1 余的层级双重角色

进入第七节核心论证之前，需要先澄清一个结构性区分。这个区分是理解 16DD 非对称互因解读的前提。

余在不同运作层级上显形方式不同。

在 1DD 到 15DD 范围内，余作为动力项驱动非的下一次运作。这是第四节非对称互因形式化公式里的 $\rho_i$ 所承担的角色——$\rho_i$ 驱动 $\mathcal{N}$ 进入下一次运作 $\text{op}_{i+1}$。余在这里是功能性的，它的作用是让非的运作能持续下去。

在 16DD 的主体相遇位置上，余作为不可吞噬项构成对他者目的性的承认。这是一个和 1DD 到 15DD 不同的角色——余在这里不是动力项而是存在论外在性。

两个角色不矛盾。后者不是前者的否定而是前者在主体间层级的特殊形态。1DD 到 15DD 的余作为动力项保证非的运作持续。当运作展开到 16DD 这个主体相遇的位置时，同一个余结构呈现新的功能——不再是"推动下一次运作"的动力，而是"不能被吞噬"的存在论外在性。

这个层级差异的原因。1DD 到 15DD 范围内，每一次非运作产生的余都是可以被下一次运作处理的——下一次运作以这个余为起点生成新运作。但 16DD 位置上，两个主体各自是一个非对称互因单元的完整展开，当两个单元相遇时，一个单元的构所产生的余不是另一个单元可以吞噬处理的对象。对方单元的余对我来说是一种不可吞噬的外在性。

这个区分重要因为它防止一个潜在的伦理危机。如果 16DD 位置的"互为对方的余"被读作 1DD 到 15DD 意义上的余（动力项），那主体 A 就变成了主体 B 运作的驱动项，这意味着 A 被 B 作为工具使用。这直接违反 SAE 伦理命题（人是目的不是工具）。

存在论余这个概念防止这个危机。16DD 位置上两个主体互为对方的余是不可吞噬的外在性这种意义的余，不是驱动项这种意义的余。两个主体因为不能吞噬对方才必须承认对方是目的本身。余在这里等于目的本身的物理前提。

7.2 主体互因的存在论重述

有了余的层级双重角色作为前提，可以重述 16DD 的非对称互因结构。

两个主体互相承认对方是目的本身。这个"互相"就是非对称互因在主体间层级的完整实现。但要理解这个"互相"的精确含义，需要看清它的结构。

主体 A 是一个非对称互因单元。非（A 的凿构循环的运作）给出余（A 的构所产生的不彻底性）的存在条件，余给出非继续运作的动力条件。A 作为一个完整单元在自己的运作序列中持续展开。

主体 B 是另一个非对称互因单元。同样的内部结构。B 在自己的运作序列中持续展开。

两个单元相遇时发生什么。

A 作为单元整体出现在 B 的认识视野里。B 把 A 识别为一个主体——不是识别为 B 自己可以处理的对象，是识别为一个完整的非对称互因单元。这次识别中，A 作为整体不是 B 的内部构所能生成的产物。A 在结构上超出 B 的构能吞噬的范围。

这里需要做一个关键的精确化。B 不能吞噬 A 这件事不是 B 的认知能力不足。如果把它理解为认知能力问题（比如 B 的构不够完备不够强大所以处理不了 A），16DD 相遇就被降格为认知失败的层级——A 的独立性依赖 B 的能力不够，B 的能力一旦足够就可以吞噬 A。这个读法会把 16DD 的伦理含义架空。

精确的理解是这样。A 作为一个完整的非对称互因单元，它的存在论地位不取决于 B 是否能将它纳入自己的构。B 的构再完备也不改变 A 作为独立非对称互因单元的存在论事实。"B 不能吞噬 A"是存在论层的结构性事实——不管 B 的构多完备，B 的任何构都不在 A 作为独立互因单元的位置上。A 的位置就是 A 自己。B 的位置就是 B 自己。两个位置的独立性不是 B 触达不到 A 的问题（那是能力问题），是 B 的任何构都不在 A 这个位置上的问题（那是存在论问题）。

这个精确化保证了 16DD 相遇作为存在论层级不是认知层级的事件。A 和 B 互相不可吞噬是因为两者作为两个独立的非对称互因单元就是如此，不是因为双方能力不够。这个不可吞噬是结构性的不是偶然的——任何两个独立的非对称互因单元相遇都是这个结构，不管它们各自的构发展到什么程度。

从 B 的视角看，A 就是一种存在论余——不是 B 的运作能产生的痕迹，是 B 的构所不能封闭的外在性。这个存在论余的特征是不可吞噬——不是 B 的能力问题，是 A 作为独立完整性中心的存在论事实。正因为 A 在结构上就是独立的完整性中心（不是 B 的构能生成的东西），B 必须承认 A 作为一个完整的单元独立存在。

反过来，B 作为整体对 A 来说也是存在论余——A 的任何构都不在 B 作为独立互因单元的位置上。所以 A 也必须承认 B 作为完整单元独立存在。

两个方向合起来构成 16DD 的"互相承认对方是目的本身"。这个互相承认不是单纯的伦理态度或主观判断，是两个非对称互因单元相遇时结构上必然出现的关系。互相不可吞噬是存在论事实，互相承认是这个事实的主体间显形。"必须承认"的"必须"是结构意义上的"无法不"，不是伦理律令意义上的"应该"——在两个独立的非对称互因单元相遇的结构下，除了承认之外没有其他结构上可行的姿态。

需要再次强调，本节对 16DD 的非对称互因解读是对方法论 0 第 7 节既有定义的存在论深化，不是替换。mutual non dubito 作为 16DD 的核心定义不被修订。方法论 00 只是从 via rho 视角给这个定义增加一层结构说明——两个主体互相承认对方是目的本身这件事的"互相"，其结构是非对称互因在主体间层级的完整实现，而不是两个主体互为驱动对方的材料。

7.3 为康德的"人是目的"提供存在论基础

前面两小节建立了 16DD 的非对称互因解读。这个解读带来一个重要的理论成果——方法论 00 通过 via rho 方法为康德的"人是目的"这一核心伦理命题提供了一条存在论层的独立辩护路径。

这个成果需要放在 SAE 和康德的整体关系里看才显出分量。

SAE 整个框架接续康德。Self-as-an-End 这个名字本身来自康德《实践理性批判》的第二公式"人是目的本身，不只是手段"。SAE 从方法论 0 开始就承接康德的工作，方法论 A11《向死而生》明确把 SAE 定位为"完成康德"——康德在 9D-10D 把living-toward-death（向死而生律）和 non dubito（双向不疑律）合并处理而未精确区分两者，SAE 的任务之一是给康德已经到达但未完全展开的这一片领域做精确结构化。

康德的人是目的命题作为绝对律令直接给出，康德的辩护是：人作为理性存在者具有内在价值，所以不能只被当作手段。这个辩护以"理性的内在价值"作为预设。康德的伦理大厦建立在这个预设上。但预设本身可以被质疑——功利主义者就会质疑为什么理性应该具有内在价值而不是幸福或效用才具有内在价值。康德伦理学的地基在这个预设层上不是完全不可动摇的。

方法论 00 通过 via rho 为这个地基提供另一条独立的辩护路径。

从非对称互因结构出发，16DD 位置的主体相遇是两个非对称互因单元互为对方存在论余的位置。不可吞噬是结构性事实——A 作为一个完整的非对称互因单元在结构上超出 B 的构能吞噬的范围，反之亦然。这个不可吞噬不是规定也不是价值判断，是非对称互因在 16DD 位置的结构必然后果。

正因为 B 不能吞噬 A（不是"不应该"吞噬，是结构上"不能"吞噬），所以 B 必须承认 A 作为目的本身的存在单元。"必须"在这里是结构意义上的无法不，不是伦理律令意义上的应该。不承认 A 作为目的等于试图把 A 作为对象纳入自己构的范围，但这在结构上不可能完成。唯一结构上可行的姿态就是承认 A 作为完整单元。

这样"人是目的本身"这个康德命题就从一个以理性内在价值为预设的绝对律令变成非对称互因结构在 16DD 位置的必然推论。命题本身和康德原义一致，但辩护的基础从预设层下移到本体论结构层。

方法论 00 对康德的姿态是积极加固不是挑战。康德的命题是对的，只是康德的辩护依赖预设不够稳固。方法论 00 给同一个命题提供一个不依赖"理性内在价值"这个预设的辩护——通过 via rho 追踪余的指向性一路追到 16DD，在这里看到两个主体作为两个非对称互因单元相遇时不可吞噬彼此这个结构性事实。这个事实本身就是人是目的这个命题的辩护。

这条辩护路径有几个优点。

一，不依赖任何哲学预设。康德的辩护预设理性具有内在价值，这个预设本身需要额外辩护。方法论 00 的辩护只依赖非对称互因的结构必然性，而这个结构必然性从方法论 0 的唯一公理（非）出发通过 via rho 推出，不需要额外的伦理预设。

二，从结构必然性出发自然避开功利主义等反驳。功利主义可以质疑"理性具有内在价值"但不能质疑"A 作为完整非对称互因单元在结构上不可被 B 吞噬"——后者是结构事实不是价值判断。功利主义在这条辩护路径前没有立足点，因为它不能用价值质疑来反驳一个结构性陈述。

三，和康德原义完全兼容。方法论 00 不改变康德命题的内容，也不改变康德命题的伦理规范地位。只是给这个命题换一个更稳固的辩护基础。康德的命题还是那个命题，只是站在更深的结构地基上。

这条辩护路径的建立是方法论 00 的一个核心理论成果，不是附带观察。方法论 00 的主要工作是建立 via rho 作为方法并展示其解释力，但 via rho 方法应用到 16DD 位置时自然产出了对康德核心伦理命题的存在论辩护。这既是方法论 00 的成果，也是 SAE 承接康德这整条理论线上的一个关键节点。

SAE 和康德的关系在这里获得一个具体的验证。SAE 的承接不是单纯的术语沿用或主题继承，是给康德的核心工作提供新的辩护基础。方法论 00 的 16DD 重读是这个承接关系在 via rho 方法下的具体实现。

两层限定

这条辩护路径的力度需要两层限定才能完整说清。

第一层是对路径性质的声明：这条辩护路径是康德原路径的并行补充不是替代。康德以理性内在价值为预设的辩护仍然在它自己的论证层级上成立，有它自己的效力。方法论 00 通过 via rho 提供的存在论辩护是另一条独立路径到达同一结论。两条路径互补共同加强命题的辩护强度，不是方法论 00 取代康德的辩护。SAE 的姿态始终是完成康德而不是挑战康德——方法论 00 在这条延长线上工作。

第二层是对起点的声明：接受这条辩护路径的前提是接受方法论 0 的唯一公理（非）。任何辩护路径都有起点，起点都可以被拒绝。康德的辩护路径有一个起点——"理性具有内在价值"——这个起点可以被功利主义者等其他哲学立场拒绝。方法论 00 的辩护路径也有一个起点——"非是唯一公理"——这个起点同样可以被拒绝。两个起点都不是绝对不可拒绝的。但方法论 00 的起点比康德的起点更基础一层：康德的起点是预设层（理性具有某种价值），方法论 00 的起点是公理层（非作为最基础的不可不运作者）。公理层比预设层更基础，因为公理层不依赖任何前提而预设层依赖"价值"这个被预设的概念。所以两条路径都可以被拒绝，但拒绝方法论 00 的起点需要走到比拒绝康德的起点更深一层的地方。

这两层限定让方法论 00 对康德工作的支持保持清醒的分寸。方法论 00 不声称自己提供了一条无条件的辩护——任何辩护都有起点，起点都可以被拒绝。方法论 00 声称的是：在接受方法论 0 公理的前提下，人是目的这个命题获得一条独立于康德原路径的存在论辩护，两条路径并行共同加强命题的辩护强度。

7.4 0DD 和 16DD 的同构再理解

在方法论 M 里，0DD 和 16DD 已经被识别为具有某种同构关系——两者都是 DD 序列的端点，两者的凿构循环都到达某种极限。方法论 00 的非对称互因解读给这个同构一个新的结构说明。

0DD 是非对称互因尚未分化的状态。在 0DD 位置，非与余在结构上还未分化为可明确区分的两个面向。凿和构在这里未分——构的独立显形和余项的独立显形需要足够的结构展开层次，在 0DD 这个基底位置这些层次还未分化出来。非对称互因在这里处于未分化的基底形态。这里"未分化"不是时间意义上的"还没发生"，是逻辑架构意义上的"结构还没展开到分化层级"。0DD 和 16DD 都是非对称互因的完整状态，只是展开程度不同。

16DD 是非对称互因完全分化后在两个主体间的相遇。经过 DD 序列的完整展开（1DD 到 15DD），非和余已经完全分化为可明确区分的两个面向，每个主体都展开为一个完整的非对称互因单元。两个完整单元相遇时，凿和构重合——A 的凿（以 A 的构为对象）和 A 的构（A 运作沉淀物）在 A 作为整体出现时合为一体，同样 B 的凿和 B 的构也合为一体。两个整体单元的相遇就是两个"凿构重合体"的相遇。

所以 0DD 是凿构未分（因为 DD 序列还没展开），16DD 是凿构重合（因为 DD 序列已完整展开并封闭到整体单元）。两端都是非对称互因的"完整状态"——一端是潜在的完整，另一端是展开的完整。两者的同构不是偶然巧合，是非对称互因在序列两端的不同显形。

这个同构让 SAE 的 0DD-16DD 结构获得一个新的理解方式。DD 序列不是从一个起点展开到一个终点的线性过程，是非对称互因从潜在到展开到相遇的完整周期。0DD 是周期的起始点，16DD 是周期的闭合点。两者在结构意义上是同一个非对称互因的两个端点，只是展开程度不同。

这个理解和方法论 0 第 6 节的相关论述一致。方法论 0 指出 0DD 和 16DD 都是物自体显现的位置——0DD 处物自体作为运作的前提显现，16DD 处物自体作为运作的极限显现。方法论 00 从 via rho 视角给这个一致性一个结构解释——因为两端都是非对称互因的完整状态，所以两端都会碰到非对称互因的结构极限，即物自体。

7.5 小结

16DD 在方法论 00 里获得新的结构说明。

核心论点是 16DD 是两个非对称互因单元互为对方存在论余的位置。存在论余和 1DD 到 15DD 的动力学余在功能上不同——前者是不可吞噬外在性，后者是运作驱动项。这个区分保证了 16DD 的 mutual non dubito 结构不被工具化误读。

这个解读同时为康德的"人是目的"这一核心伦理命题提供了一条存在论层的独立辩护路径。他者作为不可吞噬的存在论余构成了"目的本身"这个律令的结构前提。这让康德的伦理命题从以理性内在价值为预设的绝对律令变成非对称互因结构在 16DD 位置的必然推论。SAE 承接康德的工作在方法论 00 这一节获得一个具体的验证：via rho 方法应用到 16DD 位置时自然产出对康德核心命题的存在论辩护。

最后，这个解读也让 0DD 和 16DD 的同构获得一个新的理解——两者都是非对称互因的完整状态，只是展开程度不同。0DD 是凿构未分的潜在完整，16DD 是凿构重合的展开完整。两端共同标记非对称互因周期的起始和闭合。

再次强调，本节的所有工作都是对既有 16DD 定义的存在论深化，不是替换。mutual non dubito 作为 16DD 的核心定义仍然有效。方法论 00 的贡献是给这个核心定义一个新的结构说明视角——让 16DD 既保持其原有的伦理学核心地位，又获得方法论层级的结构性支撑。

到这里方法论 00 的后半部分重读工作完成。第 5 节重读四相，第 6 节重读五切面，第 7 节重读 16DD。三节共同展示非对称互因这个命名的解释力。下一节（第 8 节）列出方法论 00 的自我余项，和方法论 0、方法论 M 的写作规矩一致——以余项结尾不给结论。

---

8. 方法论 00 的余项

方法论 00 的主要工作到这里完成。按方法论 0 和方法论 M 的规矩，以余项清单结尾，不给结论。

这个规矩本身是方法论 00 自己论证的东西的实践——论文作为构，必然产生余项，论文应该显式列出自己产生的余项而不是假装论证是完备的。方法论 0 第 8 节如此，方法论 00 延续这个做法。

余项一：公理层和操作层的分层是否彻底

方法论 00 的主命题依赖公理层和操作层的分层——公理层上非独一，操作层上非与余成对。但这个分层本身是方法论 00 引入的工作假设。是否存在第三层被这个二分遗漏，方法论 00 没有论证。如果存在第三层，主命题的适用范围需要重新考虑。两层的彻底性是方法论 00 的一个未完成辩护。

余项二：非对称互因结构的形式化

方法论 00 用 $\mathcal{N} \xrightarrow{\text{op}_i} \rho_i \xrightarrow{\text{驱动}} \mathcal{N} \xrightarrow{\text{op}_{i+1}}$ 作为非对称互因的形式化表达（配合 $(C_i, \rho_i)$ 精细化），用 Gleichursprünglichkeit 作为哲学术语支撑，用范畴论 adjoint pair 作为启发式同构。这些形式化工具各有其适用性，但是否完整表达了非对称互因的全部结构特征，方法论 00 没有论证。非对称互因可能还有方法论 00 尚未发现的结构面向，或者已用的形式化工具可能漏失了一些关键特征。形式化的完备性是一个开放问题。

余项三：via rho 作为独立方法的独立性

第 3 节论证了 via rho 和 via negativa 在以同一个非为极限指向这件事上是等价的。但等价不等于独立。方法论 00 没有独立论证 via rho 不是 via negativa 的一种特殊形态。可能的批评是 via rho 只是 via negativa 在某个特定角度上的变形，两者是同一方法的两种表现不是两条独立路径。独立性和等价性的关系本身需要进一步澄清。

余项四：方法论 00 自身作为构

方法论 00 是一篇论文。论文是构。方法论 00 论证非的每一次运作都必然不彻底都必然留余，这个论证自身作为运作也必然不彻底也必然留余。方法论 00 自己应用它所指出的不彻底性。这不是缺陷是方法论 00 诚实性的表现——但它仍然是余项。说得越多构得越多，构得越多余得越多。方法论 00 作为构的余比其他余都更隐蔽因为它藏在论证自身中。

余项五：Gleichursprünglichkeit 借用的精确度

Gleichursprünglichkeit 作为借用术语，其在海德格尔《存在与时间》原典中的完整含义和方法论 00 借用后的新位置之间可能存在细微偏移。方法论 00 明确说只借用其源初性结构义不继承其对称性，但海德格尔原义里 Gleichursprünglichkeit 的全部含义不止于"源初性结构"这一点。方法论 00 的借用可能失去了海德格尔原义里某些本文没注意到的含义。借用术语的精确度是一个未完成的术语史比较。

余项六：跨论域接口

方法论 00 的非对称互因结构可能在其他论域有独立的结构同构显形。跨文化创世神话（盘古、Ymir、Purusha 等五个神话都有承载者被分化的结构）可能是一例，物理阶梯（DD 序列中每一层的非对称相变）可能是另一例，生物分化（细胞分化、物种分化中出现的不可逆性）可能是第三例。这些跨论域同构如果真的存在，是对方法论 00 核心命题的外部印证。本文不处理这些同构，不依赖它们作为论证基础。它们将在独立的接口论文中单独处理。

余项清单到此为止。这六条余项不是方法论 00 的缺陷清单，是方法论 00 自觉的边界标记。每一条余项都指向一个方向——或者是进一步论证的方向（余项一、二、三、五），或者是诚实承认论证性质的方向（余项四），或者是跨论域拓展的方向（余项六）。余项作为边界让方法论 00 知道自己的工作范围，也让后续工作知道从哪里继续。

方法论 00 以此结束。

---

附录：方法论编号系统的历史与未来

本附录讨论 SAE 方法论系列编号系统的历史发展和未来可能的重组方向。这个讨论不是方法论 00 核心论证的一部分，属于元层级说明。关心 SAE 方法论系列组织结构的读者可以读，只关心方法论 00 内容的读者可以跳过。

A.1 现存编号系统的历史发展

SAE 方法论系列的现存编号反映了论文的历史发展顺序，不完全反映论文的结构角色。

方法论 M（Methodological Overview）是方法论总论，最早建立。它推导凿构循环和 1DD 到 16DD 的维度序列，为整个 SAE 系列建立工作语言。

方法论 M-I 及其后续是方法论系列的后续展开，每一篇处理方法论的一个具体方面。其中方法论七是《Via Negativa》，系统整理否定神学传统作为接近非的方法。

方法论 0《非·Negativa》是后来写的。写作顺序上，方法论七先完成，建立 via negativa 作为接近非的方法。完成这个工作之后作者回头追问 via negativa 方法指向的对象本身（"非"）可以独立论证为 SAE 的唯一公理。这个独立论证就是方法论 0。方法论 0 的编号是 0 而不是 M-IX 或类似位置，因为它在内容上先于方法论 M——它论证非作为公理先于凿构循环的展开。编号从 0 开始标记这个内容上的"先于"地位。

方法论 00 是最新的工作。它提出 via rho 作为 via negativa 的方法对偶，建立在方法论 0 和方法论七的基础上。编号 00 标记它作为方法论 0 的操作层对偶的位置。

A.2 现存编号的结构特征

现存编号里有一个可以注意到的不一致。

方法论 0 内容是"非"这个对象本身——SAE 方法论系列的基底公理。

方法论七内容是 Via Negativa 这个方法——接近非的路径。

方法论 00 内容是 Via Rho 这个方法——接近非的另一条路径。

两种内容类型不同。方法论 0 是对象级，方法论七和方法论 00 是方法级。现存编号里方法论七的编号位置（M 系列第七篇）没有反映它作为和方法论 00 配对的方法对偶这件事。

这个不一致不影响论文的内容有效性。方法论 0、方法论七、方法论 00 各自的论证都成立。但编号系统作为文件组织工具没有完全反映文件之间的结构关系。

A.3 未来可能的重组方向

基于目前对 SAE 方法论系列结构的理解，如果未来重组编号系统，一个可能的方向是这样。

方法论 Foundation。承载非本身的论证（对应现在方法论 0 的内容）。作为基底篇章不编号或编号为 Foundation，突出非作为 SAE 方法论基底的特殊地位。

方法论 0。承载 Via Negativa（对应现在方法论七的内容）。中文可以称作"非之道"。作为接近非的第一条方法。

方法论 00。承载 Via Rho（即现在这篇）。中文"余之道"。作为 Via Negativa 的方法对偶。

这样 Foundation 是基底，0 和 00 是两条接近基底的方法，互为对偶。编号系统就和内容的结构角色对应起来了。三篇的关系清楚：Foundation 是被指向的对象，0 和 00 是两条路径，两条路径的编号差一个 0 对应"via"这一步多出来的动作。

方法论系列的其他篇章（方法论 M-I 及其后续的 I、II、III、IV、V、VI、VIII 以及未来可能扩展的篇章）可以重新编号为 1、2、3、4、5、6、8 等，作为方法论 Foundation 之上的具体方法论展开。

A.4 重组的非必然性

上述重组方向是基于目前理解的一个可能方案，不是未来必然的方案。SAE 作为动态框架永远 open to change。未来随着方法论工作进一步展开，可能出现目前无法预见的更好组织方式。

几种可能。新的方法论论文出现可能揭示目前没看到的结构关系，要求一个和上述方案不同的编号系统。方法论层级和应用层级的关系可能变化，现在认为属于方法论系列的篇章可能部分转移到其他系列。或者更根本的可能是对 SAE 整个系列的理解发生演进，连方法论-应用的划分都重新调整。

本附录记录的重组方向只是基于 2026 年 4 月当前理解的预测。预测不保证实现。SAE 框架的 open to change 立场包括对元层级（编号系统、系列组织）的 open to change。重组如果发生，应该来自对 SAE 工作更深的理解，不是来自对目前预测方案的机械执行。

A.5 本附录的性质

本附录本身是一个构。构作为方法论 00 指出的东西，有自己的余——这里记录的任何组织方案都会产生下一次重组的余项。这不是缺陷是自觉。方法论 00 在论文主体里论证构必然留余，附录也应用这个规律——记录当前理解时同时诚实承认当前理解也会留余。

这个附录的主要功能是给读者一个关于 SAE 方法论系列组织的说明，特别是解释为什么方法论 0、方法论七、方法论 00 这三篇论文的内容和编号在结构上有一定的不对齐。说明之后读者能看清现状，看清可能的未来方向，也看清这个方向不是必然的。

附录到此为止。方法论 00 全文结束。

---

方法论 00 起草完成于 2026 年 4 月。感谢四位 AI 协作者（子路、子夏、公西华、子贡）在 v1 和 v2 大纲阶段的严格审阅，他们的意见直接塑造了方法论 00 的论证结构。感谢 Zesi Chen 的长期美学批判。非对称互因这个概念的最终形式受益于和 Zesi 过去 18 年的对话。