3 Commits

Include renames

Author	SHA1	Message	Date
Onur Özkan	62b18d5b2e	build: replace argument dispatch and retain source-bound verification ... Replace argument recovery with direct build targets. Run host, target, board, coverage, Miri and selected Kani checks while retaining source identities, logs and artifacts, including failed attempts. Keep the PID proof diagnostic exception explicit and match its exact identity alongside passing contract assertions and covers. Validation: final-source verification matrix, assembled workflow tests and documentation build.	2026-11-07 18:12:11 +03:00
Onur Özkan	84807dde4e	fix(diagnostics): bound formatting and release ingress before callbacks ... Bound UTF-8 formatting and release diagnostic ingress before invoking callbacks. Check error-ID collisions at Rust/C++ release final link. Validation: diagnostic tests, strict Clippy, Miri and final-link cases.	2026-11-07 18:12:11 +03:00
Onur Özkan	7dc3ccb619	build: add directory-oriented make workflows	2026-08-30 07:05:01 +03:00