feat(typecheck): report a type name that resolves to nothing

c622f60

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

NotebookLM Auto-Sync on: push

extract-issue

sync-activity

manual-sync

sync-notebook

GitGuardian

GitGuardian Security Checks

PR Dashboard on: pull_request

pr-dashboard

Orphaned modules on: pull_request 1

Every source file is reachable from its crate root

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

Check Now Freshness on: pull_request

check

Verilog Widths on: pull_request 1

Verilog widths (absurd-width ledger)

FPGA E2E Build on: pull_request 6

fpga-smoke

fpga-lint (read_verilog + hierarchy)

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

Damage Negatives on: pull_request 1

Damage negatives (false-positive fixtures)

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

cli-tri on: pull_request 3

cli-tri

Gate Topology on: pull_request

gate-topology

Schema Validation on: pull_request 1

validate

Documented Commands on: pull_request 1

Documented t27c subcommands exist

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

Harness scratch directories on: pull_request 1

No test binary shares one scratch directory

PHI Loop CI on: pull_request

phi-loop-check

Conflict Markers on: pull_request 1

Conflict markers (no unresolved merges)

Seal Staleness Warning on: pull_request 1

Warn if NMSE seal is stale vs compiler.rs

NOW Sync Gate on: pull_request

check-now-freshness

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

emit-bitexact

Corpus Ratchet on: pull_request 1

Corpus ratchet (expected-failure ledger)

Seal Coverage on: pull_request 2

coverage

Issue Gate on: pull_request_target

check-linked-issue

Withdrawn Number Gate on: pull_request 1

withdrawn-live

secret-scan on: pull_request

scan

Untrusted Input Gate on: pull_request 1

untrusted-input

Bootstrap Test Ratchet on: pull_request 2

test-ratchet

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

🔒 NotebookLM notebook required

succeeded Sep 7, 2026 in 8s

Loading

Re-running jobs...