Skip to content

Fix remaining stable PowerShell design cases - #144

Merged
Aaronontheweb merged 1 commit into
devfrom
feat/v03-pwsh-stable-design-corrections
Aug 10, 2026
Merged

Fix remaining stable PowerShell design cases#144
Aaronontheweb merged 1 commit into
devfrom
feat/v03-pwsh-stable-design-corrections

Conversation

@Aaronontheweb

Copy link
Copy Markdown
Owner

Summary

  • expose bounded foreach dynamic command identities as incomplete occurrences while preserving finite loop-variable values
  • fail atomically for the proved invalid local Invoke-Command plus AsJob parameter set
  • promote the final stable PowerShell design cases into the generated 540-entry corpus
  • close stable design-promotion and PowerShell adversarial-loop OpenSpec tasks

Security behavior

Dynamic identities never become authorization evidence and invalidate subsequent state. Prior uncertainty still prevents loop-value promotion. Unproved receivers and Windows PowerShell 5.1 remain conservative rather than borrowing PowerShell 7 parameter metadata.

Validation

  • Release build: 0 warnings, 0 errors
  • full tests: 2,867 passed
  • focused corpus/design/oracle: 858 passed
  • copyright headers: passed
  • strict OpenSpec validation: passed
  • strict Slopwatch: 0 findings
  • adversarial review: PASS, including final re-review after strengthening the pre-loop uncertainty regression
  • native PowerShell 7.6.4 confirms the local Invoke-Command plus AsJob shape fails parameter-set resolution

@Aaronontheweb
Aaronontheweb enabled auto-merge (squash) August 10, 2026 14:19
@Aaronontheweb
Aaronontheweb merged commit dd7528f into dev Aug 10, 2026
2 checks passed
@Aaronontheweb
Aaronontheweb deleted the feat/v03-pwsh-stable-design-corrections branch August 10, 2026 14:21
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