@ogygie/studio 0.29.1 → 0.30.0

package/dist/server.js

@@ -1397,12 +1397,22 @@ async function readParsedSpec(deps, specId) {
   }
   return parsed.spec;
 }
+async function generatedProductOf(deps) {
+  if (!await deps.storage.exists("ogygie.manifest.json")) return false;
+  try {
+    const raw = JSON.parse(await deps.storage.readFile("ogygie.manifest.json"));
+    return typeof raw === "object" && raw !== null && "generation" in raw && raw.generation !== null;
+  } catch {
+    return false;
+  }
+}
 async function getSpec(deps, specId) {
   const spec = await readParsedSpec(deps, specId);
   return {
     frontmatter: spec.frontmatter,
     body: spec.body,
-    presentSections: presentSectionsOf(spec.body)
+    presentSections: presentSectionsOf(spec.body),
+    generatedProduct: await generatedProductOf(deps)
   };
 }
 async function saveSpec(deps, specId, input) {
@@ -1931,7 +1941,9 @@ var GetSpecOutputSchema = z7.object({
   frontmatter: SpecFrontmatterSchema,
   /** Markdown body after the frontmatter block, byte-exact. */
   body: z7.string(),
-  presentSections: z7.array(z7.string())
+  presentSections: z7.array(z7.string()),
+  /** D58: the product's map declares a `generation` block — a spec without `# Génération` is then hand-written, nothing derives from it. */
+  generatedProduct: z7.boolean().default(false)
 });
 var UpdateSpecInputSchema = z7.object({
   frontmatter: SpecFrontmatterSchema,
@@ -2715,6 +2727,11 @@ var BRIEF_IN_MESSAGE_MAX = 2e3;
 var MAX_QUESTION_ROUNDS = 3;
 var QUESTIONS_MARKER = /^\s*QUESTIONS\s*$/mu;
 var NO_MORE_QUESTIONS = "no more questions: write the draft now, and put what you do not know under # Hypoth\xE8ses";
+var UNGENERATED_ASKED = /sans\s+g[ée]n[ée]ration/iu;
+var BLOCK_REQUIRED = "this product is generated (D58): write the `# G\xE9n\xE9ration` block in the closed grammar of the card \u2014 a spec without it would be implemented by nobody; only a brief saying \xAB sans g\xE9n\xE9ration \xBB may omit it";
+function asksUngenerated(brief) {
+  return UNGENERATED_ASKED.test(brief);
+}
 async function readIfPresent(storage, path) {
   return await storage.exists(path) ? storage.readFile(path) : null;
 }
@@ -2814,7 +2831,9 @@ function buildBriefPrompt(context) {
     "- Tu ne cites une d\xE9cision `D<n>` QUE si elle figure dans la liste des d\xE9cisions connues ci-dessous ; sinon n'en cite aucune.",
     "- Tu n'inventes ni table, ni route, ni feature existante : tu t'appuies sur la carte du produit ci-dessous ; une rubrique nouvelle nomme ses propres contrats.",
     "- Tu n'\xE9cris jamais de code ni de design (couleurs, composants) : la spec dit QUOI, jamais COMMENT. Le bloc YAML de `# G\xE9n\xE9ration` n'est pas du code : c'est la d\xE9claration que le g\xE9n\xE9rateur lit.",
-    ...context.grammarCard === null || context.grammarCard === void 0 ? [] : ["- Quand la rubrique apporte des op\xE9rations ou un \xE9cran que le g\xE9n\xE9rateur sait d\xE9river, \xE9cris la section `# G\xE9n\xE9ration` apr\xE8s `# @intent` et ses `# Comportements` dans la grammaire ferm\xE9e (carte ci-dessous) : le brouillon est jug\xE9 par le v\xE9rificateur du g\xE9n\xE9rateur avant d'\xEAtre montr\xE9. Quand elle ne se g\xE9n\xE8re pas, n'\xE9cris pas la section."],
+    ...context.grammarCard === null || context.grammarCard === void 0 ? [] : [
+      context.ungenerated === true ? "- Ce produit est g\xE9n\xE9r\xE9, mais le brief demande une rubrique SANS g\xE9n\xE9ration : n'\xE9cris pas la section `# G\xE9n\xE9ration`, cette spec sera impl\xE9ment\xE9e \xE0 la main." : "- Ce produit est G\xC9N\xC9R\xC9 (D58) : \xE9cris TOUJOURS la section `# G\xE9n\xE9ration` apr\xE8s `# @intent`, et ses `# Comportements` dans la grammaire ferm\xE9e (carte ci-dessous) ; le brouillon est jug\xE9 par le v\xE9rificateur du g\xE9n\xE9rateur avant d'\xEAtre montr\xE9, et un brouillon sans cette section est refus\xE9. Routes, base, tests et \xE9crans se d\xE9rivent du bloc ; ce qui se pense devient un trou typ\xE9."
+    ],
     "- Tu ne proposes jamais `status: validated` ni `implemented` : valider est le geste de l'humain.",
     "- HYPOTH\xC8SES : quand tu tranches un point que le brief ne dit pas (un nombre, un ordre, un p\xE9rim\xE8tre, un mot), ajoute apr\xE8s `# Budget` (et avant `# Design` si elle existe) une section `# Hypoth\xE8ses`, une puce par choix, en fran\xE7ais, courte ; sans hypoth\xE8se, pas de section.",
     '- QUESTIONS : quand la demande ci-dessous t\'y autorise et qu\'une r\xE9ponse du client CHANGERAIT la spec, tu peux, AU LIEU du fichier, r\xE9pondre par une ligne `QUESTIONS` seule puis un objet JSON `{"questions":[{"id":"kebab-case","text":"la question, en fran\xE7ais","options":["r\xE9ponse","r\xE9ponse"]}]}` \u2014 trois \xE0 cinq questions ferm\xE9es, deux \xE0 quatre options chacune, rien d\'autre avant ni apr\xE8s. Une question dont la r\xE9ponse ne changerait pas la spec ne se pose pas : elle devient une hypoth\xE8se.',
@@ -2966,6 +2985,8 @@ async function runBrief(deps, input) {
   const existingSpec = input.specId !== void 0 ? await readIfPresent(deps.storage, `specs/${input.specId}.spec.md`) : null;
   const isAmendment = existingSpec !== null;
   const round = Math.min(Math.max(input.round ?? 1, 1), MAX_QUESTION_ROUNDS + 1);
+  const ungeneratedAsked = asksUngenerated(input.brief);
+  const blockRequired = manifest.generation !== null && !ungeneratedAsked;
   const questionsAllowed = input.skipQuestions !== true && round <= MAX_QUESTION_ROUNDS;
   const prompt = buildBriefPrompt({
     template,
@@ -2979,7 +3000,8 @@ async function runBrief(deps, input) {
     brief: input.brief,
     attachments: input.attachments,
     answers: input.answers,
-    questions: { allowed: questionsAllowed, round }
+    questions: { allowed: questionsAllowed, round },
+    ungenerated: ungeneratedAsked
   });
   const usage = [];
   let refusedQuestions = false;
@@ -3021,7 +3043,8 @@ async function runBrief(deps, input) {
     });
     const generationJudgement = judged.problems.length === 0 && judged.specId !== null ? await judgeGeneration({ content, specPath: `specs/${judged.specId}.spec.md`, generation: manifest.generation, storage: deps.storage, features: manifest.features }) : { problems: [], tally: null };
     judged.problems.push(...generationJudgement.problems);
-    if (generationJudgement.tally !== null) maxAttempts = MAX_ATTEMPTS_GENERATED;
+    if (blockRequired && judged.problems.length === 0 && generationJudgement.tally === null) judged.problems.push(BLOCK_REQUIRED);
+    if (generationJudgement.tally !== null || blockRequired) maxAttempts = MAX_ATTEMPTS_GENERATED;
     deps.log(JSON.stringify({ action: "brief", attempt, specId: judged.specId, problems: judged.problems.length, generated: generationJudgement.tally !== null, ...answer.usage }));
     if (judged.problems.length === 0 && judged.specId !== null) {
       const specId = judged.specId;