Hackpert: expose objective selection inspection #92

Open
nsaspy wants to merge 7 commits from hackmode-rage-hackpert/objective-selection-inspection into master
Owner

Slice

#29 / #27 Hackpert-owned operator inspection: expose one bounded, side-effect-free inspection object spanning objective satisfaction/blockers and extension selection provenance.

RED contract

The regression requires objective ID/version/status, bounded unmet clause identity, authority and reasoning strategy, selected extension/version, selection reason, and every candidate's admission reason. Objective clause arguments must never appear in the inspection surface, and returned aggregate values must be defensive copies.

This draft intentionally starts with the executable regression before implementation so exact-head CI can prove RED first.

Boundary

No provider execution, canonical mutation, persistence/database internals, scheduler, raw Prolog execution, or StarIntel product work.

## Slice #29 / #27 Hackpert-owned operator inspection: expose one bounded, side-effect-free inspection object spanning objective satisfaction/blockers and extension selection provenance. ## RED contract The regression requires objective ID/version/status, bounded unmet clause identity, authority and reasoning strategy, selected extension/version, selection reason, and every candidate's admission reason. Objective clause arguments must never appear in the inspection surface, and returned aggregate values must be defensive copies. This draft intentionally starts with the executable regression before implementation so exact-head CI can prove RED first. ## Boundary No provider execution, canonical mutation, persistence/database internals, scheduler, raw Prolog execution, or StarIntel product work.
test: prove inspection strings cannot mutate snapshot
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 13s
core / common-lisp-core (pull_request) Failing after 51s
monorepo / hygiene (pull_request) Successful in 5m47s
46ea1b7416
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 13s
core / common-lisp-core (pull_request) Failing after 51s
monorepo / hygiene (pull_request) Successful in 5m47s
This pull request has changes conflicting with the target branch.
  • source/hackmode-core/hackmode-tests.asd
  • source/hackmode-core/hackmode.asd
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/objective-selection-inspection:hackmode-rage-hackpert/objective-selection-inspection
git switch hackmode-rage-hackpert/objective-selection-inspection

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