spec(t27mcp): seal_verdict -- the seal receipt of t27_spec (#10066)

e60102a

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

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 8

check-linked-issue

Duplicate Body Ratchet on: pull_request 1

duplicate-bodies

cli-tri on: pull_request 3

cli-tri

Seal Coverage on: pull_request 2

coverage

Damage Negatives on: pull_request 2

Damage negatives (false-positive fixtures)

L1 TRACEABILITY Check on: pull_request 4

Check L1 TRACEABILITY

L1 Traceability Summary

Conflict Markers on: pull_request 2

Conflict markers (no unresolved merges)

Verilog Widths on: pull_request 2

Verilog widths (absurd-width ledger)

secret-scan on: pull_request 1

scan

Schema Validation on: pull_request 2

validate

Corpus Ratchet on: pull_request 4

Corpus ratchet (expected-failure ledger)

Gate Topology on: pull_request 1

gate-topology

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

emit-bitexact

Withdrawn Number Gate on: pull_request 2

withdrawn-live

Fix Carries Source on: pull_request 1

fix-carries-source

Documented Commands on: pull_request 2

Documented t27c subcommands exist

Untrusted Input Gate on: pull_request 1

untrusted-input

PR Dashboard on: pull_request 1

pr-dashboard

Orphaned modules on: pull_request 2

Every source file is reachable from its crate root

PHI Loop CI on: pull_request 1

phi-loop-check

Spec Parse Ratchet on: pull_request 2

parse-ratchet

Own Language on: pull_request 1

own-language

Spec Guards on: pull_request 10

spec-guards

t27b native on: pull_request 6

t27b-native-linux

t27b-native-macos

t27b-native-ratchet

Harness scratch directories on: pull_request 2

No test binary shares one scratch directory

Fix Carries Source on: pull_request 1

fix-carries-source

Issue Gate on: pull_request_target 2

check-linked-issue

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

budget

spec(t27mcp): seal_verdict -- the seal receipt of t27_spec (#10066)

Uh oh!

Select a check to view from the sidebar