Skip to content

chore: automated batch 2026-08-30 - #7

Merged
alkisyuv merged 1 commit into
mainfrom
worker/batch-2026-08-30
Sep 1, 2026
Merged

chore: automated batch 2026-08-30#7
alkisyuv merged 1 commit into
mainfrom
worker/batch-2026-08-30

Conversation

@alkisyuv

Copy link
Copy Markdown
Member

Automated changes for 2026-08-30.

  • fix(premise): a path quoted from outside this tree is not missing here

Each change is a separate commit.

A task often names files that do not belong to this project — behind a
legend token (pc:, lk:) or starting at a directory this project does not
have — and premise accused each of being missing, at risk tier, above
the task's real content. A path is now only accused when it is plausibly
project-relative: no namespace prefix on the mention (task surface only;
instruction files keep every backticked span as a claim — a corpus find
showed 'facts:' swallowing a real mention), and a first segment that
starts where a directory of this project does. Everything else is
disclosed as outside this project, examined as unverifiable — never a
missing file.
@alkisyuv
alkisyuv merged commit a33a1b6 into main Sep 1, 2026
1 check passed
@alkisyuv
alkisyuv deleted the worker/batch-2026-08-30 branch September 1, 2026 08:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant