KEX Algebra and Typed State Research Baseline

White paper   |   KEDDEH-WP-S02-001   |   Editorial draft E2

Aboudy Keddeh — Systems Architect

Keddeh Systems   |   Internal research   |   Draft

Authorship and licensing

Architecture and research direction: Aboudy Keddeh. AI-assisted drafting and source synthesis: OpenAI ChatGPT. No independent approval is implied.

Copyright notice: © 2026 Aboudy Keddeh. Publisher: Keddeh Systems. Licence profile: KEDDEH-RESERVED-1.0.

All rights reserved. No licence is granted by this document. Separate written permission governs reuse, redistribution and implementation, subject to applicable law. Third-party material retains its own rights.

Authorship identifies intellectual contributions. Copyright ownership and legal publishing capacity are recorded separately; this template does not assert an assignment of rights or grant patent, trademark or software licences.

Approval: Not yet recorded. Independent assessor: Not yet recorded. Distribution is controlled by the document classification and owner authorization.

Abstract

This research baseline documents KEX Algebra and Typed State as the independent S02 sector within Keddeh Systems. The technical subject is typed state, addressing and algebra. This editorial draft develops a proposed assessment contract for the sector's native mechanism, with distinct inputs, outcomes and evidence obligations. It does not substitute that assessment contract for the source implementation.

Scope and definitions

ZCG is foundational across the Keddeh systems described here. Under the author's definition, 1 is the only addressable coordinate written as a single digit. It is one shared reference singularity from which all observables are scaled. Every axis refers to that same 1; axes do not instantiate separate ones or independent origins. This definition does not identify the reference with zero-point energy.

Axis components, measured values, state-role labels, ordinal ranks, array indices and storage locations must be typed separately from ZCG coordinate addresses. A host index or a repeated numeral in a display does not create another ZCG origin. Composite addresses must follow the native ZCG address grammar; an editorial tuple, per-axis baseline or scalar relabelling cannot substitute for that grammar.

Canonical identity: S02. Division: KEX & Theorem. This dossier retains the sector name and standing from the BRAINK v74 registry. Its relationships to other sectors do not merge its identity, methods or proof obligations.

BRAINK governs execution and evidence; KEX defines typed state, identity and addressing; IL-LLM carries semantic and knowledge processing and its separately specified research extensions. Host capabilities and external adapters must be named at the boundary where they are exercised.

Architecture and mechanism

ZCG conformance must verify that all axis projections retain the identity of the same reference 1. The single-digit labels 2, 3, −2 or −3 cannot be presented as additional addressable ZCG coordinates. If retained in a historical state model, they must be identified as state-role or comparison labels and must not replace the native coordinate grammar. A complete address codec must be checked against the author's actual implementation; this draft does not invent one.

The proposed KEX assessment separates a stable subject identifier, its current typed value, the definition revision and the storage address used to resolve it. A move changes placement; a definition change requires a declared compatibility rule. Neither operation silently creates a new subject. Native relation and transition operators retain their source meanings; an adapter must map them explicitly before scalar or host execution.

Specify the admitted inputs, observable outputs, permitted transitions, durable objects and rejection behaviour. Keep logical identity separate from carrier placement and record the source version used by each experiment.

Method and evaluation

Native algebra conformance requirement supplied by Aboudy Keddeh: zero is excluded from native calculations, including intermediate native values, and must never substitute for a constituent. The participating identities, relations and transformation history must be retained. A balanced or cancelling projection cannot authorize erasure or replacement of those constituents.

Each native operator must be traced to the author's actual definition, with its admitted domain, outputs, intermediate representation and failure behaviour stated explicitly. Conventional arithmetic, scalar cancellation, zero-based host indices and comparison plots are separately identified compatibility or comparison mechanisms; their tests do not establish conformance of the native algebra. This draft does not invent replacement operators, a transported ring or a coordinate encoder.

Comparison premise audit: before accepting a graph or test as evidence for ZCG or native algebra, identify the actual source model and verify the shared reference 1, native address grammar, constituent retention, permitted intermediate values and projection mapping. A graph based on independent axis origins, or a test whose oracle silently replaces constituents with zero, evaluates a different model. Its result must be scoped to that model and cannot be promoted as ZCG conformance. Test performance only after the compared tasks, required outputs and retained context are matched.

Test address round trips, type preservation and migration on the same frozen object corpus. Count collisions over distinct admitted addresses, migration failures over attempted migrations, and resolution latency only for a declared hit/miss workload. Include invalid addresses and stale definitions as separate rejection cases.

Failure programme: Address collision; stale type; incompatible schema; stride/alignment defect; invalid relation.

Measurements: Resolution latency, bytes per node, traversal throughput, migration loss. Record hardware/browser or interpreter context, data size, repetitions and uncertainty. Acceptance values must be fixed for the chosen workload before qualification.

Results and evidence

Executed archive assessment — 16 October 2026: the recovered ZCG core-engine archive passed 37 supplied unit tests and 13 typed exception-replay cases. The earlier exception-boundary archive passed 14 unit tests; these overlap the later suite and are not 14 additional independent properties. The actual mapping.py reserves ToroidalCoordinate(1, 1, 1), maps run ordinals through ordinary row-major arithmetic, and exposes separate x/y/z integer components. This verifies a one-based grid adapter and packed run codec, not the native ZCG address grammar specified by Aboudy Keddeh. No native address encoder is inferred from this adapter.

The supplied benchmark was also executed on five 4,096-byte corpora. Packed outputs were 15, 8,206, 8,206, 8,168 and 7,890 bytes respectively; the conventional run-length baseline used 3, 8,192, 8,192, 8,154 and 7,876 bytes. These are measured results for this archived implementation. They neither establish a general compression advantage nor evaluate a different native model that this archive does not implement.

Source-conformance finding recorded 16 October 2026. The inspected Mathematical Foundations and Proof Obligations v1.0 interprets Singularity-One as a per-record existence indicator (§6.3), admits Present(0) in its lifted numeric model (§§5–6), and defines a phase encoding with −1/+1 endpoints (§8). These are distinct constructions. They do not establish the single shared addressable origin or zero-free native calculation contract supplied by the author in this review. The finite HEX fold in §9 likewise has its own 0…15 comparison domain. Existing derivations remain evidence about their stated models; native ZCG or native algebra conformance requires an explicit source mapping and cannot be inherited from those proofs.

Source inspected: https://docs.google.com/document/d/1x3m7DwJbqSFMK4skvzf0pWUXauM-R_gX/edit?usp=drivesdk&ouid=114623222604644499941&rtpof=true&sd=true

The resident source standing is: PACKAGE BUILT · COMPILE/REPLAY PASS · CORRECTION ROUTE PASS · EVOLUTION PASS. This is a source-reported registry status, not a new sector-specific replication result.

The v74 report records controlled local recovery and persistence-gate tests. Those results do not automatically qualify this sector in a different deployment or prove its scientific propositions. The research package defined here adds a method and evidence requirements; no new sector experiment result is asserted.

Limitations and open questions

Required documentation outputs: KEX type system; address grammar; algebra reference; benchmark protocol. The next executable boundary is the comparison experiment above with retained originals, failure traces and an independent assessment.

A performance, security, physical or market claim remains open until its relevant observable has been measured. A logical invariant and a hardware or public-deployment guarantee require different evidence.

References

KEDDEH-SRC-V74: BRAINK v74 Engineering Research and Stress Report, research sector registry and claim boundary.

R2: Decentralized Identifiers — https://www.w3.org/TR/did-core/ (Identity reference; KEX addresses are not automatically DIDs)

Revision history

Version 1.0 preserves the canonical sector identity and establishes its initial research baseline, mechanism requirements and evaluation programme. Assessor and approval have not been recorded.

15 October 2026 — Editorial draft E1. Preserved the original manuscript and native document structure in a separate copy. Expanded the sector-specific mechanism and evaluation language, including definitions, denominators and the limits of inference. Research architecture: Aboudy Keddeh. AI-assisted editorial drafting: OpenAI ChatGPT. No new execution or independent approval is asserted.

Source revision: https://docs.google.com/document/d/1lkz4QnrrGS8S1AmF3Q5mgdeQVNnmnkCctD0xXo9UyHs/edit?usp=drivesdk

16 October 2026 — Editorial revision E2. Applied Aboudy Keddeh's explicit ZCG clarification: 1 is the sole single-digit addressable coordinate and is shared by all axes and observables. Removed any implication that each axis has its own one or that ZCG is based on zero-point energy. Native coordinate addressing, measurement projections and host indices are distinguished. This is an editorial correction; no new physical or runtime test is asserted.
