Merge master into feat/hslm-vsa-ste; keep both own_model sides (Close…

01fc4ce

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Wasm Explorer on: push 6

build-and-test

Issue Gate on: pull_request_target 2

check-linked-issue

Spec Guards on: pull_request 9

spec-guards

Gate Topology on: pull_request 1

gate-topology

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

emit-bitexact

Seal Coverage on: pull_request 2

coverage

Harness scratch directories on: pull_request 2

No test binary shares one scratch directory

Own Language on: pull_request 1

own-language

Schema Validation on: pull_request 2

validate

t27b native on: pull_request 6

t27b-native-linux

t27b-native-macos

t27b-native-ratchet

Verilog Widths on: pull_request 2

Verilog widths (absurd-width ledger)

PR Dashboard on: pull_request 1

pr-dashboard

secret-scan on: pull_request 1

scan

PHI Loop CI on: pull_request 1

phi-loop-check

Fix Carries Source on: pull_request 2

fix-carries-source

Damage Negatives on: pull_request 2

Damage negatives (false-positive fixtures)

Duplicate Body Ratchet on: pull_request 1

duplicate-bodies

cli-tri on: pull_request 3

cli-tri

Orphaned modules on: pull_request 2

Every source file is reachable from its crate root

Withdrawn Number Gate on: pull_request 2

withdrawn-live

Untrusted Input Gate on: pull_request 1

untrusted-input

Corpus Ratchet on: pull_request 4

Corpus ratchet (expected-failure ledger)

L1 TRACEABILITY Check on: pull_request 3

Check L1 TRACEABILITY

L1 Traceability Summary

Spec Parse Ratchet on: pull_request 2

parse-ratchet

Documented Commands on: pull_request 2

Documented t27c subcommands exist

Conflict Markers on: pull_request 2

Conflict markers (no unresolved merges)

Fix Carries Source on: pull_request 1

fix-carries-source

Issue Gate on: pull_request_target 2

check-linked-issue

Merge master into feat/hslm-vsa-ste; keep both own_model sides (Close…

Uh oh!

Select a check to view from the sidebar