Logic Gate Circuit Simulator (Basic) implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-clean

Evidence ID

t6-042

Effect

Computation or source lookup only

Input and validation requirements

The specification does not define validation for non-Boolean input states or the polarity convention for 0 and 1. An input such as 2 must be rejected rather than evaluated, and active-high versus active-low interpretation can change displayed output labels.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "network": {
      "g1": {
        "type": "AND",
        "inputs": [
          "A",
          "B"
        ]
      },
      "g2": {
        "type": "OR",
        "inputs": [
          "B",
          "C"
        ]
      },
      "g3": {
        "type": "NOT",
        "inputs": [
          "C"
        ]
      },
      "g4": {
        "type": "XOR",
        "inputs": [
          "g1",
          "g2"
        ]
      },
      "g5": {
        "type": "NAND",
        "inputs": [
          "g4",
          "g3"
        ]
      },
      "g6": {
        "type": "NOR",
        "inputs": [
          "g1",
          "g3"
        ]
      },
      "outputs": [
        "g5",
        "g6"
      ]
    },
    "states": {
      "A": 0,
      "B": 0,
      "C": 0
    }
  },
  "expected_outputs": {
    "trace": {
      "g1": 0,
      "g2": 0,
      "g3": 1,
      "g4": 0,
      "g5": 1,
      "g6": 0
    },
    "outputs": {
      "g5": 1,
      "g6": 0
    }
  },
  "working": "g1 = A AND B = 0 AND 0 = 0. g2 = B OR C = 0 OR 0 = 0. g3 = NOT C = NOT 0 = 1. g4 = g1 XOR g2 = 0 XOR 0 = 0. g5 = NAND(g4,g3) = NOT(0 AND 1) = NOT 0 = 1. g6 = NOR(g1,g3) = NOT(0 OR 1) = NOT 1 = 0. Therefore outputs are g5=1 and g6=0. This is the all-zero input edge case."
}

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json
• evidence-tranche6/tranche6-results.json