docs(cam-clear): pin the convex/concave arc convention, P3 resolved #141

Merged
patman merged 3 commits from patman/island-docs-pin into patman/island-cert-margin 2026-08-24 02:25:51 +00:00 AGit
Owner

Island lane housekeeping. Updates the stale is_convex_envelope_arc "flagged for review" comment to cite the design addendum empirical resolution of P3 (sweep<0 => convex). Docs-only, verified zero non-comment lines in the diff. Opus review PASS.

Island lane housekeeping. Updates the stale is_convex_envelope_arc "flagged for review" comment to cite the design addendum empirical resolution of P3 (sweep<0 => convex). Docs-only, verified zero non-comment lines in the diff. Opus review PASS.
docs(cam-clear): pin the convex/concave arc convention, P3 resolved
Some checks failed
CI / build-test (pull_request) Failing after 4s
0b0b3f01bc
`is_convex_envelope_arc`'s doc still said the `sweep`-sign convention was
"a documented implementation choice, not verified against `cam_geom`
internals — flagged for review". That is stale: the island-clearing
design's P3 / ID-14 was resolved empirically by the 2026-07-26 addendum and
by I-c's direct exercise of the concave branch against the exact
`StockState::engagement` oracle, which agrees to ~6e-6 rad.

Replaces the stale flag with the resolution and, more usefully, states the
operative rule the addendum derived: route by winding, never by a
hand-applied "this is an island pass" label. An island *orbit* cuts away
from the island, which makes it the convex case; hand-labelling it concave
under-counts engagement by a few tenths of a radian — an unsafe
certificate.

Documentation only; no behavior change. `is_convex_envelope_arc` and
`arc_engagement` are byte-identical to main across this entire stack.

Co-authored-by: patman-assist <patrick-ai@kgroo.co>
chore: normalize comments
Some checks failed
CI / build-test (pull_request) Failing after 4s
75e23e0b62
Co-authored-by: patman-assist <patrick-ai@kgroo.co>
style: rustfmt --edition 2024 drift fix
All checks were successful
CI / build-test (pull_request) Successful in 9m2s
0e8f914914
Reformats files that predate the runner's current rustfmt; no code changes.

Co-authored-by: patman-assist <patrick-ai@kgroo.co>
patman merged commit 166e5b2c30 into patman/island-cert-margin 2026-08-24 02:25:51 +00:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
patman/KGROO!141
No description provided.