Reference Documentation¶
Lookup tables and specifications — not for learning, for finding.
How to Use This Section¶
This section is for lookup, not learning. Use it when you need: - Exact function signatures - Complete type definitions - All configuration options - CLI command syntax
For understanding, see Concepts.
Reference Documents¶
| Document | Contents |
|---|---|
| API | Function signatures and usage |
| Types | Complete type definitions |
| Configuration | All configuration options |
| CLI | Command-line interface |
| Performance | Limits, sampling, and memory |
| Glossary | Terminology |
Stability Guarantees¶
| Component | Stability |
|---|---|
infer() |
Stable |
apply_answers() |
Stable |
InferenceResult |
Stable |
InvariantProposal |
Stable |
DecisionRecord |
Stable |
| Internal modules | May change |