Worked through checklists and evidences for TT-EXPECTATIONS by Erikhu1 · Pull Request #24 · score-json/nlohmann_json

Erikhu1 · 2025-12-03T10:42:51Z

Worked through and filled out checklists and evidences for all TAs associated with TT-Expectations:

coveralls · 2025-12-03T11:32:34Z

coverage: 99.186%. remained the same
when pulling 8339e5d on LucaFgr-Complete_TT_EXPECTATIONS_CONTEXT_rebased
into 2ddacb3 on main.

.github/workflows/coverage_gate.yml

TSF/trustable/statements/JLS-54.md

TSF/trustable/statements/JLS-56.md

TSF/trustable/assertions/TA-BEHAVIOURS_CONTEXT.md

Erikhu1 · 2026-01-07T14:03:55Z

TSF/trustable/assertions/TA-BEHAVIOURS_CONTEXT.md

+  - **Answer**: The nlohmann/json library does not have any external dependencies apart from the testing pipeline, so there are no dependencies that could possibly affect the Expectations. 
 - Are input analysis findings from components, tools, and data considered in relation to Expectations?
-  - **Answer**: 
+  - **Answer**: For components, there is no input analysis as the nlohmann/json library has no external components (see JLS-34). For Tools, a tool assessment is provided via JLS-50. In addition, the only data provided to the nlohmann/json library is the input data when using the libraries' functionality.


Please consider the test data

I don't see it? You mentioned input data (the input data which gets converted to JSON etc), but not the test data. See link in above comment.

forgot to push, should now be there.

TSF/trustable/assertions/TA-BEHAVIOURS_CONTEXT.md

TSF/trustable/assertions/TA-CONSTRAINTS_CONTEXT.md

TSF/trustable/statements/JLS-54.md

TSF/trustable/statements/JLS-55.md

TSF/trustable/statements/JLS-69.md

TSF/trustable/statements/JLS-72.md

… documentation.

…in the risk_analysis.

…AFIA STPA procedure.

… in line with the STPA review guide.

…der of STPA results schema in TSF documentation.

…oller Constraints for risk_analysis to fulfill STPA review requirements.

…analysis

…_analysis

Source: score-json/nlohmann_json PR #24 (Worked through checklists and evidences for TT-EXPECTATIONS).

Source PR: #24 This commit ports the PR #24 content as a single upstream-based changeset to keep a clean merge-base/diff against eclipse-score/main. Combined original commits (from backup/old-ThomasClausnitzer-merge_to_prod): - 18e1f0d Halnasri resolve tt confidence feedback (#21) - caefeae Resolve TT-CONSTRUCTION Feedback (#23) - 28c4ccc Erikhu1 add missing links (#25) - 748b55a Resolve TT-PROVENANCE Feedback (#14) - df946d2 halnasri-Revisit TT-RESULTS (#17) - 6ec3d20 added TA-Releases -> JLS-53 link (#27) - ad3d3e9 Erikhu1 sync with prod (#31) - 2ddacb3 Removed multiple validators from statements by splitting them up (#35) - 849f855 Erikhu1 sync with prod (#38) - 8f0d8cd Resolve TA-Analysis comments (#39) - afccbfb started with TA-Misbehaviours - 3ba9098 Filled out Checklist for TA-Behaviours - 8c9508f filled out checklist for TA-Misbehaviours - df823a3 added additional context information - b6a6227 added checklist answers for TA-Behaviours and TA-Constraints - c11a978 cosmetic changes to TA-BEHAVIOURS - 693adb1 small updates to TA-Misbehaviours - 544f6d0 created JLS-54 to JLS-60 - 20ff2b7 cosmetic change to JLS-54 - 379c542 update - 65bc51c improved checklist and evidence for TA-Behaviour - e181ee7 worked on TA-Misbehaviours - bf67eec added JLS-70 and JLS-71 - 1baed11 added JLS-72 - b5895e7 Worked on Context file of TA-Constraints - 603a563 worked on misbehaviours context file - 225e46a halnasri-Revisit_TT_INDICATORS (#28) - 03d7107 remove references to parent workflow for JLS-54 and JLS-55 - a5a6349 Added TODOs/Comments to TA-Behaviours and TA-Constraints Context files - c633504 created JLS-56 - 4d0ded3 resolved TODOs in TA-Behaviours - 3ce7f40 edited JLS 71 - 70cfb5f JLS-70 and JLS-72 - c19d526 documented misunderstandings - 14dc8ad added https validator to JLS 70 and 71 - e153c07 added JLS-73 - 08ae742 small fix - ff1df9e added references to JLS 24 and 31 - 1282cee edited zthe checklist of TA-Misbehaviour - 025d035 added https validator to JLS-24 - 1695462 typos - 00a8c81 fix pr count gate and coverage gate and add check_artifact_exists evidence to statements JLS-54 and JLS-55 - e9f9109 edited artifact output for the coverage gate - ee4b7a7 version control for PR and coverage gate workflow - b919c7d fix file naming in workflows - af24784 fix answers to the checklist of TA-CONSTRAINTS - 4f34209 edited JLS 72 - b0faaaa edited references for JLS 56 - fea0fd7 TA-constraints edited checklist - f8e2657 set pr count gate to 15 open PRs - 38dd6fa small fixes - ef31e3d exception handling tests evidence - c82acbc TA-Misbehaviours stress tests - fb306b2 TA-Misbehaviours list of misbehaviours - f78941e edited answer about risk analyses in TA-INDICATORS - b8c9aa8 added JLS-76 and comments to TT-Misbehaviours - 17cf293 removed JLS-69, its link and replace context answer with JLS-11. - 5650e92 replaced JLS-69 by JLS-11 in TA-Indicators context file - 40bb11a added link of TA-Misbehaviours to JLS-11 - d635790 added explanation of why there are no incentives to manipulate information - 6b0a4f1 added answer for undiscovered expectations - b0bedd9 answered new expectation identification question - f3ba14f added test data to answer - cbc4546 test repo renaming effects - 2cdda56 filled out remaining answer in TA-Constraints - 02a2ca6 answered to TA-Behaviours - 995183d answered result evaluation question in TA-Misbehaviours - 2ff3f10 added answer to fault induction test misbehaviour - c2fd098 answered ta-misbehaviour question, added evidence to JLS-76 - 80f4108 add risk analysis - daa774b small fixes - 438687e rewrite steps overview - 1e8025f replace - with comma in TA-Behaviours context file - 68e8252 Change phrasing of JLS-24 - 4c1ff69 changed risk analysis AOU-07 formulation - f4e3fec delete unnecessary section in risk analysis - 22d926b deleted unnecessary section in risk analysis - f202d6b changed naming of first risk analysis step - 840152b changed referrals to risk_analysis in ta-indicators and ta-misbehaviours - 67900e5 changed links from legacy gitlab TSF documentation to new ecplise TSF documentation. - 440a1ea Added a control structure diagram both as drawio/png and embedded it in the risk_analysis. - f5a0021 Change risk_analysis headers and structure to fit expected steps of RAFIA STPA procedure. - 398a02c Remade part 4 Unsafe Control Actions to fit review. - 8fa7394 Add step 5 Controller Constraints. - 802ec9d Add step 6 Control loops to risk_analysis - 8975d49 Add step 8 Causal Scenario Constrains to risk analysis - 59f4e69 Add step 10 Review of STPA results to risk analysis. - 780b797 Reworked step 9 Misbehaviours and Expectations in risk analysis to be in line with the STPA review guide. - 0a820ce Update markdown tables of risk_analysis to follow column names and order of STPA results schema in TSF documentation. - bb554ea Add additional Controller Functional Constraints under 5) Device Cotroller Constraints for risk_analysis to fulfill STPA review requirements. - 38fc8fa Updated step 7) Causal Scenarios to follow review guidelines in risk_analysis - ce03617 TA-Constraints: add AOU-31 resource/time budget assumption - c7d94f3 Removed typos and irregularities for review changes. - 5c0eb10 Replace legacy UCA IDs with current combined IDs as in review. - 48d149d Changed minor remarks from review. - 1bd7fa3 Changed failure description in 6) Control Loops and Sequences in risk_analysis - dfc804d Changed minor errors in STPA diagram.

This commit ports the content of score-json/nlohmann_json [PR #24](#24) onto a fresh upstream/main baseline. Why this is one commit: - The downstream and upstream histories diverged significantly. - Replaying the full original chain would cause many unrelated conflicts. - This keeps the upstream PR diff clean and reviewable while preserving provenance below. Combined original commits from downstream branch: - 18e1f0d Halnasri resolve tt confidence feedback (#21) - caefeae Resolve TT-CONSTRUCTION Feedback (#23) - 28c4ccc Erikhu1 add missing links (#25) - 748b55a Resolve TT-PROVENANCE Feedback (#14) - df946d2 halnasri-Revisit TT-RESULTS (#17) - 6ec3d20 added TA-Releases -> JLS-53 link (#27) - ad3d3e9 Erikhu1 sync with prod (#31) - 2ddacb3 Removed multiple validators from statements by splitting them up (#35) - 849f855 Erikhu1 sync with prod (#38) - 8f0d8cd Resolve TA-Analysis comments (#39) - afccbfb started with TA-Misbehaviours - 3ba9098 Filled out Checklist for TA-Behaviours - 8c9508f filled out checklist for TA-Misbehaviours - df823a3 added additional context information - b6a6227 added checklist answers for TA-Behaviours and TA-Constraints - c11a978 cosmetic changes to TA-BEHAVIOURS - 693adb1 small updates to TA-Misbehaviours - 544f6d0 created JLS-54 to JLS-60 - 20ff2b7 cosmetic change to JLS-54 - 379c542 update - 65bc51c improved checklist and evidence for TA-Behaviour - e181ee7 worked on TA-Misbehaviours - bf67eec added JLS-70 and JLS-71 - 1baed11 added JLS-72 - b5895e7 Worked on Context file of TA-Constraints - 603a563 worked on misbehaviours context file - 225e46a halnasri-Revisit_TT_INDICATORS (#28) - 03d7107 remove references to parent workflow for JLS-54 and JLS-55 - a5a6349 Added TODOs/Comments to TA-Behaviours and TA-Constraints Context files - c633504 created JLS-56 - 4d0ded3 resolved TODOs in TA-Behaviours - 3ce7f40 edited JLS 71 - 70cfb5f JLS-70 and JLS-72 - c19d526 documented misunderstandings - 14dc8ad added https validator to JLS 70 and 71 - e153c07 added JLS-73 - 08ae742 small fix - ff1df9e added references to JLS 24 and 31 - 1282cee edited zthe checklist of TA-Misbehaviour - 025d035 added https validator to JLS-24 - 1695462 typos - 00a8c81 fix pr count gate and coverage gate and add check_artifact_exists evidence to statements JLS-54 and JLS-55 - e9f9109 edited artifact output for the coverage gate - ee4b7a7 version control for PR and coverage gate workflow - b919c7d fix file naming in workflows - af24784 fix answers to the checklist of TA-CONSTRAINTS - 4f34209 edited JLS 72 - b0faaaa edited references for JLS 56 - fea0fd7 TA-constraints edited checklist - f8e2657 set pr count gate to 15 open PRs - 38dd6fa small fixes - ef31e3d exception handling tests evidence - c82acbc TA-Misbehaviours stress tests - fb306b2 TA-Misbehaviours list of misbehaviours - f78941e edited answer about risk analyses in TA-INDICATORS - b8c9aa8 added JLS-76 and comments to TT-Misbehaviours - 17cf293 removed JLS-69, its link and replace context answer with JLS-11. - 5650e92 replaced JLS-69 by JLS-11 in TA-Indicators context file - 40bb11a added link of TA-Misbehaviours to JLS-11 - d635790 added explanation of why there are no incentives to manipulate information - 6b0a4f1 added answer for undiscovered expectations - b0bedd9 answered new expectation identification question - f3ba14f added test data to answer - cbc4546 test repo renaming effects - 2cdda56 filled out remaining answer in TA-Constraints - 02a2ca6 answered to TA-Behaviours - 995183d answered result evaluation question in TA-Misbehaviours - 2ff3f10 added answer to fault induction test misbehaviour - c2fd098 answered ta-misbehaviour question, added evidence to JLS-76 - 80f4108 add risk analysis - daa774b small fixes - 438687e rewrite steps overview - 1e8025f replace - with comma in TA-Behaviours context file - 68e8252 Change phrasing of JLS-24 - 4c1ff69 changed risk analysis AOU-07 formulation - f4e3fec delete unnecessary section in risk analysis - 22d926b deleted unnecessary section in risk analysis - f202d6b changed naming of first risk analysis step - 840152b changed referrals to risk_analysis in ta-indicators and ta-misbehaviours - 67900e5 changed links from legacy gitlab TSF documentation to new ecplise TSF documentation. - 440a1ea Added a control structure diagram both as drawio/png and embedded it in the risk_analysis. - f5a0021 Change risk_analysis headers and structure to fit expected steps of RAFIA STPA procedure. - 398a02c Remade part 4 Unsafe Control Actions to fit review. - 8fa7394 Add step 5 Controller Constraints. - 802ec9d Add step 6 Control loops to risk_analysis - 8975d49 Add step 8 Causal Scenario Constrains to risk analysis - 59f4e69 Add step 10 Review of STPA results to risk analysis. - 780b797 Reworked step 9 Misbehaviours and Expectations in risk analysis to be in line with the STPA review guide. - 0a820ce Update markdown tables of risk_analysis to follow column names and order of STPA results schema in TSF documentation. - bb554ea Add additional Controller Functional Constraints under 5) Device Cotroller Constraints for risk_analysis to fulfill STPA review requirements. - 38fc8fa Updated step 7) Causal Scenarios to follow review guidelines in risk_analysis - ce03617 TA-Constraints: add AOU-31 resource/time budget assumption - c7d94f3 Removed typos and irregularities for review changes. - 5c0eb10 Replace legacy UCA IDs with current combined IDs as in review. - 48d149d Changed minor remarks from review. - 1bd7fa3 Changed failure description in 6) Control Loops and Sequences in risk_analysis - dfc804d Changed minor errors in STPA diagram.

This commit ports the content of score-json/nlohmann_json (#24) onto a fresh upstream/main baseline. Why this is one commit: - The downstream and upstream histories diverged significantly. - Replaying the full original chain would cause many unrelated conflicts. - This keeps the upstream PR diff clean and reviewable while preserving provenance below. Combined original commits from downstream branch: - 18e1f0d Halnasri resolve tt confidence feedback (#21) - caefeae Resolve TT-CONSTRUCTION Feedback (#23) - 28c4ccc Erikhu1 add missing links (#25) - 748b55a Resolve TT-PROVENANCE Feedback (#14) - df946d2 halnasri-Revisit TT-RESULTS (#17) - 6ec3d20 added TA-Releases -> JLS-53 link (#27) - ad3d3e9 Erikhu1 sync with prod (#31) - 2ddacb3 Removed multiple validators from statements by splitting them up (#35) - 849f855 Erikhu1 sync with prod (#38) - 8f0d8cd Resolve TA-Analysis comments (#39) - afccbfb started with TA-Misbehaviours - 3ba9098 Filled out Checklist for TA-Behaviours - 8c9508f filled out checklist for TA-Misbehaviours - df823a3 added additional context information - b6a6227 added checklist answers for TA-Behaviours and TA-Constraints - c11a978 cosmetic changes to TA-BEHAVIOURS - 693adb1 small updates to TA-Misbehaviours - 544f6d0 created JLS-54 to JLS-60 - 20ff2b7 cosmetic change to JLS-54 - 379c542 update - 65bc51c improved checklist and evidence for TA-Behaviour - e181ee7 worked on TA-Misbehaviours - bf67eec added JLS-70 and JLS-71 - 1baed11 added JLS-72 - b5895e7 Worked on Context file of TA-Constraints - 603a563 worked on misbehaviours context file - 225e46a halnasri-Revisit_TT_INDICATORS (#28) - 03d7107 remove references to parent workflow for JLS-54 and JLS-55 - a5a6349 Added TODOs/Comments to TA-Behaviours and TA-Constraints Context files - c633504 created JLS-56 - 4d0ded3 resolved TODOs in TA-Behaviours - 3ce7f40 edited JLS 71 - 70cfb5f JLS-70 and JLS-72 - c19d526 documented misunderstandings - 14dc8ad added https validator to JLS 70 and 71 - e153c07 added JLS-73 - 08ae742 small fix - ff1df9e added references to JLS 24 and 31 - 1282cee edited zthe checklist of TA-Misbehaviour - 025d035 added https validator to JLS-24 - 1695462 typos - 00a8c81 fix pr count gate and coverage gate and add check_artifact_exists evidence to statements JLS-54 and JLS-55 - e9f9109 edited artifact output for the coverage gate - ee4b7a7 version control for PR and coverage gate workflow - b919c7d fix file naming in workflows - af24784 fix answers to the checklist of TA-CONSTRAINTS - 4f34209 edited JLS 72 - b0faaaa edited references for JLS 56 - fea0fd7 TA-constraints edited checklist - f8e2657 set pr count gate to 15 open PRs - 38dd6fa small fixes - ef31e3d exception handling tests evidence - c82acbc TA-Misbehaviours stress tests - fb306b2 TA-Misbehaviours list of misbehaviours - f78941e edited answer about risk analyses in TA-INDICATORS - b8c9aa8 added JLS-76 and comments to TT-Misbehaviours - 17cf293 removed JLS-69, its link and replace context answer with JLS-11. - 5650e92 replaced JLS-69 by JLS-11 in TA-Indicators context file - 40bb11a added link of TA-Misbehaviours to JLS-11 - d635790 added explanation of why there are no incentives to manipulate information - 6b0a4f1 added answer for undiscovered expectations - b0bedd9 answered new expectation identification question - f3ba14f added test data to answer - cbc4546 test repo renaming effects - 2cdda56 filled out remaining answer in TA-Constraints - 02a2ca6 answered to TA-Behaviours - 995183d answered result evaluation question in TA-Misbehaviours - 2ff3f10 added answer to fault induction test misbehaviour - c2fd098 answered ta-misbehaviour question, added evidence to JLS-76 - 80f4108 add risk analysis - daa774b small fixes - 438687e rewrite steps overview - 1e8025f replace - with comma in TA-Behaviours context file - 68e8252 Change phrasing of JLS-24 - 4c1ff69 changed risk analysis AOU-07 formulation - f4e3fec delete unnecessary section in risk analysis - 22d926b deleted unnecessary section in risk analysis - f202d6b changed naming of first risk analysis step - 840152b changed referrals to risk_analysis in ta-indicators and ta-misbehaviours - 67900e5 changed links from legacy gitlab TSF documentation to new ecplise TSF documentation. - 440a1ea Added a control structure diagram both as drawio/png and embedded it in the risk_analysis. - f5a0021 Change risk_analysis headers and structure to fit expected steps of RAFIA STPA procedure. - 398a02c Remade part 4 Unsafe Control Actions to fit review. - 8fa7394 Add step 5 Controller Constraints. - 802ec9d Add step 6 Control loops to risk_analysis - 8975d49 Add step 8 Causal Scenario Constrains to risk analysis - 59f4e69 Add step 10 Review of STPA results to risk analysis. - 780b797 Reworked step 9 Misbehaviours and Expectations in risk analysis to be in line with the STPA review guide. - 0a820ce Update markdown tables of risk_analysis to follow column names and order of STPA results schema in TSF documentation. - bb554ea Add additional Controller Functional Constraints under 5) Device Cotroller Constraints for risk_analysis to fulfill STPA review requirements. - 38fc8fa Updated step 7) Causal Scenarios to follow review guidelines in risk_analysis - ce03617 TA-Constraints: add AOU-31 resource/time budget assumption - c7d94f3 Removed typos and irregularities for review changes. - 5c0eb10 Replace legacy UCA IDs with current combined IDs as in review. - 48d149d Changed minor remarks from review. - 1bd7fa3 Changed failure description in 6) Control Loops and Sequences in risk_analysis - dfc804d Changed minor errors in STPA diagram.

Erikhu1 changed the title ~~Luca fgr complete tt expectations context rebased~~ Worked through checklists and evidences for TT-EXPECTATIONS Dec 3, 2025

github-actions bot added the L label Dec 3, 2025

halnasri self-requested a review December 3, 2025 12:47

LucaFue marked this pull request as draft December 3, 2025 13:03

github-actions bot removed the L label Dec 4, 2025

LucaFue self-assigned this Dec 4, 2025

github-actions bot added L and removed L labels Dec 4, 2025

github-actions bot added L CI and removed L labels Dec 15, 2025