Skip to content

docs: add repository agent constraints - #2

Merged
sljeff merged 1 commit into
mainfrom
codex/add-agent-constraints
Jul 29, 2026
Merged

docs: add repository agent constraints#2
sljeff merged 1 commit into
mainfrom
codex/add-agent-constraints

Conversation

@sljeff

@sljeff sljeff commented Jul 29, 2026

Copy link
Copy Markdown
Owner

Summary

  • add a root AGENTS.md containing durable agent constraints only
  • reserve synthetic configuration, signing, secret materialization, and store upload scripts for their intended workflows
  • record the branch, version bump, immutable RC tag, store candidate, and promotion order
  • require backward-compatible persisted-data migrations and real upgrade-path tests for future schema or encoding changes

Scope

This intentionally contains no project overview, directory guide, architecture description, feature list, or copied tool-version pins. It changes agent guidance only; it does not trigger a release or change runtime behavior.

Validation

  • cross-checked every referenced script and workflow against the repository
  • audited the real sqflite migration path in lib/models/helper.dart
  • refined and reviewed the wording through three read-only exchanges with Grok CLI plus an independent persistence review
  • ran git diff --check and a sensitive-pattern scan on the new file

Follow-up found during the audit

The repository already has a 3 → 4 migration, but it has no automated migration coverage, and the current onUpgrade path does not await db.execute. This PR documents the required invariant without mixing a runtime refactor into the policy change; migration fixtures/tests and awaited execution should be a separate focused change.

Document CI-only script boundaries, release sequencing, and persistent-data migration and test requirements for automated contributors.
@sljeff
sljeff marked this pull request as ready for review July 29, 2026 17:25
@sljeff
sljeff merged commit 717ecba into main Jul 29, 2026
3 checks passed
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.

1 participant