Docs

What the Contract means, and what counts as Rig. Start with why, then the rules, then the mappings.

Why Rig

The argument in three altitudes: the tablet, the anti-library case, and the consequence when models author work.

Contract

The portable rules, the vocabulary for talking about them, and the test for whether something is Rig.

Data and exchange

The JSON wire shape, .rig / .rigz packages, and portable property datatypes.

Format mappings

How established file formats map onto Rig schemas at the boundary. Native files and encodings stay fulfillment.

Domain mappings

How established domains and runtimes are expressed with Rig schemas. Solvers, services, and runtimes stay fulfillment.