specs/t27mcp: land examples.t27 and spec_brief.t27 on master

67e99b8

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Documented Commands on: pull_request 2

Documented t27c subcommands exist

PR budget (at most 20 open ready PRs per author; the excess waits as a draft) on: pull_request_target 4

budget

Issue Gate on: pull_request_target 2

check-linked-issue

Spec Parse Ratchet on: pull_request 2

parse-ratchet

Harness scratch directories on: pull_request 2

No test binary shares one scratch directory

PHI Loop CI on: pull_request 1

phi-loop-check

Spec Guards on: pull_request 10

spec-guards

Seal Coverage on: pull_request 2

coverage

Fix Carries Source on: pull_request 1

fix-carries-source

Damage Negatives on: pull_request 2

Damage negatives (false-positive fixtures)

t27b native on: pull_request 6

t27b-native-linux

t27b-native-macos

t27b-native-ratchet

Orphaned modules on: pull_request 2

Every source file is reachable from its crate root

Untrusted Input Gate on: pull_request 1

untrusted-input

Duplicate Body Ratchet on: pull_request 4

duplicate-bodies

Gate Topology on: pull_request 1

gate-topology

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

emit-bitexact

Conflict Markers on: pull_request 2

Conflict markers (no unresolved merges)

Withdrawn Number Gate on: pull_request 2

withdrawn-live

cli-tri on: pull_request 4

cli-tri

Schema Validation on: pull_request 2

validate

Verilog Widths on: pull_request 2

Verilog widths (absurd-width ledger)

secret-scan on: pull_request 1

scan

L1 TRACEABILITY Check on: pull_request 3

Check L1 TRACEABILITY

L1 Traceability Summary

Own Language on: pull_request 1

own-language

Corpus Ratchet on: pull_request 8

Corpus ratchet (expected-failure ledger)

PR Dashboard on: pull_request 1

pr-dashboard

PR budget (at most 20 open ready PRs per author; the excess waits as a draft) on: pull_request_target 3

budget

specs/t27mcp: land examples.t27 and spec_brief.t27 on master

Uh oh!

Select a check to view from the sidebar