Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| dido:02-crusible:99-annexes:annex-c-requirements:02-operational-requirements:or-001:or-001a [2026/07/22 02:12] – nick_dido | dido:02-crusible:99-annexes:annex-c-requirements:02-operational-requirements:or-001:or-001a [2026/07/30 05:30] (current) – [Delivery Phase] nick_dido | ||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ===== Statement ===== | ===== Statement ===== | ||
| - | [[dido: | + | [[dido: |
| ===== Derived From ===== | ===== Derived From ===== | ||
| Line 23: | Line 23: | ||
| >> // | >> // | ||
| - | OR-001a preserves the intent that Developers participate in Crucible operation by requiring Crucible to perform each operation | + | OR-001a preserves the intent that Developers participate in Crucible operation by requiring Crucible to perform each operation |
| The separate requirements derived from OR-001 address: | The separate requirements derived from OR-001 address: | ||
| Line 35: | Line 35: | ||
| ===== Rationale ===== | ===== Rationale ===== | ||
| - | The Original Requirement combines six independently testable user categories within one normative statement. | + | Developers require access to the Crucible operations allocated to the Developer Role. |
| - | OR-001a separates Developer operations from operations associated with the other identified user categories. The separate | + | This requirement |
| - | The applicable operational scenario identifies: | + | Separating Developer operations from operations allocated to other user categories supports independent verification, |
| - | * The Crucible operations | + | Without this requirement, |
| - | * The conditions under which a Developer invokes each operation | + | |
| - | * The [[dido: | + | |
| - | * The status and results presented | + | |
| - | * The completion conditions applicable to each operation | + | |
| - | * The failure and exception conditions applicable to each operation | + | |
| - | * The [[dido: | + | |
| - | + | ||
| - | The [[dido: | + | |
| - | + | ||
| - | OR-001a does not establish that: | + | |
| - | + | ||
| - | * Every Crucible operation applies | + | |
| - | * Every Developer invokes | + | |
| - | * Every operational scenario identifies the same Developer | + | |
| - | * Developer constitutes an Operational | + | |
| - | * A particular role-assignment mechanism applies | + | |
| - | * A particular authorization or access-control model applies | + | |
| - | * A particular interface supports Developer operations | + | |
| - | + | ||
| - | Separate operational and functional requirements define the detailed behavior, inputs, outputs, completion conditions, failures, exceptions, Artifacts, and Evidence associated with each Crucible operation. | + | |
| ===== Applies To ===== | ===== Applies To ===== | ||
| Line 69: | Line 49: | ||
| * [[dido: | * [[dido: | ||
| * Developers | * Developers | ||
| - | * Operational scenarios applicable to Developers | + | * Developer Role |
| - | * Crucible operations | + | * Crucible operations |
| - | * Developer | + | |
| * [[dido: | * [[dido: | ||
| * Operation status | * Operation status | ||
| Line 89: | Line 68: | ||
| Verification confirms that: | Verification confirms that: | ||
| - | - The applicable operational scenario identifies each Crucible operation that a Developer | + | - The Developer |
| - | - The applicable operational scenario identifies the conditions under which the Developer | + | - Each Crucible operation allocated to the Developer |
| - | - The Developer can invoke each identified | + | - Crucible performs each operation |
| - | - Crucible performs each operation | + | - The performed operation corresponds to the allocated |
| - | - The performed operation corresponds to the operation | + | - Crucible produces each status, result, failure indication, exception indication, [[dido: |
| - | - Crucible produces each status, result, failure indication, exception indication, | + | - The verification record preserves |
| - | - The verification record preserves Traceability among the applicable operational scenario, the Developer invocation, and the performed Crucible operation | + | |
| - | + | ||
| - | Verification includes: | + | |
| - | + | ||
| - | * Inspection of the applicable operational scenario | + | |
| - | * Inspection of the Crucible operations identified for the Developer | + | |
| - | * Inspection of the invocation conditions | + | |
| - | * Invocation of each identified Crucible operation | + | |
| - | * Observation of Crucible performance of each invoked operation | + | |
| - | * Comparison of each invoked operation with the corresponding performed operation | + | |
| - | * Inspection of operation status and results | + | |
| - | * Failure-condition testing | + | |
| - | * Exception-condition testing | + | |
| - | * Artifact inspection | + | |
| - | * Evidence inspection | + | |
| - | * Provenance inspection | + | |
| - | * Traceability inspection | + | |
| - | + | ||
| - | The verification record identifies: | + | |
| - | + | ||
| - | - The applicable operational scenario | + | |
| - | - The Developer | + | |
| - | - The invoked Crucible operation | + | |
| - | - The invocation conditions | + | |
| - | - The Controlled Inputs provided by the Developer | + | |
| - | - The performed Crucible operation | + | |
| - | - The operation completion condition | + | |
| - | - Each generated status or result | + | |
| - | - Each observed failure or exception | + | |
| - | - Each generated | + | |
| - | - The generated | + | |
| - | - The associated [[dido: | + | |
| - | - The associated | + | |
| - | + | ||
| - | ===== Related Architecture Sections ===== | + | |
| - | + | ||
| - | No related architecture sections have been identified. | + | |
| ===== Referenced By ===== | ===== Referenced By ===== | ||
| Line 141: | Line 83: | ||
| ===== Delivery Phase ===== | ===== Delivery Phase ===== | ||
| - | To Be Determined | + | Implemented and Verified. |
| ===== Implementation Status ===== | ===== Implementation Status ===== | ||
| - | Not Assessed | + | < |
| - | + | ||
| - | Implementation status requires verification that the current | + | |
| ===== Requirement Status ===== | ===== Requirement Status ===== | ||
| - | Draft | + | < |
| - | + | ||
| - | This requirement | + | |
| ---- | ---- | ||
| Line 160: | Line 98: | ||
| The following unresolved issues affect this requirement: | The following unresolved issues affect this requirement: | ||
| - | * < | + | < |
| - | * < | + | |
| + | < | ||
| ---- | ---- | ||
| Line 175: | Line 114: | ||
| * [[dido: | * [[dido: | ||
| - | * Developer as the applicable user category | + | * Developer |
| - | * The applicable operational scenario as the source | + | * Allocation |
| - | * Invocation | + | * Performance of each allocated |
| - | * Performance of the invoked | + | |
| + | The unresolved meaning of Developer Role should remain recorded in the Issues section until an authoritative definition resolves the issue. | ||
| - | The unresolved meaning | + | The source |
| - | Material changes should receive review and should update the verification criteria, related architecture sections, source records, and Issues section. | + | Material changes should receive review and should update the verification criteria, source records, and Issues section. |
| To reference this requirement Statement from another wiki page, insert: | To reference this requirement Statement from another wiki page, insert: | ||