Implement part 1 of 2 of empty bodies in specs/numeric/bigint.t27

9b63ed5

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Sign in for the full log view

NotebookLM Gate on: push

🔒 NotebookLM notebook required

GitGuardian

GitGuardian Security Checks

Issue Gate on: pull_request_target

check-linked-issue

Harness scratch directories on: pull_request 1

No test binary shares one scratch directory

Damage Negatives on: pull_request 1

Damage negatives (false-positive fixtures)

Check Now Freshness on: pull_request 1

check

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

Conflict Markers on: pull_request 1

Conflict markers (no unresolved merges)

Schema Validation on: pull_request 1

validate

Gate Topology on: pull_request

gate-topology

cli-tri on: pull_request 2

cli-tri

Orphaned modules on: pull_request 1

Every source file is reachable from its crate root

Spec Guards on: pull_request 2

spec-guards

Documented Commands on: pull_request 1

Documented t27c subcommands exist

Catalog Count Invariant (CI-01) on: pull_request 1

count-invariant

Corpus Ratchet on: pull_request 3

Corpus ratchet (expected-failure ledger)

secret-scan on: pull_request

scan

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

PR Dashboard on: pull_request

pr-dashboard

PHI Loop CI on: pull_request

phi-loop-check

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Seal Coverage on: pull_request 2

coverage

NOW Sync Gate on: pull_request 2

check-now-freshness

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

emit-bitexact

Untrusted Input Gate on: pull_request

untrusted-input

Verilog Widths on: pull_request 1

Verilog widths (absurd-width ledger)

Withdrawn Number Gate on: pull_request 1

withdrawn-live

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

🔒 NotebookLM notebook required

succeeded Sep 16, 2026 in 9s

Loading

Re-running jobs...