ternlang-core 1.3.5

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
25
26
27
28
29



// Module:  stdlib/reasoning/contradiction.tern
// Purpose: Handling Logical Contradiction in Ternary
// Author:  RFI-IRFOS
// Ref:     https://ternlang.com

// In binary logic, A AND NOT A is a crash or a false.
// In ternary, consensus(affirm, reject) = tend. 
// Contradiction is not an error; it is a request for more information.

fn identify_contradiction(a: trit, b: trit) -> trit {
    if a == affirm {
        if b == reject {
            return affirm; // Contradiction detected
        }
    }
    if a == reject {
        if b == affirm {
            return affirm; // Contradiction detected
        }
    }
    return reject; // No contradiction
}

fn resolve_via_tend(a: trit, b: trit) -> trit {
    // If they contradict, the result is 'tend' (hold for more data).
    return consensus(a, b);
}