coq(CorePhi): replace proofs that were never checked by a compiler

007b67f

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

Coq kernel on: push 1

build

NotebookLM Gate on: push

🔒 NotebookLM notebook required

Coq Proofs Validation on: push 3

compile-proofs

Issue Gate on: pull_request_target

check-linked-issue

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

Damage Negatives on: pull_request 1

Damage negatives (false-positive fixtures)

PHI Loop CI on: pull_request

phi-loop-check

PR Dashboard on: pull_request

pr-dashboard

Corpus Ratchet on: pull_request 1

Corpus ratchet (expected-failure ledger)

Verilog Widths on: pull_request 1

Verilog widths (absurd-width ledger)

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

secret-scan on: pull_request

scan

Withdrawn Number Gate on: pull_request 1

withdrawn-live

Coq kernel on: pull_request 1

build

cli-tri on: pull_request 3

build

Untrusted Input Gate on: pull_request

untrusted-input

Gate Topology on: pull_request

gate-topology

Documented Commands on: pull_request 1

Documented t27c subcommands exist

Seal Coverage on: pull_request 1

coverage

Coq Proofs Validation on: pull_request 3

compile-proofs

NOW Sync Gate on: pull_request

check-now-freshness

Orphaned modules on: pull_request 1

Every source file is reachable from its crate root

Check Now Freshness on: pull_request

check

Harness scratch directories on: pull_request 1

No test binary shares one scratch directory

Schema Validation on: pull_request 1

validate

Conflict Markers on: pull_request 1

Conflict markers (no unresolved merges)

coq(CorePhi): replace proofs that were never checked by a compiler

Uh oh!

Select a check to view from the sidebar