Skip to content

outreach: hpp-core declined (nim65s)#419

Merged
idoco2003 merged 1 commit into
mainfrom
ledger/hpp-core-declined
Jun 13, 2026
Merged

outreach: hpp-core declined (nim65s)#419
idoco2003 merged 1 commit into
mainfrom
ledger/hpp-core-declined

Conversation

@idoco2003

Copy link
Copy Markdown
Contributor

nim65s closed #440: declare/consume split possible, manifest-as-planning-constraint 'no'. Reasoned decline, consistent with URML's positioning (manifest is admissibility, not a planner constraint model). none -> declined; no reply. 3rd nim65s/LAAS decline -> avoid his repos. Schema-v2 green.

nim65s (INRIA/LAAS) answered #440 tersely and closed: the goal+constraints /
consume-trajectory split is 'a possibility, yes'; URML manifest as a planning-
constraint source is 'no'. Reasoned decline (not hostile; he engaged the
questions). His 'no' matches URML's own positioning (manifest = admissibility,
not a planner's constraint model). none -> declined; no reply. nim65s has now
declined 3 LAAS repos (Pinocchio/Crocoddyl/hpp-core) -> stop pitching his repos.

Signed-off-by: Ido Yahalomi <greenvh@gmail.com>
@idoco2003 idoco2003 merged commit 07f7bd0 into main Jun 13, 2026
@idoco2003 idoco2003 deleted the ledger/hpp-core-declined branch June 13, 2026 14:18
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.

1 participant