31973329689
78%
tmps: 63%

Ran 16 Aug 2026 09:23PM UTC

Jobs 1

Files 39

Run time 1min

Badge

Embed ▾

Committed 16 Aug 2026 09:19PM UTC coverage: 77.984%. Remained the same

Build # 31973329689

Build Type

push

github

Committed by

kaidokert

Commit Message

minz: krabilorean M4 qual — on-silicon timing + live retained profile

- examples/krabi_bench.rs (+ krabi_vectors.rs, real baked ci windows): DWT
  cycle-distribution timing of each personality workload on L431 @ 80 MHz.
  Results (min cyc): variance exact64 12664 (fastest) vs block8/12/16
  12749/13625/12832; exact GaussianMI 122k (1.53ms); block retained 6.8-18.5ms.
  DCE-hardened (black_box the numeric result, not .is_ok()).
- src/krabimon.rs: one-shot live BlockRetainedCaptureProfile (block12,
  128-window) behind 'R' key — the personality path end-to-end in the real
  firmware. am32_clone: 'R' key + krab.r readout line.

Live verification (motor locked 1186 Hz, 564 mA): retained profile ran
end-to-end in 9.6 ms one-shot, lock rode through the main stall, and reported
var=0 / ZeroVariance periodicity — the block collapse of the low-variance
steady-lock signal, confirmed in-situ.

Codegen (per-personality micro-libs, gc-sectioned): M4 all wide-helper-clean,
exact SMALLEST (728B vs block 960B). M0 contrast: exact pulls __aeabi_lmul,
block stays clean (1370B) — the genuine tradeoff that makes the M0 crux real.

Coverage Stats

6482 of 8312 relevant lines covered (77.98%)

968.09 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	31973329689.1	16 Aug 2026 09:23PM UTC	39	77.98	GitHub Action Run

kaidokert / rm32-private / 31973329689
78%
tmps: 63%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 31973329689

kaidokert / rm32-private / 31973329689 78% tmps: 63%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 31973329689

kaidokert / rm32-private / 31973329689
78%
tmps: 63%

README BADGES
x