proofs: cite the --cubical-compatible CI run; derive conformance from…

fc20281

Select commit

Loading

Failed to load commit list.

Uh oh!

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

coderabbitai

CodeRabbit

GitGuardian

GitGuardian Security Checks

SonarQubeCloud

SonarCloud Code Analysis

Push email notification on: push

Email on push

🔴 GATE: Invisible Character Detection on: pull_request

🔴 GATE: Empty-linter (invisible characters)

Fork governance on: pull_request 1

DEED syntax

K9-DEED conformance

Fleet report-backs

Fork governance verdict

Code Quality on: pull_request

lint

mint-gates

docs

Security Policy on: pull_request

check

Central Estate CI/CD Audit on: pull_request 3

Central Estate CI/CD Audit

Static Analysis Gate on: pull_request

panic-attack & pons-asinorum deep recon

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

CICD Squabbler on: pull_request

Squabble CI chains & required-context gate

CodeQL Security Analysis on: pull_request

analyze (actions, none)

🟡 CHECK: Eclexiaiser Manifest Validation on: pull_request

🟡 CHECK: Validate eclexiaiser manifest

Proven Tests and Benches on: pull_request

Proven 3-outcome test & bench suite

🟡 CHECK: Groove Protocol Compliance on: pull_request

🟡 CHECK: Groove manifest check

Dependabot Auto-Merge on: pull_request

automerge

Estate Rules on: pull_request 3

estate-rules

SonarQube on: pull_request 1

SonarQube

OpenSSF Compliance on: pull_request

openssf-compliance

ℹ️ ADVISORY: Dogfooding Compliance Scorecard on: pull_request

Dogfooding compliance summary

Lock Sync Gate on: pull_request

actions.lock is in sync with the workflow YAML

Dogfood Gate on: pull_request 2

Validate DEED manifests

Validate K9 contracts

🔴 GATE: Empty-linter (invisible characters)

🟡 CHECK: Groove manifest check

Validate eclexiaiser manifest

Canon lockstep

RSR oracle — dogfood this repo

Publish the lane badges

ℹ️ ADVISORY: Dogfooding compliance summary (non-gating)

Agda proofs on: pull_request 1

Core proofs, countermodels, expected rejections, minimal-laws certificate

Guix Package Policy on: pull_request

check

Rust CI on: pull_request 1

rust-ci / Detect Cargo.toml

rust-ci / Cargo check + clippy + fmt

rust-ci / Cargo audit (security)

rust-ci / llvm-cov line coverage

rust-ci / Cargo test

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Hypatia Security Scan on: pull_request 3

hypatia / Hypatia Neurosymbolic Analysis

Governance on: pull_request 32

governance / Check Workflow Staleness

governance / UUID v7 conformance

governance / UUID v8 conformance

governance / Allowlist Preflight

governance / Live Actions policy (credentialed advisory)

governance / Language / package anti-pattern policy

governance / Guix packaging policy (Nix retired)

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

governance / Actions lockfile verify

governance / Trusted-base reduction policy

governance / Licence consistency

governance / Exemption ratchet

governance / Debt ratchet

governance / JS runtimes — environment provisions Bun first

governance / JS runtimes — bun

governance / JS runtimes — deno

governance / JS runtimes — pnpm

governance / Validate Hypatia Baseline

Code scanning results

CodeQL

Hypatia

proofs: cite the --cubical-compatible CI run; derive conformance from…

Uh oh!

Select a check to view from the sidebar