Skip to content

Add repo-root AGENTS.md: agent onboarding facts - #10

Merged
michael-conrad merged 1 commit into
masterfrom
feature/agents-md-onboarding
Nov 7, 2026
Merged

michael-conrad merged 1 commit into
masterfrom
feature/agents-md-onboarding

Conversation

@michael-conrad

Copy link
Copy Markdown
Contributor

Closes #9

Summary

Creates the repo-root AGENTS.md from the developer's work order: a compact, fact-only onboarding file for future OpenCode sessions — the dual Godot/libGDX codebase tree, the real build/test situation (none runnable in a bare checkout; CodeQL-only CI; gradle roots are Rider stubs), the generated challenge-data pipeline and its destructive regeneration, audio architecture, bilingual text handling, and git facts. The read-only deck checkout (.opencode/**) and the floor-owned normative rules are untouched.

Evidence

  • Fresh-context verify, two rounds (recorded in .issues/9/spec.md — Validation record): round 1 FAIL with one finding (legacy-Java line count ~6k vs actual ~10k) plus the author's own correction of rmtree path casing (assets/challenges/{Audio,Pictures} → /{audio,images}); both remediated in place (commit amended); round 2 PASS — zero findings, with the reviewer re-executing the ~10k count against core/src.
  • git show --stat 2bd4a3f: exactly one file, AGENTS.md (+79).
  • Branch: feature/agents-md-onboarding from verified trunk tip fcff8cb.

Provenance

@michael-conrad
michael-conrad merged commit 5b00900 into master Nov 7, 2026
1 of 3 checks passed
@michael-conrad
michael-conrad deleted the feature/agents-md-onboarding branch November 7, 2026 15:32
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.

Spec: repo-root AGENTS.md — agent onboarding facts

1 participant