Merge remote-tracking branch 'origin/main' into codex/update-comparat…

301bf5c

Select commit

Loading

Failed to load commit list.

Uh oh!

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

ci-fast on: pull_request 10

lint (clippy core crates; fmt non-blocking)

test (core crates, default features)

W3C SPARQL conformance (ratchet >= 1229 pass+divergence)

ci-fast

supply-chain on: pull_request 2

supply-chain gates (deny + vet + SBOM + VEX + OpenSSF + js-sbom)

vectorized-feature-off on: pull_request 3

vectorized-feature-off quick-gates (changes + feature-resolution + cfg-audit)

artifact-exact-equality (wasm bundle feature-OFF)

Changed-code mutation review on: pull_request 2

changed-code mutation review (advisory)

docs-quality on: pull_request 3

docs-quality quick-gates

docs-quality quick-advisory (advisory)

flow-on-gates on: pull_request 3

flow-on-gates quick-gates (G1 + G2 + G6)

new-bench-registry-dashboard (G3, advisory)

pr-title on: pull_request 2

conventional-commits (advisory)

formal-verification on: pull_request 2

fv-select (change-based test selection) + fv-manifest (proof inventory)

kani ${{ matrix.suite.name }} (change-coupled proofs)

feature-matrix on: pull_request 4

detect rust changes (feature-matrix)

select / select (change-based test selection)

pre-merge C1 (feature-gated test execution)

fedclient dependency-boundary guard

assemble feature matrix

feature-matrix check-tier (${{ matrix.shard }})

sparq-lws-core pure Solid (--no-default-features)

sparq-server pure-serialiser (--no-default-features)

sparq-geo pure-geometry (--no-default-features)

opt-in group (${{ matrix.group }})

CI on: pull_request 23

detect rust changes

select / select (change-based test selection)

nightly-gate

unsafe-register (count ratchet)

clippy (gate) + fmt (non-blocking)

MSRV check (Rust 1.88, declared floor)

coverage floors (presence + monotonicity + shard-partition, no compile)

unsafe report (cargo-geiger, informational)

docker image smoke (run + curl /health + query)

nightly selection backstop (full-matrix guard)

build + archive test binaries (+ doctests once)

wasm build (sparq-wasm + sparq-reason-wasm + sparq-rsp-wasm + sparq-text-wasm + sparq-shacl-wasm ...

W3C SPARQL conformance (ratchet >= 1229 pass+divergence)

W3C SHACL conformance (ratchet — core >= 98, sparql >= 5; full 1.2 ratchets in-runner)

W3C/OGC GeoSPARQL conformance (ratchet — topology >= 119, query-rewrite >= 38)

Solid WAC/ACP conformance (ratchet — wac >= 13, acp >= 13)

SolidLab ODRL conformance (ratchet — pass >= 59)

sparq-text BM25 differential oracle (extension ratchet — assertions >= 18750)

sparq-rsp RSP expressivity / SRBench correctness (extension ratchet — assertions >= 149)

W3C JSON-LD 1.1 conformance (ratchet — toRdf >= 413, fromRdf >= 52, compact >= 228, frame >= 92)

SERVICE-federation harness (in-process loopback smoke + egress scoping)

Inference conformance (ratchet >= 1967 pass+divergence)

coverage (nightly, full incl. heavy vectors)

mutation ratchet (cargo-mutants, advisory)

coverage ratchet (shard 1/3)

coverage ratchet (shard 2/3)

coverage ratchet (shard 3/3)

coverage engine run (partition 1/3)

coverage engine run (partition 2/3)

coverage engine run (partition 3/3)

test (load-aware shard heavy-diskann)

test (load-aware shard heavy-hnsw)

test (load-aware shard bulk 1/3)

test (load-aware shard bulk 2/3)

test (load-aware shard bulk 3/3)

coverage engine merge + ratchet (per-crate)

heavy-recall demoted-lane safety-net (push-to-main)

coverage ratchet + test-presence gate (per-crate)

coverage demoted-lane safety-net (push-to-main)

Benchmarks on: pull_request 4

select / select (change-based test selection)

dashboard labels (lint + drift)

run + track benchmarks

fuzz on: pull_request 3

select / select (change-based test selection)

cargo-fuzz (parsers + mmap loader, bounded)

differential smoke (sparq vs Oxigraph, fixed regression windows)

file demoted randomized-fuzz finding (P1 bead + issue)

pr-title on: pull_request 1

conventional-commits (advisory)

Select a check to view from the sidebar