Differences

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

--- dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:start [2026/07/17 07:32] – nick_dido
+++ dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:start [2026/07/31 07:08] (current) – nick_dido
@@ Line 3: / Line 3: @@
 [[dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:start|Go to Crucible Functional Requirements]]
-The Dependency Capture and Offline Transfer [[dido:99_annexes:annex-b-terms-and-definitions:f:functional_requirement|requirements]] define how [[dido:99_annexes:annex-b-terms-and-definitions:c:crucible|Crucible]] captures build dependencies, preserves those dependencies in a managed dependency store, produces a transfer bundle, populates repositories in a [[dido:99_annexes:annex-b-terms-and-definitions:d:disconnected_environment|Disconnected Environment]], and permits the dependency-store implementation to evolve without changing the dependency-capture contract.
+The [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency_capture|Dependency Capture]] and [[dido:99_annexes:annex-b-terms-and-definitions:o:offline_transfer|Offline Transfer]] [[dido:99_annexes:annex-b-terms-and-definitions:f:functional_requirement|requirements]] define how [[dido:99_annexes:annex-b-terms-and-definitions:c:crucible|Crucible]] captures [[dido:99_annexes:annex-b-terms-and-definitions:b:build_dependency|Build Dependencies]], preserves those dependencies in a managed [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency_store|Dependency Store]], produces a [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_bundle|Transfer Bundle]], populates [[dido:99_annexes:annex-b-terms-and-definitions:o:offline_repository|Offline Repositories]] in a [[dido:99_annexes:annex-b-terms-and-definitions:d:disconnected_environment|Disconnected Environment]], and permits the Dependency Store implementation to evolve without changing the Dependency Capture [[dido:99_annexes:annex-b-terms-and-definitions:c:contract]].
-Together, these [[dido:99_annexes:annex-b-terms-and-definitions:f:functional_requirement|requirements]] establish controlled dependency capture and [[dido:99_annexes:annex-b-terms-and-definitions:o:offline_transfer|Offline Transfer]] across a [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_boundary|Transfer Boundary]] while preserving applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_authorization|Transfer Authorization]], [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_bundle_integrity|Transfer Bundle Integrity]], [[dido:99_annexes:annex-b-terms-and-definitions:p:provenance|Provenance]], and [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]].
+Together, these requirements establish controlled Dependency Capture and Offline Transfer across a [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_boundary|Transfer Boundary]] while preserving the applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_authorization|Transfer Authorization]], [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_bundle_integrity|Transfer Bundle Integrity]], [[dido:99_annexes:annex-b-terms-and-definitions:p:provenance|Provenance]], and [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]].
 ===== Contents =====
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:fr-depc-001|FR-DEPC-001]]
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:fr-depc-002|FR-DEPC-002]]
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:fr-depc-003|FR-DEPC-003]]
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:fr-depc-004|FR-DEPC-004]]
-  * [[dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:fr-depc-005|FR-DEPC-005]]
+{{indexmenu>dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer#1|js navbar nocookie maxjs#1 id#crucible_dependency_capture_offline_transfer_requirements_nav}}
+===== Requirement Status =====
+<todo>Review and approve the Dependency Capture and Offline Transfer requirement set.</todo>
+<todo>Review and approve FR-DEPC-001 through FR-DEPC-005 as leaf requirements.</todo>
+----
+===== Issues =====
+<todo>Confirm that the requirement set distinguishes Dependency Capture, Dependency Store management, Transfer Bundle creation, Offline Repository population, and Dependency Store implementation independence without overlapping normative behavior.</todo>
+<todo>Confirm that requirements governing Offline Transfer identify the source environment, destination environment, Transfer Boundary, and required transfer result when the controlling source establishes that information.</todo>
+<todo>Confirm that requirements governing transfer across a Transfer Boundary identify the applicable Transfer Authorization and Transfer Bundle Integrity obligations.</todo>
+----
 ===== Notes for Editors =====
-The individual [[dido:99_annexes:annex-b-terms-and-definitions:f:functional_requirement|requirement]] pages should retain the stable identifiers ''FR-DEPC-001'' through ''FR-DEPC-005''.
+This page is a non-leaf requirement page and therefore retains a trailing '':start'' in its namespace.
-Individual requirement pages are leaf nodes and should not include a trailing '':start'' in their namespaces.
+The namespace for this page is:
-The Source Statement on each requirement page should preserve the original wording from the controlling System Requirements Specification.
+''dido:02-crusible:99-annexes:annex-c-requirements:03-functional-requirements:03-10-dependency-capture-and-offline-transfer:start''
-Normalized Statements should use direct, testable behavior and should identify, as applicable:
+Use the following controlling Terms and Definitions entries:
-  * The captured dependency
+  * [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency_capture|Dependency Capture]]
-  * The dependency-capture event
+  * [[dido:99_annexes:annex-b-terms-and-definitions:o:offline_transfer|Offline Transfer]]
-  * The dependency store
+  * [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_bundle|Transfer Bundle]]
-  * The transfer bundle
+  * [[dido:99_annexes:annex-b-terms-and-definitions:b:build_dependency|Build Dependency]]
+  * [[dido:99_annexes:annex-b-terms-and-definitions:o:offline_repository|Offline Repository]]
+  * [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency_store|Dependency Store]]
+The individual requirement pages retain the stable identifiers ''FR-DEPC-001'' through ''FR-DEPC-005''.
+Individual requirement pages are leaf nodes nested beneath the Dependency Capture and Offline Transfer namespace and omit a trailing '':start''.
+The Derived From section on each leaf requirement page preserves the original wording from the controlling System Requirements Specification.
+Normalized Statements use direct, testable behavior and identify the following only when the controlling source establishes that information:
+  * The captured Build Dependency
+  * The Dependency Capture event
+  * The Dependency Store
+  * The Transfer Bundle
   * The source environment
   * The destination environment
@@ Line 35: / Line 63: @@
   * The required result
-Requirements governing transfer across a Transfer Boundary should identify the applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_authorization|Transfer Authorization]] and the controls used to preserve [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_bundle_integrity|Transfer Bundle Integrity]].
+Requirements governing transfer across a Transfer Boundary identify the applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_authorization|Transfer Authorization]] and the controls used to preserve [[dido:99_annexes:annex-b-terms-and-definitions:t:transfer_bundle_integrity|Transfer Bundle Integrity]] only when the controlling source establishes those obligations.
-Requirements governing a [[dido:99_annexes:annex-b-terms-and-definitions:d:disconnected_environment|Disconnected Environment]] or [[dido:99_annexes:annex-b-terms-and-definitions:a:air-gapped_environment|Air-Gapped Environment]] should not assume access to external repositories or network services.
-The dependency-capture contract should remain independent of the internal representation or implementation of the dependency store unless a lower-level requirement explicitly establishes that constraint.
-Verification criteria should test only the behavior stated in the normalized Statement and should not introduce additional normative obligations.
-Incoming [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] should use the wiki Backlinks function rather than a manually maintained list.
+Requirements governing a [[dido:99_annexes:annex-b-terms-and-definitions:d:disconnected_environment|Disconnected Environment]] or [[dido:99_annexes:annex-b-terms-and-definitions:a:air-gapped_environment|Air-Gapped Environment]] do not assume access to external repositories or network services.
-To reference a requirement Statement from another wiki page, insert:
+The Dependency Capture contract remains independent of the internal representation or implementation of the Dependency Store unless a lower-level requirement explicitly establishes that constraint.
-<code dokuwiki>
+Verification criteria test only the behavior stated in the normalized Statement and do not introduce additional normative obligations.
-{{section><namespace>#Statement&noheader&nofooter&noeditbtn}}
-</code>
-Replace ''<namespace>'' with the namespace of the requirement leaf page.
+Incoming [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] uses the wiki Backlinks function rather than a manually maintained list.
-The section name following ''#'' SHALL match the section heading verbatim on the requirement page.
+Each leaf requirement page includes its actual namespace in the DokuWiki section-transclusion example.
 Do not rename a requirement page after an external citation unless a redirect or move plan is in place.