Build on it

These guides are for people extending Agni. They assume you read Go.

• Adding a format reader: wire a new EDA format into the neutral IR.
• Authoring a check rule: from a checklist item to a shipped rule.
• Extending and embedding the engine: a private module with your own readers and house rules, depending on the public engine without forking it.
• Native verification: check a reader against the format’s own EDA tool as an oracle.
• Running the gate: what make testall covers, and the three ways it reads green when it is not.
• Evidence: measuring, testing, and the habits that keep a result falsifiable.