ternlang-core 0.3.3

Compiler and VM for Ternlang — balanced ternary language with affirm/tend/reject trit semantics, @sparseskip codegen, and BET bytecode execution.
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

// Module:  stdlib/safety/conformal.tern
// Purpose: Conformal Prediction
// Author:  RFI-IRFOS
// Ref:     https://ternlang.com

// If the prediction set from conformal prediction includes multiple conflicting classes,
// it naturally returns 'tend', forcing the system to ask for clarification.

fn nonconformity_trit(score: float, threshold: float) -> trit {
    if score > threshold { return reject; } // Non-conforming
    return affirm; // Conforming
}

fn prediction_set_trit(scores: float[], threshold: float) -> trit {
    // If the set contains both affirm and reject classes, return tend.
    let count: int = 2; // simulated size
    if count > 1 { return tend; } // Ambiguous set
    return affirm;
}

fn coverage_guarantee_trit(coverage: float, target: float) -> trit {
    if coverage >= target { return affirm; }
    return reject;
}