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

StudyCases
cable_constants2
core1
emt93
line_constants4
line_fitting3
line_parameters3
protection1
transformer_parameters3

Standard execution and review

From the Resources repository root, run a case through its local Makefile:

make -C AIMORACases/<case-directory> run

Review 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.

Type-2 and type-3 cable configurations with one/two layers and centred/off-centre pipe geometry.

PropertyValue
Studycable_constants
Primary inputexamples/cable_constants/cable_geometry_gallery/type2_one_layer.deck
Entrypointexamples/cable_constants/cable_geometry_gallery/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/cable_constants/cable_geometry_gallery run

Interpretation: 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.

PropertyValue
Studycable_constants
Primary inputexamples/cable_constants/three_phase_single_layer/three_phase_single_layer.deck
Entrypointexamples/cable_constants/three_phase_single_layer/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/cable_constants/three_phase_single_layer run

Interpretation: 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.

PropertyValue
Studycore
Primary inputexamples/core/study_catalog_and_scenario/run.jl
Entrypointexamples/core/study_catalog_and_scenario/run.jl
Result contractcatalog
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/core/study_catalog_and_scenario run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0001_series_rlc_step/case0001.deck
Entrypointexamples/classic_emtp/case0001_series_rlc_step/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0001_series_rlc_step run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0002_parallel_rlc_discharge/case0002.deck
Entrypointexamples/classic_emtp/case0002_parallel_rlc_discharge/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0002_parallel_rlc_discharge run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0003_atpdraw_rlc/case0003.deck
Entrypointexamples/classic_emtp/case0003_atpdraw_rlc/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0003_atpdraw_rlc run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0007_capacitor_bank_recovery_voltage/case0007.deck
Entrypointexamples/classic_emtp/case0007_capacitor_bank_recovery_voltage/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0007_capacitor_bank_recovery_voltage run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0008_back_to_back_capacitor_banks/case0008.deck
Entrypointexamples/classic_emtp/case0008_back_to_back_capacitor_banks/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0008_back_to_back_capacitor_banks run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0009_capacitor_restrike/case0009.deck
Entrypointexamples/classic_emtp/case0009_capacitor_restrike/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0009_capacitor_restrike run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0010_parallel_ehv_resonance/case0010.deck
Entrypointexamples/classic_emtp/case0010_parallel_ehv_resonance/run.jl
Result contractphasors
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0010_parallel_ehv_resonance run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0011_transmission_line_reclosing/case0011.deck
Entrypointexamples/classic_emtp/case0011_transmission_line_reclosing/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0011_transmission_line_reclosing run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0012_lightning_tower_surge/case0012.deck
Entrypointexamples/classic_emtp/case0012_lightning_tower_surge/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0012_lightning_tower_surge run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0013_potential_transformer_ferroresonance/case0013.deck
Entrypointexamples/classic_emtp/case0013_potential_transformer_ferroresonance/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0013_potential_transformer_ferroresonance run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0014_subsynchronous_resonance/case0014.deck
Entrypointexamples/classic_emtp/case0014_subsynchronous_resonance/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0014_subsynchronous_resonance run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0015_universal_induction_machine/case0015.deck
Entrypointexamples/classic_emtp/case0015_universal_induction_machine/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0015_universal_induction_machine run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/classic_emtp/case0050_tacs_thyristor_control/case0050.deck
Entrypointexamples/classic_emtp/case0050_tacs_thyristor_control/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0050_tacs_thyristor_control run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/line_runtime/cable/run.jl
Entrypointexamples/line_runtime/cable/run.jl
Result contracttime_series
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:coupled-line-runtime:cable, aimora-reference:coupled-line-runtime, validation-suite:coupled-line-runtime
make -C AIMORACases/examples/line_runtime/cable run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/line_runtime/mixed_route/run.jl
Entrypointexamples/line_runtime/mixed_route/run.jl
Result contracttime_series
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:coupled-line-runtime:mixed-route, aimora-reference:coupled-line-runtime, validation-suite:coupled-line-runtime
make -C AIMORACases/examples/line_runtime/mixed_route run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/line_runtime/overhead/run.jl
Entrypointexamples/line_runtime/overhead/run.jl
Result contracttime_series
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:coupled-line-runtime:overhead, aimora-reference:coupled-line-runtime, validation-suite:coupled-line-runtime
make -C AIMORACases/examples/line_runtime/overhead run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/active_negative_resistance_rl/active_negative_resistance_rl.deck
Entrypointexamples/emt/active_negative_resistance_rl/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifierscase-input:emt:activenegativeresistance_rl, translation-packet:C311
make -C AIMORACases/examples/emt/active_negative_resistance_rl run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/balanced_three_phase_sine/run.jl
Entrypointexamples/emt/balanced_three_phase_sine/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/balanced_three_phase_sine run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/checkpoint_restart/run.jl
Entrypointexamples/emt/checkpoint_restart/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/checkpoint_restart run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/complementary_bridge_commutation/run.jl
Entrypointexamples/emt/complementary_bridge_commutation/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-test:complementary-power-semiconductor-bridge-public-contract
make -C AIMORACases/examples/emt/complementary_bridge_commutation run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/consistent_initialization/consistent_initialization_sequence.deck
Entrypointexamples/emt/consistent_initialization/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:emt:consistentinitializationsequence
make -C AIMORACases/examples/emt/consistent_initialization run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/control_network_feedback/control_network_feedback.deck
Entrypointexamples/emt/control_network_feedback/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/control_network_feedback run

Interpretation: 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.

Four-phase coupled R-L, coupled R-L COPY, and distributed-line COPY execution with independent histories.

PropertyValue
Studyemt
Primary inputexamples/emt/coupled_network_copy_gallery/four_phase_coupled_rl.deck
Entrypointexamples/emt/coupled_network_copy_gallery/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifierscase-input:emt:fourphasecoupledrl, case-input:emt:coupledrlcopy, case-input:emt:distributedline_copy, translation-packet:C309
make -C AIMORACases/examples/emt/coupled_network_copy_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/dassl_class_variable_step/run.jl
Entrypointexamples/emt/dassl_class_variable_step/run.jl
Result contractvariable_step_dae_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-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 run

Interpretation: 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.

Fixed- and free-field two-card type-16 DC-simulator sources with generated topology and initialized control state.

PropertyValue
Studyemt
Primary inputexamples/emt/dc_simulator_type16_gallery/fixed_field_type16.deck
Entrypointexamples/emt/dc_simulator_type16_gallery/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifierscase-input:emt:dcsimulatortype16fixedfield, case-input:emt:dcsimulatortype16freefield
make -C AIMORACases/examples/emt/dc_simulator_type16_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/extended_converter_systems/run.jl
Entrypointexamples/emt/extended_converter_systems/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-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 run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/extended_semiconductor_commutation/run.jl
Entrypointexamples/emt/extended_semiconductor_commutation/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:generic-extended-semiconductor-fidelity
make -C AIMORACases/examples/emt/extended_semiconductor_commutation run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/extended_vsc_droop/run.jl
Entrypointexamples/emt/extended_vsc_droop/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-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 run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/extended_vsc_pll_dq/run.jl
Entrypointexamples/emt/extended_vsc_pll_dq/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-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 run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/extended_vsc_pr/run.jl
Entrypointexamples/emt/extended_vsc_pr/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-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 run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/extended_vsc_virtual_synchronous/run.jl
Entrypointexamples/emt/extended_vsc_virtual_synchronous/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-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 run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/external_three_bus_unbalanced/three_bus_unbalanced.deck
Entrypointexamples/emt/external_three_bus_unbalanced/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/external_three_bus_unbalanced run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/fault_equivalent_fitting/run.jl
Entrypointexamples/emt/fault_equivalent_fitting/run.jl
Result contractfit_curve
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/fault_equivalent_fitting run

Interpretation: 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.

Seventeen FIX SOURCE load-flow variants spanning scalar/coupled networks, switches, and induction, synchronous, and DC-machine boundaries.

PropertyValue
Studyemt
Primary inputexamples/emt/fixed_source_load_flow_gallery/decks/fix_source_angle_q.deck
Entrypointexamples/emt/fixed_source_load_flow_gallery/run.jl
Result contractphasors
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/fixed_source_load_flow_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/frequency_dependent_line/run.jl
Entrypointexamples/emt/frequency_dependent_line/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/frequency_dependent_line run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/general_multirate_task_platform/run.jl
Entrypointexamples/emt/general_multirate_task_platform/run.jl
Result contracttask_trace
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:emt:general-multirate-task-platform, validation-suite:general-multirate-task-platform
make -C AIMORACases/examples/emt/general_multirate_task_platform run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/generated_ieee13_deck/ieee13_minimum_core.deck
Entrypointexamples/emt/generated_ieee13_deck/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/generated_ieee13_deck run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/generic_bridge_topology_library/run.jl
Entrypointexamples/emt/generic_bridge_topology_library/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-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 run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/hysteretic_inductor_runtime/hysteretic_inductor_runtime.deck
Entrypointexamples/emt/hysteretic_inductor_runtime/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/hysteretic_inductor_runtime run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/ideal_transformer_type18/ideal_transformer_type18.deck
Entrypointexamples/emt/ideal_transformer_type18/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/ideal_transformer_type18 run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/inverter/run.jl
Entrypointexamples/emt/inverter/run.jl
Result contractwaveform
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/inverter run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/line_models/run.jl
Entrypointexamples/emt/line_models/run.jl
Result contractwaveform
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/line_models run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/local_multirate_partitioned_network/run.jl
Entrypointexamples/emt/local_multirate_partitioned_network/run.jl
Result contractpartition_interface_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:emt:local-multirate-partitioned-network, validation-suite:local-multirate-partitioned-emt
make -C AIMORACases/examples/emt/local_multirate_partitioned_network run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_cage_induction/run.jl
Entrypointexamples/emt/machine_cage_induction/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-machine-families
make -C AIMORACases/examples/emt/machine_cage_induction run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_deep_bar_induction/run.jl
Entrypointexamples/emt/machine_deep_bar_induction/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-machine-families
make -C AIMORACases/examples/emt/machine_deep_bar_induction run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_doubly_fed_induction/run.jl
Entrypointexamples/emt/machine_doubly_fed_induction/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-machine-families
make -C AIMORACases/examples/emt/machine_doubly_fed_induction run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_multimass_controls/run.jl
Entrypointexamples/emt/machine_multimass_controls/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-machine-families
make -C AIMORACases/examples/emt/machine_multimass_controls run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_permanent_magnet/run.jl
Entrypointexamples/emt/machine_permanent_magnet/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-machine-families
make -C AIMORACases/examples/emt/machine_permanent_magnet run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_synchronous_condenser/run.jl
Entrypointexamples/emt/machine_synchronous_condenser/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-machine-families
make -C AIMORACases/examples/emt/machine_synchronous_condenser run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_tacs_interface/run.jl
Entrypointexamples/emt/machine_tacs_interface/run.jl
Result contractwaveform
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/machine_tacs_interface run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/machine_wound_field_synchronous/run.jl
Entrypointexamples/emt/machine_wound_field_synchronous/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-machine-families
make -C AIMORACases/examples/emt/machine_wound_field_synchronous run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/emt_measurement_cvt_transient/run.jl
Entrypointexamples/emt/emt_measurement_cvt_transient/run.jl
Result contractmeasurement_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:emt-measurement-chains
make -C AIMORACases/examples/emt/emt_measurement_cvt_transient run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/emt_measurement_electronic_current/run.jl
Entrypointexamples/emt/emt_measurement_electronic_current/run.jl
Result contractmeasurement_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:emt-measurement-chains
make -C AIMORACases/examples/emt/emt_measurement_electronic_current run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/emt_measurement_electronic_voltage/run.jl
Entrypointexamples/emt/emt_measurement_electronic_voltage/run.jl
Result contractmeasurement_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:emt-measurement-chains
make -C AIMORACases/examples/emt/emt_measurement_electronic_voltage run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/emt_measurement_inductive_vt/run.jl
Entrypointexamples/emt/emt_measurement_inductive_vt/run.jl
Result contractmeasurement_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:emt-measurement-chains
make -C AIMORACases/examples/emt/emt_measurement_inductive_vt run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/emt_measurement_linear_ct/run.jl
Entrypointexamples/emt/emt_measurement_linear_ct/run.jl
Result contractmeasurement_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:emt-measurement-chains
make -C AIMORACases/examples/emt/emt_measurement_linear_ct run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/emt_measurement_saturating_ct/run.jl
Entrypointexamples/emt/emt_measurement_saturating_ct/run.jl
Result contractmeasurement_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:emt-measurement-chains
make -C AIMORACases/examples/emt/emt_measurement_saturating_ct run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/emt_measurement_three_phase_chain/run.jl
Entrypointexamples/emt/emt_measurement_three_phase_chain/run.jl
Result contractmeasurement_waveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:emt-measurement-chains
make -C AIMORACases/examples/emt/emt_measurement_three_phase_chain run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/mixed_frequency_subnetworks/mixed_frequency_subnetworks.deck
Entrypointexamples/emt/mixed_frequency_subnetworks/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/mixed_frequency_subnetworks run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/multi_case_sequence/run.jl
Entrypointexamples/emt/multi_case_sequence/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/multi_case_sequence run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/multirate_sampled_pwm/run.jl
Entrypointexamples/emt/multirate_sampled_pwm/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersvalidation-suite:modernemthybrid_execution
make -C AIMORACases/examples/emt/multirate_sampled_pwm run

Interpretation: 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.

Saturation, hysteresis, and zinc-oxide characteristic preparation with physical curve plots.

PropertyValue
Studyemt
Primary inputexamples/emt/nonlinear_characteristic_gallery/run.jl
Entrypointexamples/emt/nonlinear_characteristic_gallery/run.jl
Result contractcharacteristic_curves
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/nonlinear_characteristic_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/nonlinear_controls/run.jl
Entrypointexamples/emt/nonlinear_controls/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/nonlinear_controls run

Interpretation: 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.

NONLIN owner-name binding and standalone type-98 pseudo-nonlinear-inductor sparse/timestep execution.

PropertyValue
Studyemt
Primary inputexamples/emt/nonlinear_identity_type98_gallery/named_type96_hysteretic.deck
Entrypointexamples/emt/nonlinear_identity_type98_gallery/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifierscase-input:emt:namedtype96hysteretic, case-input:emt:type98pseudononlinear_inductor, translation-packet:C310
make -C AIMORACases/examples/emt/nonlinear_identity_type98_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/nonlinear_network_discontinuity/run.jl
Entrypointexamples/emt/nonlinear_network_discontinuity/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:emt:nonlinear-network-discontinuity
make -C AIMORACases/examples/emt/nonlinear_network_discontinuity run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/parsed_deck_trace/run.jl
Entrypointexamples/emt/parsed_deck_trace/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/parsed_deck_trace run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/performance_execution_modes/run.jl
Entrypointexamples/emt/performance_execution_modes/run.jl
Result contractperformance
Production solver requiredno
Historical reference compatibleyes
Evidence/source identifiersaimora-reference:performance-realtime-hil, case-input:emt:performance-execution-modes, validation-command:performance-execution-modes
make -C AIMORACases/examples/emt/performance_execution_modes run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/portable_snapshot_restart/run.jl
Entrypointexamples/emt/portable_snapshot_restart/run.jl
Result contractportable_snapshot_restart
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:emt:portable-snapshot-restart
make -C AIMORACases/examples/emt/portable_snapshot_restart run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/realtime_cpu/run.jl
Entrypointexamples/emt/realtime_cpu/run.jl
Result contracttiming
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/realtime_cpu run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/realtime_loopback/run.jl
Entrypointexamples/emt/realtime_loopback/run.jl
Result contracttiming
Production solver requiredno
Historical reference compatibleyes
Evidence/source identifiersaimora-reference:performance-realtime-hil, case-input:emt:realtime-loopback, validation-command:realtime-hil-interfaces
make -C AIMORACases/examples/emt/realtime_loopback run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/reduced_feeder_inverter/run.jl
Entrypointexamples/emt/reduced_feeder_inverter/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/reduced_feeder_inverter run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/rlc_energization/rlc_energization.deck
Entrypointexamples/emt/rlc_energization/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/rlc_energization run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/signed_source_routing/signed_source_routing.deck
Entrypointexamples/emt/signed_source_routing/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifierscase-input:emt:signedsourcerouting, translation-packet:C308
make -C AIMORACases/examples/emt/signed_source_routing run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/single_phase_sine_source/run.jl
Entrypointexamples/emt/single_phase_sine_source/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/single_phase_sine_source run

Interpretation: 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.

Sinusoid, cosine, DC, ramp, slope, impulse, and harmonic source functions plotted together.

PropertyValue
Studyemt
Primary inputexamples/emt/source_waveform_gallery/run.jl
Entrypointexamples/emt/source_waveform_gallery/run.jl
Result contractwaveform
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/source_waveform_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/surge_insulation_platform/run.jl
Entrypointexamples/emt/surge_insulation_platform/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:surge-insulation-platform, validation-suite:surge-insulation-platform
make -C AIMORACases/examples/emt/surge_insulation_platform run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/switch_detailed_three_phase_vsc/run.jl
Entrypointexamples/emt/switch_detailed_three_phase_vsc/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-test:switch-detailed-three-phase-vsc-public-model, validation-suite:switchdetailedthreephasevsc
make -C AIMORACases/examples/emt/switch_detailed_three_phase_vsc run

Interpretation: 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.

Current-zero opening and type-76 time-controlled resistance switch waveforms.

PropertyValue
Studyemt
Primary inputexamples/emt/switch_type_gallery/current_zero.deck
Entrypointexamples/emt/switch_type_gallery/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/switch_type_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/switching_ensemble/run.jl
Entrypointexamples/emt/switching_ensemble/run.jl
Result contractensemble_curve
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/switching_ensemble run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/switching_transient/switching_transient.deck
Entrypointexamples/emt/switching_transient/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/switching_transient run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/tabulated_and_analytic_sources/source_signals.csv
Entrypointexamples/emt/tabulated_and_analytic_sources/run.jl
Result contractwaveform
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/tabulated_and_analytic_sources run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transformer_bctran/run.jl
Entrypointexamples/emt/transformer_bctran/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-transformer-reactor-hierarchy
make -C AIMORACases/examples/emt/transformer_bctran run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transformer_grey_box/run.jl
Entrypointexamples/emt/transformer_grey_box/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-transformer-reactor-hierarchy
make -C AIMORACases/examples/emt/transformer_grey_box run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transformer_hybrid/run.jl
Entrypointexamples/emt/transformer_hybrid/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-transformer-reactor-hierarchy
make -C AIMORACases/examples/emt/transformer_hybrid run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transformer_low_frequency/run.jl
Entrypointexamples/emt/transformer_low_frequency/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-transformer-reactor-hierarchy
make -C AIMORACases/examples/emt/transformer_low_frequency run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transformer_magnetic_equivalent/run.jl
Entrypointexamples/emt/transformer_magnetic_equivalent/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-transformer-reactor-hierarchy
make -C AIMORACases/examples/emt/transformer_magnetic_equivalent run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transformer_white_box/run.jl
Entrypointexamples/emt/transformer_white_box/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-transformer-reactor-hierarchy
make -C AIMORACases/examples/emt/transformer_white_box run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transformer_wideband_black_box/run.jl
Entrypointexamples/emt/transformer_wideband_black_box/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:modern-transformer-reactor-hierarchy
make -C AIMORACases/examples/emt/transformer_wideband_black_box run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/transmission_fault_switching/transmission_fault_switching.deck
Entrypointexamples/emt/transmission_fault_switching/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/transmission_fault_switching run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/unified_emt/run.jl
Entrypointexamples/emt/unified_emt/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/unified_emt run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/universal_machine_type3/universal_machine_type3.deck
Entrypointexamples/emt/universal_machine_type3/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/emt/universal_machine_type3 run

Interpretation: 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.

Twenty-nine Julia-executed universal/direct/detailed synchronous-machine decks plus a controlled comparison of equation-family types 1 through 12.

PropertyValue
Studyemt
Primary inputexamples/emt/universal_machine_type_gallery/run.jl
Entrypointexamples/emt/universal_machine_type_gallery/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/emt/universal_machine_type_gallery run

Interpretation: 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.

PropertyValue
Studyemt
Primary inputexamples/emt/user_defined_components/run.jl
Entrypointexamples/emt/user_defined_components/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:emt:user-defined-components
make -C AIMORACases/examples/emt/user_defined_components run

Interpretation: 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.

PropertyValue
Studyline_constants
Primary inputexamples/classic_emtp/case0004_500kv_line_constants/case0004.deck
Entrypointexamples/classic_emtp/case0004_500kv_line_constants/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0004_500kv_line_constants run

Interpretation: 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.

PropertyValue
Studyline_constants
Primary inputexamples/classic_emtp/case0005_345kv_double_circuit/case0005.deck
Entrypointexamples/classic_emtp/case0005_345kv_double_circuit/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0005_345kv_double_circuit run

Interpretation: 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.

PropertyValue
Studyline_constants
Primary inputexamples/classic_emtp/case0006_230kv_high_frequency_line/case0006.deck
Entrypointexamples/classic_emtp/case0006_230kv_high_frequency_line/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiersemtp-bpa-cpp-ca4339d
make -C AIMORACases/examples/classic_emtp/case0006_230kv_high_frequency_line run

Interpretation: 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.

PropertyValue
Studyline_constants
Primary inputexamples/line_constants/double_circuit/double_circuit.deck
Entrypointexamples/line_constants/double_circuit/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleyes
Evidence/source identifiers
make -C AIMORACases/examples/line_constants/double_circuit run

Interpretation: 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.

PropertyValue
Studyline_fitting
Primary inputexamples/line_fitting/cable/run.jl
Entrypointexamples/line_fitting/cable/run.jl
Result contractfrequency_fit
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:line-fitting:cable, aimora-reference:coupled-line-fitting-passivity, validation-suite:coupled-line-fitting-passivity
make -C AIMORACases/examples/line_fitting/cable run

Interpretation: 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.

PropertyValue
Studyline_fitting
Primary inputexamples/line_fitting/mixed_route/run.jl
Entrypointexamples/line_fitting/mixed_route/run.jl
Result contractfrequency_fit
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-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 run

Interpretation: 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.

PropertyValue
Studyline_fitting
Primary inputexamples/line_fitting/overhead/run.jl
Entrypointexamples/line_fitting/overhead/run.jl
Result contractfrequency_fit
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:line-fitting:overhead, aimora-reference:coupled-line-fitting-passivity, validation-suite:coupled-line-fitting-passivity
make -C AIMORACases/examples/line_fitting/overhead run

Interpretation: 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.

PropertyValue
Studyline_parameters
Primary inputexamples/line_parameters/cable/run.jl
Entrypointexamples/line_parameters/cable/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:line-parameters:cable, aimora-reference:wideband-line-parameters, validation-suite:wideband-line-parameters
make -C AIMORACases/examples/line_parameters/cable run

Interpretation: 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.

PropertyValue
Studyline_parameters
Primary inputexamples/line_parameters/mixed_route/run.jl
Entrypointexamples/line_parameters/mixed_route/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:line-parameters:mixed-route, aimora-reference:wideband-line-parameters, validation-suite:wideband-line-parameters
make -C AIMORACases/examples/line_parameters/mixed_route run

Interpretation: 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.

PropertyValue
Studyline_parameters
Primary inputexamples/line_parameters/overhead/run.jl
Entrypointexamples/line_parameters/overhead/run.jl
Result contractfrequency_scan
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifierscase-input:line-parameters:overhead, aimora-reference:wideband-line-parameters, validation-suite:wideband-line-parameters
make -C AIMORACases/examples/line_parameters/overhead run

Interpretation: 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.

PropertyValue
Studyprotection
Primary inputexamples/emt/generic_protection_products/run.jl
Entrypointexamples/emt/generic_protection_products/run.jl
Result contractwaveform
Production solver requiredyes
Historical reference compatibleno
Evidence/source identifiersaimora-reference:generic-protection-products, validation-suite:emt-protection-breaker
make -C AIMORACases/examples/emt/generic_protection_products run

Interpretation: 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.

PropertyValue
Studytransformer_parameters
Primary inputexamples/transformer_parameters/multiphase_sequence_tests/run.jl
Entrypointexamples/transformer_parameters/multiphase_sequence_tests/run.jl
Result contractmatrix
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/transformer_parameters/multiphase_sequence_tests run

Interpretation: 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.

PropertyValue
Studytransformer_parameters
Primary inputexamples/transformer_parameters/saturable_two_winding/run.jl
Entrypointexamples/transformer_parameters/saturable_two_winding/run.jl
Result contractmatrix
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/transformer_parameters/saturable_two_winding run

Interpretation: 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.

PropertyValue
Studytransformer_parameters
Primary inputexamples/transformer_parameters/two_winding_short_circuit/run.jl
Entrypointexamples/transformer_parameters/two_winding_short_circuit/run.jl
Result contractmatrix
Production solver requiredno
Historical reference compatibleno
Evidence/source identifiers
make -C AIMORACases/examples/transformer_parameters/two_winding_short_circuit run

Interpretation: 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.