[nkoukpaizan]

Description

This validates IDs in PhasorDynamics models.

Proposed changes

• Added SystemModel::verify() that reports every repeated bus number, signal ID, device ID per class, and subsystem ID. The top system walks its tree once, so subsystems don't repeat the check.
• Updated INPUT_FORMAT.md accordingly.

Checklist

• All tests pass.
• Code compiles cleanly with flags -Wall -Wpedantic -Wconversion -Wextra.
• The new code follows GridKit™ style guidelines.
• There are unit tests for the new code.
• The new code is documented.
• The feature branch is rebased with respect to the target branch.
• The CHANGELOG.md has been updated to reflect the changes. If this is a minor PR that is part of a larger fix already included in the file, state so.

Further comments

The checks live in verify() rather than in separate per-level checks, so one call reports all problems together. They use temporary std::sets, one insert per ID, so the cost is $N \times log N$ in the number of IDs. Validating per subsystem would scale as $N \times S \times log(N/S)$.

Draft until we merge #644, and I'll change the base to develop.

[read-the-docs-community]

Documentation build overview

📚 GridKit | 🛠️ Build #35656025 | 📁 Comparing 6805dc0 against latest (c878731)

  🔍 Preview build  

15 files changed · ± 15 modified

± Modified

• genindex.html
• development/CHANGELOG.html
• api/reference/classGridKit_1_1PhasorDynamics_1_1SignalNodeSet.html
• api/reference/file_GridKit_AutomaticDifferentiation_DependencyTracking_VariableOperators.hpp.html
• api/reference/file_GridKit_Model_OptimalPowerFlow_SystemModelData.hpp.html
• api/reference/file_GridKit_Model_OptimalPowerFlow_SystemModelDataJSONParser.hpp.html
• api/reference/file_GridKit_Model_PhasorDynamics_SignalNode_SignalNodeSet.hpp.html
• api/reference/file_GridKit_Model_PhasorDynamics_SystemModelData.hpp.html
• api/reference/file_GridKit_Testing_Testing.hpp.html
• api/reference/file_GridKit_Utilities_Logger_Logger.hpp.html
• and 5 more...