8-bit zero detector, magnitude 8

README.md

@@ -0,0 +1,37 @@
+---
+license: mit
+tags:
+- pytorch
+- safetensors
+- threshold-logic
+- neuromorphic
+---
+
+# threshold-iszero8
+
+8-bit zero detector. Outputs 1 if all 8 input bits are zero.
+
+## Function
+
+iszero8(b0..b7) = 1 if all bits are 0, else 0
+
+Equivalent to 8-input NOR gate.
+
+## Architecture
+
+Single neuron: weights [-1, -1, -1, -1, -1, -1, -1, -1], bias 0
+
+## Parameters
+
+| | |
+|---|---|
+| Inputs | 8 |
+| Outputs | 1 |
+| Neurons | 1 |
+| Layers | 1 |
+| Parameters | 9 |
+| Magnitude | 8 |
+
+## License
+
+MIT

config.json

@@ -0,0 +1,9 @@
+{
+  "name": "threshold-iszero8",
+  "description": "8-bit zero detector",
+  "inputs": 8,
+  "outputs": 1,
+  "neurons": 1,
+  "layers": 1,
+  "parameters": 9
+}

create_safetensors.py

@@ -0,0 +1,24 @@
+import torch
+from safetensors.torch import save_file
+
+weights = {
+    'neuron.weight': torch.tensor([[-1.0] * 8], dtype=torch.float32),
+    'neuron.bias': torch.tensor([0.0], dtype=torch.float32)
+}
+save_file(weights, 'model.safetensors')
+
+def iszero8(bits):
+    inp = torch.tensor([float(b) for b in bits])
+    return int((inp @ weights['neuron.weight'].T + weights['neuron.bias'] >= 0).item())
+
+print("Verifying iszero8...")
+errors = 0
+for i in range(256):
+    bits = [(i >> j) & 1 for j in range(8)]
+    result = iszero8(bits)
+    expected = 1 if i == 0 else 0
+    if result != expected:
+        errors += 1
+if errors == 0:
+    print("All 256 test cases passed!")
+print(f"Magnitude: {sum(t.abs().sum().item() for t in weights.values()):.0f}")

model.py

@@ -0,0 +1,16 @@
+import torch
+from safetensors.torch import load_file
+
+def load_model(path='model.safetensors'):
+    return load_file(path)
+
+def iszero8(bits, weights):
+    inp = torch.tensor([float(b) for b in bits])
+    return int((inp @ weights['neuron.weight'].T + weights['neuron.bias'] >= 0).item())
+
+if __name__ == '__main__':
+    w = load_model()
+    print('iszero8: outputs 1 only for input 00000000')
+    for i in [0, 1, 128, 255]:
+        bits = [(i >> j) & 1 for j in range(8)]
+        print(f'  {i:08b} -> {iszero8(bits, w)}')