RELATIONAL EVENT

VERSION:
V0.0
DOMAIN:
COMPUTE
STATUS:
WORKING
AUTHOR:
JARET WALKER
DATE:
JULY 27, 2026
PDFJSON

RELATIONAL EVENT

X₀ ──[ C₁ | K₁ ]── X₁

[X₀,[C₁,K₁],X₁]

TERMS

X₀

frame relative differentiation.

C₁

coherence relation.

K₁

carry relative to a local zero.

X₁

frame relative differentiation.

LOCAL POSITION

position within a complete Relational Event.

GLOBAL RELATION

complete relation relative to its local positions.

LOCAL ZERO

zero relative to a frame, relation, or carry condition.

MACHINE FORM

RELATION

[X₀,[C₁,K₁],X₁]

POSITION ARRANGEMENT

[X₀,[C₁,K₁],X₁]

POSITIONS

X₀: unrestricted bytes

C₁: unrestricted bytes

K₁: unrestricted bytes

X₁: unrestricted bytes

POSITION PRESENCE

All four positions are physically present in every complete Relational Event.

EMPTY POSITION

valid and physically present

NESTING

Any local position may contain another complete encoded Relational Event.

COMPLETION

The complete body of X₀, C₁, K₁, and X₁, together with the exact end of the Relational Event, must be physically recoverable.

CODEC

LEN64LE(X₀) || X₀ || LEN64LE(C₁) || C₁ || LEN64LE(K₁) || K₁ || LEN64LE(X₁) || X₁

LENGTH WIDTH

8 bytes

LENGTH TYPE

u64

BYTE ORDER

little endian

ENCODING ORDER

X₀, C₁, K₁, X₁

TRAILING BYTES

rejected

TRUNCATED LENGTH

rejected

TRUNCATED BODY

rejected

OVERFLOW

rejected

ROUND TRIP

decode(encode(event)) = event

PRESERVATION

All four position bodies are preserved byte for byte.

POSITIVE STATEMENTS

Relational Event = X₀ ──[ C₁ | K₁ ]── X₁
Relational Event = [X₀,[C₁,K₁],X₁]
Relational Event = one complete relation
Relational Event = four physically present relational positions
complete relation = global relative to its local positions
X₀ = local relational position
C₁ = local relational position
K₁ = local relational position
X₁ = local relational position
local position = unrestricted bytes
empty position = valid physically present position
complete relation and relational placement of its positions = consistent
contents, naming, use, and interpretation of local positions = open
local position = may contain another complete Relational Event
contained Relational Event = local relative to its containing relation
contained Relational Event = global relative to its own local positions
K₁ = carry relative to a local zero
carry = may resolve to local zero without removing K₁ or the complete relation
local zero = zero relative to a frame, relation, or carry condition
codec = physical serialization and recovery of the complete relation
codec = byte for byte preservation of all four position bodies

NEGATIVE STATEMENTS

Relational Event ≠ four separate mechanisms
Relational Event ≠ fixed position contents
Relational Event ≠ permanent position semantics
global relation ≠ universal absolute frame
local position ≠ permanently local
local zero ≠ universal absolute zero
K₁ = 0 ≠ absent K₁
empty position ≠ absent position
contained Relational Event ≠ different base relation
relational position arrangement ≠ temporal sequence
relational position arrangement ≠ causal sequence
relational position arrangement ≠ operational sequence
relational position arrangement ≠ computational sequence
codec encoding order ≠ relational behavior
codec ≠ position meaning
codec ≠ prescribed carry encoding
codec ≠ prescribed local zero encoding

STATEMENT OF DISCLOSURE

This document establishes a public technical description of the Relational Event as disclosed in this release.

Equivalent encodings, serialization methods, or physical representations that preserve the same complete relation [X₀,[C₁,K₁],X₁], its four relational positions, and its complete event boundary are considered implementations of the Relational Event.

RECORDS

https://web.archive.org/web/20260728012327/https://silogic.foundation/relational-event

VERSION RECORD

V0.0

STATUS: working