yaaw-se 0.3.8 → 0.3.9

package/dist/payload/payload-files.json

@@ -28,7 +28,7 @@
     },
     {
       "path": "payload.json",
-      "sha256": "5d8088462adac3433a634b3a43d5b74b081f125d0621c7b9704aa4bb9fb2a78e",
+      "sha256": "a0cc2f108e5025cb574d243489bdd7e0696c709261d8d17adbb0653f0f6ec142",
       "bytes": 56
     },
     {
@@ -138,8 +138,8 @@
     },
     {
       "path": "yaaw-core/system/core/recovery.md",
-      "sha256": "c857c6d827b48c085bb3810e94cdf5f9478d7bfbb1638f01b7982751e02bd00f",
-      "bytes": 983
+      "sha256": "4349ce76ce652d02d5ffefa657075df3f8f064d4068b5b554fbd23af630bc73e",
+      "bytes": 1473
     },
     {
       "path": "yaaw-core/system/core/routing.md",
@@ -243,8 +243,8 @@
     },
     {
       "path": "yaaw-core/system/roles/orchestrator.md",
-      "sha256": "7af9ebbb72f45066c49dae4e8de5d9e3e2b773de23daede94ec09868922a034c",
-      "bytes": 1895
+      "sha256": "3142d1032d6506b55a1f8ded59932ad5f72fcb4752bac856dc1ee1e509d9e8b4",
+      "bytes": 2036
     },
     {
       "path": "yaaw-core/system/roles/planner.md",
@@ -488,8 +488,8 @@
     },
     {
       "path": "yaaw-core/system/tools/orchestration-engine.mjs",
-      "sha256": "2811f68994ebb747002ab120660897f8c35e787f48e31bd115166343f03cdaf0",
-      "bytes": 17821
+      "sha256": "5058465a85ef3f59d9da1159f7dd871f73930be95e7eaeeb11a1fa6cf4edd3c9",
+      "bytes": 18583
     },
     {
       "path": "yaaw-core/system/tools/orchestration-runtime.mjs",

package/dist/payload/payload.json

@@ -1,4 +1,4 @@
 {
   "schema": "yaaw.payload/v1",
-  "version": "0.3.8"
+  "version": "0.3.9"
 }

package/dist/payload/yaaw-core/system/core/recovery.md

@@ -7,9 +7,11 @@ Recovery reconstructs the last trustworthy durable boundary; conversation loss i
 - `READY` plus valid implementation-start evidence -> `IN_PROGRESS`.
 - `IN_PROGRESS` plus current PASS verification -> `REVIEW_REQUIRED`.
 - `IN_PROGRESS` plus start evidence but no PASS verification -> `implementation.verify-ticket`.
-- `REVIEW_REQUIRED` plus a valid current immutable review -> adopt its result before another Reviewer dispatch.
+- `REVIEW_REQUIRED` plus a valid current immutable review that references current PASS verification -> adopt its result before another Reviewer dispatch.
+- `REVIEW_REQUIRED` plus missing/stale/non-PASS implementation verification -> dispatch `implementation.verify-ticket` without rolling lifecycle state backward.
+- `REVIEW_REQUIRED` plus current PASS verification but missing/stale/non-referencing review -> dispatch `review.review-ticket` for a fresh immutable review round.
 - Source drift -> use routing-policy invalidation, normally `REPLAN_REQUIRED`.
 - Source-current acceptance/repository drift -> `REVIEW_REQUIRED`.
-- Missing proof -> exact `BLOCKED`, never guessing.
+- Missing proof is `BLOCKED` only when no authorized deterministic workflow can safely regenerate or refresh that proof; recoverable proof gaps route to their owning workflow.
 
 Each observation applies at most one legal reconciliation and increments transition provenance once.

package/dist/payload/yaaw-core/system/roles/orchestrator.md

@@ -9,7 +9,7 @@ Own continuity, evidence-backed reconciliation, invalidation coordination, publi
 3. Consume exactly one typed result. `RECONCILE_REQUIRED` applies exactly one reconciliation, then observation repeats.
 4. Dispatch exactly one semantic handoff only after framework health, reconciliation, source-current validation, repository policy, and intent prerequisites pass.
 5. After worker success, failure, interruption, or lost response, throw away worker text as authority and observe durable reality again.
-6. Continue until intent completion, human input, typed blocker/framework stop, or project `COMPLETE`.
+6. Continue until intent completion, human input, an unrecoverable typed blocker/framework stop, or project `COMPLETE`. Recoverable proof gaps must be routed to the owning verification/review workflow rather than surfaced as terminal blockers.
 
 ## Boundary
 The Orchestrator is a traffic controller, not a super-agent. It must not author product decisions, architecture, implementation, research conclusions, or acceptance. Framework integrity is a fail-closed execution precondition. The Orchestrator never creates, edits, deletes, or weakens package-managed `.yaaw-core/system/**` content to unblock work; installer repair is the only supported framework mutation path.

package/dist/payload/yaaw-core/system/tools/orchestration-engine.mjs

@@ -94,10 +94,9 @@ export function selectReconciliation({state,artifacts:a,evidence=[],reviews=[],r
       if(st==="REVIEW_REQUIRED"){
         const v=verify(evidence,id,tr,sr),r=review(reviews,id,tr,sr),to={PASS:"PASS",REPAIR:"REPAIR_REQUIRED",REPLAN:"REPLAN_REQUIRED",BLOCKED:"BLOCKED"}[r?.value?.result];
         if(r&&to&&currentRepo(r,repository)){
-          if(!v||v.value?.schema!=="yaaw.evidence/v3"||v.value.result!=="PASS"||!currentRepo(v,repository))
-            return{id:"REVIEW_EVIDENCE_INVALID",kind:"BLOCKED",reason:"current review lacks current PASS verification"};
-          if(!evidenceRefs(r).has(String(v.value.id)))
-            return{id:"REVIEW_EVIDENCE_INVALID",kind:"BLOCKED",reason:"current review does not reference current PASS verification"};
+          const verificationCurrent=Boolean(v?.value?.schema==="yaaw.evidence/v3"&&v.value.result==="PASS"&&currentRepo(v,repository));
+          if(!verificationCurrent)return null;
+          if(!evidenceRefs(r).has(String(v.value.id)))return null;
           if(!legal(transitions,"REVIEW_REQUIRED",to))
             return{id:"ILLEGAL_REVIEW_TRANSITION",kind:"BLOCKED",reason:"review result is not a legal lifecycle transition"};
           return transition("REVIEW_RESULT_UNAPPLIED",id,"REVIEW_REQUIRED",to,"REVIEW_"+r.value.result,[r.path,v.path]);
@@ -125,14 +124,23 @@ export function selectReconciliation({state,artifacts:a,evidence=[],reviews=[],r
   return null;
 }
 function deps(id,a,state){return (a?.tickets?.[id]?.meta?.dependencies??[]).every(d=>state.tickets?.[d]==="PASS");}
-function baseRoute(state,a,evidence,p){
+function baseRoute(state,a,evidence,reviews,repository,p){
   if(state?.blocker)return{kind:"BLOCKED",terminal:"BLOCKED",reason:state.blocker.kind??"PROJECT_BLOCKED"};
   if(normalizeStatus(state?.product?.status)!=="ready")return{kind:"DISPATCH_READY",workflow:p.product_unready_workflow};
   const tickets=state?.tickets??{},replan=Object.keys(tickets).sort().find(id=>tickets[id]==="REPLAN_REQUIRED");if(replan)return{kind:"DISPATCH_READY",workflow:"planning.replan",ticket:replan};
   if(normalizeStatus(state?.planning?.status)!=="ready"||state.planning.readiness!=="PASS")return{kind:"DISPATCH_READY",workflow:p.planning_unready_workflow};
   const s=activeSpec(state,a);if(!s||normalizeStatus(s.status)!=="accepted")return{kind:"DISPATCH_READY",workflow:p.missing_spec_workflow};
   const ids=currentTicketIds(state,a);if(!ids.length)return{kind:"DISPATCH_READY",workflow:p.missing_tickets_workflow};
-  for(const [st,w] of [["REPAIR_REQUIRED","implementation.repair-ticket"],["REVIEW_REQUIRED","review.review-ticket"]]){const id=ids.find(x=>tickets[x]===st);if(id)return{kind:"DISPATCH_READY",workflow:w,ticket:id};}
+  const repair=ids.find(x=>tickets[x]==="REPAIR_REQUIRED");if(repair)return{kind:"DISPATCH_READY",workflow:"implementation.repair-ticket",ticket:repair};
+  const reviewRequired=ids.find(x=>tickets[x]==="REVIEW_REQUIRED");
+  if(reviewRequired){
+    const m=a.tickets[reviewRequired].meta,tr=Number(m.revision),sr=Number(s.revision),v=verify(evidence,reviewRequired,tr,sr);
+    const verificationCurrent=Boolean(v?.value?.schema==="yaaw.evidence/v3"&&v.value.result==="PASS"&&currentRepo(v,repository));
+    if(!verificationCurrent)return{kind:"DISPATCH_READY",workflow:"implementation.verify-ticket",ticket:reviewRequired,reason:"REVIEW_VERIFICATION_RECOVERY_REQUIRED"};
+    const r=review(reviews,reviewRequired,tr,sr),reviewCurrent=Boolean(r&&currentRepo(r,repository)&&evidenceRefs(r).has(String(v.value.id)));
+    if(!reviewCurrent)return{kind:"DISPATCH_READY",workflow:"review.review-ticket",ticket:reviewRequired,reason:"REVIEW_REFRESH_REQUIRED"};
+    return{kind:"DISPATCH_READY",workflow:"review.review-ticket",ticket:reviewRequired,reason:"REVIEW_RESULT_REFRESH_REQUIRED"};
+  }
   const ip=ids.find(x=>tickets[x]==="IN_PROGRESS");if(ip){const m=a.tickets[ip].meta;return start(evidence,ip,Number(m.revision),Number(s.revision))?{kind:"DISPATCH_READY",workflow:"implementation.verify-ticket",ticket:ip}:{kind:"ROOT_ACTION",workflow:"orchestration.recover-interruption",ticket:ip,reason:"IMPLEMENTATION_START_EVIDENCE_MISSING"};}
   const ready=ids.find(x=>tickets[x]==="READY"&&deps(x,a,state));if(ready)return{kind:"DISPATCH_READY",workflow:"implementation.implement-ticket",ticket:ready};
   const vals=ids.map(x=>tickets[x]);if(vals.some(x=>x==="BLOCKED"))return{kind:"BLOCKED",terminal:"BLOCKED",reason:"TICKET_BLOCKED"};
@@ -163,8 +171,8 @@ export function intentComplete(i,state,a){
   if(o==="PLANNING_REVIEW")return ["PASS","MISSING_DECISIONS","PRODUCT_GAP","REPLAN","BLOCKED"].includes(state.planning?.readiness);
   return false;
 }
-export function selectRoute({state,artifacts:a,evidence=[],intent,routingPolicy}){
-  const normal=baseRoute(state,a,evidence,routingPolicy);if(!intent||intent.desired_outcome==="CONTINUE")return normal;
+export function selectRoute({state,artifacts:a,evidence=[],reviews=[],repository,intent,routingPolicy}){
+  const normal=baseRoute(state,a,evidence,reviews,repository,routingPolicy);if(!intent||intent.desired_outcome==="CONTINUE")return normal;
   if(intentComplete(intent,state,a))return{kind:"INTENT_COMPLETE",reason:intent.completion_kind};
   if(intent.requested_workflow&&legalNow(intent.requested_workflow,state,a)){const map={"implementation.implement-ticket":"READY","implementation.repair-ticket":"REPAIR_REQUIRED","review.review-ticket":"REVIEW_REQUIRED"},st=map[intent.requested_workflow],ticket=st&&Object.keys(state.tickets??{}).sort().find(id=>state.tickets[id]===st);return{kind:"DISPATCH_READY",workflow:intent.requested_workflow,...(ticket?{ticket}:{})};}
   if(["REVIEW","REPAIR"].includes(intent.desired_outcome))return{kind:"ROOT_ACTION",workflow:"orchestration.recover-interruption",reason:intent.desired_outcome+"_PRECONDITION_UNSATISFIED"};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yaaw-se",
-  "version": "0.3.8",
+  "version": "0.3.9",
   "description": "Artifact-first autonomous software engineering workflow installer.",
   "type": "module",
   "bin": {