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/21 09:57] – 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 1: | Line 1: | ||
| ====== OR-001a — Developer Operations ====== | ====== OR-001a — Developer Operations ====== | ||
| - | [[dido: | + | [[dido: |
| ===== Statement ===== | ===== Statement ===== | ||
| - | [[dido: | + | [[dido: |
| ===== Derived From ===== | ===== Derived From ===== | ||
| Line 11: | Line 11: | ||
| This requirement derives from: | This requirement derives from: | ||
| - | * [[dido: | + | * [[dido: |
| The Original Requirement states: | The Original Requirement states: | ||
| Line 23: | Line 23: | ||
| >> // | >> // | ||
| - | OR-001a preserves the intent that Developers participate in Crucible operation by requiring Crucible to execute | + | OR-001a preserves the intent that Developers participate in Crucible operation by requiring Crucible to perform |
| The separate requirements derived from OR-001 address: | The separate requirements derived from OR-001 address: | ||
| Line 32: | Line 32: | ||
| * [[dido: | * [[dido: | ||
| * [[dido: | * [[dido: | ||
| - | |||
| - | ===== Assessment ===== | ||
| - | |||
| - | The Original Requirement identifies Developers as a category of users that participates in Crucible operation but does not identify: | ||
| - | |||
| - | * The Crucible operations assigned to a Developer | ||
| - | * The operational scenarios in which a Developer participates | ||
| - | * The Developer interaction that causes Crucible to execute an assigned operation | ||
| - | * The inputs supplied by a Developer | ||
| - | * The outputs presented to a Developer | ||
| - | * The completion condition for an operation assigned to a Developer | ||
| - | * The Evidence required to demonstrate successful operation | ||
| - | * The distinction between Developer participation and participation by another identified user category | ||
| - | |||
| - | The phrase **support operation by Developers** does not identify an observable Crucible behavior. | ||
| - | |||
| - | OR-001a: | ||
| - | |||
| - | * Identifies [[dido: | ||
| - | * Identifies the Developer as the applicable user category | ||
| - | * Requires the applicable operational scenario to assign the operation to a Developer | ||
| - | * Requires the applicable operational scenario to specify the Developer interaction | ||
| - | * Requires Crucible to execute the assigned operation in response to the specified Developer interaction | ||
| - | * Separates Developer operation from operation by the other identified user categories | ||
| - | |||
| - | OR-001a does not establish: | ||
| - | |||
| - | * That every Crucible operation applies to a Developer | ||
| - | * That every Developer performs the same operations | ||
| - | * That every operational scenario assigns the same operations to a Developer | ||
| - | * A role-assignment mechanism | ||
| - | * A role-based authorization model | ||
| - | * A particular access-control model | ||
| - | * A particular user interface | ||
| - | * A particular interaction mechanism | ||
| - | * Permissions not established by another controlling requirement | ||
| ===== Rationale ===== | ===== Rationale ===== | ||
| - | Separating Developer operation from operation by the other identified user categories provides an independently testable and traceable requirement. | + | Developers require access to the Crucible |
| - | + | ||
| - | The applicable operational scenario establishes the context needed to determine: | + | |
| - | + | ||
| - | * Which Crucible | + | |
| - | * Which Developer interaction applies | + | |
| - | * Which inputs | + | |
| - | * Which outputs the Developer receives or reviews | + | |
| - | * Which completion condition applies | + | |
| - | * Which failures and exceptions apply | + | |
| - | * Which Evidence demonstrates execution of the operation | + | |
| - | + | ||
| - | The [[dido: | + | |
| - | + | ||
| - | The Concept of Operations also addresses: | + | |
| - | + | ||
| - | * Phase 1 command-line operation | + | |
| - | * CI/CD pipeline integration | + | |
| - | * Image-layer baseline composition | + | |
| - | * Infrastructure baseline composition | + | |
| - | * Machine Image construction | + | |
| - | * Dependency capture | + | |
| - | * Compliance-finding capture | + | |
| - | * Infrastructure deployment | + | |
| - | * Connected-to-disconnected transfer | + | |
| - | * Offline package-repository population | + | |
| - | * Compliance Evidence generation | + | |
| - | * Phase 2 web management | + | |
| - | * Strategic native execution | + | |
| - | The applicable operational scenario determines which of these operations and interactions apply to a Developer. | + | This requirement ensures that Crucible performs each operation allocated |
| - | This requirement does not allocate every identified | + | Separating Developer operations from operations allocated to other user categories supports independent verification, |
| - | This requirement | + | Without this requirement, |
| ===== Applies To ===== | ===== Applies To ===== | ||
| Line 113: | Line 49: | ||
| * [[dido: | * [[dido: | ||
| * Developers | * Developers | ||
| - | * Applicable operational scenarios | + | * Developer Role |
| - | * Crucible operations | + | * Crucible operations |
| - | * Developer | + | * [[dido: |
| - | * Developer inputs | + | |
| * Operation status | * Operation status | ||
| * Operation results | * Operation results | ||
| * Operation failures | * Operation failures | ||
| * Operation exceptions | * Operation exceptions | ||
| - | * Build operations assigned to Developers | ||
| - | * Capture operations assigned to Developers | ||
| - | * Deploy operations assigned to Developers | ||
| - | * Phase 1 command-line operation | ||
| - | * CI/CD pipeline integration | ||
| - | * Phase 2 web management | ||
| - | * Strategic native execution | ||
| - | * [[dido: | ||
| - | * [[dido: | ||
| - | * [[dido: | ||
| * [[dido: | * [[dido: | ||
| * [[dido: | * [[dido: | ||
| * [[dido: | * [[dido: | ||
| * [[dido: | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| ===== Verification ===== | ===== Verification ===== | ||
| Line 140: | Line 68: | ||
| Verification confirms that: | Verification confirms that: | ||
| - | | + | |
| - | | + | |
| - | | + | |
| - | # Crucible receives the specified Developer interaction | + | |
| - | # Crucible executes the operation assigned | + | |
| - | | + | - The verification record preserves |
| - | | + | |
| - | # The verification record preserves Traceability between the applicable operational scenario, Developer interaction, | + | |
| - | + | ||
| - | Verification includes: | + | |
| - | + | ||
| - | * Applicable operational scenario inspection | + | |
| - | * Developer identification inspection | + | |
| - | * Assigned-operation inspection | + | |
| - | * Developer-interaction inspection | + | |
| - | * Developer-input inspection | + | |
| - | * Execution of each operation assigned to the Developer | + | |
| - | * Operation-status inspection | + | |
| - | * Operation-result inspection | + | |
| - | * 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 assigned Crucible operation | + | |
| - | # The specified Developer interaction | + | |
| - | # Each Developer input | + | |
| - | # The executed Crucible operation | + | |
| - | # The operation start condition | + | |
| - | # The operation completion condition | + | |
| - | # Each generated status or result | + | |
| - | # Each observed failure or exception | + | |
| - | # Each generated | + | |
| - | # The generated | + | |
| - | | + | |
| - | # The associated | + | |
| - | + | ||
| - | ===== Requirements Realized By ===== | + | |
| - | + | ||
| - | This requirement is realized by: | + | |
| - | + | ||
| - | * Requirements that define Build operations assigned to Developers | + | |
| - | * Requirements that define Capture operations assigned to Developers | + | |
| - | * Requirements that define Deploy operations assigned to Developers | + | |
| - | * Requirements that define Phase 1 command-line interactions | + | |
| - | * Requirements that define CI/CD pipeline interactions | + | |
| - | * Requirements that define | + | |
| - | * Requirements that define | + | |
| - | * Requirements that define | + | |
| - | * Requirements that define generated Artifacts and Evidence | + | |
| - | + | ||
| - | ===== Related Architecture Sections ===== | + | |
| - | + | ||
| - | * [[dido: | + | |
| - | * [[dido: | + | |
| - | * [[dido: | + | |
| - | * [[dido: | + | |
| ===== Referenced By ===== | ===== Referenced By ===== | ||
| Line 212: | Line 83: | ||
| ===== Delivery Phase ===== | ===== Delivery Phase ===== | ||
| - | Phase 1 and subsequent phases | + | Implemented |
| ===== Implementation Status ===== | ===== Implementation Status ===== | ||
| - | Not Assessed | + | < |
| - | + | ||
| - | Implementation status requires verification that the current | + | |
| ===== Requirement Status ===== | ===== Requirement Status ===== | ||
| - | Draft | + | < |
| - | This requirement | + | ---- |
| + | ===== Issues ===== | ||
| + | |||
| + | The following unresolved issues affect this requirement: | ||
| + | |||
| + | < | ||
| + | |||
| + | < | ||
| ---- | ---- | ||
| Line 232: | Line 108: | ||
| This page is a leaf requirement page and omits a trailing '': | This page is a leaf requirement page and omits a trailing '': | ||
| + | |||
| + | The parent OR-001 page is a non-leaf page and retains a trailing '': | ||
| Changes to the Statement should preserve: | Changes to the Statement should preserve: | ||
| - | * Crucible as the responsible actor | + | * [[dido: |
| - | * The Developer as the applicable user category | + | * Developer |
| - | * Assignment | + | * Allocation |
| - | * Identification | + | * Performance |
| - | * Execution | + | |
| - | The requirement owner should | + | The unresolved meaning of Developer Role should |
| - | * Which Crucible operations apply to Developers | + | The source of each operation |
| - | * Which operational scenarios assign those operations | + | |
| - | * Which Developer interaction applies to each operation | + | |
| - | * Which Developer inputs apply | + | |
| - | * Which outputs apply | + | |
| - | * Which existing requirements realize each assigned operation | + | |
| - | * Which uncovered interactions require additional atomic requirements | + | |
| - | Material changes should receive review and should update the related | + | Material changes should receive review and should update the verification criteria, |
| To reference this requirement Statement from another wiki page, insert: | To reference this requirement Statement from another wiki page, insert: | ||