Skip to content

Add Copilot custom instructions and bounded test-first intake prompt file#19

Draft
Copilot wants to merge 2 commits intomainfrom
copilot/setup-rails-and-tests
Draft

Add Copilot custom instructions and bounded test-first intake prompt file#19
Copilot wants to merge 2 commits intomainfrom
copilot/setup-rails-and-tests

Conversation

Copy link
Contributor

Copilot AI commented Mar 1, 2026

Copilot has no repo-level constraints and will freely mutate invariant primitives or collapse schema→test→implementation into a single unreviewed pass. This adds the rails to prevent that.

Changes

.github/copilot-instructions.md

  • Freezes authority_gate.py, stop_machine.py, invariant_litmus.py, and commit_gate/ — Copilot must halt and report rather than touch them
  • Enforces bounded intake: no implementation generated until a schema exists, golden tests exist, and those tests are confirmed failing
  • Documents style contract (stdlib-only, pure functions, no entropy sources) and CI requirements

.github/prompts/commitboundary_spec_intake.prompt.md

A runnable VS Code prompt file (Command Palette → "Chat: Run Prompt") that enforces a five-step locked sequence:

Step Action Gate
0 Check request doesn't touch protected files Hard stop if it does
1 Schema only — types/enums, no logic
2 Golden tests with # FAIL-FIRST marker No impl generated yet
3 User confirmation gate Blocked until user confirms tests fail
4 Minimal implementation Only what makes tests pass
5 Final checklist Protected files + CI verified

The confirmation gate in Step 3 is the key control — Copilot cannot self-advance past it.


🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

…y_spec_intake.prompt.md

Co-authored-by: LalaSkye <228581229+LalaSkye@users.noreply.github.com>
Copilot AI changed the title [WIP] Add initial Rails setup and golden tests Add Copilot custom instructions and bounded test-first intake prompt file Mar 1, 2026
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.

2 participants