AGENTS.md lore section: only include project-relevant entries

The <!-- lore-managed section --> in AGENTS.md is auto-maintained by the lore tool and can accumulate cross-project entries irrelevant to craft. When committing, strip entries that don't pertain to this repo. ADDITIONALLY: the lore daemon re-modifies AGENTS.md in the working tree between sessions. If a branch was committed while churn was present, it lands in an ANCESTOR commit and ships in the PR diff (not just working tree). Fix: squash the branch (git reset --soft master + re-commit only intended files, or rebase) to drop AGENTS.md from history before force-pushing. Always git diff master...HEAD --name-only to confirm AGENTS.md is absent from the PR.