Skip to content

Promote Bash v0.3 design cases - #132

Merged
Aaronontheweb merged 1 commit into
devfrom
corpus/v03-bash-design-promotions
Aug 9, 2026
Merged

Promote Bash v0.3 design cases#132
Aaronontheweb merged 1 commit into
devfrom
corpus/v03-bash-design-promotions

Conversation

@Aaronontheweb

Copy link
Copy Markdown
Owner

Promotes the remaining 21 stable Bash v0.3 design cases into the executable corpus and fills the parser facts those cases exposed.

Highlights:

  • publishes sparse exact/unknown EffectiveArguments for policy-relevant Bash values
  • preserves configured $HOME bytes and quote/escape/continuation provenance
  • corrects Bash tilde-prefix handling without changing the public API
  • reconciles unquoted wildcard redirect completeness across SPEC, OpenSpec, and the design corpus
  • makes check-bash emit complete clause-element expectations

Validation:

  • dotnet build -c Release
  • dotnet test -c Release --no-build (2,612 passed)
  • pwsh ./scripts/Add-FileHeaders.ps1 -Verify
  • Slopwatch dirty-file analysis
  • openspec validate v0-3-structured-shell-analysis --strict
  • adversarial review PASS after Bash-oracle quote, escape, LF/CRLF continuation, tilde, trailing-home-separator, wildcard, and API-surface probes

@Aaronontheweb
Aaronontheweb enabled auto-merge (squash) August 9, 2026 12:06
@Aaronontheweb
Aaronontheweb merged commit 691a0e1 into dev Aug 9, 2026
2 checks passed
@Aaronontheweb
Aaronontheweb deleted the corpus/v03-bash-design-promotions branch August 9, 2026 12:08
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