SPIKE: For those about to trace (we salute you) - #130

Draft

cds-amal wants to merge 13 commits into

Commits on Mar 4, 2026

feat: add pipeline trace instrumentation and visualization
cds-amal
committed
cbfb88e
docs(tests): add @covers annotations to all integration test programs
cds-amal
committed
955f8a2
feat(tests): add make trace-report for pipeline coverage analysis
cds-amal
committed
d81e162

Commits on Mar 5, 2026

fix(trace): emit TypeCollected events for FnDef, FnPtr, and Closure
cds-amal
committed
3baa24e
feat(trace): use readable item names, annotate stdlib-only coverage
cds-amal
committed
5bce3c8
test: add foreign-type test, close all actionable coverage gaps
cds-amal
committed
e43b69a
docs: document first-walked-body-wins semantics in TyCollector
cds-amal
committed
a49b28b
fix(trace): emit TypeCollected on every encounter, not just the first
cds-amal
committed
0cf8d09
docs: document non-deterministic provenance for nested types
cds-amal
committed
0348d0c
feat(trace): add descendant replay for deterministic type provenance
cds-amal
committed
d4350bf
feat(trace-report): add explicit provenance labels to sub-categories
cds-amal
committed
e495f4f
feat(tests): add make trace-idempotency target
cds-amal
committed
b277e07
cargo clippy
cds-amal
committed
21584f9