Search

Compiler plugin for making type lambdas (type projections) easier to write

ESAA-Security applies the ESAA architecture to automated security auditing. LLM-based agents execute a structured audit across 16 security domains, governed by the same immutable append-only event log, boundary contracts, and hash-verified projections that ESAA provides for software engineering workflows. Every finding, classification, and remediat