Hackpert: expose typed budget inspection #157

Open
nsaspy wants to merge 5 commits from hackmode-rage-hackpert/budget-inspection-20260831 into master
Owner

Slice

Issue #29 / #27 operator inspection: expose bounded run-scoped objective budget state for LISH/operator consumers without granting effects or touching persistence.

TDD contract

RED contract head: 6072aa6d22bc907c301f070bda74f61bbec3aaa9 adds and wires a regression that requires expert-budget-inspection plus scoped identity, deterministic limit/used/remaining/exhausted entries, and defensive copies.

Implementation head: ae52e644a090c84c544427dd9bad206e14e34f2a implements the pure inspection surface in source/hackmode-core/expert/budget-inspection.lisp and loads it after the canonical budget model.

Boundary

  • inspection only; no provider dispatch or mutation
  • no persistence/database internals
  • no second scheduler/authority
  • names/scope strings are defensively copied
  • deterministic entry ordering by budget name

Exact-head gates

At ae52e644a090c84c544427dd9bad206e14e34f2a:

  • agent-framework-boundary: GREEN
  • monorepo: GREEN
  • core: still executing ASDF tests

PR remains draft until exact-head core is green.

## Slice Issue #29 / #27 operator inspection: expose bounded run-scoped objective budget state for LISH/operator consumers without granting effects or touching persistence. ## TDD contract RED contract head: `6072aa6d22bc907c301f070bda74f61bbec3aaa9` adds and wires a regression that requires `expert-budget-inspection` plus scoped identity, deterministic limit/used/remaining/exhausted entries, and defensive copies. Implementation head: `ae52e644a090c84c544427dd9bad206e14e34f2a` implements the pure inspection surface in `source/hackmode-core/expert/budget-inspection.lisp` and loads it after the canonical budget model. ## Boundary - inspection only; no provider dispatch or mutation - no persistence/database internals - no second scheduler/authority - names/scope strings are defensively copied - deterministic entry ordering by budget name ## Exact-head gates At `ae52e644a090c84c544427dd9bad206e14e34f2a`: - agent-framework-boundary: GREEN - monorepo: GREEN - core: still executing ASDF tests PR remains draft until exact-head core is green.
Merge master into Hackpert budget inspection
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 9s
core / common-lisp-core (pull_request) Failing after 44s
monorepo / hygiene (pull_request) Successful in 3m37s
9ec0bfe8f4
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 9s
core / common-lisp-core (pull_request) Failing after 44s
monorepo / hygiene (pull_request) Successful in 3m37s
This pull request has changes conflicting with the target branch.
  • source/hackmode-core/hackmode-tests.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/budget-inspection-20260831:hackmode-rage-hackpert/budget-inspection-20260831
git switch hackmode-rage-hackpert/budget-inspection-20260831

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