docs: streamline coding agent instructions

diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md
index 1b24f89f8bb2afd339e336a1c34a7428f05d3933..702a56207720f8ac05b62db7ff17fba63ffe86ed 100644 (file)
--- a/.github/copilot-instructions.md
+++ b/.github/copilot-instructions.md
@@ -91,71 +91,12 @@ Documentation serves as an operational specification, not narrative prose.
 
 ## Quality gates
 
-- Documented build/lint/type checks pass (where applicable).
+- Documented build/format/lint/type checks pass (where applicable).
 - Documented tests pass (where applicable).
 - Documentation updated to reflect changes when necessary.
 - Logs use appropriate levels (error, warn, info, debug).
 - Pull request title and commit messages follow [Conventional Commits](https://www.conventionalcommits.org/) format.
 
-## Examples
-
-### Naming coherence
-
-**Good** (consistent style, clear semantics):
-
-```typescript
-const thresholdValue = 0.06
-const processingMode = 'piecewise'
-type ChargingStationStatus = 'Available' | 'Preparing' | 'Charging'
-```
-
-**Bad** (mixed styles, ambiguous):
-
-```typescript
-const threshold_value = 0.06    // inconsistent case style
-const thresholdAim = 0.06       // synonym creates ambiguity
-type charging_station_status    // wrong casing for type
-```
-
-### Promise-based request/response pattern
-
-**Good** (proper async flow):
-
-```typescript
-protected handleProtocolRequest(
-  uuid: string,
-  procedureName: ProcedureName,
-  payload: RequestPayload
-): Promise<ResponsePayload> {
-  return new Promise<ResponsePayload>((resolve, reject) => {
-    this.pendingRequests.set(uuid, { reject, resolve })
-    this.sendBroadcastChannelRequest(uuid, procedureName, payload)
-  })
-}
-```
-
-**Bad** (returns void, no Promise):
-
-```typescript
-protected handleProtocolRequest(
-  uuid: string,
-  procedureName: ProcedureName,
-  payload: RequestPayload
-): void {
-  this.sendBroadcastChannelRequest(uuid, procedureName, payload)
-  // Response never reaches caller!
-}
-```
-
-### Statistical reporting
-
-```markdown
-| Metric      | Value | Interpretation        |
-| ----------- | ----- | --------------------- |
-| KL(A‖B)     | 0.023 | < 0.1: low divergence |
-| Effect size | 0.12  | small to medium       |
-```
-
 ---
 
 By following these instructions, coding agents should propose changes that are consistent and maintainable across languages.