At a glance

1 · What is claimed?

Only the report text below — no validator has restated it as checkable claims yet.

2 · What does it affect?

Not yet mapped to any requirement or component.

3 · Is it reproducible?

No validation has been run yet.

4 · What remains unclear?

• Not validated yet: no claims, no reproducer.

5 · What happens next?

Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.

Original report

omarchy-pkg-add yq

echo "Install ghostty terminal"
omarchy-pkg-add ghostty

## Summary

Ghostty was added to `install/omarchy-base.packages` but there's no corresponding migration to install it for existing users. New installs get ghostty, but users who installed omarchy before ghostty was added never receive it.

## Details

- Ghostty is listed in `install/omarchy-base.packages`
- Multiple migrations reference ghostty config (keybindings, scroll speed, etc.)
- But no migration runs `omarchy-pkg-add ghostty`
- Existing users end up with ghostty config files but no ghostty binary

## Contrast with yq

The `yq` package had the same issue, but migration `1767306902.sh` was added to install it:
```bash
omarchy-pkg-add yq
```

Ghostty should probably have a similar migration.

## Suggested fix

Add a migration like:
```bash
echo "Install ghostty terminal"
omarchy-pkg-add ghostty
```

## Environment

- Omarchy version: 3.3.3
- Original install predates ghostty addition

Validation

Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.

Linked

Not linked to any known issue, other report or change yet.

Decision

Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.

No decision has been recorded yet.