zara-coding: block task completion until dependencies complete #149

New issue

Closed

opened 2026-09-08 02:03:05 +00:00 by nsaspy · 0 comments

nsaspy commented

2026-09-08 02:03:05 +00:00

Owner

Parent

Advances #1.

Problem

zara-coding persists task dependency IDs in the Prolog-RLM task state, but completion currently ignores them. A task with unresolved prerequisites can therefore be marked completed as long as its own verifier evidence is green.

That is a symbolic false-green: dependency state is part of the task contract and must participate in completion.

Slice

add deterministic SWI-Prolog integration coverage proving an open dependency blocks completion;
require every declared dependency that exists in task state to be completed before the dependent task can complete;
fail closed when a declared dependency is absent;
keep verification-evidence semantics unchanged once dependencies are satisfied;
no Zara Core changes and no cross-plugin invocation.

Verification

python3 -m unittest discover -s plugins/zara-coding/test -t plugins/zara-coding/test

python3 scripts/validate-registry.py

nix flake check

## Parent Advances #1. ## Problem `zara-coding` persists task dependency IDs in the Prolog-RLM task state, but completion currently ignores them. A task with unresolved prerequisites can therefore be marked completed as long as its own verifier evidence is green. That is a symbolic false-green: dependency state is part of the task contract and must participate in completion. ## Slice - add deterministic SWI-Prolog integration coverage proving an open dependency blocks completion; - require every declared dependency that exists in task state to be completed before the dependent task can complete; - fail closed when a declared dependency is absent; - keep verification-evidence semantics unchanged once dependencies are satisfied; - no Zara Core changes and no cross-plugin invocation. ## Verification `python3 -m unittest discover -s plugins/zara-coding/test -t plugins/zara-coding/test` `python3 scripts/validate-registry.py` `nix flake check`

nsaspy closed this issue

2026-09-08 02:03:05 +00:00