test: freeze Hackpert objective semantic identity values #52

Open
nsaspy wants to merge 2 commits from gpt/hackpert-objective-value-freeze into master
Owner

Selected slice

Advances #29 with a bug-first immutability regression for normalized/frozen objectives.

RED target

Current objective construction copies top-level objective ID/version and list structure, but clause predicates, limit names, and granted-capability strings still alias caller-owned mutable strings. Public accessors can also return those internal strings directly.

The RED test proves that mutating either caller-owned or returned strings must not rewrite:

  • clause predicate semantics;
  • budget-limit identity;
  • granted-capability identity.

Authority fence

Test-only RED commit. No provider dispatch, Tek9 mutation, scheduler changes, Prolog shell execution, StarIntel work, or product-worker infrastructure.

Implementation follows only after exact-head RED evidence.

## Selected slice Advances #29 with a bug-first immutability regression for normalized/frozen objectives. ## RED target Current objective construction copies top-level objective ID/version and list structure, but clause predicates, limit names, and granted-capability strings still alias caller-owned mutable strings. Public accessors can also return those internal strings directly. The RED test proves that mutating either caller-owned or returned strings must not rewrite: - clause predicate semantics; - budget-limit identity; - granted-capability identity. ## Authority fence Test-only RED commit. No provider dispatch, Tek9 mutation, scheduler changes, Prolog shell execution, StarIntel work, or product-worker infrastructure. Implementation follows only after exact-head RED evidence.
fix: freeze objective semantic identity values
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 7s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 18s
core / common-lisp-core (pull_request) Failing after 2m7s
monorepo / hygiene (pull_request) Successful in 4m29s
1e4901c416
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 7s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 18s
core / common-lisp-core (pull_request) Failing after 2m7s
monorepo / hygiene (pull_request) Successful in 4m29s
This pull request can be merged automatically.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin gpt/hackpert-objective-value-freeze:gpt/hackpert-objective-value-freeze
git switch gpt/hackpert-objective-value-freeze

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