Public evidence

electrical.digital.logic_gate

Machine-checked verification for calculation version 1.0.0 · tier expert_verified

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Ideal combinatorial bits only · Protocol · Schema · Production report

Declared partition coverage: PASS · 2/2 declared partitions (gates, invalid-domain)
Versions: Calculation 1.0.0 · CVP protocol 1.0.0-proposed
CVP identity: 2/2 property · digest debd31f2f3aa

Verification

Legacy regression suite: 7/7 calculation tests · Production surface contract 4/4

Three distinct suites: educational examples on the calculator page, this legacy regression count (7/7 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

This calculator CURRENT · Public schema 1.0.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Calculation version 1.0.0. CVP 1.0.0-proposed. 2/2 golden · 3/3 CVP boundary · 3/3 invalid · 2/2 property · 1/1 cross-interface · 1/1 CVP contract. digest debd31f2f3aa.

Golden (oracle-backed) 2 / 2
CVP boundary 3 / 3
Invalid input 3 / 3
Property 2 / 2
Cross-interface 1 / 1
CVP contract 1 / 1
Interfaces PASS · UI (SSR) / REST / MCP
Interface claim ui-ssr is query-result HTML, not a live browser session.
Assurance Engineering

release artifacts aligned PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS

Fingerprint sha256:b12a69e93c06a92b53ac044e4c600f34b5917643856a3418bb1ae233adfb0e97

Input schema sha256:c94eecbac04975e5ab6dfd28fb6f2c11bb23322bd4deb29e46d713b86170c783 · Output schema sha256:ee9481ed53e7aa646c9cc972dffe03917724bda4af624228c354f1b98d8c91bf · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool: logic-gate
Engine: logic-gate
Engine build: 2026-09-10
Evidence core: 2026-09-06T13:16:40.891Z
Rendered: 2026-09-16T22:03:43.745Z
Last reviewed: 2026-08-08

Limitations

Combinational Boolean only

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Digital design — gate primitives — Truth tables
Supports: AND/OR/NOT/XOR definitions
IEEE Std 1364 / digital logic practice — Boolean operators
Supports: Combinatorial gate semantics

Legacy published checks

Golden and boundary cases from the legacy Evidence JSON. CVP property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the Manifest — including SKIP when a suite has no vectors.

ID	Kind	Status	Detail
`xor`	golden	pass	Expected Y=1 · Actual mode=xor · A=1 · B=0 · Y=1
`and`	golden	pass	Expected Y=1 · Actual mode=and · A=1 · B=1 · Y=1
`bad-mode`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`bad-bit`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`boundary-logic-bad`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`property-xor`	property	pass	1
`property-not`	property	pass	0