verify: make ternary_mul exhaustive, and say where the others are sam…

e0906d2

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

GitGuardian

GitGuardian Security Checks

.github/workflows/auto-merge-ready-prs.yml on: push 1

NotebookLM Gate on: push 1

🔒 NotebookLM notebook required

Issue Gate on: pull_request_target

check-linked-issue

NOW Sync Gate on: pull_request 1

check-now-freshness

Withdrawn Number Gate on: pull_request 2

withdrawn-live

Check Now Freshness on: pull_request 1

check

NotebookLM Gate on: pull_request 1

🔒 NotebookLM notebook required

secret-scan on: pull_request 1

scan

PR Dashboard on: pull_request 1

pr-dashboard

L1 TRACEABILITY Check on: pull_request 2

Check L1 TRACEABILITY

L1 Traceability Summary

Emit Bit-Exact Gate (CI-02) on: pull_request 2

emit-bitexact

NotebookLM Auto-Sync on: pull_request 4

extract-issue

sync-activity

manual-sync

sync-notebook

Schema Validation on: pull_request 2

validate

SEAL Coverage on: pull_request 1

coverage

PHI Loop CI on: pull_request 1

phi-loop-check