feat: bind governed Developer OS plans to HPL/OpenHands payloads v2 - #5
Draft
Mopati123 wants to merge 7 commits into
Draft
feat: bind governed Developer OS plans to HPL/OpenHands payloads v2#5Mopati123 wants to merge 7 commits into
Mopati123 wants to merge 7 commits into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Purpose
Extend certified Developer OS v1 into v2 by translating deterministic developer-plan scopes into HPL-compatible OpenHands admission payloads.
v2 bindings
repo.read→OPENHANDS_REPO_READtest.execute→OPENHANDS_TEST_EXECUTErepo.patch→OPENHANDS_REPO_PATCHEach generated binding includes:
Authority boundary
The bridge does not import or execute the HPL kernel and does not call OpenHands.
Every binding records:
authority_semantics=hpl_admission_requiredexecution_authorized=falseFor
repo.patch, the payload setsallow_consequential=true, but mutation remains impossible until HPL admits the request and mints an ExecutionToken.Scope discipline
python_unittestrunner;Truth boundary
This tranche proves deterministic cross-repo contract compatibility at the payload level. It does not yet perform live HPL/OpenHands execution.
Review order
This PR is stacked on certified Developer OS v1 and remains draft until CI passes.
Certified Phase N v2 baseline
At head
debf6dd872dca2fa8bbfb6707c7518918894c0c9, the dedicatedRepository Intelligence CIcompleted successfully.Certified v2 additions:
repo.read,test.execute, andrepo.patch;hpl_admission_requiredauthority semantics;execution_authorized=falseon all emitted bindings;Truth boundary: v2 proves payload-level contract compatibility only. It does not itself execute HPL or OpenHands.
This commit is the certified Phase N v2 baseline. PR remains draft and unmerged.