Skip to content

spec(igla): own_model -- take back the REVIEWED claim #10270 merged without a review #10272

Closed

Description

@gHashTag

Goal

Take back the REVIEWED claim that #10270 put on master. #10270 set REVIEWED true for cells 7, 8, 16, 17, 18, 25 and 27 and REVIEW_PR to 10270, with REVIEW_ID still REVIEW_ID_TBD. GitHub auto-merge, switched on by the app session that opened it, merged it at 2026-10-18 06:33:44, 90 seconds after the push and before any review. So master claims a review that does not exist. Epic #10024.

Boundary

Scenarios

  • Given the revert, When t27c test-report specs/igla/own_model.t27 runs on the Railway lab, Then 9/9 pass with 0 vacuous.
  • Given the revert, When t27c test-report specs/igla/own_model_board.t27 runs, Then 6/6 pass, and the message reads 1 published, 17 verified, 8 drafts, 1 gaps; 61%.

Requirements

  • FR-001: Master MUST NOT name a review that does not exist.
  • FR-002: The two files MUST equal their df8b1d5 content byte for byte.

Success Criteria

  • git diff df8b1d504 -- specs/igla is empty after the merge.
  • The lab gives own_model 9/9 and board 6/6.

Close criteria

  • The revert PR merges with its required checks green.

Activity

  1. added a commit that references this issue on Oct 18, 2026
    71548ee
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions