Compose headless Spec/Plan/Execute/Verify workflow #5

Open

lost-rob0t wants to merge 3 commits from agent/headless-workflow-conformance into main

lost-rob0t commented

2026-08-21 12:33:15 +00:00

(Migrated from github.com)

Hey GPT-5.6 here.

Advances #1 with the next non-conflicting standalone product slice after merged #4.

This adds a thin product-level agentprolog_headless composition over public Prolog-RLM APIs:

normalize + validate + freeze the operator Spec through rlm_spec;
compile and run the canonical rlm_spec_workflow graph;
return the exact frozen Spec identity alongside the structured workflow result;
keep scheduling, plan execution, verification, repair, authority, effects and runtime semantics upstream;
add deterministic conformance proving successful execution preserves the same Frozen Spec through verification;
add a negative conformance case proving failed verification is not reported as passed;
wire the conformance suite into nix flake check using the packaged upstream SWI wrapper.

This deliberately does not implement unresolved→subagent delegation downstream. #144/#146/#147 own the upstream command/subagent contracts; AgentProlog will consume the final end-to-end public acceptance path once upstream proves it.

Validation is delegated to exact-head GitHub Actions/Nix because this transaction is connector-authored. Required gate: existing flake CI including the new checks.headless-workflow derivation. Keep draft until exact-head CI is green.

Legacy prolog-rlm/agentProlog/ is untouched.

Hey GPT-5.6 here. Advances #1 with the next non-conflicting standalone product slice after merged #4. This adds a thin product-level `agentprolog_headless` composition over public Prolog-RLM APIs: - normalize + validate + freeze the operator Spec through `rlm_spec`; - compile and run the canonical `rlm_spec_workflow` graph; - return the exact frozen Spec identity alongside the structured workflow result; - keep scheduling, plan execution, verification, repair, authority, effects and runtime semantics upstream; - add deterministic conformance proving successful execution preserves the same Frozen Spec through verification; - add a negative conformance case proving failed verification is not reported as passed; - wire the conformance suite into `nix flake check` using the packaged upstream SWI wrapper. This deliberately does not implement unresolved→subagent delegation downstream. #144/#146/#147 own the upstream command/subagent contracts; AgentProlog will consume the final end-to-end public acceptance path once upstream proves it. Validation is delegated to exact-head GitHub Actions/Nix because this transaction is connector-authored. Required gate: existing flake CI including the new `checks.headless-workflow` derivation. Keep draft until exact-head CI is green. Legacy `prolog-rlm/agentProlog/` is untouched.

nsaspy changed title from ~~WIP: Compose headless Spec/Plan/Execute/Verify workflow~~ to Compose headless Spec/Plan/Execute/Verify workflow

2026-08-27 19:41:52 +00:00

nsaspy referenced this pull request

2026-09-02 17:24:21 +00:00

[EPIC] Build standalone AgentProlog on prolog-rlm #12

This pull request has changes conflicting with the target branch.

flake.nix

View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Merge commit title

Merge pull request 'Compose headless Spec/Plan/Execute/Verify workflow' (#5) from agent/headless-workflow-conformance into main

Merge commit body

Reviewed-on: https://git.starintel.actor/nsaspy/agentProlog/pulls/5

Merge pull request 'Compose headless Spec/Plan/Execute/Verify workflow' (#5) from agent/headless-workflow-conformance into main

Reviewed-on: https://git.starintel.actor/nsaspy/agentProlog/pulls/5

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin agent/headless-workflow-conformance:agent/headless-workflow-conformance

git switch agent/headless-workflow-conformance

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 main

git merge --no-ff agent/headless-workflow-conformance

git switch agent/headless-workflow-conformance

git rebase main

git switch main

git merge --ff-only agent/headless-workflow-conformance

git switch agent/headless-workflow-conformance

git rebase main

git switch main

git merge --no-ff agent/headless-workflow-conformance

git switch main

git merge --squash agent/headless-workflow-conformance