Proof Portal

Omarchy

ProbeLabs65 findings · 95 requirements

A proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.

Inbox

ReportR-3718GitHub issuePublicReceived

Values in Libreoffice Calc copied as svg

Reported by xdmx · filed Nov 12, 2025Closed upstream on 2025-11-12 by its own reporter xdmx. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.

Open at source

Received and recorded verbatim. Nothing has been checked yet.

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

Values in Libreoffice Calc copied as svgrevision 1 · captured 2026-10-04 11:42 UTC via poll

System details

Framework 13, HX 370, Omarchy 3.17

What's wrong?

I use Calc for various things and there is a bug that is making me going crazy, the way I've found to reproduce it consistently is:
- open Calc
- type something like 123 in a cell
- then copy the value with ctrl+c
- then go to another cell and do ctrl+v
instead of pasting it as a value as expected it pastes it as a svg:

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="23mm" height="5mm" viewBox="0 0 2300 500" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" stroke-width="28.222" stroke-linejoin="round" xml:space="preserve">
 <defs>
  <clipPath id="clip_path_1" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_1)"/>
 <text class="SVGTextShape"><tspan class="TextParagraph"><tspan class="TextPosition" x="1641" y="310"><tspan font-family="Liberation Sans, sans-serif" font-size="353px" font-weight="400" lengthAdjust="spacingAndGlyphs" textLength="573" fill="rgb(0,0,0)" stroke="none" style="white-space: pre">123</tspan></tspan></tspan></text>
 <defs>
  <clipPath id="clip_path_2" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_2)"/>
 <defs>
  <clipPath id="clip_path_3" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_3)"/>
 <defs>
  <clipPath id="clip_path_4" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_4)"/>
</svg>

If you then go back and copy again the same cell with ctrl+c and then paste again with ctrl+v it works.

Is it just me or does it happen to someone else? It's making it very hard to use it.

The same doesn't seem to happen with cmd/win+c and cmd/win+v.

View raw text

### System details

Framework 13, HX 370, Omarchy 3.17

### What's wrong?

I use Calc for various things and there is a bug that is making me going crazy, the way I've found to reproduce it consistently is:
- open Calc
- type something like 123 in a cell
- then copy the value with ctrl+c
- then go to another cell and do ctrl+v
instead of pasting it as a value as expected it pastes it as a svg:
```
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="23mm" height="5mm" viewBox="0 0 2300 500" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" stroke-width="28.222" stroke-linejoin="round" xml:space="preserve">
 <defs>
  <clipPath id="clip_path_1" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_1)"/>
 <text class="SVGTextShape"><tspan class="TextParagraph"><tspan class="TextPosition" x="1641" y="310"><tspan font-family="Liberation Sans, sans-serif" font-size="353px" font-weight="400" lengthAdjust="spacingAndGlyphs" textLength="573" fill="rgb(0,0,0)" stroke="none" style="white-space: pre">123</tspan></tspan></tspan></text>
 <defs>
  <clipPath id="clip_path_2" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_2)"/>
 <defs>
  <clipPath id="clip_path_3" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_3)"/>
 <defs>
  <clipPath id="clip_path_4" clipPathUnits="userSpaceOnUse">
   <path d="M 0,0 L 2249,0 2249,450 0,450 0,0 Z "/>
  </clipPath>
 </defs>
 <g clip-path="url(#clip_path_4)"/>
</svg>
```
If you then go back and copy again the same cell with ctrl+c and then paste again with ctrl+v it works.

Is it just me or does it happen to someone else? It's making it very hard to use it.

The same doesn't seem to happen with cmd/win+c and cmd/win+v.

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.

Proof

History & reports

Reference