Skip to content
#

realizability-topos

Star

Here is 1 public repository matching this topic...

aidoruao / orthogonal-engineering

Star 1

Sovereign realizability topos and non-RLHF agentic AI kernel. 254 domains. λ < 1 λ<1 contraction-to-truth. Merkle-anchored deterministic toolchain

merkle-tree optimal-transport kan contraction-mapping content-addressing heyting-algebra popperian-falsification banach-fixed-point yeshua-standard orthogonal-engineering zero-float synthetic-adjoint-logic realizability-topos yoneda-embedding sovereign-topos sovereign-steward cohens-forcing kenotic-truncation omega-invariant lawvere-fixed-point
  • Updated Aug 11, 2026
  • Python

Add this topic to your repo

To associate your repository with the realizability-topos topic, visit your repo's landing page and select "manage topics."

Learn more