Openspec fixups

This commit is contained in:
AI Bot
2026-04-17 19:26:06 +02:00
committed by Riyyi
parent 720be92d82
commit b4b12b39b6
3 changed files with 4 additions and 5 deletions
@@ -18,7 +18,6 @@ strategy without conflict resolution.
- **WHEN** stdin contains packages not in state files - **WHEN** stdin contains packages not in state files
- **THEN** those packages shall be added to the final state - **THEN** those packages shall be added to the final state
#### Scenario: Duplicate packages accumulate #### Scenario: Duplicate packages are deduplicated
- **WHEN** the same package appears in multiple inputs - **WHEN** the same package appears in multiple inputs
- **THEN** it shall be included multiple times in the final state (pacman - **THEN** it shall be included once in the final state (map deduplication)
handles duplicates)
@@ -17,7 +17,7 @@ After syncing, the system SHALL remove packages that are no longer required
#### Scenario: Orphan cleanup after sync #### Scenario: Orphan cleanup after sync
- **WHEN** sync operation completes successfully - **WHEN** sync operation completes successfully
- **THEN** system shall run pacman -Rsu to remove unneeded dependencies - **THEN** system shall run pacman -Rns to remove unneeded dependencies
- **AND** report the number of packages removed - **AND** report the number of packages removed
#### Scenario: Orphan cleanup respects explicitly installed #### Scenario: Orphan cleanup respects explicitly installed
@@ -10,7 +10,7 @@ The system SHALL execute pacman operations to install and upgrade all declared p
#### Scenario: No partial upgrades #### Scenario: No partial upgrades
- **WHEN** running pacman commands - **WHEN** running pacman commands
- **THEN** system shall use -Syu flag (full system upgrade) ensuring all packages are latest - **THEN** system shall use -S --needed flag (sync with skip if up-to-date) ensuring declared packages are present
#### Scenario: Package availability check #### Scenario: Package availability check
- **WHEN** a package from input is not in pacman repositories - **WHEN** a package from input is not in pacman repositories