uor-prism-tensor 0.1.2

Prism standard-library tensor-compute sub-crate (wiki ADR-031): declares TensorAxis and ActivationAxis under the `axis!` SDK macro with CPU integer and fixed-point reference impls preserving bit-determinism per (H, B, A) selection.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

//! Layer-3 substrate-Term verbs per [Wiki ADR-024][09-adr-024] +
//! [Wiki ADR-055][09-adr-055] + [Wiki ADR-056][09-adr-056] (ψ-residuals
//! discipline scope refined to route bodies only — verb bodies admit
//! comparison + concat + hash composition).
//!
//! [09-adr-024]: https://github.com/UOR-Foundation/UOR-Framework/wiki/09-Architecture-Decisions
//! [09-adr-055]: https://github.com/UOR-Foundation/UOR-Framework/wiki/09-Architecture-Decisions
//! [09-adr-056]: https://github.com/UOR-Foundation/UOR-Framework/wiki/09-Architecture-Decisions

#![allow(missing_docs)]

use uor_foundation_sdk::{partition_product, verb};

// A single-byte W8 wrapper shape for compositional verbs over
// signed 8-bit values. Per ADR-056 verb bodies admit the full
// substrate vocabulary (concat for byte-packing, comparisons for
// saturation matches); the leaf-shape pattern follows the
// smoke-test convention (no PartitionProductFields impl on leaves).

pub struct W8Byte;
impl uor_foundation::pipeline::ConstrainedTypeShape for W8Byte {
    const IRI: &'static str = "https://uor.foundation/type/ConstrainedType";
    const SITE_COUNT: usize = 1;
    const CONSTRAINTS: &'static [uor_foundation::pipeline::ConstraintRef] = &[];
    const CYCLE_SIZE: u64 = 256;
}
impl uor_foundation::pipeline::__sdk_seal::Sealed for W8Byte {}
impl uor_foundation::enforcement::GroundedShape for W8Byte {}
impl uor_foundation::pipeline::IntoBindingValue for W8Byte {
    const MAX_BYTES: usize = 1;
    fn into_binding_bytes(
        &self,
        _out: &mut [u8],
    ) -> Result<usize, uor_foundation::enforcement::ShapeViolation> {
        Ok(0)
    }
}

partition_product!(BytePair, W8Byte, W8Byte);

// Substrate-Term `add_bytes(a, b)` — single-byte ring add at W8.
// Architectural witness that verb body composition over W8 leaves
// works through depth-1 partition-product field access.
verb! {
    pub fn add_bytes(input: BytePair) -> W8Byte {
        add(input.0, input.1)
    }
}

// Substrate-Term concat — admissible per ADR-056 (verb bodies have
// no ψ-residual discipline). Realizes the byte-packing primitive
// the canonical SHA pad-and-finalize composition uses.
verb! {
    pub fn concat_bytes(input: BytePair) -> W8Byte {
        concat(input.0, input.1)
    }
}

// `saturating_xor_bytes(a, b)` — the GF(2) overflow-free byte sum
// xor(a, b), shipped as the architectural witness for tensor
// saturation per ADR-054 § Substrate-Term realization examples.
// Per ADR-056 the broader Wn saturation path uses `match` over
// `ge(acc, sat_max)` comparisons (now admissible in verb bodies);
// the witness here demonstrates the no-overflow byte-add primitive
// the saturation composition reduces to for unsigned operands.
verb! {
    pub fn saturating_xor_bytes(input: BytePair) -> W8Byte {
        xor(input.0, input.1)
    }
}