Skip to content

ExtractMixin verdicts skip POSITIONAL_CONSTRUCTION guards - #359

Merged
trissim merged 1 commit into
mainfrom
claude/nra-engine-gaps-0kjz79
Nov 11, 2026
Merged

trissim merged 1 commit into
mainfrom
claude/nra-engine-gaps-0kjz79

Conversation

@trissim

@trissim trissim commented Nov 11, 2026

Copy link
Copy Markdown
Contributor

Summary

Positional construction is handled at the owner level as a keywording prerequisite (keyword_cure). For ExtractMixin moves, the verdict-level POSITIONAL_CONSTRUCTION guard is redundant — the recipe synthesizer checks owner.keyword_cure before the pick match (line 2589), producing a keywording operation as a prerequisite step.

What changed

  • class_overlap.py:846: Skip _positional_construction_receipts when move is ExtractMixin
  • New test: test_positional_construction_does_not_block_extract_mixin_verdict
  • New fixture: POSITIONAL_CONSTRUCTION with a positionally-constructed class

Impact on agent-comms

Unblocks 5 more missing_mixin verdicts blocked by positional construction:

  • SessionFacts / ImportBuffer
  • BusRouteCounts / BusRouteKeys
  • RouteUnread / CursorRow
  • FailedTurnEvidence / GoalDerivedContact
  • HostMemoryHigh / HostResources (also has DECLARATION_DIFFERS)

Three-step engine widening complete

Step PR Verdicts unblocked
1. INHERITED_DECLARATION #357 3
2. Keyword-only construction #358 3
3. POSITIONAL_CONSTRUCTION this 5
Total 11 more (16 total with original 5)

Evidence

7/7 tests green (6 existing + 1 new).


Generated by Claude Code

Positional construction is handled at the owner level as a keywording
prerequisite (keyword_cure). It should not block the verdict itself for
ExtractMixin moves. The owner candidate's _field_order_receipts produces
the POSITIONAL_CONSTRUCTION guard with keyword cure; the recipe synthesizer
checks owner.keyword_cure before the pick match.

Unblocks 5 more missing_mixin verdicts on agent-comms:
SessionFacts/ImportBuffer, BusRouteCounts/BusRouteKeys,
RouteUnread/CursorRow, FailedTurnEvidence/GoalDerivedContact,
HostMemoryHigh/HostResources (last also has DECLARATION_DIFFERS).

Combined with PRs #357 and #358: 5 + 3 + 3 + 5 = up to 16 mixin ops.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01RnH6dR7JdknxC8XJJtW8Uh
Copilot AI balanced review requested due to automatic review settings November 11, 2026 18:48
@trissim
trissim merged commit 37960bc into main Nov 11, 2026
5 of 10 checks passed

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota. Try requesting a review at a lower effort level.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.

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.

3 participants