nsaspy/hackmode
1
0
Fork 0
Code Issues 46 Pull requests 55 Projects Releases Packages Wiki Activity Actions

Hackpert: normalize direct progress into typed candidates #152

Open
nsaspy wants to merge 4 commits from hackmode-rage-hackpert/29-direct-candidate-normalization into master
pull from: hackmode-rage-hackpert/29-direct-candidate-normalization
merge into: nsaspy:master
Conversation 0 Commits 4 Files changed 4 +189 -2
nsaspy commented 2026-09-04 20:58:40 +00:00
Owner
Copy link

Slice

Close the #29 direct-escalation normalization gap without widening authority: provide an explicit typed boundary that normalizes useful direct-mode output before returning it to symbolic execution.

Tracks #29 / #27.

RED

Test-only head a4b1756171c0e6b65e4ba0f389fb787b04023f15 requires a typed expert-direct-candidate boundary and a direct->symbolic resume helper. common-lisp-core fails at that head while hygiene, one-open-PR, and repository-boundary checks pass.

GREEN implementation

Current head 1765875be2891fdae655893904e63e75f78ffaa0 adds a pure candidate envelope for :rule, :plan, :evidence, or :kb, defensive-copies caller payload/provenance, validates operation/run scope, and exposes an explicit direct->symbolic resume helper after successful normalization. It does not execute or persist the candidate and does not alter provider/effect authority.

Exact-head boundary and hygiene are green; common-lisp-core is still running, so this PR remains draft and unmerged until the exact head is fully green.

## Slice Close the #29 direct-escalation normalization gap without widening authority: provide an explicit typed boundary that normalizes useful direct-mode output before returning it to symbolic execution. Tracks #29 / #27. ## RED Test-only head `a4b1756171c0e6b65e4ba0f389fb787b04023f15` requires a typed `expert-direct-candidate` boundary and a direct->symbolic resume helper. `common-lisp-core` fails at that head while hygiene, one-open-PR, and repository-boundary checks pass. ## GREEN implementation Current head `1765875be2891fdae655893904e63e75f78ffaa0` adds a pure candidate envelope for `:rule`, `:plan`, `:evidence`, or `:kb`, defensive-copies caller payload/provenance, validates operation/run scope, and exposes an explicit direct->symbolic resume helper after successful normalization. It does not execute or persist the candidate and does not alter provider/effect authority. Exact-head boundary and hygiene are green; `common-lisp-core` is still running, so this PR remains draft and unmerged until the exact head is fully green.
build: load direct candidate normalization
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
Details
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 18s
Details
core / common-lisp-core (pull_request) Failing after 1m3s
Details
monorepo / hygiene (pull_request) Successful in 4m0s
Details
1765875be2
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
Details
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 18s
Details
core / common-lisp-core (pull_request) Failing after 1m3s
Details
monorepo / hygiene (pull_request) Successful in 4m0s
Details
This pull request has changes conflicting with the target branch.
  • source/hackmode-core/expert/direct-candidate.lisp
  • source/hackmode-core/hackmode-tests.asd
  • source/hackmode-core/tests/expert-direct-candidate.lisp
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin hackmode-rage-hackpert/29-direct-candidate-normalization:hackmode-rage-hackpert/29-direct-candidate-normalization
git switch hackmode-rage-hackpert/29-direct-candidate-normalization

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch master
git merge --no-ff hackmode-rage-hackpert/29-direct-candidate-normalization
git switch hackmode-rage-hackpert/29-direct-candidate-normalization
git rebase master
git switch master
git merge --ff-only hackmode-rage-hackpert/29-direct-candidate-normalization
git switch hackmode-rage-hackpert/29-direct-candidate-normalization
git rebase master
git switch master
git merge --no-ff hackmode-rage-hackpert/29-direct-candidate-normalization
git switch master
git merge --squash hackmode-rage-hackpert/29-direct-candidate-normalization
git switch master
git merge --ff-only hackmode-rage-hackpert/29-direct-candidate-normalization
git switch master
git merge hackmode-rage-hackpert/29-direct-candidate-normalization
git push origin master
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug
Something isn't working

  
documentation
Improvements or additions to documentation

  
duplicate
This issue or pull request already exists

  
enhancement
New feature or request

  
feature
New feature or capability

  
good first issue
Good for newcomers

  
help wanted
Extra attention is needed

  
invalid
This doesn't seem right

  
question
Further information is requested

  
refactor
Code cleanup without behavior change

  
wontfix
This will not be worked on

No labels
bug
documentation
duplicate
enhancement
feature
good first issue
help wanted
invalid
question
refactor
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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
nsaspy/hackmode!152
No description provided.