Never report index.mf at the top of the base as unlisted in check (closes #229) #232

Merged
clawbot merged 1 commits from issue-229-check-index-mf into next 2026-10-16 00:42:24 +02:00
1 Commits
Author SHA1 Message Date
sneak 89adac874b Never report index.mf at the top of the base as unlisted in check (closes #229)
check / check (push) Waiting to run
gen and fetch write the manifest as index.mf at the top of the tree.
check left out only the manifest file it was given, so given a URL, or a
manifest stored elsewhere, it reported that index.mf as not in the
manifest, and --no-extra-files failed a tree fetch had just verified.
check now drops that one report for index.mf at the top of the base
directory. A manifest that lists index.mf still has it checked, and
index.mf in a subdirectory or fetch's leftover .index.mf.tmp are still
reported. The change is in package cli, which owns the default manifest
name; the Checker in package mfer is unchanged.

Model: opus-5-5
2026-10-15 22:12:08 +00:00