Repository navigation

first()/last(): construct the declared Optional, repair the corpus that consumes it, and withdraw the decline candidate - #10187

Closed

gunbai-bot[bot] wants to merge 31 commits into

mainfrom

session/still-swift-363-first-conformance

Closed

first()/last(): construct the declared Optional, repair the corpus that consumes it, and withdraw the decline candidate#10187
gunbai-bot[bot] wants to merge 31 commits into
mainfrom
session/still-swift-363-first-conformance

Commits on Sep 3, 2026
- interpreter: honour the declared return type of first() and last()
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0af2730
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  cc0f5f5
- The evaluator consumed half of the checker's decision: derive both arms from field_summary_for_type
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e40e101
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  a16f544
- The floor hole was a DROPPED DIMENSION: judge cardinality instead of normalizing it away
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  96ec728
- Merge remote-tracking branch 'origin/session/still-swift-363-first-conformance' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  c7acca7
- Declare the check's subject, and derive the bare-none exclusion from its owner
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2fd11d9
- Merge main; repair the argument seam that judged the PEELED formal
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  43fd1c0
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  ff58852
- Dissolve four list-equality folds into one that CONSUMES the optional
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b99a52c
Commits on Sep 4, 2026
- Repair the five guarded sites, and the regen closure reaches zero
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a221905
- Row: adopt the obviation framing and the per-check subsumption rule
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6480680
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  cae4b36
- Decline to judge optionality on an unsubstituted formal, rather than accusing it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dc9a0fa
- File the instrument-scope failure mode and enroll it on the roster
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  26a231e
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  b06e784
- File: a result that confirms the hypothesis exactly is the one to distrust first
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  abff82c
- Emit the decline: a silent admission is worse than the false positive it replaced
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b812bd4
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  20e2519
- the optional-into-required seam declines instead of admitting silently
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ba60f5a
- Merge origin/main into session/still-swift-363-first-conformance
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cdbdbdc
- optional-into-required corpus repair, batch 1: 34 sites across 8 files
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c422044
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  96fdedb
- repair the corpus for real Optional first()/last(), and withdraw the decline candidate that damaged more than it judged
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4c33fcc
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  87d1444
- discharge the six review findings: positive variant classification, typed cause, production-seam fixtures with an observed mutation, and two honest stalls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9aa8ad7
- withdraw instantiation_unavailable_unreachable_stall: its central claim is false, and the trigger it set is already satisfied
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7789bc0
- remove a scratch probe file that a git add -A swept into the tree, and stop it recurring
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a70bba1
- extract the record-literal instantiation repair; this PR keeps no half of it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  be43301
- the unsubstituted-formal arm was accusing; key it to the OWNING declaration
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  40a36ba
- Merge remote-tracking branch 'origin/main' into session/still-swift-363-first-conformance
  gunbc-ci-auto-heal
  committed
  169901a

Commits

Commits on Sep 3, 2026

Commits on Sep 4, 2026