@ogygie/generate 0.20.0 → 0.22.0

package/dist/fill/view.d.ts

@@ -0,0 +1,55 @@
+/**
+ * @intent The body of a CUSTOM VIEW as a hole (DECISIONS.md D41, D53 — spec
+ * ogygie-hosted-mode B10): the text mechanics `fill` needs to treat
+ * `views/<Vue>.tsx` like `logic.ts`. A candidate answered by a model is TWO
+ * written parts — the import lines it needs, then the body of the component —
+ * because a view composes patterns the generator cannot foresee; they go
+ * between the `// @hole-imports` and the `// @hole` markers of the file. The
+ * imports are judged against a CLOSED catalogue (react, the i18n macro,
+ * `@ogygie/ui` and its entries, the product's patterns folder, the sibling
+ * views, the feature's own reads), the body against the bans of a logic hole
+ * plus what a view may not do: a data hook, a raw table or form, an inline
+ * style, an arbitrary Tailwind value or a hex colour (the tokens), an
+ * innerHTML. The rules of D24 then apply unchanged: the first candidate green
+ * at the view's example test — and at the static render of the nominal
+ * state — wins, and enters the library under the view's signature. Pure
+ * functions, proven in memory; the command wires the files and the runner.
+ */
+import type { CustomViewPlan, ScreenPlan } from "../emit/screen-plan.js";
+import { type HoleLibraryEntry, type HoleShape } from "../hole-shape.js";
+import { type BodyBan } from "./body.js";
+import type { HoleFillRules } from "./fill.js";
+/** The mark the generator leaves in a view whose body nobody wrote yet. */
+export declare const VIEW_PLACEHOLDER = "data-pattern=\"HoleUnfilled\"";
+/** Whether a view's body is still the generator's placeholder. */
+export declare function isUnfilledViewBody(body: string): boolean;
+export interface ViewCandidateParts {
+    /** The import statements, one per entry, as written. */
+    imports: string[];
+    /** The body lines of the component, two-space indented. */
+    body: string;
+}
+/** A candidate text split into its leading import statements (multi-line ones included) and the body that follows. */
+export declare function splitViewCandidate(text: string): ViewCandidateParts;
+/** The canonical text of a view candidate: its import lines, then its body — what the library stores and `writeBody` splits. */
+export declare function viewCandidateTextOf(parts: ViewCandidateParts): string;
+/** A model's answer reduced to a canonical candidate: the fenced block when there is one, the imports first, the body extracted as a logic body is. */
+export declare function extractViewCandidate(answer: string): string;
+/** The sources a model-written view may import from — the closed catalogue of D53 — besides a type-only import, which is harmless anywhere. */
+export declare function isAllowedViewImportSource(source: string): boolean;
+/** The import statements that leave the catalogue — each named by its source. */
+export declare function forbiddenInViewImports(imports: readonly string[]): string[];
+/** What the body of a view may not carry: a logic body's bans, and what a view in particular never does. */
+export declare const VIEW_BODY_BANS: readonly BodyBan[];
+/** The rules a view candidate breaks — its imports against the catalogue, its body against the bans; empty when it may be tested. */
+export declare function forbiddenInViewCandidate(text: string): string[];
+/** The body currently written for a view, read between its markers — empty when the markers are absent. */
+export declare function currentViewBody(file: string, holeId: string): string;
+/** `views/<Vue>.tsx` with its two written parts replaced — the candidate's imports and body, or the placeholder and no import when the candidate is null — everything else byte for byte. */
+export declare function replaceViewSections(file: string, holeId: string, candidate: string | null): string;
+/** The literal signature of a custom view: its props and its function line, as the file carries them. */
+export declare function customViewSignatureText(view: CustomViewPlan): string;
+/** The shape of a custom view: the normalized types it receives, by position, and the kinds of the writes it may trigger. */
+export declare function customViewShapeOf(view: CustomViewPlan): HoleShape;
+/** The rules `fillHole` applies to the body of a custom view (D53): placeholder, catalogue and bans, library by signature then by shape, entry under the view's signature. */
+export declare function customViewRules(view: CustomViewPlan, plan: ScreenPlan, library: readonly HoleLibraryEntry[]): HoleFillRules;

package/dist/hole-shape.d.ts

@@ -10,6 +10,7 @@ export declare const HoleShapeSchema: z.ZodObject<{
         derive: "derive";
         project: "project";
         view: "view";
+        "custom-view": "custom-view";
     }>;
     reads: z.ZodArray<z.ZodString>;
     columns: z.ZodArray<z.ZodString>;
@@ -47,6 +48,7 @@ export declare const HoleLibraryEntrySchema: z.ZodObject<{
             derive: "derive";
             project: "project";
             view: "view";
+            "custom-view": "custom-view";
         }>;
         reads: z.ZodArray<z.ZodString>;
         columns: z.ZodArray<z.ZodString>;

package/dist/index.d.ts

@@ -38,8 +38,10 @@ export { applyGeneratedContracts } from "./emit/spec-contracts.js";
 export { boundScreenBehaviorsOf, type LoadedConsumedForVerify } from "./verify-generation.js";
 export { FrontTargetSchema, type FrontTarget } from "./manifest-generation.schema.js";
 export { DERIVED_READ_GUARD, consumableOperationsOf, derivedReadsOf, readIdOfInputSchema } from "./consumed-feature.js";
-export { fillHole, fillFeature, DEFAULT_FILL_OPTIONS, type Candidate, type FillDeps, type FillOptions, type HoleFillInput, type HoleFillResult, type FeatureFillSummary } from "./fill/fill.js";
-export { replaceHoleBody, extractCandidateBody, forbiddenInBody, isTodoBody, BODY_BANS } from "./fill/body.js";
-export { createModelDrawer, DEFAULT_FILL_MODELS, HOLE_SYSTEM_PROMPT, type FillModels, type ModelDrawer } from "./fill/model-draw.js";
-export { recordLibraryEntry, scrubbedEnvironment, parseFillFlags } from "./cli/fill-command.js";
+export { fillHole, fillFeature, logicHoleRules, DEFAULT_FILL_OPTIONS, type Candidate, type FillDeps, type FillOptions, type HoleFillInput, type HoleFillResult, type HoleFillRules, type FeatureFillSummary } from "./fill/fill.js";
+export { replaceHoleBody, extractCandidateBody, forbiddenInBody, isTodoBody, BODY_BANS, type BodyBan } from "./fill/body.js";
+export { createModelDrawer, DEFAULT_FILL_MODELS, HOLE_SYSTEM_PROMPT, VIEW_SYSTEM_PROMPT, VIEW_DRAWER_OPTIONS, type FillModels, type ModelDrawer, type ModelDrawerOptions } from "./fill/model-draw.js";
+export { VIEW_PLACEHOLDER, VIEW_BODY_BANS, isUnfilledViewBody, splitViewCandidate, viewCandidateTextOf, extractViewCandidate, isAllowedViewImportSource, forbiddenInViewImports, forbiddenInViewCandidate, currentViewBody, replaceViewSections, customViewSignatureText, customViewShapeOf, customViewRules, type ViewCandidateParts, } from "./fill/view.js";
+export { recordLibraryEntry, scrubbedEnvironment, parseFillFlags, viewExampleTestName, NOMINAL_PREVIEW_TEST_NAME, FILL_NEEDS_OPERATOR_EXIT } from "./cli/fill-command.js";
+export { screenPlanOf, type ScreenPlanLookup } from "./cli/generate-screen-command.js";
 export { generationGrammarCard } from "./prompt-card.js";

package/dist/index.js

@@ -11,6 +11,7 @@ import {
   DEFAULT_FILL_OPTIONS,
   DERIVED_READ_GUARD,
   EMPTY_GUARD_REGISTRY,
+  FILL_NEEDS_OPERATOR_EXIT,
   FORM_RENDERS,
   FORM_STATES,
   FormViewSchema,
@@ -44,6 +45,7 @@ import {
   ModuleExportSchema,
   ModuleTypeSchema,
   MotifsSchema,
+  NOMINAL_PREVIEW_TEST_NAME,
   OPENING_KEYWORD,
   OperationSchema,
   READ_RENDERS,
@@ -56,6 +58,10 @@ import {
   ScreenHoleSchema,
   TableDeclarationSchema,
   TableRefSchema,
+  VIEW_BODY_BANS,
+  VIEW_DRAWER_OPTIONS,
+  VIEW_PLACEHOLDER,
+  VIEW_SYSTEM_PROMPT,
   ViewSchema,
   WRITE_OPERATION_KINDS,
   acceptExamplesOf,
@@ -80,6 +86,10 @@ import {
   consumerOf,
   contractViolationCodeOf,
   createModelDrawer,
+  currentViewBody,
+  customViewRules,
+  customViewShapeOf,
+  customViewSignatureText,
   deepOverlay,
   deniedCodeOf,
   derivedReadsOf,
@@ -92,10 +102,13 @@ import {
   extractCandidateBody,
   extractGenerationSection,
   extractSpecContracts,
+  extractViewCandidate,
   fieldNamesOf,
   fillFeature,
   fillHole,
   forbiddenInBody,
+  forbiddenInViewCandidate,
+  forbiddenInViewImports,
   generateFeature,
   generateScreen,
   hasSameFieldsAs,
@@ -104,16 +117,19 @@ import {
   intentForManifest,
   intentOfSpec,
   invalidSampleOf,
+  isAllowedViewImportSource,
   isAsyncHole,
   isHttpOperation,
   isKeyedOperation,
   isLiteralValue,
   isTodoBody,
+  isUnfilledViewBody,
   isWriteOperation,
   labelOf,
   libraryEntryOf,
   libraryFileNameOf,
   loadHolesLibrary,
+  logicHoleRules,
   manifestEntryDrift,
   manifestEntryOf,
   migrationFileNameFor,
@@ -143,11 +159,13 @@ import {
   recordLibraryEntry,
   refusalsOf,
   replaceHoleBody,
+  replaceViewSections,
   routeDescriptionOf,
   sampleOf,
   screenBodyDefault,
   screenBodyPath,
   screenCaseKey,
+  screenPlanOf,
   screenVocabularyOf,
   scrubbedEnvironment,
   serializeManifest,
@@ -157,6 +175,7 @@ import {
   signatureTextOf,
   specGeneratedStart,
   splitTopLevelSections,
+  splitViewCandidate,
   tableNameOf,
   tableRefOf,
   tablesOf,
@@ -165,8 +184,10 @@ import {
   validationOf,
   verifyGeneration,
   viewBodiesOf,
+  viewCandidateTextOf,
+  viewExampleTestName,
   vocabularyOf
-} from "./chunk-WVFHAPGC.js";
+} from "./chunk-ASXSTGY5.js";
 
 // src/prompt-card.ts
 var phrase = (caseKey) => caseKey.replace(/^with:/u, "avec ").replace(/^without:/u, "sans ");
@@ -243,6 +264,7 @@ export {
   DEFAULT_FILL_OPTIONS,
   DERIVED_READ_GUARD,
   EMPTY_GUARD_REGISTRY,
+  FILL_NEEDS_OPERATOR_EXIT,
   FORM_RENDERS,
   FORM_STATES,
   FormViewSchema,
@@ -275,6 +297,7 @@ export {
   ModuleExportSchema,
   ModuleTypeSchema,
   MotifsSchema,
+  NOMINAL_PREVIEW_TEST_NAME,
   OPENING_KEYWORD,
   OperationSchema,
   READ_RENDERS,
@@ -287,6 +310,10 @@ export {
   ScreenHoleSchema,
   TableDeclarationSchema,
   TableRefSchema,
+  VIEW_BODY_BANS,
+  VIEW_DRAWER_OPTIONS,
+  VIEW_PLACEHOLDER,
+  VIEW_SYSTEM_PROMPT,
   ViewSchema,
   WRITE_OPERATION_KINDS,
   acceptExamplesOf,
@@ -311,6 +338,10 @@ export {
   consumerOf,
   contractViolationCodeOf,
   createModelDrawer,
+  currentViewBody,
+  customViewRules,
+  customViewShapeOf,
+  customViewSignatureText,
   deepOverlay,
   deniedCodeOf,
   derivedReadsOf,
@@ -323,10 +354,13 @@ export {
   extractCandidateBody,
   extractGenerationSection,
   extractSpecContracts,
+  extractViewCandidate,
   fieldNamesOf,
   fillFeature,
   fillHole,
   forbiddenInBody,
+  forbiddenInViewCandidate,
+  forbiddenInViewImports,
   generateFeature,
   generateScreen,
   generationGrammarCard,
@@ -336,16 +370,19 @@ export {
   intentForManifest,
   intentOfSpec,
   invalidSampleOf,
+  isAllowedViewImportSource,
   isAsyncHole,
   isHttpOperation,
   isKeyedOperation,
   isLiteralValue,
   isTodoBody,
+  isUnfilledViewBody,
   isWriteOperation,
   labelOf,
   libraryEntryOf,
   libraryFileNameOf,
   loadHolesLibrary,
+  logicHoleRules,
   manifestEntryDrift,
   manifestEntryOf,
   migrationFileNameFor,
@@ -375,11 +412,13 @@ export {
   recordLibraryEntry,
   refusalsOf,
   replaceHoleBody,
+  replaceViewSections,
   routeDescriptionOf,
   sampleOf,
   screenBodyDefault,
   screenBodyPath,
   screenCaseKey,
+  screenPlanOf,
   screenVocabularyOf,
   scrubbedEnvironment,
   serializeManifest,
@@ -389,6 +428,7 @@ export {
   signatureTextOf,
   specGeneratedStart,
   splitTopLevelSections,
+  splitViewCandidate,
   tableNameOf,
   tableRefOf,
   tablesOf,
@@ -397,5 +437,7 @@ export {
   validationOf,
   verifyGeneration,
   viewBodiesOf,
+  viewCandidateTextOf,
+  viewExampleTestName,
   vocabularyOf
 };

package/holes-library/README.md

@@ -10,7 +10,7 @@ porte sous `// @hole <id>`.
   "hole": "<id du trou>",
   "signature": "<signature générée>",
   "signatureHash": "<16 hex — sha256 du texte de la signature>",
-  "shape": { "kind": "validate | transform", "reads": ["<type normalisé par position>"], "columns": ["…"], "codeRole": "operation-refusal | motif-rejection", "returns": "void | rows:<n>" },
+  "shape": { "kind": "validate | transform | derive | project | view | custom-view", "reads": ["<type normalisé par position>"], "columns": ["…"], "codeRole": "operation-refusal | motif-rejection | none", "returns": "void | rows:<n> | <type dérivé> | output | view:<forme> | jsx" },
   "shapeHash": "<16 hex — sha256 du JSON de la forme>",
   "errorCode": "<code que le trou rend>",
   "bodyTemplate": "<corps en gabarit : {{read:n}}, {{column:n}}, {{code}}, {{rowType}} à la place des noms de la feature>",
@@ -31,3 +31,9 @@ Lot 2 : les entrées sont écrites par `pnpm ogygie:holes-library <feature>`,
 qui enregistre les corps qu'un humain a remplis (chemin `human`, `model: null`).
 La recherche par forme au remplissage, le tirage-vérification et l'escalade
 sont le lot 2 bis.
+
+Depuis la 0.21.0 (D53), le corps d'une vue `custom` d'un écran entre ici
+aussi : `kind: "custom-view"`, `reads` les types normalisés des champs reçus,
+`columns` les genres des écritures que la vue peut déclencher, `returns: "jsx"`,
+la signature étant les props et la ligne de fonction de `views/<Vue>.tsx` ; le
+`bodyTemplate` porte les lignes d'import puis le corps, sans gabarit.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ogygie/generate",
-  "version": "0.20.0",
+  "version": "0.22.0",
   "description": "Ogygie generator: reads the `# Génération` block of a spec and its schemas.ts, derives everything deterministic without a model (routes, pipeline, database, factories, tests, screens, previews), fills the typed holes of logic.ts by library, draw and escalation, and draws the first schemas.ts of a new feature — judged by the gates. Sixth package of the lockstep (D55).",
   "license": "MIT",
   "type": "module",
@@ -29,7 +29,7 @@
     }
   },
   "dependencies": {
-    "@ogygie/core": "0.20.0",
+    "@ogygie/core": "0.22.0",
     "tsx": "^4.20.0",
     "yaml": "^2.9.0",
     "zod": "^4.0.0"
@@ -38,7 +38,7 @@
     "@lingui/babel-plugin-lingui-macro": "^5.9.5",
     "@lingui/core": "^5.9.5",
     "@lingui/react": "^5.9.5",
-    "@ogygie/ui": "0.20.0",
+    "@ogygie/ui": "0.22.0",
     "@starter/api": "0.1.0",
     "@tanstack/react-query": "^5.102.2",
     "@tanstack/react-router": "^1.170.32",
@@ -53,7 +53,7 @@
     "react-dom": "^19.2.8",
     "typescript": "^5.8.0",
     "vite": "^7.3.6",
-    "vitest": "^3.2.0"
+    "vitest": "^4.1.12"
   },
   "scripts": {
     "build": "tsx scripts/build.ts",