Complete Runnable Case Catalog
This page is generated from the canonical aimora-examples-v2 catalog. It documents every registered public case without inventing numerical results. Case-specific reports and committed artifacts remain the authority for actual values.
- Registered cases: 110
- Study groups: 8
- Solver-required cases: 96
- Historical-reference-compatible cases: 36
Catalog by study
| Study | Cases |
|---|---|
cable_constants | 2 |
core | 1 |
emt | 93 |
line_constants | 4 |
line_fitting | 3 |
line_parameters | 3 |
protection | 1 |
transformer_parameters | 3 |
Standard execution and review
From the Resources repository root, run a case through its local Makefile:
make -C AIMORACases/<case-directory> runReview the case README before execution, then inspect its outputs/ directory, typed summary, diagnostics, and any qualification comparison. A successful process exit is necessary but not sufficient: energy, KCL, passivity, convergence, event, and restart evidence must satisfy the case's declared acceptance contract.
cable_constants_geometry_gallery
Type-2 and type-3 cable configurations with one/two layers and centred/off-centre pipe geometry.
| Property | Value |
|---|---|
| Study | cable_constants |
| Primary input | examples/cable_constants/cable_geometry_gallery/type2_one_layer.deck |
| Entrypoint | examples/cable_constants/cable_geometry_gallery/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/cable_constants/cable_geometry_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
cable_constants_three_phase_single_layer
Three buried single-core cables with metallic sheaths, one insulation layer, and a logarithmic frequency scan.
| Property | Value |
|---|---|
| Study | cable_constants |
| Primary input | examples/cable_constants/three_phase_single_layer/three_phase_single_layer.deck |
| Entrypoint | examples/cable_constants/three_phase_single_layer/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/cable_constants/three_phase_single_layer runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
core_study_catalog_and_scenario
Study discovery, project/case/scenario construction, inverter assets, and EMT input-profile orientation.
| Property | Value |
|---|---|
| Study | core |
| Primary input | examples/core/study_catalog_and_scenario/run.jl |
| Entrypoint | examples/core/study_catalog_and_scenario/run.jl |
| Result contract | catalog |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/core/study_catalog_and_scenario runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0001_series_rlc_step
Classic single-phase series RLC circuit energized by a step-voltage source.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0001_series_rlc_step/case0001.deck |
| Entrypoint | examples/classic_emtp/case0001_series_rlc_step/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0001_series_rlc_step runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0002_parallel_rlc_discharge
Classic parallel RLC capacitor-discharge case with an initial condition and timed switch.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0002_parallel_rlc_discharge/case0002.deck |
| Entrypoint | examples/classic_emtp/case0002_parallel_rlc_discharge/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0002_parallel_rlc_discharge runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0003_atpdraw_rlc
Normalized ATPDraw-originated RLC topology with explicit initial conditions and a 10 ms switch event.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0003_atpdraw_rlc/case0003.deck |
| Entrypoint | examples/classic_emtp/case0003_atpdraw_rlc/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0003_atpdraw_rlc runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0007_capacitor_bank_recovery_voltage
Opening an ungrounded three-phase capacitor bank and observing transient recovery voltage.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0007_capacitor_bank_recovery_voltage/case0007.deck |
| Entrypoint | examples/classic_emtp/case0007_capacitor_bank_recovery_voltage/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0007_capacitor_bank_recovery_voltage runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0008_back_to_back_capacitor_banks
Two delta capacitor banks switched back-to-back through current-limiting reactors.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0008_back_to_back_capacitor_banks/case0008.deck |
| Entrypoint | examples/classic_emtp/case0008_back_to_back_capacitor_banks/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0008_back_to_back_capacitor_banks runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0009_capacitor_restrike
Capacitor-switch phase interruption and restrike with a corrected reachable horizon.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0009_capacitor_restrike/case0009.deck |
| Entrypoint | examples/classic_emtp/case0009_capacitor_restrike/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0009_capacitor_restrike runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0010_parallel_ehv_resonance
Steady-state phasor solution of coupled parallel EHV lines, series capacitors, shunt reactors, and a fault.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0010_parallel_ehv_resonance/case0010.deck |
| Entrypoint | examples/classic_emtp/case0010_parallel_ehv_resonance/run.jl |
| Result contract | phasors |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0010_parallel_ehv_resonance runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0011_transmission_line_reclosing
Transmission-line fault clearing, breaker opening, distributed history, and trapped charge.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0011_transmission_line_reclosing/case0011.deck |
| Entrypoint | examples/classic_emtp/case0011_transmission_line_reclosing/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0011_transmission_line_reclosing runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0012_lightning_tower_surge
Fast lightning-current impulse, tower/line travelling waves, and insulator voltages.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0012_lightning_tower_surge/case0012.deck |
| Entrypoint | examples/classic_emtp/case0012_lightning_tower_surge/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0012_lightning_tower_surge runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0013_potential_transformer_ferroresonance
Potential-transformer nonlinear magnetizing branch coupled to breaker grading capacitance.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0013_potential_transformer_ferroresonance/case0013.deck |
| Entrypoint | examples/classic_emtp/case0013_potential_transformer_ferroresonance/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0013_potential_transformer_ferroresonance runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0014_subsynchronous_resonance
Series-compensated IEEE second benchmark-style network coupled to a synchronous generator and four-mass shaft.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0014_subsynchronous_resonance/case0014.deck |
| Entrypoint | examples/classic_emtp/case0014_subsynchronous_resonance/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0014_subsynchronous_resonance runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0015_universal_induction_machine
Universal-machine type-4 automatic induction-machine initialization and coupled horizon.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0015_universal_induction_machine/case0015.deck |
| Entrypoint | examples/classic_emtp/case0015_universal_induction_machine/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0015_universal_induction_machine runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0050_tacs_thyristor_control
TACS valve-voltage integration and firing control of antiparallel thyristor switches.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/classic_emtp/case0050_tacs_thyristor_control/case0050.deck |
| Entrypoint | examples/classic_emtp/case0050_tacs_thyristor_control/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0050_tacs_thyristor_control runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
coupled_line_runtime_cable
Generic cable complete coupled L205 realization and exact declared soil alternative executed with full terminal mutual coupling, identical fault/output policy, energy/KCL uncertainty envelopes, portable snapshots, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/line_runtime/cable/run.jl |
| Entrypoint | examples/line_runtime/cable/run.jl |
| Result contract | time_series |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:coupled-line-runtime:cable, aimora-reference:coupled-line-runtime, validation-suite:coupled-line-runtime |
make -C AIMORACases/examples/line_runtime/cable runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
coupled_line_runtime_mixed_route
Generic overhead/cable route and both exact declared soil alternatives executed as separately fitted coupled runtimes through the explicit phase-mapped junction, identical fault/output policy, uncertainty envelopes, and exact per-segment restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/line_runtime/mixed_route/run.jl |
| Entrypoint | examples/line_runtime/mixed_route/run.jl |
| Result contract | time_series |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:coupled-line-runtime:mixed-route, aimora-reference:coupled-line-runtime, validation-suite:coupled-line-runtime |
make -C AIMORACases/examples/line_runtime/mixed_route runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
coupled_line_runtime_overhead
Generic overhead-line complete coupled L205 realization and exact declared soil alternative executed through identical discrete initialization, phase-domain Norton, fault, output, energy/KCL, uncertainty-envelope, and typed-restart policies.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/line_runtime/overhead/run.jl |
| Entrypoint | examples/line_runtime/overhead/run.jl |
| Result contract | time_series |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:coupled-line-runtime:overhead, aimora-reference:coupled-line-runtime, validation-suite:coupled-line-runtime |
make -C AIMORACases/examples/line_runtime/overhead runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_active_negative_resistance_rl
Finite active negative-resistance R-L branch with a nonsingular trapezoidal companion and bounded waveform.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/active_negative_resistance_rl/active_negative_resistance_rl.deck |
| Entrypoint | examples/emt/active_negative_resistance_rl/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | case-input:emt:activenegativeresistance_rl, translation-packet:C311 |
make -C AIMORACases/examples/emt/active_negative_resistance_rl runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_balanced_three_phase_sine
Balanced three-phase sinusoidal sources with phase and line-to-line voltage waveforms.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/balanced_three_phase_sine/run.jl |
| Entrypoint | examples/emt/balanced_three_phase_sine/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/balanced_three_phase_sine runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_checkpoint_restart
Typed checkpoint export, restart continuation, and sample-by-sample comparison with an uninterrupted EMT run.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/checkpoint_restart/run.jl |
| Entrypoint | examples/emt/checkpoint_restart/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/checkpoint_restart runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_complementary_bridge_commutation
Exact-PWM complementary IGBT bridge-leg commutation with enforced dead time, natural antiparallel freewheel paths, coupled R-L load, terminal KCL, and energy accounting.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/complementary_bridge_commutation/run.jl |
| Entrypoint | examples/emt/complementary_bridge_commutation/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-test:complementary-power-semiconductor-bridge-public-contract |
make -C AIMORACases/examples/emt/complementary_bridge_commutation runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_consistent_initialization
Physical-frequency and timestep-matched harmonic scans, complete companion/state initialization, typed operating-point mapping, deterministic signatures, and dependent two-case EMT sequencing.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/consistent_initialization/consistent_initialization_sequence.deck |
| Entrypoint | examples/emt/consistent_initialization/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:consistentinitializationsequence |
make -C AIMORACases/examples/emt/consistent_initialization runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_control_network_feedback
Closed-loop TACS network sensing, first-order filtering, controlled sources, and switch mutation.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/control_network_feedback/control_network_feedback.deck |
| Entrypoint | examples/emt/control_network_feedback/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/control_network_feedback runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_coupled_network_copy_gallery
Four-phase coupled R-L, coupled R-L COPY, and distributed-line COPY execution with independent histories.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/coupled_network_copy_gallery/four_phase_coupled_rl.deck |
| Entrypoint | examples/emt/coupled_network_copy_gallery/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | case-input:emt:fourphasecoupledrl, case-input:emt:coupledrlcopy, case-input:emt:distributedline_copy, translation-packet:C309 |
make -C AIMORACases/examples/emt/coupled_network_copy_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_dassl_class_variable_step
Explicitly selected DASSL-class variable-step EMT with passive dense output, nonlinear exact switching, portable split/restart, wound-field machine/control admission, deterministic diagnostics, and typed unsupported-owner refusal.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/dassl_class_variable_step/run.jl |
| Entrypoint | examples/emt/dassl_class_variable_step/run.jl |
| Result contract | variable_step_dae_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:dassl-class-variable-step-emt, case-input:emt:dassl-class-variable-step, validation-command:dassl-class-variable-step-emt |
make -C AIMORACases/examples/emt/dassl_class_variable_step runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_dc_simulator_type16_gallery
Fixed- and free-field two-card type-16 DC-simulator sources with generated topology and initialized control state.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/dc_simulator_type16_gallery/fixed_field_type16.deck |
| Entrypoint | examples/emt/dc_simulator_type16_gallery/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | case-input:emt:dcsimulatortype16fixedfield, case-input:emt:dcsimulatortype16freefield |
make -C AIMORACases/examples/emt/dc_simulator_type16_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_extended_converter_systems
Complete public matrix for 52 executable standalone family/fidelity intersections, five average application compositions and 24 typed unsupported candidates, plus an original physical switching-detailed buck workflow with block/restart, exact portable continuation, device state, KCL, energy, result contract and curated SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/extended_converter_systems/run.jl |
| Entrypoint | examples/emt/extended_converter_systems/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:extended-converter-systems, aimora-reference:extended-converter-systems, aimora-reference:average-converter-applications, validation-command:extended-converter-systems |
make -C AIMORACases/examples/emt/extended_converter_systems runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_extended_semiconductor_commutation
Generic recovered-charge, nonlinear-junction-charge, event-energy-map, and passive electrothermal semiconductor commutation with typed public state and explicit non-manufacturer limits.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/extended_semiconductor_commutation/run.jl |
| Entrypoint | examples/emt/extended_semiconductor_commutation/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:generic-extended-semiconductor-fidelity |
make -C AIMORACases/examples/emt/extended_semiconductor_commutation runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_extended_vsc_droop
Switching-detailed power-droop grid-forming VSC with a four-wire LCL filter, explicit neutral, exact sampled control/PWM, unbalance, plant requests, disturbances, checkpoint-safe state, KCL, and energy outputs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/extended_vsc_droop/run.jl |
| Entrypoint | examples/emt/extended_vsc_droop/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:extended-vsc-droop, aimora-reference:extended-vsc-control-filter-platform, validation-suite:extended-vsc-control-filter-platform |
make -C AIMORACases/examples/emt/extended_vsc_droop runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_extended_vsc_pll_dq
Switching-detailed synchronous PLL-dq grid-following VSC with a three-wire series-L filter, exact sampled control/PWM, disturbances, plant requests, sequence extraction, checkpoint-safe state, KCL, and energy outputs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/extended_vsc_pll_dq/run.jl |
| Entrypoint | examples/emt/extended_vsc_pll_dq/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:extended-vsc-pll-dq, aimora-reference:extended-vsc-control-filter-platform, validation-suite:extended-vsc-control-filter-platform |
make -C AIMORACases/examples/emt/extended_vsc_pll_dq runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_extended_vsc_pr
Switching-detailed stationary PR grid-following VSC with selected harmonic resonators, a three-wire shunt-LC filter, exact sampled control/PWM, disturbances, plant requests, sequence extraction, checkpoint-safe state, KCL, and energy outputs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/extended_vsc_pr/run.jl |
| Entrypoint | examples/emt/extended_vsc_pr/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:extended-vsc-pr, aimora-reference:extended-vsc-control-filter-platform, validation-suite:extended-vsc-control-filter-platform |
make -C AIMORACases/examples/emt/extended_vsc_pr runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_extended_vsc_virtual_synchronous
Switching-detailed virtual-synchronous grid-forming VSC with virtual inertia/impedance, a four-wire LCL filter, explicit neutral, exact sampled control/PWM, unbalance, plant requests, disturbances, checkpoint-safe state, KCL, and energy outputs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/extended_vsc_virtual_synchronous/run.jl |
| Entrypoint | examples/emt/extended_vsc_virtual_synchronous/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:extended-vsc-virtual-synchronous, aimora-reference:extended-vsc-control-filter-platform, validation-suite:extended-vsc-control-filter-platform |
make -C AIMORACases/examples/emt/extended_vsc_virtual_synchronous runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_external_three_bus_unbalanced
Julia-only three-bus unbalanced feeder adapted from redistributable PowerModelsDistribution data.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/external_three_bus_unbalanced/three_bus_unbalanced.deck |
| Entrypoint | examples/emt/external_three_bus_unbalanced/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/external_three_bus_unbalanced runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_fault_equivalent_fitting
Passive generator-equivalent fitting from network admittance and prescribed fault-current targets.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/fault_equivalent_fitting/run.jl |
| Entrypoint | examples/emt/fault_equivalent_fitting/run.jl |
| Result contract | fit_curve |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/fault_equivalent_fitting runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_fixed_source_load_flow_gallery
Seventeen FIX SOURCE load-flow variants spanning scalar/coupled networks, switches, and induction, synchronous, and DC-machine boundaries.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/fixed_source_load_flow_gallery/decks/fix_source_angle_q.deck |
| Entrypoint | examples/emt/fixed_source_load_flow_gallery/run.jl |
| Result contract | phasors |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/fixed_source_load_flow_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_frequency_dependent_line
Semlyen rational frequency-dependent line response and receiving-end transient waveform.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/frequency_dependent_line/run.jl |
| Entrypoint | examples/emt/frequency_dependent_line/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/frequency_dependent_line runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_general_multirate_task_platform
Sixteen exact rational schedules across eight task families coupled to a real EMT source with event/release collisions, dependency-ordered delayed holds, exact split restart, atomic rollback, and typed results.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/general_multirate_task_platform/run.jl |
| Entrypoint | examples/emt/general_multirate_task_platform/run.jl |
| Result contract | task_trace |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:general-multirate-task-platform, validation-suite:general-multirate-task-platform |
make -C AIMORACases/examples/emt/general_multirate_task_platform runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_generated_ieee13_deck
Readable Julia-generated feeder deck using IEEE 13-node-style names with parser tables and an EMT trace.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/generated_ieee13_deck/ieee13_minimum_core.deck |
| Entrypoint | examples/emt/generated_ieee13_deck/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/generated_ieee13_deck runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_generic_bridge_topology_library
Mixed switching-detailed diode, thyristor, full-bridge, chopper, multigroup, NPC, T-type, flying-capacitor, and cascaded H-bridge execution with exact topology state, one nonlinear device, scheduled protection/fault operations, passive energy, terminal KCL, deterministic checkpoint replay, and curated SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/generic_bridge_topology_library/run.jl |
| Entrypoint | examples/emt/generic_bridge_topology_library/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:generic-bridge-topology-library, aimora-reference:generic-bridge-topology-library, validation-suite:power-semiconductor-bridge-topologies |
make -C AIMORACases/examples/emt/generic_bridge_topology_library runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_hysteretic_inductor_runtime
Type-96 hysteretic inductor characteristic, companion, history state, sparse solve, and waveform.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/hysteretic_inductor_runtime/hysteretic_inductor_runtime.deck |
| Entrypoint | examples/emt/hysteretic_inductor_runtime/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/hysteretic_inductor_runtime runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_ideal_transformer_type18
Type-18 ideal-transformer source constraint, network solve, and voltage waveforms.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/ideal_transformer_type18/ideal_transformer_type18.deck |
| Entrypoint | examples/emt/ideal_transformer_type18/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/ideal_transformer_type18 runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_inverter
Standalone stateful grid-following inverter simulation with current and power waveforms.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/inverter/run.jl |
| Entrypoint | examples/emt/inverter/run.jl |
| Result contract | waveform |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/inverter runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_line_models
Bergeron travelling-wave transient together with direct frequency-domain line quantities.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/line_models/run.jl |
| Entrypoint | examples/emt/line_models/run.jl |
| Result contract | waveform |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/line_models runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_local_multirate_partitioned_network
Explicit two- and eight-region fixed-step EMT with three local rates, seven conservative interfaces, Semlyen histories, machine/measurement/converter owners, coordinated event/topology restart, deterministic traces, and communication refinement.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/local_multirate_partitioned_network/run.jl |
| Entrypoint | examples/emt/local_multirate_partitioned_network/run.jl |
| Result contract | partition_interface_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:local-multirate-partitioned-network, validation-suite:local-multirate-partitioned-emt |
make -C AIMORACases/examples/emt/local_multirate_partitioned_network runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_cage_induction
Single-cage induction motor with explicit rotor state, slip, shaft, unbalance, torque event, energy, exact restart, report, and SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_cage_induction/run.jl |
| Entrypoint | examples/emt/machine_cage_induction/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-machine-families |
make -C AIMORACases/examples/emt/machine_cage_induction runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_deep_bar_induction
Four-branch passive deep-bar induction motor with explicit rotor state, shaft, event, energy, exact restart, report, and SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_deep_bar_induction/run.jl |
| Entrypoint | examples/emt/machine_deep_bar_induction/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-machine-families |
make -C AIMORACases/examples/emt/machine_deep_bar_induction runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_doubly_fed_induction
Doubly fed induction generator with explicit rotor port and power, shaft, event, energy, exact restart, report, and SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_doubly_fed_induction/run.jl |
| Entrypoint | examples/emt/machine_doubly_fed_induction/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-machine-families |
make -C AIMORACases/examples/emt/machine_doubly_fed_induction runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_multimass_controls
Eight-mass wound-field machine with excitation, governor, stabilizer, limiter, event, energy, exact restart, report, and SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_multimass_controls/run.jl |
| Entrypoint | examples/emt/machine_multimass_controls/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-machine-families |
make -C AIMORACases/examples/emt/machine_multimass_controls runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_permanent_magnet
Salient permanent-magnet synchronous generator with permanent flux, shaft, unbalance, event, energy, exact restart, report, and SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_permanent_magnet/run.jl |
| Entrypoint | examples/emt/machine_permanent_magnet/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-machine-families |
make -C AIMORACases/examples/emt/machine_permanent_magnet runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_synchronous_condenser
Synchronous condenser with field/damper circuits, excitation task, unbalance, reference event, energy, exact restart, report, and SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_synchronous_condenser/run.jl |
| Entrypoint | examples/emt/machine_synchronous_condenser/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-machine-families |
make -C AIMORACases/examples/emt/machine_synchronous_condenser runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_tacs_interface
Synchronous-machine output transfer into TACS/control storage for excitation and governor workflows.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_tacs_interface/run.jl |
| Entrypoint | examples/emt/machine_tacs_interface/run.jl |
| Result contract | waveform |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/machine_tacs_interface runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_machine_wound_field_synchronous
Wound-field synchronous generator with explicit field/damper state, saturation, shaft, unbalance, event, energy, exact restart, report, and SVGs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/machine_wound_field_synchronous/run.jl |
| Entrypoint | examples/emt/machine_wound_field_synchronous/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-machine-families |
make -C AIMORACases/examples/emt/machine_wound_field_synchronous runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_measurement_cvt_transient
Coupling-capacitor VT with divider, compensation reactor, suppression branch, electromagnetic unit, burden, causal digital chain, COMTRADE, SVGs, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/emt_measurement_cvt_transient/run.jl |
| Entrypoint | examples/emt/emt_measurement_cvt_transient/run.jl |
| Result contract | measurement_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:emt-measurement-chains |
make -C AIMORACases/examples/emt/emt_measurement_cvt_transient runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_measurement_electronic_current
Series-loading electronic current sensor with passive transducer/filter state, exact sampling/delay/estimators, COMTRADE, SVGs, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/emt_measurement_electronic_current/run.jl |
| Entrypoint | examples/emt/emt_measurement_electronic_current/run.jl |
| Result contract | measurement_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:emt-measurement-chains |
make -C AIMORACases/examples/emt/emt_measurement_electronic_current runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_measurement_electronic_voltage
Shunt-loading electronic voltage sensor with passive transducer/filter state, exact sampling/delay/estimators, COMTRADE, SVGs, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/emt_measurement_electronic_voltage/run.jl |
| Entrypoint | examples/emt/emt_measurement_electronic_voltage/run.jl |
| Result contract | measurement_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:emt-measurement-chains |
make -C AIMORACases/examples/emt/emt_measurement_electronic_voltage runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_measurement_inductive_vt
Inductive voltage transformer with explicit winding/burden dynamics, event-sensitive coupled execution, causal filter/sample/delay/estimator path, COMTRADE, SVGs, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/emt_measurement_inductive_vt/run.jl |
| Entrypoint | examples/emt/emt_measurement_inductive_vt/run.jl |
| Result contract | measurement_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:emt-measurement-chains |
make -C AIMORACases/examples/emt/emt_measurement_inductive_vt runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_measurement_linear_ct
Linear current transformer with explicit burden/cable branches, coupled fixed-step execution, analog filter, exact sampling and delay, RMS/phasor output, COMTRADE, SVGs, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/emt_measurement_linear_ct/run.jl |
| Entrypoint | examples/emt/emt_measurement_linear_ct/run.jl |
| Result contract | measurement_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:emt-measurement-chains |
make -C AIMORACases/examples/emt/emt_measurement_linear_ct runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_measurement_saturating_ct
Magnetic-equivalent-circuit current transformer with Tellinen saturation/remanence, explicit burden, coupled fixed-step execution, causal digital chain, COMTRADE, SVGs, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/emt_measurement_saturating_ct/run.jl |
| Entrypoint | examples/emt/emt_measurement_saturating_ct/run.jl |
| Result contract | measurement_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:emt-measurement-chains |
make -C AIMORACases/examples/emt/emt_measurement_saturating_ct runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_measurement_three_phase_chain
Three-phase sampled chain with passive filters, rational clock, deterministic delay, ties-to-even quantization, RMS/DFT/sequence/frequency outputs, COMTRADE, SVGs, and exact restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/emt_measurement_three_phase_chain/run.jl |
| Entrypoint | examples/emt/emt_measurement_three_phase_chain/run.jl |
| Result contract | measurement_waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:emt-measurement-chains |
make -C AIMORACases/examples/emt/emt_measurement_three_phase_chain runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_mixed_frequency_subnetworks
Independent 50 Hz and 60 Hz steady-state islands initialized into one multi-frequency EMT trace.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/mixed_frequency_subnetworks/mixed_frequency_subnetworks.deck |
| Entrypoint | examples/emt/mixed_frequency_subnetworks/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/mixed_frequency_subnetworks runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_multi_case_sequence
Ordered execution of two valid studies around an explicitly aborted and discarded input case.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/multi_case_sequence/run.jl |
| Entrypoint | examples/emt/multi_case_sequence/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/multi_case_sequence runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_multirate_sampled_pwm
Exact integer-tick electrical, delayed sampled-control, and trailing-edge PWM tasks with deterministic priority and held outputs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/multirate_sampled_pwm/run.jl |
| Entrypoint | examples/emt/multirate_sampled_pwm/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | validation-suite:modernemthybrid_execution |
make -C AIMORACases/examples/emt/multirate_sampled_pwm runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_nonlinear_characteristic_gallery
Saturation, hysteresis, and zinc-oxide characteristic preparation with physical curve plots.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/nonlinear_characteristic_gallery/run.jl |
| Entrypoint | examples/emt/nonlinear_characteristic_gallery/run.jl |
| Result contract | characteristic_curves |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/nonlinear_characteristic_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_nonlinear_controls
Diode valve, controlled switch, saturable inductor, and first-order TACS control in one nodal run.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/nonlinear_controls/run.jl |
| Entrypoint | examples/emt/nonlinear_controls/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/nonlinear_controls runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_nonlinear_identity_type98_gallery
NONLIN owner-name binding and standalone type-98 pseudo-nonlinear-inductor sparse/timestep execution.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/nonlinear_identity_type98_gallery/named_type96_hysteretic.deck |
| Entrypoint | examples/emt/nonlinear_identity_type98_gallery/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | case-input:emt:namedtype96hysteretic, case-input:emt:type98pseudononlinear_inductor, translation-packet:C310 |
make -C AIMORACases/examples/emt/nonlinear_identity_type98_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_nonlinear_network_discontinuity
Scaled nonlinear RLC and eight-node manufactured networks with a fitted ZnO branch, ideal constraints, a sparse topology change, localized discontinuities, chatter vetoes, refinement, and deterministic restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/nonlinear_network_discontinuity/run.jl |
| Entrypoint | examples/emt/nonlinear_network_discontinuity/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:nonlinear-network-discontinuity |
make -C AIMORACases/examples/emt/nonlinear_network_discontinuity runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_parsed_deck_trace
Minimal readable-deck parse, validation, EMT execution, and report-artifact workflow.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/parsed_deck_trace/run.jl |
| Entrypoint | examples/emt/parsed_deck_trace/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/parsed_deck_trace runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_performance_execution_modes
Equal-accuracy serial, sparse, threaded, local-process, and admitted native CUDA execution definitions with the reviewed initial-tower crossover and explicit limits.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/performance_execution_modes/run.jl |
| Entrypoint | examples/emt/performance_execution_modes/run.jl |
| Result contract | performance |
| Production solver required | no |
| Historical reference compatible | yes |
| Evidence/source identifiers | aimora-reference:performance-realtime-hil, case-input:emt:performance-execution-modes, validation-command:performance-execution-modes |
make -C AIMORACases/examples/emt/performance_execution_modes runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_portable_snapshot_restart
Canonical portable_full capture, solver-free descriptor inspection, public-reference decoding, exact isolated split restart, and atomic corruption/identity refusal.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/portable_snapshot_restart/run.jl |
| Entrypoint | examples/emt/portable_snapshot_restart/run.jl |
| Result contract | portable_snapshot_restart |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:portable-snapshot-restart |
make -C AIMORACases/examples/emt/portable_snapshot_restart runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_realtime_cpu
Measured fixed-step CPU timing for the open inverter model without claiming hard real-time qualification.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/realtime_cpu/run.jl |
| Entrypoint | examples/emt/realtime_cpu/run.jl |
| Result contract | timing |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/realtime_cpu runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_realtime_loopback
Native-Linux absolute-clock fixed-step execution with an independently compiled AIMORA C controller, complete timing samples, independent closed-loop comparison, and explicit physical-HIL refusal.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/realtime_loopback/run.jl |
| Entrypoint | examples/emt/realtime_loopback/run.jl |
| Result contract | timing |
| Production solver required | no |
| Historical reference compatible | yes |
| Evidence/source identifiers | aimora-reference:performance-realtime-hil, case-input:emt:realtime-loopback, validation-command:realtime-hil-interfaces |
make -C AIMORACases/examples/emt/realtime_loopback runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_reduced_feeder_inverter
Reduced-feeder inverter operating-point sensitivity across load conductance and reactive-power commands.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/reduced_feeder_inverter/run.jl |
| Entrypoint | examples/emt/reduced_feeder_inverter/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/reduced_feeder_inverter runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_rlc_energization
Canonical source, series R-L, and shunt-C energization transient.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/rlc_energization/rlc_energization.deck |
| Entrypoint | examples/emt/rlc_energization/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/rlc_energization runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_signed_source_routing
Signed ordinary, type-17, and type-60 source routing through TACS feedback, switching, timestep mutation, and output.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/signed_source_routing/signed_source_routing.deck |
| Entrypoint | examples/emt/signed_source_routing/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | case-input:emt:signedsourcerouting, translation-packet:C308 |
make -C AIMORACases/examples/emt/signed_source_routing runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_single_phase_sine_source
Smallest nodal sinusoidal-source example with a resistive load and one voltage waveform.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/single_phase_sine_source/run.jl |
| Entrypoint | examples/emt/single_phase_sine_source/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/single_phase_sine_source runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_source_waveform_gallery
Sinusoid, cosine, DC, ramp, slope, impulse, and harmonic source functions plotted together.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/source_waveform_gallery/run.jl |
| Entrypoint | examples/emt/source_waveform_gallery/run.jl |
| Result contract | waveform |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/source_waveform_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_surge_insulation_platform
Five generic public surge and insulation products spanning three-pole interruption/restrike, an arrester-protected terminal, tower-line-ground backflash, GIS/GIL corona/leader response, and seeded insulation statistics.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/surge_insulation_platform/run.jl |
| Entrypoint | examples/emt/surge_insulation_platform/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:surge-insulation-platform, validation-suite:surge-insulation-platform |
make -C AIMORACases/examples/emt/surge_insulation_platform runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_switch_detailed_three_phase_vsc
Three-phase three-wire switch-detailed two-level IGBT VSC with a floating dynamic DC link, sampled current control, sinusoidal and centered-space-vector-equivalent carrier PWM formulations, filter/grid coupling, disturbances, protection, typed DC-to-AC energy, and harmonic outputs.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/switch_detailed_three_phase_vsc/run.jl |
| Entrypoint | examples/emt/switch_detailed_three_phase_vsc/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-test:switch-detailed-three-phase-vsc-public-model, validation-suite:switchdetailedthreephasevsc |
make -C AIMORACases/examples/emt/switch_detailed_three_phase_vsc runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_switch_type_gallery
Current-zero opening and type-76 time-controlled resistance switch waveforms.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/switch_type_gallery/current_zero.deck |
| Entrypoint | examples/emt/switch_type_gallery/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/switch_type_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_switching_ensemble
Deterministic sweep of breaker closing instants with schedule, extrema, and sensitivity results.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/switching_ensemble/run.jl |
| Entrypoint | examples/emt/switching_ensemble/run.jl |
| Result contract | ensemble_curve |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/switching_ensemble runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_switching_transient
Canonical timed-switch transient with compiled-reference coverage.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/switching_transient/switching_transient.deck |
| Entrypoint | examples/emt/switching_transient/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/switching_transient runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_tabulated_and_analytic_sources
Interpolated tabulated source data combined with an analytic ramp-then-slope signal.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/tabulated_and_analytic_sources/source_signals.csv |
| Entrypoint | examples/emt/tabulated_and_analytic_sources/run.jl |
| Result contract | waveform |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/tabulated_and_analytic_sources runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transformer_bctran
Three-phase three-winding BCTRAN-style nine-terminal product with complete coupled matrices, fixed-step event execution, energy/KCL, exact replay, report, and SVG.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transformer_bctran/run.jl |
| Entrypoint | examples/emt/transformer_bctran/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-transformer-reactor-hierarchy |
make -C AIMORACases/examples/emt/transformer_bctran runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transformer_grey_box
Physical thirty-two-node grey-box transformer ladder with internal-node KCL, fixed-step event execution, energy, exact replay, report, and SVG.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transformer_grey_box/run.jl |
| Entrypoint | examples/emt/transformer_grey_box/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-transformer-reactor-hierarchy |
make -C AIMORACases/examples/emt/transformer_grey_box runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transformer_hybrid
Hybrid leakage/capacitance/nonlinear-core transformer with coupled magnetic execution, topology event, energy/flux residuals, exact replay, report, and SVG.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transformer_hybrid/run.jl |
| Entrypoint | examples/emt/transformer_hybrid/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-transformer-reactor-hierarchy |
make -C AIMORACases/examples/emt/transformer_hybrid runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transformer_low_frequency
Coupled low-frequency terminal-matrix transformer with fixed-step network execution, one topology event, energy/KCL, typed result, exact checkpoint replay, report, and curated SVG.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transformer_low_frequency/run.jl |
| Entrypoint | examples/emt/transformer_low_frequency/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-transformer-reactor-hierarchy |
make -C AIMORACases/examples/emt/transformer_low_frequency runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transformer_magnetic_equivalent
Unified nonlinear magnetic-equivalent-circuit transformer with fixed-step coupled network execution, event, energy/flux residuals, exact replay, report, and SVG.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transformer_magnetic_equivalent/run.jl |
| Entrypoint | examples/emt/transformer_magnetic_equivalent/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-transformer-reactor-hierarchy |
make -C AIMORACases/examples/emt/transformer_magnetic_equivalent runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transformer_white_box
Geometry-owned four-winding eight-section white-box transformer with internal section execution, event, KCL/energy, exact replay, report, and SVG.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transformer_white_box/run.jl |
| Entrypoint | examples/emt/transformer_white_box/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-transformer-reactor-hierarchy |
make -C AIMORACases/examples/emt/transformer_white_box runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transformer_wideband_black_box
Passive twelve-port twenty-four-state wideband transformer with real rational-state execution, event, energy/passivity, exact replay, report, and SVG.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transformer_wideband_black_box/run.jl |
| Entrypoint | examples/emt/transformer_wideband_black_box/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:modern-transformer-reactor-hierarchy |
make -C AIMORACases/examples/emt/transformer_wideband_black_box runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_transmission_fault_switching
Three-phase transmission-line fault and breaker switching case.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/transmission_fault_switching/transmission_fault_switching.deck |
| Entrypoint | examples/emt/transmission_fault_switching/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/transmission_fault_switching runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_unified_emt
Compact high-level reduced-feeder and inverter configuration followed by one unified EMT run.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/unified_emt/run.jl |
| Entrypoint | examples/emt/unified_emt/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/unified_emt runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_universal_machine_type3
Universal-machine type-3 induction-machine initialization and coupled timestep case.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/universal_machine_type3/universal_machine_type3.deck |
| Entrypoint | examples/emt/universal_machine_type3/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/universal_machine_type3 runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_universal_machine_type_gallery
Twenty-nine Julia-executed universal/direct/detailed synchronous-machine decks plus a controlled comparison of equation-family types 1 through 12.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/universal_machine_type_gallery/run.jl |
| Entrypoint | examples/emt/universal_machine_type_gallery/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/emt/universal_machine_type_gallery runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_user_defined_components
Three external package-owned native Julia components coupled through explicit registration, inert Project declarations, the existing nonlinear and nodal solvers, exact sampled tasks, a localized directed event, typed outputs, reusable composition, and deterministic checkpoint restart.
| Property | Value |
|---|---|
| Study | emt |
| Primary input | examples/emt/user_defined_components/run.jl |
| Entrypoint | examples/emt/user_defined_components/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:emt:user-defined-components |
make -C AIMORACases/examples/emt/user_defined_components runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0004_500kv_line_constants
Classic 500 kV flat bundled-line geometry and 60 Hz line-constants calculation.
| Property | Value |
|---|---|
| Study | line_constants |
| Primary input | examples/classic_emtp/case0004_500kv_line_constants/case0004.deck |
| Entrypoint | examples/classic_emtp/case0004_500kv_line_constants/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0004_500kv_line_constants runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0005_345kv_double_circuit
Classic 345 kV double-circuit tower geometry with complete mutual coupling.
| Property | Value |
|---|---|
| Study | line_constants |
| Primary input | examples/classic_emtp/case0005_345kv_double_circuit/case0005.deck |
| Entrypoint | examples/classic_emtp/case0005_345kv_double_circuit/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0005_345kv_double_circuit runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
classic_case0006_230kv_high_frequency_line
Classic 230 kV conductor geometry evaluated at 500 kHz for fast-front studies.
| Property | Value |
|---|---|
| Study | line_constants |
| Primary input | examples/classic_emtp/case0006_230kv_high_frequency_line/case0006.deck |
| Entrypoint | examples/classic_emtp/case0006_230kv_high_frequency_line/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers | emtp-bpa-cpp-ca4339d |
make -C AIMORACases/examples/classic_emtp/case0006_230kv_high_frequency_line runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
line_constants_double_circuit
Double-circuit overhead-line constants case with physical geometry and Carson earth return.
| Property | Value |
|---|---|
| Study | line_constants |
| Primary input | examples/line_constants/double_circuit/double_circuit.deck |
| Entrypoint | examples/line_constants/double_circuit/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | yes |
| Evidence/source identifiers |
make -C AIMORACases/examples/line_constants/double_circuit runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
line_fitting_cable
Generic three-single-core cable segment prepared as a complete common-pole coupled terminal fit with bounded physical-domain passivity enforcement.
| Property | Value |
|---|---|
| Study | line_fitting |
| Primary input | examples/line_fitting/cable/run.jl |
| Entrypoint | examples/line_fitting/cable/run.jl |
| Result contract | frequency_fit |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:line-fitting:cable, aimora-reference:coupled-line-fitting-passivity, validation-suite:coupled-line-fitting-passivity |
make -C AIMORACases/examples/line_fitting/cable runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
line_fitting_mixed_route
Generic overhead/cable mixed route whose unlike uniform segments are fitted and continuously certified separately without a length-averaged propagation substitute.
| Property | Value |
|---|---|
| Study | line_fitting |
| Primary input | examples/line_fitting/mixed_route/run.jl |
| Entrypoint | examples/line_fitting/mixed_route/run.jl |
| Result contract | frequency_fit |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:line-fitting:mixed-route, aimora-reference:coupled-line-fitting-passivity, validation-suite:coupled-line-fitting-passivity |
make -C AIMORACases/examples/line_fitting/mixed_route runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
line_fitting_overhead
Generic three-phase overhead segment prepared as a complete common-pole coupled terminal fit with continuous global passivity certification and response, error, and passivity artifacts.
| Property | Value |
|---|---|
| Study | line_fitting |
| Primary input | examples/line_fitting/overhead/run.jl |
| Entrypoint | examples/line_fitting/overhead/run.jl |
| Result contract | frequency_fit |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:line-fitting:overhead, aimora-reference:coupled-line-fitting-passivity, validation-suite:coupled-line-fitting-passivity |
make -C AIMORACases/examples/line_fitting/overhead runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
line_parameters_cable
Generic three-single-core cable wideband Z and Y derivation with typed material and soil data, diagnostics, interchange, report, matrix data, and SVG frequency plot.
| Property | Value |
|---|---|
| Study | line_parameters |
| Primary input | examples/line_parameters/cable/run.jl |
| Entrypoint | examples/line_parameters/cable/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:line-parameters:cable, aimora-reference:wideband-line-parameters, validation-suite:wideband-line-parameters |
make -C AIMORACases/examples/line_parameters/cable runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
line_parameters_mixed_route
Generic overhead and phase-mapped cable route over two-layer soil with route-integrated matrices, typed provenance, diagnostics, interchange, report, and SVG frequency plot.
| Property | Value |
|---|---|
| Study | line_parameters |
| Primary input | examples/line_parameters/mixed_route/run.jl |
| Entrypoint | examples/line_parameters/mixed_route/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:line-parameters:mixed-route, aimora-reference:wideband-line-parameters, validation-suite:wideband-line-parameters |
make -C AIMORACases/examples/line_parameters/mixed_route runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
line_parameters_overhead
Generic wideband overhead-line Z and Y derivation with homogeneous soil, typed provenance, physical diagnostics, interchange, report, matrix data, and SVG frequency plot.
| Property | Value |
|---|---|
| Study | line_parameters |
| Primary input | examples/line_parameters/overhead/run.jl |
| Entrypoint | examples/line_parameters/overhead/run.jl |
| Result contract | frequency_scan |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | case-input:line-parameters:overhead, aimora-reference:wideband-line-parameters, validation-suite:wideband-line-parameters |
make -C AIMORACases/examples/line_parameters/overhead runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
emt_generic_protection_products
Five generic fixed-step protection products spanning radial overcurrent/earth fault, directional-distance line, transformer/bus differential, machine/converter frequency-ROCOF, and DC differential/overcurrent through exact task logic and real three-pole EMT breaker contacts.
| Property | Value |
|---|---|
| Study | protection |
| Primary input | examples/emt/generic_protection_products/run.jl |
| Entrypoint | examples/emt/generic_protection_products/run.jl |
| Result contract | waveform |
| Production solver required | yes |
| Historical reference compatible | no |
| Evidence/source identifiers | aimora-reference:generic-protection-products, validation-suite:emt-protection-breaker |
make -C AIMORACases/examples/emt/generic_protection_products runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
transformer_parameters_multiphase_sequence_tests
BCTRAN-style positive- and zero-sequence test conversion to a full three-phase terminal representation.
| Property | Value |
|---|---|
| Study | transformer_parameters |
| Primary input | examples/transformer_parameters/multiphase_sequence_tests/run.jl |
| Entrypoint | examples/transformer_parameters/multiphase_sequence_tests/run.jl |
| Result contract | matrix |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/transformer_parameters/multiphase_sequence_tests runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
transformer_parameters_saturable_two_winding
Typed winding and magnetizing data converted to passive branch matrices for a saturable transformer.
| Property | Value |
|---|---|
| Study | transformer_parameters |
| Primary input | examples/transformer_parameters/saturable_two_winding/run.jl |
| Entrypoint | examples/transformer_parameters/saturable_two_winding/run.jl |
| Result contract | matrix |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/transformer_parameters/saturable_two_winding runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.
transformer_parameters_two_winding_short_circuit
Two-winding short-circuit test conversion to impedance, admittance, and generated branch parameters.
| Property | Value |
|---|---|
| Study | transformer_parameters |
| Primary input | examples/transformer_parameters/two_winding_short_circuit/run.jl |
| Entrypoint | examples/transformer_parameters/two_winding_short_circuit/run.jl |
| Result contract | matrix |
| Production solver required | no |
| Historical reference compatible | no |
| Evidence/source identifiers |
make -C AIMORACases/examples/transformer_parameters/two_winding_short_circuit runInterpretation: relate the generated quantities and plots to the stated phenomenon above. Do not infer accuracy from visual plausibility alone.
Acceptance: execution must complete deterministically; declared outputs must be present; warnings must be reviewed; and the case-specific numerical, event, conservation, passivity, or restart checks must pass.