Skip to content
#

synthetic-adjoint-logic

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 May 5, 2026
  • Python

Improve this page

Add a description, image, and links to the synthetic-adjoint-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more