feat(desktop): save, rerun and cold-open native run sets

[MrScripty]

Native runs need reusable exact-intent run sets that survive producer exit. Integrate typed frozen controls through the existing desktop worker, Inspector and SQLite recorder: immutable revisions, close-before-pin, exact acknowledged manifest after success/cancellation/failure, cold member inspection and constructor-zero reruns into fresh artifacts.

A real software-X11 producer-exit/cold-rerun test exposed source run-ID reuse when the process-local counter restarted. The worker now excludes all direct source member IDs when assigning new ones. This is source-relative freshness, not global/ancestral uniqueness. A separate-process App regression snapshots all source files BEFORE rerun and checks full ID-set disjointness plus identical native field/time bits and no overwrite.

Validation on b24e246: independently reviewed strict92-path admission; clean native/rational qualification18 commands; fresh packet26 tests normal/-O, zero skips; full serial desktop63 passed/1 model-runtime ignored;17 persistence contracts; all-target desktop Clippy -D warnings and formatting. Original strict timing checks remain unchanged. Exact receipts are external /tmp/rheon-m2-cold-freshness-qualified and /tmp/rheon-m2-cold-freshness-packet.

Actual software-X11 interaction created a two-solver saved set, closed producer, cold-opened exact Ready members, audited/exported selected ordinal2 VTI and reran captured controls despite fresh material defaults. The corrected binary then reran that retained source in a fresh process: new IDs disjoint from source1/2, all native bits/times equal, originals unchanged, window exit0. Fixed observation SHA256027b75ef3ef193083e3b16c27759865cc53167e2d8235ec9967358b804624689; binary59b5c5e88c59c833c6016f2cdb6357f7bb846da7a106c4018337dee76c4d97b7. Generated evidence remains outside Git. Software-display/native-fixture scope only; no hardware-GPU/model qualification.

Stacked on diagnostic M1 #87. No numerical kernel, accepted archive schema, dependency or physical gate changes; shortened dt is retained and explicitly unsupported by fixed intent. Keep draft pending final hosted CI and broader scope gates: trained provider, generic diagnostic SQLite/teacher/stop modes and full M1–M3 acceptance are separate. No implementation PR merged. All merges/branch retirement remain serial; preserve companion #85/#89 until dependencies clear.

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

• Configuration used: Path: .coderabbit.config.ts
• Review profile: CHILL
• Plan: Advanced
• Run ID: ac1d57ad-05cf-44ad-b90b-8ba865d6ebce

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}