dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:start

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:start [2026/08/06 08:37] – removed - external edit (Unknown date) 127.0.0.1dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-004:start [2026/08/06 08:47] (current) – nick_dido
Line 1: Line 1:
 +====== MO-004 — DIDO Baseline Comparison and Validation ======
  
 +[[dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:start|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.//
 +
 +<todo>Identify the authoritative source requirements, original requirement identifiers, and controlling citations for the DIDO Baseline comparison and Validation objective.</todo>
 +
 +===== Assessment of Original Requirement =====
 +
 +The Original Requirement preserves mission-level intent for establishing reference results, comparing subsequent [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] with those reference results, identifying differences, and using the comparison to support [[dido:99_annexes:annex-b-terms-and-definitions:v:validation|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 [[dido:99_annexes:annex-b-terms-and-definitions:a:actor|Actor]]
 +  * **Creating** does not use an explicit normative modal
 +  * **Baseline results** does not identify the Test Results selected for inclusion in the [[dido:99_annexes:annex-b-terms-and-definitions:b:baseline|Baseline]]
 +  * **Validated nodes** does not identify the applicable [[dido:99_annexes:annex-b-terms-and-definitions:v:validation_criteria|Validation Criteria]]
 +  * **Validated nodes** does not identify the [[dido:99_annexes:annex-b-terms-and-definitions:v:validation_decision|Validation Decision]] establishing the validation status of each [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Node]]
 +  * **Comparing them** uses an ambiguous pronoun
 +  * **Tests with modified nodes** does not identify the selected [[dido:99_annexes:annex-b-terms-and-definitions:t:test_run|Test Runs]], Test Results, Nodes, Node modifications, or controlling [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configurations]]
 +  * **Identify discrepancies or improvements** does not identify the characteristics subject to comparison
 +  * **Discrepancies** does not identify the difference, measurement, tolerance, or comparison method
 +  * **Improvements** does not identify the direction, magnitude, or criteria constituting improvement
 +  * **Any changes or updates** is open-ended and does not identify the changes subject to Validation
 +  * **The system** does not identify the applicable [[dido:99_annexes:annex-b-terms-and-definitions:d:distributed_system|Distributed System]]
 +  * **Validated against a known benchmark** does not identify the controlling Baseline, Baseline Version, Validation Criteria, or Acceptance Criteria
 +  * **Enhancing reliability and trust** describes an intended benefit rather than an observable DIDO-TE behavior
 +  * **Trust** is subjective and does not establish an objectively verifiable outcome
 +  * The source does not distinguish the comparison result from the resulting Validation Decision
 +  * The source does not identify the required [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]], [[dido:99_annexes:annex-b-terms-and-definitions:p:provenance|Provenance]], or [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]]
 +
 +The source combines at least two independently verifiable outcomes:
 +
 +  * Comparison of selected Test Results with the controlling DIDO Baseline Test Results
 +  * Production of a Validation Decision using the comparison result and applicable Validation Criteria
 +
 +These 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:
 +
 +  * Equality
 +  * Difference
 +  * Direction of difference
 +  * Magnitude of difference
 +  * Difference within an applicable tolerance
 +  * Difference outside an applicable tolerance
 +  * Insufficient information to complete the comparison
 +
 +The Validation Decision can determine:
 +
 +  * The applicable Validation Criteria are satisfied
 +  * The applicable Validation Criteria are not satisfied
 +  * Available information is insufficient to make a conclusive decision
 +
 +The Original Requirement therefore requires:
 +
 +  * Identification of [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] as the responsible Actor
 +  * Replacement of nonnormative language with explicit normative obligations
 +  * Identification of the controlling DIDO Baseline
 +  * Identification of the controlling DIDO Baseline Version
 +  * Identification of the DIDO Baseline Test Results
 +  * Identification of the selected comparison Test Results
 +  * Identification of the characteristics subject to comparison
 +  * Identification of the comparison method
 +  * Identification of the applicable measurement precision and tolerances
 +  * Separation of Baseline comparison from the Validation Decision
 +  * Identification of the applicable Validation Criteria
 +  * Identification of the authorized Actor or process responsible for the Validation Decision
 +  * Identification of the Evidence required to support the comparison and Validation Decision
 +  * 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 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:
 +
 +{{indexmenu>dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-004#1|js navbar nocookie maxjs#1 id#dido_te_mo_004_requirements_nav}}
 +
 +===== Requirement Status =====
 +
 +<todo>Review and approve the decomposition of MO-004 into MO-004a and MO-004b.</todo>
 +
 +<todo>Determine whether MO-004a and MO-004b collectively supersede MO-004.</todo>
 +
 +<todo>If MO-004a and MO-004b 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 authoritative source requirements, original requirement identifiers, and controlling citations for the DIDO Baseline comparison and Validation objective.</todo>
 +
 +<todo>Determine whether DIDO Baseline requires a separate shared Terms and Definitions entry or identifies a DIDO-specific application of Baseline.</todo>
 +
 +<todo>Determine whether Baseline Test Result requires a separate shared Terms and Definitions entry.</todo>
 +
 +<todo>Define the criteria for selecting Test Results for inclusion in a DIDO Baseline.</todo>
 +
 +<todo>Define the Validation Criteria and Validation Decision establishing that a Node is a validated Node.</todo>
 +
 +<todo>Define the changes to a Node that cause the Node to be classified as a modified Node.</todo>
 +
 +<todo>Define the relationship among the controlling DIDO Baseline, the selected Nodes, the modified Nodes, the selected Test Definition, the selected Test Environment, and the selected Test Runs.</todo>
 +
 +<todo>Define the Test Result characteristics subject to comparison.</todo>
 +
 +<todo>Define the comparison methods, measurement conditions, precision, exclusions, and tolerances.</todo>
 +
 +<todo>Define how DIDO-TE classifies equality, difference, improvement, degradation, and inconclusive comparison results.</todo>
 +
 +<todo>Define the treatment of missing, invalid, incomplete, incompatible, or unavailable DIDO Baseline Test Results.</todo>
 +
 +<todo>Define the treatment of Incomplete Test Runs used to produce DIDO Baseline Test Results or comparison Test Results.</todo>
 +
 +<todo>Define the effect of each applicable Test Run Termination Reason on DIDO Baseline comparison and Validation.</todo>
 +
 +<todo>Define the Evidence required to support each comparison result and Validation Decision.</todo>
 +
 +<todo>Determine whether MO-004a and MO-004b 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.
 +
 +This page preserves:
 +
 +  * The Original Requirement
 +  * The assessment of the Original Requirement
 +  * The reason for decomposition
 +  * Traceability to the proposed replacement requirements
 +  * The unresolved cross-cutting issues affecting the decomposition
 +  * The supersession decision
 +
 +MO-004a addresses comparison of selected [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] with the controlling DIDO [[dido:99_annexes:annex-b-terms-and-definitions:b:baseline|Baseline]] Test Results.
 +
 +MO-004b addresses the [[dido:99_annexes:annex-b-terms-and-definitions:v:validation_decision|Validation Decision]] made using the comparison result and the applicable [[dido:99_annexes:annex-b-terms-and-definitions:v:validation_criteria|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 establishment
 +  * DIDO Baseline approval
 +  * DIDO Baseline Versioning
 +  * DIDO Baseline Test Result selection
 +  * Comparison Test Result selection
 +  * Node selection
 +  * Node modification
 +  * Test Definition selection
 +  * Test Environment selection
 +  * Test Run selection
 +  * Test Result characteristics subject to comparison
 +  * Comparison methods
 +  * Measurement conditions
 +  * Measurement precision
 +  * Permitted exclusions
 +  * Permitted tolerances
 +  * Equality
 +  * Difference
 +  * Improvement
 +  * Degradation
 +  * Inconclusive comparison
 +  * Validation Criteria
 +  * Validation Decisions
 +  * Incomplete Test Runs
 +  * Test Run Termination Reasons
 +  * Evidence
 +  * Provenance
 +  * Traceability
 +
 +MO-004 should not be marked as superseded until the requirement owner:
 +
 +  * Confirms the authoritative Original Requirement and its controlling citations
 +  * Approves the interpretation of DIDO Baseline comparison
 +  * Approves the relationship between the comparison result and the Validation Decision
 +  * Approves MO-004a
 +  * Approves MO-004b
 +  * 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, source records, and Traceability records.
 +
 +Do not rename this page after an external citation unless a redirect or move plan is in place.
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>