@haus-tech/haus-workflow 5.6.1 → 5.7.0

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

@@ -23,14 +23,24 @@ import {
   sectionLines,
   isHeadingLine,
   SPEC_HEADINGS,
+  IMPACT_HEADINGS,
   headingLanguage,
+  impactHeadingLanguage,
   kandidatIn,
   avvikelseEtikett,
   AVVIKELSE_ETIKETTER,
+  AVVIKELSE_ALIAS,
+  STRUKET_PREFIX,
   utfallsvalAlternativ,
   utfallsvalProsa,
   prisavgorandeVal,
   prisavgorandeForm,
+  TILL_GRANSKAREN,
+  granskareRow,
+  granskareRadRe,
+  tillGranskarenRe,
+  TIDSORD_RE,
+  POANGORD_RE,
 } from './lib.mjs'
 
 const dir = process.argv[2]
@@ -54,14 +64,14 @@ let prisavgorande = null
 // Kontraktsdriftvakt: rubrik- och vokabulärreglerna nedan speglar specformatet.
 // Pinnen är markör-strippad (stabil över haus-releaser, som stämplar om filer
 // med paketversionen) och sökvägen hedrar CLAUDE_CONFIG_DIR — se lib.mjs.
-const SPECFORMAT_SHA = '2e26f9270ced172cd9903f53384a4f7ad0f972084045040c263bf01dc7a6e422'
+const SPECFORMAT_SHA = '2cd9912f8ea91edb04fb7772e809482236d72d1b3e3fb4db6c196d9f991b1ec3'
 {
   const w = refDriftWarning('request-write-spec/references/specformat.md', SPECFORMAT_SHA)
   if (w) warnings.push(w)
 }
 
-// Tidsord förbjuds i både spec och analys — EN regex, så reglerna aldrig glider isär.
-const TIDSORD_RE = /[\p{L}]*tim(?:me|mar|marna|men)[\p{L}]*|[\p{L}]*estim(?:at|er)[\p{L}]*/iu
+// 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").
@@ -87,15 +97,19 @@ const headingText = (line) =>
 /** 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. Literalerna kommer ur
- *  SPEC_HEADINGS, aldrig härifrån; Problem är neutral och räknas inte. */
-const headingsByLanguage = (block) => {
+/** 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 SPEC_HEADINGS) {
+    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)
@@ -125,6 +139,39 @@ const checkKandidatForm = (block, kandidat, label) => {
       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"-
+ *  rubriken: den finns bara om dokumentet självt är svenskt. Saknas rubriken
+ *  helt (vilket är exakt när dess egen saknas-rad namnges) är resultatet
+ *  detsamma som "inte svensk" -> engelska, det nya standardspråket. */
+const harSvenskGranskarrubrik = (block) =>
+  new RegExp(`^#{1,6}\\s+${TILL_GRANSKAREN.sv}\\s*$`, 'imu').test(block)
+
+/** Värdena rättningsraderna ber agenten skriva, i dokumentets språk (samma
+ *  S1-mönster som rad- och rubrikliteralerna). Svenska dokument får exakt
+ *  samma text som före uppdelningen. De engelska etiketterna härleds ur
+ *  AVVIKELSE_ALIAS och prefixen ur STRUKET_PREFIX, så lib.mjs förblir den
+ *  enda platsen för literalerna. */
+const engelskEtikett = (sv) =>
+  Object.keys(AVVIKELSE_ALIAS).find((ord) => ord !== sv && AVVIKELSE_ALIAS[ord] === sv)
+const RATTNINGSVARDEN = {
+  sv: {
+    nej: 'nej',
+    ja: 'ja: <valet i en mening>',
+    etikett: (sv) => sv,
+    struket: STRUKET_PREFIX[0],
+    inga: 'inga',
+  },
+  en: {
+    nej: 'no',
+    ja: 'yes: <the choice in one sentence>',
+    etikett: engelskEtikett,
+    struket: STRUKET_PREFIX[1],
+    inga: 'none',
+  },
+}
+
 // ---- spec.md ---------------------------------------------------------------
 const spec = read('spec.md', true)
 if (spec != null) {
@@ -149,7 +196,7 @@ if (spec != null) {
     // 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)
+      const { sv, en } = headingsByLanguage(block, SPEC_HEADINGS)
       problems.push(
         `${label}: rubriker på två språk (sv: ${sv.join(', ')}, en: ${en.join(', ')}), välj ett`,
       )
@@ -199,9 +246,15 @@ if (spec != null) {
 // ---- granskarblock.md ------------------------------------------------------
 const gb = read('granskarblock.md', true)
 if (gb != null) {
-  if (!gb.includes('## Till granskaren'))
-    problems.push('granskarblock.md: rubriken "## Till granskaren" saknas')
-  for (const row of [
+  // Felraden namnger literalen i granskarblockets EGET språk (S1, se
+  // harSvenskGranskarrubrik ovan): ett nytt dokument skrivs på engelska, och
+  // raden går in i RÄTTNINGAR vid omdispatch. Namnger den svenskan för en
+  // engelsk post skickar omdispatchen agenten tillbaka till det språk vi
+  // just lämnat.
+  const dokumentSprak = harSvenskGranskarrubrik(gb) ? 'sv' : 'en'
+  if (!tillGranskarenRe().test(gb))
+    problems.push(`granskarblock.md: rubriken "## ${TILL_GRANSKAREN[dokumentSprak]}" saknas`)
+  for (const key of [
     'Antaganden',
     'Vägval jag gjort',
     'Öppna utfallsval',
@@ -209,17 +262,20 @@ if (gb != null) {
     'Flaggor',
     'Struket ur underlaget',
   ])
-    if (!gb.includes(`**${row}:**`)) problems.push(`granskarblock.md: raden "**${row}:**" saknas`)
+    if (!granskareRadRe(key).test(gb))
+      problems.push(`granskarblock.md: raden "**${granskareRow(key)[dokumentSprak]}:**" saknas`)
   // Prisavgörande öppet val (#505, ADR-0118): specifierns eget stoppsignal när
   // ett öppet val avgör priset. Skrivs på stdout för orkestratorn, före
   // KANDIDAT-raderna. En form som varken är nej eller ett ja med text (bart
   // ja/yes, kolon utan text, fritext utan etikett) är en BRIST: den ser ut
   // som ett svar men går inte att läsa, och ska aldrig tyst behandlas som
   // nej (granskningsfynd, #505).
-  if (prisavgorandeForm(gb) === 'ja-utan-text')
+  if (prisavgorandeForm(gb) === 'ja-utan-text') {
+    const v = RATTNINGSVARDEN[dokumentSprak]
     problems.push(
-      'granskarblock.md: raden "**Prisavgörande öppet val:**" ska vara "nej" eller "ja: <valet i en mening>"',
+      `granskarblock.md: raden "**${granskareRow('Prisavgörande öppet val')[dokumentSprak]}:**" ska vara "${v.nej}" eller "${v.ja}"`,
     )
+  }
   prisavgorande = prisavgorandeVal(gb)
 }
 
@@ -227,35 +283,45 @@ if (gb != null) {
 if (requireImpact) {
   const impact = read('impact.md', true)
   if (impact != null) {
-    const headings = [
-      'Berörda repon och filer',
-      'Datalagring',
-      'Integrationspunkter',
-      'Flöden',
-      'Gränssnitt',
-      'Verifiering',
-      'Delbarhet',
-      'Konsekvens av fel',
-      'Vägval',
-      'Antaganden',
-      'Beroenden',
-    ]
-    for (const h of headings)
-      if (!headingRe(h).test(impact)) problems.push(`impact.md: rubriken "${h}" saknas`)
-    if (!impact.includes('## Till granskaren'))
-      problems.push('impact.md: "## Till granskaren" saknas')
-    for (const row of ['Ej verifierat', 'Avvikelse mot specen', 'Obesvarade utfallsval'])
-      if (!impact.includes(`**${row}:**`)) problems.push(`impact.md: raden "**${row}:**" saknas`)
+    // Rubrikerna kommer ur tabellen, aldrig egna literaler (ADR-0114-
+    // mekaniken, nu även för impact.md). Felraden namnger språket
+    // RUBRIKERNA faktiskt bär (impactHeadingLanguage), inte granskarblockets:
+    // specens och analysens tabeller ska inte kunna fälla varandra.
+    const impactSprak = impactHeadingLanguage(impact)
+    const rubrikSprak = impactSprak === 'sv' ? 'sv' : 'en'
+    for (const row of IMPACT_HEADINGS)
+      if (!headingRe(row.key).test(impact))
+        problems.push(`impact.md: rubriken "${row[rubrikSprak]}" saknas`)
+    if (impactSprak === 'blandad') {
+      const { sv, en } = headingsByLanguage(impact, IMPACT_HEADINGS)
+      problems.push(
+        `impact.md: rubrikerna är blandade (sv: ${sv.join(', ')}, en: ${en.join(', ')}), välj ett`,
+      )
+    }
+    // Granskarblockets egna rader (Till granskaren-rubriken + de tre
+    // etikettraderna) namnger literalen i DOKUMENTETS eget språk (S1, se
+    // harSvenskGranskarrubrik ovan) — skilt från rubrikSprak ovan, som styr
+    // impact.md:s ämnesrubriker.
+    const dokumentSprak = harSvenskGranskarrubrik(impact) ? 'sv' : 'en'
+    if (!tillGranskarenRe().test(impact))
+      problems.push(`impact.md: "## ${TILL_GRANSKAREN[dokumentSprak]}" saknas`)
+    for (const key of ['Ej verifierat', 'Avvikelse mot specen', 'Obesvarade utfallsval'])
+      if (!granskareRadRe(key).test(impact))
+        problems.push(`impact.md: raden "**${granskareRow(key)[dokumentSprak]}:**" saknas`)
     // Avvikelseetikett (ADR-0106): raden måste börja med en av de tre
     // etiketterna, annars har scorern ingen väg att agera på den. Form, aldrig
     // innehåll: etikettvärdet påverkar inte exitkoden, grinden för motsägelse
     // ligger i orkestratorn och contract-check. En gammal analys utan etikett
     // fälls också, kostnaden är en assessor-dispatch per pågående post.
-    if (impact.includes('**Avvikelse mot specen:**')) {
+    if (granskareRadRe('Avvikelse mot specen').test(impact)) {
+      // Literalerna raderna nedan namnger, i dokumentets språk (F2, som S1).
+      const v = RATTNINGSVARDEN[dokumentSprak]
+      const avvikelseRad = granskareRow('Avvikelse mot specen')[dokumentSprak]
+      const utfallsvalRad = granskareRow('Obesvarade utfallsval')[dokumentSprak]
       avvikelse = avvikelseEtikett(impact)
       if (avvikelse == null)
         problems.push(
-          `impact.md: raden "**Avvikelse mot specen:**" ska börja med en etikett: ${AVVIKELSE_ETIKETTER.join(', ')}`,
+          `impact.md: raden "**${avvikelseRad}:**" ska börja med en etikett: ${AVVIKELSE_ETIKETTER.map(v.etikett).join(', ')}`,
         )
       // #507 (ADR-0117): motsägelse betyder att inget listat alternativ
       // levererar specens Problem. Bär analysen ändå alternativ är etiketten
@@ -263,7 +329,7 @@ if (requireImpact) {
       const alternativ = utfallsvalAlternativ(impact)
       if (avvikelse === 'motsägelse' && alternativ !== null && alternativ > 0)
         problems.push(
-          `impact.md: motsägelse med ${alternativ} listade alternativ under "Obesvarade utfallsval": välj precisering och låt fyrstegsregeln avgöra, eller stryk alternativen med prefixet "struket:" och skälet`,
+          `impact.md: ${v.etikett('motsägelse')} med ${alternativ} listade alternativ under "${utfallsvalRad}": välj ${v.etikett('precisering')} och låt fyrstegsregeln avgöra, eller stryk alternativen med prefixet "${v.struket}" och skälet`,
         )
       // #520: alternativ i löptext ("(a) … (b) …") räknas inte som listade
       // och passerade grinden ovan som om raden vore "inga". Formen krävs:
@@ -271,14 +337,13 @@ if (requireImpact) {
       // etiketten är rätt), vid precisering en VARNING (scorerns
       // fyrstegsregel läser listan, prosa läser den inte). Aldrig en
       // tolkning av vad "(a)" betyder.
-      const formkrav =
-        'skriv en listpunkt per alternativ på kolumn 0 ("- …"), stryk med prefixet "struket:" och skälet, eller skriv "inga"'
+      const formkrav = `skriv en listpunkt per alternativ på kolumn 0 ("- …"), stryk med prefixet "${v.struket}" och skälet, eller skriv "${v.inga}"`
       if (
         (avvikelse === 'motsägelse' || avvikelse === 'precisering') &&
         utfallsvalProsa(impact) === true
       )
         (avvikelse === 'motsägelse' ? problems : warnings).push(
-          `impact.md: ${avvikelse} med alternativ i löptext under "Obesvarade utfallsval": ${formkrav}`,
+          `impact.md: ${v.etikett(avvikelse)} med alternativ i löptext under "${utfallsvalRad}": ${formkrav}`,
         )
     }
     // Analysen får inte läcka poängsättning eller tid (ADR-0098: kontrollen
@@ -287,7 +352,7 @@ if (requireImpact) {
     // Poängord är dock en heuristik — "poängen med ändringen" och ett
     // ordagrant citerat kod-enum är legitima — så träffar blir varningar för
     // mänsklig blick, aldrig hårda stopp. Tidsord förblir hårda.
-    const m = impact.match(W('poäng(?:en|er|sätt\\p{L}*|sättning\\p{L}*)?'))
+    const m = impact.match(POANGORD_RE)
     if (m)
       warnings.push(
         `impact.md: poängord "${m[0]}" — kontrollera att analysen inte läcker poängsättning`,