Request:
- Delete the AGENTS.md rule that allowed pushing only when explicitly requested.
Changes:
- Remove the single Git Workflow bullet that restricted push behavior.
Verification:
- Reviewed the focused diff for AGENTS.md.
- Confirmed no remaining push-related text with rg.
Request:
- Write a README introducing the project.
Changes:
- Describe the HK IPO research feedback loop.
- Document the stage-based workflow, project-local skills, storage model, path rules, and Git discipline.
Verification:
- Reviewed README contents with sed.
- Ran rg for machine-specific absolute path patterns; none found.
- Ran git diff --check.
Request:
- Review the project agent instructions and make the Git workflow explicitly automatic.
- Commit the project-local modification into the repository.
Changes:
- Add AGENTS.md to the repo.
- Rename the Git workflow section to emphasize automatic commits.
- Clarify that completed repository changes should be committed before the final response.
- Clarify that related project-local files such as .codex skills, schema, scripts, snapshots, memos, and documentation belong in the focused commit.
Verification:
- Reviewed the updated Git Workflow section with sed.
- Confirmed the expected automatic-commit language with rg.
- Checked the staged diff includes only AGENTS.md.
Request:
- Keep the HK IPO workflow skills inside the repo so they travel with the project.
- Use concise names while preserving clear HK IPO scope and repo-relative path rules.
Changes:
- Add .codex/skills/archivist for source archiving, SQLite fact updates, hashes, and CSV snapshots.
- Add .codex/skills/analyst for T0/T1/T2 IPO decisions, prediction cards, reviews, and rule-change recommendations.
- Add agents/openai.yaml metadata for both skills.
Verification:
- Checked staged changes include only .codex skill files.
- Searched .codex for machine-specific absolute path patterns; none found.
Next useful context:
- AGENTS.md remains untracked and was not included in this commit.
geometrybase