Differences

This shows you the differences between two versions of the page.

--- dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:start [2026/07/20 08:36] – ↷ Page moved and renamed from dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004 to dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:start nick_dido
+++ dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:start [2026/07/22 12:11] (current) – nick_dido
@@ Line 14: / Line 14: @@
   * **The system** does not use the defined system name [[dido:99_annexes:annex-b-terms-and-definitions:c:crucible|Crucible]]
-  * **Support** is a weak verb that does not identify the behavior Crucible performs
+  * **Support** is a weak verb that does not identify an observable behavior performed by Crucible
-  * **Operational environments** does not identify the activities Crucible performs, the inputs used, the outputs produced, or the required completion conditions
+  * **Operational environments** does not identify the Crucible activities performed within each environment
   * The Original Requirement combines operation in [[dido:99_annexes:annex-b-terms-and-definitions:c:connected_environment|Connected Environments]] and [[dido:99_annexes:annex-b-terms-and-definitions:d:disconnected_environment|Disconnected Environments]] within one normative statement
-  * Connected Environment operation and Disconnected Environment operation can pass or fail independently
-  * The Original Requirement does not identify which [[dido:99_annexes:annex-b-terms-and-definitions:o:operational_lifecycle|Operational Lifecycle]] activities apply within each environment
-  * The Original Requirement does not identify how the applicable Operational Lifecycle activities are selected
-  * The Original Requirement does not distinguish resource availability from resource authorization
-  * The Original Requirement does not prohibit use of resources that are not authorized for the operational environment
-  * The Original Requirement does not prohibit dependence on external network resources unavailable within a Disconnected Environment
-  * The Original Requirement does not identify whether resources imported through an approved transfer process become available within the Disconnected Environment
-  * The Original Requirement does not provide independently identifiable statements for verification and traceability
-The previously normalized Statement also combined:
+The Original Requirement does not identify:
-  * Execution in Connected Environments
+  * The [[dido:99_annexes:annex-b-terms-and-definitions:o:operational_lifecycle|Operational Lifecycle]] activities that Crucible performs within each environment
-  * Execution in Disconnected Environments
+  * The resources that Crucible may use within each environment
-  * Use of only [[dido:99_annexes:annex-b-terms-and-definitions:a:authorized_resource|Authorized Resources]]
+  * The distinction between resource availability and resource authorization
-  * Dependence on resources available within each environment
+  * Whether Crucible may depend on external network resources while operating in a Disconnected Environment
+  * Whether resources imported through an approved transfer process become available within the Disconnected Environment
-These obligations can pass or fail independently.
+The Original Requirement therefore requires:
-The Original Requirement therefore requires decomposition into independently identifiable normative requirements.
+  * Replacement of **the system** with the defined system name [[dido:99_annexes:annex-b-terms-and-definitions:c:crucible|Crucible]]
+  * Replacement of **support** with observable Crucible behavior
+  * Identification of the Operational Lifecycle activities performed within Connected Environments
+  * Identification of the Operational Lifecycle activities performed within Disconnected Environments
+  * Identification of the resources authorized for use within each environment
+  * Separation of Connected Environment operation from Disconnected Environment operation
+  * Separation of resource authorization from resource availability
+  * Confirmation that the derived requirements collectively preserve the complete intent of MO-004
-The decomposition preserves ''MO-004'' as the stable parent requirement identifier. Each replacement requirement receives a lettered identifier and a separate requirement page.
+The decomposition preserves ''MO-004'' as the stable parent requirement identifier. Each proposed replacement requirement receives a lettered identifier and a separate leaf requirement page.
 ===== Proposed Statements =====
-The Original Requirement is replaced by the following independently identifiable normative requirements:
+The Original Requirement is decomposed into the following proposed replacement requirements:
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:mo-004a|MO-004a — Connected Environment Operation]]
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:mo-004b|MO-004b — Disconnected Environment Operation]]
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:mo-004c|MO-004c — Unauthorized Resource Prohibition]]
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:mo-004d|MO-004d — External Resource Independence]]
 {{indexmenu>dido:02-crusible:99-annexes:annex-c-requirements:01-mission-objectives:mo-004#1|js navbar nocookie maxjs#1 id#crucible_mo_004_requirements_nav}}
+===== Requirement Status =====
+<todo>Review and approve the proposed decomposition of MO-004 into independently testable Connected Environment, Disconnected Environment, resource-authorization, and resource-availability requirements.</todo>
+<todo>Determine whether MO-004a through MO-004d collectively supersede MO-004.</todo>
+<todo>If MO-004a through MO-004d are accepted as the complete replacement for MO-004, mark MO-004 as superseded and preserve this page as the parent Traceability record.</todo>
+----
+===== Issues =====
+The following unresolved issues affect the decomposition of MO-004:
+<todo>Identify the Operational Lifecycle activities that Crucible must perform within a Connected Environment.</todo>
+<todo>Identify the Operational Lifecycle activities that Crucible must perform within a Disconnected Environment.</todo>
+<todo>Define how Operational Lifecycle activities are selected for each environment.</todo>
+<todo>Identify the Authorized Resources that Crucible may use within each environment.</todo>
+<todo>Define the relationship between resource authorization and resource availability.</todo>
+<todo>Define whether Crucible may depend on external network resources while operating within a Disconnected Environment.</todo>
+<todo>Define when resources imported through an approved transfer process become available for use within a Disconnected Environment.</todo>
+<todo>Determine whether MO-004a through MO-004d provide complete coverage of the approved intent of MO-004.</todo>
+----
+===== Notes for Editors =====
+This page should retain the stable parent requirement identifier ''MO-004''.
+This page is a non-leaf requirement page and retains a trailing '':start'' in its namespace.
+The child requirements are leaf requirement pages and omit a trailing '':start'' from their namespaces.
+The explicit child-page links should remain while the proposed decomposition is being developed. After the child pages have been created and finalized, the explicit links may be removed because the ''indexmenu'' displays the child requirement pages contained within the MO-004 namespace.
+This page preserves:
+  * The Original Requirement
+  * The assessment of the Original Requirement
+  * The reason for decomposition
+  * [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] to the proposed replacement requirements
+  * The unresolved cross-cutting issues affecting the decomposition
+  * The supersession decision
+The derived requirements should distinguish:
+  * Operation within a Connected Environment
+  * Operation within a Disconnected Environment
+  * Authorization to use a resource
+  * Availability of a resource within an environment
+Availability of a resource does not establish authorization to use that resource.
+Authorization to use a resource does not establish that the resource is available within a particular environment.
+The Original Requirement should not be marked as superseded until the requirement owner:
+  * Approves the proposed decomposition
+  * Approves the child requirements
+  * Identifies the Operational Lifecycle activities required within each environment
+  * Defines the relationship between resource authorization and resource availability
+  * Confirms that the child requirements collectively preserve the complete approved intent of MO-004
+  * Confirms that no additional child requirements are required
+After supersession, this page should remain as the parent Traceability record and should continue to preserve the Original Requirement and its assessment.
+Material changes to the decomposition should update the child requirements, Requirement Status, Issues, and Traceability records.
 ----