@haus-tech/haus-workflow 5.9.1 → 5.10.1

package/library/global/skills/request/scripts/korning.mjs

@@ -21,8 +21,9 @@
  *                    [--steg-timeout 1800000] [--effort <low|medium|high|xhigh|max|default>]
  *
  * Läser `<exp>/experiment.json` (`sprak` OBLIGATORISK, ADR-0114: språket
- * gissas aldrig), `<exp>/onskemal.md` och `<exp>/kallmanifest.md`. Skriver
- * `steg/*.json`, spec/impact/prisfiler i körningskatalogen och `korning.json`;
+ * gissas aldrig), `<exp>/onskemal.md`, `<exp>/kallmanifest.md` och `<exp>/design.md`
+ * (valfri). Skriver `steg/*.json`, spec/impact/prisfiler i körningskatalogen
+ * och `korning.json`;
  * `experiment.json` och `state.json` rörs BARA via `archive.mjs`.
  *
  * stdout används inte (svep sparar stderr som `stderr.log`). Exit 0 = körningen
@@ -223,7 +224,15 @@ export function specifierPrompt({
 /** Assessorns prompt. KÄLLOR ligger med (hävstång 5): analysen skrevs förr
  *  mot ett repo den fick leta i själv, medan manifestet låg färdigt bredvid.
  *  SPRÅK efter DEPS (#521): analysens kundvända delar följer raden. */
-export function assessorPrompt({ repoRot, deps, sprak, spec, granskarblock, manifest }) {
+export function assessorPrompt({
+  repoRot,
+  deps,
+  sprak,
+  spec,
+  granskarblock,
+  manifest,
+  design = null,
+}) {
   const sprakRad = kravSprak(sprak)
   return [
     `REPO-ROT: ${repoRot}`,
@@ -247,6 +256,17 @@ export function assessorPrompt({ repoRot, deps, sprak, spec, granskarblock, mani
     'GRANSKARBLOCK (internt underlag, följer aldrig med i analysens kundtext):',
     granskarblock.trim(),
     '',
+    // Designdokumentet (designa, spec 2026-09-24): beslutat med en människa i
+    // brainstorming och inklistrat bytetroget som granskarblocket (hårda
+    // regeln: aldrig per sökväg). Utan design skrivs raden DESIGN: ingen, så
+    // assessorn ser skillnaden mellan "ingen design" och en trunkerad prompt.
+    ...(design == null
+      ? ['DESIGN: ingen']
+      : [
+          'DESIGN (beslutad i brainstorming, internt underlag, följer aldrig med i analysens kundtext):',
+          design.trim(),
+        ]),
+    '',
   ].join('\n')
 }
 
@@ -580,7 +600,7 @@ export function tolkaArgv(argv) {
 
 /** Underlaget på disk. Språket är OBLIGATORISKT (ADR-0114): utan det finns
  *  ingen rubrikuppsättning att be om, och en gissning fäller hela specvarvet. */
-function lasUnderlag(val) {
+export function lasUnderlag(val) {
   let experiment
   try {
     experiment = JSON.parse(readFileSync(path.join(val.exp, 'experiment.json'), 'utf8'))
@@ -594,6 +614,10 @@ function lasUnderlag(val) {
     }
   const onskemal = lasFil(path.join(val.exp, 'onskemal.md'))
   const manifest = lasFil(path.join(val.exp, 'kallmanifest.md'))
+  // Designen är ett valfritt pinnat underlag som manifestet (designa, spec
+  // 2026-09-24): finns filen går den bytetroget in i varje varv, saknas den
+  // körs varvet som förut. Aldrig ett fel.
+  const design = lasFil(path.join(val.exp, 'design.md'))
   const saknas = [
     ...(onskemal === null ? ['onskemal.md'] : []),
     ...(manifest === null ? ['kallmanifest.md'] : []),
@@ -606,6 +630,7 @@ function lasUnderlag(val) {
   return {
     onskemal,
     manifest,
+    design,
     sprak,
     eskalerad: experiment.eskalerad === true,
     eskaleringsorsak:
@@ -1085,11 +1110,22 @@ async function specOmdispatch(del, spec, brister, ctx) {
   return { ok: true, meta }
 }
 
+/** Designen in i delens katalog som design.md före assessorsteget, så att
+ *  add-run hashar den i impact-radens underlag_sha256 och precheck --impact
+ *  prövar proveniensen (designa, spec 2026-09-24). Byteidentisk kopia av
+ *  ctx.design; utan design skrivs inget och false returneras. */
+export function laggDesignIDel(del, ctx) {
+  if (ctx.design == null) return false
+  writeFileSync(path.join(del.dir, 'design.md'), ctx.design)
+  return true
+}
+
 /** Analysen: ett agentsteg, impact.md med runs-rad, formkontroll med EN
  *  omdispatch, och motsägelse mot specen som stopputfall (ADR-0106). */
 async function korAssessor(del, ctx) {
   const spec = lasFil(path.join(del.dir, 'spec.md'))
   if (spec === null) return { status: 'ofärdig', orsak: 'impact: spec.md saknas' }
+  laggDesignIDel(del, ctx)
   const prompt = assessorPrompt({
     repoRot: ctx.repoRot,
     deps: ctx.deps,
@@ -1097,6 +1133,7 @@ async function korAssessor(del, ctx) {
     spec,
     granskarblock: lasFil(path.join(del.dir, 'granskarblock.md')) ?? 'inget granskarblock',
     manifest: ctx.manifest,
+    design: ctx.design,
   })
   const fil = `steg/1${del.nr}-assessor.json`
   const res = await korAgent({

package/library/global/skills/request/scripts/lib.mjs

@@ -721,6 +721,190 @@ export const sectionLines = (block, heading) => {
   return rest.slice(0, end === -1 ? rest.length : end)
 }
 
+/** Unicode-medvetna ordgränser: JS \b bryter vid å/ä/ö, så svenska ord kräver
+ *  egna gränser ("kräver" får aldrig matcha förbudet "kr"). */
+const W = (pat) => new RegExp(`(?<![\\p{L}\\d_])(?:${pat})(?![\\p{L}\\d_])`, 'iu')
+
+/** Rubrikradens text utan fetstil- eller #-markering. */
+const headingText = (line) =>
+  line
+    .trim()
+    .replace(/^\*\*(.+)\*\*$/, '$1')
+    .replace(/^#{1,6}\s*/, '')
+    .trim()
+
+/** En specrubrik enligt tabellen, på något av språken. */
+const isSpecHeading = (line) => SPEC_HEADINGS.some((row) => headingRe(row.key).test(line.trim()))
+
+/** Vilka språkbärande rubriker blocket har, per språk, för valfri rubriktabell
+ *  (SPEC_HEADINGS eller IMPACT_HEADINGS). Anroparen väljer tabellen explicit,
+ *  så specens och analysens rubriker aldrig kan blandas ihop av misstag, samma
+ *  skäl som gör headingLanguage och impactHeadingLanguage till skilda
+ *  funktioner. Hjälparen LISTAR bara träffar, den avgör aldrig blandad, sv
+ *  eller en åt någon. Delad av specForm och precheck --impact. */
+export const headingsByLanguage = (block, table) => {
+  const sv = []
+  const en = []
+  for (const line of block.split('\n')) {
+    if (!isHeadingLine(line)) continue
+    const text = headingText(line)
+    for (const row of table) {
+      if (row.sv === row.en) continue
+      if (text === row.sv) sv.push(row.sv)
+      else if (text === row.en) en.push(row.en)
+    }
+  }
+  return { sv, en }
+}
+
+/** Kandidatformen (ADR-0105): titel, markör direkt under titeln, Problem.
+ *  Titel = första rubrikrad som varken är en specrubrik eller en markör;
+ *  saknas titel ska markören vara blockets första rubrikrad. Lösning och När
+ *  det är klart är då fel form, antingen spec eller kandidat. Ingår inte,
+ *  Kräver och Villkor tillåts, och ingen 2–5-punktskontroll görs. Returnerar
+ *  bristraderna. */
+const kandidatFormBrister = (block, kandidat, label) => {
+  const brister = []
+  const lines = block.split('\n')
+  const headings = lines.map((l, i) => (isHeadingLine(l) ? i : -1)).filter((i) => i !== -1)
+  const title = headings.find((i) => !isSpecHeading(lines[i]) && kandidatIn(lines[i]) == null)
+  const expected = title == null ? headings[0] : headings.find((i) => i > title)
+  if (expected !== kandidat.line)
+    brister.push(
+      `${label}: kandidatmarkören ska stå som första rubrikrad${title == null ? '' : ' efter titeln'}`,
+    )
+  for (const heading of ['Lösning', 'När det är klart'])
+    if (headingRe(heading).test(block))
+      brister.push(`${label}: kandidat med ${heading}: antingen spec eller kandidat`)
+  return brister
+}
+
+/**
+ * Specens formkontroll: rubriker enligt aliastabellen, exakt ett specblock,
+ * 2–5 punkter under När det är klart, förbjuden vokabulär. En kopia av regeln,
+ * delad av precheck.mjs (spec.md) och archive.mjs paraply (ADR-0144), så en
+ * paraplyspec prövas med exakt samma regler som varje spec. Kontrollerar bara
+ * form, aldrig innehåll. `fil` är etiketten i raderna. Returnerar
+ * { brister, varningar, kandidater }: brister är hårda formfel, varningar
+ * heuristik, kandidater utfallet per block som bär kandidatmarkören.
+ */
+export const specForm = (spec, fil = 'spec.md') => {
+  const brister = []
+  const varningar = []
+  const kandidater = []
+  // En katalog = en spec. Specformatet föreskriver ingen separator mellan
+  // specar, så buntdetektionen räknar den obligatoriska Problem-rubriken över
+  // hela filen: fler än en betyder att en bunt inte delats i egna kataloger,
+  // och då prissätts två beslut som en post (fel pris åt något håll).
+  const problemCount = (spec.match(new RegExp(headingRe('Problem').source, 'gm')) ?? []).length
+  if (problemCount > 1)
+    brister.push(
+      `${fil}: ${problemCount} "Problem"-rubriker i en katalog, en spec per katalog, dela bunten först`,
+    )
+  const blocks = spec
+    .split(/\n---\n/)
+    .map((b) => b.trim())
+    .filter(Boolean)
+  if (blocks.length === 0) brister.push(`${fil}: tom`)
+  blocks.forEach((block, i) => {
+    const label = blocks.length > 1 ? `${fil} block ${i + 1}` : fil
+    // Rubrikspråk (ADR-0114): specen skrivs på önskemålets språk och rubrikerna
+    // på samma språk som brödtexten. Brödtexten kontrolleras inte, men rubriker
+    // ur båda språken i samma block fälls, kunden ser rubrikerna. Vilka som
+    // hittades per språk namnges så rättningen blir riktad.
+    if (headingLanguage(block) === 'blandad') {
+      const { sv, en } = headingsByLanguage(block, SPEC_HEADINGS)
+      brister.push(
+        `${label}: rubriker på två språk (sv: ${sv.join(', ')}, en: ${en.join(', ')}), välj ett`,
+      )
+    }
+    // Obligatoriskt per specformatet: Problem, alltid. Lösning och När det är
+    // klart bara i spec-formen; kandidatformen (ADR-0105) ersätter dem med
+    // markören och routar posten till sitt stopputfall utan analys och poäng.
+    if (!headingRe('Problem').test(block)) brister.push(`${label}: rubriken "Problem" saknas`)
+    const kandidat = kandidatIn(block)
+    if (kandidat) {
+      kandidater.push(kandidat.utfall)
+      brister.push(...kandidatFormBrister(block, kandidat, label))
+      return
+    }
+    for (const heading of ['Lösning', 'När det är klart'])
+      if (!headingRe(heading).test(block)) brister.push(`${label}: rubriken "${heading}" saknas`)
+    // Ingår inte är valfri i formatet ("ibland ingen alls"), saknad blir varning.
+    if (!headingRe('Ingår inte').test(block))
+      varningar.push(`${label}: "Ingår inte" saknas, ofta rätt att ringa in vad som inte ingår`)
+    // 2–5 numrerade punkter under När det är klart, avgränsat vid nästa
+    // rubrikrad (inte vid första **: fetstil inuti en punkt är tillåten).
+    const sect = sectionLines(block, 'När det är klart')
+    if (sect != null) {
+      const items = sect.filter((l) => /^\d+\.\s/.test(l.trim()))
+      if (items.length < 2 || items.length > 5)
+        brister.push(`${label}: "När det är klart" har ${items.length} punkter (kräver 2–5)`)
+      for (const it of items)
+        if (W('eller').test(it))
+          brister.push(`${label}: "eller" i utfallspunkt: ${it.trim().slice(0, 60)}`)
+    }
+  })
+  // Förbjuden vokabulär i hela specen (tid, pengar, hedge-ord). Tidsord matchas
+  // utan inledande gräns så sammansättningar (arbetstimmar, halvtimme) fälls.
+  // "kr" kräver siffra före sig, annars fälls identifierare som "KR-2".
+  const banned = ['förslagsvis', 'alternativt', 'beroende på', 'en lämplig', 'kronor', 'SEK']
+  for (const word of banned) {
+    const m = spec.match(W(word))
+    if (m) brister.push(`${fil}: förbjudet ord "${m[0]}"`)
+  }
+  // Bindestreck friar identifierare ("punkt 3: KR-2" är inget belopp).
+  const kr = spec.match(/\d[\s.,:]*kr(?![\p{L}\d_-])/iu)
+  if (kr) brister.push(`${fil}: belopp "${kr[0].trim()}"`)
+  const time = spec.match(TIDSORD_RE)
+  if (time) brister.push(`${fil}: förbjudet tidsord "${time[0]}"`)
+  return { brister, varningar, kandidater }
+}
+
+/** Designdokumentets frontmatter (designa, spec 2026-09-24): det första
+ *  blocket mellan två `---`-rader, `nyckel: värde` per rad, värdena trimmade
+ *  och aldrig tolkade. add-design och precheck --design jämför strängarna
+ *  literalt mot katalogens id och specens hash. null när texten inte börjar
+ *  med ett block, eller blocket aldrig stängs. */
+export const designFrontmatter = (text) => {
+  const lines = String(text).split('\n')
+  if (lines[0]?.trim() !== '---') return null
+  const end = lines.findIndex((l, i) => i > 0 && l.trim() === '---')
+  if (end === -1) return null
+  const falt = {}
+  for (const l of lines.slice(1, end)) {
+    const m = /^([A-Za-z_][\w-]*):\s*(.*)$/.exec(l)
+    if (m) falt[m[1]] = m[2].trim()
+  }
+  return falt
+}
+
+/** Brödtexten efter frontmattern, hela texten när blocket saknas. Det är den
+ *  precheck --design läser tids- och poängord i. */
+export const designBody = (text) => {
+  const lines = String(text).split('\n')
+  if (lines[0]?.trim() !== '---') return String(text)
+  const end = lines.findIndex((l, i) => i > 0 && l.trim() === '---')
+  return end === -1 ? String(text) : lines.slice(end + 1).join('\n')
+}
+
+/** Sektionen `## Spec conflicts`: null när rubriken saknas, [] när sektionen
+ *  är exakt ordet `none` (skiftläge ignorerat), annars de icke-tomma raderna,
+ *  en konflikt per rad. add-design vägrar allt utom [], precheck --design
+ *  fäller det som BRIST. */
+export const specConflicts = (text) => {
+  const rader = sectionLines(String(text), 'Spec conflicts')
+  if (rader === null) return null
+  const ickeTomma = rader.map((r) => r.trim()).filter((r) => r !== '')
+  if (ickeTomma.length === 1 && ickeTomma[0].toLowerCase() === 'none') return []
+  return ickeTomma
+}
+
+/** Katalogens id: gid:t ur state.json, annars katalognamnet (en slug-katalog
+ *  bär request_id null). En definition, delad av add-design och precheck
+ *  --design, så frontmatterns request_id alltid prövas mot samma svar. */
+export const katalogId = (state, dir) => state?.request_id ?? basename(resolve(dir))
+
 /** Specifierns svar: specblock, vart och ett följt av sitt eget "## Till
  *  granskaren" (ADR-0118). Titel = rubrikrad som varken är specrubrik (något
  *  språk), kandidatmarkör eller granskarrubrik; varje titel startar en ny
@@ -923,8 +1107,13 @@ export const FRYSTA_LITERALER = Object.freeze({
     'SPEC (godkänd):',
     'GRANSKARBLOCK',
     'GRANSKARBLOCK (internt underlag, följer aldrig med i analysens kundtext):',
+    'DESIGN:',
+    'DESIGN (beslutad i brainstorming, internt underlag, följer aldrig med i analysens kundtext):',
     'FULLPLAN:',
     'TIDIGARE_POANG:',
+    // ADR-0144: paraplyläget i specifierns prompt (bedöms DELA_UPP-val 2).
+    'PARAPLY:',
+    'DELAR:',
   ]),
   promptvarden: Object.freeze([
     'installerade',

package/library/global/skills/request/scripts/precheck.mjs

@@ -9,8 +9,9 @@
  * BRISTER (exit 1) är hårda formfel. VARNING är heuristik som kräver mänsklig
  * blick (poängord i analys, saknad Ingår inte) — de skrivs ut men stoppar inget.
  *
- * Användning: node precheck.mjs <arkivkatalog> [--impact]
+ * Användning: node precheck.mjs <arkivkatalog> [--impact] [--design]
  *   --impact  kräv och kontrollera även impact.md (bedöm-steget)
+ *   --design  kräv och kontrollera även design.md (designa-steget och bedöms grind 1b)
  * Exit 0 = ok, 1 = brister (listade på stdout), 2 = användningsfel.
  */
 import { readFileSync, existsSync } from 'node:fs'
@@ -20,13 +21,10 @@ import {
   markerStrippedSha256,
   refDriftWarning,
   headingRe,
-  sectionLines,
-  isHeadingLine,
-  SPEC_HEADINGS,
   IMPACT_HEADINGS,
-  headingLanguage,
   impactHeadingLanguage,
-  kandidatIn,
+  specForm,
+  headingsByLanguage,
   avvikelseEtikett,
   AVVIKELSE_ETIKETTER,
   AVVIKELSE_ALIAS,
@@ -41,12 +39,17 @@ import {
   tillGranskarenRe,
   TIDSORD_RE,
   POANGORD_RE,
+  designFrontmatter,
+  designBody,
+  specConflicts,
+  katalogId,
 } from './lib.mjs'
 
 const dir = process.argv[2]
 const requireImpact = process.argv.includes('--impact')
+const requireDesign = process.argv.includes('--design')
 if (!dir) {
-  console.error('användning: node precheck.mjs <arkivkatalog> [--impact]')
+  console.error('användning: node precheck.mjs <arkivkatalog> [--impact] [--design]')
   process.exit(2)
 }
 
@@ -73,10 +76,6 @@ const SPECFORMAT_SHA = '2cd9912f8ea91edb04fb7772e809482236d72d1b3e3fb4db6c196d9f
 // Tidsord förbjuds i både spec och analys — EN regex, TIDSORD_RE i lib.mjs, så
 // reglerna aldrig glider isär och driftvakten läser samma regex som grinden.
 
-// JS \b bryter vid å/ä/ö — svenska ord kräver Unicode-medvetna gränser
-// ("kräver" får aldrig matcha förbudet "kr").
-const W = (pat) => new RegExp(`(?<![\\p{L}\\d_])(?:${pat})(?![\\p{L}\\d_])`, 'iu')
-
 const read = (name, required) => {
   const p = join(dir, name)
   if (!existsSync(p)) {
@@ -86,59 +85,6 @@ const read = (name, required) => {
   return readFileSync(p, 'utf8')
 }
 
-/** Rubrikradens text utan fetstil- eller #-markering. */
-const headingText = (line) =>
-  line
-    .trim()
-    .replace(/^\*\*(.+)\*\*$/, '$1')
-    .replace(/^#{1,6}\s*/, '')
-    .trim()
-
-/** En specrubrik enligt tabellen, på något av språken. */
-const isSpecHeading = (line) => SPEC_HEADINGS.some((row) => headingRe(row.key).test(line.trim()))
-
-/** Vilka språkbärande rubriker blocket har, per språk, för valfri rubriktabell
- *  (SPEC_HEADINGS eller IMPACT_HEADINGS). Anroparen väljer tabellen explicit,
- *  så specens och analysens rubriker aldrig kan blandas ihop av misstag —
- *  samma skäl som gör headingLanguage/impactHeadingLanguage till skilda
- *  funktioner i lib.mjs, men här räcker en parameter: den här hjälparen
- *  bara LISTAR träffar, den avgör aldrig blandad/sv/en åt någon. */
-const headingsByLanguage = (block, table) => {
-  const sv = []
-  const en = []
-  for (const line of block.split('\n')) {
-    if (!isHeadingLine(line)) continue
-    const text = headingText(line)
-    for (const row of table) {
-      if (row.sv === row.en) continue
-      if (text === row.sv) sv.push(row.sv)
-      else if (text === row.en) en.push(row.en)
-    }
-  }
-  return { sv, en }
-}
-
-/**
- * Kandidatformen (ADR-0105): titel, markör direkt under titeln, Problem.
- * Titel = första rubrikrad som varken är en specrubrik eller en markör;
- * saknas titel ska markören vara blockets första rubrikrad. Lösning och När
- * det är klart är då fel form, antingen spec eller kandidat. Ingår inte,
- * Kräver och Villkor tillåts, och ingen 2–5-punktskontroll görs.
- */
-const checkKandidatForm = (block, kandidat, label) => {
-  const lines = block.split('\n')
-  const headings = lines.map((l, i) => (isHeadingLine(l) ? i : -1)).filter((i) => i !== -1)
-  const title = headings.find((i) => !isSpecHeading(lines[i]) && kandidatIn(lines[i]) == null)
-  const expected = title == null ? headings[0] : headings.find((i) => i > title)
-  if (expected !== kandidat.line)
-    problems.push(
-      `${label}: kandidatmarkören ska stå som första rubrikrad${title == null ? '' : ' efter titeln'}`,
-    )
-  for (const heading of ['Lösning', 'När det är klart'])
-    if (headingRe(heading).test(block))
-      problems.push(`${label}: kandidat med ${heading}: antingen spec eller kandidat`)
-}
-
 /** S1: en felrad ska namnge literalen i DOKUMENTETS eget språk, inte alltid
  *  engelska — annars skickar en rättning/omdispatch agenten tillbaka till
  *  det språk vi just lämnat. Signalen är den svenska "## Till granskaren"-
@@ -173,74 +119,14 @@ const RATTNINGSVARDEN = {
 }
 
 // ---- spec.md ---------------------------------------------------------------
+// Formreglerna bor i lib.mjs (specForm), delade med archive.mjs paraply
+// (ADR-0144): en paraplyspec prövas med exakt samma regler som varje spec.
 const spec = read('spec.md', true)
 if (spec != null) {
-  // En katalog = en spec. Specformatet föreskriver ingen separator mellan
-  // specar, så bunt-detektionen räknar den obligatoriska Problem-rubriken över
-  // hela filen — fler än en betyder att en bunt inte delats i egna kataloger,
-  // och då klassas två beslut som en post (fel pris åt något håll).
-  const problemCount = (spec.match(new RegExp(headingRe('Problem').source, 'gm')) ?? []).length
-  if (problemCount > 1)
-    problems.push(
-      `spec.md: ${problemCount} "Problem"-rubriker i en katalog — en spec per katalog, dela bunten först`,
-    )
-  const blocks = spec
-    .split(/\n---\n/)
-    .map((b) => b.trim())
-    .filter(Boolean)
-  if (blocks.length === 0) problems.push('spec.md: tom')
-  blocks.forEach((block, i) => {
-    const label = blocks.length > 1 ? `spec.md block ${i + 1}` : 'spec.md'
-    // Rubrikspråk (ADR-0114): specen skrivs på önskemålets språk och rubrikerna
-    // på samma språk som brödtexten. Brödtexten kontrolleras inte, men rubriker
-    // ur båda språken i samma block fälls, kunden ser rubrikerna. Vilka som
-    // hittades per språk namnges så rättningen blir riktad.
-    if (headingLanguage(block) === 'blandad') {
-      const { sv, en } = headingsByLanguage(block, SPEC_HEADINGS)
-      problems.push(
-        `${label}: rubriker på två språk (sv: ${sv.join(', ')}, en: ${en.join(', ')}), välj ett`,
-      )
-    }
-    // Obligatoriskt per specformatet: Problem, alltid. Lösning och När det är
-    // klart bara i spec-formen; kandidatformen (ADR-0105) ersätter dem med
-    // markören och routar posten till sitt stopputfall utan analys och poäng.
-    if (!headingRe('Problem').test(block)) problems.push(`${label}: rubriken "Problem" saknas`)
-    const kandidat = kandidatIn(block)
-    if (kandidat) {
-      kandidater.push(kandidat.utfall)
-      checkKandidatForm(block, kandidat, label)
-      return
-    }
-    for (const heading of ['Lösning', 'När det är klart'])
-      if (!headingRe(heading).test(block)) problems.push(`${label}: rubriken "${heading}" saknas`)
-    // Ingår inte är valfri i formatet ("ibland ingen alls"), saknad blir varning.
-    if (!headingRe('Ingår inte').test(block))
-      warnings.push(`${label}: "Ingår inte" saknas — ofta rätt att ringa in vad som inte ingår`)
-    // 2–5 numrerade punkter under När det är klart, avgränsat vid nästa
-    // rubrikrad (inte vid första ** — fetstil inuti en punkt är tillåten).
-    const sect = sectionLines(block, 'När det är klart')
-    if (sect != null) {
-      const items = sect.filter((l) => /^\d+\.\s/.test(l.trim()))
-      if (items.length < 2 || items.length > 5)
-        problems.push(`${label}: "När det är klart" har ${items.length} punkter (kräver 2–5)`)
-      for (const it of items)
-        if (W('eller').test(it))
-          problems.push(`${label}: "eller" i utfallspunkt: ${it.trim().slice(0, 60)}`)
-    }
-  })
-  // Förbjuden vokabulär i hela specen (tid, pengar, hedge-ord). Tidsord matchas
-  // utan inledande gräns så sammansättningar (arbetstimmar, halvtimme) fälls.
-  // "kr" kräver siffra före sig — annars fälls identifierare som "KR-2".
-  const banned = ['förslagsvis', 'alternativt', 'beroende på', 'en lämplig', 'kronor', 'SEK']
-  for (const word of banned) {
-    const m = spec.match(W(word))
-    if (m) problems.push(`spec.md: förbjudet ord "${m[0]}"`)
-  }
-  // Bindestreck friar identifierare ("punkt 3: KR-2" är inget belopp).
-  const kr = spec.match(/\d[\s.,:]*kr(?![\p{L}\d_-])/iu)
-  if (kr) problems.push(`spec.md: belopp "${kr[0].trim()}"`)
-  const time = spec.match(TIDSORD_RE)
-  if (time) problems.push(`spec.md: förbjudet tidsord "${time[0]}"`)
+  const form = specForm(spec)
+  problems.push(...form.brister)
+  warnings.push(...form.varningar)
+  kandidater.push(...form.kandidater)
 }
 
 // ---- granskarblock.md ------------------------------------------------------
@@ -362,6 +248,16 @@ if (requireImpact) {
   }
 }
 
+// ---- design.md (designa-steget, spec 2026-09-24) --------------------------
+// Läses bara med --design. Raden `DESIGN: ok|saknas` skrivs ALLTID med
+// flaggan, även vid exit 1: orkestratorn (designa steg 3, bedöm grind 1b)
+// läser läget ur raden, aldrig ur filerna. `ok` betyder att design.md finns
+// och att state.design är satt; giltigheten (hasharna, frontmattern,
+// konflikterna) står som BRISTER bredvid. Kontrollerna som behöver state
+// ligger i state.json-blocket nedan.
+const designText = requireDesign ? read('design.md', true) : null
+let designRad = null
+
 // ---- state.json ------------------------------------------------------------
 const state = read('state.json', true)
 if (state != null) {
@@ -408,6 +304,84 @@ if (state != null) {
         )
       }
     }
+    // Designproveniens (designa): finns design.md i katalogen ska analysens
+    // rad bära dess hash, annars gjordes analysen utan designen eller mot en
+    // annan version, samma skevhet som en utbytt spec.
+    if (requireImpact && existsSync(join(dir, 'design.md')) && Array.isArray(s.runs)) {
+      const impactRun = [...s.runs].reverse().find((r) => r.file === 'impact.md')
+      const designRec = impactRun?.underlag_sha256?.['design.md']
+      if (impactRun && designRec == null)
+        problems.push(
+          'impact.md: analysen gjordes utan det designdokument som nu finns, kör om analysen innan posten bedöms',
+        )
+      else if (impactRun && designRec !== markerStrippedSha256(join(dir, 'design.md')))
+        problems.push(
+          'impact.md: analysen gjordes mot en annan version av design.md, kör om analysen innan posten bedöms',
+        )
+    }
+    if (requireDesign) {
+      const design = s.design ?? null
+      if (design === null)
+        problems.push('state.json: fältet "design" är null, kör archive.mjs add-design')
+      designRad = designText != null && design !== null ? 'ok' : 'saknas'
+      if (designText != null && design !== null) {
+        const hash = markerStrippedSha256(join(dir, 'design.md'))
+        if (design.sha256 !== hash)
+          problems.push(
+            'design.md: hashen är inte state.design.sha256, filen är ändrad efter add-design',
+          )
+        if (typeof design.path !== 'string' || !existsSync(design.path))
+          problems.push(`design.md: den kanoniska filen ${design.path ?? '?'} saknas i repot`)
+        else {
+          // Egen try/catch (slutgranskning M1): en sökväg som finns men inte går
+          // att läsa (en katalog, EACCES) är en BRIST om den kanoniska filen,
+          // aldrig state-blockets "ogiltig JSON" som döljer den.
+          let kanoniskHash = null
+          try {
+            kanoniskHash = markerStrippedSha256(design.path)
+          } catch (e) {
+            problems.push(
+              `design.md: den kanoniska filen ${design.path} går inte att läsa: ${e.message}`,
+            )
+          }
+          if (kanoniskHash !== null && kanoniskHash !== hash)
+            problems.push(
+              `design.md: den kanoniska filen ${design.path} har en annan hash än design.md`,
+            )
+        }
+        const fm = designFrontmatter(designText) ?? {}
+        const id = katalogId(s, dir)
+        if (fm.request_id !== id)
+          problems.push(
+            `design.md: frontmatterns request_id "${fm.request_id ?? ''}" är inte katalogens id "${id}"`,
+          )
+        if (spec != null && fm.spec_sha256 !== markerStrippedSha256(join(dir, 'spec.md')))
+          problems.push(
+            'design.md: spec_sha256 är inte nuvarande spec.md, designen gjordes mot en annan spec',
+          )
+        const konflikter = specConflicts(designText)
+        if (konflikter === null) problems.push('design.md: sektionen "## Spec conflicts" saknas')
+        else if (konflikter.length > 0)
+          problems.push(
+            `design.md: "## Spec conflicts" är inte none (${konflikter.length}), posten går till kunddialog och respec`,
+          )
+        // Storleks- och poängord i designen är VARNING, aldrig BRIST: dokumentet
+        // skrivs av en människostyrd session och assessorn instrueras att
+        // bortse från dem, men granskaren ska se dem. Bara brödtexten, aldrig
+        // frontmattern (en hash kan råka innehålla "tim").
+        const body = designBody(designText)
+        const p = body.match(POANGORD_RE)
+        if (p)
+          warnings.push(
+            `design.md: poängord "${p[0]}", assessorn ska bortse från det, granskaren bör se det`,
+          )
+        const t = body.match(TIDSORD_RE)
+        if (t)
+          warnings.push(
+            `design.md: tidsord "${t[0]}", assessorn ska bortse från det, granskaren bör se det`,
+          )
+      }
+    }
   } catch {
     problems.push('state.json: ogiltig JSON')
   }
@@ -418,6 +392,7 @@ if (state != null) {
 if (prisavgorande != null) console.log(`PRISAVGORANDE: ${prisavgorande}`)
 for (const k of kandidater) console.log(`KANDIDAT: ${k}`)
 if (avvikelse != null) console.log(`AVVIKELSE: ${avvikelse}`)
+if (requireDesign) console.log(`DESIGN: ${designRad ?? 'saknas'}`)
 for (const w of warnings) console.log(`VARNING: ${w}`)
 if (problems.length === 0) {
   console.log('OK: formkontrollen passerad')

package/library/global/skills/request-assess-impact/SKILL.md

@@ -19,6 +19,18 @@ The analysis is written for `request-score`, which points out evidence in it as
 
 **The codebase.** Without a repo you cannot answer most of what follows. Say so before you start; do not write an analysis of guesses.
 
+**Design doc (when present).** The `DESIGN` block is a design decided with a human in
+brainstorming, against this spec. Treat every decision in it as taken: do not reopen
+it, do not list it under _Decisions taken_ as your own, and do not list an alternative
+to it under _Unanswered outcome choices_. Your job is to verify it against the code:
+where the design names files, patterns, storage or integrations, ground them; where
+the code says the design cannot be built as written, that is a `contradiction` on the
+deviation line, named as a design conflict: the free text after the label starts with
+`design conflict:`, and the item goes back to the design before it is priced.
+_Decisions taken_ and _Assumptions_ then hold only what the design left open. Size or
+time wording in the design is not yours to repeat. Without a design the block is the
+line `DESIGN: ingen` and the analysis is written as before.
+
 ## The format
 
 Fixed headings, prose under each. No yes/no fields, no checkboxes, no table that looks like a form: an analysis that looks like an answer form is read as an answer form, and then it is you who assigned the points.