Operon Harness Inspector

Explore the Architecture triple (G, Know, Φ) from Paper 5: Harness Engineering as Categorical Architecture. Build an organism, extract its categorical structure, and see how compiler functors preserve properties.

GitHub | Paper | de los Riscos et al. arXiv:2603.28906

Load Preset

Pipeline Stages

Stage 1 Name

Stage 1 Role

Stage 1 Mode

Stage 2 Name

Stage 2 Role

Stage 2 Mode

Stage 3 Name

Stage 3 Role

Stage 3 Mode

ATP Budget (0 = failing certificate)

0 2000

Architecture Triple (G, Know, Φ)

Four-Pillar Mapping

Compiler Functors