Skip to content

docs: align copilot-instructions with CLAUDE.md#114

Open
aepfli wants to merge 1 commit intomainfrom
docs/align-copilot-instructions
Open

docs: align copilot-instructions with CLAUDE.md#114
aepfli wants to merge 1 commit intomainfrom
docs/align-copilot-instructions

Conversation

@aepfli
Copy link
Copy Markdown
Contributor

@aepfli aepfli commented Mar 12, 2026

Summary

Brings .github/copilot-instructions.md in sync with the authoritative CLAUDE.md file.

Changes

  • Fix source file names: evaluation.rsevaluator.rs; add types.rs; add error.rs
  • Remove phantom CLI: No src/bin/ or cli_tests.rs exists — removed all references
  • Correct Python integration: Python uses PyO3 native bindings, not WASM/wasmer
  • Fix WASM build command: Add --no-default-features --lib
  • Fix optimization note: opt-level=2 for speed (not z for size)
  • Add full development workflow: Issue First, Work in Worktrees, Sub-Agents, Workflow Summary
  • Add Deep-Dive References table: Links to ARCHITECTURE.md, CONTRIBUTING.md, BENCHMARKS.md, etc.
  • Update operators section: starts_with/ends_with are from datalogic-rs, not separate files
  • Update test docs: Reflect actual test files (gherkin_tests.rs, metadata_merging_tests.rs); remove cli_tests.rs
  • Add PyO3 to Related Technologies

- Fix source file names (evaluator.rs, types.rs; no evaluation.rs)
- Remove non-existent CLI section and cli_tests.rs references
- Correct Python integration: PyO3 native bindings, not WASM/wasmer
- Fix WASM build command (add --no-default-features --lib)
- Fix optimization note (opt-level=2 for speed, not 'z' for size)
- Add full development workflow: Issue First, Worktrees, Sub-Agents
- Add Deep-Dive References table
- Update operators section (starts_with/ends_with from datalogic-rs)
- Add gherkin_tests.rs and metadata_merging_tests.rs to test docs
- Add PyO3 to Related Technologies

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
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