Merge remote-tracking branch 'origin/master' into narrowing-at-declar…

9ead240

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

NotebookLM Gate on: push

🔒 NotebookLM notebook required

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

Bootstrap Test Ratchet on: pull_request 2

test-ratchet

PR Dashboard on: pull_request

pr-dashboard

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

Conflict Markers on: pull_request 1

Conflict markers (no unresolved merges)

Issue Gate on: pull_request_target

check-linked-issue

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Seal Staleness Warning on: pull_request 1

Warn if NMSE seal is stale vs compiler.rs

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

emit-bitexact

Untrusted Input Gate on: pull_request

untrusted-input

Corpus Ratchet on: pull_request 3

Corpus ratchet (expected-failure ledger)

Gate Topology on: pull_request

gate-topology

Schema Validation on: pull_request 1

validate

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

Seal Coverage on: pull_request 2

coverage

PHI Loop CI on: pull_request

phi-loop-check

Withdrawn Number Gate on: pull_request 1

withdrawn-live

Damage Negatives on: pull_request 1

Damage negatives (false-positive fixtures)

Verilog Widths on: pull_request 1

Verilog widths (absurd-width ledger)

secret-scan on: pull_request

scan

NOW Sync Gate on: pull_request

check-now-freshness

Check Now Freshness on: pull_request

check

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Select a check to view from the sidebar