Skip to content

How debug "I’m temporarily unable to write to the file directly in this turn"? #241

@tribbloid

Description

@tribbloid
Image

I only encounter this problem multiple times on the Jetbrains plugin.

When I read the log there is no mention of the file in question (CoeChain.lean):

2025-09-10 19:36:07,338 [1609576]   WARN - #com.codeium.intellij.file_pointer.FilePointer - [fee86fc1] File not found: file:///home/peng/git/__MATH/lp2-lc-lean4/spike/Vec.lean
2025-09-10 19:36:08,014 [1610252]   WARN - #com.codeium.intellij.file_pointer.FilePointer - [fee86fc1] File not found: file:///home/peng/git/__MATH/lp2-lc-lean4/spike/Vec.lean
2025-09-10 19:36:08,613 [1610851]   WARN - #com.codeium.intellij.file_pointer.FilePointer - [fee86fc1] File not found: file:///home/peng/git/__MATH/lp2-lc-lean4/spike/Vec.lean
2025-09-10 19:36:08,881 [1611119]   WARN - #com.codeium.intellij.file_pointer.FilePointer - [fee86fc1] File not found: file:///home/peng/git/__MATH/lp2-lc-lean4/spike/Vec.lean
2025-09-10 19:36:10,231 [1612469]   WARN - #com.codeium.intellij.file_pointer.FilePointer - [fee86fc1] File not found: file:///home/peng/git/__MATH/lp2-lc-lean4/spike/Vec.lean
2025-09-10 19:36:31,439 [1633677]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.439264 147073 cascade_manager.go:365] Removing trajectory 8e47a793-7177-4db0-8f13-02708a8618f1 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:36:31,441 [1633679]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.441370 147073 cascade_manager.go:365] Removing trajectory 8e47a793-7177-4db0-8f13-02708a8618f1 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:36:31,442 [1633680]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.442604 147073 cascade_manager.go:365] Removing trajectory 8e47a793-7177-4db0-8f13-02708a8618f1 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:36:31,444 [1633682]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.444233 147073 cascade_manager.go:365] Removing trajectory 8e47a793-7177-4db0-8f13-02708a8618f1 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:36:31,548 [1633786]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.548109 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:36:31,549 [1633787]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.549077 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:36:31,555 [1633793]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.555448 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:36:31,556 [1633794]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.556883 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:36:31,558 [1633796]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.558132 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:36:31,559 [1633797]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:36:31.559321 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:37:18,830 [1681068]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:18.830606 147073 cascade_manager.go:365] Removing trajectory 8e47a793-7177-4db0-8f13-02708a8618f1 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:37:43,672 [1705910]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.671873 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/RevertToCascadeStep (unknown): executor is not idle
2025-09-10 19:37:43,672 [1705910]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.672805 147073 cascade_manager.go:365] Removing trajectory 14564651-e012-48b4-982c-4b3f2b221bc2 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:37:43,674 [1705912]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.674325 147073 cascade_manager.go:365] Removing trajectory 14564651-e012-48b4-982c-4b3f2b221bc2 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:37:43,757 [1705995]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.757645 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:37:43,759 [1705997]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.758902 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:37:43,791 [1706029]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.791409 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:37:43,792 [1706030]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.792657 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:37:43,794 [1706032]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.794148 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:37:43,794 [1706032]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:43.794175 147073 interceptor.go:73] /exa.language_server_pb.LanguageServerService/GetRevertPreview (unknown): failed to get revert preview: step_index out of bounds: 3
2025-09-10 19:37:47,534 [1709772]   INFO - #com.codeium.intellij.language_server.LanguageServerProcessHandler - [fee86fc1] [Language Server]: E0910 15:37:47.534344 147073 cascade_manager.go:365] Removing trajectory 14564651-e012-48b4-982c-4b3f2b221bc2 from summaries reactive state (summary nil: false, summary length: 0, step count: 3)
2025-09-10 19:40:32,465 [1874703]   INFO - #com.codeium.intellij.auth.CodeiumAuthService - [fee86fc1] Refreshing auth session
2025-09-10 19:40:32,590 [1874828]   INFO - #com.codeium.intellij.language_server.LanguageServerLauncherActivity - [fee86fc1] Auth session changed for project: lp2-lc-lean4

How to debug it properly?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions