Searching protocol for "functor laws"
Validate functional code with property tests.
Verify algebraic laws with property-based tests.
Map domain models to target representations.
Prove categorical laws with Lean proofs.
Template-driven builder for categorical prompts.
Verify code correctness with algebraic laws.
Manifest LeanOS artifact schemas.
Measures naturality of transformations.
Category-driven prompts with verifiable laws.
Build any categorical structure.
Build functype faster, master its architecture.