Hackpert: expose typed budget inspection #85

Closed
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 was reconciled forward after database-only #111 advanced master; current exact head is 9ec0bfe8f498df83fd3dca7d735e1b1292d2422a.

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 9ec0bfe8f498df83fd3dca7d735e1b1292d2422a:

  • agent-framework-boundary: GREEN
  • monorepo: GREEN
  • core: GREEN

This replaces draft #109 at the identical green head because GitHub's ready-for-review mutation failed on the connector fullDatabaseId field.

## 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 was reconciled forward after database-only #111 advanced `master`; current exact head is `9ec0bfe8f498df83fd3dca7d735e1b1292d2422a`. ## 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 `9ec0bfe8f498df83fd3dca7d735e1b1292d2422a`: - agent-framework-boundary: GREEN - monorepo: GREEN - core: GREEN This replaces draft #109 at the identical green head because GitHub's ready-for-review mutation failed on the connector `fullDatabaseId` field.
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
nsaspy closed this pull request 2026-09-04 20:55:02 +00:00
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

Pull request closed

Sign in to join this conversation.
No description provided.