refactor(repro): port silicon-core investigation probes from Python t…

a91c5f5

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

codefactor.io

CodeFactor

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

CodeQL on: dynamic 1

Analyze (actions)

Estate Rules on: pull_request 1

estate-rules

Documentation on: pull_request 1

Build docs (Documenter, with doctests)

Dogfood Gate on: pull_request 9

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Creusot Verification on: pull_request 1

Creusot contracts (crypto/)

CI on: pull_request 25

Julia 1.10 - ubuntu-latest

Julia 1.10 - macos-latest

Julia 1.10 - windows-latest

Julia 1.11 - ubuntu-latest

Julia 1.11 - macos-latest

Julia 1.11 - windows-latest

Julia nightly - ubuntu

Zig Backend

CPU vs Zig parity + accelerated smoke

Interop smoke (PyTorch import + ONNX export)

Roadmap could-baselines (packaging + optimization + telemetry)

GPU fallback tests - ubuntu-latest

GPU fallback tests - macos-latest

Coprocessor strategy, resilience, and TPU/NPU/DSP/MATH strict tests

GPU hardware smoke (CUDA)

GPU hardware smoke (ROCm)

GPU hardware smoke (Metal)

Runtime smoke (CPU)

Certificate integrity checks

Proof assistant bundle checks

Idris2 ABI typecheck

SMT proofs (Z3)

Documentation sanity

Security Audit

Static Analysis Gate on: pull_request 5

Detect relevant changes

panic-attack assail

Patch Bridge CVE triage (crypto/)

Dependabot Auto-Merge on: pull_request

automerge

Julia Test Gate on: pull_request 4

Julia 1.10 (crypto-enabled) - ubuntu-latest

Julia 1 (crypto-enabled) - ubuntu-latest

Julia nightly (crypto-enabled) - ubuntu-latest

Hypatia Security Scan on: pull_request 2

hypatia / Hypatia Neurosymbolic Analysis

Governance on: pull_request 16

governance / Check Workflow Staleness

governance / Language / package anti-pattern policy

governance / Guix primary / Nix fallback policy

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

governance / Trusted-base reduction policy

governance / Licence consistency

governance / Validate Hypatia Baseline

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

Hypatia

refactor(repro): port silicon-core investigation probes from Python t…

Uh oh!

Select a check to view from the sidebar