threshold-7outof8

Near-unanimity detector. Fires when 7 or more of 8 inputs are set.

Circuit

  x₀ x₁ x₂ x₃ x₄ x₅ x₆ x₇
   │  │  │  │  │  │  │  │
   └──┴──┴──┴──┼──┴──┴──┴──┘
               ▼
          ┌─────────┐
          │ w: all 1│
          │ b:  -7  │
          └─────────┘
               │
               ▼
            HW ≥ 7

Mechanism

• Sum = (number of 1s) - 7
• Fires when Hamming weight ≥ 7

Tolerates exactly one missing input. Almost-AND.

k-out-of-8 Family

Circuit	Bias	Fires when
...	...	...
6-out-of-8	-6	HW ≥ 6
7-out-of-8	-7	HW ≥ 7 (this)
8-out-of-8	-8	HW = 8

Parameters

Weights	[1, 1, 1, 1, 1, 1, 1, 1]
Bias	-7
Total	9 parameters

Usage

from safetensors.torch import load_file
import torch

w = load_file('model.safetensors')

def at_least_7(bits):
    inputs = torch.tensor([float(b) for b in bits])
    return int((inputs * w['weight']).sum() + w['bias'] >= 0)

Files

threshold-7outof8/
├── model.safetensors
├── model.py
├── config.json
└── README.md

License

MIT