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

### System details

Omarchy 3.4.1

### What's wrong?

While updating to 3.4.1, I was asked whether or not I wanted to continue after migration 1762156000 failed.

After investigating, I noticed that the wayfreeze package could not be removed, because the git version was installed instead of the regular one. After running `omarchy-pkg-drop wayfreeze-git`, I continued the update. I never installed wayfreeze manually, so can only assume the git version is how it used to be installed on Omarchy.

This is definitely not a biggie, but probably the migration file should be changed to support both the regular and the git version of wayfreeze.

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.