docs(session): log 2026-06-01 v1.9.0 merge + AGENTS.md slim (#5)

Author: Filip-Podstavec

docs/sessions/2026-06-01-merge-v1.9.0-and-slim-agents-md.md

@@ -0,0 +1,67 @@
+# Session: merge v1.9.0 to main, then execute the lean-AGENTS.md follow-up
+
+**Date:** 2026-06-01
+**Branch:** main
+**Participants:** Filip Podstavec, Claude Opus 4.8 (1M context)
+**Duration:** ~1.5 hours
+
+## Context
+
+Filip thought yesterday's v1.9.0 work had landed in `main`, but git showed a
+push 11h ago on `feat/anti-slop-and-legacy-onboarding`. Investigation confirmed
+the 4 v1.9.0 commits were still only on the feature branch — `main` was a clean
+ancestor, no divergence. Session goal: get v1.9.0 into `main`, then knock out the
+deadlined follow-up it created (the root AGENTS.md was 19 KiB, tripping the new
+8 KiB lean target from ADR 0009), and clean up stale branches.
+
+## What was done
+
+- Confirmed v1.9.0 was unmerged; opened [PR #3] and squash-merged it to `main`
+  after green pre-merge checks (version sync 1.9.0, codex parity, 132 tests, FF).
+- Deleted stale local branch `feat/smart-context-surfacing` (fully merged, 0
+  unique commits, last touched 2026-05-26).
+- Slimmed root `AGENTS.md` **19.1 → 7.7 KiB** on `chore/slim-agents-md`: kept
+  load-bearing rules inline, moved depth to new `docs/conventions.md` and
+  `docs/maintaining.md`. Removed the AIDEV-TODO that tracked this work; rebuilt
+  the context-map manifest. [PR #4], squash-merged green.
+
+## Key decisions
+
+- **Internal docs reshuffle ⇒ no version bump.** Slimming the repo's *own*
+  AGENTS.md doesn't touch `templates/AGENTS.md.example` or plugin behavior, so it
+  landed as a CHANGELOG `[Unreleased]` Changed entry, not a release. No new ADR —
+  ADR 0009 already holds the rationale; this was its deadlined execution.
+- **"Střední" slim scope (~7 KB target).** Chose to keep mission/reading-order/
+  Write-less-fit-in/AIDEV/security/build-test inline; preserved the
+  `#write-less-fit-in` heading because `workflows/onboarding-a-legacy-repo.md`
+  deep-links to it.
+
+## Open questions
+
+- Final AGENTS.md settled at 7.7 KiB, not the 6–7 KiB "Střední" aim — remaining
+  content is genuinely load-bearing. Fine under the 8 KiB target, but margin is
+  thin; any future inline addition will trip `/stack-check` again.
+
+## Next steps
+
+- None blocking. Next inline rule added to AGENTS.md should displace something to
+  `docs/`, not grow the file.
+- Consider whether `templates/AGENTS.md.example` deserves the same depth-to-docs
+  split as guidance for client repos (not done this session).
+
+## References
+
+- Commits: `824c651` (v1.9.0, #3), `bdad33f` (slim AGENTS.md, #4)
+- PRs: [#3], [#4]
+- ADRs: [0009](../adr/0009-agents-md-lean-budget-and-size-tiers.md) (the budget
+  this session executed)
+- New docs: `docs/conventions.md`, `docs/maintaining.md`
+
+[PR #3]: https://github.com/Filip-Podstavec/claude-leverage/pull/3
+[PR #4]: https://github.com/Filip-Podstavec/claude-leverage/pull/4
+[#3]: https://github.com/Filip-Podstavec/claude-leverage/pull/3
+[#4]: https://github.com/Filip-Podstavec/claude-leverage/pull/4
+
+---
+
+*Distillate, not transcript. Keep this file under ~80 lines.*