Skip to content

Commit 1bd7fa3

Browse files
Changed failure description in 6) Control Loops and Sequences in risk_analysis
1 parent 48d149d commit 1bd7fa3

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

TSF/docs/risk_analysis.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -351,8 +351,8 @@ The CL reference identifiers below match the CL refs already used in Section 3.3
351351
|---|---|---:|---|---|---|---|
352352
| CL1-1 | CL1 | 1 | I1 | E1 model: input text is received and is intended to be JSON in the defined scope. | E1 calls `basic_json::accept` for the input as a discrete API call. | E2 validates syntax and completes the call, producing an accept/reject outcome. |
353353
| CL1-2 | CL1 | 2 | I2 | E2 state: parsing/validation result for the given input and parameters. | E2 returns the Boolean result as the function return value. | E1 interprets `true/false` correctly and uses it to decide whether to proceed (or to reject the input). |
354-
| CL1-3 | CL1 | 3 | I3 | E1 model: input is intended to be well-formed JSON for parsing, under the stated AOUs/constraints. | E1 calls `basic_json::parse` for the input as a discrete API call. | E2 parses and either produces a value or signals failure (exception) as defined for the integration context. |
355-
| CL1-4 | CL1 | 4 | I4 | E2 state: parsed value (success) or error state (failure). | E2 returns a value or throws; this is the feedback channel for the parsing action. | E1 handles return/exception correctly and does not misinterpret ambiguous outcomes (C6). |
354+
| CL1-3 | CL1 | 3 | I3 | E1 model: input is intended to be well-formed JSON for parsing, under the stated AOUs/constraints. | E1 calls `basic_json::parse` for the input as a discrete API call. | E2 parses and either produces a value or signals failure (error value) as defined for the integration context. |
355+
| CL1-4 | CL1 | 4 | I4 | E2 state: parsed value (success) or error state (failure). | E2 returns a value or signals an error; this is the feedback channel for the parsing action. | E1 handles return/error message correctly and does not misinterpret ambiguous outcomes (C6). |
356356
| CL2-1 | CL2 | 1 | I5 | E3 model: belief about current dependency state and whether upstream issues/advisories apply. | E3 performs the periodic triage/update decision process (review and decision). | E4 changes state (updated/mitigated) or remains unchanged with an explicit, reviewed rationale. |
357357
| CL2-2 | CL2 | 2 | I6 | E4 state: current dependency version and known upstream issue/advisory status. | E4 provides status/impact signals via the available tracking mechanisms used by the governance process. | E3 updates its model of dependency risk and schedules/executes mitigation/update actions as required. |
358358

0 commit comments

Comments
 (0)