---

tags: [readme] register: documentation

Orthogonal Engineering

A proof-carrying Python repository implementing 254 domain invariants under the Yeshua Standard — exact arithmetic (Fraction-only), capability-gated kernel, SHA-256 Merkle anchoring, and 20 CI workflows.

Quick Start

git clone https://github.com/aidoruao/orthogonal-engineering.git
cd orthogonal-engineering
python3 tools/verify_all.py          # 10-check verification suite
python3 audit/popperian_audit.py     # audit all domain invariants

What Is This?

Every function returns Tuple[bool, ProofObject]. Every claim has a falsifies_if condition. Every number is a Fraction, not a float. Every file is SHA-256 anchored in a Merkle tree. 20 CI workflows enforce these rules on every push and PR.

• 254 domain invariant packages in src/domains/
• 60 machine-readable standards in STANDARDS_REGISTRY.json
• 7,179 files in a SHA-256 Merkle tree (merkle/global_root.json)
• Capability-gated kernel in kernel/
• 160 domains with run_all_invariants() passing

The Yeshua Standard

Eight non-negotiable axioms. Every function, every commit, every artifact obeys these:

Architecture

Verification Suite

Run these before and after every change. If any fails, stop and fix before proceeding.

# 1. Feed integrity (hash chain)
python tools/state_witness/generate_feed_entry.py --verify

# 2. Popperian audit (all domain invariants)
python audit/popperian_audit.py

# 3. Standards registry compliance
python tools/standards_check.py --verify

# 4. Full test suite
pytest tests/ -q

# 5. Complete 10-check verification suite (PR #152)
python tools/verify_all.py

For AI Agents

New AI instances and GitHub Copilot agents should start here:

• UNIVERSAL_ONBOARDING.md — complete system enumeration
• DEVIN_ONBOARDING.md — Devin-specific boot sequence
• COPILOT_ONBOARDING.md — Copilot agent boot sequence
• CLAUDE.md — Claude-specific guidelines
• .cursorrules — Cursor IDE rules
• .windsurfrules — Windsurf IDE rules

One-command onboarding:

python tools/onboard_agent.py --agent <type>

For Humans

• CONTRIBUTING.md — contribution guidelines
• SOP_AI_HANDSHAKE.md — standard operating procedure for AI collaboration
• HANDOFF_TEMPLATE.md — template for end-of-session handoff summaries

Every domain in src/domains/ follows the same pattern: invariants.py defines falsifies_if conditions, implementation.py provides the proof-carrying functions, and tests/test_<domain>.py verifies them.

Key Components

• axioms/ — 37 formal foundation modules (Peano, logic, category theory, topology, epistemology)
• src/sal/ — Sheaf Abstraction Layer (forcing, realizability topos, self-referential)
• kernel/ — Capability-gated OS kernel (scheduler, memory, HAL, boot, IPC, VFS, commonwealth)
• merkle/ — Global and per-domain Merkle trees with inclusion proofs
• audit/ — Popperian audit + scope verification engine (PR #152)
• src/noways/ — Impossibility proofs
• src/enumerations/ — Bounded failure catalogs

Generators

The 1B/1Qi LOC generators exist in generators/. They demonstrate deterministic fractal expansion from minimal seed definitions. See generators/README.md for details.

Documentation

• UNIVERSAL_ONBOARDING.md — complete system enumeration
• COVENANT.md — architectural guarantee (free forever)
• CHECKPOINT_STAGES_A_THROUGH_G.md — campaign status
• MEMORY.md — durable architectural constraints
• STATE.md — current system state, established proofs, open questions
• RECURSIVE_INVARIANT_OMEGA.md — Omega invariant specification
• HALT_CONDITION.md — topological collapse / halt condition
• docs/ — all other documentation
• docs/reports/ — implementation summaries and reports

License

See repository license file for details.

Covenant

This infrastructure is free forever guaranteed — not by law, but by architecture. See COVENANT.md for the architectural guarantee.

aidoruao manual: need to fix the issue with ai giving rm- rf whatever its called and me blindly pasting commands into terminal deleting 100 commits of history, I need to have the operational ai to give an entire huge kb of any file type of command plan and causal explanations and everything, which will be audited