Hackpert: add typed active action protocol #176

Open
nsaspy wants to merge 6 commits from hackmode-rage-hackpert/27-active-action-protocol into master
Owner

Issue #27 bounded Auto-RAGE Hackpert slice.

RED-first branch. Defines the typed operation/run-scoped active action envelope and payload vocabulary only. It does not add a second executor, direct Tek9 writes, database internals, or product RAGE runtime.

Target invariants:

  • passive rejects all active actions;
  • active dispatch maps to provider-dispatch authority;
  • canonical state deltas map to canonical-mutation authority;
  • operation/run provenance mismatches fail closed;
  • action kind and typed payload must agree;
  • no action is executed by the validation layer.

Superseded by a non-draft PR for the identical head because the GitHub connector's ready-for-review mutation currently fails internally. No code or head change is involved.

Issue #27 bounded Auto-RAGE Hackpert slice. RED-first branch. Defines the typed operation/run-scoped active action envelope and payload vocabulary only. It does not add a second executor, direct Tek9 writes, database internals, or product RAGE runtime. Target invariants: - passive rejects all active actions; - active dispatch maps to provider-dispatch authority; - canonical state deltas map to canonical-mutation authority; - operation/run provenance mismatches fail closed; - action kind and typed payload must agree; - no action is executed by the validation layer. Superseded by a non-draft PR for the identical head because the GitHub connector's ready-for-review mutation currently fails internally. No code or head change is involved.
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
core / common-lisp-core (pull_request) Failing after 50s
monorepo / hygiene (pull_request) Successful in 3m34s
This pull request has changes conflicting with the target branch.
  • 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/27-active-action-protocol:hackmode-rage-hackpert/27-active-action-protocol
git switch hackmode-rage-hackpert/27-active-action-protocol

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