feat(t27b): bench prose clauses lower to nothing; scalar fields set f…

90de0f3

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Spec Parse Ratchet on: pull_request 2

parse-ratchet

Conflict Markers on: pull_request 2

Conflict markers (no unresolved merges)

Schema Validation on: pull_request 2

validate

cli-tri on: pull_request 3

cli-tri

Damage Negatives on: pull_request 2

Damage negatives (false-positive fixtures)

PR Dashboard on: pull_request 1

pr-dashboard

FPGA E2E Build on: pull_request 16

fpga-smoke

fpga-lint (read_verilog + hierarchy)

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

Harness scratch directories on: pull_request 2

No test binary shares one scratch directory

Fix Carries Source on: pull_request 1

fix-carries-source

Seal Coverage on: pull_request 3

coverage

Verilog Widths on: pull_request 2

Verilog widths (absurd-width ledger)

Untrusted Input Gate on: pull_request 1

untrusted-input

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

emit-bitexact

Documented Commands on: pull_request 2

Documented t27c subcommands exist

L1 TRACEABILITY Check on: pull_request 2

Check L1 TRACEABILITY

L1 Traceability Summary

Duplicate Body Ratchet on: pull_request 1

duplicate-bodies

PHI Loop CI on: pull_request 1

phi-loop-check

Gate Topology on: pull_request 1

gate-topology

Orphaned modules on: pull_request 2

Every source file is reachable from its crate root

secret-scan on: pull_request 1

scan

Withdrawn Number Gate on: pull_request 2

withdrawn-live

Corpus Ratchet on: pull_request 2

Corpus ratchet (expected-failure ledger)

Issue Gate on: pull_request_target 2

feat(t27b): bench prose clauses lower to nothing; scalar fields set f…

Uh oh!

Select a check to view from the sidebar