Struct Df64VjpRule 

pub struct Df64VjpRule;

Reverse-mode rule for the contribution’s operations.

The total sum’s adjoint is a broadcast, and the conversions are linear, so their adjoint swaps the two directions. None of them reads the primal value, so the rule declares no residual.

Examples

use tenferro_ad::semantic_extension::{SemanticExtensionRuleSet, SemanticPrimalVjpRule};
use tenferro_df64_proof::ad::Df64VjpRule;

let rule = Df64VjpRule;
assert_eq!(
    <Df64VjpRule as SemanticPrimalVjpRule>::family_id(&rule),
    "tenferro-df64-proof.df64_ops.v1"
);

// The rule set a downstream application installs.
let rules = SemanticExtensionRuleSet::new()
    .with_primal_vjp(std::sync::Arc::new(rule))
    .expect("one rule per family");
assert!(rules.lookup_primal_vjp("tenferro-df64-proof.df64_ops.v1").is_some());

Trait Implementations

impl Debug for Df64VjpRule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl SemanticPrimalVjpRule for Df64VjpRule

fn family_id(&self) -> &'static str

Return the versioned extension family handled by this rule.

fn residual_mask(&self) -> ResidualSpec

Declare which primal input/output indices this rule reads as tensor residuals. Indices not declared may only be accessed through metadata.

fn primal_vjp( &self, request: SemanticPrimalVjpRequest<'_>, builder: &mut SemanticProgramBuilder, ) -> Result<Box<[AdValue]>, SemanticAdError>

Emit ordered optional input cotangents into builder.