MO-004 — DIDO Baseline Comparison and Validation

Go to C.1 Mission Objectives

Original Requirement

The DIDO-TE source material states:

Creating baseline results using validated nodes and comparing them against tests with modified nodes to identify discrepancies or improvements.

The source material further states:

This approach ensures that any changes or updates to the system are validated against a known benchmark, enhancing reliability and trust in the distributed system.

Assessment of Original Requirement

The Original Requirement preserves mission-level intent for establishing reference results, comparing subsequent Test Results with those reference results, identifying differences, and using the comparison to support Validation.

The Original Requirement does not express independently interpretable or independently verifiable normative statements.

The following Specification Discipline and Authoring findings apply:

Creating does not identify an explicit responsible ActorCreating does not use an explicit normative modalBaseline results does not identify the Test Results selected for inclusion in the BaselineValidated nodes does not identify the applicable Validation CriteriaValidated nodes does not identify the Validation Decision establishing the validation status of each NodeComparing them uses an ambiguous pronounTests with modified nodes does not identify the selected Test Runs, Test Results, Nodes, Node modifications, or controlling ConfigurationsIdentify discrepancies or improvements does not identify the characteristics subject to comparisonDiscrepancies does not identify the difference, measurement, tolerance, or comparison methodImprovements does not identify the direction, magnitude, or criteria constituting improvementAny changes or updates is open-ended and does not identify the changes subject to ValidationThe system does not identify the applicable Distributed SystemValidated against a known benchmark does not identify the controlling Baseline, Baseline Version, Validation Criteria, or Acceptance CriteriaEnhancing reliability and trust describes an intended benefit rather than an observable DIDO-TE behaviorTrust is subjective and does not establish an objectively verifiable outcomeThe source does not distinguish the comparison result from the resulting Validation DecisionThe source does not identify the required Evidence, Provenance, or TraceabilityThe source combines at least two independently verifiable outcomes:

Comparison of selected Test Results with the controlling DIDO Baseline Test ResultsProduction of a Validation Decision using the comparison result and applicable Validation CriteriaThese outcomes require separate verification.

DIDO-TE can compare selected Test Results with DIDO Baseline Test Results without making a Validation Decision.

A Validation Decision requires more than identifying a difference. It requires applicable Validation Criteria and an authorized basis for determining whether the observed difference is acceptable, unacceptable, beneficial, detrimental, or inconclusive.

The comparison can identify:

EqualityDifferenceDirection of differenceMagnitude of differenceDifference within an applicable toleranceDifference outside an applicable toleranceInsufficient information to complete the comparisonThe Validation Decision can determine:

The applicable Validation Criteria are satisfiedThe applicable Validation Criteria are not satisfiedAvailable information is insufficient to make a conclusive decisionThe Original Requirement therefore requires:

Identification of DIDO-TE as the responsible ActorReplacement of nonnormative language with explicit normative obligationsIdentification of the controlling DIDO BaselineIdentification of the controlling DIDO Baseline VersionIdentification of the DIDO Baseline Test ResultsIdentification of the selected comparison Test ResultsIdentification of the characteristics subject to comparisonIdentification of the comparison methodIdentification of the applicable measurement precision and tolerancesSeparation of Baseline comparison from the Validation DecisionIdentification of the applicable Validation CriteriaIdentification of the authorized Actor or process responsible for the Validation DecisionIdentification of the Evidence required to support the comparison and Validation DecisionConfirmation that the derived requirements collectively preserve the complete intent of MO-004The 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 decomposed into the following proposed replacement requirements:

Requirement Status

Issues

The following unresolved issues affect the decomposition of MO-004:

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.

This page preserves:

The Original RequirementThe assessment of the Original RequirementThe reason for decompositionTraceability to the proposed replacement requirementsThe unresolved cross-cutting issues affecting the decompositionThe supersession decisionMO-004a addresses comparison of selected Test Results with the controlling DIDO Baseline Test Results.

MO-004b addresses the Validation Decision made using the comparison result and the applicable Validation Criteria.

The child requirements must not combine Test Result comparison and the resulting Validation Decision into a single normative Statement.

The supporting requirements should define:

DIDO Baseline establishmentDIDO Baseline approvalDIDO Baseline VersioningDIDO Baseline Test Result selectionComparison Test Result selectionNode selectionNode modificationTest Definition selectionTest Environment selectionTest Run selectionTest Result characteristics subject to comparisonComparison methodsMeasurement conditionsMeasurement precisionPermitted exclusionsPermitted tolerancesEqualityDifferenceImprovementDegradationInconclusive comparisonValidation CriteriaValidation DecisionsIncomplete Test RunsTest Run Termination ReasonsEvidenceProvenanceTraceabilityMO-004 should not be marked as superseded until the requirement owner:

Confirms the authoritative Original Requirement and its controlling citationsApproves the interpretation of DIDO Baseline comparisonApproves the relationship between the comparison result and the Validation DecisionApproves MO-004aApproves MO-004bConfirms that the child requirements collectively preserve the complete approved intent of MO-004Confirms that no additional child requirements are requiredAfter 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, source records, and Traceability records.

Do not rename this page after an external citation unless a redirect or move plan is in place.

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