Type Alias TargetCommitment 

pub type TargetCommitment = SingletonCommitment<LexicographicLessEqThreshold>;

Wiki ADR-048 + ADR-040 canonical search-cost commitment alias. TargetCommitment = SingletonCommitment<LexicographicLessEqThreshold> — a single typed predicate enforcing digest <= target (big-endian unsigned comparison). Realizes the type:LexicographicLessEqBound bound-shape primitive’s dispatch path per ADR-040; consumed as the canonical search-cost commitment in Bitcoin-PoW-style payload encodings and ZK proof-system difficulty commitments.

Example

use uor_foundation::pipeline::{LexicographicLessEqThreshold, TargetCommitment, SingletonCommitment};
const TARGET: &[u8] = &[0x00, 0x00, 0xFF, 0xFF, 0xFF, 0xFF];
const C: TargetCommitment = SingletonCommitment {
    predicate: LexicographicLessEqThreshold { target: TARGET },
};

Aliased Type

pub struct TargetCommitment {
    pub predicate: LexicographicLessEqThreshold,
}

Fields

predicate: LexicographicLessEqThreshold

The wrapped typed-observable predicate.