SR Method EN
Complete iteration example
Example of an SR lot executed with Codex.
Complete iteration example
Example request:
Verifiable objective: the status filter must filter the folder list without breaking other filters.Expected plan before code
Lot plan: REV360-FILTER-STATUS-FIX
Verifiable objective: the status filter must filter the folder list without breaking other filters.
Included scope: folder list, filter mapping, existing API contract check.
Out of scope: migration, UI redesign, changes to other filters.
Assumptions: frontend bug or API contract issue, no migration expected.
Sources to read: CURRENT_STATE, CODEBASE_MAP, folder list component, API client.
Skills: aurora-diagnose, aurora-planning-with-files, UI/domain skill if declared.
Candidate files: src/pages/Dossiers.tsx, src/api/dossiers.ts.
Planned verification: targeted test, lint if available, short user E2E test.
SR memory: absent, to create.
Stop condition: if API contract is inconsistent or a migration seems necessary.Execution
Codex must then:
- create or resume task memory;
- read announced sources;
- apply Fact Gate and Evidence Gate;
- fix only validated scope;
- run checks;
- update contracts;
- give user E2E tests;
- propose
done,user_testing,repairorblocked.
What makes the iteration good
The result is good if the change is limited, verified, documented and testable by the real user.