ReferenceAvailable
Electrical Circuits
Modified nodal analysis for linear, nonlinear, controlled, and field-coupled electrical networks.
Reference
| Field | Value | Description |
|---|---|---|
| constraints | [] | — |
| coupled_runtime | {"adapter_module":"telion_backend.v2.runtimes.electrical_circuit","adjoint_vjp_owner":"ElectricalCircuitAdapter","certification":"Exact MNA state, history, component, and source-input Jacobians with shared sparse Newton and adjoint solves. Element and balance power outputs include exact BDF state-rate history gradients.","checkpointing":true,"dynamic_state_schema":true,"execution_backend":"telion-v2-shared-execution","gradient_channels":["circuit:<label>.components","circuit:<label>.inputs"],"history_depth":2,"history_jacobian_owner":"ElectricalCircuitAdapter","jacobian_owner":"ElectricalCircuitAdapter","nonlinear_solver":"CoupledNewtonSession","output_vjp_owner":"ElectricalCircuitAdapter","requires_spatial_mesh":false,"residual_owner":"ElectricalCircuitAdapter","runtime":"telion-coupled-graph","state_fields":["cir.{name}"],"supported_integrators":["BDF1","BDF2"]} | — |
| differentiable_runtime | null | — |
| dynamic_outputs | [] | — |
| equation_summary | MNA KCL and branch constraints: C xdot + g(x,p,u,t) = 0. | — |
| frequency_domain_runtime | {"certification":"ElectricalCircuitFrequencyRuntime","operator_terms":[{"angular_frequency_power":0,"coefficient":"mnaStatic","phase":"real"},{"angular_frequency_power":1,"coefficient":"mnaDynamic","phase":"imaginary"}],"runtime":"circuit-complex-mna","state_fields":["x"],"supports_sweep":true} | — |
| metadata | {"releaseSupport":{"certifiedStudies":["stationary","transient","frequency-domain"],"manifest":"docs/september-2026-classroom-physics-matrix.json","manifestSha256":"0a819976ac943e9eedf5bc7f9c80880dd9103cb62bb4c5a915b98c452b135a5c","profile":"september-2026-classroom","reason":"Available.","selectable":true}} | — |
| preferred_material | null | — |
| schema_version | 0.1.0 | — |
| stateVariables | [{"adjointDescription":"Exact component, source-input, state, and history VJPs are assembled from the monolithic MNA residual.","adjointSupported":true,"availability":{"topologyMethods":[]},"canonicalSymbol":null,"complexValued":false,"componentDescriptions":["Dynamic MNA unknown"],"componentNames":["x"],"componentSymbols":[],"components":1,"description":"Node voltages and voltage-defined branch currents.","differentiability":"exact-ad","displayName":"Circuit unknowns","finiteElementSpace":"Global-MNA","initialValue":"0","location":"global","name":"x","namingPolicy":"model-authored","quantityId":"cir.{name}:x","rank":"scalar","role":"state","runtimeEvidence":{"certificationFixture":"tests/python_backend/test_differentiable_physics_contract.py::test_builtin_physics_optimization_contract_gate","provider":"ElectricalCircuitAdapter"},"symbolPattern":"cir.{name}","unit":"1"}] | — |
| studies | [{"certified":true,"differentiability":"exact-ad","kind":"stationary","reason":"september-2026-classroom verified contract: analytical resistive-divider voltage and branch current, shared-backend convergence, KCL consistency, and zero algebraic absorbed-power balance"},{"certified":true,"differentiability":"exact-ad","kind":"transient","reason":"september-2026-classroom verified contract: closed-form loaded-RC divider response with BDF history consistency, exact component/source adjoints, KCL consistency, and zero algebraic absorbed-power balance at each accepted step"},{"certified":true,"differentiability":"exact-ad","kind":"frequency-domain","reason":"september-2026-classroom verified contract: analytical loaded-RC divider complex transfer and current, passive-sign peak-phasor complex power, and zero real/reactive/complex absorbed-power balance"}] | — |
| transient_runtime | {"capacity_properties":[],"certification":"ElectricalCircuitAdapter","checkpointing":true,"design_properties":[],"design_property_conditions":{},"design_vjp_owner":"ElectricalCircuitAdapter","expression_objectives":true,"gradient_channels":["circuit:<label>.components","circuit:<label>.inputs"],"gradient_vjp_owner":"ElectricalCircuitAdapter","history_depth":2,"input_gradient":true,"input_vjp_owner":"ElectricalCircuitAdapter","observation_vjp_owner":"ElectricalCircuitAdapter","residual_linearization_owner":"ElectricalCircuitAdapter","runtime":"coupled-electrical-circuit","state_fields":["x"],"state_reconstruction_owner":"ElectricalCircuitAdapter","supported_integrators":["BDF1","BDF2"],"supported_observation_symbols":["*"],"time_derivative_orders":{"x":1},"topology_gradient":false,"transpose_solve_owner":"CoupledNewtonSession"} | — |
| weak_contributions | [] | — |
| category | AC/DC / Circuits | — |
| description | Modified nodal analysis for linear, nonlinear, controlled, and field-coupled electrical networks. | — |
| dimensions | [3] | — |
| display_name | Electrical Circuits | — |
| kind | Electrical Circuit | — |
| namespace | cir | — |
| status | certified | — |
| visible | true | — |
Modified nodal analysis for linear, nonlinear, controlled, and field-coupled electrical networks.
Contract
| Property | Value |
|---|---|
| constraints | [] |
| coupled_runtime | {"adapter_module":"telion_backend.v2.runtimes.electrical_circuit","adjoint_vjp_owner":"ElectricalCircuitAdapter","certification":"Exact MNA state, history, component, and source-input Jacobians with shared sparse Newton and adjoint solves. Element and balance power outputs include exact BDF state-rate history gradients.","checkpointing":true,"dynamic_state_schema":true,"execution_backend":"telion-v2-shared-execution","gradient_channels":["circuit:<label>.components","circuit:<label>.inputs"],... |
| differentiable_runtime | null |
| dynamic_outputs | [] |
| equation_summary | MNA KCL and branch constraints: C xdot + g(x,p,u,t) = 0. |
| frequency_domain_runtime | {"certification":"ElectricalCircuitFrequencyRuntime","operator_terms":[{"angular_frequency_power":0,"coefficient":"mnaStatic","phase":"real"},{"angular_frequency_power":1,"coefficient":"mnaDynamic","phase":"imaginary"}],"runtime":"circuit-complex-mna","state_fields":["x"],"supports_sweep":true} |
| metadata | {"releaseSupport":{"certifiedStudies":["stationary","transient","frequency-domain"],"manifest":"docs/september-2026-classroom-physics-matrix.json","manifestSha256":"0a819976ac943e9eedf5bc7f9c80880dd9103cb62bb4c5a915b98c452b135a5c","profile":"september-2026-classroom","reason":"Available.","selectable":true}} |
| preferred_material | null |
| schema_version | 0.1.0 |
| stateVariables | [{"adjointDescription":"Exact component, source-input, state, and history VJPs are assembled from the monolithic MNA residual.","adjointSupported":true,"availability":{"topologyMethods":[]},"canonicalSymbol":null,"complexValued":false,"componentDescriptions":["Dynamic MNA unknown"],"componentNames":["x"],"componentSymbols":[],"components":1,"description":"Node voltages and voltage-defined branch currents.","differentiability":"exact-ad","displayName":"Circuit unknowns","finiteElementSpace":"G... |
| studies | [{"certified":true,"differentiability":"exact-ad","kind":"stationary","reason":"september-2026-classroom verified contract: analytical resistive-divider voltage and branch current, shared-backend convergence, KCL consistency, and zero algebraic absorbed-power balance"},{"certified":true,"differentiability":"exact-ad","kind":"transient","reason":"september-2026-classroom verified contract: closed-form loaded-RC divider response with BDF history consistency, exact component/source adjoints, KCL... |
| transient_runtime | {"capacity_properties":[],"certification":"ElectricalCircuitAdapter","checkpointing":true,"design_properties":[],"design_property_conditions":{},"design_vjp_owner":"ElectricalCircuitAdapter","expression_objectives":true,"gradient_channels":["circuit:<label>.components","circuit:<label>.inputs"],"gradient_vjp_owner":"ElectricalCircuitAdapter","history_depth":2,"input_gradient":true,"input_vjp_owner":"ElectricalCircuitAdapter","observation_vjp_owner":"ElectricalCircuitAdapter","residual_lineari... |
| weak_contributions | [] |
| category | AC/DC / Circuits |
| description | Modified nodal analysis for linear, nonlinear, controlled, and field-coupled electrical networks. |
| dimensions | [3] |
| display_name | Electrical Circuits |
| kind | Electrical Circuit |
| namespace | cir |
| status | certified |
| visible | true |