Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA 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.
Kernel panic on wake from mouse movement
Reported by h4z-dev · filed Oct 17, 2025Closed upstream on 2025-10-25 by ryanrhughes. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
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
AMD 9900x, AMD 7800xt, 32gb ram, Gigabyte X870 GAMING X WIFI7 Motherboard, omarchy 3.0.2
What's wrong?
Hi not sure if this should be reported here or to the arch Linux guys or someone else.
Panic Report
Arch: x86_64
Version: 6.17.2-arch1-1
[30046.365883] r8169 0000:09:00.0 enp9s0: Link is Down
[30046.407844] usb 1-2: reset high-speed USB device number 2 using xhci_hcd
[30046.419314] ------------[ cut here ]------------
[30046.419315] kernel BUG at mm/vmalloc.c:3167!
[30046.419321] Oops: invalid opcode: 0000 [#1] SMP NOPTI
[30046.419323] CPU: 1 UID: 0 PID: 111413 Comm: kworker/u97:22 Not tainted 6.17.2-arch1-1 #1 PREEMPT(full) 053aba025fc748e85a34a6a256a14a91b3ae215a
[30046.419326] Hardware name: Gigabyte Technology Co., Ltd. X870 GAMING X WIFI7/X870 GAMING X WIFI7, BIOS F4 03/12/2025
[30046.419326] Workqueue: async async_run_entry_fn
[30046.419331] RIP: 0010:__get_vm_area_node+0x12d/0x130
[30046.419334] Code: 83 c1 01 39 d1 0f 4c ca ba 1e 00 00 00 39 d1 0f 4f ca 48 d3 e6 49 89 f7 e9 35 ff ff ff 4c 89 f7 e8 e8 05 02 00 45 31 f6 eb ae <0f> 0b 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 66 0f 1f
[30046.419335] RSP: 0018:ffffd50141d63360 EFLAGS: 00010202
[30046.419336] RAX: 0000000000000dc0 RBX: 0000000000001000 RCX: 0000000000000422
[30046.419337] RDX: 000000000000000c RSI: 0000000000001000 RDI: 0000000000038bc8
[30046.419337] RBP: 000000000000000c R08: ffffd50140000000 R09: fffff5013fffffff
[30046.419338] R10: 8000000000000163 R11: 0000000000000000 R12: 8000000000000163
[30046.419338] R13: 000000000000000c R14: 00000000ffffffff R15: 0000000000000dc0
[30046.419339] FS: 0000000000000000(0000) GS:ffff8d6766547000(0000) knlGS:0000000000000000
[30046.419339] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[30046.419340] CR2: 0000000000000000 CR3: 0000000398c24000 CR4: 0000000000f50ef0
[30046.419341] PKRU: 55555554
[30046.419341] Call Trace:
[30046.419342] <TASK>
[30046.419342] __vmalloc_node_range_noprof+0x139/0x8e0
[30046.419346] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.419516] ? __alloc_frozen_pages_noprof+0x334/0x350
[30046.419518] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.419646] ? alloc_pages_mpol+0x86/0x170
[30046.419649] __kvmalloc_node_noprof+0x328/0x630
[30046.419651] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.419767] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.419881] ? dcn20_build_pipe_pix_clk_params+0x1d/0x40 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420036] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420152] dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420267] dc_state_create_phantom_plane+0x1a/0x60 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420384] dcn32_add_phantom_pipes+0x163/0x440 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420526] dcn32_internal_validate_bw+0xb79/0x15c0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420695] ? dml1_validate+0x67/0x2d0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420832] dml1_validate+0xbf/0x2d0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.420962] dcn32_validate_bandwidth+0xb7/0x1c0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421089] update_planes_and_stream_state+0x399/0x500 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421218] update_planes_and_stream_v2+0x22b/0x560 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421341] dc_update_planes_and_stream+0x71/0xf0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421459] ? sort+0x34/0x60
[30046.421461] amdgpu_dm_atomic_commit_tail+0x1557/0x3720 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421621] commit_tail+0xae/0x140
[30046.421624] drm_atomic_helper_commit+0x13c/0x180
[30046.421626] drm_atomic_commit+0xae/0xe0
[30046.421627] ? _pfx__drm_printfn_info+0x10/0x10
[30046.421630] drm_atomic_helper_commit_duplicated_state+0xde/0xf0
[30046.421631] drm_atomic_helper_resume+0xa1/0x170
[30046.421633] dm_resume+0x3bd/0x7d0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421777] amdgpu_ip_block_resume+0x24/0x50 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421870] amdgpu_device_ip_resume_phase3+0x5d/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.421967] amdgpu_device_resume+0xbb/0x390 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.422063] amdgpu_pmops_resume+0x46/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5]
[30046.422154] ? __pfx_pci_pm_resume+0x10/0x10
[30046.422156] dpm_run_callback+0x47/0x150
[30046.422159] device_resume+0x15c/0x260
[30046.422160] async_resume+0x21/0x30
[30046.422161] async_run_entry_fn+0x33/0x140
[30046.422162] process_one_work+0x190/0x350
[30046.422164] worker_thread+0x2d7/0x410
[30046.422165] ? __pfx_worker_thread+0x10/0x10
[30046.422166] kthread+0xf9/0x240
[30046.422168] ? __pfx_kthread+0x10/0x10
[30046.422169] ? __pfx_kthread+0x10/0x10
[30046.422170] ret_from_fork+0x1c1/0x1f0
[30046.422172] ? __pfx_kthread+0x10/0x10
[30046.422173] ret_from_fork_asm+0x1a/0x30
[30046.422176] </TASK>
[30046.422176] Modules linked in: snd_seq_dummy snd_hrtimer snd_seq snd_seq_device xt_conntrack xt_MASQUERADE bridge stp llc ip6table_nat ip6table_filter ip6_tables xt_set ip_set iptable_nat nf_nat nf_conntrack nf_defrag_ipv6 nf_defrag_ipv4 xt_addrtype iptable_filter xfrm_user xfrm_algo overlay ccm algif_aead des3_ede_x86_64 des_generic libdes algif_skcipher cmac md4 algif_hash af_alg vfat fat intel_rapl_msr amd_atl intel_rapl_common snd_hda_codec_alc662 snd_hda_codec_realtek_lib snd_hda_codec_generic snd_hda_codec_atihdmi snd_hda_codec_hdmi ucsi_acpi snd_hda_intel mt7925e typec_ucsi snd_hda_codec mt7925_common typec roles mt792x_lib snd_hda_core mt76_connac_lib snd_intel_dspcfg snd_intel_sdw_acpi kvm_amd r8169 mt76 snd_hwdep snd_pcm kvm realtek snd_timer sp5100_tco irqbypass mdio_devres gigabyte_wmi mac80211 wmi_bmof snd i2c_piix4 rapl pcspkr i2c_smbus k10temp libphy mousedev soundcore libarc4 mdio_bus joydev thunderbolt acpi_pad mac_hid cfg80211 rfkill pkcs8_key_parser crypto_user loop nfnetlink zram 842_decompress
[30046.422199] 842_compress lz4hc_compress lz4_compress ip_tables x_tables dm_crypt encrypted_keys trusted asn1_encoder tee dm_mod hid_logitech_hidpp hid_logitech_dj amdgpu amdxcp i2c_algo_bit drm_ttm_helper ttm drm_exec gpu_sched drm_suballoc_helper uas drm_panel_backlight_quirks nvme polyval_clmulni drm_buddy usb_storage ghash_clmulni_intel nvme_core drm_display_helper aesni_intel nvme_keyring video ccp cec nvme_auth wmi
[30046.422211] ---[ end trace 0000000000000000 ]---
[30046.422212] RIP: 0010:__get_vm_area_node+0x12d/0x130
[30046.422213] Code: 83 c1 01 39 d1 0f 4c ca ba 1e 00 00 00 39 d1 0f 4f ca 48 d3 e6 49 89 f7 e9 35 ff ff ff 4c 89 f7 e8 e8 05 02 00 45 31 f6 eb ae <0f> 0b 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 66 0f 1f
[30046.422214] RSP: 0018:ffffd50141d63360 EFLAGS: 00010202
[30046.422215] RAX: 0000000000000dc0 RBX: 0000000000001000 RCX: 0000000000000422
[30046.422215] RDX: 000000000000000c RSI: 0000000000001000 RDI: 0000000000038bc8
[30046.422215] RBP: 000000000000000c R08: ffffd50140000000 R09: fffff5013fffffff
[30046.422216] R10: 8000000000000163 R11: 0000000000000000 R12: 8000000000000163
[30046.422216] R13: 000000000000000c R14: 00000000ffffffff R15: 0000000000000dc0
[30046.422217] FS: 0000000000000000(0000) GS:ffff8d6766547000(0000) knlGS:0000000000000000
[30046.422217] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[30046.422217] CR2: 0000000000000000 CR3: 0000000398c24000 CR4: 0000000000f50ef0
[30046.422218] PKRU: 55555554
[30046.422219] Kernel panic - not syncing: Fatal exception in interrupt
[30046.422447] Kernel Offset: 0x33800000 from 0xffffffff81000000 (relocation range: 0xffffffff80000000-0xffffffffbfffffff)
View raw text
### System details AMD 9900x, AMD 7800xt, 32gb ram, Gigabyte X870 GAMING X WIFI7 Motherboard, omarchy 3.0.2 ### What's wrong? Hi not sure if this should be reported here or to the arch Linux guys or someone else. Panic Report Arch: x86_64 Version: 6.17.2-arch1-1 [30046.365883] r8169 0000:09:00.0 enp9s0: Link is Down [30046.407844] usb 1-2: reset high-speed USB device number 2 using xhci_hcd [30046.419314] ------------[ cut here ]------------ [30046.419315] kernel BUG at mm/vmalloc.c:3167! [30046.419321] Oops: invalid opcode: 0000 [#1] SMP NOPTI [30046.419323] CPU: 1 UID: 0 PID: 111413 Comm: kworker/u97:22 Not tainted 6.17.2-arch1-1 #1 PREEMPT(full) 053aba025fc748e85a34a6a256a14a91b3ae215a [30046.419326] Hardware name: Gigabyte Technology Co., Ltd. X870 GAMING X WIFI7/X870 GAMING X WIFI7, BIOS F4 03/12/2025 [30046.419326] Workqueue: async async_run_entry_fn [30046.419331] RIP: 0010:__get_vm_area_node+0x12d/0x130 [30046.419334] Code: 83 c1 01 39 d1 0f 4c ca ba 1e 00 00 00 39 d1 0f 4f ca 48 d3 e6 49 89 f7 e9 35 ff ff ff 4c 89 f7 e8 e8 05 02 00 45 31 f6 eb ae <0f> 0b 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 66 0f 1f [30046.419335] RSP: 0018:ffffd50141d63360 EFLAGS: 00010202 [30046.419336] RAX: 0000000000000dc0 RBX: 0000000000001000 RCX: 0000000000000422 [30046.419337] RDX: 000000000000000c RSI: 0000000000001000 RDI: 0000000000038bc8 [30046.419337] RBP: 000000000000000c R08: ffffd50140000000 R09: fffff5013fffffff [30046.419338] R10: 8000000000000163 R11: 0000000000000000 R12: 8000000000000163 [30046.419338] R13: 000000000000000c R14: 00000000ffffffff R15: 0000000000000dc0 [30046.419339] FS: 0000000000000000(0000) GS:ffff8d6766547000(0000) knlGS:0000000000000000 [30046.419339] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033 [30046.419340] CR2: 0000000000000000 CR3: 0000000398c24000 CR4: 0000000000f50ef0 [30046.419341] PKRU: 55555554 [30046.419341] Call Trace: [30046.419342] <TASK> [30046.419342] __vmalloc_node_range_noprof+0x139/0x8e0 [30046.419346] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.419516] ? __alloc_frozen_pages_noprof+0x334/0x350 [30046.419518] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.419646] ? alloc_pages_mpol+0x86/0x170 [30046.419649] __kvmalloc_node_noprof+0x328/0x630 [30046.419651] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.419767] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.419881] ? dcn20_build_pipe_pix_clk_params+0x1d/0x40 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420036] ? dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420152] dc_create_plane_state+0x23/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420267] dc_state_create_phantom_plane+0x1a/0x60 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420384] dcn32_add_phantom_pipes+0x163/0x440 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420526] dcn32_internal_validate_bw+0xb79/0x15c0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420695] ? dml1_validate+0x67/0x2d0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420832] dml1_validate+0xbf/0x2d0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.420962] dcn32_validate_bandwidth+0xb7/0x1c0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421089] update_planes_and_stream_state+0x399/0x500 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421218] update_planes_and_stream_v2+0x22b/0x560 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421341] dc_update_planes_and_stream+0x71/0xf0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421459] ? sort+0x34/0x60 [30046.421461] amdgpu_dm_atomic_commit_tail+0x1557/0x3720 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421621] commit_tail+0xae/0x140 [30046.421624] drm_atomic_helper_commit+0x13c/0x180 [30046.421626] drm_atomic_commit+0xae/0xe0 [30046.421627] ? __pfx___drm_printfn_info+0x10/0x10 [30046.421630] drm_atomic_helper_commit_duplicated_state+0xde/0xf0 [30046.421631] drm_atomic_helper_resume+0xa1/0x170 [30046.421633] dm_resume+0x3bd/0x7d0 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421777] amdgpu_ip_block_resume+0x24/0x50 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421870] amdgpu_device_ip_resume_phase3+0x5d/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.421967] amdgpu_device_resume+0xbb/0x390 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.422063] amdgpu_pmops_resume+0x46/0x80 [amdgpu f1fc581b7b9f01b9a7223000abd4aeb92cdbdfe5] [30046.422154] ? __pfx_pci_pm_resume+0x10/0x10 [30046.422156] dpm_run_callback+0x47/0x150 [30046.422159] device_resume+0x15c/0x260 [30046.422160] async_resume+0x21/0x30 [30046.422161] async_run_entry_fn+0x33/0x140 [30046.422162] process_one_work+0x190/0x350 [30046.422164] worker_thread+0x2d7/0x410 [30046.422165] ? __pfx_worker_thread+0x10/0x10 [30046.422166] kthread+0xf9/0x240 [30046.422168] ? __pfx_kthread+0x10/0x10 [30046.422169] ? __pfx_kthread+0x10/0x10 [30046.422170] ret_from_fork+0x1c1/0x1f0 [30046.422172] ? __pfx_kthread+0x10/0x10 [30046.422173] ret_from_fork_asm+0x1a/0x30 [30046.422176] </TASK> [30046.422176] Modules linked in: snd_seq_dummy snd_hrtimer snd_seq snd_seq_device xt_conntrack xt_MASQUERADE bridge stp llc ip6table_nat ip6table_filter ip6_tables xt_set ip_set iptable_nat nf_nat nf_conntrack nf_defrag_ipv6 nf_defrag_ipv4 xt_addrtype iptable_filter xfrm_user xfrm_algo overlay ccm algif_aead des3_ede_x86_64 des_generic libdes algif_skcipher cmac md4 algif_hash af_alg vfat fat intel_rapl_msr amd_atl intel_rapl_common snd_hda_codec_alc662 snd_hda_codec_realtek_lib snd_hda_codec_generic snd_hda_codec_atihdmi snd_hda_codec_hdmi ucsi_acpi snd_hda_intel mt7925e typec_ucsi snd_hda_codec mt7925_common typec roles mt792x_lib snd_hda_core mt76_connac_lib snd_intel_dspcfg snd_intel_sdw_acpi kvm_amd r8169 mt76 snd_hwdep snd_pcm kvm realtek snd_timer sp5100_tco irqbypass mdio_devres gigabyte_wmi mac80211 wmi_bmof snd i2c_piix4 rapl pcspkr i2c_smbus k10temp libphy mousedev soundcore libarc4 mdio_bus joydev thunderbolt acpi_pad mac_hid cfg80211 rfkill pkcs8_key_parser crypto_user loop nfnetlink zram 842_decompress [30046.422199] 842_compress lz4hc_compress lz4_compress ip_tables x_tables dm_crypt encrypted_keys trusted asn1_encoder tee dm_mod hid_logitech_hidpp hid_logitech_dj amdgpu amdxcp i2c_algo_bit drm_ttm_helper ttm drm_exec gpu_sched drm_suballoc_helper uas drm_panel_backlight_quirks nvme polyval_clmulni drm_buddy usb_storage ghash_clmulni_intel nvme_core drm_display_helper aesni_intel nvme_keyring video ccp cec nvme_auth wmi [30046.422211] ---[ end trace 0000000000000000 ]--- [30046.422212] RIP: 0010:__get_vm_area_node+0x12d/0x130 [30046.422213] Code: 83 c1 01 39 d1 0f 4c ca ba 1e 00 00 00 39 d1 0f 4f ca 48 d3 e6 49 89 f7 e9 35 ff ff ff 4c 89 f7 e8 e8 05 02 00 45 31 f6 eb ae <0f> 0b 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 66 0f 1f [30046.422214] RSP: 0018:ffffd50141d63360 EFLAGS: 00010202 [30046.422215] RAX: 0000000000000dc0 RBX: 0000000000001000 RCX: 0000000000000422 [30046.422215] RDX: 000000000000000c RSI: 0000000000001000 RDI: 0000000000038bc8 [30046.422215] RBP: 000000000000000c R08: ffffd50140000000 R09: fffff5013fffffff [30046.422216] R10: 8000000000000163 R11: 0000000000000000 R12: 8000000000000163 [30046.422216] R13: 000000000000000c R14: 00000000ffffffff R15: 0000000000000dc0 [30046.422217] FS: 0000000000000000(0000) GS:ffff8d6766547000(0000) knlGS:0000000000000000 [30046.422217] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033 [30046.422217] CR2: 0000000000000000 CR3: 0000000398c24000 CR4: 0000000000f50ef0 [30046.422218] PKRU: 55555554 [30046.422219] Kernel panic - not syncing: Fatal exception in interrupt [30046.422447] Kernel Offset: 0x33800000 from 0xffffffff81000000 (relocation range: 0xffffffff80000000-0xffffffffbfffffff) https://panic.archlinux.org/panic_report/#?a=x86_64&v=6.17.2-arch1-1&z=6176490821442183219589654529249336388863735730243511989995388197531406773047544263027120653564672258585218333657797268304576341976901041158892899783273463206672516279478011867375410686185374294480677847655533507331974987637350686469704583331106072454683715105395094295451552682134101328140295514089956448520137754098554325712095775074482978701304896585351791094897609681255633082823630046586580021793460192524040811203094690254777062321653043486095246258252255834907722406937568642442056473848176176494103302523885297555865424455003996717389010632058237416918434566153348804786667013101761954622044478256597338945717736654846890165744288821827708393163900677807830933508518860649043168079327122555294872609216422970703437564375615651915640863511215454190914916323986485617981236497251167323922713928029404296004127732284435757143910365752044686554030171143599388523363459119828925291149381792606773663663614012967491484558549411323700337803520300384219448867379597852715388704491682168213939017158470243473492880594009490266821815608763864086837061713122023211489321064653856284111278653458302703528780011680668606914410443188576707835360337227187468244016597096790514791791561185579186105642084393858463342248212178075801920242083444265575902259575427019186124581368166114356787228661242438547208513006542935548375544629200840888869832721144220570305665468643641190672623958546903301429335079553753993874681403638971264101151171702295868035829119650572075089880281744540265235846457619453231007268790876287677482527487793302814942538736881222532918087653715926137460411651416461240416302699984450123108126408580815330477661238532331585438216257255870282925903121351195009674349123802912268747450517040452062398949265568090220225761895574563033024656621093540877454180693516981037202506699471641112179829197623269573417675939971390727531635379902719979354161958822940909064200371775312483507688505422709961728240881924859576955782804253100405689099542192202136817648714716067764365930017906511394641026353255766433997936694288635327818032915890645186484912559620814420250064025601624606236622773865372052772539886125979356395715416169200363693106516308069419909530913651909081199549546422146853917248241569548921297103965118740401231666215422026110564473404513637329448975122409494919112861852594632620663507820444554986329624657290740909657669156787202645128980313220140159652135696939052872679166025489921754740439317689271955360457700831054760124629112899978546521037389753398172677474075540747423611216003448270320350810710055142682775798015193961258539710727361810353417914433893032595696570172233260224815367271043186243136560594680743541791560493607680931450158435335642123764394674834559340362965179788903436073803397920210514631661510168582148474676960057813358771218526195934236079452403037948326047835479743210571320787260301425166453393576114670956804580737124418625217494918616057654623907942020030051891218001463234453786844840378812877958303640212897140201778407399789254186754008762701352147134244202139048884136494056128188745103404025944262504274408258592262122715577586584884268417791948059211829788511789665070539506600339885574591305855287743181168618484580305612889382945824304055135877674656310353710654237752167559116769162552149502035004571043297433243838819980734976333077246365834694044850947237003185002432506341335594656010753965074322381424971075518937953525298188041145218326014464805130156972706435771043417564308829377438852418651747673493884601572411519227220226641891058171921891166274692543375796049306555337007051941413851764536447575305966892423468163077930985806130293479909245503572984404969964939150744416792645236658141915215193901828333448891025620856777248344068018887662907067066279954888431537805734413141694673680918079428908052692418072499956534242732189879461185965426207558721458034785041580512842208401355481405271611707788382983605904001199958816085791036308237705993265339305397140253440934835349224700990855579405594663435820899840718917046735940732883516973485718190067543674978418176638021024092346774459310604146418824134476352642899627881342361096083048840249283208479547633233944136602964021851112471254985396390942574506767120344331489573628454869453469271115953487754656594982227474038518124313505736692451369683229150069461452024275142929838940360558603189404586331276627823323180564459299661193671730852265466170214700468172348528410889494838672115440228725561875362671709813232247235479490727507352009290568038985825352063701259885536218812305879070791451015362342046111852550817428548258954664424383965141192371017578770641182680662705001552941525100824634170237068841470217831695017542470368536486061561831032533445478074452296194001296736354543833843440521611286953622432813625255105447344432463243974373745571246320972939307373641983726697497327609039011529569706278889957110466906478589355274640486729144261766037186139481827686560746864340075419403212636198915443469940014520013731588725518858302384609003605472375568453058507231044581514890092367827757487625759226246595746485515706550169744246201749058180639118476450022416355994362386484176858857007574921601590025988374534943750229418203174013618208895799802242051919318251009611044935244006932324688014113946563413402074211700821368190735108700717683156238125889554719592127083404017627368549374457255625126818954517704744578635013316175040009544839916289609342071308712859085045510869356138137209930556293110466523248339200389695421061472078948593725040525101475445611122941001067507050008295326348151649143421254268438572280118633972891909920659804944566976632155219381982877327656766541109146990082821883913658691013524090268670322845815955714405177217241030662799820166515127307520815111111584266098737561717935779789056189719259832371523661946675779356020355831477354505453766614042340868660921411261216758517135900354316568328087148060280157989913264055250210842296617282399523683004520886317876329870856344622169446068162828795313613480843417452049832927658003358203168152854498672485136124054871720425863045459906839631297631531987284782370587361046540907569831682691426494470296077013320304464483099429567352659313418328521236792904346865915192937683300164668958176237765259639964725106801884412315869901114075598354710605105331127691388376165463653046307750319292118339381701664730154201933344797647085258009259848452417546340095721119001413043906885887602710174579881135074114391004212761154543770864608552430463272685342492410030356368857104291120463470897907388759084796021091150765326359962133335894893091413550241056121947273761728960695881477651402795541558794978248935989329521247733231673084278437436443631852571814395081331661392041470145393395062239634721968431682387171164037749264779531181729815298046509353778772235485482153131150770795853753630859532658375773869772763171
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.