@atmem/architect 0.2.0-alpha.4.1 → 0.2.1

package/server/windows_snapshot.py

@@ -0,0 +1,119 @@
+"""Bounded Windows snapshots with held, no-reparse, read-sharing-only handles.
+
+All handles stay open until the complete tree is audited. Writers, replacements,
+reparse points, hard links and non-disk objects fail closed; nothing is executed.
+References: Microsoft CreateFileW and GetFileInformationByHandle documentation.
+"""
+import ctypes
+from ctypes import wintypes as w
+import hashlib
+import io
+import os
+from pathlib import Path
+import stat
+import zipfile
+from .engineering_sessions import SessionError
+
+
+def snapshot(workspace, *, excluded, max_bytes, max_files):
+    if os.name != 'nt':
+        raise SessionError('Windows snapshot handles require Windows')
+    kernel = ctypes.WinDLL('kernel32', use_last_error=True)
+    class Info(ctypes.Structure):
+        _fields_ = [('attributes', w.DWORD), ('created', w.FILETIME),
+                    ('accessed', w.FILETIME), ('written', w.FILETIME),
+                    ('volume', w.DWORD), ('size_hi', w.DWORD), ('size_lo', w.DWORD),
+                    ('links', w.DWORD), ('index_hi', w.DWORD), ('index_lo', w.DWORD)]
+    kernel.CreateFileW.argtypes = [w.LPCWSTR,w.DWORD,w.DWORD,w.LPVOID,w.DWORD,w.DWORD,w.HANDLE]
+    kernel.CreateFileW.restype = w.HANDLE
+    kernel.CloseHandle.argtypes = [w.HANDLE]
+    kernel.CloseHandle.restype = w.BOOL
+    kernel.GetFileInformationByHandle.argtypes = [w.HANDLE,ctypes.POINTER(Info)]
+    kernel.GetFileInformationByHandle.restype = w.BOOL
+    kernel.GetFileType.argtypes = [w.HANDLE]
+    kernel.GetFileType.restype = w.DWORD
+    kernel.GetFinalPathNameByHandleW.argtypes = [w.HANDLE,w.LPWSTR,w.DWORD,w.DWORD]
+    kernel.GetFinalPathNameByHandleW.restype = w.DWORD
+    kernel.ReadFile.argtypes = [w.HANDLE,w.LPVOID,w.DWORD,ctypes.POINTER(w.DWORD),w.LPVOID]
+    kernel.ReadFile.restype = w.BOOL
+    invalid = ctypes.c_void_p(-1).value
+    held, entries, exclusions, observed = [], [], [], {}
+    output, total = io.BytesIO(), 0
+    root = Path(workspace).absolute()
+    if str(root).startswith('\\\\'):
+        raise SessionError('Windows capture requires a local disk workspace')
+    def fail():
+        raise SessionError('Artifact contains a changed, linked or unavailable Windows entry; no package was saved')
+    def information(handle):
+        info=Info()
+        if not kernel.GetFileInformationByHandle(handle,ctypes.byref(info)):fail()
+        if info.attributes & 0x400 or kernel.GetFileType(handle)!=1:fail()
+        return info
+    def identity(info):
+        return (info.volume,info.index_hi,info.index_lo,info.attributes,info.links,
+                info.size_hi,info.size_lo,info.created.dwHighDateTime,info.created.dwLowDateTime,
+                info.written.dwHighDateTime,info.written.dwLowDateTime)
+    def open_entry(path):
+        # No FILE_SHARE_WRITE or FILE_SHARE_DELETE: retain every handle through audit.
+        handle=kernel.CreateFileW('\\\\?\\'+str(path),0x80000000,1,None,3,0x02200000,None)
+        if handle==invalid:fail()
+        held.append(handle)
+        info=information(handle)
+        actual=ctypes.create_unicode_buffer(32768)
+        length=kernel.GetFinalPathNameByHandleW(handle,actual,len(actual),0)
+        if not length or length>=len(actual) or os.path.normcase(actual.value)!=os.path.normcase('\\\\?\\'+str(path)):fail()
+        return handle,info
+    def names(path):
+        result=[]
+        for name in sorted(os.listdir(path)):
+            if name in excluded:continue
+            if name in {'.','..'} or name.endswith((' ','.')) or any(ord(c)<32 or c in '\\/:"<>|?*' for c in name):fail()
+            result.append(name)
+        return result
+    def walk(path,relative,handle,info,archive):
+        nonlocal total
+        observed[relative]=(path,handle,identity(info),None)
+        if info.attributes & 0x10:
+            children=names(path)
+            observed[relative]=(path,handle,identity(info),children)
+            exclusions.extend((relative+'/' if relative else '')+name for name in sorted(os.listdir(path)) if name in excluded)
+            for name in children:
+                child_relative=(relative+'/' if relative else '')+name
+                child,child_info=open_entry(path/name)
+                directory=bool(child_info.attributes & 0x10)
+                if len(entries)>=max_files:raise SessionError('Artifact entry limit exceeded; no partial package was saved')
+                if directory:
+                    entries.append({'path':child_relative+'/','kind':'directory'})
+                    item=zipfile.ZipInfo(child_relative+'/');item.external_attr=(stat.S_IFDIR|0o755)<<16
+                    archive.writestr(item,b'')
+                walk(path/name,child_relative,child,child_info,archive)
+        else:
+            size=(info.size_hi<<32)|info.size_lo
+            if info.links!=1 or total+size>max_bytes:fail()
+            content=bytearray()
+            while True:
+                buffer=ctypes.create_string_buffer(min(1_000_000,max_bytes-total-len(content)+1))
+                read=w.DWORD()
+                if not kernel.ReadFile(handle,buffer,len(buffer),ctypes.byref(read),None):fail()
+                if not read.value:break
+                content.extend(buffer.raw[:read.value])
+                if total+len(content)>max_bytes:fail()
+            if len(content)!=size or identity(information(handle))!=identity(info):fail()
+            entries.append({'path':relative,'kind':'file','bytes':size,'sha256':hashlib.sha256(content).hexdigest()})
+            item=zipfile.ZipInfo(relative);item.compress_type=zipfile.ZIP_DEFLATED
+            mode=0o755 if path.suffix.lower() in {'.sh','.exe'} else 0o644
+            item.external_attr=(stat.S_IFREG|mode)<<16
+            archive.writestr(item,content)
+            total+=size
+    try:
+        handle,info=open_entry(root)
+        if not info.attributes & 0x10:fail()
+        with zipfile.ZipFile(output,'w',compression=zipfile.ZIP_DEFLATED)as archive:
+            walk(root,'',handle,info,archive)
+        for path,handle,expected,children in observed.values():
+            if identity(information(handle))!=expected or children is not None and names(path)!=children:fail()
+        return output.getvalue(),entries,exclusions
+    except OSError:
+        fail()
+    finally:
+        for handle in reversed(held):kernel.CloseHandle(handle)

package/src/ArchitectureWorkPanel.jsx

@@ -13,12 +13,6 @@ function WorkPanel({project,onChange,busy=false}){
  const priority={changed:0,missing:0,unreviewed:1,current:2};
  const mappings=model.entities.filter(e=>['responsibility','delivery-unit','interface','implementation','assumption','decision','evidence','requirement','removed'].includes(e.kind)).sort((a,b)=>priority[a.contextStatus]-priority[b.contextStatus]);
  function apply(change){onChange(change,project.id);setError('');}
- async function importProposal(event){const file=event.target.files?.[0];event.target.value='';if(!file)return;try{
-  if(file.size>1_500_000)throw Error('Work proposal exceeds its storage limit. Nothing was imported.');
-  const value=JSON.parse(await file.text());
-  if(value.version!==1||!Array.isArray(value.records)||Object.keys(value).some(k=>!['version','records'].includes(k)))throw Error('Use a version1 work-record proposal.');
-  apply({kind:'propose',records:value.records});
- }catch(e){setError(e.message);}}
  return <details className="architecture-work"><summary>Architecture work context · {mappings.filter(e=>e.contextStatus==='changed'||e.contextStatus==='missing').length} need review</summary>
   <p>Requirements, responsibilities, interfaces and implementation mappings share their change context. A current context is a recorded review; it does not establish that an implementation or test passed.</p>
   <p>{intents} intent {intents===1?'source':'sources'} · {requirements} {requirements===1?'requirement':'requirements'}. Free-form engineering updates affect every mapping until reconciled.</p>
@@ -30,7 +24,6 @@ function WorkPanel({project,onChange,busy=false}){
    {e.missingRefs.length>0&&<p>Missing: {e.missingRefs.map(sourceName).join(', ')}</p>}
    {onChange&&e.contextStatus!=='missing'&&<button disabled={busy} onClick={()=>{try{apply({kind:'review',ref:e.id,expectedContext:workContextIdentity(project,e.id)});}catch(e){setError(e.message);}}}>Record context review: {e.title}</button>}
   </li>)}</ul>:<p>No responsibilities or implementation mappings recorded yet. Engineering can propose them without changing the existing diagram.</p>}
-  {onChange&&<label>Import proposed work mappings<input type="file" accept="application/json,.json" disabled={busy} onChange={importProposal}/></label>}
   {result.artifacts.mappings.length>0&&<section aria-label="Linked artifact mappings">
    <h3>Linked artifacts</h3><p>File and context references remain proposed. They do not establish that a test passed or that the implementation meets every requirement.</p>
    <ul>{result.artifacts.mappings.map(m=><li key={m.id} data-artifact-mapping={m.artifactId}>

package/src/ArtifactChecks.jsx

@@ -25,8 +25,8 @@ export function ArtifactChecks({session,projectId,sessionId,artifact,readOnly=fa
     catch(e){if(live.current)setError(e.message);}finally{locked.current=false;if(live.current)setBusy(false);}
   }
   return <section className="artifact-checks" aria-label="Captured package checks">
-    <h3>Package checks</h3><p>Results cover this captured package. Full project acceptance remains pending.</p>
-    {!available&&<p>Local checks are unavailable on this server. Your captured package is retained.</p>}
+    <h3>Check results</h3>
+    {!available&&<p>Independent checks have not run: no check runner is configured.</p>}
     {!readOnly&&catalog.map(validator=>{
       const previous=checks.filter(check=>check.validatorId===validator.id&&check.contractSha256===validator.contractSha256).at(-1);
       const active=previous&&previous.state!=='finished';

package/src/ChatMessage.jsx

@@ -1,4 +1,4 @@
-import React from 'react';
+import React, {useId, useState} from 'react';
 // Small, non-HTML Markdown renderer: no remote images, raw HTML or executable URLs.
 function inline(text){return text.split(/(\*\*[^*]+\*\*|`[^`]+`|\[[^\]]+\]\(https?:\/\/[^\s)]+\))/g).map((part,i)=>{
  if(part.startsWith('**')&&part.endsWith('**'))return <strong key={i}>{part.slice(2,-2)}</strong>;
@@ -6,7 +6,17 @@ function inline(text){return text.split(/(\*\*[^*]+\*\*|`[^`]+`|\[[^\]]+\]\(http
  const link=part.match(/^\[([^\]]+)\]\((https?:\/\/[^\s)]+)\)$/);if(link)return <a key={i} href={link[2]} target="_blank" rel="noopener noreferrer">{link[1]}</a>;
  return part;
 });}
-export function ChatMessage({text=''}){
+export function messagePreview(text){
+ const words=text.trim().split(/\s+/);if(words.length<=20)return text;
+ const questions=text.split(/\n+/).map(line=>line.trim()).filter(line=>line.includes('?')).map(line=>line.match(/(?:^|[.!]\s+)([^.!]*\?)/)?.[1]||line.slice(0,line.indexOf('?')+1));
+ const question=questions.at(-1);if(question&&question.split(/\s+/).length<=20)return question;
+ return words.slice(0,20).join(' ')+'…';
+}
+export function ChatMessage({text='',concise=false}){
+ const [expanded,setExpanded]=useState(false);
+ const detailId=useId();
+ if(concise&&text.trim().split(/\s+/).length>20)return <div className="concise-answer"><div id={detailId}><ChatMessage text={expanded?text:messagePreview(text)}/></div><button type="button" className="link message-details" aria-expanded={expanded} aria-controls={detailId} onClick={()=>setExpanded(value=>!value)}>{expanded?'Less details':'More details'}</button></div>;
+
  const lines=text.split('\n'),blocks=[];let i=0;
  while(i<lines.length){
   if(!lines[i].trim()){i++;continue;}

package/src/EngagementViews.jsx

@@ -1,3 +1,4 @@
+import {InlineNote} from './HelpNote.jsx';
 import {BrainActivity} from "./BrainActivity.jsx";
 import {systemDescription,requirementExplanation} from './system-description.mjs';
 import { resolveCommentRevision } from "./consultation.mjs";
@@ -136,16 +137,16 @@ export function OptionsView({ project, onDiscuss, onPreview, onChoose, onContinu
   const ready = Object.values(notes).some(Boolean);
   const selected = [...(project.decisions||[])].reverse().find(d=>d.subject==='platform.cloud'&&d.status==='Accepted')?.decision;
   return <section className="doc" aria-label="Choices">
-    <header className="doc-head"><h2>Choices</h2><p className="muted">Compare the approaches below, then choose a cloud to continue. Next we’ll discuss country and data residency.</p></header>
+    <header className="doc-head"><h2>Choices</h2></header>
     <button className="btn" onClick={() => onDiscuss('Help me compare AWS, Azure, Google Cloud and IBM for this design. Ask one useful question about my priorities, then refine the comparison from my answer. Populate optionAssessment when enough is known. Keep the diagram unchanged.')}>Discuss cloud options</button>
-    {selected && <p className="cloud-selection" role="status"><strong>Selected: {OPTION_NAMES[selected]}</strong> · You can change your choice below. <button className="btn primary" disabled={busy} onClick={onContinue}>Continue with {OPTION_NAMES[selected]} →</button></p>}
+    {selected && <p className="cloud-selection" role="status"><strong>Selected: {OPTION_NAMES[selected]}</strong> <button className="btn primary" disabled={busy} onClick={onContinue}>Review →</button></p>}
     <DecisionsView project={project} onDiscuss={onDiscuss} embedded/>
     <h3>Cloud alternatives</h3>
-    {!ready && <p className="muted">We’ll clarify what matters to you and explain the tradeoffs here as we go.</p>}
+
     {['current','aws','azure','gcp','ibm'].filter(id => notes[id]).map(id => <article className="consultation-summary" key={id}>
-      <h3>{OPTION_NAMES[id]}{selected===id ? " · Selected" : ""}</h3><p>{notes[id].replace(/^(?:AtMem AI Architect|At[Ff]orma) proposal — confirm: /,'')}</p>
+      <h3>{OPTION_NAMES[id]}{selected===id ? " · Selected" : ""}</h3><InlineNote label={`About ${OPTION_NAMES[id]}`}>{notes[id].replace(/^(?:AtMem AI Architect|At[Ff]orma) proposal — confirm: /,'')}</InlineNote>
       <button className="link" onClick={() => onDiscuss(`Explain how ${OPTION_NAMES[id]} fits our design and the main tradeoff. Ask one question to help me decide; keep this as a discussion until I explicitly choose.`)}>Discuss this option</button>
-      {id!=="current" && <><button className="link" onClick={()=>onPreview(id)}>Preview service architecture</button><button className="btn primary" disabled={busy||selected===id} onClick={()=>onChoose(id)}>{selected===id ? `${OPTION_NAMES[id]} selected` : `Choose ${OPTION_NAMES[id]} & continue →`}</button></>}
+      {id!=="current" && <><button className="link" onClick={()=>onPreview(id)}>Preview service architecture</button><button className="btn primary" disabled={busy||selected===id} onClick={()=>onChoose(id)}>{selected===id ? `${OPTION_NAMES[id]} selected` : `${OPTION_NAMES[id]} →`}</button></>}
     </article>)}
   </section>;
 }
@@ -157,13 +158,13 @@ export function DecisionsView({ project, onDiscuss, embedded=false }) {
   const sketches = all.filter(d => d.subject?.startsWith('design.'));
   const labels = {'platform.cloud':'Cloud provider','cloud.region':'Region','data.country':'Country / data residency','infrastructure.tool':'Infrastructure tool'};
   return <section className={embedded?undefined:"doc"} aria-label="Decisions">
-    <header className="doc-head"><h2>Choices we’ve made</h2><p className="muted">AtMem AI Architect records your choices and explains why they fit. You can revisit them in chat.</p></header>
+    <header className="doc-head"><h2>Selected choices</h2></header>
     <button className="btn" onClick={() => onDiscuss('Review our current design and explicit choices. Explain the next choice we need to make and ask me one useful question. Do not treat a sketch or a suggestion as an accepted decision.')}>Discuss the next choice</button>
-    {!current.length && <p className="muted">No choices confirmed yet. We’ll work through them together as the design develops.</p>}
+    {!current.length && <p className="muted">No choices selected.</p>}
     {current.map(d => <article className="consultation-summary" key={d.id}>
       <h3>{labels[d.subject] || d.title}</h3><p>{OPTION_NAMES[d.decision] || d.decision || 'Still being discussed'}</p>
       <small className="muted">{d.status === 'Accepted' ? 'Confirmed in our conversation' : 'Proposed — still to discuss'}</small>
-      {d.context && <p>{d.context}</p>}{d.consequences && <p>{d.consequences}</p>}
+      {(d.context||d.consequences)&&<InlineNote label="Decision details"><p>{d.context}</p><p>{d.consequences}</p></InlineNote>}
       <button className="link" onClick={() => onDiscuss(`Let’s revisit our choice about ${labels[d.subject] || d.title}: ${d.decision}. Explain the tradeoff and ask what I would like to change before updating it.`)}>Revisit in chat</button>
       {choices.some(h => h.subject===d.subject && h.status==='Superseded') && <details className="extra"><summary>Earlier choices</summary>{choices.filter(h => h.subject===d.subject && h.status==='Superseded').map(h=><p key={h.id}>{h.decision} {h.reason && `— ${h.reason}`}</p>)}</details>}
     </article>)}
@@ -297,7 +298,7 @@ function RequirementComments({ requirement, comments, onSave, onRemove, target,
       </div> : <><p className="comment-status">{c.reviewMessage || 'Saved feedback. Ask AtMem AI Architect to suggest wording, then review the change here.'}</p><button className="requirement-add-comment" disabled={reviewing} onClick={()=>onReview([c])}>{reviewing?<><BrainActivity/> Preparing suggestions…</>:'Suggest a revision'}</button><button className="link" onClick={()=>onDiscuss(`Help me clarify my feedback on ${number} (${requirement.id}): ${c.text}. Ask one question before proposing a change.`)}>Discuss feedback</button></>}
       <button className="link" onClick={()=>onRemove(c.id)} aria-label={`Remove comment ${c.id}`}>Remove</button>
     </div>)}
-    {comments.some(c=>['reviewed','dismissed'].includes(c.status)) && <details className="comment-history"><summary>Feedback history</summary>{comments.filter(c=>['reviewed','dismissed'].includes(c.status)).map(c=><div key={c.id}><p>{c.text}</p><small>{c.status==='reviewed'?'Revision applied':'Original wording kept'}</small>{c.after&&<p>{c.after}</p>}</div>)}</details>}
+    {comments.some(c=>['reviewed','dismissed'].includes(c.status)) && <section className="comment-history"><h4>Feedback history</h4>{comments.filter(c=>['reviewed','dismissed'].includes(c.status)).map(c=><div key={c.id}><p>{c.text}</p><small>{c.status==='reviewed'?'Revision applied':'Original wording kept'}</small>{c.after&&<p>{c.after}</p>}</div>)}</section>}
     {!open ? <button className="requirement-add-comment" onClick={()=>{setQuote('');setOpen(true);}}>Comment or request a change</button> : <div className="comment-composer">
       <strong>Feedback on {number}</strong>{quote && <blockquote>{quote}</blockquote>}
       <textarea ref={editor} aria-label={`Comment on ${requirement.id}`} value={text} maxLength={500} onChange={e=>setText(e.target.value)} placeholder="What doesn’t fit, what’s missing, or what would you like explained?" />
@@ -309,7 +310,7 @@ function RequirementComments({ requirement, comments, onSave, onRemove, target,
   </aside>;
 }
 
-export function RequirementsView({ project, onDiscuss, onChange, onReview, reviewing, onUpload, onOpenProject }) {
+export function RequirementsView({checks,onContinue, project, onDiscuss, onChange, onReview, reviewing, onUpload, onOpenProject }) {
   const [commentMenu,setCommentMenu]=React.useState(null), [commentTarget,setCommentTarget]=React.useState(null);
   React.useEffect(()=>{
     if(!commentMenu)return;
@@ -344,7 +345,7 @@ export function RequirementsView({ project, onDiscuss, onChange, onReview, revie
   const purpose = project.brief?.application || project.requirements;
   const system=systemDescription(project);
   return <section className="doc requirements-document" aria-label="Requirements">
-    <div className="requirements-actions"><button className="btn" onClick={() => onDiscuss('Summarise where we have reached from the current board and our discussion. Distinguish what I have confirmed from your proposals and unresolved questions. Then ask ONE useful question to develop the requirements further, and update the summary as we discuss.')}>Let’s discuss more in chat</button>
+    <div className="requirements-actions">
       {!!pending.length && <button className="btn" disabled={reviewing} onClick={()=>onReview(pending.slice(0,6))}>{reviewing?'Reviewing comments…':'Suggest revisions for saved feedback'} ({Math.min(6,pending.length)})</button>}
     </div>
     {commentMenu && <div className="ctx-menu requirement-text-menu" role="menu" aria-label="Selected text actions" style={{left:commentMenu.x,top:commentMenu.y}} onPointerDown={e=>e.stopPropagation()}>
@@ -353,7 +354,7 @@ export function RequirementsView({ project, onDiscuss, onChange, onReview, revie
     <article className="requirements-paper" aria-label="Requirements document">
       <header className="requirements-cover">
         <p className="document-kicker">AtMem AI Architect · Working requirements</p>
-        <h2>{project.name || 'Solution requirements'}</h2><div className="row">{onUpload&&<button className="btn" onClick={onUpload}>Upload requirements or diagram</button>}{onOpenProject&&<button className="btn" onClick={onOpenProject}>Open saved project file</button>}</div><p className="muted small">Start from Word (.docx), PDF, text, Markdown, draw.io or images. Send the attached material in chat; Architect extracts requirements, proposes the diagram and asks about unclear points.</p>
+        <h2>{project.name || 'Solution requirements'}</h2>
         <p className="document-subtitle">Where we’ve reached</p>
         <p>This document brings together the requirements developed from our board and discussion. Proposed requirements remain open for review as the design evolves.</p>
         <p className="document-meta">Design revision {project.revision || 1} · Working draft</p>
@@ -362,9 +363,9 @@ export function RequirementsView({ project, onDiscuss, onChange, onReview, revie
         <p>{purpose || 'We are developing the scope together. Describe the outcome you want in chat, and this document will grow with the design.'}</p>
       </section>
       <section className="requirements-chapter"><h3>How the system works</h3><p>{system.overview}</p>{system.flows.map((f,i)=><div className="system-interaction" key={f.id}><h4>{i+1}. {f.title}</h4><p>{f.description}</p><p>{f.contract}</p><p className="document-meta">Proposed verification: {f.validation}</p></div>)}</section>
-      <section className="requirements-chapter"><h3>Component responsibilities and design rationale</h3>{system.components.map(c=><section key={c.id} className="system-component"><h4>{c.name}</h4><p className="document-meta">{c.service} · {c.placement}</p><p>{c.purpose}</p><p>{c.boundary}</p><h5>Inputs and outputs</h5><ul>{[...c.inputs,...c.outputs].map((v,i)=><li key={i}>{v}</li>)}</ul>{!c.inputs.length&&!c.outputs.length&&<p>No connections are drawn for this component.</p>}<h5>Contribution to requirements</h5>{c.requirements.length?<ul>{c.requirements.map(r=><li key={r}>{r}</li>)}</ul>:<p>No requirement is explicitly linked to this component yet.</p>}<h5>Implementation and verification</h5><p>{c.implementation}</p><p className="document-meta">Engineering considerations, to be confirmed during implementation:</p><ul>{c.engineering.map(v=><li key={v}>{v}</li>)}</ul></section>)}</section>
-      {[...groups].sort(([a],[b])=>(a==='suggested')-(b==='suggested')).map(([key,rows])=>{const Tag=key==='suggested'?'details':'section';return <Tag className="requirements-chapter" key={key}>
-        {key==='suggested'?<summary>Suggestions still to discuss ({rows.length})</summary>:<h3>{titles[key] || 'Additional requirements'}</h3>}
+      <section className="requirements-chapter"><h3>Component responsibilities and design rationale</h3>{system.components.map(c=><section key={c.id} id={`component-spec-${c.id}`} className="system-component"><h4>{c.name}</h4><p className="document-meta">{c.service} · {c.placement}</p><p>{c.purpose}</p><p>{c.boundary}</p><h5>Inputs and outputs</h5><ul>{[...c.inputs,...c.outputs].map((v,i)=><li key={i}>{v}</li>)}</ul>{!c.inputs.length&&!c.outputs.length&&<p>No connections are drawn for this component.</p>}<h5>Contribution to requirements</h5>{c.requirements.length?<ul>{c.requirements.map(r=><li key={r}>{r}</li>)}</ul>:<p>No requirement is explicitly linked to this component yet.</p>}<h5>Implementation and verification</h5><p>{c.implementation}</p><p className="document-meta">Engineering considerations, to be confirmed during implementation:</p><ul>{c.engineering.map(v=><li key={v}>{v}</li>)}</ul></section>)}</section>
+      {[...groups].sort(([a],[b])=>(a==='suggested')-(b==='suggested')).map(([key,rows])=>{const Tag='section';return <Tag className="requirements-chapter" key={key}>
+        {key==='suggested'?<h4>Suggestions still to discuss ({rows.length})</h4>:<h3>{titles[key] || 'Additional requirements'}</h3>}
         {key==='suggested'&&<p className="document-meta">These are early considerations, not agreed requirements. We’ll discuss the most relevant ones as the design develops.</p>}
         {rows.map(r=><div className="requirement-paragraph" key={r.id}>
           <h4 className="requirement-number">{requirementNumber(project,r.id)}</h4>
@@ -379,7 +380,8 @@ export function RequirementsView({ project, onDiscuss, onChange, onReview, revie
       {!needs.length && <section className="requirements-chapter"><h3>Requirements to develop</h3><p>As we discuss the idea and shape the board, AtMem AI Architect will summarise the functional requirements, constraints and acceptance targets here.</p></section>}
       {!!project.assumptions?.length && <section className="requirements-chapter"><h3>Assumptions to validate</h3>{project.assumptions.map(a=><p key={a.id}>{a.statement}</p>)}</section>}
       {!!questions.length && <section className="requirements-chapter"><h3>Open questions</h3>{questions.map(q=><p key={q.id}>{q.question}</p>)}<button className="link document-discuss" onClick={()=>onDiscuss(`Help resolve the open questions in our requirements document, one at a time. Start with the question that most affects the design.`)}>Let’s work through these in chat</button></section>}
-      <footer className="document-footer">AtMem AI Architect · Requirements derived from the current design and discussion</footer>
+      {checks&&<section className="requirements-chapter"><h3>Design checks and decisions</h3>{checks}</section>}
+      <footer className="document-footer">{onContinue&&<button className="btn primary" disabled={reviewing} onClick={onContinue}>Continue to Choices →</button>}</footer>
     </article>
   </section>;
 }

package/src/EngineeringPanel.jsx

@@ -1,4 +1,4 @@
-import {ArchitectureWorkPanel} from './ArchitectureWorkPanel.jsx';
+import {BrainActivity} from './BrainActivity.jsx';
 import React,{useEffect,useRef,useState} from 'react';
 import {engineeringCall,engineeringConversation,mergeEngineeringEvents} from './engineering-client.mjs';
 import './engineering.css';
@@ -6,11 +6,12 @@ import {ArtifactChecks} from './ArtifactChecks.jsx';
 import {verifyArtifactWork} from './artifact-work.mjs';
 import {hasArchitectureDesign,buildIntent,BUILD_AND_TEST_REQUEST} from './design-build-flow.mjs';
 
-export function EngineeringPanel({projectId,session,connection,saveProject,onConnections,project,onWorkModelChange,onIntentContext,onDesign,onDelivery,buildRequest,onBuildRequestHandled,contextBusy=false}){
+export function EngineeringPanel({projectId,session,connection,saveProject,onConnections,project,onWorkModelChange,onIntentContext,onDesign,onDelivery,buildRequest,onBuildRequestHandled,contextBusy=false,onBusyChange}){
   const draftKey=`atmem-engineering-draft-v1:${projectId}`;
   const [job,setJob]=useState(null),[events,setEvents]=useState([]),[draft,setDraft]=useState(()=>{try{return localStorage.getItem(draftKey)||'';}catch{return '';}}),
     [busy,setBusy]=useState(false),[error,setError]=useState(''),[loading,setLoading]=useState(true),[artifact,setArtifact]=useState(null);
-  const [draftError,setDraftError]=useState('');
+  const [draftError,setDraftError]=useState(''),[mappingStatus,setMappingStatus]=useState('');
+ const mappedArtifacts=useRef(new Set());
   const [restoreBlocked,setRestoreBlocked]=useState(false),[restoreAttempt,setRestoreAttempt]=useState(0);
   useEffect(()=>{try{localStorage.setItem(draftKey,draft);setDraftError('');}catch{setDraftError('This draft could not be saved in your browser. Keep this view open or copy it before leaving.');}},[draftKey,draft]);
   const live=useRef(true),cursor=useRef(0),actionLock=useRef(false);
@@ -58,8 +59,14 @@ export function EngineeringPanel({projectId,session,connection,saveProject,onCon
     actionLock.current=true;setBusy(true);setError('');
     try{await operation();}catch(e){if(live.current)setError(e.message);}finally{actionLock.current=false;if(live.current)setBusy(false);}
   }
+  useEffect(()=>{onBusyChange?.(busy||loading||['running','starting'].includes(job?.state));return()=>onBusyChange?.(false);},[busy,loading,job?.state,onBusyChange]);
   const exactSelection=connection?.provider==='codex'&&connection.model&&connection.model!=='default'&&connection.effort;
   const running=job?.state==='running',uncertain=job?.state==='starting';
+  const lastProgress=events.filter(event=>event.runId===job?.run&&['progress','message'].includes(event.kind)).at(-1);
+  const [lastReceived,setLastReceived]=useState(null),[now,setNow]=useState(Date.now());
+  useEffect(()=>{if(lastProgress){const time=Date.now();setLastReceived(time);setNow(time);}},[lastProgress?.sequence]);
+  useEffect(()=>{if(!running&&!uncertain)return;const timer=setInterval(()=>setNow(Date.now()),1000);return()=>clearInterval(timer);},[running,uncertain]);
+  const activity=lastProgress?.kind==='message'?'Preparing an update':({reasoning:'Thinking through the implementation',fileChange:'Updating project files',commandExecution:'Running a development command',mcpToolCall:'Using a development tool',webSearch:'Checking documentation'}[lastProgress?.text]||'Generating project files');
   const conversation=engineeringConversation(events);
   const hasDesign=hasArchitectureDesign(project),canSubmit=running?!!draft.trim():!!buildIntent(project,draft);
   const consumedBuild=useRef(null);
@@ -93,58 +100,58 @@ export function EngineeringPanel({projectId,session,connection,saveProject,onCon
   },[buildRequest,projectId,loading,restoreBlocked,contextBusy,uncertain,busy,exactSelection,job?.id]);
   async function linkMappings(){
     const result=await call('reconciliation',{artifactId:artifact.id});
-    if(result.status==='proposal_missing')throw Error(result.message);
+    if(result.status==='proposal_missing'){setMappingStatus('File links missing from package.');return;}
     const verified=await verifyArtifactWork(result);
     if(verified.payload.artifactId!==artifact.id||verified.payload.artifactSha256!==artifact.sha256||verified.payload.sessionId!==job.id)throw Error('The mapping receipt does not match this captured package.');
-    onWorkModelChange({kind:'artifact',verified},projectId);
+    onWorkModelChange({kind:'artifact',verified},projectId);setMappingStatus('Files connected to design blocks.');
   }
+  useEffect(()=>{
+    if(!onWorkModelChange||!artifact||running||uncertain||busy||contextBusy||job?.last_status!=='completed'||artifact.runId!==job.run||mappedArtifacts.current.has(artifact.id))return;
+    mappedArtifacts.current.add(artifact.id);setMappingStatus('Connecting files to design blocks…');void act(linkMappings);
+  },[artifact?.id,job?.run,job?.state,busy,contextBusy]);
   return <div className="engineering-panel">
-    <h2>Generate and verify</h2>
-    <p>Generate the agreed design and run applicable local checks here. Review results and corrections before opening Delivery.</p>
+    <h2>2. Project files</h2>
     {onDesign&&<button onClick={onDesign}>Return to Design</button>}
 
     {buildRequest?.projectId===projectId&&<p role="status">{restoreBlocked?'Your implementation request is waiting. Retry loading earlier work before starting.':uncertain?'Your implementation request is waiting. Recover the existing request first to avoid duplicate work.':contextBusy?'Your implementation request is waiting for the current design changes.':!job&&!exactSelection?'Your implementation request is waiting here. Choose a model and reasoning level below; it will then start automatically.':'Your implementation request is queued.'} <button onClick={()=>onBuildRequestHandled?.(buildRequest.id)}>Cancel queued request</button></p>}
     {restoreBlocked&&<button disabled={loading||busy} onClick={()=>{setError('');setRestoreAttempt(value=>value+1);}}>Retry loading earlier work</button>}
     {loading?<p role="status">Finding your project’s work…</p>:<>
       {job?<>
-        <p role="status">{running?'Working':uncertain?'Recovering acceptance of your last request':job.last_status?({completed:'Work completed',interrupted:'Work stopped',failed:'Work needs attention'}[job.last_status]||job.last_status):'Ready'} · {job.model} · {job.effort}</p>
-        <p className="muted">Each request includes your saved design. Earlier versions remain in the work history.</p>
+        {(running||uncertain)&&<div className="generation-progress" role="progressbar" aria-label="Project generation" aria-valuetext={activity}><span/></div>}
+        {(running||uncertain)&&<p className="generation-activity" role="status">{activity}{lastReceived&&<> · Last update received {Math.max(0,Math.floor((now-lastReceived)/1000))}s ago</>}</p>}
+        <p className="generation-status" role="status">{(running||uncertain||busy)&&<BrainActivity size={24}/>} {running?'Working':uncertain?'Recovering acceptance of your last request':finalization?.kind==='finalization_needs_attention'?'Files generated · Checks need attention':job.last_status?({completed:'Work completed',interrupted:'Work stopped',failed:'Work needs attention'}[job.last_status]||job.last_status):'Ready'} · {job.model} · {job.effort}</p>
+
       </>:<>
         <p>{exactSelection?`${connection.model} · ${connection.effort}`:'Choose a Codex model and reasoning level to start.'}</p>
         {!exactSelection&&<button onClick={onConnections}>Choose model</button>}
         {contextBusy&&<p role="status">Finish the current design changes before starting new work.</p>}
       </>}
-      {conversation.length>0&&<section className="engineering-conversation" role="log" aria-label="Project conversation" aria-live="polite">{conversation.map(entry=><article key={entry.id} className={`engineering-entry ${entry.role}`}>
-        <strong>{entry.role==='user'?'You':'Architect'}</strong>
-        {entry.status==='pending'&&<span> · Sending update</span>}
-        {entry.status==='uncertain'&&<span> · Delivery uncertain; recover before resending</span>}
-        <pre>{entry.text}</pre>
-      </article>)}</section>}
       {!hasDesign&&!job?<p>Start with the Board or Requirements. Add the components or responsibilities before building an implementation.</p>:<form onSubmit={submitIntent}>
-        <label htmlFor="engineering-intent">{running?'Add an implementation update':hasDesign?'Additional instructions (optional)':'Continue implementation'}</label>
-        <textarea id="engineering-intent" rows={4} value={draft} onChange={e=>setDraft(e.target.value)}/>
+        <details open={running||undefined}><summary>{running?'Add an update':'Additional instructions (optional)'}</summary><label htmlFor="engineering-intent">{running?'Add an implementation update':hasDesign?'Additional instructions (optional)':'Continue implementation'}</label>
+        <textarea id="engineering-intent" rows={2} value={draft} onChange={e=>setDraft(e.target.value)}/></details>
         {draft.length>80000&&<p role="alert">This update exceeds 80,000 characters. Edit it before sending; your draft is retained.</p>}
-        <button disabled={busy||restoreBlocked||uncertain||contextBusy||!canSubmit||draft.length>80000||(!job&&!exactSelection)}>{running?'Send update':hasDesign?'Generate and verify':'Continue implementation'}</button>
+        <button disabled={busy||restoreBlocked||uncertain||contextBusy||!canSubmit||draft.length>80000||(!job&&!exactSelection)}>{busy?<><BrainActivity size={22}/> Sending…</>:running?'Send update':hasDesign?'Generate project files':'Continue implementation'}</button>
       </form>}
       {job&&<>
-        {finalization&&<p role="status"><strong>Recorded verification update: </strong>{finalization.text}</p>}
-        <div className="engineering-actions">
+        {running&&<button disabled={busy} onClick={()=>act(async()=>{const next=await call('interrupt');if(live.current)setJob(next);})}>Stop generation</button>}
+
+        <details className="engineering-actions"><summary>Connection and package details</summary>{finalization&&<p>{finalization.text}</p>}
           <button disabled={busy} onClick={()=>act(async()=>{const next=await call('recover');if(live.current)setJob(next);})}>Refresh connection status</button>
           {running&&<button disabled={busy} onClick={()=>act(async()=>{const next=await call('interrupt');if(live.current)setJob(next);})}>Stop work</button>}
           {!running&&!uncertain&&job.last_status&&<button disabled={busy} onClick={()=>act(async()=>{const captured=await call('capture');if(live.current)setArtifact(captured);})}>Refresh package snapshot</button>}
-        </div>
-        <details><summary>Engineering progress ({events.length})</summary><ol>{events.filter(event=>!['message','accepted','steering_submitted'].includes(event.kind)).map(event=><li key={event.sequence}>{event.kind}{event.text?` · ${event.text}`:''}</li>)}</ol></details>
+        </details>
+        <details><summary>Engineering progress (<span key={events.length} className={`engineering-progress-count${running||uncertain?' updated':''}`}>{events.length}</span>)</summary><ol>{events.filter(event=>!['message','accepted','steering_submitted'].includes(event.kind)).map(event=><li key={event.sequence}>{event.kind}{event.text?` · ${event.text}`:''}</li>)}</ol></details>
       </>}
-      {artifact&&<div className="engineering-artifact"><p>Implementation draft · {artifact.files.filter(file=>file.kind==='file').length} {artifact.files.filter(file=>file.kind==='file').length===1?'file':'files'} · work {artifact.turnStatus}. Capture does not establish full project acceptance.</p>
-        {artifact.runId!==job?.run&&<p>This package is from an earlier turn. It does not cover the current work.</p>}
+      {artifact&&<div className="engineering-artifact"><p>{artifact.runId!==job?.run||running||uncertain?'Previous files':'Project files'} · {artifact.files.filter(file=>file.kind==='file').length} {artifact.files.filter(file=>file.kind==='file').length===1?'file':'files'}</p>
+        {artifact.runId!==job?.run&&<p>{running||uncertain?'Generating updated files…':'Generate updated files to include your changes.'}</p>}
         {onDelivery&&<button disabled={busy} onClick={onDelivery}>Review and download handoff</button>}
 
-        {!running&&!uncertain&&job?.last_status==='completed'&&artifact.runId===job.run&&<button disabled={busy} onClick={()=>act(async()=>{await call('recheck',{runId:job.run,artifactId:artifact.id});const next=await call('state');if(live.current)setJob(next);})}>Recheck and repair</button>}
-        {onWorkModelChange&&!running&&!uncertain&&job?.last_status==='completed'&&artifact.runId===job.run&&<button disabled={busy||contextBusy} onClick={()=>act(linkMappings)}>Link proposed mappings</button>}
-        <ArtifactChecks key={artifact.id} session={session} projectId={projectId} sessionId={job.id} artifact={artifact}/>
+        {onWorkModelChange&&<p className="muted small" role="status">{running||uncertain?'File links update when generation finishes.':artifact.runId!==job?.run?'File links belong to the previous snapshot.':mappingStatus||'Connecting files to design blocks…'}</p>}
+        {!running&&!uncertain&&artifact.runId===job?.run&&mappingStatus==='File links missing from package.'&&<button disabled={busy||contextBusy} onClick={()=>submitIntent(null,'Add architecture-work-proposal.json binding the existing implementation files to the saved design blocks and requirements. Preserve the application and requirements. Run applicable local checks; retain failed or unexecuted checks explicitly.')}>Repair file links</button>}
+
+
       </div>}
     </>}
-    {(hasDesign||job)&&<ArchitectureWorkPanel project={project} onChange={onWorkModelChange} busy={busy||contextBusy}/>}
     {error&&<p role="alert">{error}</p>}
     {draftError&&<p role="alert">{draftError}</p>}
   </div>;

package/src/FileTree.jsx

@@ -0,0 +1,7 @@
+import React,{useMemo,useState}from'react';import{Folder,FolderOpen,FileText,FileCode,FileJson,ChevronDown,ChevronRight}from'lucide-react';
+export function FileTree({files,selected,onSelect}){
+ const [closed,setClosed]=useState(new Set());
+ const tree=useMemo(()=>{const root={};for(const path of Object.keys(files).sort()){if(path.endsWith('/'))continue;let branch=root;const parts=path.split('/');for(let i=0;i<parts.length;i++){const part=parts[i];branch[part]??={path:parts.slice(0,i+1).join('/'),children:i<parts.length-1?{}:null};branch=branch[part].children;}}return root;},[files]);
+ const render=(nodes,level=1)=><ul role={level===1?'tree':'group'} aria-label={level===1?'Project files':undefined}>{Object.entries(nodes).map(([name,item])=>{const folder=!!item.children,expanded=!closed.has(item.path),Icon=folder?(expanded?FolderOpen:Folder):/\.json$/.test(name)?FileJson:/\.(?:py|js|mjs|tf|sh|yml|yaml)$/.test(name)?FileCode:FileText;return <li key={item.path} role="treeitem" aria-expanded={folder?expanded:undefined} aria-selected={!folder?selected===item.path:undefined}><button type="button" title={item.path} className={selected===item.path?'selected':''} style={{paddingLeft:8+(level-1)*14}} onClick={()=>folder?setClosed(previous=>{const next=new Set(previous);next.has(item.path)?next.delete(item.path):next.add(item.path);return next;}):onSelect(item.path)}>{folder?(expanded?<ChevronDown size={13}/>:<ChevronRight size={13}/>):<span className="tree-indent"/>}<Icon size={15}/><span>{name}</span></button>{folder&&expanded&&render(item.children,level+1)}</li>;})}</ul>;
+ return <nav className="file-tree" aria-label="Output files">{render(tree)}</nav>;
+}

package/src/FinalChecklist.jsx

@@ -0,0 +1,23 @@
+import React,{useState,useRef} from'react';
+import{BrainActivity}from'./BrainActivity.jsx';
+import{estimate}from'./estimate.mjs';
+import{cloudMapping}from'./journey.mjs';
+import{OPTION_NAMES}from'./pack.mjs';
+export function FinalChecklist({project,implementation,terraform,checks=[],onNavigate}){
+ const [opening,setOpening]=useState(null),[error,setError]=useState('');const navigating=useRef(false);
+ async function open(name,target){if(navigating.current||!onNavigate)return;navigating.current=true;setError('');setOpening(name);
+  try{await onNavigate(target);}catch(e){setError(e.message||'Could not open that section. Try again.');}finally{navigating.current=false;setOpening(null);}
+ }
+ const cost=estimate(project),mapping=cloudMapping(project),requirements=!!(project.needs?.length||project.brief?.application);
+ const selectedRegion=[...(project.decisions||[])].reverse().find(d=>d.subject==='cloud.region'&&d.status==='Accepted')?.decision;
+ const country=[...(project.decisions||[])].reverse().find(d=>d.subject==='data.country'&&d.status==='Accepted')?.decision;
+ const proposed=project.nodes.filter(n=>n.data.kind!=='note'&&n.data.origin!=='existing');
+ const placements=proposed.map(n=>n.data.config?.region).filter(r=>typeof r==='string'&&r.trim()&&!/select|unknown|tbd/i.test(r));
+ const region=selectedRegion||(proposed.length&&placements.length===proposed.length?[...new Set(placements)].join(', '):null);
+ const hasEstimate=cost.expected!==null&&!cost.mixedCurrencies;
+ const excluded=new Set([...cost.lines.filter(line=>line.cost==null).map(line=>line.component),...cost.notCosted]).size;
+ const costReason=hasEstimate&&excluded?`${excluded} items excluded · View breakdown`:'';
+ const rows=[['Requirements',requirements?'Recorded':'Not recorded',requirements],['Cloud',mapping.provider?(OPTION_NAMES[mapping.provider]||mapping.provider):'Not selected',!!mapping.provider],['Data country',country||'Not selected',!!country],['Cloud region',region||'Choose region',!!region],['Cost estimate',hasEstimate?'Estimated':cost.mixedCurrencies?'Choose one currency':'Not estimated',hasEstimate],['Implementation',implementation?'Included':'Not generated',!!implementation],['Application checks',checks.length?checks.every(c=>c.state==='finished'&&c.result?.status==='passed')?'Passed':'Needs attention':'Not run',checks.length>0&&checks.every(c=>c.state==='finished'&&c.result?.status==='passed')],['Terraform checks',terraform?.status==='passed'?'Passed':terraform?.status==='failed'?'Failed':terraform?.status==='incomplete'?'Incomplete':'Not run',terraform?.status==='passed']];
+ const targets=['requirements','location','location','location','cost','implementation','checks','checks'];
+ return <section className="final-checklist" aria-label="Final checklist" aria-busy={!!opening}><h3>Final checklist</h3><ul>{rows.map(([name,status,complete],index)=><li key={name}><button type="button" onClick={()=>open(name,targets[index])} disabled={!!opening||!onNavigate} aria-label={`${name}: ${status}. Open ${name}`}><span className={complete?'check-complete':'check-pending'} aria-label={name==='Cost estimate'&&hasEstimate?'Estimate available':complete?'Complete':'Needs attention'}>{complete?'✓':'!'}</span><span className="checklist-label">{name}{name==='Cost estimate'&&costReason&&<small>{costReason}</small>}</span><strong>{opening===name?<>Opening… <BrainActivity/></>:status}</strong><span className="checklist-arrow" aria-hidden="true">→</span></button></li>)}</ul>{opening&&<p role="status" className="checklist-loading">Opening {opening}…</p>}{error&&<p role="alert">{error}</p>}</section>;
+}

package/src/HelpNote.jsx

@@ -0,0 +1,3 @@
+import React from 'react';
+function textContent(value){return React.Children.toArray(value).map(child=>typeof child==='string'||typeof child==='number'?String(child):React.isValidElement(child)?textContent(child.props.children):'').join(' ');}
+export function InlineNote({children}){const text=textContent(children).trim().replace(/\s+/g,' '),words=text.split(' ');return text?<small className="inline-note">{words.length>20?words.slice(0,20).join(' ')+'…':text}</small>:null;}

package/src/ImplementationDelivery.jsx

@@ -1,8 +1,15 @@
-import React,{useEffect,useState} from 'react';
+import {unzipSync,zipSync,strToU8} from 'fflate';
+import {FinalChecklist} from './FinalChecklist.jsx';
+import {BrainActivity} from './BrainActivity.jsx';
+import {completeProjectZip} from './final-package.mjs';
+import React,{useEffect,useState,useRef} from 'react';
 import {engineeringCall,verifiedHandoffDownload} from './engineering-client.mjs';
 import {ArtifactChecks} from './ArtifactChecks.jsx';
 
-export function ImplementationDelivery({project,session,onBuild,onSave,contextBusy=false}){
+export function ImplementationDelivery({project,session,onBuild,onSave,contextBusy=false,designBundle,onDesignDownload,onDownloaded,checkReceipt,onExplore,onNavigate}){
+ const [orcaResult,setOrcaResult]=useState(null);
+ const projectRef=useRef(project);projectRef.current=project;
+ const [prepared,setPrepared]=useState(null),[preparing,setPreparing]=useState(false);
  const [loaded,setLoaded]=useState(null),[error,setError]=useState(''),[retry,setRetry]=useState(0),[busy,setBusy]=useState(false);
  const report=loaded?.project===project?loaded.report:null;
  useEffect(()=>{
@@ -12,7 +19,29 @@ export function ImplementationDelivery({project,session,onBuild,onSave,contextBu
   }).catch(e=>{if(!controller.signal.aborted){if(e.status===404&&e.message.startsWith('Save or restore this project'))setLoaded({project,report:{artifact:null}});else setError(e.message);}});
   return()=>controller.abort();
  },[project,session.token,retry]);
- async function download(){
+ useEffect(()=>{
+  if(!report?.canPackage||designBundle?.project!==project){setPrepared(null);return;}
+  let stopped=false;const controller=new AbortController();setPreparing(true);setError('');
+  (async()=>{try{
+    const captured=await verifiedHandoffDownload(session,{projectId:project.id,sessionId:report.session.id,artifactId:report.artifact.id,savedDesignSha256:report.savedDesignSha256},report.artifact,{signal:controller.signal});
+    const files={...unzipSync(new Uint8Array(await captured.arrayBuffer())),...Object.fromEntries(Object.entries(designBundle.files).map(([name,value])=>['design-documents/'+name,typeof value==='string'?strToU8(value):value]))};
+    if(!stopped){setPrepared({artifactId:report.artifact.id,designSha256:report.savedDesignSha256});onExplore?.({project,files});}
+  }catch(e){if(!stopped&&e.name!=='AbortError')setError(e.message);}finally{if(!stopped)setPreparing(false);}})();
+  return()=>{stopped=true;controller.abort();};
+ },[report?.artifact?.id,report?.savedDesignSha256,designBundle,project,session.token,retry]);
+ async function launchOrca(blob){
+  if(blob.size>32000000)throw Error('Orca handoff supports ZIPs up to 32 MB. Download ZIP instead.');
+  const zipBase64=await new Promise((resolve,reject)=>{const reader=new FileReader();reader.onload=()=>resolve(reader.result.split(',')[1]);reader.onerror=()=>reject(Error('Could not prepare the project ZIP.'));reader.readAsDataURL(blob);});
+  const result=await engineeringCall(session,'orca/open',{projectId:project.id,zipBase64});setOrcaResult(result);if(!result.opened)throw Error(result.message);
+ }
+ async function downloadDesign(){if(busy||contextBusy)return;setBusy(true);setError('');try{await onDesignDownload?.(designBundle);}catch(error){setError(error.message);}finally{setBusy(false);}}
+ async function openOrca(){
+  if(busy||contextBusy)return;
+  setOrcaResult(null);
+  if(report?.artifact)return download(true);
+  setBusy(true);setError('');try{if(!designBundle||designBundle.project!==project)throw Error('Project files are still preparing.');if(onSave)await onSave(project);const full=await(designBundle.prepare?.()||designBundle);if(projectRef.current!==project)throw Error('Design changed while preparing files. Try again.');await launchOrca(new Blob([zipSync(Object.fromEntries(Object.entries(full.files).map(([name,value])=>[name,typeof value==='string'?strToU8(value):value])))]));}catch(error){setError(error.message);}finally{setBusy(false);}
+ }
+ async function download(openInOrca=false){
   if(!report?.artifact||busy||contextBusy)return;
   setBusy(true);setError('');
   try{
@@ -29,27 +58,37 @@ export function ImplementationDelivery({project,session,onBuild,onSave,contextBu
       throw Error('The saved design or package changed. Review the refreshed Delivery information before downloading.');
    }
    const payload={projectId:project.id,sessionId:current.session.id,artifactId:current.artifact.id};
-   const blob=await verifiedHandoffDownload(session,{...payload,savedDesignSha256:current.savedDesignSha256},current.artifact);
+   const captured=await verifiedHandoffDownload(session,{...payload,savedDesignSha256:current.savedDesignSha256},current.artifact);
+   if(designBundle?.project!==project)throw Error('The design documents are refreshing. Try downloading again when preparation finishes.');
+   const full=await(designBundle.prepare?.()||designBundle);
+   if(projectRef.current!==project)throw Error('Design changed while preparing files. Try again.');
+   const blob=await completeProjectZip(captured,full);
+   if(openInOrca){await launchOrca(blob);return;}
    const url=URL.createObjectURL(blob),link=document.createElement('a');link.href=url;
-   link.download=`architect-handoff-${report.artifact.id}.zip`;link.click();setTimeout(()=>URL.revokeObjectURL(url),1000);
+   link.download=`architect-handoff-${report.artifact.id}.zip`;link.click();onDownloaded?.();setTimeout(()=>URL.revokeObjectURL(url),1000);
   }catch(e){setError(e.message)}finally{setBusy(false)}
  }
  return <section aria-label="Implementation delivery">
-  <h3>Project package</h3>
-  {!report&&!error&&<p role="status">Finding the captured implementation and its checks…</p>}
-  {report&&!report.artifact&&<><p>No implementation package has been captured for this project yet. Next: open Review to generate the project and inspect its checks. Return here for the final package.</p>{onBuild&&<button className="btn primary" disabled={contextBusy} onClick={onBuild}>Go to Review</button>}</>}
+  <h3>Your project ZIP</h3>
+  {!report&&!error&&<p role="status">Preparing package…</p>}
+  {report&&!report.artifact&&<p>Design package · implementation not generated.</p>}
+  {report&&!report.canPackage&&<button className="btn primary" disabled={busy||!designBundle||designBundle.project!==project||contextBusy} onClick={downloadDesign}>{busy?'Preparing ZIP…':'Download project ZIP'}</button>}
   {report?.artifact&&<>
-   <p>{report.relation==='matches_saved_design'?'This package used the latest saved design.':report.relation==='design_changed'?'The saved design has changed since this implementation. New or changed requirements need implementation and checks.':report.relation==='earlier_turn'?'This is an earlier package. A later implementation turn has not produced a completed package yet.':'The submitted design receipt is unavailable. Its relationship to the current design is unknown.'} Capture and local checks do not establish full project acceptance.</p>
+   <p className="delivery-state">{report.relation==='matches_saved_design'?'✓ Current design':report.relation==='design_changed'?'! Design changed since generation':'! Earlier or unverified implementation'}</p>
+
    <p>{report.artifact.files.filter(file=>file.kind==='file').length} files · {report.artifact.model} · {report.artifact.effort}</p>
-   {report.canPackage&&<button className="btn primary" disabled={busy||contextBusy} onClick={()=>download()}>Download project package (ZIP)</button>}
-   {report.relation!=='matches_saved_design'&&onBuild&&<button className="btn" disabled={busy||contextBusy} onClick={onBuild}>Review latest design</button>}
-   <p>The handoff includes the captured files, their original ZIP, submitted and latest saved requirements/design, and recorded local checks. Missing implementation or Spec Kit content remains work to complete.</p>
-   <ArtifactChecks key={report.artifact.id} session={session} projectId={project.id} sessionId={report.session.id} artifact={report.artifact} readOnly/>
-   <details><summary>Package files and source receipt</summary><p>Artifact SHA-256: {report.artifact.sha256}</p><ul>{report.artifact.files.filter(file=>file.kind==='file').map(file=><li key={file.path}>{file.path}</li>)}</ul></details>
+   {report.canPackage&&<button className="btn primary" disabled={busy||preparing||!prepared||contextBusy||!designBundle||designBundle.project!==project} onClick={()=>download()}>Download project ZIP</button>}
+
+
+
+
   </>}
-  {busy&&<p role="status">Preparing and verifying your handoff download…</p>}
-  {contextBusy&&<p role="status">Finish the current design changes before downloading a combined handoff.</p>}
+  <button className="btn" disabled={busy||preparing||contextBusy||!report||!designBundle||(!!report?.artifact&&!prepared)} onClick={openOrca}>Open in Orca ↗</button> <a className="link orca-website" href="https://orca.dev" target="_blank" rel="noopener noreferrer">Orca website ↗</a>
+  {orcaResult&&<p role="status">{orcaResult.opened?'Opened in Orca':''} <code>{orcaResult.path}</code></p>}
+  <FinalChecklist project={project} implementation={report?.canPackage&&report?.artifact} checks={report?.checks} terraform={checkReceipt} onNavigate={onNavigate}/>
+  {(busy||preparing)&&<p role="status"><BrainActivity/> Preparing ZIP…</p>}
+  {contextBusy&&<p role="status">Waiting for current changes…</p>}
   {error&&<p role="alert">{error}</p>}
-  <button className="link" disabled={busy} onClick={()=>setRetry(value=>value+1)}>Refresh delivery</button>
+  <button className="icon" aria-label="Refresh package" title="Refresh package" disabled={busy||preparing} onClick={()=>setRetry(value=>value+1)}>↻</button>
  </section>;
 }