@pipelex/mthds-form 0.32.0 → 0.34.0

package/dist/core/gate.js

@@ -1,6 +1,6 @@
-export { apiInputsFromSchemaData, buildRunInputsSchema, gateRunInputs, prepareRunInputs, validateRunInputs } from '../chunk-IBBAJXIO.js';
+export { apiInputsFromSchemaData, buildRunInputsSchema, gateRunInputs, prepareRunInputs, validateRunInputs } from '../chunk-XIWBKV7T.js';
 import '../chunk-E6BIXJ6C.js';
-import '../chunk-XO5OENNF.js';
+import '../chunk-TF4RTKLH.js';
 import '../chunk-Y2ND6W4W.js';
 import '../chunk-LBFZXYCY.js';
 import '../chunk-OD3VYXUY.js';

package/dist/core/index.js

@@ -1,9 +1,9 @@
 export { planFileSave, planStuffSave } from '../chunk-4VAO6BDE.js';
-export { closeOptionalStructures, openOptionalStructures, seedInputs, seedObjectValue } from '../chunk-VH5CDQDR.js';
+export { closeOptionalStructures, openOptionalStructures, seedInputs, seedObjectValue } from '../chunk-AURDKAIC.js';
 export { addChosenFiles, chosenFilesAdded, roomForChosenFiles, sourceFileValue } from '../chunk-L23R3JNQ.js';
 export { collectStuffFiles } from '../chunk-56WECFBD.js';
 export { describeValidationError, displayValue, valueAtProperty } from '../chunk-RPA7DNSK.js';
-export { apiInputsFromRunValues, fieldsForContract, inputDataFromWorkingMemory, outputsFromPipeOutput, rjsfDataFromRunValues, runValuesFromInputs, runValuesFromStore, sameRunValues, setValueAtPath, storeInputDataFromRunValues } from '../chunk-ZX52CQJ4.js';
+export { apiInputsFromRunValues, fieldsForContract, inputDataFromWorkingMemory, outputsFromPipeOutput, rjsfDataFromRunValues, runValuesFromInputs, runValuesFromStore, sameRunValues, setValueAtPath, storeInputDataFromRunValues } from '../chunk-CFBK7NO7.js';
 export { enumValueLabeler, humanizeEnumValue, humanizeFieldName } from '../chunk-GHVVULHY.js';
 export { narrowFileFormats } from '../chunk-CAKQ5VFT.js';
 export { NATIVE_CHOICE_CONCEPT_REF, NATIVE_COMPOSITE_CONCEPT_REF, NATIVE_DATE_CONCEPT_REF, NATIVE_HTML_CONCEPT_REF, NATIVE_PAGE_CONCEPT_REF, NATIVE_RATING_CONCEPT_REF, NATIVE_SEARCH_RESULT_CONCEPT_REF, NATIVE_YES_NO_CONCEPT_REF, TYPED_SCALAR_MARKERS, citedSource, formatDateContent, hasTypedScalarMarkers, isNativeCompositeNode, isNativeDateNode, isNativeHtmlNode, isNativePageNode, isNativeSearchResultNode, isViewableUrl, nativeVerdictOf, readChoiceContent, readCompositeContent, readDataUrl, readDateContent, readDocumentContent, readHtmlContent, readImageContent, readPageContent, readRatingContent, readSearchResultContent, readYesNoContent, splitCitations, viewableUrl } from '../chunk-QQK6Y55E.js';
@@ -11,9 +11,9 @@ export { getPipeOutputForm } from '../chunk-JIGRWJTV.js';
 export { buildResultField, buildRunFields, getPipeInputForm } from '../chunk-ZB4RYUKV.js';
 export { conceptCategory } from '../chunk-FABY3DEY.js';
 export { DOCUMENT_FORMATS, IMAGE_FORMATS, acceptLabel, acceptMap, formatsForKind, isAcceptedFile } from '../chunk-XCO6GTEC.js';
-export { apiInputsFromSchemaData, buildRunInputsSchema, gateRunInputs, prepareRunInputs, validateRunInputs } from '../chunk-IBBAJXIO.js';
+export { apiInputsFromSchemaData, buildRunInputsSchema, gateRunInputs, prepareRunInputs, validateRunInputs } from '../chunk-XIWBKV7T.js';
 export { deflateAllInputs, deflateInput, healStringWrappers, inflateAllInputs, inflateInput, pruneEmptyOptionals, resolveConceptCode } from '../chunk-E6BIXJ6C.js';
-export { anyOptionalStructureOpen, computeReadiness, fieldFilled, foldsBehindOptionalDisclosure, isFilled, isFoldedOptional, isOptionalStructure, mustBeFilled, optionalStructureOpen, shownAsOptional } from '../chunk-XO5OENNF.js';
+export { anyOptionalStructureOpen, computeReadiness, fieldFilled, foldsBehindOptionalDisclosure, isFilled, isFoldedOptional, isOptionalStructure, mustBeFilled, optionalStructureOpen, shownAsOptional } from '../chunk-TF4RTKLH.js';
 import '../chunk-Y2ND6W4W.js';
 export { normalizeSchemaForRjsf, prepareSchemaForRjsf } from '../chunk-LBFZXYCY.js';
 export { collapseNullable, collectSchemaDefs, derefSchema, flattenAnyOf, hoistDefsToRoot, resolveSchemaIndirection, schemaTypeOf } from '../chunk-OD3VYXUY.js';

package/dist/core/readiness.d.ts

@@ -88,6 +88,39 @@ declare function mustBeFilled(field: RunField): boolean;
  * things stand between me and Run", which is the number a host is displaying.
  */
 declare function computeReadiness(fields: RunField[], values: Record<string, unknown>): Readiness;
+/**
+ * The top-level fields that stand between the current values and a run, as
+ * fields rather than names, in the descriptor's order: the inputs
+ * `computeReadiness` counts as missing. A surface that names them in its own
+ * words - a humanised label, a run button's description - reads them here, so
+ * it names exactly what the count says.
+ */
+declare function missingFields(fields: readonly RunField[], values: Record<string, unknown> | undefined): RunField[];
+/**
+ * Why the run gate refuses a field, as the structure or the form holding it
+ * holds it: a field that must be filled (`mustFill`) and is not is
+ * `required`, and a field that need not be but holds something short of what
+ * its concept demands is `incomplete`. This is `fieldFilled`'s own rule for a
+ * structure's members, so a structure the gate refuses has at least one
+ * member it refuses, unless it is a structure that must be touched and holds
+ * nothing at all.
+ */
+declare function gateRefusal(field: RunField, value: unknown, mustFill: boolean): 'required' | 'incomplete' | undefined;
+/**
+ * The fields a person fills to let the run go, at the depth a form draws
+ * them: each missing input (`missingFields`), and in place of a structure the
+ * members it refuses (`gateRefusal`), at every depth, which is where a form
+ * marks them and where a layout that spreads a structure's members over the
+ * page puts them. A structure that refuses no member of its own - one that
+ * must be touched and holds nothing, with no required member - is itself the
+ * field to fill. A list is one field: its rows are the person's own.
+ */
+declare function waitingFields(fields: readonly RunField[], values: Record<string, unknown> | undefined): WaitingField[];
+/** A field the run waits for, and the names that lead to it from the inputs, its own last. */
+interface WaitingField {
+    field: RunField;
+    path: readonly string[];
+}
 /**
  * Whether a person should see this field as optional: not required AND carrying no authored
  * default. The standard marks a defaulted field `required: false` (it can never be missing), but it
@@ -142,4 +175,4 @@ declare function isFoldedOptional(field: RunField, value: unknown): boolean;
 /** Whether any optional structure among `fields` is open in `values`. */
 declare function anyOptionalStructureOpen(fields: readonly RunField[], values: Record<string, unknown> | undefined): boolean;
 
-export { type Readiness, anyOptionalStructureOpen, computeReadiness, fieldFilled, foldsBehindOptionalDisclosure, isFilled, isFoldedOptional, isOptionalStructure, mustBeFilled, optionalStructureOpen, shownAsOptional };
+export { type Readiness, type WaitingField, anyOptionalStructureOpen, computeReadiness, fieldFilled, foldsBehindOptionalDisclosure, gateRefusal, isFilled, isFoldedOptional, isOptionalStructure, missingFields, mustBeFilled, optionalStructureOpen, shownAsOptional, waitingFields };

package/dist/core/readiness.js

@@ -1,4 +1,4 @@
-export { anyOptionalStructureOpen, computeReadiness, fieldFilled, foldsBehindOptionalDisclosure, isFilled, isFoldedOptional, isOptionalStructure, mustBeFilled, optionalStructureOpen, shownAsOptional } from '../chunk-XO5OENNF.js';
+export { anyOptionalStructureOpen, computeReadiness, fieldFilled, foldsBehindOptionalDisclosure, gateRefusal, isFilled, isFoldedOptional, isOptionalStructure, missingFields, mustBeFilled, optionalStructureOpen, shownAsOptional, waitingFields } from '../chunk-TF4RTKLH.js';
 import '../chunk-V3OV2XQT.js';
 //# sourceMappingURL=readiness.js.map
 //# sourceMappingURL=readiness.js.map

package/dist/core/seed.js

@@ -1,5 +1,5 @@
-export { closeOptionalStructures, openOptionalStructures, seedInputs, seedObjectValue } from '../chunk-VH5CDQDR.js';
-import '../chunk-XO5OENNF.js';
+export { closeOptionalStructures, openOptionalStructures, seedInputs, seedObjectValue } from '../chunk-AURDKAIC.js';
+import '../chunk-TF4RTKLH.js';
 import '../chunk-V3OV2XQT.js';
 //# sourceMappingURL=seed.js.map
 //# sourceMappingURL=seed.js.map

package/dist/core/values.js

@@ -1,8 +1,8 @@
-export { apiInputsFromRunValues, fieldsForContract, inputDataFromWorkingMemory, outputsFromPipeOutput, rjsfDataFromRunValues, runValuesFromInputs, runValuesFromStore, sameRunValues, setValueAtPath, storeInputDataFromRunValues } from '../chunk-ZX52CQJ4.js';
+export { apiInputsFromRunValues, fieldsForContract, inputDataFromWorkingMemory, outputsFromPipeOutput, rjsfDataFromRunValues, runValuesFromInputs, runValuesFromStore, sameRunValues, setValueAtPath, storeInputDataFromRunValues } from '../chunk-CFBK7NO7.js';
 import '../chunk-ZB4RYUKV.js';
 import '../chunk-XCO6GTEC.js';
 import '../chunk-E6BIXJ6C.js';
-import '../chunk-XO5OENNF.js';
+import '../chunk-TF4RTKLH.js';
 import '../chunk-OD3VYXUY.js';
 import '../chunk-WYH56SOZ.js';
 import '../chunk-V3OV2XQT.js';

package/dist/{field-renderer-Dz03dpig.d.ts → field-renderer-BYN6YrU-.d.ts}

@@ -1,4 +1,4 @@
-import * as react from 'react';
+import * as React from 'react';
 import { ReactNode, RefObject, Ref } from 'react';
 import { FileRunField, RunField } from './core/descriptor.js';
 import { FileFormat } from './core/file-formats.js';
@@ -51,7 +51,7 @@ interface FilePickerEntryProps {
  * "Choose from your team's files": a full-width row with a folder icon, under
  * the field's own controls.
  */
-declare function FilePickerEntry({ onOpen, label, disabled, ref, id }: FilePickerEntryProps): react.JSX.Element;
+declare function FilePickerEntry({ onOpen, label, disabled, ref, id }: FilePickerEntryProps): React.JSX.Element;
 interface FilePickerProps {
     /** The host's list, and how its rows draw. */
     source: FilePickerSource;
@@ -106,7 +106,7 @@ interface FilePickerProps {
  * the field as it was: only Use writes. The sheet's state lives in its body,
  * which mounts when it opens, so it always opens on a fresh choice.
  */
-declare function FilePicker({ open, onOpenChange, returnFocusTo, onCloseAutoFocus, disabled, ...props }: FilePickerProps): react.JSX.Element;
+declare function FilePicker({ open, onOpenChange, returnFocusTo, onCloseAutoFocus, disabled, ...props }: FilePickerProps): React.JSX.Element;
 
 /** The serializable value of a file field. URL is what the runner sends. */
 interface FileValue {
@@ -167,9 +167,9 @@ interface FileFieldProps {
     disabled?: boolean;
 }
 /** Document variant: a file shown as a PDF preview (or chip for other docs). */
-declare function DocumentField(props: FileFieldProps): react.JSX.Element;
+declare function DocumentField(props: FileFieldProps): React.JSX.Element;
 /** Image variant: a file shown as a real image preview. */
-declare function ImageField(props: FileFieldProps): react.JSX.Element;
+declare function ImageField(props: FileFieldProps): React.JSX.Element;
 
 /**
  * The moves a host makes to a list's rows, and what a move does to an id.
@@ -317,6 +317,6 @@ interface FieldRendererProps {
  * Object and list fields recurse back through here, so the whole form is one
  * data-driven tree with no per-type branching anywhere else.
  */
-declare function FieldRenderer({ field, value, onChange, id, error, env }: FieldRendererProps): react.JSX.Element;
+declare function FieldRenderer({ field, value, onChange, id, error, env }: FieldRendererProps): React.JSX.Element;
 
 export { DocumentField as D, type FieldEnv as F, ImageField as I, type RowMove as R, type UploadedFile as U, type FilePickerSource as a, FieldRenderer as b, type FieldRendererProps as c, FilePicker as d, FilePickerEntry as e, type FilePickerEntryProps as f, type FilePickerProps as g, type FileValue as h };

package/dist/generative/headless/index.d.ts

@@ -17,7 +17,7 @@ import '../../core/file-formats.js';
  * centred column whose host draws the band above it and the action row's
  * mechanics, and the result after one, under the host's bar restating the
  * request. The two moments carry their own components, found by measuring the
- * designer against hand-drawn screens of three methods: the composer's frame
+ * designer against hand-drawn screens of several methods: the composer's frame
  * (`Composer`, with the page's h1, the panel and the host's action row) and a
  * group of inputs inside it, and a result's header, a proportion bar, colour
  * swatches, a picture, a fact, a labelled detail, a date in words and a list
@@ -1072,11 +1072,17 @@ type GenerativeSpec = typeof catalog._specType;
  * prose, in `methods/layout-design.mthds`.
  */
 declare const COMPONENT_NAMES: readonly string[];
-/** The component names a layout written for `frame` may use, in the order the designer method lists them. */
+/**
+ * The component names a layout written for `frame` may use, in the order the
+ * designer method lists them. Frozen, like the catalog `frameCatalog` builds
+ * over them: both are shared by every check, so a caller that edited one
+ * would change what every later check accepts.
+ */
 declare function componentNamesFor(frame: Frame): readonly string[];
 /**
  * The catalog a layout written for `frame` is validated against: the same
- * definitions and renderings as `catalog`, held to the frame's vocabulary. A
+ * definitions and renderings as `catalog`, held to the frame's vocabulary.
+ * Built once per frame and shared, so it is frozen with its vocabulary. A
  * composer that names an `AppBar` is refused here as an unknown component,
  * though the entry's registry could render one, because the host's frame
  * already draws what it stands for.
@@ -1272,9 +1278,10 @@ declare function designerCatalog({ frame }?: DesignerCatalogOptions): DesignerCa
  * the catalog as data (`designerCatalog({ frame })`). Both are what a run was
  * actually given, so both are hashed - a reworded rule and a renamed prop each
  * move the pin, exactly as they did when the prompt was rendered here. A run
- * is given the catalog of one frame, and the hash covers all three in a fixed
- * order: one pin a host compares every stored layout with, whichever frame it
- * was written for, and which any frame's vocabulary moving moves. The frame a
+ * is given the catalog of one frame, and the hash covers the method's text
+ * first and then every frame's catalog, in a fixed order: one pin a host
+ * compares every stored layout with, whichever frame it was written for, and
+ * which a reworded rule or any frame's vocabulary moving moves. The frame a
  * layout was written for is its own provenance, beside the hash. The brief is
  * not hashed: it is the per-method half, recorded with each layout. The model
  * pin in the method file moves it too, since the file is hashed whole; a
@@ -1394,23 +1401,53 @@ interface LayoutCheck {
     frame: Frame;
     descriptor: LayoutDescriptor;
 }
+/**
+ * The checks' answer on a layout: every problem they found, one a line, and
+ * whether they themselves failed on it.
+ */
+interface LayoutVerdict {
+    /** Every problem, one a line, in the words the repair pass reads; empty means the layout may render. */
+    problems: string[];
+    /**
+     * Whether no repair of the layout can help: a check threw on a layout of
+     * the right shape, a defect in the checks, or the frame or the descriptor
+     * the layout is checked against is not one, a defect in what the host
+     * handed over. Each
+     * is stated among the problems in a line of its own. The layout is refused
+     * all the same - the host keeps the plain form - but a producer stops here
+     * instead of handing the lines to the repair pass, which can change the
+     * layout and neither the checks nor the descriptor.
+     */
+    checksFailed: boolean;
+}
 /**
  * Everything the host's two checks find wrong with a layout written for
- * `frame`, one problem a line, in the words the repair pass reads: first the
+ * `frame`, and whether the checks themselves failed on it: first the
  * catalog's verdict against the frame's own vocabulary (`frameCatalog`), then
- * whether it fits the descriptor (`layoutProblems`). Empty means the layout
- * may render. A producer feeds the lines, joined, to `repair_layout` as its
- * `problems`; a host deciding whether a stored layout renders needs only
- * whether the list is empty.
+ * whether it fits the descriptor (`layoutProblems`). Empty problems mean the
+ * layout may render. A producer feeds the lines, joined, to `repair_layout`
+ * as its `problems`, unless `checksFailed` says no repair can help; a host
+ * deciding whether a stored layout renders needs only whether the list is
+ * empty, which `layoutCheckProblems` answers alone.
  *
  * It never throws. Its subject is whatever a model wrote, or a layout and a
  * frame a host stored and read back, and a throw is the one answer a host
  * cannot act on: it arrives instead of the problem that would have sent the
- * page to its fallback. So a frame this package does not draw, a missing
- * descriptor, and anything that is not a spec at all are each a problem line,
- * and any throw left in a walk below is caught here and answered as one.
+ * page to its fallback. So a frame this package does not draw, a missing or
+ * misshapen descriptor, and anything not shaped like a spec are each a
+ * problem line, and a throw left in a walk below on a layout of the right
+ * shape is the checks' own failure, a line saying so. The frame and the
+ * descriptor are the host's, and a throw is the checks', so each of those
+ * sets `checksFailed` too: no repair of the layout can mend it.
+ * The shape is checked once, before either check walks the layout.
+ */
+declare function layoutCheck(spec: Spec, { frame, descriptor }: LayoutCheck): LayoutVerdict;
+/**
+ * Everything the host's two checks find wrong with a layout written for
+ * `frame`, one problem a line: `layoutCheck`'s problems alone, for a host
+ * that needs only whether a stored layout renders. Never throws.
  */
-declare function layoutCheckProblems(spec: Spec, { frame, descriptor }: LayoutCheck): string[];
+declare function layoutCheckProblems(spec: Spec, check: LayoutCheck): string[];
 
 /**
  * The brief: the model's view of the descriptor, as DATA.
@@ -1699,4 +1736,4 @@ declare function fixtureLabel(fixture: Provenance & Pick<SpecFixture, 'repairs'>
 /** The fixture a story asks for, or a loud failure: a story must never render a page it did not name. */
 declare function findFixture(fixtures: readonly SpecFixture[], pipeRef: string, id: string): SpecFixture;
 
-export { type BriefSubject, COMPONENT_NAMES, COMPONENT_RENDERINGS, COMPOSER_COMPONENTS, CUSTOM_COMPONENTS, type ComponentRendering, type CriticLoop, DESIGNER_BRIEF_CONCEPT, DESIGNER_CATALOG_CONCEPT, type DesignerAction, type DesignerBrief, type DesignerCatalog, type DesignerCatalogOptions, type DesignerComponent, type DesignerPathEntry, type DesignerStyle, FRAMES, FRAME_COMPONENTS, type Frame, type GenerativeSpec, ICON_NAMES, INPUTS_ROOT, type InputBriefOptions, type LayoutCheck, type LayoutDescriptor, METRIC_FORMATS, PICKED_SHADCN, PRODUCT_COMPONENTS, PROMPT_HASH, type Producer, type ProductComponentName, REPAIR_ATTEMPTS, RESULT_COMPONENTS, RESULT_ROOT, type ResultBriefOptions, type SpecFixture, type SpecProblem, type SpecVerdict, type ValidationCatalog, absoluteHatchPath, catalog, componentNamesFor, designerCatalog, fieldAtSegments, findFixture, fixtureId, fixtureLabel, formatProblems, frameCatalog, inputBrief, inputFieldAtPath, isDelegatedInput, isDelegatedResult, joinPath, jsonlLines, layoutCheckProblems, layoutFits, layoutProblems, payloadToState, promptHashSubject, repeatBasePathOf, resultBrief, resultFieldAtPath, seedLine, segmentsUnder, specFromJsonl, specToJsonl, validateAgainstCatalog };
+export { type BriefSubject, COMPONENT_NAMES, COMPONENT_RENDERINGS, COMPOSER_COMPONENTS, CUSTOM_COMPONENTS, type ComponentRendering, type CriticLoop, DESIGNER_BRIEF_CONCEPT, DESIGNER_CATALOG_CONCEPT, type DesignerAction, type DesignerBrief, type DesignerCatalog, type DesignerCatalogOptions, type DesignerComponent, type DesignerPathEntry, type DesignerStyle, FRAMES, FRAME_COMPONENTS, type Frame, type GenerativeSpec, ICON_NAMES, INPUTS_ROOT, type InputBriefOptions, type LayoutCheck, type LayoutDescriptor, type LayoutVerdict, METRIC_FORMATS, PICKED_SHADCN, PRODUCT_COMPONENTS, PROMPT_HASH, type Producer, type ProductComponentName, REPAIR_ATTEMPTS, RESULT_COMPONENTS, RESULT_ROOT, type ResultBriefOptions, type SpecFixture, type SpecProblem, type SpecVerdict, type ValidationCatalog, absoluteHatchPath, catalog, componentNamesFor, designerCatalog, fieldAtSegments, findFixture, fixtureId, fixtureLabel, formatProblems, frameCatalog, inputBrief, inputFieldAtPath, isDelegatedInput, isDelegatedResult, joinPath, jsonlLines, layoutCheck, layoutCheckProblems, layoutFits, layoutProblems, payloadToState, promptHashSubject, repeatBasePathOf, resultBrief, resultFieldAtPath, seedLine, segmentsUnder, specFromJsonl, specToJsonl, validateAgainstCatalog };

package/dist/generative/headless/index.js

@@ -1,6 +1,7 @@
-export { COMPONENT_NAMES, COMPONENT_RENDERINGS, COMPOSER_COMPONENTS, CUSTOM_COMPONENTS, DESIGNER_BRIEF_CONCEPT, DESIGNER_CATALOG_CONCEPT, FRAMES, FRAME_COMPONENTS, ICON_NAMES, INPUTS_ROOT, METRIC_FORMATS, PICKED_SHADCN, PRODUCT_COMPONENTS, PROMPT_HASH, REPAIR_ATTEMPTS, RESULT_COMPONENTS, RESULT_ROOT, absoluteHatchPath, catalog, componentNamesFor, designerCatalog, fieldAtSegments, findFixture, fixtureId, fixtureLabel, formatProblems, frameCatalog, inputBrief, inputFieldAtPath, isDelegatedInput, isDelegatedResult, joinPath, jsonlLines, layoutCheckProblems, layoutFits, layoutProblems, payloadToState, promptHashSubject, repeatBasePathOf, resultBrief, resultFieldAtPath, seedLine, segmentsUnder, specFromJsonl, specToJsonl, validateAgainstCatalog } from '../../chunk-VBXFGUCG.js';
+export { COMPONENT_NAMES, COMPONENT_RENDERINGS, COMPOSER_COMPONENTS, CUSTOM_COMPONENTS, DESIGNER_BRIEF_CONCEPT, DESIGNER_CATALOG_CONCEPT, FRAMES, FRAME_COMPONENTS, ICON_NAMES, INPUTS_ROOT, METRIC_FORMATS, PICKED_SHADCN, PRODUCT_COMPONENTS, PROMPT_HASH, REPAIR_ATTEMPTS, RESULT_COMPONENTS, RESULT_ROOT, absoluteHatchPath, catalog, componentNamesFor, designerCatalog, fieldAtSegments, findFixture, fixtureId, fixtureLabel, formatProblems, frameCatalog, inputBrief, inputFieldAtPath, isDelegatedInput, isDelegatedResult, joinPath, jsonlLines, layoutCheck, layoutCheckProblems, layoutFits, layoutProblems, payloadToState, promptHashSubject, repeatBasePathOf, resultBrief, resultFieldAtPath, seedLine, segmentsUnder, specFromJsonl, specToJsonl, validateAgainstCatalog } from '../../chunk-XYS5KCXB.js';
 import '../../chunk-QQK6Y55E.js';
-import '../../chunk-3GO65HWP.js';
+import '../../chunk-PNNWNRPG.js';
+import '../../chunk-TF4RTKLH.js';
 import '../../chunk-V3OV2XQT.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/generative/index.d.ts

@@ -1,16 +1,16 @@
-export { BriefSubject, COMPONENT_NAMES, COMPONENT_RENDERINGS, COMPOSER_COMPONENTS, CUSTOM_COMPONENTS, ComponentRendering, CriticLoop, DESIGNER_BRIEF_CONCEPT, DESIGNER_CATALOG_CONCEPT, DesignerAction, DesignerBrief, DesignerCatalog, DesignerCatalogOptions, DesignerComponent, DesignerPathEntry, DesignerStyle, FRAMES, FRAME_COMPONENTS, Frame, GenerativeSpec, ICON_NAMES, INPUTS_ROOT, InputBriefOptions, LayoutCheck, LayoutDescriptor, METRIC_FORMATS, PICKED_SHADCN, PRODUCT_COMPONENTS, PROMPT_HASH, Producer, ProductComponentName, REPAIR_ATTEMPTS, RESULT_COMPONENTS, RESULT_ROOT, ResultBriefOptions, SpecFixture, SpecProblem, SpecVerdict, ValidationCatalog, absoluteHatchPath, catalog, componentNamesFor, designerCatalog, fieldAtSegments, findFixture, fixtureId, fixtureLabel, formatProblems, frameCatalog, inputBrief, inputFieldAtPath, isDelegatedInput, isDelegatedResult, joinPath, jsonlLines, layoutCheckProblems, layoutFits, layoutProblems, payloadToState, promptHashSubject, repeatBasePathOf, resultBrief, resultFieldAtPath, seedLine, segmentsUnder, specFromJsonl, specToJsonl, validateAgainstCatalog } from './headless/index.js';
+export { BriefSubject, COMPONENT_NAMES, COMPONENT_RENDERINGS, COMPOSER_COMPONENTS, CUSTOM_COMPONENTS, ComponentRendering, CriticLoop, DESIGNER_BRIEF_CONCEPT, DESIGNER_CATALOG_CONCEPT, DesignerAction, DesignerBrief, DesignerCatalog, DesignerCatalogOptions, DesignerComponent, DesignerPathEntry, DesignerStyle, FRAMES, FRAME_COMPONENTS, Frame, GenerativeSpec, ICON_NAMES, INPUTS_ROOT, InputBriefOptions, LayoutCheck, LayoutDescriptor, LayoutVerdict, METRIC_FORMATS, PICKED_SHADCN, PRODUCT_COMPONENTS, PROMPT_HASH, Producer, ProductComponentName, REPAIR_ATTEMPTS, RESULT_COMPONENTS, RESULT_ROOT, ResultBriefOptions, SpecFixture, SpecProblem, SpecVerdict, ValidationCatalog, absoluteHatchPath, catalog, componentNamesFor, designerCatalog, fieldAtSegments, findFixture, fixtureId, fixtureLabel, formatProblems, frameCatalog, inputBrief, inputFieldAtPath, isDelegatedInput, isDelegatedResult, joinPath, jsonlLines, layoutCheck, layoutCheckProblems, layoutFits, layoutProblems, payloadToState, promptHashSubject, repeatBasePathOf, resultBrief, resultFieldAtPath, seedLine, segmentsUnder, specFromJsonl, specToJsonl, validateAgainstCatalog } from './headless/index.js';
 import * as _json_render_core from '@json-render/core';
-import { Spec, StateStore, StateModel } from '@json-render/core';
+import { Spec, StateStore, StateModel, ValidationConfig } from '@json-render/core';
 export { Spec, StateModel, StateStore, createStateStore } from '@json-render/core';
-import * as react from 'react';
+import * as React from 'react';
 import * as _json_render_react from '@json-render/react';
-import { Components, Renderer } from '@json-render/react';
+import { Components, Renderer, useFieldValidation } from '@json-render/react';
 import { B as BrandManifest } from '../manifest-D3DLyNEv.js';
 export { b as brandManifestSchema } from '../manifest-D3DLyNEv.js';
 import * as zod_v4_core from 'zod/v4/core';
 import * as zod from 'zod';
 import { RunField } from '../core/descriptor.js';
-import { F as FieldEnv } from '../field-renderer-Dz03dpig.js';
+import { F as FieldEnv } from '../field-renderer-BYN6YrU-.js';
 export { seedInputs } from '../core/seed.js';
 import '../styles-Bn8byNdo.js';
 import '../core/contracts.js';
@@ -31,11 +31,27 @@ import '../core/sources.js';
  * boundary above the root. When the host passes a handler, the boundary
  * catches the throw first, renders nothing in its place as json-render's
  * would, and hands the error to the host after the commit, once per element
- * that failed. When it passes none, the boundary throws the error on, so the
- * page behaves exactly as json-render alone does: an element's throw is logged
- * and dropped, and a root's reaches the host's own boundary. The wrapping does
- * not depend on whether there is a handler, so a host that starts or stops
- * passing one remounts nothing.
+ * that failed. When it passes none, an element's boundary logs the error as
+ * json-render's would and renders nothing, and the root's throws it on, to
+ * the host's own boundary. The wrapping does not depend on whether there is a
+ * handler, so a host that starts or stops passing one remounts nothing.
+ *
+ * Unlike json-render's, a failed boundary tries again when what it caught a
+ * throw from changes - for an element, its resolved props, the list it
+ * repeats over when it repeats, and each child's props and visibility as they
+ * resolve, since a child's props are resolved in the child's render and a
+ * throw there is the element above's to catch; for the root, the layout and
+ * the root's own resolved props - so an element that threw on a word where
+ * its list belongs draws once the store holds the list, without remounting
+ * the page. What changed is judged by content, read when the boundary fails
+ * and again only while it has failed, so a host that hands an equal value as
+ * a new object at every render - a spec parsed inline, props resolved afresh
+ * - does not retry, throw and report again at every render, and one that
+ * corrects its layout in place is judged against what failed. And while the
+ * page is `loading`, a failure is neither reported nor logged: a layout still
+ * streaming may be caught half-written, so the boundary tries again with each
+ * new value and once more when the stream ends, and reports only what still
+ * fails then.
  */
 /** What a host is told of an element that failed to render. */
 interface ElementErrorInfo {
@@ -82,8 +98,8 @@ interface DescriptorScope {
 declare function useDescriptorScope(): DescriptorScope;
 declare function DescriptorProvider({ scope, children, }: {
     scope: DescriptorScope;
-    children: react.ReactNode;
-}): react.JSX.Element;
+    children: React.ReactNode;
+}): React.JSX.Element;
 /**
  * Exported for the round-trip test only, not from the entry's index: the pair
  * is only correct together, so a test that could see just one half of it would
@@ -720,7 +736,7 @@ declare const generativeRenderers: Components<_json_render_core.Catalog<{
 }>>;
 
 /** What a page renders through: this entry's registry unless a host brings its own. */
-type PageRegistry = react.ComponentProps<typeof Renderer>['registry'];
+type PageRegistry = React.ComponentProps<typeof Renderer>['registry'];
 interface GenerativePageProps {
     /** The layout to render; `null` while a stream has produced nothing yet. */
     spec: Spec | null;
@@ -731,7 +747,8 @@ interface GenerativePageProps {
     /**
      * What `run` does. Receives the state at the moment the call to action was
      * pressed. Return the run's promise and a press while it is pending starts
-     * nothing.
+     * nothing. Not called while a field's own checks (its `checks` prop) fail:
+     * the press shows each failing field its message instead.
      */
     onRun?: (state: StateModel) => void | Promise<unknown>;
     /** Whether a stream is still arriving. */
@@ -752,7 +769,10 @@ interface GenerativePageProps {
      * the page and catches its throw in a boundary of its own, so a boundary
      * around the page never fires; this is how a host hears of it, and falls
      * back to its plain view if it wants the whole page to. The element renders
-     * nothing in its place either way. Without it, json-render logs the error.
+     * nothing in its place either way, and draws again once what it renders
+     * from changes. Not called while `loading`: what still fails when the stream
+     * ends is reported then. Without it, the error is logged as json-render logs
+     * it, and the root's goes on to the host's own boundary around the page.
      */
     onElementError?: ElementErrorHandler;
 }
@@ -764,7 +784,7 @@ interface GenerativePageProps {
  * kernel's readiness is computed from, and generation is nowhere in the
  * request path: a layout is a data file, and this renders it.
  */
-declare function GenerativePage({ spec, store, scope, onRun, loading, registry, brand, onElementError, }: GenerativePageProps): react.JSX.Element;
+declare function GenerativePage({ spec, store, scope, onRun, loading, registry, brand, onElementError, }: GenerativePageProps): React.JSX.Element;
 /** The store's current state, re-rendering on every change. For a receipt beside a page. */
 declare function useStoreSnapshot(store: StateStore): StateModel;
 
@@ -782,6 +802,40 @@ declare function useStoreSnapshot(store: StateStore): StateModel;
  */
 declare const generativeRegistry: _json_render_react.ComponentRegistry;
 
+/**
+ * A panel that can be hidden - a tab's, a step's, a closed section's - as a
+ * refused run sees it: `open` shows this panel, and the reveal it hands its
+ * contents opens the panels around it first. The reveal handed down keeps its
+ * identity across renders, so no field re-renders when its panel does.
+ */
+declare function RevealPanel({ open, children }: {
+    open: () => void;
+    children: React.ReactNode;
+}): React.JSX.Element;
+/** What `useCheckedField` gives a control: json-render's field validation, and where the focus goes. */
+type CheckedField = ReturnType<typeof useFieldValidation> & {
+    /**
+     * A ref for the element a refused run puts the focus on: the input, the
+     * select's trigger, a radio group's checked option or its first while none
+     * is. A control that attaches it is focused when it is the first failing
+     * field of a refused run; one that does not is still revealed, after every
+     * field that does.
+     */
+    focusRef: (element: HTMLElement | null) => void;
+};
+/**
+ * json-render's `useFieldValidation`, for a control that carries checks. On a
+ * page, the field's checks enter the page's record while it is mounted, and
+ * the field validates against every check its path carries, so a control
+ * hidden or dropped no longer holds the run and two controls on one path
+ * agree; and when a run is refused, the first failing field is revealed and
+ * focused. A host's own control that carries checks calls this rather than
+ * `useFieldValidation` to be held to the same rules, and attaches `focusRef`
+ * to the element that should take the focus; outside a page it is
+ * `useFieldValidation`.
+ */
+declare function useCheckedField(path: string, config: ValidationConfig | undefined): CheckedField;
+
 /**
  * What the page paints under the work column, when there is anything to paint.
  *
@@ -797,21 +851,21 @@ declare const generativeRegistry: _json_render_react.ComponentRegistry;
  */
 interface ResultSlot {
     /** What to paint. Nothing is painted at all while this is absent or `null`. */
-    content: react.ReactNode;
+    content: React.ReactNode;
     /** The heading above it. "Result" unless the host names it. */
     title?: string;
 }
 declare function ResultSlotProvider({ slot, children, }: {
     slot: ResultSlot | null;
-    children: react.ReactNode;
-}): react.JSX.Element;
+    children: React.ReactNode;
+}): React.JSX.Element;
 /** The slot the nearest page provides, or `null` on a page with no result yet. */
 declare function useResultSlot(): ResultSlot | null;
 
 declare function BrandProvider({ manifest, children, }: {
     manifest: BrandManifest;
-    children: react.ReactNode;
-}): react.JSX.Element;
+    children: React.ReactNode;
+}): React.JSX.Element;
 declare function useBrand(): BrandManifest;
 
 interface BrandBarProps {
@@ -822,7 +876,7 @@ interface BrandBarProps {
     /** A short code at the end of the bar, such as the pipe's. */
     tag?: string | null;
 }
-declare function BrandBar({ app, links, tag }: BrandBarProps): react.JSX.Element;
+declare function BrandBar({ app, links, tag }: BrandBarProps): React.JSX.Element;
 
 /**
  * What a host's compose-then-result frame tells the frame components of a
@@ -845,8 +899,8 @@ interface FrameHost {
 }
 declare function FrameHostProvider({ host, children, }: {
     host: FrameHost;
-    children: react.ReactNode;
-}): react.JSX.Element;
+    children: React.ReactNode;
+}): React.JSX.Element;
 declare function useFrameHost(): FrameHost;
 
-export { BrandBar, type BrandBarProps, BrandManifest, BrandProvider, DescriptorProvider, type DescriptorScope, type ElementErrorHandler, type ElementErrorInfo, type FrameHost, FrameHostProvider, GenerativePage, type GenerativePageProps, type PageRegistry, type ResultSlot, ResultSlotProvider, domIdFor, generativeRegistry, generativeRenderers, pathFromDomId, useBrand, useDescriptorScope, useFrameHost, useResultSlot, useStoreSnapshot };
+export { BrandBar, type BrandBarProps, BrandManifest, BrandProvider, type CheckedField, DescriptorProvider, type DescriptorScope, type ElementErrorHandler, type ElementErrorInfo, type FrameHost, FrameHostProvider, GenerativePage, type GenerativePageProps, type PageRegistry, type ResultSlot, ResultSlotProvider, RevealPanel, domIdFor, generativeRegistry, generativeRenderers, pathFromDomId, useBrand, useCheckedField, useDescriptorScope, useFrameHost, useResultSlot, useStoreSnapshot };