More types and units

BEdit/AGENTS.md

@@ -60,6 +60,10 @@ Keep the root of `src/bedit` minimal. New UI modules should go into the relevant
   indexes inputs and outputs separately for connection semantics.
 - Port types are registered in `core/port_types.py`. Only compatible types may be
   connected. `signal` is currently the only type.
+- Port connector type and signal value type are separate. Signal ports and
+  parameters carry editable value type, quantity, unit, row/column dimensions,
+  and description metadata. Editable quantity/unit suggestions live in
+  `core/physical_types.py`; unlisted values remain valid.
 - Port removal or reorientation must be rejected when it would invalidate an
   existing connection.
 - Connections reference port IDs, never port names.
@@ -168,6 +172,15 @@ Keep the root of `src/bedit` minimal. New UI modules should go into the relevant
   `simulation/openModelicaPath`. The GUI passes it into `Simulation`; core must
   not read `QSettings`. An empty path uses OMPython/PATH discovery, while an
   explicit `.../bin/omc` path is converted to the OpenModelica home directory.
+- Builds enable OpenModelica's `--unitChecking`. Completed simulation results
+  read per-column units from OMC's generated `<model>_init.xml`; BEdit must not
+  infer derivative units itself. This metadata is serialized with `.ber`/JSON
+  results and displayed by the simulation signal tree and plots.
+- Result loading restores variables marked `alias` or `negatedAlias` in OMC's
+  initialization XML. Values come from OMC's result representative or a fixed
+  parameter/constant start value; BEdit does not infer aliases from graph edges.
+- Compile requests call OMC `checkModel` before `buildModel` and log OMC's check
+  summary verbatim through the application-wide logger.
 
 ## Qt Designer and generated files