Skip to content

Runtime correctness hardening#27

Closed
AmirrezaFarnamTaheri wants to merge 8 commits into
WhiteDNS:mainfrom
AmirrezaFarnamTaheri:runtime-correctness-hardening
Closed

Runtime correctness hardening#27
AmirrezaFarnamTaheri wants to merge 8 commits into
WhiteDNS:mainfrom
AmirrezaFarnamTaheri:runtime-correctness-hardening

Conversation

@AmirrezaFarnamTaheri

Copy link
Copy Markdown
Contributor

Delivers the runtime correctness hardening slice as one branch with separate commits per item.

  • Track runtime session IDs through state, services, events, broadcasts, and UI filtering
  • Persist runtime launch requests under no-backup storage and pass only session IDs in service intents
  • Keep StormDNS launch files alive for process lifetime and clean stale files safely
  • Synchronize StormDnsProcessManager process/spec/output-thread state
  • Add a real disconnecting state with bounded stop wait and disabled reconnect during teardown
  • Bound proxy/VPN reconnect recovery with max attempts per window and same-session recovery

Verification:

  • No merge conflict markers
  • No legacy Serializable service extras or secret-bearing service extras
  • git diff --check HEAD passed

@AmirrezaFarnamTaheri

Copy link
Copy Markdown
Contributor Author

Closing this older branch to keep the active upstream queue limited to PR #35 and PR #36. Useful remaining work is recorded in the local hardening roadmap and should return only as a clean non-overlapping batch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant