Skip to content

chore: bump to 0.2.0-dev, audit artifacts#33

Merged
avrabe merged 1 commit intomainfrom
chore/v0.2.0-dev
Mar 16, 2026
Merged

chore: bump to 0.2.0-dev, audit artifacts#33
avrabe merged 1 commit intomainfrom
chore/v0.2.0-dev

Conversation

@avrabe
Copy link
Contributor

@avrabe avrabe commented Mar 16, 2026

Post-release housekeeping for v0.2.0 development cycle.

  • Version bump 0.1.0 → 0.2.0-dev
  • Promoted 17 requirements + 1 feature to approved
  • Created FEAT-062/063 for export documents + version switcher
  • Added 8 missing descriptions
  • Closed Build-system-aware cross-repo validation (Bazel, Nix) #21 (build-system validation)
  • 346 artifacts, 0 warnings

- Version: 0.1.0 → 0.2.0-dev
- Promoted 17 requirements from draft to approved (REQ-005..036)
- Promoted FEAT-061 (yaml_edit) to approved
- Created FEAT-062 (export document pages), FEAT-063 (version switcher)
- Added descriptions to 8 artifacts missing them
- Closed issue #21 (build-system validation — implemented)
- 346 artifacts, 0 warnings, 71/73 features approved, 33/36 reqs approved

Remaining draft: REQ-006 (OSLC), REQ-022 (WASM embed), REQ-030 (formal proofs),
FEAT-011 (OSLC client), FEAT-020 (AADL browser rendering)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@codecov
Copy link

codecov bot commented Mar 16, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@avrabe avrabe merged commit 4e34c0c into main Mar 16, 2026
15 of 16 checks passed
@avrabe avrabe deleted the chore/v0.2.0-dev branch March 16, 2026 06:09
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.

Build-system-aware cross-repo validation (Bazel, Nix)

1 participant