feat(economic): a device can publish, and a stranger can verify, which leaves its registered root commits

dsm_client/deterministic_state_machine/dsm/src/common/domain_tags/dsm/misc/economic.rs

@@ -128,6 +128,15 @@ pub const TAG_DSM_ECON_SOURCE_VALIDATED_DLV_SETTLEMENT_PAYMENT: TaggedHashDomain
 /// witness). Transport proto — no CCB class.
 pub const TAG_DSM_DLV_SETTLEMENT_PAYMENT_EVIDENCE: TaggedHashDomain<'static> =
     crate::tagged_domain!(b"DSM/dlv-settlement-payment-evidence/v1");
+/// Immutable namespace for the GENERIC economic-inclusion proof
+/// (`EconomicProofArtifactV1`: a publisher, one named economic position and
+/// root, and one or more exact economic leaves with their 256-sibling paths).
+/// Transport proto — no CCB class. Distinct from the two semantic evidence
+/// namespaces above: those state WHY a credit is funded, this one only shows
+/// which leaves a validated root commits, and both directions of a settlement
+/// use the same object.
+pub const TAG_DSM_ECONOMIC_PROOF_ARTIFACT: TaggedHashDomain<'static> =
+    crate::tagged_domain!(b"DSM/economic-proof-artifact/v1");
 pub const TAG_DSM_ECON_SOURCE_SAME_TRANSITION_MOVE: TaggedHashDomain<'static> =
     crate::tagged_domain!(b"DSM/econ-source/same-transition-move/v1");
 

dsm_client/deterministic_state_machine/dsm/src/common/domain_tags/dsm/misc/mod.rs

@@ -65,6 +65,7 @@ pub(super) const TAGS: &[TaggedHashDomain<'static>] = &[
     TAG_DSM_DLV_RESERVE_CONSUMPTION_EVIDENCE,
     TAG_DSM_ECON_SOURCE_DLV_RESERVE_CONSUMPTION,
     TAG_DSM_DLV_SETTLEMENT_PAYMENT_EVIDENCE,
+    TAG_DSM_ECONOMIC_PROOF_ARTIFACT,
     TAG_DSM_ECON_SOURCE_SAME_TRANSITION_MOVE,
     TAG_DSM_ECON_SOURCE_VALIDATED_DLV_SETTLEMENT_PAYMENT,
     TAG_DSM_ERA_FAUCET_ID,

dsm_client/deterministic_state_machine/dsm/src/economic/mod.rs

@@ -66,6 +66,7 @@ pub mod lineage;
 pub mod mutation;
 pub mod peer_acceptance;
 pub mod peer_lineage;
+pub mod proof_artifact;
 pub mod provenance;
 pub mod register;
 pub mod release;