S0: adopt closed project-op plan vocabulary + dependency-graph executor (#293) #335

Merged

nsaspy merged 16 commits from issue-293 into main 2026-09-04 18:45:07 +00:00

Conversation 0 Commits 16 Files changed 22 +4572 -194

nsaspy commented 2026-09-04 11:29:03 +00:00

Owner

Copy link

Runtime invariant implemented

Recreated CI pull request for the unchanged S0 adoption head 56901058ec3034c231dbb2462a715420787605bf after the former PR record disappeared from Forgejo.

• Adopts rage/288-spec-plan-graph-executor at pinned 71a10ae plus D6-11 plan-native dispatch (653fed1) into current main.
• rlm_plan remains the only step executor; one rlm_async scheduler.
• sync_remote/run/index/delete dispatch through native_handlers and are excluded from expert mapping; edit/create remain write-expert-owned.
• Main's #57/#53 canonical durable effect and authority boundary is exercised through the expert/native handler contract path.
• Design gate validates the merged module; pre-adoption BASE extraction and base_ref_resolvable are retired honestly.
• Forgejo #293, design records, research scope, KB state, and roadmap are reconciled.

Local evidence at 92550f5: deterministic suite 1218/1218 (98 suites), benchmark 16/16, design gate 63/63, contract gate, CLI demo/trace, fresh-process effect restart fixture, research approval, diff check, and prolog-verify check all green. Evidence commit: 5690105.

Refs #293

## Runtime invariant implemented Recreated CI pull request for the unchanged S0 adoption head `56901058ec3034c231dbb2462a715420787605bf` after the former PR record disappeared from Forgejo. - Adopts `rage/288-spec-plan-graph-executor` at pinned `71a10ae` plus D6-11 plan-native dispatch (`653fed1`) into current main. - `rlm_plan` remains the only step executor; one `rlm_async` scheduler. - `sync_remote`/`run`/`index`/`delete` dispatch through `native_handlers` and are excluded from expert mapping; `edit`/`create` remain write-expert-owned. - Main's #57/#53 canonical durable effect and authority boundary is exercised through the expert/native handler contract path. - Design gate validates the merged module; pre-adoption BASE extraction and `base_ref_resolvable` are retired honestly. - Forgejo #293, design records, research scope, KB state, and roadmap are reconciled. Local evidence at `92550f5`: deterministic suite 1218/1218 (98 suites), benchmark 16/16, design gate 63/63, contract gate, CLI demo/trace, fresh-process effect restart fixture, research approval, diff check, and `prolog-verify check` all green. Evidence commit: `5690105`. Refs #293

nsaspy added 11 commits 2026-09-04 11:29:03 +00:00

docs(rage): open #288 spec/plan graph iteration log 9b90098e93

docs(research): RLM-RESEARCH-027 spec/plan graph executor + #288 contract gate 8b00e9dfce

docs(research): fold adversarial review into RLM-RESEARCH-027 and reconcile #288 c5f0f2d596

docs(design): plan-graph executor design record for #288 3899fb2c11

feat(plan-graph): closed project-op vocabulary and ready_step dependency-graph executor ... 496e48fdd4

Implements #288: rlm_plan_graph parses model-authored plan dependency
graphs (JSON or term form) over a closed 12-op project vocabulary,
validates structure/ids/dependencies/cycles/vocabulary/arg-shapes/
per-op tool(Op) capabilities/aggregate budget before execution, then
executes ready steps through rlm_plan as the only step interpreter with
host-supplied expert closures. Includes cancellation-as-token-rethrow,
blocked propagation, aggregate budget feed-forward, symbol_ref/
source_span resolver contract, async-first surface (one rlm_async
submission, same-Future await), docs, contract gate, and 24 PlUnit
tests plus deterministic corpus registration. No new external-effect
path: shipped handlers are pure host closures.

fix(plan-graph): final-review hardening for #288 ... 71a10ae238

Deterministic fault classification (no choicepoint leakage), grounded
invalid_args sentinels, ghost/duplicate depends_on rejection, malformed
host caps -> structured fault, per-op exact JSON key sets, aggregate
funding across all feed-forward classes (unfundable -> aborted/budget),
parse-phase attribution, docs corrections, design deviations recorded,
two new tests (unfundable step, pre-cancelled token). 1021/1021 green.

feat(plan-graph): D6-11 plan-native deterministic mutations (#355) ... 653fed13ad

Implements the operator decision recorded as D6-11 in
docs/research/spec-plan-authority.md (main): the closed set
sync_remote/1, run/1, index/1, delete/1 executes at the plan layer
through the canonical boundary (schema -> capability -> authority ->
durable effect admission -> dispatch -> observe), exactly like a
tool/3 step — never ambient shell/git access in plan code. They are
excluded from expert mapping and from the expert registry;
edit/2 and create/2 remain write-expert-owned (§8.3).

Executor changes (prolog/rlm_plan_graph.pl):
- plan_native_op/1 exported closed set + native_op_tool/1 mapping.
- Host deterministic adapter closures move to a separate trusted
  native_handlers([native_handler(Op, Handler)]) option; the executor
  performs no effects itself and gains no ambient authority.
- Preflight fail-closed: native steps require a native handler
  (unknown_native_handler), expert entries for plan-native ops are
  rejected (expert_mapping_excluded), and native entries for
  non-native ops are rejected (not_plan_native).
- Desugared form unchanged:
  plan([tool(Op, literal(Args), Bind), final(var(Bind))]) executed
  through the rlm_plan validate/execute ABIs.
- Per-op capability enforcement is untouched: an ungranted
  tool(Op) still fails closed at validation before any dispatch.

Tests (TDD, red first): plan-native single-op and full-set runs with
no expert registry, missing-handler preflight fault, expert-mapping
exclusion fault, non-native native-table rejection, capability
fail-closed unchanged. Existing expert-routed fixtures converted:
index/sync_remote move to the native table; read/search/validate/
delegate/expert paths unchanged.

SWI 10.0.2 compat fix required by the gate: decode_args/4 re-tags
unknown-op JSON args via dict_pairs(Args, _, Pairs) — this SWI
decodes JSON objects with a tag that does not unify with
plan_graph_args, so the invalid_args sentinel silently failed and
the two vocabulary-rejection tests failed. Fault contract unchanged.

Docs: plan-graph-runtime.md D6-11 dispatch section; design record
amendment appended (rage/288-spec-plan-graph-executor.org); contract
gate pins the plan_native_op/1 export.

Gate: check_runtime, load_all, run_tests 1027/1027 (86 suites),
benchmark deterministic 16/16, CLI demo, git diff --check,
research-approval, contract gate ALL DEFINED.

Merge rage/288-spec-plan-graph-executor (71a10ae) into main ... d5cb6c619f

Adopt the closed project-op plan vocabulary and plan dependency-graph
executor (#293): prolog/rlm_plan_graph.pl, docs/plan-graph-runtime.md,
design record, contract gate, PlUnit suite. Resolves drift conflicts in
docs/typed-plans.md and test/load_all.pl (keep spec_strategy + add
plan_graph to the static load surface).

Merge commit '653fed1' into issue-293 6d5b872972

feat(plan-graph): reconcile #293 adoption with D6-11 dispatch and design gate ... 92550f5cbe

S0 adoption slice for the closed project-op plan vocabulary and plan
dependency-graph executor (Forgejo #293 / lost-rob0t/prolog-rlm#288).

Runtime invariant implemented:
- rlm_plan_graph.pl (71a10ae + 653fed1) is merged: rlm_plan remains the
  only step executor, one rlm_async scheduler, plan-native dispatch is
  the D6-11 closed set (sync_remote/run/index/delete) through
  native_handlers, excluded from expert mapping (expert_mapping_excluded);
  edit/create stay write-expert-owned.
- The handler contract path inherits main's #57/#53 durable effect
  boundary and authority semantics through the canonical rlm_tool
  registry: test/rlm_plan_native_ops_test.pl drives BOTH the plan layer
  and the executor's native_handlers path through tool_invoke and proves
  the durable observed attempt with content-derived fingerprint, replay
  without a second external dispatch, capability fail-closed before any
  dispatch, and observation ops never entering the effect store. The
  executor gains no effect path and no ambient authority.

Design gate (#356/#293 reconciliation):
- The extract-unmerged-BASE flow (git cat-file of the pinned 71a10ae
  object) is replaced by loading the merged prolog/rlm_plan_graph.pl
  from the checkout; base_ref_resolvable is retired and honestly
  repointed as plan_graph_merged_module_loaded (pinned id stays as
  adoption provenance).
- New plan_native_checks group (4 checks) validates the module's own
  exported plan_native_op/1 against the closed vocabulary, capability
  fail-closed/exact admission, and the canonical desugared tool/3 step.
- source:rage288: evidence refs repointed to the merged checkout path.

Docs + KB reconciliation:
- spec-plan-authority.md: D6-11 recorded verbatim in §6.3, D6-8 amended,
  §6.2 notes adoption and the retired pin, §14 updated (63 checks,
  14 groups).
- RLM-RESEARCH-353 scope boundary: plan-native ops are never projected
  as direct-mode expert tools.
- plan-graph-executor-design.md: adoption-reconciliation banner for the
  D6-11 deviations re-checked against merged code.
- plan-graph-runtime.md: canonical-boundary obligation + behavioral
  evidence for the native handler path.
- roadmap: D6-11 noted in the substrate paragraph.
- research KB: s00 recorded done with gate/source evidence, D6-11
  fold-in recorded as a validated decision.

Gate: check_runtime, load_all, run_tests 1218/1218 (98 suites incl.
rlm_plan_native_ops), benchmark deterministic 16/16, CLI demo,
design gate ALL CHECKS PASSED, plan_graph contract ALL REQUIREMENTS
DEFINED, research-approval PASS, git diff --check clean.

Refs #293 #355 #356

chore(verify): record #293 adoption gate evidence at head 92550f5 ... 56901058ec

Machine-recorded observations (prolog-verify observe) for check_runtime,
load_all, run_tests (1218/1218), benchmark deterministic, CLI demo,
design gate, plan_graph contract check, focused plan-graph and
plan-native suites, the fresh-process effect restart fixture, git diff
--check, and research-approval — all exit(0) at 92550f5. Derived
invariants pin the D6-11 closed set, expert-mapping exclusion, single
rlm_async scheduler, and no executor effect path. prolog-verify check
passes at that head.

nsaspy added 2 commits 2026-09-04 11:33:29 +00:00

style(plan-graph): remove EOF whitespace blocking CI 43405ed73d

chore(verify): record CI whitespace fix evidence d2cc7a9987

nsaspy referenced this pull request 2026-09-04 14:36:20 +00:00

[RESEARCH] Project expert capabilities into direct mode as model-invocable native tools #346

nsaspy added 3 commits 2026-09-04 18:37:19 +00:00

chore(verify): record PR 335 local test evidence at d2cc7a9 c0c201f985

Merge main into issue-293: reconcile verification workspace with #349/#350 ... a0272a3997

- .prolog state resolved to the incoming #293 task evidence (repo convention)
- roadmap text-streaming paragraph and deterministic corpus additions from
  #350 kept; no semantic overlap with the S0 adoption slice

chore(verify): record PR 335 merge reconcile evidence at a0272a3 d211e682a7

nsaspy merged commit af9911ae30 into main 2026-09-04 18:45:07 +00:00

nsaspy referenced this pull request from a commit 2026-09-04 18:45:07 +00:00

Merge pull request 'S0: adopt closed project-op plan vocabulary + dependency-graph executor (#293)' (#335) from issue-293 into main

nsaspy referenced this pull request from a commit 2026-09-04 19:06:09 +00:00

Merge main into ci/tree-sitter-runner-labels: reconcile verification workspace

nsaspy referenced this pull request 2026-09-08 01:29:20 +00:00

[EPIC][symbolic-port] Private-source semantics → public symbolic expert/rule corpus #408

nsaspy referenced this pull request 2026-09-08 01:29:20 +00:00

[EPIC][cyber-harness] Generic Prolog-RLM cyber reasoning harness for Hackmode/Hackpert #409

nsaspy referenced this pull request 2026-09-08 01:29:22 +00:00

[EPIC] Prolog-first deep recursive autonomous research with LLM fallback only #423

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

bug

Something isn't working

  

documentation

Improvements or additions to documentation

  

duplicate

This issue or pull request already exists

  

enhancement

New feature or request

  

good first issue

Good for newcomers

  

help wanted

Extra attention is needed

  

invalid

This doesn't seem right

  

question

Further information is requested

  

wontfix

This will not be worked on

No labels

bug

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

wontfix

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

nsaspy/prolog-rlm!335

No description provided.