Institutional Charter

Gateway:Degraded

The Scientific Charter & Constitutional Invariants

Tokenectomy Labs was founded on an uncompromising principle: autonomous software engineering systems must be governed by formal program semantics, mathematical invariants, and verifiable physical execution, never probabilistic guesswork or synthetic test-pleasing theater.

Founding Principles Tripartite Architecture The 6 Constitutional Clauses Ask Before Change Protocol

Physical Grounding via Compilation

Truth is determined exclusively by process exit status, compiler type checks, and hardware clock cycles. We reject synthetic scoring and hallucinated benchmark shortcuts.

Anti-Tampering & Anti-Mock Discipline

An agent that modifies a test suite to force a passing score has committed a fatal breach. Our compiler gates terminate any candidate mutation that attempts to weaken assertions or inject fake mocks.

Air-Gapped Sovereign Isolation

Mission-critical code repair must operate locally. The Sub-Cortex executes in isolated memory boundaries with zero unauthorized socket egress and zero-data retention commitments.

Engine Tiering

Dual Sub-Cortex Architectural Genesis

The tripartite system foundation engineered into the core of Kronumos and Tokenectomy.

Formal Architecture Blueprints

System Design & Runtime Verification Pipeline

The four-stage pipeline prevents search entropy by coupling grammar-constrained procedural mutations with microsecond AST oracles and isolated POSIX sandboxes, guaranteeing non-regression before atomic hot-swap.

Stage 1: Branching

Applies semantics-preserving AST mutations (loop unrolling, buffer reuse) via Tree-sitter nodes.

Stage 2: 5µs Gate

Native Rust C-ABI traverses and validates candidate syntax trees in under five microseconds.

Stage 3: Crucible

Compiles candidate `.so` into POSIX namespace, enforcing full regression harnesses with zero egress.

Stage 4: Quine Swap

Hot-swaps symbol tables atomically with instantaneous rollback to t-1 if any panic emerges.

Inviolable Constitutional Clauses

The Complete Constitutional Contract & Anti-Cheat Invariants

Ingested directly from the authoritative Kronumos AGI repository specification (CONTRACTS.md). Every autonomous cycle is strictly bound by these six clauses.

Pre-Run Invariant Zero: Absolute Compliance Gate

No cycle of procedural branching, compilation, evaluation, or runtime hot-swap may execute without 100% verification against this Constitutional Contract. Any candidate patch, procedural seed mutation, or runtime variant that attempts to circumvent, soften, or mock these constraints is classified as an INVARIANT VIOLATION (CRIMINAL MUTATION) and terminated instantly with zero-cost rejection.

Clause 1

Zero Test-Gaming & Mock-Pleasing (No Test De-fanging)

Gated

1.1

Immutable Test Harness: A candidate mutation is strictly forbidden from modifying, commenting out, or deleting existing assertions, test cases, or evaluation harness files.

1.2

No Unanchored Mocks: Never mock test functions or returns to always return true,200 OK, or expected benchmark fixtures.

1.3

No Dynamic Test Detection: The runtime code must never inspect argv, environment variables, or stack traces to detect if it is running inside an evaluation harness to alter its behavior conditionally.

Clause 2

Zero Synthetic Shortcuts (No Hardcoded Oracle Cheats)

Gated

2.1

Generalization Requirement: Code mutations must represent general algorithmic solutions. Hardcoding specific test inputs/outputs (e.g., if (input == "test_case_42") return expected_val;) constitutes an immediate fatal breach.

2.2

Reversible AST Mutation: All modifications must be structured AST diffs with verified backward-slicing provenance.

Clause 3

Zero Security Theater & Fake Heuristics

Gated

3.1

Real Semantic Traversal: AST modifications must be processed through Tree-sitter or compiler AST passes, never through naive string concatenation, regex patching, or tail delimiter appending.

3.2

ReDoS Immunity & Bound Proof: Every procedural loop must possess provable execution bounds (O(N) or strictly terminating upper bound).

Clause 4

Strict Air-Gapped Sandbox Boundary

Gated

4.1

Zero Unauthorized Network Egress: The runtime must operate completely local-only during mutation. Zero socket connections, zero telemetry leaks, and zero external HTTP calls during the evolution cycle.

4.2

Permission Boundary Defense: The engine must never probe host credentials, escape container namespaces, or modify files outside its isolated sandbox root.

Clause 5

Zero Dirty Diff & Blast Radius Discipline

Gated

5.1

Minimal Surgical Edit: Mutations must only affect the targeted AST nodes identified by backward slicing.

5.2

Zero Spurious Refactoring: Reformatting untouched files, renaming public contracts without backward compatibility shims, or deleting non-targeted functions is strictly prohibited.

5.3

Parallel-Bridge Pattern: When updating public function signatures, enforce a deprecated backward-compatible shim wrapper to ensure zero runtime breaks.

Clause 6

Hardware-Grounded Truth

Gated

6.1

Physical Metric Verification: Speedup, memory consumption, and correctness claims must be verified by physical execution (process exit code 0, physical clock ticks, Linux VmRSS), never by simulated or synthetic scores.

6.2

Fail-Safe Rollback: The runtime state must maintain instantaneous rollback to generation t-1 if any invariant fails during post-swap validation.

Operational Protocol: Ask Before Change

To prevent arbitrary mutations or unrequested redesigns, our agents operate under the strict Ask Before Change protocol: no user-facing UI, terminal layout, configuration, or public function signature may be altered without explicit human operator confirmation. Speculative scope creep is prohibited.

Enforced Across Kronumos Monorepo•Zero Dirty Diff Invariant Active•M2M Sub-Cortex Protocol