specs: rename the duplicated test names instead of deleting them

47268e9

Select commit

Loading

Failed to load commit list.

Uh oh!

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

NotebookLM Gate on: push

🔒 NotebookLM notebook required

GitGuardian

GitGuardian Security Checks

Harness scratch directories on: pull_request 1

No test binary shares one scratch directory

Verilog Widths on: pull_request 1

Verilog widths (absurd-width ledger)

Damage Negatives on: pull_request 1

Damage negatives (false-positive fixtures)

Seal Coverage on: pull_request 1

coverage

Untrusted Input Gate on: pull_request 1

untrusted-input

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

Check Now Freshness on: pull_request

check

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

Corpus Ratchet on: pull_request 1

Corpus ratchet (expected-failure ledger)

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

emit-bitexact

Spec Guards on: pull_request 1

spec-guards

cli-tri on: pull_request 2

cli-tri

secret-scan on: pull_request

scan

Schema Validation on: pull_request 1

validate

Gate Topology on: pull_request 1

gate-topology

Orphaned modules on: pull_request 1

Every source file is reachable from its crate root

Documented Commands on: pull_request 1

Documented t27c subcommands exist

Conflict Markers on: pull_request 1

Conflict markers (no unresolved merges)

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

PHI Loop CI on: pull_request

phi-loop-check

PR Dashboard on: pull_request

pr-dashboard

Withdrawn Number Gate on: pull_request 1

withdrawn-live

Issue Gate on: pull_request_target

check-linked-issue

NOW Sync Gate on: pull_request

check-now-freshness

specs: rename the duplicated test names instead of deleting them

Uh oh!

Select a check to view from the sidebar