Merge branch 'main' into arena/21052cb4-metamanifold-webui

ec89920

Select commit

Loading

Failed to load commit list.

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

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

SonarQubeCloud

SonarCloud Code Analysis

Dependabot

.github/dependabot.yml

CodeQL on: dynamic 3

Analyze (actions)

Analyze (javascript-typescript)

Analyze (python)

CI on: pull_request

Code relevance

Occupancy relevance

Julia tests

Statistics standards and evidence

Agda proofs

Occupancy typed peak

Occupancy disagreement test

Format readiness evidence on: pull_request

Format harness and pinned JSON reference

DOI on: pull_request

DOI relevance

DOI lint

Secret Scanner on: pull_request 3

Secret history and working tree / gitleaks

Secret history and working tree / rust-secrets

Secret history and working tree / shell-secrets

Governance (fork) on: pull_request 6

Advisory scan contract

DEED syntax / lint

K9 conformance / validate

Hypatia verdict grid / Hypatia Neurosymbolic Analysis

Post the verdict grid

Publish badges

Code scanning results

CodeQL