Reference
Reference
The contract of SENTIL.
The reference describes the behaviour of SENTIL. It describes the operators, the robustness semantics, the error codes, and the statistical methods. Three areas make up the reference. The specification language defines what you can write in a formula and what it computes. The methods and catalogs cover the statistical estimators, the synthesis backends, the noise families, the trace formats, the feature flags, and the error codes. The specifications library lists the formulas SENTIL ships with.
The per-language API surfaces live under Languages. Each binding's page carries its install path, its worked examples, and its full reference tables, so the Rust, Python, C, C++, Java, Julia, MATLAB, CLI, and platform surfaces are documented.
Specification language
The formula grammar, predicates, every operator, the full robustness semantics, and the parser diagnostics.
Methods and catalogs
Confidence intervals, sequential tests, synthesis backends, noise models, trace formats, feature flags, and error codes.
Specifications library
Premade PrSTL specifications drawn from standards and papers, each with a description, a citation, and a test.