Skip to content

Commit f0ccc11

Browse files
committed
chore: estate-wide metadata and submodule sync (2026-04-20)
1 parent 2309003 commit f0ccc11

3 files changed

Lines changed: 33 additions & 7 deletions

File tree

assets/invariant-path-icon.png

1.32 KB
Loading

assets/invariant-path-icon.svg

Lines changed: 31 additions & 5 deletions
Loading

desktop/invariant-path.desktop

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@ Type=Application
33
Name=Invariant Path
44
GenericName=Claim-Path Debugger
55
Comment=Trace claim transitions and invariant preservation across repository artifacts
6-
Exec=/var/mnt/eclipse/repos/.desktop-tools/run-with-pause.sh /var/mnt/eclipse/repos/.desktop-tools/invariant-path-launcher.sh --auto
6+
Exec=/var/mnt/eclipse/repos/.desktop-tools/run-with-pause.sh /var/mnt/eclipse/repos/.desktop-tools/invariant-path-launcher.sh --tui
77
Terminal=true
8-
Icon=utilities-terminal
8+
Icon=/var/mnt/eclipse/repos/invariant-path/assets/invariant-path-icon.png
99
Categories=Development;Utility;
1010
Keywords=invariant;claim;annotation;debugging;documentation;
1111
StartupNotify=true

0 commit comments

Comments
 (0)