nx_commons_witness_gate.nx
buildroot/runtime/nx_commons_witness_gate.nx
about
nx_commons_witness_gate.nx -- proves the witness producer against the rule it was matched from.
Both improvements over nx_trust_corroborate are BITE-PROVEN, not asserted: each must FIRE on the
known-good rule and be SILENT on the new one. T1/T4 are the negative controls -- an attestation rule
that admits nothing is not a detector, it is a wall, and one that ignores the hearsay floor is not a
rule at all.
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_gate_verdict.nxnx_commons_witness.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 11 | const WG_STRIDE: i64 = 64 |
| 12 | const WG_LEN: i64 = 32 |
| 13 | const WG_TRUE: i64 = 170 // 0xAA -- the honest view of the contribution record |
| 14 | const WG_POISON: i64 = 187 // 0xBB -- a fabricated view |
| 15 | const WG_GIVER: i64 = 7 |
| 16 | const WG_RECV: i64 = 9 |
| 17 | const WG_K: i64 = 2 |
functions
| 19 | func wg_fill(dst: *u8, off: i64, len: i64, val: i64) -> i64 called by 1: main |
| 25 | func main() -> i64 |