@pipelex/mthds-form 0.2.0 → 0.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +7 -2
- package/dist/chunk-6XD6UZSU.js +28 -0
- package/dist/chunk-6XD6UZSU.js.map +1 -0
- package/dist/chunk-7BMOPXDY.js +205 -0
- package/dist/chunk-7BMOPXDY.js.map +1 -0
- package/dist/chunk-GKV77RAS.js +46 -0
- package/dist/chunk-GKV77RAS.js.map +1 -0
- package/dist/chunk-HARYEWNG.js +31 -0
- package/dist/chunk-HARYEWNG.js.map +1 -0
- package/dist/chunk-KFZ5MZOM.js +44 -0
- package/dist/chunk-KFZ5MZOM.js.map +1 -0
- package/dist/chunk-NMT7BRLO.js +40 -0
- package/dist/chunk-NMT7BRLO.js.map +1 -0
- package/dist/chunk-O4O3QNVC.js +146 -0
- package/dist/chunk-O4O3QNVC.js.map +1 -0
- package/dist/chunk-PM55AHRO.js +52 -0
- package/dist/chunk-PM55AHRO.js.map +1 -0
- package/dist/chunk-RPA7DNSK.js +41 -0
- package/dist/chunk-RPA7DNSK.js.map +1 -0
- package/dist/chunk-V3OV2XQT.js +12 -0
- package/dist/chunk-V3OV2XQT.js.map +1 -0
- package/dist/chunk-VMLXO5JS.js +132 -0
- package/dist/chunk-VMLXO5JS.js.map +1 -0
- package/dist/chunk-VTPUDBSJ.js +61 -0
- package/dist/chunk-VTPUDBSJ.js.map +1 -0
- package/dist/chunk-WXBSM2CE.js +201 -0
- package/dist/chunk-WXBSM2CE.js.map +1 -0
- package/dist/chunk-XEPD5VJQ.js +99 -0
- package/dist/chunk-XEPD5VJQ.js.map +1 -0
- package/dist/core/contracts.d.ts +143 -0
- package/dist/core/contracts.js +4 -0
- package/dist/core/contracts.js.map +1 -0
- package/dist/core/date-format.d.ts +87 -0
- package/dist/core/date-format.js +3 -0
- package/dist/core/date-format.js.map +1 -0
- package/dist/core/derive.d.ts +20 -0
- package/dist/core/derive.js +7 -0
- package/dist/core/derive.js.map +1 -0
- package/dist/{descriptor-X6MwFIWu.d.ts → core/descriptor.d.ts} +42 -1
- package/dist/core/descriptor.js +3 -0
- package/dist/core/descriptor.js.map +1 -0
- package/dist/core/gate-validator.d.ts +27 -0
- package/dist/core/gate-validator.js +4 -0
- package/dist/core/gate-validator.js.map +1 -0
- package/dist/core/gate.d.ts +144 -0
- package/dist/core/gate.js +13 -0
- package/dist/core/gate.js.map +1 -0
- package/dist/core/index.d.ts +12 -615
- package/dist/core/index.js +14 -1
- package/dist/core/native-concepts.d.ts +78 -0
- package/dist/core/native-concepts.js +3 -0
- package/dist/core/native-concepts.js.map +1 -0
- package/dist/core/normalize-schema.d.ts +30 -0
- package/dist/core/normalize-schema.js +4 -0
- package/dist/core/normalize-schema.js.map +1 -0
- package/dist/core/own-property.d.ts +46 -0
- package/dist/core/own-property.js +3 -0
- package/dist/core/own-property.js.map +1 -0
- package/dist/core/readiness.d.ts +89 -0
- package/dist/core/readiness.js +4 -0
- package/dist/core/readiness.js.map +1 -0
- package/dist/core/schema-utils.d.ts +74 -0
- package/dist/core/schema-utils.js +3 -0
- package/dist/core/schema-utils.js.map +1 -0
- package/dist/core/validation-message.d.ts +39 -0
- package/dist/core/validation-message.js +4 -0
- package/dist/core/validation-message.js.map +1 -0
- package/dist/core/values.d.ts +91 -0
- package/dist/core/values.js +11 -0
- package/dist/core/values.js.map +1 -0
- package/dist/core/wire-format.d.ts +95 -0
- package/dist/core/wire-format.js +7 -0
- package/dist/core/wire-format.js.map +1 -0
- package/dist/react/index.d.ts +22 -1
- package/dist/react/index.js +128 -48
- package/dist/react/index.js.map +1 -1
- package/dist/styles.css +1 -1
- package/package.json +5 -1
- package/dist/chunk-YWMUM7BC.js +0 -966
- package/dist/chunk-YWMUM7BC.js.map +0 -1
|
@@ -0,0 +1,78 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The native-concept taxonomy, stated ONCE - with each call path's historical
|
|
3
|
+
* view exported explicitly, because the three copies this consolidates had
|
|
4
|
+
* DRIFTED and K1 preserved each path's observable behavior exactly (see
|
|
5
|
+
* `concept-taxonomy-characterization.test.ts`).
|
|
6
|
+
*
|
|
7
|
+
* The sets below spell the codes MTHDS actually defines (the `native` domain of
|
|
8
|
+
* the language spec). That is not pedantry: a set that named a concept the
|
|
9
|
+
* language does not have is what broke `native.Number`, because the render path
|
|
10
|
+
* knew the concept and the value path did not.
|
|
11
|
+
*
|
|
12
|
+
* The drift, recorded for M1 (where the server-derived descriptor retires this
|
|
13
|
+
* module entirely):
|
|
14
|
+
*
|
|
15
|
+
* | concept | field mapper (render) | wire format (deflate/inflate) | value bridge (content wrapper) |
|
|
16
|
+
* | ------- | ------------------------- | ----------------------------- | ------------------------------ |
|
|
17
|
+
* | Text | text/prose | bare string | `{text}`, from `TextContent` |
|
|
18
|
+
* | Number | number | `{concept, content}` | `{number}`, from `NumberContent` |
|
|
19
|
+
* | YesNo | boolean | `{concept, content}` | `{yes_no}`, from `YesNoContent` |
|
|
20
|
+
* | Date | text/prose (NOT a picker) | CUSTOM `{concept, content}` | `{text}` - WRONG, see below |
|
|
21
|
+
* | Html | nested object | `{concept, content}` | - |
|
|
22
|
+
* | Page | document | document-like (bare URL) | - |
|
|
23
|
+
*
|
|
24
|
+
* A `Date` input therefore ships as `{concept: "native.Date", content: {text}}`
|
|
25
|
+
* today - consistent end-to-end, but not `DateContent {date, time}`. Changing
|
|
26
|
+
* that is a wire-visible fix and belongs to M1, not here.
|
|
27
|
+
*
|
|
28
|
+
* `HTML_CONCEPTS` below spells the code `HTML`; the language spells it `Html`
|
|
29
|
+
* (`NativeConceptCode.HTML = "Html"`), so the set matches nothing a real
|
|
30
|
+
* contract carries and `native.Html` falls through to the generic object
|
|
31
|
+
* dispatch - a nested card over `HtmlContent {inner_html, css_class}`, which
|
|
32
|
+
* round-trips correctly. Correcting the spelling would route `native.Html` into
|
|
33
|
+
* the prose-plus-`{text}` drift above and BREAK inputs that work today, so the
|
|
34
|
+
* spelling is left alone deliberately and goes with the Date fix at M1.
|
|
35
|
+
*/
|
|
36
|
+
declare const TEXT_CONCEPTS: ReadonlySet<string>;
|
|
37
|
+
declare const DATE_CONCEPTS: ReadonlySet<string>;
|
|
38
|
+
/** Deliberately the code the language does NOT use - see the header. */
|
|
39
|
+
declare const HTML_CONCEPTS: ReadonlySet<string>;
|
|
40
|
+
declare const DOCUMENT_CONCEPTS: ReadonlySet<string>;
|
|
41
|
+
declare const PAGE_CONCEPTS: ReadonlySet<string>;
|
|
42
|
+
declare const IMAGE_CONCEPTS: ReadonlySet<string>;
|
|
43
|
+
declare const NUMBER_CONCEPTS: ReadonlySet<string>;
|
|
44
|
+
declare const YES_NO_CONCEPTS: ReadonlySet<string>;
|
|
45
|
+
/** Concepts the mapper renders as text/prose - `Date` deliberately included
|
|
46
|
+
* (a `native.Date` input renders as prose today, not as a date picker). */
|
|
47
|
+
declare const FIELD_TEXT_CONCEPTS: ReadonlySet<string>;
|
|
48
|
+
/** Concepts the mapper renders as a document upload - `Page` folded in. */
|
|
49
|
+
declare const FIELD_DOCUMENT_CONCEPTS: ReadonlySet<string>;
|
|
50
|
+
/** True when the simplified wire form is a bare string (`{text} ↔ "..."`).
|
|
51
|
+
* `Date` is NOT here: it travels through the custom-concept `{concept,
|
|
52
|
+
* content}` branch (the drift the header records). */
|
|
53
|
+
declare function isWireTextConcept(concept: string): boolean;
|
|
54
|
+
/** True when the simplified wire form is a bare URL string. */
|
|
55
|
+
declare function isWireDocumentLikeConcept(concept: string): boolean;
|
|
56
|
+
/**
|
|
57
|
+
* The FALLBACK text wrapper, for a text concept whose contract declares no
|
|
58
|
+
* single-property content model to read the wrapper name off.
|
|
59
|
+
*
|
|
60
|
+
* The wrapper property is normally derived from the declared schema, in
|
|
61
|
+
* `derive.ts`, and travels on the descriptor as `RunField.contentKey` - so the
|
|
62
|
+
* value bridge wraps by name and holds no taxonomy of its own. This set is what
|
|
63
|
+
* answers when that derivation finds nothing:
|
|
64
|
+
*
|
|
65
|
+
* - `native.Text` with a degenerate contract (a bare `{type: 'object'}`, or a
|
|
66
|
+
* bare `{type: 'string'}`) still wraps as `{text}`, as it always has;
|
|
67
|
+
* - `native.Date` declares `DateContent {date, time}` - two properties, so no
|
|
68
|
+
* single wrapper - and this set is what keeps it wrapping as `{text}`. That
|
|
69
|
+
* is the recorded drift, preserved on purpose until M1.
|
|
70
|
+
*/
|
|
71
|
+
declare const TEXT_WRAPPER_CONCEPTS: ReadonlySet<string>;
|
|
72
|
+
/** A concept ref like `native.Document[]` → base `native.Document`, isList true. */
|
|
73
|
+
declare function splitListConcept(conceptRef: string | undefined): {
|
|
74
|
+
base?: string;
|
|
75
|
+
isList: boolean;
|
|
76
|
+
};
|
|
77
|
+
|
|
78
|
+
export { DATE_CONCEPTS, DOCUMENT_CONCEPTS, FIELD_DOCUMENT_CONCEPTS, FIELD_TEXT_CONCEPTS, HTML_CONCEPTS, IMAGE_CONCEPTS, NUMBER_CONCEPTS, PAGE_CONCEPTS, TEXT_CONCEPTS, TEXT_WRAPPER_CONCEPTS, YES_NO_CONCEPTS, isWireDocumentLikeConcept, isWireTextConcept, splitListConcept };
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
export { DATE_CONCEPTS, DOCUMENT_CONCEPTS, FIELD_DOCUMENT_CONCEPTS, FIELD_TEXT_CONCEPTS, HTML_CONCEPTS, IMAGE_CONCEPTS, NUMBER_CONCEPTS, PAGE_CONCEPTS, TEXT_CONCEPTS, TEXT_WRAPPER_CONCEPTS, YES_NO_CONCEPTS, isWireDocumentLikeConcept, isWireTextConcept, splitListConcept } from '../chunk-NMT7BRLO.js';
|
|
2
|
+
//# sourceMappingURL=native-concepts.js.map
|
|
3
|
+
//# sourceMappingURL=native-concepts.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"native-concepts.js"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
export { hoistDefsToRoot } from './schema-utils.js';
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
* Normalizes a JSON Schema for RJSF compatibility.
|
|
5
|
+
*
|
|
6
|
+
* Pydantic v2 generates `anyOf: [{type: "string"}, {type: "null"}]` for optional
|
|
7
|
+
* fields (`str | None`). RJSF renders this as a dropdown selector asking the user
|
|
8
|
+
* to pick a sub-schema, which is terrible UX. The normalizer flattens those
|
|
9
|
+
* patterns on every node (see `flattenAnyOf` in `schema-utils.ts` for the exact
|
|
10
|
+
* rules) and hoists nested `$defs` to the root so composed sub-schemas keep
|
|
11
|
+
* their refs resolvable.
|
|
12
|
+
*
|
|
13
|
+
* The collapse and hoist engines live in `schema-utils.ts` - the
|
|
14
|
+
* consolidated home for the kernel's JSON-Schema plumbing; this module owns the
|
|
15
|
+
* recursive application over a whole schema tree.
|
|
16
|
+
*/
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
* Recursively normalize a JSON Schema for RJSF.
|
|
20
|
+
* Walks the entire schema tree and flattens anyOf patterns on every node.
|
|
21
|
+
*/
|
|
22
|
+
declare function normalizeSchemaForRjsf(schema: Record<string, unknown>): Record<string, unknown>;
|
|
23
|
+
/**
|
|
24
|
+
* Prepare a schema for RJSF: hoist all nested `$defs` to the root, then normalize
|
|
25
|
+
* anyOf patterns. Call this on any schema that composes multiple sub-schemas
|
|
26
|
+
* (each of which may ship its own `$defs`).
|
|
27
|
+
*/
|
|
28
|
+
declare function prepareSchemaForRjsf(schema: Record<string, unknown>): Record<string, unknown>;
|
|
29
|
+
|
|
30
|
+
export { normalizeSchemaForRjsf, prepareSchemaForRjsf };
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"normalize-schema.js"}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Read a property a record OWNS, never one it merely inherits.
|
|
3
|
+
*
|
|
4
|
+
* Every name this package indexes a record by - an input variable name, a
|
|
5
|
+
* structure's property name, a pipe code, a concept's content key - is chosen
|
|
6
|
+
* by the METHOD AUTHOR, and the records they index are plain objects the host
|
|
7
|
+
* built (`{}` from a form's state, `JSON.parse` of a request body, a map keyed
|
|
8
|
+
* by pipe ref). A plain object inherits `Object.prototype`, so a name that
|
|
9
|
+
* collides with a prototype member - `constructor`, `toString`, `valueOf`,
|
|
10
|
+
* `hasOwnProperty`, … - does NOT read as `undefined`: it reads as the inherited
|
|
11
|
+
* function, which is truthy.
|
|
12
|
+
*
|
|
13
|
+
* That is a verdict bug wherever a bare read decides one. An input named
|
|
14
|
+
* `constructor` with nothing entered used to resolve to `Object`, which
|
|
15
|
+
* `isFilled` had no branch for and therefore called filled - a live Run button
|
|
16
|
+
* over an empty required input. `getPipeIOContract` returned the same function
|
|
17
|
+
* for a prototype-named pipe code, which sailed past the `if (!contract)` guard
|
|
18
|
+
* hosts are shown writing.
|
|
19
|
+
*
|
|
20
|
+
* What it does NOT close, stated so nobody reads a fixed read as a fixed class:
|
|
21
|
+
* the WRITE twin. `out[name] = value` on a plain object invokes the inherited
|
|
22
|
+
* `__proto__` setter for that one name, so an input actually called `__proto__`
|
|
23
|
+
* is dropped from a payload rather than added to it. That is fail-loud (the
|
|
24
|
+
* runtime rejects a run whose input is missing) where the read bug was
|
|
25
|
+
* fail-open, and `__proto__` is not a name an author writes, so the writes are
|
|
26
|
+
* left plain and legible.
|
|
27
|
+
*
|
|
28
|
+
* Spelled with `Object.prototype.hasOwnProperty.call` rather than `Object.hasOwn`
|
|
29
|
+
* deliberately. `hasOwn` is an ES2022 runtime API and `tsconfig.json` compiles
|
|
30
|
+
* to **ES2020**, so a browser inside the declared target has no such function
|
|
31
|
+
* and every read here would throw before a form could render a single field -
|
|
32
|
+
* a whole-package failure in service of a shorter spelling. TypeScript cannot
|
|
33
|
+
* catch that: `lib` is what types a runtime API, `target` is what states the
|
|
34
|
+
* baseline, and the two are allowed to disagree.
|
|
35
|
+
*
|
|
36
|
+
* Deliberately module-private: this is a spelling of `record[key]`, not a
|
|
37
|
+
* concept a consumer needs. Reachability is low - only a method author picks
|
|
38
|
+
* these names - but the cost of being wrong is a form that says a field is
|
|
39
|
+
* filled when it is empty, so the package spells the read one way everywhere
|
|
40
|
+
* rather than guarding the sites someone happened to notice.
|
|
41
|
+
*/
|
|
42
|
+
declare function ownProp<T>(record: Record<string, T> | null | undefined, key: string): T | undefined;
|
|
43
|
+
/** `key in record` with the prototype chain left out. */
|
|
44
|
+
declare function hasOwnProp(record: object | null | undefined, key: string): boolean;
|
|
45
|
+
|
|
46
|
+
export { hasOwnProp, ownProp };
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"own-property.js"}
|
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
import { RunField } from './descriptor.js';
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
* Value readiness - the helpers the runner uses to decide whether the Run
|
|
5
|
+
* button may fire and which inputs are still missing.
|
|
6
|
+
*/
|
|
7
|
+
|
|
8
|
+
/** True when a value is meaningfully filled (not empty / blank / empty container). */
|
|
9
|
+
declare function isFilled(value: unknown): boolean;
|
|
10
|
+
/**
|
|
11
|
+
* True when a slot holds something AND every required field inside it has a
|
|
12
|
+
* value.
|
|
13
|
+
*
|
|
14
|
+
* The two halves are both load-bearing, and the first one is the one that is
|
|
15
|
+
* easy to leave out. A structure is satisfied only if there is something in it:
|
|
16
|
+
* a struct whose concept declares no required child used to be *vacuously*
|
|
17
|
+
* satisfied by an absent value - every child passed the `!f.required` test, so
|
|
18
|
+
* `every` returned true over a value that was not there. Readiness reported
|
|
19
|
+
* nothing missing and the Run button lit up, while the value bridge omitted the
|
|
20
|
+
* untouched structure and the gate then rejected the run on the combined
|
|
21
|
+
* schema's `required` list, naming an input the form had just declared ready.
|
|
22
|
+
*
|
|
23
|
+
* `isFilled` is the SAME predicate `toRjsf` uses to decide whether a structure
|
|
24
|
+
* collapses to an absence (`values.ts`), which is what makes the two halves
|
|
25
|
+
* agree by construction rather than by parallel edits: readiness calls an input
|
|
26
|
+
* present exactly when the bridge keeps it. Absence is what a singular slot
|
|
27
|
+
* expresses, so a required one has to be touched - the button stays dark until
|
|
28
|
+
* the user puts a value somewhere inside, and then the whole shell travels,
|
|
29
|
+
* empty children and all, so a required child left blank still fails loudly.
|
|
30
|
+
*
|
|
31
|
+
* Its own recursion follows the DESCRIPTOR, not the value, so it needs no depth
|
|
32
|
+
* cap of its own: a `RunField` tree only exists because `buildRunFields`
|
|
33
|
+
* finished walking a contract's schema, which bounds it. `isFilled` is where
|
|
34
|
+
* the caller's data is walked, and where the cap lives.
|
|
35
|
+
*/
|
|
36
|
+
declare function fieldFilled(field: RunField, value: unknown): boolean;
|
|
37
|
+
interface Readiness {
|
|
38
|
+
total: number;
|
|
39
|
+
ready: number;
|
|
40
|
+
missing: string[];
|
|
41
|
+
}
|
|
42
|
+
/**
|
|
43
|
+
* True when the user must put a value in this field before the run can start.
|
|
44
|
+
*
|
|
45
|
+
* Distinct from `required`, which also drives layout (a required field always
|
|
46
|
+
* shows; an optional one may collapse). A **variable-plural** field stays
|
|
47
|
+
* required - it is a first-class input and keeps its place in the form - but it
|
|
48
|
+
* never gates: a plural slot is never "absent" in MTHDS, its empty form IS the
|
|
49
|
+
* empty list, and no method can declare "at least one item". A **fixed-count**
|
|
50
|
+
* list (`[N]`) is the exception the wire now states, and it gates like any other
|
|
51
|
+
* slot - there the method HAS ruled the empty form out.
|
|
52
|
+
*
|
|
53
|
+
* **For a field this package built, the answer comes from `inputMustBeFilled`**
|
|
54
|
+
* (`contracts.ts`) - the SAME predicate the method viewer's Run button, its ajv
|
|
55
|
+
* `required` list and its missing-inputs toast all read. `buildRunFields`
|
|
56
|
+
* stamps it onto `gating`. This used to be re-derived here as
|
|
57
|
+
* `required && kind !== 'list'`: the same rule expressed against the MAPPED
|
|
58
|
+
* field instead of the contract, and the two could disagree - `kind` is `'list'`
|
|
59
|
+
* for a `conceptRef` ending in `[]` OR an array schema, while the contract's
|
|
60
|
+
* plural test is the array schema alone, so a plural input carrying a non-array
|
|
61
|
+
* schema gated on one surface and not the other.
|
|
62
|
+
*
|
|
63
|
+
* The shape heuristic survives only as the fallback for a **hand-authored**
|
|
64
|
+
* `RunField` - story fixtures and unit tests, which have no contract to consult
|
|
65
|
+
* and therefore nothing to disagree with. Every field a host renders comes from
|
|
66
|
+
* `buildRunFields` and carries `gating`, so a host is on the contract's answer
|
|
67
|
+
* alone. (The fallback cannot see a fixed count either - one more thing only the
|
|
68
|
+
* contract knows.)
|
|
69
|
+
*/
|
|
70
|
+
declare function mustBeFilled(field: RunField): boolean;
|
|
71
|
+
/**
|
|
72
|
+
* How many top-level inputs stand between the current values and a run.
|
|
73
|
+
*
|
|
74
|
+
* Two kinds count, and the second is easy to miss. An input the method DEMANDS
|
|
75
|
+
* counts always (`mustBeFilled`). An input the method left optional counts once
|
|
76
|
+
* the user has put something in it - because a structure that has been touched
|
|
77
|
+
* owes its concept every field the concept declares, and the gate enforces
|
|
78
|
+
* exactly that. Left out, an optional struct opened and half-filled was ignored
|
|
79
|
+
* here and refused there: the button stayed live and the run came back rejected
|
|
80
|
+
* on a required child, which is the same disagreement the demanded case had.
|
|
81
|
+
*
|
|
82
|
+
* So an optional input moves INTO the denominator the moment it is touched, and
|
|
83
|
+
* out of `missing` as soon as it is complete: 3 of 3 while it is untouched, 3
|
|
84
|
+
* of 4 once it is started, 4 of 4 once it is done. `total` answers "how many
|
|
85
|
+
* things stand between me and Run", which is the number a host is displaying.
|
|
86
|
+
*/
|
|
87
|
+
declare function computeReadiness(fields: RunField[], values: Record<string, unknown>): Readiness;
|
|
88
|
+
|
|
89
|
+
export { type Readiness, computeReadiness, fieldFilled, isFilled, mustBeFilled };
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"readiness.js"}
|
|
@@ -0,0 +1,74 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The ONE place JSON-Schema plumbing lives for the run form kernel: nullable
|
|
3
|
+
* `anyOf` collapsing, `$defs` collection/hoisting, `$ref` resolution, and type
|
|
4
|
+
* extraction. Consolidated from three drifted private copies (`field-model.ts`,
|
|
5
|
+
* `normalize-schema.ts`, `input-format.ts`) during the form-kernel extraction.
|
|
6
|
+
*
|
|
7
|
+
* Two collapse engines are exported ON PURPOSE - their semantics genuinely
|
|
8
|
+
* differ, and each caller's observable behavior is characterized and preserved
|
|
9
|
+
* (see `schema-utils-characterization.test.ts`):
|
|
10
|
+
*
|
|
11
|
+
* - `collapseNullable` (the field mapper's rule): collapse ONLY when exactly one
|
|
12
|
+
* non-null branch remains, dropping the null. A multi-branch union stays an
|
|
13
|
+
* `anyOf` and maps to the raw-JSON escape hatch.
|
|
14
|
+
* - `flattenAnyOf` (the RJSF/ajv rule): a union of simple primitives becomes a
|
|
15
|
+
* `type` ARRAY (null preserved as a type entry - ajv validates `type:
|
|
16
|
+
* ["number","null"]` natively); a 2-branch nullable non-primitive drops the
|
|
17
|
+
* null branch.
|
|
18
|
+
*
|
|
19
|
+
* Whether these converge (and which semantics win) is an M1 question, decided
|
|
20
|
+
* when the descriptor derivation moves server-side - not silently here.
|
|
21
|
+
*/
|
|
22
|
+
type JsonSchema = Record<string, unknown>;
|
|
23
|
+
/** Pydantic emits `anyOf: [T, {type:'null'}]` for Optional[T]; collapse to T.
|
|
24
|
+
* Collapses ONLY when exactly one non-null branch remains; the branch merges
|
|
25
|
+
* OVER the outer schema (its constraints win). */
|
|
26
|
+
declare function collapseNullable(schema: JsonSchema): JsonSchema;
|
|
27
|
+
/**
|
|
28
|
+
* The RJSF/ajv collapse: a union of simple primitives flattens to a `type`
|
|
29
|
+
* array (`anyOf: [{string},{null}]` → `type: ["string","null"]`, which RJSF
|
|
30
|
+
* renders as a plain input instead of a sub-schema picker); an exactly-two
|
|
31
|
+
* `[T, {null}]` union of anything else drops the null branch and merges T over
|
|
32
|
+
* the outer schema. Anything else passes through unchanged.
|
|
33
|
+
*/
|
|
34
|
+
declare function flattenAnyOf(schema: JsonSchema): JsonSchema;
|
|
35
|
+
/** The schema's non-null type: a bare `type` string, or the first non-null
|
|
36
|
+
* entry of a `type` array (`["number","null"]` → `"number"`). */
|
|
37
|
+
declare function schemaTypeOf(schema: JsonSchema): string | undefined;
|
|
38
|
+
/** Resolve `{ $ref: "#/$defs/Foo" }` against a collected `$defs` map. Sibling
|
|
39
|
+
* keys on the referencing schema override the definition's. */
|
|
40
|
+
declare function derefSchema(schema: JsonSchema, defs: Record<string, JsonSchema>): JsonSchema;
|
|
41
|
+
/**
|
|
42
|
+
* Resolve the indirection layers pydantic puts in front of a value schema - a
|
|
43
|
+
* `#/$defs/...` ref, a nullable `anyOf: [T, {null}]` wrapper, or a stack of
|
|
44
|
+
* both - until a plain schema remains. This is the resolver `healStringWrappers`
|
|
45
|
+
* and `pruneEmptyOptionals` apply before reading `type`. Unlike `derefSchema`
|
|
46
|
+
* it REPLACES the schema with the definition (no sibling merge) - exactly what
|
|
47
|
+
* the callers did inline.
|
|
48
|
+
*/
|
|
49
|
+
declare function resolveSchemaIndirection(schema: JsonSchema, defs: Record<string, JsonSchema>): JsonSchema;
|
|
50
|
+
interface CollectDefsOptions {
|
|
51
|
+
/**
|
|
52
|
+
* Whether the walk descends into JSON arrays (`anyOf`/`allOf` branches,
|
|
53
|
+
* tuple `items`). The field mapper always has (so a def declared inside an
|
|
54
|
+
* `anyOf` branch resolves); the wire-format heal path historically has NOT -
|
|
55
|
+
* both behaviors are characterized, and each caller states its mode
|
|
56
|
+
* explicitly until M1 retires the difference.
|
|
57
|
+
*/
|
|
58
|
+
traverseArrays: boolean;
|
|
59
|
+
}
|
|
60
|
+
/**
|
|
61
|
+
* Collect every nested `$defs` entry into one flat map so `#/$defs/...` refs
|
|
62
|
+
* resolve from anywhere. First definition of a name wins. The input schema is
|
|
63
|
+
* NOT modified (see `hoistDefsToRoot` for the stripping variant).
|
|
64
|
+
*/
|
|
65
|
+
declare function collectSchemaDefs(schema: JsonSchema, into: Record<string, JsonSchema>, options: CollectDefsOptions): Record<string, JsonSchema>;
|
|
66
|
+
/**
|
|
67
|
+
* Hoist every nested `$defs` to the schema root, so a wrapper schema composed
|
|
68
|
+
* from several pydantic sub-schemas keeps its `#/$defs/...` refs resolvable.
|
|
69
|
+
* (Pydantic emits one `$defs` per model; composing models as properties of a
|
|
70
|
+
* wrapper object leaves those maps below the root the refs point to.)
|
|
71
|
+
*/
|
|
72
|
+
declare function hoistDefsToRoot(schema: JsonSchema): JsonSchema;
|
|
73
|
+
|
|
74
|
+
export { type CollectDefsOptions, type JsonSchema, collapseNullable, collectSchemaDefs, derefSchema, flattenAnyOf, hoistDefsToRoot, resolveSchemaIndirection, schemaTypeOf };
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"schema-utils.js"}
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
import { RunInputError } from './gate-validator.js';
|
|
2
|
+
|
|
3
|
+
/** The message keys this module renders, relative to the caller's namespace
|
|
4
|
+
* (a host passes its own translator for that namespace). */
|
|
5
|
+
type ValidationMessageKey = 'inputPanel.aDateField' | 'inputPanel.pickValidDate' | 'inputPanel.pickValidDateEmpty' | 'inputPanel.dateCarriesTime' | 'inputPanel.invalidValue' | 'inputPanel.invalidValueWithData';
|
|
6
|
+
/**
|
|
7
|
+
* The translate function the caller injects. Typed on the EXACT keys this
|
|
8
|
+
* module uses - not a loose `(key: string) => string` - for two reasons: a
|
|
9
|
+
* typo'd key still fails the build here, and next-intl's translator (whose
|
|
10
|
+
* `key` parameter is the namespace's real key union, a SUPERSET of these)
|
|
11
|
+
* remains assignable by parameter contravariance. Kernel-owned: this module
|
|
12
|
+
* must not import next-intl's types.
|
|
13
|
+
*/
|
|
14
|
+
type Translate = (key: ValidationMessageKey, values?: Record<string, string>) => string;
|
|
15
|
+
/**
|
|
16
|
+
* The value the validator actually rejected, read back out of the submitted data.
|
|
17
|
+
*
|
|
18
|
+
* RJSF builds `property` from ajv's `instancePath` by swapping `/` for `.`
|
|
19
|
+
* (`.quote_date.date`), so the segments index straight into the form data.
|
|
20
|
+
* Array indices arrive as digit strings and index arrays natively.
|
|
21
|
+
*/
|
|
22
|
+
declare function valueAtProperty(data: unknown, property: string | undefined): unknown;
|
|
23
|
+
/**
|
|
24
|
+
* The rejected value rendered for a toast, or `null` when there is nothing
|
|
25
|
+
* worth showing (an absent or blank value - "you left it empty" is what the
|
|
26
|
+
* message says on its own, and `“”` adds noise).
|
|
27
|
+
*/
|
|
28
|
+
declare function displayValue(value: unknown): string | null;
|
|
29
|
+
/**
|
|
30
|
+
* One validation error as a human line naming the offending value.
|
|
31
|
+
*
|
|
32
|
+
* The date branch is special-cased because ajv's own complaint (`'Date' must
|
|
33
|
+
* match format "date-time"`) is opaque, and because the carries-a-time case has
|
|
34
|
+
* a specific fix the user cannot guess: move the time into the sibling `time`
|
|
35
|
+
* field, which is exactly what the runtime's own error says.
|
|
36
|
+
*/
|
|
37
|
+
declare function describeValidationError(error: RunInputError, t: Translate, formData: unknown): string;
|
|
38
|
+
|
|
39
|
+
export { type Translate, type ValidationMessageKey, describeValidationError, displayValue, valueAtProperty };
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"validation-message.js"}
|
|
@@ -0,0 +1,91 @@
|
|
|
1
|
+
import { RunField } from './descriptor.js';
|
|
2
|
+
import { PipeInputContract, PipeIOContract } from './contracts.js';
|
|
3
|
+
|
|
4
|
+
/**
|
|
5
|
+
* Bridges the `MethodRunner`'s field values to the rest of the host.
|
|
6
|
+
*
|
|
7
|
+
* The method-store keeps inputs in the *simplified* format and runs send the
|
|
8
|
+
* *full* RJSF form shape - both already handled by `inflate/deflateAllInputs`.
|
|
9
|
+
* The only gap is that a few field controls use a friendlier value than RJSF: a
|
|
10
|
+
* scalar is the bare scalar where the full shape is the content model its
|
|
11
|
+
* concept declares (`{ text }`, `{ number }`, `{ yes_no }`), and a file is
|
|
12
|
+
* `{ url, filename }`. `fromRjsf`/`toRjsf` translate just those, so store
|
|
13
|
+
* reads/writes and run payloads stay byte-for-byte compatible with the proven
|
|
14
|
+
* playground path.
|
|
15
|
+
*
|
|
16
|
+
* Which property a scalar wraps into is NOT decided here - it arrives on the
|
|
17
|
+
* descriptor as `contentKey`, derived from the contract by `buildRunFields`.
|
|
18
|
+
*
|
|
19
|
+
* Pure module - no React, unit-tested.
|
|
20
|
+
*/
|
|
21
|
+
|
|
22
|
+
type Dict = Record<string, unknown>;
|
|
23
|
+
type InputSchemas = Record<string, PipeInputContract>;
|
|
24
|
+
/** Seed the runner's form values from the method-store's simplified inputData. */
|
|
25
|
+
declare function runValuesFromStore(inputData: Dict | undefined, fields: RunField[], inputSchemas: InputSchemas): Dict;
|
|
26
|
+
/**
|
|
27
|
+
* The runner's form values in **schema shape** - the same shape an RJSF panel
|
|
28
|
+
* holds, and therefore the shape `gate.ts` validates against the per-input
|
|
29
|
+
* JSON Schemas.
|
|
30
|
+
*
|
|
31
|
+
* Deliberately stops short of `deflateAllInputs`: deflation is the STORE's
|
|
32
|
+
* compact form, and ajv validates the full one.
|
|
33
|
+
*/
|
|
34
|
+
declare function rjsfDataFromRunValues(values: Dict, fields: RunField[]): Dict;
|
|
35
|
+
/** Convert the runner's form values back to the store's simplified inputData. */
|
|
36
|
+
declare function storeInputDataFromRunValues(values: Dict, fields: RunField[], inputSchemas: InputSchemas): Dict;
|
|
37
|
+
/**
|
|
38
|
+
* Build the `{ concept, content }` map a run expects from the form values.
|
|
39
|
+
*
|
|
40
|
+
* The two ways a method says "this may be nothing" land differently on the wire,
|
|
41
|
+
* and both matter:
|
|
42
|
+
* - an **optional (`?`)** input left blank is OMITTED, so the runtime records a
|
|
43
|
+
* real absence the method can branch on - sending `{ text: "" }` would look
|
|
44
|
+
* like the caller supplied an empty string;
|
|
45
|
+
* - a **plural (`[]`)** input keeps its key, because a plural slot is never
|
|
46
|
+
* absent - its empty form IS the empty list, and the runtime requires the key.
|
|
47
|
+
* When that list is EMPTY it is sent BARE, without the envelope: the envelope
|
|
48
|
+
* is the runtime's "explicit form", which bypasses the top-down shaper and
|
|
49
|
+
* hands the value to the bottom-up factory, and that factory types a list from
|
|
50
|
+
* its first item - so an empty list there raises "Cannot create Stuff from
|
|
51
|
+
* empty list in content". The bare form keeps the shaper, which reads the
|
|
52
|
+
* DECLARED concept and builds the empty list correctly. (pipelex/#1096 makes
|
|
53
|
+
* the envelope agree; the bare form runs today and stays correct after.)
|
|
54
|
+
*/
|
|
55
|
+
declare function apiInputsFromRunValues(values: Dict, fields: RunField[], inputSchemas: InputSchemas): Record<string, unknown>;
|
|
56
|
+
/** One named output pulled out of a run's working memory, ready to render. */
|
|
57
|
+
interface OutputEntry {
|
|
58
|
+
/** The output variable key (mono). */
|
|
59
|
+
key: string;
|
|
60
|
+
conceptRef?: string;
|
|
61
|
+
value: unknown;
|
|
62
|
+
}
|
|
63
|
+
/**
|
|
64
|
+
* Split a run's pipe output into the main result and any intermediate outputs,
|
|
65
|
+
* excluding the inputs. The main output's identity comes from the working
|
|
66
|
+
* memory's `main_stuff` alias (the authoritative pointer to the output variable)
|
|
67
|
+
* - so its label is the REAL stuff name, not a positional guess. Falls back to
|
|
68
|
+
* the last produced stuff only when the alias is absent.
|
|
69
|
+
*/
|
|
70
|
+
declare function outputsFromPipeOutput(pipeOutput: unknown, inputKeys: string[]): {
|
|
71
|
+
main: OutputEntry;
|
|
72
|
+
intermediates: OutputEntry[];
|
|
73
|
+
} | null;
|
|
74
|
+
/**
|
|
75
|
+
* Recover the inputs a run was executed with from its working memory. The run's
|
|
76
|
+
* `working_memory.root` holds every named stuff - inputs AND outputs - keyed by
|
|
77
|
+
* variable name; we pull the entries whose keys are declared inputs and deflate
|
|
78
|
+
* their `content` (the full form shape) back into the store's simplified
|
|
79
|
+
* `inputData`. Lets the runner repopulate the form for a past/shared run - the
|
|
80
|
+
* inputs that produced the result. Returns `null` when no inputs are present.
|
|
81
|
+
*/
|
|
82
|
+
declare function inputDataFromWorkingMemory(workingMemory: unknown, inputSchemas: InputSchemas): Dict | null;
|
|
83
|
+
/** Field descriptors for a method's main pipe. */
|
|
84
|
+
declare function fieldsForContract(contract: PipeIOContract | undefined): RunField[];
|
|
85
|
+
/**
|
|
86
|
+
* Immutably set a value at a dotted/indexed path (`a.0.b`). Used to write an
|
|
87
|
+
* uploaded file's URL back to a field anywhere in the (possibly nested) tree.
|
|
88
|
+
*/
|
|
89
|
+
declare function setValueAtPath(root: Dict, path: string[], value: unknown): Dict;
|
|
90
|
+
|
|
91
|
+
export { type OutputEntry, apiInputsFromRunValues, fieldsForContract, inputDataFromWorkingMemory, outputsFromPipeOutput, rjsfDataFromRunValues, runValuesFromStore, setValueAtPath, storeInputDataFromRunValues };
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
export { apiInputsFromRunValues, fieldsForContract, inputDataFromWorkingMemory, outputsFromPipeOutput, rjsfDataFromRunValues, runValuesFromStore, setValueAtPath, storeInputDataFromRunValues } from '../chunk-WXBSM2CE.js';
|
|
2
|
+
import '../chunk-7BMOPXDY.js';
|
|
3
|
+
import '../chunk-PM55AHRO.js';
|
|
4
|
+
import '../chunk-VMLXO5JS.js';
|
|
5
|
+
import '../chunk-O4O3QNVC.js';
|
|
6
|
+
import '../chunk-HARYEWNG.js';
|
|
7
|
+
import '../chunk-V3OV2XQT.js';
|
|
8
|
+
import '../chunk-GKV77RAS.js';
|
|
9
|
+
import '../chunk-NMT7BRLO.js';
|
|
10
|
+
//# sourceMappingURL=values.js.map
|
|
11
|
+
//# sourceMappingURL=values.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"values.js"}
|
|
@@ -0,0 +1,95 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Converts between the simplified inputs.json format and the full RJSF form format.
|
|
3
|
+
*
|
|
4
|
+
* The inputs.json file uses a SIMPLIFIED format for users:
|
|
5
|
+
* - Text: "my text" (instead of { text: "my text" })
|
|
6
|
+
* - Document: "file.pdf" or { url: "..." } (instead of { url: "...", ... })
|
|
7
|
+
* - Image: same as Document
|
|
8
|
+
* - Text[]: ["t1", "t2"]
|
|
9
|
+
* - Document[]: ["f1.pdf"] or [{ url: "..." }]
|
|
10
|
+
* - Custom: { concept, content } (no simplification)
|
|
11
|
+
*
|
|
12
|
+
* The RJSF form uses the FULL concept structure from the json_schema.
|
|
13
|
+
*
|
|
14
|
+
* Two directions:
|
|
15
|
+
* - deflate: form (full) → inputs.json (simplified) - for writing inputs.json / API calls
|
|
16
|
+
* - inflate: inputs.json (simplified) → form (full) - for populating the form from inputs.json
|
|
17
|
+
*/
|
|
18
|
+
/**
|
|
19
|
+
* Convert a single form value to the simplified inputs.json format.
|
|
20
|
+
* Used when writing inputs.json and when calling the run API.
|
|
21
|
+
*
|
|
22
|
+
* Rules:
|
|
23
|
+
* - Text { text: "hello" } → "hello"
|
|
24
|
+
* - Document { url: "file.pdf", ... } → "file.pdf" (if only url) or { url, ... }
|
|
25
|
+
* - Image: same as Document
|
|
26
|
+
* - Page: same as Document
|
|
27
|
+
* - List types → array of deflated items
|
|
28
|
+
* - Custom → { concept, content }
|
|
29
|
+
*/
|
|
30
|
+
declare function deflateInput(value: unknown, conceptCode: string): unknown;
|
|
31
|
+
/**
|
|
32
|
+
* Convert a simplified inputs.json value to the full form structure.
|
|
33
|
+
* Used when populating the RJSF form from inputs.json.
|
|
34
|
+
*
|
|
35
|
+
* Rules:
|
|
36
|
+
* - "hello" → { text: "hello" } (for Text concepts)
|
|
37
|
+
* - "file.pdf" → { url: "file.pdf" } (for Document/Image/Page concepts)
|
|
38
|
+
* - { url: "..." } → passthrough (already full)
|
|
39
|
+
* - ["t1", "t2"] → inflated array of items
|
|
40
|
+
* - { concept, content } → content (for custom concepts)
|
|
41
|
+
*/
|
|
42
|
+
declare function inflateInput(value: unknown, conceptCode: string): unknown;
|
|
43
|
+
interface InputSchema {
|
|
44
|
+
concept_ref: string;
|
|
45
|
+
json_schema?: Record<string, unknown>;
|
|
46
|
+
}
|
|
47
|
+
/**
|
|
48
|
+
* The validation API returns concept_ref WITHOUT the [] suffix for list inputs.
|
|
49
|
+
* The array-ness is only encoded in json_schema.type === "array".
|
|
50
|
+
* This helper resolves the correct concept ref by checking the schema.
|
|
51
|
+
*/
|
|
52
|
+
declare function resolveConceptCode(schema: InputSchema): string;
|
|
53
|
+
/**
|
|
54
|
+
* Deflate all inputs from form format to simplified inputs.json format.
|
|
55
|
+
* Used by InputConfigPanel when preparing data for the run API.
|
|
56
|
+
*/
|
|
57
|
+
declare function deflateAllInputs(formData: Record<string, unknown>, inputSchemas: Record<string, InputSchema>): Record<string, unknown>;
|
|
58
|
+
/**
|
|
59
|
+
* Heal values against their json_schema: the run-form bridge used to
|
|
60
|
+
* double-wrap plain string properties as `{ text: "..." }` (fixed in
|
|
61
|
+
* run-values.ts, but the corrupted shape survives in persisted inputData -
|
|
62
|
+
* store and server copies). Wherever the schema expects a string but the
|
|
63
|
+
* value is a lone `{ text: string }` wrapper, unwrap it. Walks nested
|
|
64
|
+
* objects and arrays, resolving `#/$defs/...` refs against the root schema;
|
|
65
|
+
* anything already valid passes through untouched.
|
|
66
|
+
*/
|
|
67
|
+
declare function healStringWrappers(value: unknown, rawSchema: Record<string, unknown> | undefined, defs?: Record<string, Record<string, unknown>>): unknown;
|
|
68
|
+
/**
|
|
69
|
+
* Drop optional properties the user never filled, so an untouched field cannot
|
|
70
|
+
* fail validation or reach the API as an empty string.
|
|
71
|
+
*
|
|
72
|
+
* RJSF fills EVERY unset string property with `""` on mount. That is harmless
|
|
73
|
+
* for a plain string, but `prepareSchemaForRjsf` collapses pydantic's
|
|
74
|
+
* `anyOf: [T, null]` by dropping the null branch, so an optional *constrained*
|
|
75
|
+
* field - `DateContent.time`, declared `datetime.time | None` and rendered
|
|
76
|
+
* `{ type: "string", format: "time" }` - is left demanding a well-formed time.
|
|
77
|
+
* `""` is not one, and the run was blocked on a field the user never opened.
|
|
78
|
+
*
|
|
79
|
+
* Pruning is the semantically correct repair, not a validation dodge: for
|
|
80
|
+
* pipelex an absent optional field IS `None`, and `""` would fail pydantic at
|
|
81
|
+
* the runner just as it fails ajv here. Only properties absent from their
|
|
82
|
+
* parent's `required` are dropped - an empty REQUIRED field must still fail, so
|
|
83
|
+
* the user is told about it.
|
|
84
|
+
*
|
|
85
|
+
* What counts as empty is `isEmptyAfterPruning`, and it includes an optional
|
|
86
|
+
* STRUCTURE the user never opened, on exactly the same grounds.
|
|
87
|
+
*/
|
|
88
|
+
declare function pruneEmptyOptionals(value: unknown, rawSchema: Record<string, unknown> | undefined, defs?: Record<string, Record<string, unknown>>): unknown;
|
|
89
|
+
/**
|
|
90
|
+
* Inflate all inputs from simplified inputs.json format to form format.
|
|
91
|
+
* Used by onInputUpdate when receiving inputs.json changes from the sandbox.
|
|
92
|
+
*/
|
|
93
|
+
declare function inflateAllInputs(simplifiedData: Record<string, unknown>, inputSchemas: Record<string, InputSchema>): Record<string, unknown>;
|
|
94
|
+
|
|
95
|
+
export { deflateAllInputs, deflateInput, healStringWrappers, inflateAllInputs, inflateInput, pruneEmptyOptionals, resolveConceptCode };
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
export { deflateAllInputs, deflateInput, healStringWrappers, inflateAllInputs, inflateInput, pruneEmptyOptionals, resolveConceptCode } from '../chunk-7BMOPXDY.js';
|
|
2
|
+
import '../chunk-O4O3QNVC.js';
|
|
3
|
+
import '../chunk-V3OV2XQT.js';
|
|
4
|
+
import '../chunk-GKV77RAS.js';
|
|
5
|
+
import '../chunk-NMT7BRLO.js';
|
|
6
|
+
//# sourceMappingURL=wire-format.js.map
|
|
7
|
+
//# sourceMappingURL=wire-format.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"wire-format.js"}
|