Base Converter & Bitwise Toolkit 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-with-binding-errata

Evidence ID

t2-021

Effect

Computation or source lookup only

Input and validation requirements

The invalid base-2 digit input has no defined numeric value and must be rejected. The specification does not state the required validation behavior, and negative-input display conventions are also underspecified.

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": {
    "number": "173",
    "source_base": 10,
    "bit_width": 8,
    "operand": "90",
    "operation": "all",
    "shift": 2
  },
  "expected_outputs": {
    "binary": "10101101",
    "octal": "255",
    "decimal": 173,
    "hex": "AD",
    "twos_complement_signed": -83,
    "AND": {
      "binary": "10001000",
      "octal": "210",
      "decimal": 136,
      "hex": "88"
    },
    "OR": {
      "binary": "11111111",
      "octal": "377",
      "decimal": 255,
      "hex": "FF"
    },
    "XOR": {
      "binary": "01110111",
      "octal": "167",
      "decimal": 119,
      "hex": "77"
    },
    "NOT": {
      "binary": "01010010",
      "octal": "122",
      "decimal": 82,
      "hex": "52"
    },
    "left_shift_2": {
      "binary": "10110100",
      "octal": "264",
      "decimal": 180,
      "hex": "B4"
    },
    "logical_right_shift_2": {
      "binary": "00101011",
      "octal": "053",
      "decimal": 43,
      "hex": "2B"
    }
  },
  "working": "173 = 1×10^2 + 7×10 + 3 = 100 + 70 + 3. 173 = 128 + 32 + 8 + 4 + 1 = 10101101₂ = AD₁₆ = 255₈. 90 = 64 + 16 + 8 + 2 = 01011010₂. AND: 10101101 AND 01011010 = 10001000₂ = 136. OR: 10101101 OR 01011010 = 11111111₂ = 255. XOR: 10101101 XOR 01011010 = 01110111₂ = 119. NOT: 11111111₂ - 10101101₂ = 01010010₂ = 82. Signed two's complement: 173 - 256 = -83. Left shift: 173×2^2 = 692; 692 mod 256 = 180 = B4₁₆. Logical right shift: floor(173/2^2) = floor(43.25) = 43 = 2B₁₆."
}

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-tranche2/tranche2-results.json