@atmem/architect 0.0.0-stage → 0.2.0

package/src/OutputsView.jsx

@@ -0,0 +1,71 @@
+import {FileTree} from './FileTree.jsx';
+import {strFromU8} from 'fflate';
+import {CodePreview} from './CodePreview.jsx';
+import {BrainActivity} from "./BrainActivity.jsx";
+import React,{useEffect,useState} from 'react';
+import {EmulationPanel} from './EmulationPanel.jsx';
+import {outputBundle} from './output-bundle.mjs';
+import {ImplementationDelivery} from './ImplementationDelivery.jsx';
+
+// Render generated Markdown as text elements, never executable HTML.
+function Document({text}){
+  const lines=text.split('\n'),blocks=[];let paragraph=[],list=[],ordered=false,code=null;
+  const clean=s=>s.replace(/\*\*|`/g,'');
+  function flush(){if(paragraph.length){blocks.push(<p key={blocks.length}>{clean(paragraph.join(' '))}</p>);paragraph=[];}if(list.length){const List=ordered?'ol':'ul';blocks.push(<List key={blocks.length}>{list.map((line,i)=><li key={i}>{clean(line)}</li>)}</List>);list=[];}}
+  for(const line of lines){
+    if(line.startsWith('```')){flush();if(code!==null){blocks.push(<pre key={blocks.length}>{code.join('\n')}</pre>);code=null;}else code=[];continue;}
+    if(code!==null){code.push(line);continue;}
+    const heading=line.match(/^(#{1,6})\s+(.+)/);
+    if(heading){flush();const Tag=`h${Math.min(heading[1].length+1,6)}`;blocks.push(<Tag key={blocks.length}>{heading[2]}</Tag>);}
+    else if(/^\s*([-*]|\d+\.)\s/.test(line)){const nextOrdered=/^\s*\d+\./.test(line);if(paragraph.length||(list.length&&ordered!==nextOrdered))flush();ordered=nextOrdered;list.push(line.replace(/^\s*([-*]|\d+\.)\s/,''));}
+    else if(line.startsWith('|')){flush();if(!/^\|[- :|]+\|$/.test(line))blocks.push(<p className="output-table-row" key={blocks.length}>{clean(line)}</p>);}
+    else if(!line.trim())flush();else paragraph.push(line.replace(/^> /,''));
+  }
+  flush();return <article className="output-document">{blocks}</article>;
+}
+function Preview({name,content}){
+ const [url,setUrl]=useState(null);
+ const visual=/\.(pdf|png|svg)$/.test(name);
+ useEffect(()=>{
+   if(!visual){setUrl(null);return;}
+   const type=name.endsWith('.pdf')?'application/pdf':name.endsWith('.svg')?'image/svg+xml':'image/png';
+   const next=URL.createObjectURL(new Blob([content],{type}));setUrl(next);return ()=>URL.revokeObjectURL(next);
+ },[name,content,visual]);
+ if(visual)return !url?<p role="status"><BrainActivity/> Preparing preview…</p>:name.endsWith('.pdf')?<iframe className="output-pdf" src={url} title={`Preview ${name}`}/>:<img className="output-image" src={url} alt={`Preview ${name}`}/>;
+ if(name.endsWith('.md'))return <Document text={content}/>;
+ return <CodePreview className="output-code" content={content} name={name}/>;
+}
+export function OutputsView({project,run,environment,session,onDownload,onBack,emulation,onDiscuss,discussionBusy,onBuild,onSave,onDownloaded,onReview,checkReceipt,onNavigate}){
+ const [exploration,setExploration]=useState(null);
+ const [bundle,setBundle]=useState(null),[error,setError]=useState(''),[loading,setLoading]=useState(true),[retry,setRetry]=useState(0),[selected,setSelected]=useState('spec-kit/implementation-spec.md');
+ useEffect(()=>{
+   let active=true;setLoading(true);setError('');
+   outputBundle(project,run,environment,checkReceipt).then(value=>{if(active){setBundle(value);setLoading(false);}}).catch(e=>{if(active){setError(e.message);setLoading(false);}});
+   return ()=>{active=false;};
+ },[project,run,environment,retry,checkReceipt]);
+ const readiness=bundle?.files['spec-kit/readiness.json']?JSON.parse(bundle.files['spec-kit/readiness.json']):null;
+ const fileValues=exploration?.project===project?exploration.files:bundle?.files||{};
+ const selectedPath=fileValues[selected]!==undefined?selected:fileValues['START_HERE.md']?'START_HERE.md':Object.keys(fileValues).find(name=>name.endsWith('implementation-spec.md'))||Object.keys(fileValues)[0];
+ const raw=fileValues[selectedPath],content=typeof raw==='string'?raw:raw&&/\.(?:md|txt|json|py|js|mjs|tf|sh|yaml|yml|toml|html|css)$/.test(selectedPath)?strFromU8(raw):raw;
+
+ return <section className="doc outputs-view" aria-label="Outputs">
+  <header className="doc-head"><h2>Delivery</h2></header>
+  <button className="link" onClick={onReview||onBack}>Back to Review</button>
+  {session?.engineeringEnabled&&<ImplementationDelivery key={project.id} project={project} session={session} onBuild={onBuild} onSave={onSave} contextBusy={discussionBusy} designBundle={loading?null:bundle} onDesignDownload={onDownload} onDownloaded={onDownloaded} checkReceipt={checkReceipt} onExplore={setExploration} onNavigate={onNavigate}/>}
+  <section aria-label="Project file explorer"><h3>Explore files</h3>
+
+  {!session?.engineeringEnabled&&<><p>Design package · no implementation generated.</p><button className="btn" disabled={!bundle||loading||!!error} onClick={()=>onDownload(bundle)}>Download project ZIP</button></>}
+
+  {loading&&<p role="status"><BrainActivity/> Preparing the current outputs…</p>}
+  {error&&<div role="alert"><p>{error}</p><button className="btn" onClick={()=>setRetry(n=>n+1)}>Retry preparing outputs</button></div>}
+  {bundle&&!loading&&!error&&<>
+   <p className="muted small">r{bundle.manifest.designRevision} · {Object.keys(bundle.files).length} design files</p>
+   {readiness&&<details><summary>Remaining work</summary><aside aria-label="Handoff readiness"><strong>Engineering handoff — decisions and implementation remain</strong><p>{readiness.counts.priorityDecisions} priority decisions · {readiness.counts.generatedFoundations} generated foundations / {readiness.counts.components} logical components</p><p>Next: {readiness.nextAction}</p><button className="link" onClick={()=>setSelected('spec-kit/readiness.md')}>Review handoff gaps</button></aside></details>}
+   <div className="outputs-browser" data-snapshot-id={bundle.manifest.snapshotId}>
+    <FileTree files={fileValues} selected={selectedPath} onSelect={setSelected}/>
+    <div className="output-preview" aria-label="Output preview"><h3>{selectedPath}</h3>{content!==undefined&&(typeof content==='string'||/\.(?:pdf|png|svg)$/.test(selectedPath)?<Preview key={selectedPath} name={selectedPath} content={content}/>:<p>{content.byteLength} bytes</p>)}</div>
+   </div>
+  </>}
+  </section>
+ </section>;
+}

package/src/ProjectChecks.jsx

@@ -0,0 +1,44 @@
+import React,{useEffect,useMemo,useRef,useState}from'react';
+import{BrainActivity}from'./BrainActivity.jsx';
+import{engineeringCall}from'./engineering-client.mjs';
+import{terraformSketch}from'./terraform.mjs';
+import{verifiedReceipt}from'./validation-receipt.mjs';
+export function ProjectChecks({project,environment,session,onReceipt,onBusy,receipt}){
+ const [report,setReport]=useState(null),[catalog,setCatalog]=useState([]),[checks,setChecks]=useState([]),[result,setResult]=useState(null),[working,setWorking]=useState(false),[error,setError]=useState('');
+ const active=useRef(null),locked=useRef(false),files=useMemo(()=>terraformSketch(project,environment),[project,environment]),key=JSON.stringify(files);
+ useEffect(()=>{let stopped=false;setResult(null);active.current?.abort();let previous=receipt;try{previous=previous||JSON.parse(localStorage.getItem('atmem-tf-receipt:'+project.id)||'null');}catch{}void verifiedReceipt(files,previous).then(value=>{if(!stopped){setResult(value);onReceipt?.(value);}});return()=>{stopped=true;active.current?.abort();};},[key]);
+ useEffect(()=>{
+  if(!session?.engineeringEnabled)return;
+  let stopped=false,timer;const controller=new AbortController();
+  async function poll(){try{
+   const value=await engineeringCall(session,'delivery',{projectId:project.id},{signal:controller.signal});if(stopped)return;setReport(value);
+   if(value.artifact){const payload={projectId:project.id,sessionId:value.session.id};const [definitions,results]=await Promise.all([engineeringCall(session,'validators',payload,{signal:controller.signal}),engineeringCall(session,'validation/list',{...payload,artifactId:value.artifact.id},{signal:controller.signal})]);if(!stopped){setCatalog(definitions.validators||[]);setChecks(results.checks||[]);}}
+  }catch(e){if(!stopped&&e.name!=='AbortError'&&e.status!==404)setError(e.message);}finally{if(!stopped)timer=setTimeout(poll,2000);}}
+  void poll();return()=>{stopped=true;clearTimeout(timer);controller.abort();};
+ },[project.id,session?.token,session?.engineeringEnabled]);
+ const running=checks.some(c=>c.state!=='finished'&&c.state!=='recovery_required');
+ useEffect(()=>{onBusy?.(working||running);return()=>onBusy?.(false);},[working,running,onBusy]);
+ async function run(){
+  if(locked.current)return;locked.current=true;setWorking(true);setError('');const controller=new AbortController();active.current=controller;
+  try{
+   const jobs=[];
+   if(report?.artifact)for(const validator of catalog.filter(v=>v.available!==false)){
+    const previous=checks.filter(c=>c.validatorId===validator.id&&c.contractSha256===validator.contractSha256).at(-1);
+    if(previous&&previous.state!=='finished')continue;
+    jobs.push(engineeringCall(session,'validation/start',{projectId:project.id,sessionId:report.session.id,artifactId:report.artifact.id,validatorId:validator.id,retry:!!previous},{signal:controller.signal}));
+   }
+   const outcomesPending=Promise.allSettled(jobs);
+   const response=await fetch('/api/terraform/validate',{method:'POST',headers:{'Content-Type':'application/json',Authorization:`Bearer ${session.token}`},body:JSON.stringify({project,environment}),signal:AbortSignal.any([controller.signal,AbortSignal.timeout(500000)])});const value=await response.json();
+   if(!response.ok)throw Error(value.detail||'Terraform checks could not start.');
+   const verified=await verifiedReceipt(files,value);if(!controller.signal.aborted){setResult(value);onReceipt?.(verified);try{if(verified)localStorage.setItem('atmem-tf-receipt:'+project.id,JSON.stringify(verified));else localStorage.removeItem('atmem-tf-receipt:'+project.id);}catch{}}
+   const outcomes=await outcomesPending;const failed=outcomes.find(o=>o.status==='rejected');if(failed)throw failed.reason;
+  }catch(e){if(!controller.signal.aborted){setResult({status:'failed',message:e.message});setError(e.message);}}
+  finally{locked.current=false;setWorking(false);}
+ }
+ const label=status=>({passed:'Passed',failed:'Failed',incomplete:'Incomplete',unavailable:'Not run'}[status]||'Not run');
+ return <section className="project-checks" aria-label="Project checks"><div className="section-action"><h3>Checks</h3><button className="btn" disabled={!session?.token||working||running} onClick={run}>{working||running?<><BrainActivity size={22}/> Checking…</>:'Run checks'}</button></div>
+ <ul className="check-rows"><li><span>Terraform</span><strong className={result?.status==='passed'?'check-complete':'check-pending'}>{working?'Running…':label(result?.status)}</strong></li>{checks.map(c=><li key={c.id}><span>{c.label}</span><strong className={c.result?.status==='passed'?'check-complete':'check-pending'}>{c.state==='finished'?label(c.result?.status):c.state==='recovery_required'?'Needs recovery':'Running…'}</strong></li>)}{!checks.length&&<li><span>Application checks</span><strong className="check-pending">{report?.artifact?'Not configured':'Generate files first'}</strong></li>}</ul>
+ {(result||checks.length>0)&&<details><summary>Check details</summary>{result&&<><p>{result.message}</p>{result.checks?.map((c,i)=><details key={i}><summary>{c.name} · {c.passed?'Passed':'Failed'}</summary><pre>{c.output}</pre></details>)}</>}{checks.map(c=><details key={c.id}><summary>{c.label}</summary><pre>{c.result?.output||c.result?.reason||c.state}</pre></details>)}</details>}
+ {error&&<p role="alert">{error}</p>}
+ </section>;
+}

package/src/TerraformView.jsx

@@ -0,0 +1,57 @@
+import {CodePreview} from './CodePreview.jsx';
+import {moduleValidationCoverage} from './terraform-validation-coverage.mjs';
+import {generationQuality} from './generation-quality.mjs';
+import {BrainActivity} from "./BrainActivity.jsx";
+import React, {useEffect, useMemo, useRef, useState} from 'react';
+import {EmulationPanel} from './EmulationPanel.jsx';
+import {terraformSketch} from './terraform.mjs';
+import {resourcePlan} from './resources.mjs';
+import {toProjectFile} from './project-file.mjs';
+
+export function TerraformView({project,environment,session,onDelivery,onBack,emulation,onDiscuss,discussionBusy,onBuild}){
+  const files=useMemo(()=>terraformSketch(project,environment),[project,environment]);
+  const plan=useMemo(()=>resourcePlan(project),[project]);
+  const [file,setFile]=useState('main.tf.json'),[step,setStep]=useState('code'),[result,setResult]=useState(null),[running,setRunning]=useState(false);
+  const controller=useRef(null);
+  const key=JSON.stringify(files);
+  useEffect(()=>{setResult(null);setRunning(false);controller.current?.abort();controller.current=null;return ()=>{controller.current?.abort();controller.current=null;};},[key]);
+  async function test(){
+    if(running)return;
+    const request=new AbortController();controller.current=request;setRunning(true);setResult(null);
+    const timer=setTimeout(()=>request.abort(),500000);
+    try{
+      toProjectFile(project);
+      if(!session?.token)throw Error('Connect the local service before running Terraform validation.');
+      const response=await fetch('/api/terraform/validate',{method:'POST',headers:{'Content-Type':'application/json',Authorization:`Bearer ${session.token}`},body:JSON.stringify({project,environment}),signal:request.signal});
+      const body=await response.json();if(!response.ok)throw Error(typeof body.detail==='string'?body.detail:'Terraform validation failed.');
+      if(!request.signal.aborted)setResult({...moduleValidationCoverage(body,quality.modules),filesKey:key});
+    }catch(e){if(!request.signal.aborted)setResult({status:'failed',message:e.message,checks:[]});else if(controller.current===request)setResult({status:'failed',message:'Validation stopped or timed out; no success was recorded.',checks:[]});}
+    finally{clearTimeout(timer);if(controller.current===request)setRunning(false);}
+  }
+  const quality=useMemo(()=>generationQuality(project,plan,files),[project,plan,files]);
+  const gaps=JSON.parse(files['main.tf.json']).locals.unfinished_work;
+  return <section className="doc terraform-view" aria-label="Terraform">
+    <header className="doc-head"><h2>Generated infrastructure</h2><p className="muted">Review generated resources, required integrations and the evidence for this configuration. Provider-specific capabilities and their limits are recorded in the export.</p></header>
+    <div className="row"><button className="link" onClick={onBack}>Back to architecture</button><button className="btn" onClick={onDelivery}>Continue to Delivery</button></div>
+    <aside aria-label="Export quality"><strong>{quality.infrastructureComplete?'Infrastructure generated — validation required':'Implementation work remains'}</strong><p>{quality.providers.join(', ')||'No deployment provider selected'} · {quality.components.length} components · {quality.findings.length} coverage findings</p><p className="small">{result?.status==='passed'&&result.filesKey===key?'Current configuration checks passed. These checks apply to this configuration.':'No current validation receipt is attached. Run Terraform checks to generate evidence for these files.'} Application behavior and account deployment require their own tests.</p></aside>
+
+    <div className="seg" role="tablist" aria-label="Terraform steps"><button role="tab" aria-selected={step==='code'} onClick={()=>setStep('code')}>1. Resources & code</button><button role="tab" aria-selected={step==='test'} onClick={()=>setStep('test')}>2. Test Terraform</button></div>
+    {step==='code'?<>
+      <h3>Resource coverage</h3>
+      {plan.rows.map(r=><p key={r.id||r.address}><strong>{r.label||r.service}</strong> — {r.terraform}<br/><small>{r.provider} · {r.region}</small></p>)}
+      {!!plan.gaps.length&&<details><summary>{plan.gaps.length} implementation gaps</summary><ul>{plan.gaps.map((g,i)=><li key={i}>{g}</li>)}</ul></details>}
+      <div className="row" aria-label="Terraform files">{Object.keys(files).map(name=><button className="btn" key={name} aria-pressed={file===name} onClick={()=>setFile(name)}>{name}</button>)}</div>
+      <CodePreview className="terraform-code" name={file} content={files[file]}/>
+      <button className="btn primary" onClick={()=>setStep('test')}>Continue to Test Terraform →</button>
+    </>:<>
+      <h3>Test this Terraform draft</h3>
+      <p>Checks the generated configuration against Terraform and the provider schema, then runs available generated application tests and mock-provider plans. Provider initialization downloads the official provider if needed; it uses a temporary directory with no cloud credentials or backend.</p>
+      <p><strong>Resource and integration coverage: {gaps.length?'Incomplete':'No recorded gaps'}</strong>{gaps.length?` — ${gaps.length} unfinished tasks block a deployment plan.`:''}</p>
+      <button className="btn primary" disabled={running} onClick={test}>{running?'Testing Terraform…':'Run Terraform checks'}</button>
+      {running&&<p role="status"><BrainActivity/> Initializing providers, validating configuration and running generated local tests. This may take a few minutes.</p>}
+      {result&&<div role="status"><h3>{result.status==='passed'?'Configuration validated':result.status==='unavailable'?'Terraform validation not run':result.status==='incomplete'?'Validation incomplete':'Validation failed'}</h3><p>{result.message}</p>{result.checks?.map((c,i)=><details key={i}><summary>{c.passed?'Passed':'Failed'}: {c.name}</summary><pre className="terraform-code">{c.output}</pre></details>)}</div>}
+      <h3>Cloud deployment plan — not run</h3><p>A real plan must verify the selected account, region, permissions and proposed changes. Cloud access is not connected. Passing these checks does not prove a real deployment or live application behavior.</p>
+      <button className="btn" disabled>Run cloud plan (under development)</button>
+    </>}
+  </section>;
+}