# V12 MeTTa Test Expressions (Exact Source)

## V12a: Conductance-Gated Abduction (Paradox Domain)

```metta
!(bind! &kb (new-space))
!(add-atom &kb (node A 0.8 0.9 0.6))
!(add-atom &kb (node B 0.3 0.4 0.3))
!(add-atom &kb (node C 0.5 0.7 0.5))
!(add-atom &kb (node D 0.1 0.2 0.1))
!(add-atom &kb (edge A B 0.31 1.0))
!(add-atom &kb (edge B C 0.25 1.0))
!(add-atom &kb (edge C A 0.28 0.9))
!(add-atom &kb (edge B D 0.05 0.3))

(= (sti $n) (match &kb (node $n $s $c $u) $s))
(= (conf $n) (match &kb (node $n $s $c $u) $c))
(= (util $n) (match &kb (node $n $s $c $u) $u))
(= (g-val $i $j) (match &kb (edge $i $j $g $gt) $g))
(= (gate-val $i $j) (match &kb (edge $i $j $g $gt) $gt))
(= (abs $x) (if (< $x 0.0) (* -1.0 $x) $x))
(= (transport $i $j)
   (let $si (sti $i) (let $sj (sti $j) (let $ui (util $i) (let $uj (util $j)
   (let $g (g-val $i $j) (let $gt (gate-val $i $j)
   (* $g (* $gt (+ (- $sj $si) (* 0.3 (- $uj $ui))))))))))))
(= (transport-cost $i $j)
   (let $t (abs (transport $i $j))
     (let $raw (- 1.0 (* $t 5.0))
       (if (< $raw 0.2) 0.2 (if (> $raw 5.0) 5.0 $raw)))))

!(transport-cost A B)
!(transport-cost B C)
!(transport-cost C A)
!(transport-cost B D)
```

## V12b: Uniform Baseline (No Conductance Gating)

```metta
(= (uniform-cost $i $j) 1.0)

!(bc-step-uniform C A B 0.9 0.9 5.0)
!(rbc-uniform C A 5.0)
!(rbc-uniform A B 5.0)
```

## V12c: Epistemic Floor Measurement

```metta
!(|- ((--> hypothesis_C hypothesis_C) (stv 0.72 0.729))
     ((--> hypothesis_C hypothesis_C) (stv 0.85 0.7)))

!(|- ((--> hypothesis_C hypothesis_C) (stv 0.72 0.729))
     ((--> hypothesis_C hypothesis_C) (stv 0.7 0.8)))
```

## V12d: Adversarial Stress Test (12 Nodes)

```metta
!(add-atom &kb (node E 0.1 0.1 0.05))
!(add-atom &kb (node F 0.15 0.2 0.1))
!(add-atom &kb (node G 0.05 0.1 0.02))
!(add-atom &kb (node H 0.2 0.15 0.08))
!(add-atom &kb (node I 0.08 0.1 0.03))
!(add-atom &kb (node J 0.12 0.15 0.06))
!(add-atom &kb (node K 0.03 0.05 0.01))
!(add-atom &kb (node L 0.07 0.1 0.04))
!(add-atom &kb (edge B E 0.04 0.5))
!(add-atom &kb (edge B F 0.07 0.4))
!(add-atom &kb (edge C G 0.03 0.3))
!(add-atom &kb (edge C H 0.06 0.6))
!(add-atom &kb (edge E I 0.02 0.2))
!(add-atom &kb (edge F J 0.05 0.3))
!(add-atom &kb (edge G K 0.01 0.1))
!(add-atom &kb (edge H L 0.04 0.4))
!(add-atom &kb (edge I J 0.03 0.2))
!(add-atom &kb (edge J K 0.02 0.1))
!(add-atom &kb (edge K L 0.01 0.1))
!(add-atom &kb (edge L E 0.03 0.2))

!(rbc-gated C A 5.0)
!(rbc-uniform C A 5.0)
```