73 entries. Click a term to show its definition and usage.
Browse
Ontology
Absence
Definition. A status where no admissible return certificate is readable under the stated conditions. This includes the symmetric limit and the over-limit where contrast exceeds the closure allowance.
Usage. Use iff neither direction supports return certification within the lawful span.
Structural
Adjudication
Definition. Resolution under constraint at an interface: the closure discipline return-certifies at least one relatum identity under the stated admissibility conditions.
Usage. Use iff Presence is certified locally without requiring total resolution across all relata.
Logic
Admissibility
Definition. The allowedness predicate for licences, returns, and derived reads under a declared scope. A statement is admissible iff it respects the diagonal prohibition, the non-reversal guard, and the witness census constraints active at its station.
Usage. Use to separate “stated” from “allowed”: admissibility is included in the declared scope and station constraints of the licence.
Logic
Anti
Definition. An opposed directed return against a stated read within the same frame and scope.
Usage. Use Anti iff a witnessed return stands in the contrary orientation to the target read.
Structural
Arbitration
Definition. Settlement through structured rule: a declared rule fixes what counts as settled and what remains withheld as unresolved within its scope.
Usage. Use for rule-level settlement language, distinct from empirical agreement.
Geometry
Arc
Definition. An oriented interval of admissible contrast within a frame, certified by the stated conditions. An arc supports a readable return iff its departure lies within the coherence window.
Usage. Use for interval statements (orientation, tier, admissible window), not for trajectories.
Geometry
Arc-seat
Definition. A designated site-choice in the arc-tier classification specifying which register seats contribute to the ledger evaluation for a placement.
Usage. Use for certified seat selection statements used in a mass-band evaluation and for reproduction of the ledger sum.
Geometry
Arc tier
Definition. A classification index keyed to the Euclidean crossover λ . Tier 0 is the crossover. Higher tiers label admissible intervals by their certified separation from λ within the lawful span.
Usage. Use to group placements by certified stability class.
Structural
Articulation
Definition. The rule-governed sharpening of contrast into a precise distinction under the admissibility discipline. It fixes difference as admissible structure without presupposing individuals.
Usage. Use iff stating how a station makes a distinction readable without treating identity as primitive.
Ontology
Being
Definition. Any relational configuration whose directed licences admit a return certificate inside a coherence window. The minimal cardinality is three relata.
Usage. Use as the ontological status predicate for configurations certified as closed under the admissibility discipline.
Geometry
Closure unit
Definition. A finite relational configuration U on a relata set R with |R| ≥ 3, equipped with the predicates and licence forms of the declared signature, such that a return certificate is admitted for at least one ordered pair under the diagonal prohibition. In Volume I’s signature, this certificate is expressed by Inv(p, x, y) with p ∈ R \ {x, y}.
Usage. Use as the ambient object for statements intended to range over arities. Reserve Triad for the case |R| = 3.
Geometry
Closure register
Definition. The witness-site census associated to a closure unit U, fixed by the admissibility discipline: directed sites on ordered pairs, together with any inherited sites induced by diagonal prohibition.
Usage. Use as the index set for step indexing and for tabulating witness constraints. The six-site closure register is the |R| = 3 instance.
Geometry
Circuit
Definition. The closure ordering induced by the directed register together with its inherited layer. Its length is the count of distinct licensed edges required to certify the return under the diagonal prohibition. The minimal resolved circuit has three relata.
Usage. Use as the reference orientation in statements of congruence, step index, and reversal.
Ontology
Co-constitution
Definition. Reciprocal fixing between layers: each layer is determined by the other within a settled configuration.
Usage. Use iff two stations are co-admitted within the same closure certificate.
Geometry
Coherence
Definition. A scalar compatibility readout assigned to an admissible configuration as a function of its curvature κ. Coherence is fixed as part of the geometric readout discipline; it is normalised so that full congruence has maximal coherence and increasing negation has lower coherence.
Usage. Use coherence for quantitative comparison of admissible configurations and for stating a coherence window, without importing any dynamical or temporal interpretation.
Logic
Congruence
Definition. Oriented compatibility between a licence and a circuit orientation. Congruence holds iff the directed stance agrees with the circuit orientation in use; the opposing alignment is incongruence.
Usage. Use for the sign semantics of the step index and for local-versus-global settlement statements.
Structural
Compression
Definition. The lower-side sector relative to the Euclidean crossover: λ ≤ λ within the lawful span.
Usage. Use as a sector label for placements below the crossover in the ledger.
Logic
Condition
Definition. The declared scope predicate under which a directed claim is asserted. A condition fixes what counts as admissible for the associated licence or return statement.
Usage. Include the condition as part of every licence statement.
Logic
Contrast
Definition. The irreducible primitive presupposed by all derived vocabulary.
Usage. Treat as the dependency base: distinction, condition, licence and return are stated relative to contrast.
Geometry
Contrast step
Definition. A discrete index on the circuit that encodes relative separation and orientation within the six-step closure register.
Usage. Use for step-vector statements and for the θ i = s i · (π/3) embedding.
Geometry
Curvature
Definition. A non-negative index κ ≥ 0 that represents negation in geometric form: the extent to which a licensed configuration fails to be congruent under its admissibility constraints. The case κ = 0 is the zero-negation case (full congruence within the declared licence); the case κ > 0 is a certified incompatibility magnitude.
Usage. Use κ to state coherence windows, to compare admissible configurations by incompatibility magnitude, and to express negation without psychological language.
Structural
Decay
Definition. A structural coherence-order relation on admissible configurations. Under fixed declared constraints, “decay(x, y)” abbreviates: y has lower coherence than x.
Usage. Use only as this abbreviation. Any dependence claim is stated explicitly as a separate predicate.
Structural
Dependency network
Definition. The directed graph of licence and return dependencies between frames and subframes.
Usage. Read to see which closures support others.
Structural
Desire
Definition. A structural coherence-order relation on admissible configurations. Under fixed declared constraints, “x desires y” abbreviates: y has higher coherence than x.
Usage. Use only as this abbreviation. Any dependence claim (e.g. external dependency) is stated explicitly as a separate predicate.
Logic
Diagonal prohibition
Definition. The inadmissibility of self-certification: no stance may certify itself at the site that states it (no diagonal settlement).
Usage. Use to justify induced witnessing and the six-site register.
Logic
Distinction
Definition. A readable separation that sets one relatum against another within a stated frame and condition.
Usage. Use as the prerequisite predicate for licence and return statements.
Logic
Duad (DOO-ad)
Definition. Two relata held in contrast without a third organising relation. Direction and return are unspecified.
Usage. Name a contrasted pair only. Treat closure as outside its scope.
Logic
Duad pair
Definition. A dyadic baseline relation between two frames in which each sustains the other’s directed licences without contest, while remaining distinct.
Usage. Use as the dyadic base for closure statements with off-diagonal certification. In the Volume I signature, return certification is witnessed by a third parameter.
Structural
Echo
Definition. The inherited witness read at an off-diagonal site. Written echo(X; Y, Z) for the inherited site where the directed stance at X is fixed as an inherited read through the other two relata.
Usage. Use only for the inherited layer induced by the diagonal prohibition (the six-site register), not as a generic synonym for repetition.
Geometry
Euclidean crossover
Definition. The symmetry hinge. At the hinge direct and inherited reads coincide and no individuated identity presents. On either side symmetry breaks into relation that can return.
Usage. Use as the zero line for arc and tier classification.
Geometry
Euclidean crossover radius
Definition. The forced midpoint half-chord at the hard wall: λ = 1/2.
Usage. Use as the tier-0 threshold and as the midpoint for the lawful span.
Structural
Expression
Definition. The upper-side sector relative to the Euclidean crossover: λ ≥ λ within the lawful span.
Usage. Use as a sector label for placements above the crossover in the ledger.
Ontology
External dependency
Definition. An admissibility status in which a configuration is stated only relative to another relator configura- tion, because internal articulation is unavailable within its own declared scope.
Usage. Use as an internal status of the system. The dependency remains relational and does not add exogenous primitives.
Logic
First-order distinction
Definition. Distinction made directly between relata in the base frame without second-order reflection.
Usage. Use for the initial readable separation.
Geometry
Hard wall
Definition. The non-obtuse turn constraint 0 θ π/2 on unit licence directions in Euclidean realisation; the boundary θ = π/2 is unique.
Usage. Use to fix the crossover geometry without introducing a tunable angle.
Ontology
Identity
Definition. The settled name of a structure within its current frame that is invariant under re-inspection.
Usage. State identity only at return.
Ontology
Individuation
Definition. The sustained capacity to keep presenting as the same through repeated returns within the coherence window.
Usage. Assess by stability of closure across checks.
Geometry
Inherited site
Definition. An induced off-diagonal site (A; B, C) where a directed stance is re-witnessed through the remaining relatum, with certifier and certified kept disjoint.
Usage. Use for the inherited layer paired to each directed witness site.
Logic
Irreflexivity
Definition. The diagonal discipline: admissible contrast, licence, and return require distinct relata.
Usage. Use to justify induced witnessing and the six-site register, and to forbid self-certification.
Logic
Ladder
Definition. The hierarchy of admissibility stations ordered by what must hold for a configuration to count as settled.
Usage. Use to describe the station order without temporal reading.
Geometry
Lawful span
Definition. The forced admissible interval for the internal span coordinate: λ [2 1, 1].
Usage. Use as the audit boundary for any λ readout.
Logic
Licence
Definition. A directed, condition-scoped certification on a contrasted pair that fixes one orientation as uncon- tested. A licence is admissible only if it respects the diagonal prohibition and the non-reversal guard within the declared scope.
Usage. State the condition explicitly. Treat reversal as mutual contest and as a failure of admissibility.
Logic
Unresolved (Nonsense)
Definition. A status where contrast remains live and the admissibility discipline yields no return certificate under the stated conditions.
Usage. Use for unsettled contrast that still carries structure (licences and constraints) without closure-grade settlement.
Logic
Non-reversal guard
Definition. The admissibility constraint excluding reversal. In register form, π u · v ≥ 0, equivalently θ ≤ . It ensures a directed licence remains uncontested rather than co-admitted in opposite orientations.
Usage. Use as the stated guard condition in assertions of directed licences and return eligibility.
Ontology
Nothing / (Non-Being)
Definition. Complete absence of readable return.
Usage. The zero of identity.
Structural
Observation (structural)
Definition. A witnessed read stated as a structural predicate under an admissible licence, with no appeal to a subject.
Usage. State observations as licence-scoped reads in the witness census.
Ontology
Omnisyndetic (om-NEE-sin-DET-ik)
Definition. The name of the framework that unifies syntactic licences with a syndetic geometry of return.
Usage. Use as the proper noun.
Geometry
Pairing law
Definition. The forced pairing between directed and inherited sites: A (A; B, C), B (B; C, A), C (C; A, B).
Usage. Use iff asserting that four- or five-site censuses fail without duplication or omission.
Logic
Pairs (within a frame)
Definition. Relata taken two at a time under a declared frame for testing distinction and licence.
Usage. Use iff naming the local domain for a read.
Ontology
Presence
Definition. A status where an admissible return certificate is readable in the witness census, so that at least one relatum identity is return-certified.
Usage. Use for closure-grade settlement. Presence permits partial resolution: unresolved relata may remain. Cross-frame congruence is separate and must be stated explicitly.
Ontology
Reciprocal determination
Definition. Mutual fixing between the admissibility discipline and the configurations admitted by it.
Usage. Use iff constraints and admitted configurations determine each other as a single settled object.
Ontology
Relata
Definition. Plural of relatum: the named participants under consideration within a stated frame.
Usage. Use iff speaking about all participants engaged by the relation.
Ontology
Relatum
Definition. A named participant in a relation. A relatum may host directed witnessing and inherited witnessing, subject to the diagonal prohibition.
Usage. Use only with an explicit contrast partner and stated condition.
Ontology
Resolved
Definition. A local predicate on a relatum: a relatum is resolved in a configuration iff its identity claim is return-certified under an admissible licence in that configuration.
Usage. Use to state partial resolution explicitly. Presence requires at least one resolved relatum. Total resolution requires all relata resolved.
Logic
Return certificate
Definition. The witness-census object that certifies closure: an admissible licence together with its declared condition and its unique orientation.
Usage. Use for explicit accounting of what is certified at Presence, and for reproduction-facing summaries of closure.
Logic
Return
Definition. The closure certificate: an admissible licence with a unique orientation under the stated condition, so that the corresponding identity claim is fixed and invariant under re-inspection.
Usage. Use Return/Ret only for closure-grade certification.
Logic
Return law (diagnostic rule)
Definition. Return equals an uncontested licensed direction under a stated condition.
Usage. Use as the operational test for closure.
Logic
Return to null reference
Definition. Condition where no part of a system can resolve contrast into a referencable distinction. Occurs either outside the window or at the symmetric limit.
Usage. With every attempt blocked, the circuit returned to null reference.
Logic
Second-order distinction
Definition. Distinction about distinctions, including echo structure and inherited support in the inherited layer.
Usage. Use for relations between reads and for rules that quantify over distinctions.
Geometry
Self succinctness
Definition. The symmetric limit where a frame collapses to one undifferentiated presentation.
Usage. Note that identity cannot be read at this limit.
Structural
Shared-edge alignment
Definition. Agreement along a boundary where adjacent frames validate the same oriented edge.
Usage. Stitch local frames into a larger valid frame.
Structural
Simultaneity
Definition. A closure certificate asserts all required distinctions and inheritances as a single admissible configu- ration. The statement admits no ordered chain of intermediate certificates.
Usage. Use for statements in which closure certification is asserted globally across the relevant edges.
Geometry
Step vector
Definition. The six-component contrast-step vector⃗s = (s , . . . , s ) with entries in {1, 2, 3}, encoding the register step counts around the six-site circuit. Its angular embedding is θ := s · (π/3). i i
Usage. Use as the primary discrete input to the arc-tier and ledger evaluation.
Geometry
Six-site closure register
Definition. The 2 × 3 closure register S6 associated to a closure unit of cardinality three: three directed witness sites together with three inherited sites fixed by diagonal prohibition.
Usage. Use for the arity-three register used in Volume II when step indexing and witness tabulation are stated in S6-coordinates.
Logic
Station
Definition. A fixed layer in the admissibility ladder. Each station states a constraint class and its admissible consequences.
Usage. Use as a hierarchy marker; stations do not occur in time.
Logic
Syndetic (sin-DET-ik)
Definition. Pertaining to the connective logic where relations are bound by admissible joins.
Usage. Use for properties that hold under validation.
Logic
Syndetic contrast algebra
Definition. The diagrammatic licence calculus for contrast, licence, and return, expressed with explicit diagram- matic primitives and rule-licensed joins.
Usage. Keep the dependency structure explicit and inspectable.
Geometry
Triad
Definition. An arity-three closure unit: three relata with pairwise distinctions, together with the admissibility discipline, admitting a return certificate witnessed off-diagonal.
Usage. Use iff the arity is fixed as three. Use Closure unit for polymorphic statements that range over arities.
Structural
Validation
Definition. Certification that a stated licence supports Return within the declared scope.
Usage. Use iff a return certificate is readable and reproducible under the stated condition.
Geometry
Validation Centre
Definition. In a finite validated family, the unique frame on which every other frame depends, fixing the dependency centre for outward coverage.
Usage. Use for the unique dependency centre in a finite validated family.
Ontology
Validatrix (VAL-ih-DAY-triks)
Definition. The witness mesh that certifies compatibility of local return certificates across configurations under the admissibility discipline. Its inherited layer supports cross-frame stability of licences and returns.
Usage. Use for statements that lift local closure certificates to a global, mesh-consistent settlement.
Logic
Witness census
Definition. The declared set of witness sites and inherited sites active in a configuration, together with the licences scoped to them.
Usage. Use iff stating what is available for admissibility, congruence, and return certification in a given frame.
Geometry
Witness site
Definition. A directed site on a resolving closure unit U that states an oriented stance on an ordered pair (x, y), with the diagonal prohibition enforced by requiring any certifier parameter to be disjoint from {x, y}.
Usage. Use for directed sites in a closure register. In the arity-three case, these are the three directed sites of the six-site closure register.