openjdk version "21.0.11" 2026-04-21 LTS
OpenJDK Runtime Environment Corretto-21.0.11.10.1 (build 21.0.11+10-LTS)
OpenJDK 64-Bit Server VM Corretto-21.0.11.10.1 (build 21.0.11+10-LTS, mixed mode, sharing)
Traceback (most recent call last):
  File "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/software-modeling/labs/E10/check.py", line 31, in <module>
    assert scenario["concern"] in capability_evidence, "capability has no verified runtime evidence"
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: capability has no verified runtime evidence
