addedInput schema / properties / certify
Added value: +{
+ "description": "If true, attach an a-posteriori existence certificate for the DC operating point (Newton–Kantorovich: proves a true solution exists within a computed radius, or refuses). Adds ~one extra back-solve.",
+ "type": "boolean"
+}
addedInput schema / properties / output_node
Added value: +{
+ "description": "Node whose voltage is certified over the tolerance box (required with tolerances).",
+ "type": "string"
+}
addedInput schema / properties / tolerances
Added value: +{
+ "additionalProperties": {
+ "type": "number"
+ },
+ "description": "Component-tolerance box, e.g. {\"R1\":0.05,\"V1\":0.02} (fractional). With output_node, returns a certified min/max interval for that node over all component variations. R/V/I elements only.",
+ "type": "object"
+}
addedOutput schema / properties / certificate
Added value: +{
+ "description": "Present when certify=true: {certified, rho, eta, h, ...} existence certificate for the DC operating point"
+}
addedOutput schema / properties / fourier
Added value: +{
+ "description": "Present when the netlist has .four cards: Fourier harmonics + THD per node"
+}
addedOutput schema / properties / measures
Added value: +{
+ "description": "Present when the netlist has .measure cards: {name: value}"
+}
addedOutput schema / properties / tolerance_certificate
Added value: +{
+ "description": "Present when tolerances+output_node given: {certified, interval, nominal, ...} certified output range over the component-tolerance box"
+}