| { | |
| "name": "threshold-mux-mag7", | |
| "description": "2:1 multiplexer - minimum magnitude (proven optimal)", | |
| "task": "mux_gate", | |
| "architecture": "3 -> 2 -> 1", | |
| "inputs": 3, | |
| "outputs": 1, | |
| "neurons": 3, | |
| "layers": 2, | |
| "parameters": 11, | |
| "magnitude": 7, | |
| "activation": "heaviside", | |
| "weight_constraints": "integer", | |
| "optimality": { | |
| "proven": true, | |
| "proof_file": "optimality_proof.v", | |
| "proof_method": "exhaustive_coq_computation", | |
| "magnitudes_ruled_out": [0, 1, 2, 3, 4, 5, 6] | |
| }, | |
| "solutions": { | |
| "count": 4, | |
| "files": [ | |
| "solution1.safetensors", | |
| "solution2.safetensors", | |
| "solution3.safetensors", | |
| "solution4.safetensors" | |
| ] | |
| }, | |
| "verification": { | |
| "method": "coq_proof", | |
| "exhaustive": true, | |
| "inputs_tested": 8 | |
| }, | |
| "accuracy": { | |
| "all_inputs": "8/8", | |
| "percentage": 100.0 | |
| }, | |
| "properties": ["minimal_magnitude", "coq_verified"] | |
| } | |