MO-004 — Connected and Disconnected Operations

Go to Mission Objectives

Original Requirement

The system SHALL support both connected and disconnected operational environments.[C1]

Assessment of Original Requirement

The Original Requirement preserves the approved mission objective but does not express independently testable normative statements.

The following Specification Discipline and Authoring findings apply:

The system does not use the defined system name CrucibleSupport is a weak verb that does not identify the behavior Crucible performsOperational environments does not identify the activities Crucible performs, the inputs used, the outputs produced, or the required completion conditionsThe Original Requirement combines operation in Connected Environments and Disconnected Environments within one normative statementConnected Environment operation and Disconnected Environment operation can pass or fail independentlyThe Original Requirement does not identify which Operational Lifecycle activities apply within each environmentThe Original Requirement does not identify how the applicable Operational Lifecycle activities are selectedThe Original Requirement does not distinguish resource availability from resource authorizationThe Original Requirement does not prohibit use of resources that are not authorized for the operational environmentThe Original Requirement does not prohibit dependence on external network resources unavailable within a Disconnected EnvironmentThe Original Requirement does not identify whether resources imported through an approved transfer process become available within the Disconnected EnvironmentThe Original Requirement does not provide independently identifiable statements for verification and traceabilityThe previously normalized Statement also combined:

Execution in Connected EnvironmentsExecution in Disconnected EnvironmentsUse of only Authorized ResourcesDependence on resources available within each environmentThese obligations can pass or fail independently.

The Original Requirement therefore requires decomposition into independently identifiable normative requirements.

The decomposition preserves MO-004 as the stable parent requirement identifier. Each replacement requirement receives a lettered identifier and a separate requirement page.

Proposed Statements

The Original Requirement is replaced by the following independently identifiable normative requirements:

© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.