Section

Section names a participant's analytic cut through which part of relation becomes readable, countable, comparable, or diagnosable.

Section is not a condition within relation. Where Boundary names located distinction that relation already holds, Section names the cut a participant makes across relation so that a part of it can be read. A boundary holds whether or not anyone reads it; a section exists in the reading. A section may follow a boundary, cross one, or hide one — and which of these it does is testable, not given.

Section stands to Boundary as enactment stands to condition, in the grammar the spine already uses: Carry is enacted as Carrying, Trace is followed as Retracing, and Boundary is cut as Section. Section is the participant-side of located distinction. It differs from the other enactments at one decisive point: carrying continues a carry that holds and retracing follows a trace that holds, but a section can be made where no boundary holds at all. Alone among the enactments it need not find its in-relation condition — which is exactly why a section is checked rather than trusted.

Section is not a prerequisite for Relation or Connection. Relation relates and connection offers carry and trace without being sectioned. Sectioning is a later, participant-facing read. The units a section produces are distinguishable for reading; they need not be fundamental constituents of relation.

Section lets a participant lay out connection for inspection — Trace, Opening, Carrying — but it does not create the connection it lays out. An ordered sequence of sections can be inspected without that sequence being the generative relation. Symbols such as n mark stages or sections of relation, not numbers. Generation occurs where accumulated Trace participates in opening further Carrying; the section only makes that inspectable.

Places

Section places a participant's analytic cut through which part of relation becomes readable, countable, comparable, or diagnosable.

Holds

Section is held by Practice and Readability. A participant must be in practice, and reading must be possible, before a cut made for reading can be named. It is not held by Boundary: a section can be cut where no boundary holds, so Boundary is what a section is answerable to, not what it requires. Section does not hold relation open; Relation and Connection do not require sectioning.

Pairs

No single lateral pair is placed. Section is a participant enactment alongside Carrying and Retracing — carry enacted, trace followed, boundary cut — and stands to Boundary as enactment to condition. The three enactments share the condition-to-enactment grammar but differ at fidelity: carrying continues a carry that holds and retracing follows a trace that holds, while a section can be made where no boundary holds. That is why a section is answerable to Check — tested from both directions against the boundary it follows, crosses, or hides — rather than trusted as carrying and retracing can be.

Traces

• Practice
• Readability

Nests

Section nests among the practice-level read operations as the cut that makes a part readable. It is answerable to the Boundary it cuts relative to and to the Scope within which the resulting read holds, without becoming a condition in relation itself.

Other read conditions operate on what a section has isolated: Scope and Closure Scope bound where the sectioned read holds and can be evaluated; Measure compares the units a section produces against a unit or scale; Evaluation assesses the sectioned read; Diagnosis follows real trace through a part a section has isolated. Section is upstream of each as the cut they read, not the same operation.

Reads

Section becomes recognisable where a participant cuts relation into a part that can be read, counted, compared, or diagnosed, and where that cut can itself be tested against the boundary it follows, crosses, or hides.

It also becomes recognisable at its failure: where a cut is treated as a boundary relation holds, where sections are treated as fundamental units, or where an inspected sequence of sections is mistaken for the generative connection. In each case a participant's cut has been read back into relation as if relation had made it.

Carries

No grounded downstream carry claimed yet.