phanerozoic / threshold-atmost5outof8

threshold-atmost5outof8

At-most-5-out-of-8 detector. Fires when 5 or fewer inputs are active. The sub-supermajority bound.

Circuit

  x₀ x₁ x₂ x₃ x₄ x₅ x₆ x₇
   │  │  │  │  │  │  │  │
   └──┴──┴──┴──┼──┴──┴──┴──┘
               ▼
          ┌─────────┐
          │ w: -1×8 │
          │ b:  +5  │
          └─────────┘
               │
               ▼
           HW ≤ 5?

Below Supermajority

This circuit blocks supermajority (≥6):

If you need 6/8 to pass something, AtMost5 detects when you don't have it.

Includes Bare Majority

Unlike AtMost4, this includes the minimal majority case. A 5-3 vote passes Majority but still fires AtMost5.

Coverage

Total: 163 of 256 inputs (63.7%). Same count as AtMost4 by symmetry.

Dual of AtLeast3

Under bit-flip, AtMost5 inputs map to AtLeast3 inputs.

Parameters

Usage

from safetensors.torch import load_file
import torch

w = load_file('model.safetensors')

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

# Bare majority: still below supermajority
print(atmost5([1,1,1,1,1,0,0,0]))  # 1

# Supermajority: fails
print(atmost5([1,1,1,1,1,1,0,0]))  # 0

Files

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

License

MIT