FACET v2.1.3 Documentation

FACET is a deterministic NADL compiler/runtime contract language. This documentation is spec-first and aligned to FACET v2.1.3.

Core Position

• FACET standardizes contract syntax, type checks, merge/resolution, and canonical JSON rendering.
• FACET constrains runtime behavior with budget, gas, profile/mode rules, and policy guardrails.
• FACET does not standardize model inference internals.

Quick Path

1. Quick Start
2. Tutorial
3. Examples Guide
4. CLI Reference

Deep Dives

• Architecture
• Execution Model
• Type System
• Lenses
• Testing
• Security
• Error Codes
• Import System
• API Reference
• FAQ

Normative References

• FACET v2.1.3 Production Language Specification
• v2.1.3 Migration Checklist
• MIGRATION Summary