Trace loop dependency evidence before terminal outcomes #40

Merged

adrian.tkacz merged 1 commit from issue-39-dependency-evidence into develop

2026-10-11 17:06:45 +00:00

kilo commented

2026-10-11 16:50:01 +00:00

Member

Refs #39

Scope

Add an explicit /loop dependency evidence check before existing WAIT recommendations and terminal outcomes. Refresh the full canonical MI queue and relevant explicit dependency/producer-contract evidence; trace dependencies backward to the earliest executable MI predecessor; keep unrelated verified eligible work selectable; and classify missing or unresolved evidence as UNVERIFIED, not readiness or a proven gate. Recovery progress remains nonterminal in the same authorized invocation. Preserve the existing #29 re-selection, review, security, standalone-scope and merge gates. No runtime engine, product behavior, new dependency or cross-repository mutation.

Acceptance Evidence

Offline semantic guards cover backward chains, unrelated eligible work, changed producer evidence, unverified states, MI-scoped queue-empty conditions, nonterminal recovery narration, and existing review/authority boundaries. These checks validate the declarative workflow contract, not live /loop execution.

Frozen Objects

Base / merge base: e77f7ae13132c9c202c4cf878bb0e42f2f29680d
Head: 4d189895a497a3d507c19cd58d08ec8ed637ec55
Commit: 4d189895a497a3d507c19cd58d08ec8ed637ec55 (Trace loop dependency evidence before terminal outcomes)

Validation

Focused tests/test_workflow_contract.py: 22 passed.
Sanitized offline make check: PASS, 178 tests; locked sync, Ruff lint/format, basedpyright (0 errors/warnings), and staged/unstaged whitespace checks.

Issue #39 remains open. No merge, release, deployment, main-branch mutation or product GO is claimed.

Refs #39 ## Scope Add an explicit `/loop` dependency evidence check before existing WAIT recommendations and terminal outcomes. Refresh the full canonical MI queue and relevant explicit dependency/producer-contract evidence; trace dependencies backward to the earliest executable MI predecessor; keep unrelated verified eligible work selectable; and classify missing or unresolved evidence as `UNVERIFIED`, not readiness or a proven gate. Recovery progress remains nonterminal in the same authorized invocation. Preserve the existing #29 re-selection, review, security, standalone-scope and merge gates. No runtime engine, product behavior, new dependency or cross-repository mutation. ## Acceptance Evidence Offline semantic guards cover backward chains, unrelated eligible work, changed producer evidence, unverified states, MI-scoped queue-empty conditions, nonterminal recovery narration, and existing review/authority boundaries. These checks validate the declarative workflow contract, not live `/loop` execution. ## Frozen Objects Base / merge base: `e77f7ae13132c9c202c4cf878bb0e42f2f29680d` Head: `4d189895a497a3d507c19cd58d08ec8ed637ec55` Commit: `4d189895a497a3d507c19cd58d08ec8ed637ec55` (`Trace loop dependency evidence before terminal outcomes`) ## Validation - Focused `tests/test_workflow_contract.py`: 22 passed. - Sanitized offline `make check`: PASS, 178 tests; locked sync, Ruff lint/format, basedpyright (0 errors/warnings), and staged/unstaged whitespace checks. Issue #39 remains open. No merge, release, deployment, main-branch mutation or product GO is claimed.

kilo added 1 commit

2026-10-11 16:50:01 +00:00