Skip to content

feat: land #28 CC-NEST-ANNULUS punch on #7 - #127

Merged
cursor[bot] merged 2 commits into
feature/sfa-curve-rgrfrom
cursor/cc-nest-annulus-on-7-dae9
Sep 1, 2026
Merged

feat: land #28 CC-NEST-ANNULUS punch on #7#127
cursor[bot] merged 2 commits into
feature/sfa-curve-rgrfrom
cursor/cc-nest-annulus-on-7-dae9

Conversation

@grootstebozewolf

@grootstebozewolf grootstebozewolf commented Sep 1, 2026

Copy link
Copy Markdown
Owner

Cherry-pick of the landable #28 delta onto current feature/sfa-curve-rgr @ 3ce5b29d. Did not retarget #28 as-is (that PR is 168 behind #7 and stacked on cursor/cc-nest-annulus-0a09).

Merged. New #7 SoT tip: d8c4c9b88846df238ca39e71a7b515eca8cfaa2b

Landed

  1. feat: P2.5.0 leftover kits — R1.6-honesty keep, CC-NEST punch (c0501c15)
  2. fix: disc-aware CC-NEST certificate; named R1.6-honesty stamp (9c515c3f)

Certificate (mixed CC stadium vs CircularString disc):

  • Door: 0 nodes + centreRadius(disc) + stadium strictly inside
  • Not fewNodeOverlay shellSample. Not D4.
  • CAP = stadium 4+π, CUP = CIRCLE_5 25π, SUB = holed disc 24π−4, reverse SUB empty, XOR same holed disc
  • D4 stays null. H-ANNULUS-TANGENT stays null. Stadium is not a two-arc disc.
  • Ratchet CIRCLE_5 × STADIUM_NEST = EEEE (reverse EE0E)
  • R1.6-honesty KEEP: overlay(PLAIN_SQUARE, CIRCLE_3, SUB)==null, isApproximate=true
  • PerfGate assertLaserNotSlower mixed-nest SUB

Conflict resolution kept #7 kits (BiteVsHole / TwoHole / Clothoid). Took only the #15 overlay/test stamp that mixed nest is not two discs (STADIUM_NEST + D4-null asserts). Updated #7 OverlayNGCircleTest so public overlay expects the R1.7 punch, not a leftover chordsaw lock.

Verify

  • Selected certificate classes: 134 tests, 0 failures
  • PerfGate: 80 tests, 0 failures (assertLaserNotSlower mixed nest SUB; rev nested SUB restored)
  • Full overlayng.curve package: 277 tests, 0 failures

certificate tests

Left alone

To show artifacts inline, enable in settings.

Open in Web Open in Cursor 

cursoragent and others added 2 commits September 1, 2026 05:49
Covering square minus CIRCLE_3 stays the chordsaw (0 line-circle
nodes; do not punch a disc-in-square nest). Mixed stadium in
CIRCLE_5 is a certified 0-node nest: R1.7 punches CAP/CUP/SUB/XOR
as the P2.3 cousin kit, not D4 and not a noder. D4 two-arc disc
nest stays 16π exact.

Co-authored-by: Jeroen Bloemscheer <grootstebozewolf@users.noreply.github.com>
Punch uses 0 nodes + centreRadius + envelope-vs-r or control
points and cap extrema, not fewNodeOverlay shellSample (both
envelopes share (0,0)). Product is 4+π / 25π / 24π−4.
Restore assertChordPath("rev nested SUB"). Named stamp:
overlay(PLAIN_SQUARE, CIRCLE_3, SUB) is null and public
isApproximate. D4 and H-ANNULUS-TANGENT stay null.

Co-authored-by: Jeroen Bloemscheer <grootstebozewolf@users.noreply.github.com>
@grootstebozewolf
grootstebozewolf marked this pull request as ready for review September 1, 2026 05:51
@cursor
cursor Bot merged commit d8c4c9b into feature/sfa-curve-rgr Sep 1, 2026
4 checks passed
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.

2 participants