Hackpert: add normalized objective specification model #170

Open
nsaspy wants to merge 4 commits from hackmode-rage-hackpert/29-objective-spec into master
Owner

Issue #29 bounded Hackpert-owned slice for the open objective loop.

RED-first contract only at this head: specifies a normalized objective/SPEC capable of expressing a uid-0/root goal, foothold prerequisite, evidence requirement, stop clause, typed budget limit, and deterministic granted-capability set. The test also requires defensive copies so callers cannot mutate the objective through returned lists.

No database internals, provider execution, model executor, scheduler, or StarIntel product work is touched.

RED head: 9cc6058ae4f0c070f9e3371ada4b477ece51f800

Issue #29 bounded Hackpert-owned slice for the open objective loop. RED-first contract only at this head: specifies a normalized objective/SPEC capable of expressing a uid-0/root goal, foothold prerequisite, evidence requirement, stop clause, typed budget limit, and deterministic granted-capability set. The test also requires defensive copies so callers cannot mutate the objective through returned lists. No database internals, provider execution, model executor, scheduler, or StarIntel product work is touched. RED head: `9cc6058ae4f0c070f9e3371ada4b477ece51f800`
Hackpert: load objective model
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 1s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 4s
core / common-lisp-core (pull_request) Failing after 36s
monorepo / hygiene (pull_request) Successful in 2m54s
59ddbb8837
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 1s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 4s
core / common-lisp-core (pull_request) Failing after 36s
monorepo / hygiene (pull_request) Successful in 2m54s
This pull request has changes conflicting with the target branch.
  • source/hackmode-core/expert/objective.lisp
  • source/hackmode-core/hackmode-tests.asd
  • source/hackmode-core/hackmode.asd
  • source/hackmode-core/tests/expert-objective.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-objective-spec:hackmode-rage-hackpert/29-objective-spec
git switch hackmode-rage-hackpert/29-objective-spec

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-objective-spec
git switch hackmode-rage-hackpert/29-objective-spec
git rebase master
git switch master
git merge --ff-only hackmode-rage-hackpert/29-objective-spec
git switch hackmode-rage-hackpert/29-objective-spec
git rebase master
git switch master
git merge --no-ff hackmode-rage-hackpert/29-objective-spec
git switch master
git merge --squash hackmode-rage-hackpert/29-objective-spec
git switch master
git merge --ff-only hackmode-rage-hackpert/29-objective-spec
git switch master
git merge hackmode-rage-hackpert/29-objective-spec
git push origin master
Sign in to join this conversation.
No description provided.