Merge origin/master into fn-type-is-a-type-alias; re-date the NOW entry

f82c542

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Coq kernel on: push

build

NotebookLM Gate on: push

🔒 NotebookLM notebook required

Bootstrap Test Ratchet on: pull_request 4

test-ratchet

Issue Gate on: pull_request_target

check-linked-issue

Withdrawn Number Gate on: pull_request 1

withdrawn-live

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

Seal Staleness Warning on: pull_request 1

Warn if NMSE seal is stale vs compiler.rs

Untrusted Input Gate on: pull_request

untrusted-input

Documented Commands on: pull_request 1

Documented t27c subcommands exist

Check Now Freshness on: pull_request

check

Orphaned modules on: pull_request 1

Every source file is reachable from its crate root

PR Dashboard on: pull_request

pr-dashboard

secret-scan on: pull_request

scan

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)

Verilog Widths on: pull_request 1

Verilog widths (absurd-width ledger)

PHI Loop CI on: pull_request

phi-loop-check

Spec Guards on: pull_request 1

spec-guards

Harness scratch directories on: pull_request 1

No test binary shares one scratch directory

Conflict Markers on: pull_request 1

Conflict markers (no unresolved merges)

cli-tri on: pull_request 2

cli-tri

Corpus Ratchet on: pull_request 1

Corpus ratchet (expected-failure ledger)

Schema Validation on: pull_request 1

validate

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

emit-bitexact

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Seal Coverage on: pull_request 1

coverage

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

NOW Sync Gate on: pull_request

check-now-freshness

Gate Topology on: pull_request

gate-topology

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Select a check to view from the sidebar