Cejel 0.4.3

Cejel 0.4.3 closes the stale-version trap an external reviewer hit on first use: npx @cejel/cejel . with no version spec could silently resolve a cached build months out of date, with no error or warning. Every documented invocation across the README, leaderboard site copy, and the calibration issue template now pins @latest, and a guard test fails the build if an unversioned invocation is reintroduced. The Markdown certificate now also carries the CLI version — previously only the HTML and JSON (attestation) certificates recorded it.

Two metric labels still read "primitive coverage" after the 0.4.2 glossary revision meant to remove that word; they now read "Production-readiness basic checks" and "PR trace basic checks" everywhere. A presentation defect in "Lowest contributing measurements" — where a fully-satisfied metric could still appear in that list when its criterion had few measured metrics — is fixed, and a metric's displayed unit no longer repeats the trailing word already in its own label (e.g. "Recent PR merge ratio 0/1 ratio" now reads "Recent PR merge ratio 0/1"). Certificate tooltips now sit clearly above the page, with a higher stacking order and an elevation shadow, instead of blending into the content behind them.

This release also documents the recognized-CI boundary: which five CI systems Cejel treats as real signal, why absence there scores as a true negative rather than an abstention, and why that recognized set changes only through a version-gated rubric change.

The calibrated public default remains v17. This release does not change scoring, rubric behavior, detectors, or published calibration figures.