The Rootform language defines what infrastructure evidence means architecturally.
A Dialect supplies Rules that interpret Terraform or OpenTofu instances.
A Policy Pack asks bounded questions about the resulting architecture.
Sources use .rf.hcl or HCL JSON .rf.json; RF accepts a small, closed language,
not general Terraform expressions or HCL programming.
- Plan or state instances get Representations identified by their addresses.
- Rules select instances and may classify them with Concepts.
- Emissions resolve targets against evidence and establish architectural facts. Each closure records what was established, absent or still indeterminate.
- A Form retains the stages, facts, closures and provenance.
- Policies evaluate its architectural facts.
Every observed managed and data instance remains represented, including one with no Rule. A dependency or reference is evidence, not automatically a Relation. Neither a state snapshot nor a network Context proves live cloud behavior. The Form model explains stages and portability.
Start with the Language tour for one complete subnet example. Then follow the explanations where you need more depth:
The Language reference is the normative source for accepted syntax, defaults, evaluation rules, diagnostics and limits. Use it for exact contracts; the learning pages explain their motivation and consequences.