git.iko.soy/jibb
on master help sign in
Infer a source-backed API request gate
dde791ciko
docs/compiler.md+3−1
compare with master
unifiedsplit
@@ -102,6 +102,8 @@ For a unique supported declaration, `+api-request-parts` retains that evidence w
102
102
103`+api-support-analysis-source` additionally infers supported ordinary API molds and values, resolves every declared mark, and retains their source, dependency and path evidence. Unsupported helpers or marks fail closed. An unused `/-` core is not independently validated, ordinary definitions that need derived gates remain unsupported, and this result is not a checked API interface or an exported request.
103`+api-support-analysis-source` additionally infers supported ordinary API molds and values, resolves every declared mark, and retains their source, dependency and path evidence. Unsupported helpers or marks fail closed. An unused `/-` core is not independently validated, ordinary definitions that need derived gates remain unsupported, and this result is not a checked API interface or an exported request.
104
104
105+The ordinary import resolver can expose a derived request-gate type for one plain API path with one full mark, no parameters, diffs or scry, and no other imports or definitions. Its sample is a reply gate from the full mark type to a fresh `M`; its result is `(ask M)`. Imported uses instantiate `M` independently. The complete checked source bundle, prelude, reserved scope, reader inputs, canonical API and case identities travel in a nonrecursive graph certificate across library imports. Cached interfaces must match those inputs and cannot hide an active ancestor; unknown legacy entries are rebuilt from their unique supplied source. Request-bearing closures are limited to 256 paths and requests. These are trusted type-analysis artifacts: no request lowering, runtime schema validation or value watchability proof is supplied. Other API request shapes remain unsupported.
106+
105`+golden-types-with-prelude` accepts case-local Jibb module sources alongside `/sur` and mark results and the vendored prelude source. It resolves reachable ordinary library modules in dependency order, caching completed interfaces per invocation and exporting supported closed value schemes, direct generic unions, and simple or nonrecursive generic mold aliases whose bodies the fragment supports. It detects missing sources and cycles and rejects a dependency if its interface cannot be inferred by the fragment. Qualified wings can also read nested fields of an imported value, instantiating that value’s scheme independently at each use; missing, ambiguous and non-record fields remain unsupported.
107`+golden-types-with-prelude` accepts case-local Jibb module sources alongside `/sur` and mark results and the vendored prelude source. It resolves reachable ordinary library modules in dependency order, caching completed interfaces per invocation and exporting supported closed value schemes, direct generic unions, and simple or nonrecursive generic mold aliases whose bodies the fragment supports. It detects missing sources and cycles and rejects a dependency if its interface cannot be inferred by the fragment. Qualified wings can also read nested fields of an imported value, instantiating that value’s scheme independently at each use; missing, ambiguous and non-record fields remain unsupported.
106
108
107The supplied prelude is parsed into a **partial interface**: all names actually declared in the source are reserved, while only the molds and values this fragment can infer are available. These include the validated standard `list` mold, `unit`, the doc-exact generic `cmd` union, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc`, `turn`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury` and `curr`; unsupported entries remain unavailable. The validated `list` is injected while the prelude’s gates are inferred; `weld` and `turn` use ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through a direct or transitive mold alias. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. A named prelude union keeps the fixed `/lib/jibb/prelude/jibb` origin in every module, and its name remains unqualified when a library exports a type containing it. The prelude inventory is incomplete, so reserving the names in this source does not establish complete shadowing coverage. The source-backed internal prelude defines `poke`, which the public prelude re-exports as an ordinary transparent type. A dedicated trusted internal-prelude preparation path also supplies private comparison and arithmetic schemes for the Jibb-written `gth`, `add` and `dec` wrappers. Ordinary module resolution rejects that primitive path even if a caller supplies a spoofed root or bundle. The low-level prepared interface is still trusted host input; the host must select the vendored sources and canonicalize paths. Primitive execution and shape-based jet recognition are not implemented. The source-backed `add` and `dec` wrappers use private arithmetic interfaces whose shared atom variable excludes loobeans; the partial checker preserves that constraint through supported inference and prints `where A is an atom other than ?`. Length and primitive execution remain unavailable. The partial checker resolves its supported source shape, preserves its public name, and rejects ordinary imports of the private internal path. An imported API with one mark and a matching direct `+$ poke` declaration can export a derived constructor and retain agent/mark metadata when the source representation has the supported agent case. Other API shapes, complete private module checking, root API and kind checking, stores, complete `ask` and `pure` checking, lowering and runtime effects remain unfinished. A possible store or root API declaring `+$ poke` reports that kind or scope needs unsupported inference; definite duplicate declarations and unrelated shadowing still report conflicts. Prepared interfaces and caches are trusted caller inputs; the future host and linker must ensure the private source validated during preparation is the same version used to lower derived constructors. A `*` payload may contain gates, so the fragment treats it conservatively; full gate-free checks are unfinished. The shared module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship.
109The supplied prelude is parsed into a **partial interface**: all names actually declared in the source are reserved, while only the molds and values this fragment can infer are available. These include the validated standard `list` mold, `unit`, the doc-exact generic `cmd` union, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc`, `turn`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury` and `curr`; unsupported entries remain unavailable. The validated `list` is injected while the prelude’s gates are inferred; `weld` and `turn` use ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through a direct or transitive mold alias. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. A named prelude union keeps the fixed `/lib/jibb/prelude/jibb` origin in every module, and its name remains unqualified when a library exports a type containing it. The prelude inventory is incomplete, so reserving the names in this source does not establish complete shadowing coverage. The source-backed internal prelude defines `poke`, which the public prelude re-exports as an ordinary transparent type. A dedicated trusted internal-prelude preparation path also supplies private comparison and arithmetic schemes for the Jibb-written `gth`, `add` and `dec` wrappers. Ordinary module resolution rejects that primitive path even if a caller supplies a spoofed root or bundle. The low-level prepared interface is still trusted host input; the host must select the vendored sources and canonicalize paths. Primitive execution and shape-based jet recognition are not implemented. The source-backed `add` and `dec` wrappers use private arithmetic interfaces whose shared atom variable excludes loobeans; the partial checker preserves that constraint through supported inference and prints `where A is an atom other than ?`. Length and primitive execution remain unavailable. The partial checker resolves its supported source shape, preserves its public name, and rejects ordinary imports of the private internal path. An imported API with one mark and a matching direct `+$ poke` declaration can export a derived constructor and retain agent/mark metadata when the source representation has the supported agent case. Other API shapes, complete private module checking, root API and kind checking, stores, complete `ask` and `pure` checking, lowering and runtime effects remain unfinished. A possible store or root API declaring `+$ poke` reports that kind or scope needs unsupported inference; definite duplicate declarations and unrelated shadowing still report conflicts. Prepared interfaces and caches are trusted caller inputs; the future host and linker must ensure the private source validated during preparation is the same version used to lower derived constructors. A `*` payload may contain gates, so the fragment treats it conservatively; full gate-free checks are unfinished. The shared module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship.
@@ -119,7 +121,7 @@ And the design notes:
119
121
120Source-backed `like` maps the product of an existing `(like A)` result while retaining its position and remaining input. The partial checker infers supported positional calls by peeling only known sample-slot faces, retaining faces belonging to values; ambiguous variable-bound spines and nested face loss remain unsupported. Backend execution remains outstanding.
122Source-backed `like` maps the product of an existing `(like A)` result while retaining its position and remaining input. The partial checker infers supported positional calls by peeling only known sample-slot faces, retaining faces belonging to values; ambiguous variable-bound spines and nested face loss remain unsupported. Backend execution remains outstanding.
121
123
122−The internal prelude defines transparent `(ask M)` cases for pure, agent and store requests; the public prelude re-exports it and defines `pure` in Jibb. Preparation supplies the private module with `list.core` and `unit.core` only from validated canonical public templates. If a template is unavailable, an isolated check validates the private molds, but only molds independently inferred against the actual available templates enter the interface. The partial checker infers supported constructors and exhaustive matches; absent versus present-zero state remains distinguishable. Agent and store receiver fields carry raw nouns and cannot prove schema validity or watchability. Generated decoders, source-bound runtime validation, derived request gates, `sub` and island watch checks remain unfinished. Public prelude preparation is partial: consumers must verify that `ask` was actually exported with its source origin.
124+The internal prelude defines transparent `(ask M)` cases for pure, agent and store requests; the public prelude re-exports it and defines `pure` in Jibb. Preparation supplies the private module with `list.core` and `unit.core` only from validated canonical public templates. If a template is unavailable, an isolated check validates the private molds, but only molds independently inferred against the actual available templates enter the interface. The partial checker infers supported constructors and exhaustive matches; absent versus present-zero state remains distinguishable. Agent and store receiver fields carry raw nouns and cannot prove schema validity or watchability. Generated decoders, source-bound runtime validation, request lowering, other derived request shapes, `sub` and island watch checks remain unfinished. Public prelude preparation is partial: consumers must verify that `ask` was actually exported with its source origin.
123
125
124Public identity aliases of private generic unions retain their public name when the origin, arity and argument order match exactly, including through imported values. Fixed, reordered, repeated and phantom generic aliases remain unsupported where a safe public name cannot be recovered; a fixed nongeneric alias is not printed as though it accepted type arguments.
126Public identity aliases of private generic unions retain their public name when the origin, arity and argument order match exactly, including through imported values. Fixed, reordered, repeated and phantom generic aliases remain unsupported where a safe public name cannot be recovered; a fixed nongeneric alias is not printed as though it accepted type arguments.
125
127
docs/development.md+2
@@ -74,6 +74,7 @@ git clone https://github.com/urbit/tools /root/src/tools
74| `tools/type-positional-face-guards-test` | Runs positional-call and nested-face guards under eval and on the ship |
74| `tools/type-positional-face-guards-test` | Runs positional-call and nested-face guards under eval and on the ship |
75| `tools/type-qath-guards-test` | Runs source-provenance, recursive unfolding and face guards under eval and on the ship |
75| `tools/type-qath-guards-test` | Runs source-provenance, recursive unfolding and face guards under eval and on the ship |
76| `tools/type-ask-guards-test` | Runs ask origin and canonical list/unit bootstrap guards under eval and on the ship |
76| `tools/type-ask-guards-test` | Runs ask origin and canonical list/unit bootstrap guards under eval and on the ship |
77+| `tools/type-request-guards-test` | Runs request evidence, source consistency and cache provenance guards under eval and on the ship |
77| `tools/type-proj-guards-test` | Runs projection evidence, name-scope and dependency guards under eval and on the ship |
78| `tools/type-proj-guards-test` | Runs projection evidence, name-scope and dependency guards under eval and on the ship |
78| `tools/type-arithmetic-guards-test` | Runs restricted atom-variable, unification and projection guards under eval and on the ship |
79| `tools/type-arithmetic-guards-test` | Runs restricted atom-variable, unification and projection guards under eval and on the ship |
79| `tools/type-module-scope-test` | Checks the partial module checker’s prelude boundary and duplicate-source rejection against `tests/type-module-scope/expected.txt` under eval |
80| `tools/type-module-scope-test` | Checks the partial module checker’s prelude boundary and duplicate-source rejection against `tests/type-module-scope/expected.txt` under eval |
@@ -106,6 +107,7 @@ tools/type-generic-alias-test # generic union alias guards pass
106tools/type-positional-face-guards-test # positional sample face guards pass
107tools/type-positional-face-guards-test # positional sample face guards pass
107tools/type-qath-guards-test # qath source and unfolding guards pass
108tools/type-qath-guards-test # qath source and unfolding guards pass
108tools/type-ask-guards-test # ask source and bootstrap guards pass
109tools/type-ask-guards-test # ask source and bootstrap guards pass
110+tools/type-request-guards-test # request evidence and cache guards pass
109tools/type-proj-guards-test # projection evidence and scope guards pass
111tools/type-proj-guards-test # projection evidence and scope guards pass
110tools/type-arithmetic-guards-test # arithmetic constraint guards pass
112tools/type-arithmetic-guards-test # arithmetic constraint guards pass
111tools/type-module-scope-test # module/prelude scope golden report matches
113tools/type-module-scope-test # module/prelude scope golden report matches
docs/status.md+11−8
@@ -25,17 +25,19 @@ On 2026-10-31, @iko chose explicit, result-directed `(proj record)` to construct
25
25
26The internal prelude also defines `qath` as a transparent recursive knot sequence, re-exported by the public prelude. The partial checker recognizes its source identity, supports selected null/cell construction and matching, and types static application-path literals. Other recursive shapes, broader patterns and dynamic application-path segments remain unsupported. A 256-step limit applies per inference attempt, not to parsing or retries; checking routes and static files remains milestone 4.
26The internal prelude also defines `qath` as a transparent recursive knot sequence, re-exported by the public prelude. The partial checker recognizes its source identity, supports selected null/cell construction and matching, and types static application-path literals. Other recursive shapes, broader patterns and dynamic application-path segments remain unsupported. A 256-step limit applies per inference attempt, not to parsing or retries; checking routes and static files remains milestone 4.
27
27
28−The internal prelude defines a transparent generic `ask` with pure, agent and store cases, re-exported alongside the Jibb-written `pure` gate. The partial checker infers supported constructors and exhaustive matches. Agent and store receivers operate on raw nouns; their fields do not prove schema validity or watchability. Derived requests, checked decoding, runtime validation, `sub` and island watch checking remain unimplemented.
28+The internal prelude defines a transparent generic `ask` with pure, agent and store cases, re-exported alongside the Jibb-written `pure` gate. The partial checker infers supported constructors and exhaustive matches. Agent and store receivers operate on raw nouns; their fields do not prove schema validity or watchability. Request lowering, checked decoding, runtime validation, `sub` and island watch checking remain unimplemented.
29
29
30The API path analyzer can retain its source, complete prepared prelude, reader results and resolved dependencies as evidence, and classify a unique declaration as watchable, not watchable or unknown. It does not yet prove the provenance of request values or check island subscriptions. Prepared artifacts and reader results remain trusted host inputs.
30The API path analyzer can retain its source, complete prepared prelude, reader results and resolved dependencies as evidence, and classify a unique declaration as watchable, not watchable or unknown. It does not yet prove the provenance of request values or check island subscriptions. Prepared artifacts and reader results remain trusted host inputs.
31
31
32−For a unique supported path declaration, the request-parts analysis derives ordered typed path parameters, a full-state reply sample and a fold type for one diff mark. Multiple diffs and unsupported or ambiguous evidence fail closed. It does not yet create callable request gates or establish watchability of values.
32+For a unique supported path declaration, the request-parts analysis derives ordered typed path parameters, a full-state reply sample and a fold type for one diff mark. Multiple diffs and unsupported or ambiguous evidence fail closed. By itself it does not create request gates or establish watchability of values.
33
33
34A separate supporting-definition analysis infers supported ordinary API molds and values and resolves all declared marks, retaining their source and dependency evidence. It fails closed on unsupported helpers or marks; unused `/-` cores are not independently validated, and definitions depending on derived gates remain unsupported. This does not check or export the whole API.
34A separate supporting-definition analysis infers supported ordinary API molds and values and resolves all declared marks, retaining their source and dependency evidence. It fails closed on unsupported helpers or marks; unused `/-` cores are not independently validated, and definitions depending on derived gates remain unsupported. This does not check or export the whole API.
35
35
36+Ordinary imports can infer the derived request-gate type for an API consisting of one plain path and one full mark, with no parameters, diffs, scry or additional definitions. The callback consumes that mark's type and produces a fresh `M`; the request result is `(ask M)`. Source-qualified request evidence and exact trusted graph inputs survive transitive imports and cached interfaces, while stale or ambiguous evidence fails closed. Unknown legacy cached entries are rebuilt from their supplied source. This is a narrow type-only interface: request execution, schema validation and proof that a request value is watchable remain unimplemented.
37+
36The Hoon reader's tagged-union source proof also handles `$~` default wrappers. A shared eval and ship golden exercises the unmodified Tlon `epic.saga` mold as a named payload in a labeled downstream extension, alongside overlap, recursive, shadow and malformed-wrapper controls. The tagged-source helper peels at most four consecutive defaults; defaults inside dependency proofs spend the existing semantic-node budget. Other unverified nested unions and dependencies remain unsupported.
38The Hoon reader's tagged-union source proof also handles `$~` default wrappers. A shared eval and ship golden exercises the unmodified Tlon `epic.saga` mold as a named payload in a labeled downstream extension, alongside overlap, recursive, shadow and malformed-wrapper controls. The tagged-source helper peels at most four consecutive defaults; defaults inside dependency proofs spend the existing semantic-node budget. Other unverified nested unions and dependencies remain unsupported.
37
39
38−The repository spec records the subsequent type-system and prelude decisions, including the chosen `like` result-mapping gate; those changes also need synchronization to the Claude document. An initial inference fragment and a standalone Hoon type reader are being tested. The fragment explicitly reports that it does not check a module; partial bridges pass Hoon `*` in supported nonrecursive molds, selected Hoon atoms, term singletons, the null singleton, the two loobean singletons and their exact fork, nested faced or unfaced cells, supported disjoint unions and opaque standard collections from `/sur` molds and marks into inference. Collections retain their names and supported arguments for printing and unification; nested supported union arguments are retained too. The bridge trusts unchanged results from the source-aware reader; a materialized type graph alone cannot reveal cases Hoon already collapsed. The source-validated standard prelude `list` mold shares this representation with imported lists; other Jibb-written collection molds and most prelude collection operations remain unsupported; malformed names and arities fail closed. Selected self-recursive `/sur` molds, including Tlon `notes.import-node` with list-wrapped self references, cross as opaque module-and-name identities; aliases, foreign references, recursive marks, unfolding and construction remain unsupported. The reader handles mark samples, including a source-proved nonrecursive union from a single Ford-imported `/sur` core, recursive molds whose origins can be verified through Ford imports, nested collections, direct ordered maps, including source-validated named operands such as Tlon `notes.log`, certain ordered-map fields, direct `$^` unions whose cases can be proved disjoint, and one verified explicit union argument in a list, set, map or unit. Tagged `$%` cases can additionally use restricted local named payload molds, bare `~` fields and one level of local named tagged unions, as in real Tlon `notes`, with bounded source proof; unsupported or ambiguous dependencies fail closed. Ambiguous recursive origins fail closed; recognizable explicit unions are checked from source before Hoon can collapse their cases, as @iko confirmed for imported `$%`, `$?` and `$^`, while other nested unions, nested ordered maps, general union disjointness and complete import integration remain unfinished. Opt-in structured reader APIs preserve successful graphs and distinguish definite unsupported-aura and core evidence from failures the reader cannot prove; unverified union disjointness and name-only vase recognition remain unsupported. They revalidate and re-walk failed types. An opt-in partial checker entry point consumes unchanged reader results and reports definite aura or core errors at imported mold use sites when their inputs are unique. Ordered replay covers nested cell samples, record and function casts, and non-generic same-module aliases; unsupported prefixes, cycles and shadowing stop it. Union molds, generic applications, transitive modules and unsupported reader outcomes remain generic. Replay repeats inference and may add work. The partial checker resolves a subset of ordinary library imports in dependency order using supplied Jibb sources and a source-derived partial prelude interface, caches completed interfaces per run, detects missing sources and cycles, and resolves nested fields of imported values with independent scheme instantiation. The source-backed internal prelude defines `poke` and the public prelude re-exports it as a transparent type. A dedicated trusted preparation path supplies private comparison and arithmetic schemes to the Jibb-written `gth`, `add` and `dec` wrappers; ordinary imports cannot access them. The public `add` and `dec` wrappers use private arithmetic interfaces; supported inference preserves the shared atom constraint that excludes loobeans. Primitive execution, jet recognition and length remain unfinished. The partial checker resolves its supported source shape and rejects ordinary imports of the private path. An imported API with one mark and a matching direct `+$ poke` declaration can export a constructor and retain agent/mark metadata when the representation has the supported agent case. A separate partial analysis resolves supported API path declarations and their full and diff mark types, including the todo paths; it does not create requests or check an API module. Complete private module checking, other API shapes, request gates, root API and kind checking, stores, complete `ask` and `pure` checking, lowering and runtime effects remain unfinished. A possible store or root API with `+$ poke` reports unsupported kind or scope, while definite duplicates and unrelated shadowing still report conflicts. The prelude includes the doc-exact generic `cmd` union; the prelude inventory is incomplete. The inference fragment supports unrestricted `@`, selected one-way widenings including aura-family ancestors, generalized atom constraints arising from explicit capitals or bare sample binders, acyclic local value definitions with captures, selected single self-recursive top-level and local gates, simple and nonrecursive generic mold aliases, selected faced record casts and field reads, and contextual tags, `~` and constructors for closed disjoint unions, including direct nonrecursive generic unions and propagation through complete loobean and unit-shaped branches in casts and known union-sample calls, including nested branches. Known loobean result context also propagates through supported complete branches and binder-only cell arms; binder-only arms over union subjects remain unsupported. A directly known named union can instantiate an unconstrained generic gate sample with its origin, generic arguments and faces preserved; unnamed, pending, recursive and variable-bound cases remain unsupported. A known gate with an unresolved result variable can receive a known enclosing result type before its arguments are inferred; unknown calls and unresolved targets remain conservative. Multi-argument calls form a right-nested sample, retain known faces and shared type variables, and can use known sample positions to contextualize list and union arguments. A definite mismatch points to the failing argument when the fragment can establish it, otherwise to the combined sample; unsupported contextual forms still fail closed. For a supported recursive gate, the checker infers the sample first and uses its exact type, including field faces, for one monomorphic self reference. It generalizes after the body is checked; subsequent uses instantiate it independently. Incompatible recursive arguments can report the gate and argument sites. For a complete loobean branch with one direct self-call arm, a separately inferred closed base type can seed the recursive result before the whole body is checked. Open or pending base types do not seed it; other branch shapes remain subject to the fragment’s existing limits. A supported single local recursive gate also uses a monomorphic self reference and generalizes variables free of the enclosing environment after checking its body; captured variables remain shared. The checker collects written capitals per `++` before inference, excluding nested definitions: a capital used in an enclosing definition is shared with its locals even when written later, while a capital introduced only in a local definition is generalized there. Sibling locals can introduce independent capitals with the same spelling; generic mold parameters keep their own scope. Top-level groups of syntactic gates are inferred together with monomorphic placeholders and shared substitutions, then generalized only after the whole group checks; downstream uses and library interfaces instantiate those schemes independently. A dependency graph identifies groups with two iterative depth-first passes; its conservative local-reference edges can reject otherwise valid programs. Supported local mutually recursive gate groups also use shared monomorphic placeholders and generalize only after the group checks, preserving captured outer variables. A bounded dependency proof reports certain non-gate cycles through values and gates when an explicit atom or loobean result cast and simple unshadowed expressions establish the cycle. Other mixed gate/value cycles, polymorphic recursion, unresolved literal constraints and unresolved branch joins remain unsupported. Reporting repeats inference for a single recursive gate outside a group; grouped reports use the stored schemes. Its performance cost remains unmeasured. A single-arm cell pattern accepts two or more binders, the last capturing the remaining tail; duplicate and shadowed binders are rejected. A structured single-arm pattern also works for a known non-union cell when coverage is proven, including nested literal and wildcard positions. Intermediate union or collection tails, nested patterns, wildcards and faced records remain unsupported. String interpolation accepts known atom auras, unrestricted `@`, tapes and isolated decimal literals; a known cell asks for a printer, and an explicitly generic atom asks for an aura. Loobeans, term singletons, non-tape collections, open types and a type fixed only later remain unsupported. A known closed union with two or more arms supports patterns that provably cover or exclude each remaining case, including payload binders, imported and generic cases, and binder-free catch-alls. Partial boolean patterns can split known `?` positions into their two noun values, up to 64 alternatives across the union; binders retain their original case type. Missing alternatives and covered arms are reported. Other partial patterns, expansions above the limit, binders spanning distinct cases, differing arm result types and some complex two-arm subjects remain unsupported. A cast or known call sample can supply result context through whole-case arms and supported finite loobean refinements for a known union accessed by a wing, a grouped wing or a supported shallow call, including nested cell and list positions; other partial-pattern contexts and subject forms remain unsupported. The Grammar’s `step` block infers in this fragment, but its module is not yet checked. A bare tag proved absent from a known union reports the union and tag sites in casts, single-argument calls, unit payloads, list items and supported branch arms; imported unnamed unions print their cases. Ordered fit replay can identify a missing tag nested in a syntactic tuple, stopping at an earlier mismatch or uncertainty. Known faced records support uniquely named field changes, including nested wings, with field context passed to replacements and the original record type retained. Missing fields, empty changes and definite mismatches report sites; the expected-type site is the edit because the original field declaration location is not retained. Unknown or partly unfaced spines, ambiguous fields and repeated edits remain unsupported. A known record cast supplies field context to its tuple or record initializer, including nested list and union fields; mismatch diagnostics use the cast mold because the original field declaration location is not retained. Isolated cart-style `init` and `update` expressions infer, while the complete cart-store fails closed because its kind and declaration scope remain unchecked. Uncontextualized list literals infer a fresh element type, including empty and nested lists, with independently generalized uses. Unresolved item tags and uncertain widening remain unsupported. Backtick unit construction uses the validated standard prelude unit template, infers its payload without losing pending constraints, and makes the prelude’s `some` available. Ordinary result annotations also let its `bind`, `biff`, `both`, `clap`, `clef` and `flit` infer. A known unit in a cast, call, list item or record field supplies context to its payload, including nested units and lists; mismatches identify the payload and context. Unrelated union identities, some variable-dependent fits, and missing or altered prelude unit templates remain unsupported. Contextual null-headed cells fit their cases, but do not supply a `|=%$` constructor; unresolved nulls remain pending and are reported separately from tags. A known union of `~` and a null-headed cell supports a complete `~` / `[~ value]` branch in either order, including shadow checks; unknown subjects, missing or duplicate arms, and unresolved branch results remain unsupported. This fragment infers the prelude’s `fall` and `need` signatures. With the validated prelude list and a known cast or gate sample, empty, nonempty and nested list literals infer their element types, including contextual union tags; a mismatched element names both sites. In that context `~` and zero-valued terms fit an empty list, and two-item unfaced cells form cons lists, including nested cons and imported-list contexts; invalid heads or tails name both sites. A known gate sample also supplies context to matching positions in a single tuple or record argument, including nested cells; zero literals can fit list positions. A bound zero constant remains unsupported rather than a definite mismatch, and an unknown callee does not supply context. Faced or longer cells and a missing or altered prelude list fail closed. A known list result also supplies context through complete loobean, unit-shaped and list-shaped branches, including recursive and nested branches. For a known standard list with a supported element type, a complete `~` / `[item rest]` branch infers the element and tail types in either arm order and checks binders for shadowing. Unknown subjects, unsupported element types and other or incomplete list patterns remain unsupported. A value with type variable `A` can fit a field whose type is that same `A`, including in generic union payloads and nested or repeated record fields. Other variable-dependent face merges remain unsupported. Forced equality of distinct written capitals now reports both source sites, following @iko’s decision; forcing one to a concrete type remains unsupported. Imported record spines with repeated faces fail closed where used, but only with a generic unsupported diagnostic. Hoon may erase unfaced nested-cell boundaries, so the check can conservatively reject valid names in distinct erased scopes. Supported closed unions print using an in-scope name or imported alias; an unnamed nongeneric union prints its cases, parenthesized when nested. The latter is print-only. Generic union types retain all arguments in their printed name; if that name is unavailable, the partial printer reports the limitation. Different import faces for the same origin remain compatible; compatibility across distinct union origins and some generic-argument comparisons remain unsupported. Nonrecursive generic aliases can reorder, repeat or omit parameters while retaining a union’s origin, including through local scopes and library interfaces. A generic union declared directly inside a body remains unsupported, as do differing-variable face constraints in a union payload. A transitive generic union whose name is unavailable is reported as unsupported instead of hiding its arguments. Unfixed decimal literals default to `@ud` in gate-free inferred types; recursive molds, general branch tag context, other constraint cases and defaulting inside gate types still need work. Collection recognition checks the originating core and fails closed on shadows or unsupported Ford subject shapes; a wrapper regression also rejects forged subjects, samples and tails. Its golden fixtures include three real Tlon files. A Clay test passes a Ford-built nested union through the reader into partial inference. The partial prelude includes `murn`, `join`, `snip`, `rear` and the agreed shared-type `clap`; supported calls infer, while backend validation remains outstanding, and [prelude-inventory.md](prelude-inventory.md) is a source audit, not the complete inventory or signatures. The milestone remains unfinished.
40+The repository spec records the subsequent type-system and prelude decisions, including the chosen `like` result-mapping gate; those changes also need synchronization to the Claude document. An initial inference fragment and a standalone Hoon type reader are being tested. The fragment explicitly reports that it does not check a module; partial bridges pass Hoon `*` in supported nonrecursive molds, selected Hoon atoms, term singletons, the null singleton, the two loobean singletons and their exact fork, nested faced or unfaced cells, supported disjoint unions and opaque standard collections from `/sur` molds and marks into inference. Collections retain their names and supported arguments for printing and unification; nested supported union arguments are retained too. The bridge trusts unchanged results from the source-aware reader; a materialized type graph alone cannot reveal cases Hoon already collapsed. The source-validated standard prelude `list` mold shares this representation with imported lists; other Jibb-written collection molds and most prelude collection operations remain unsupported; malformed names and arities fail closed. Selected self-recursive `/sur` molds, including Tlon `notes.import-node` with list-wrapped self references, cross as opaque module-and-name identities; aliases, foreign references, recursive marks, unfolding and construction remain unsupported. The reader handles mark samples, including a source-proved nonrecursive union from a single Ford-imported `/sur` core, recursive molds whose origins can be verified through Ford imports, nested collections, direct ordered maps, including source-validated named operands such as Tlon `notes.log`, certain ordered-map fields, direct `$^` unions whose cases can be proved disjoint, and one verified explicit union argument in a list, set, map or unit. Tagged `$%` cases can additionally use restricted local named payload molds, bare `~` fields and one level of local named tagged unions, as in real Tlon `notes`, with bounded source proof; unsupported or ambiguous dependencies fail closed. Ambiguous recursive origins fail closed; recognizable explicit unions are checked from source before Hoon can collapse their cases, as @iko confirmed for imported `$%`, `$?` and `$^`, while other nested unions, nested ordered maps, general union disjointness and complete import integration remain unfinished. Opt-in structured reader APIs preserve successful graphs and distinguish definite unsupported-aura and core evidence from failures the reader cannot prove; unverified union disjointness and name-only vase recognition remain unsupported. They revalidate and re-walk failed types. An opt-in partial checker entry point consumes unchanged reader results and reports definite aura or core errors at imported mold use sites when their inputs are unique. Ordered replay covers nested cell samples, record and function casts, and non-generic same-module aliases; unsupported prefixes, cycles and shadowing stop it. Union molds, generic applications, transitive modules and unsupported reader outcomes remain generic. Replay repeats inference and may add work. The partial checker resolves a subset of ordinary library imports in dependency order using supplied Jibb sources and a source-derived partial prelude interface, caches completed interfaces per run, detects missing sources and cycles, and resolves nested fields of imported values with independent scheme instantiation. The source-backed internal prelude defines `poke` and the public prelude re-exports it as a transparent type. A dedicated trusted preparation path supplies private comparison and arithmetic schemes to the Jibb-written `gth`, `add` and `dec` wrappers; ordinary imports cannot access them. The public `add` and `dec` wrappers use private arithmetic interfaces; supported inference preserves the shared atom constraint that excludes loobeans. Primitive execution, jet recognition and length remain unfinished. The partial checker resolves its supported source shape and rejects ordinary imports of the private path. An imported API with one mark and a matching direct `+$ poke` declaration can export a constructor and retain agent/mark metadata when the representation has the supported agent case. A separate partial analysis resolves supported API path declarations and their full and diff mark types, including the todo paths; it does not by itself create requests or check an API module. Ordinary imports additionally infer the narrow one-path, one-full-mark request-gate type described above. Complete private module checking, other API shapes, request lowering, root API and kind checking, stores, complete `ask` and `pure` checking and runtime effects remain unfinished. A possible store or root API with `+$ poke` reports unsupported kind or scope, while definite duplicates and unrelated shadowing still report conflicts. The prelude includes the doc-exact generic `cmd` union; the prelude inventory is incomplete. The inference fragment supports unrestricted `@`, selected one-way widenings including aura-family ancestors, generalized atom constraints arising from explicit capitals or bare sample binders, acyclic local value definitions with captures, selected single self-recursive top-level and local gates, simple and nonrecursive generic mold aliases, selected faced record casts and field reads, and contextual tags, `~` and constructors for closed disjoint unions, including direct nonrecursive generic unions and propagation through complete loobean and unit-shaped branches in casts and known union-sample calls, including nested branches. Known loobean result context also propagates through supported complete branches and binder-only cell arms; binder-only arms over union subjects remain unsupported. A directly known named union can instantiate an unconstrained generic gate sample with its origin, generic arguments and faces preserved; unnamed, pending, recursive and variable-bound cases remain unsupported. A known gate with an unresolved result variable can receive a known enclosing result type before its arguments are inferred; unknown calls and unresolved targets remain conservative. Multi-argument calls form a right-nested sample, retain known faces and shared type variables, and can use known sample positions to contextualize list and union arguments. A definite mismatch points to the failing argument when the fragment can establish it, otherwise to the combined sample; unsupported contextual forms still fail closed. For a supported recursive gate, the checker infers the sample first and uses its exact type, including field faces, for one monomorphic self reference. It generalizes after the body is checked; subsequent uses instantiate it independently. Incompatible recursive arguments can report the gate and argument sites. For a complete loobean branch with one direct self-call arm, a separately inferred closed base type can seed the recursive result before the whole body is checked. Open or pending base types do not seed it; other branch shapes remain subject to the fragment’s existing limits. A supported single local recursive gate also uses a monomorphic self reference and generalizes variables free of the enclosing environment after checking its body; captured variables remain shared. The checker collects written capitals per `++` before inference, excluding nested definitions: a capital used in an enclosing definition is shared with its locals even when written later, while a capital introduced only in a local definition is generalized there. Sibling locals can introduce independent capitals with the same spelling; generic mold parameters keep their own scope. Top-level groups of syntactic gates are inferred together with monomorphic placeholders and shared substitutions, then generalized only after the whole group checks; downstream uses and library interfaces instantiate those schemes independently. A dependency graph identifies groups with two iterative depth-first passes; its conservative local-reference edges can reject otherwise valid programs. Supported local mutually recursive gate groups also use shared monomorphic placeholders and generalize only after the group checks, preserving captured outer variables. A bounded dependency proof reports certain non-gate cycles through values and gates when an explicit atom or loobean result cast and simple unshadowed expressions establish the cycle. Other mixed gate/value cycles, polymorphic recursion, unresolved literal constraints and unresolved branch joins remain unsupported. Reporting repeats inference for a single recursive gate outside a group; grouped reports use the stored schemes. Its performance cost remains unmeasured. A single-arm cell pattern accepts two or more binders, the last capturing the remaining tail; duplicate and shadowed binders are rejected. A structured single-arm pattern also works for a known non-union cell when coverage is proven, including nested literal and wildcard positions. Intermediate union or collection tails, nested patterns, wildcards and faced records remain unsupported. String interpolation accepts known atom auras, unrestricted `@`, tapes and isolated decimal literals; a known cell asks for a printer, and an explicitly generic atom asks for an aura. Loobeans, term singletons, non-tape collections, open types and a type fixed only later remain unsupported. A known closed union with two or more arms supports patterns that provably cover or exclude each remaining case, including payload binders, imported and generic cases, and binder-free catch-alls. Partial boolean patterns can split known `?` positions into their two noun values, up to 64 alternatives across the union; binders retain their original case type. Missing alternatives and covered arms are reported. Other partial patterns, expansions above the limit, binders spanning distinct cases, differing arm result types and some complex two-arm subjects remain unsupported. A cast or known call sample can supply result context through whole-case arms and supported finite loobean refinements for a known union accessed by a wing, a grouped wing or a supported shallow call, including nested cell and list positions; other partial-pattern contexts and subject forms remain unsupported. The Grammar’s `step` block infers in this fragment, but its module is not yet checked. A bare tag proved absent from a known union reports the union and tag sites in casts, single-argument calls, unit payloads, list items and supported branch arms; imported unnamed unions print their cases. Ordered fit replay can identify a missing tag nested in a syntactic tuple, stopping at an earlier mismatch or uncertainty. Known faced records support uniquely named field changes, including nested wings, with field context passed to replacements and the original record type retained. Missing fields, empty changes and definite mismatches report sites; the expected-type site is the edit because the original field declaration location is not retained. Unknown or partly unfaced spines, ambiguous fields and repeated edits remain unsupported. A known record cast supplies field context to its tuple or record initializer, including nested list and union fields; mismatch diagnostics use the cast mold because the original field declaration location is not retained. Isolated cart-style `init` and `update` expressions infer, while the complete cart-store fails closed because its kind and declaration scope remain unchecked. Uncontextualized list literals infer a fresh element type, including empty and nested lists, with independently generalized uses. Unresolved item tags and uncertain widening remain unsupported. Backtick unit construction uses the validated standard prelude unit template, infers its payload without losing pending constraints, and makes the prelude’s `some` available. Ordinary result annotations also let its `bind`, `biff`, `both`, `clap`, `clef` and `flit` infer. A known unit in a cast, call, list item or record field supplies context to its payload, including nested units and lists; mismatches identify the payload and context. Unrelated union identities, some variable-dependent fits, and missing or altered prelude unit templates remain unsupported. Contextual null-headed cells fit their cases, but do not supply a `|=%$` constructor; unresolved nulls remain pending and are reported separately from tags. A known union of `~` and a null-headed cell supports a complete `~` / `[~ value]` branch in either order, including shadow checks; unknown subjects, missing or duplicate arms, and unresolved branch results remain unsupported. This fragment infers the prelude’s `fall` and `need` signatures. With the validated prelude list and a known cast or gate sample, empty, nonempty and nested list literals infer their element types, including contextual union tags; a mismatched element names both sites. In that context `~` and zero-valued terms fit an empty list, and two-item unfaced cells form cons lists, including nested cons and imported-list contexts; invalid heads or tails name both sites. A known gate sample also supplies context to matching positions in a single tuple or record argument, including nested cells; zero literals can fit list positions. A bound zero constant remains unsupported rather than a definite mismatch, and an unknown callee does not supply context. Faced or longer cells and a missing or altered prelude list fail closed. A known list result also supplies context through complete loobean, unit-shaped and list-shaped branches, including recursive and nested branches. For a known standard list with a supported element type, a complete `~` / `[item rest]` branch infers the element and tail types in either arm order and checks binders for shadowing. Unknown subjects, unsupported element types and other or incomplete list patterns remain unsupported. A value with type variable `A` can fit a field whose type is that same `A`, including in generic union payloads and nested or repeated record fields. Other variable-dependent face merges remain unsupported. Forced equality of distinct written capitals now reports both source sites, following @iko’s decision; forcing one to a concrete type remains unsupported. Imported record spines with repeated faces fail closed where used, but only with a generic unsupported diagnostic. Hoon may erase unfaced nested-cell boundaries, so the check can conservatively reject valid names in distinct erased scopes. Supported closed unions print using an in-scope name or imported alias; an unnamed nongeneric union prints its cases, parenthesized when nested. The latter is print-only. Generic union types retain all arguments in their printed name; if that name is unavailable, the partial printer reports the limitation. Different import faces for the same origin remain compatible; compatibility across distinct union origins and some generic-argument comparisons remain unsupported. Nonrecursive generic aliases can reorder, repeat or omit parameters while retaining a union’s origin, including through local scopes and library interfaces. A generic union declared directly inside a body remains unsupported, as do differing-variable face constraints in a union payload. A transitive generic union whose name is unavailable is reported as unsupported instead of hiding its arguments. Unfixed decimal literals default to `@ud` in gate-free inferred types; recursive molds, general branch tag context, other constraint cases and defaulting inside gate types still need work. Collection recognition checks the originating core and fails closed on shadows or unsupported Ford subject shapes; a wrapper regression also rejects forged subjects, samples and tails. Its golden fixtures include three real Tlon files. A Clay test passes a Ford-built nested union through the reader into partial inference. The partial prelude includes `murn`, `join`, `snip`, `rear` and the agreed shared-type `clap`; supported calls infer, while backend validation remains outstanding, and [prelude-inventory.md](prelude-inventory.md) is a source audit, not the complete inventory or signatures. The milestone remains unfinished.
39
41
40The shared prelude interface reserves every name present in the supplied vendored source and makes only supported inferred entries available, including `list`, `unit`, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc` and `turn`. The validated standard `list` mold is injected when the prelude’s own gates are inferred; `weld` and `turn` have ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through direct or transitive mold aliases. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. Unsupported entries such as most list helpers remain reserved but unavailable; backend validation of the helpers remains outstanding. All callers use the same prelude origin, so a library can export a type containing unqualified `(unit A)` to another module. The source-only `+prepare-prelude` rejects empty, malformed, conflicting or import-bearing source; `+prepare-prelude-with-internal` also accepts the supported private internal import. Prepared values are trusted and must come unchanged from the matching preparation arm. When canonical public list or unit templates are missing or altered, independently inferred private molds remain available, while molds that depend on those templates do not. The module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship. The source and checker remain incomplete, so this does not establish complete shadowing coverage or a checked module.
42The shared prelude interface reserves every name present in the supplied vendored source and makes only supported inferred entries available, including `list`, `unit`, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc` and `turn`. The validated standard `list` mold is injected when the prelude’s own gates are inferred; `weld` and `turn` have ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through direct or transitive mold aliases. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. Unsupported entries such as most list helpers remain reserved but unavailable; backend validation of the helpers remains outstanding. All callers use the same prelude origin, so a library can export a type containing unqualified `(unit A)` to another module. The source-only `+prepare-prelude` rejects empty, malformed, conflicting or import-bearing source; `+prepare-prelude-with-internal` also accepts the supported private internal import. Prepared values are trusted and must come unchanged from the matching preparation arm. When canonical public list or unit templates are missing or altered, independently inferred private molds remain available, while molds that depend on those templates do not. The module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship. The source and checker remain incomplete, so this does not establish complete shadowing coverage or a checked module.
41
43
@@ -55,8 +57,8 @@ What the plan asks for, and where it is:
55
57
56Besides the plan's list:
58Besides the plan's list:
57
59
58−- 637 golden cases: 417 that parse and 220 that fail, each failure at a stated line and column. One failing case has an unclear expectation (corpus question 3). The newer type-output cases exercise only the partial inference fragment. Each case's `about.txt` quotes the doc's words it tests.
60+- 638 golden cases: 418 that parse and 220 that fail, each failure at a stated line and column. One failing case has an unclear expectation (corpus question 3). The newer type-output cases exercise only the partial inference fragment. Each case's `about.txt` quotes the doc's words it tests.
59−- The 637-case corpus passed under `urbit eval` in 89.7 s while other checks were running. The fake ship passed all 658 tests, including the importer, importer/checker and mark/checker bridges, module scope, unification, hole, qath, ask, default-wrapper importer, projection, arithmetic, generic-alias, positional-face and API-evidence guards, with 60.3 s for sync and 81.5 s for tests. The importer golden compares 221 projections; `tools/clay-fixtures` builds the example Hoon fixtures through Clay, checks a recursive Ford import's origin, and passes Clay-built types through the Clay-built importer and partial checker.
61+- The 638-case corpus passed under `urbit eval` in 90.4 s while other checks were running. The fake ship passed all 660 tests, including the importer, importer/checker and mark/checker bridges, module scope, unification, hole, qath, ask, default-wrapper importer, projection, arithmetic, generic-alias, positional-face, API-evidence and request guards, with 64.3 s for sync and 80.5 s for tests. The importer golden compares 221 projections; `tools/clay-fixtures` builds the example Hoon fixtures through Clay, checks a recursive Ford import's origin, and passes Clay-built types through the Clay-built importer and partial checker.
60- `tools/testdata/selftest` (22 checks), `tools/testdata/ship-selftest` and `tools/testdata/clay-fixtures-selftest` test the tools themselves; the last checks temporary Clay fixture cleanup and signal handling without a ship.
62- `tools/testdata/selftest` (22 checks), `tools/testdata/ship-selftest` and `tools/testdata/clay-fixtures-selftest` test the tools themselves; the last checks temporary Clay fixture cleanup and signal handling without a ship.
61- Two independent audits before 7c739b7, one of which compared the library with a reference parser written in Python from the doc over about 19,000 generated programs. Before ab797a9, a second Python parser, written from the decisions, agreed with the library on 8,000 generated programs and 900 hand-written probes.
63- Two independent audits before 7c739b7, one of which compared the library with a reference parser written in Python from the doc over about 19,000 generated programs. Before ab797a9, a second Python parser, written from the decisions, agreed with the library on 8,000 generated programs and 900 hand-written probes.
62- Speed: starting `urbit eval` and building the library takes about 8 s. After that, a 2,000-line module of 400 definitions parses in about a second. Loops over definitions, arms, lines and items grow no stack; nesting costs a few stack frames a level, and 100,000 nested brackets still parse (library section 3).
64- Speed: starting `urbit eval` and building the library takes about 8 s. After that, a 2,000-line module of 400 definitions parses in about a second. Loops over definitions, arms, lines and items grow no stack; nesting costs a few stack frames a level, and 100,000 nested brackets still parse (library section 3).
@@ -147,14 +149,15 @@ Besides the plan's list:
147| f69493d | 2026-10-31 | Derive supported request components from API declarations |
149| f69493d | 2026-10-31 | Derive supported request components from API declarations |
148| f0f6954 | 2026-10-31 | Analyze supported API helper definitions and declared marks |
150| f0f6954 | 2026-10-31 | Analyze supported API helper definitions and declared marks |
149| 3f55af7 | 2026-10-31 | Define source-backed transparent ask and pure |
151| 3f55af7 | 2026-10-31 | Define source-backed transparent ask and pure |
150−| This change | 2026-10-31 | Prove selected default-wrapped Hoon unions from source |
152+| ae1ec26 | 2026-10-31 | Prove selected default-wrapped Hoon unions from source |
153+| This change | 2026-10-31 | Infer a source-backed request-gate type through ordinary imports |
151
154
152## Checking it
155## Checking it
153
156
154On a machine set up as [development.md](development.md) says:
157On a machine set up as [development.md](development.md) says:
155
158
156```
159```
157−tools/golden # 637 cases under urbit eval
160+tools/golden # 638 cases under urbit eval
158tools/importer-test # the Hoon importer fixture projection
161tools/importer-test # the Hoon importer fixture projection
159tools/type-import-default-test # default-wrapped source proof golden
162tools/type-import-default-test # default-wrapped source proof golden
160tools/type-import-test # the importer/checker bridge fixture
163tools/type-import-test # the importer/checker bridge fixture
@@ -176,7 +179,7 @@ tools/testdata/selftest # the tools themselves
176tools/doc-blocks docs/spec # the doc's examples are golden cases
179tools/doc-blocks docs/spec # the doc's examples are golden cases
177tools/ship start
180tools/ship start
178tools/ship gen-tests --check # tests/lib/jibb.hoon is up to date
181tools/ship gen-tests --check # tests/lib/jibb.hoon is up to date
179−tools/ship test # the same 637 cases as -test arms on the ship
182+tools/ship test # the same 638 cases as -test arms on the ship
180tools/testdata/ship-selftest
183tools/testdata/ship-selftest
181tools/testdata/clay-fixtures-selftest # scratch fixture cleanup without a ship
184tools/testdata/clay-fixtures-selftest # scratch fixture cleanup without a ship
182tools/ship check-commit # |commit stores .jibb files
185tools/ship check-commit # |commit stores .jibb files
jibb-dev/lib/jibb.hoon+305−13
@@ -4628,6 +4628,21 @@
4628:: proofs to fewer than 1,024 cells; the projection planner has a separate
4628:: proofs to fewer than 1,024 cells; the projection planner has a separate
4629:: 4,096-step bound. These are inference limits, not language limits.
4629:: 4,096-step bound. These are inference limits, not language limits.
4630::
4630::
4631+:: A single plain API path with one full mark can expose a polymorphic
4632+:: request-gate type through ordinary imports. Its source-derived schema,
4633+:: canonical API path and complete dependency evidence travel with checked
4634+:: interfaces. The closure is bound to the exact supplied bundle, prelude,
4635+:: scope and trusted reader results; unknown cached entries are rebuilt.
4636+:: Request-bearing closures are limited to 256 source paths and requests.
4637+:: This is type inference only: there is no request lowering, runtime schema
4638+:: validator or proof that an arbitrary ask value is watchable.
4639+::
4640+:: In one synthetic eval of a 48-module deep and 48-module wide request-free
4641+:: graph, baseline versus certificate inference took 21.53 s versus 23.10 s
4642+:: elapsed (21.10 s versus 22.34 s CPU), including startup. The deep cache's
4643+:: jam grew from 2,402 to 4,209 bytes (+1,807 bytes). These single-run figures
4644+:: are not production memory or performance benchmarks.
4645+::
4631+$ itype
4646+$ itype
4632 $~ [%var 0]
4647 $~ [%var 0]
4633 $% [%var id=@ud]
4648 $% [%var id=@ud]
@@ -5396,7 +5411,15 @@
5396+$ iderived [name=term agent=term mark=term]
5411+$ iderived [name=term agent=term mark=term]
5397+$ iwidth-definition [name=term original=expr typ=itype sub=isub projections=(list iwprojection)]
5412+$ iwidth-definition [name=term original=expr typ=itype sub=isub projections=(list iwprojection)]
5398+$ iwidth-dependency [at=path source=(unit @t) definitions=(list iwidth-definition)]
5413+$ iwidth-dependency [at=path source=(unit @t) definitions=(list iwidth-definition)]
5414+:: Nonrecursive request evidence is compiler-owned metadata, not a property
5415+:: of an arbitrary ask value. Reader graphs and source inputs are trusted.
5416++$ irequest-evidence
5417+ [api-at=path name=term path=iapi-path-typed api-source=@t public-source=@t internal-source=@t prelude-values=(list term) prelude-molds=(list term) externals=iexternals marks=imark-externals]
5418+:: A unit distinguishes a verified empty closure from a detached legacy file.
5419+:: The opaque prelude is an exact trusted input, not a recursive interface mold.
5420++$ irequest-graph
5421+ [paths=(set path) requests=(list irequest-evidence) bundle-input=* prelude-input=* prelude-values=(list term) prelude-molds=(list term) externals=iexternals marks=imark-externals]
5399−+$ ifile [values=ienv molds=imold-types at=path derived=(list iderived) elaborations=(list iwidth-definition) dependencies=(list iwidth-dependency) source=(unit @t)]
5422++$ ifile [values=ienv molds=imold-types at=path derived=(list iderived) elaborations=(list iwidth-definition) dependencies=(list iwidth-dependency) source=(unit @t) graph=(unit irequest-graph)]
5400+$ ijimports (list [face=term interface=ifile])
5423+$ ijimports (list [face=term interface=ifile])
5401+$ icap [name=@t id=@ud at=span]
5424+$ icap [name=@t id=@ud at=span]
5402+$ icaps (list icap)
5425+$ icaps (list icap)
@@ -10086,7 +10109,7 @@
10086 =/ plus=ischeme [[%fn [%cell b b] b] ~[0]]
10109 =/ plus=ischeme [[%fn [%cell b b] b] ~[0]]
10087 =/ minus=ischeme [[%fn b b] ~[0]]
10110 =/ minus=ischeme [[%fn b b] ~[0]]
10088 =/ greater=ischeme [[%fn pair [%flag ~]] ~[0]]
10111 =/ greater=ischeme [[%fn pair [%flag ~]] ~[0]]
10089− [~[[%raw-add plus] [%raw-dec minus] [%raw-gth greater]] ~ /lib/jibb/primitives/jibb ~ ~ ~ ~]
10112+ [~[[%raw-add plus] [%raw-dec minus] [%raw-gth greater]] ~ /lib/jibb/primitives/jibb ~ ~ ~ ~ ~]
10090::
10113::
10091++ infer-private-internal
10114++ infer-private-internal
10092 |= [src=@t public-source=@t]
10115 |= [src=@t public-source=@t]
@@ -10129,7 +10152,7 @@
10129 =/ unit-molds=imolds ~[[%unit u.unit-decl]]
10152 =/ unit-molds=imolds ~[[%unit u.unit-decl]]
10130 =/ unit-state=istate [0 ~ ~ ~ unit-molds ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ | /lib/jibb/prelude/jibb ~[%unit] ~ ~ 256 ~]
10153 =/ unit-state=istate [0 ~ ~ ~ unit-molds ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ | /lib/jibb/prelude/jibb ~[%unit] ~ ~ 256 ~]
10131 =/ unit-types=imold-types (partial-prelude-molds unit-molds unit-state)
10154 =/ unit-types=imold-types (partial-prelude-molds unit-molds unit-state)
10132− =/ unit-iface=ifile [~ unit-types /lib/jibb/prelude/jibb ~ ~ ~ ~]
10155+ =/ unit-iface=ifile [~ unit-types /lib/jibb/prelude/jibb ~ ~ ~ ~ ~]
10133 =/ found=(unit ischeme) (find-jibb-mold %unit unit-iface)
10156 =/ found=(unit ischeme) (find-jibb-mold %unit unit-iface)
10134 ?~ found ~
10157 ?~ found ~
10135 ?. (standard-unit-template u.found /lib/jibb/prelude/jibb) ~
10158 ?. (standard-unit-template u.found /lib/jibb/prelude/jibb) ~
@@ -10165,7 +10188,7 @@
10165 =/ resolution=iresolved (resolve-groups defs.mod molds globals ~ ~ ~ ~ js reserved at ~)
10188 =/ resolution=iresolved (resolve-groups defs.mod molds globals ~ ~ ~ ~ js reserved at ~)
10166 =/ env=ienv env.resolution
10189 =/ env=ienv env.resolution
10167 ?. (module-values-complete defs.mod env) ~
10190 ?. (module-values-complete defs.mod env) ~
10168− `[env u.usable at ~ artifacts.resolution ~ `src]
10191+ `[env u.usable at ~ artifacts.resolution ~ `src ~]
10169::
10192::
10170++ partial-prelude-interface-with-internal
10193++ partial-prelude-interface-with-internal
10171 |= [src=@t internal-source=(unit @t)]
10194 |= [src=@t internal-source=(unit @t)]
@@ -10205,9 +10228,9 @@
10205 =/ mold-prelude=(unit ifile)
10228 =/ mold-prelude=(unit ifile)
10206 ?~ declared-list ~
10229 ?~ declared-list ~
10207 ?. (standard-prelude-list u.declared-list) ~
10230 ?. (standard-prelude-list u.declared-list) ~
10208− `[~ ~[[%list [[%collection %list ~[[%var 0]]] ~[0]]]] at ~ ~ ~ ~]
10231+ `[~ ~[[%list [[%collection %list ~[[%var 0]]] ~[0]]]] at ~ ~ ~ ~ ~]
10209 =/ mt=imold-types (partial-prelude-molds molds state(prelude mold-prelude))
10232 =/ mt=imold-types (partial-prelude-molds molds state(prelude mold-prelude))
10210− =/ partial=ifile [~ mt at ~ ~ ~ ~]
10233+ =/ partial=ifile [~ mt at ~ ~ ~ ~ ~]
10211 :: An explicitly qualified re-export must resolve. Other unsupported
10234 :: An explicitly qualified re-export must resolve. Other unsupported
10212 :: prelude declarations remain reserved but absent from the interface.
10235 :: prelude declarations remain reserved but absent from the interface.
10213 =/ required=imolds
10236 =/ required=imolds
@@ -10224,7 +10247,7 @@
10224 =/ deps=(list iwidth-dependency)
10247 =/ deps=(list iwidth-dependency)
10225 ?~ u.private ~
10248 ?~ u.private ~
10226 ~[[at.interface.i.u.private source.interface.i.u.private elaborations.interface.i.u.private]]
10249 ~[[at.interface.i.u.private source.interface.i.u.private elaborations.interface.i.u.private]]
10227− `[env mt at ~ artifacts.resolution deps `src]
10250+ `[env mt at ~ artifacts.resolution deps `src ~]
10228::
10251::
10229++ partial-prelude-interface
10252++ partial-prelude-interface
10230 |= src=@t
10253 |= src=@t
@@ -10275,6 +10298,66 @@
10275 ?: =(at at.i.cache) `iface.i.cache
10298 ?: =(at at.i.cache) `iface.i.cache
10276 $(cache t.cache)
10299 $(cache t.cache)
10277::
10300::
10301+:: These certificates retain the complete checked source closure. The
10302+:: trusted host must supply the identical prepared prelude and reader nouns.
10303+:: Exact bundle equality binds all source paths and versions; the set
10304+:: retains transitive paths for active-cycle checks. Request-bearing graphs
10305+:: alone have a size limit; incompatible diamond evidence fails closed.
10306+++ request-graph-requests-add
10307+ |= [pending=(list irequest-evidence) acc=(list irequest-evidence) fuel=@ud]
10308+ ^- (unit (list irequest-evidence))
10309+ ?~ pending `acc
10310+ ?: =(0 fuel) ~
10311+ =/ hit=(list irequest-evidence)
10312+ (skim acc |=(x=irequest-evidence &(=(api-at.x api-at.i.pending) =(name.x name.i.pending))))
10313+ ?^ hit
10314+ ?. ?=([* ~] hit) ~
10315+ ?. =(i.hit i.pending) ~
10316+ $(pending t.pending, fuel (dec fuel))
10317+ $(pending t.pending, acc [i.pending acc], fuel (dec fuel))
10318+++ request-graph-inputs-match
10319+ |= [g=irequest-graph externals=iexternals marks=imark-externals modules=jbundle values=(list term) molds=(list term) prelude=(unit ifile)]
10320+ ^- ?
10321+ ?& =(bundle-input.g modules)
10322+ =(prelude-input.g prelude)
10323+ =(prelude-values.g values)
10324+ =(prelude-molds.g molds)
10325+ =(externals.g externals)
10326+ =(marks.g marks)
10327+ ==
10328+++ request-graph-merge
10329+ |= [imports=ijimports g=irequest-graph fuel=@ud]
10330+ ^- (unit irequest-graph)
10331+ ?~ imports `g
10332+ ?: =(0 fuel) ~
10333+ =/ child=ifile interface.i.imports
10334+ ?~ graph.child ~
10335+ =/ cg=irequest-graph u.graph.child
10336+ ?. ?& =(bundle-input.g bundle-input.cg)
10337+ =(prelude-input.g prelude-input.cg)
10338+ =(prelude-values.g prelude-values.cg)
10339+ =(prelude-molds.g prelude-molds.cg)
10340+ =(externals.g externals.cg)
10341+ =(marks.g marks.cg)
10342+ ==
10343+ ~
10344+ =/ merged=(set path) (~(uni in:..zuse paths.g) paths.cg)
10345+ =/ rs=(unit (list irequest-evidence))
10346+ (request-graph-requests-add requests.cg requests.g (add 1 (lent requests.cg)))
10347+ ?~ rs ~
10348+ ?: &(?=(^ u.rs) |((gth (lent ~(tap in:..zuse merged)) 256) (gth (lent u.rs) 256))) ~
10349+ $(imports t.imports, g g(paths merged, requests u.rs), fuel (dec fuel))
10350+++ request-graph-reusable
10351+ |= [f=ifile src=@t externals=iexternals marks=imark-externals modules=jbundle active=(list path) values=(list term) molds=(list term) prelude=(unit ifile)]
10352+ ^- ?
10353+ ?~ source.f |
10354+ ?. =(u.source.f src) |
10355+ ?~ graph.f |
10356+ =/ g=irequest-graph u.graph.f
10357+ ?. (request-graph-inputs-match g externals marks modules values molds prelude) |
10358+ ?. (~(has in:..zuse paths.g) at.f) |
10359+ !(lien active |=(p=path (~(has in:..zuse paths.g) p)))
10360+::
10278++ resolve-jibb-imports
10361++ resolve-jibb-imports
10279 |= [imports=(list import) externals=iexternals mark-externals=imark-externals modules=jbundle active=(list path) prelude-values=(list term) prelude-molds=(list term) cache=jcache prelude=(unit ifile)]
10362 |= [imports=(list import) externals=iexternals mark-externals=imark-externals modules=jbundle active=(list path) prelude-values=(list term) prelude-molds=(list term) cache=jcache prelude=(unit ifile)]
10280 ^- jimports-result
10363 ^- jimports-result
@@ -10292,7 +10375,16 @@
10292 ?^ t.found [%| (crip "duplicate module sources: {(spud at)}")]
10375 ?^ t.found [%| (crip "duplicate module sources: {(spud at)}")]
10293 =/ cached=(unit ifile) (find-jibb-cache at cache)
10376 =/ cached=(unit ifile) (find-jibb-cache at cache)
10294 =/ iface=jfile-result
10377 =/ iface=jfile-result
10378+ ?^ cached
10379+ ?. =(at.u.cached at) [%| 'cached module identity needs unsupported inference']
10380+ ?~ graph.u.cached
10381+ :: A detached legacy interface has unknown evidence. Rebuild it
10382+ :: against the current graph, without retaining any stale entry.
10383+ =/ clean=jcache (skim cache |=(x=[at=path iface=ifile] !=(at.x at)))
10384+ (infer-jibb-file at source.i.found externals mark-externals modules [at active] prelude-values prelude-molds clean prelude)
10385+ ?. (request-graph-reusable u.cached source.i.found externals mark-externals modules active prelude-values prelude-molds prelude)
10386+ [%| 'cached module evidence needs unsupported inference']
10295− ?^ cached [%& [u.cached cache]]
10387+ [%& [u.cached cache]]
10296 (infer-jibb-file at source.i.found externals mark-externals modules [at active] prelude-values prelude-molds cache prelude)
10388 (infer-jibb-file at source.i.found externals mark-externals modules [at active] prelude-values prelude-molds cache prelude)
10297 ?: ?=(%| -.iface) [%| p.iface]
10389 ?: ?=(%| -.iface) [%| p.iface]
10298 =/ rest=jimports-result $(imports t.imports, cache cache.p.iface)
10390 =/ rest=jimports-result $(imports t.imports, cache cache.p.iface)
@@ -10542,6 +10634,27 @@
10542 (api-path-analysis p.parsed marks values.u.prepared molds.u.prepared)
10634 (api-path-analysis p.parsed marks values.u.prepared molds.u.prepared)
10543 ?~ paths [%| 'API path declaration needs unsupported analysis']
10635 ?~ paths [%| 'API path declaration needs unsupported analysis']
10544 [%& [file src u.prepared externals marks cache.p.deps u.paths]]
10636 [%& [file src u.prepared externals marks cache.p.deps u.paths]]
10637+:: Graph-aware variant preserves the caller active stack and cache.
10638+++ api-path-evidence-graph
10639+ |= [file=path src=@t externals=iexternals marks=imark-externals modules=jbundle active=(list path) cache=jcache prepared=(unit iprelude)]
10640+ ^- (each iapi-path-evidence @t)
10641+ ?~ active [%| 'API analysis needs an active graph']
10642+ ?. =(i.active file) [%| 'API analysis active graph does not start at the source']
10643+ ?: (lien t.active |=(p=path =(p file))) [%| 'API analysis active graph contains a cycle']
10644+ ?. ?=([%ui %api @ %jibb ~] file) [%| 'API path evidence requires /ui/api/<agent>.jibb']
10645+ =/ parsed (parse file src)
10646+ ?: ?=(%| -.parsed) [%| 'API path evidence source does not parse']
10647+ =/ duplicate=(unit idiag) (duplicate-defs defs.p.parsed)
10648+ ?^ duplicate [%| (show-duplicate-fields file src u.duplicate)]
10649+ ?~ prepared [%| 'API path evidence needs the prepared prelude']
10650+ =/ public=ifile iface.u.prepared
10651+ =/ deps=jimports-result
10652+ (resolve-jibb-imports imports.p.parsed externals marks modules active values.u.prepared molds.u.prepared cache `public)
10653+ ?: ?=(%| -.deps) [%| p.deps]
10654+ =/ paths=(unit (list iapi-path-typed))
10655+ (api-path-analysis p.parsed marks values.u.prepared molds.u.prepared)
10656+ ?~ paths [%| 'API path declaration needs unsupported analysis']
10657+ [%& [file src u.prepared externals marks cache.p.deps u.paths]]
10545::
10658::
10546:: This query classifies a unique path declaration only. Missing evidence
10659:: This query classifies a unique path declaration only. Missing evidence
10547:: or a nonunique name is unknown; it proves nothing about an ask value.
10660:: or a nonunique name is unknown; it proves nothing about an ask value.
@@ -10643,6 +10756,175 @@
10643 =/ resolution=iresolved (resolve-groups ordinary molds globals externals surs marks declared resolved.p.deps reserved file prelude)
10756 =/ resolution=iresolved (resolve-groups ordinary molds globals externals surs marks declared resolved.p.deps reserved file prelude)
10644 ?. (module-values-complete ordinary env.resolution) [%| 'API ordinary definitions need unsupported inference']
10757 ?. (module-values-complete ordinary env.resolution) [%| 'API ordinary definitions need unsupported inference']
10645 [%& [evidence env.resolution p.mts u.mark-types artifacts.resolution]]
10758 [%& [evidence env.resolution p.mts u.mark-types artifacts.resolution]]
10759+:: Preserve the same graph context through supporting definitions.
10760+++ api-support-analysis-graph
10761+ |= [file=path src=@t externals=iexternals marks=imark-externals modules=jbundle active=(list path) cache=jcache prepared=(unit iprelude)]
10762+ ^- (each iapi-support-evidence @t)
10763+ =/ path-result (api-path-evidence-graph file src externals marks modules active cache prepared)
10764+ ?: ?=(%| -.path-result) [%| p.path-result]
10765+ =/ evidence=iapi-path-evidence p.path-result
10766+ =/ parsed (parse file src)
10767+ ?: ?=(%| -.parsed) [%| 'API source does not parse']
10768+ =/ mod=module p.parsed
10769+ =/ ordinary=(list def)
10770+ (skim defs.mod |=(d=def !&(?=(%mold -.d) |(=(%paths name.d) =(%poke name.d)))))
10771+ =/ prep=iprelude prepared.evidence
10772+ ?. (module-scope-valid mod(defs ordinary) values.prep molds.prep) [%| 'API ordinary scope needs unsupported inference']
10773+ =/ vals=(list term) (global-value-names ordinary)
10774+ ?: (lien vals |=(n=term =(n %main))) [%| 'API module kind needs unsupported inference']
10775+ =/ declared=(list term) (collect-mark-imports imports.mod)
10776+ =/ mark-types=(unit (list iapi-mark-type)) (api-diff-types declared marks declared)
10777+ ?~ mark-types [%| 'API declared marks need unsupported inference']
10778+ =/ prelude=(unit ifile) `iface.prep
10779+ =/ deps=jimports-result
10780+ (resolve-jibb-imports imports.mod externals marks modules active values.prep molds.prep dependencies.evidence prelude)
10781+ ?: ?=(%| -.deps) [%| p.deps]
10782+ =/ molds=imolds (collect-simple-molds ordinary)
10783+ =/ globals=(list term) (weld values.prep (weld (import-binding-names imports.mod) vals))
10784+ =/ surs=(list term) (collect-sur-imports imports.mod)
10785+ =/ reserved=(list term) (weld molds.prep (turn resolved.p.deps |=(j=[face=term interface=ifile] face.j)))
10786+ =/ top=(list term) (turn molds |=(m=[name=term body=shape] name.m))
10787+ =/ state=istate [0 ~ ~ ~ molds globals externals surs marks declared resolved.p.deps reserved ~ ~ ~ | file top prelude ~ 256 ~]
10788+ =/ mts=(each imold-types @t) (module-mold-types molds state)
10789+ ?: ?=(%| -.mts) [%| p.mts]
10790+ =/ resolution=iresolved (resolve-groups ordinary molds globals externals surs marks declared resolved.p.deps reserved file prelude)
10791+ ?. (module-values-complete ordinary env.resolution) [%| 'API ordinary definitions need unsupported inference']
10792+ [%& [evidence env.resolution p.mts u.mark-types artifacts.resolution]]
10793+::
10794+:: Type-analysis artifact for one plain request. The resolver may publish
10795+:: its interface only together with trusted source and reader evidence.
10796+:: No lowering or runtime validator exists.
10797+:: Value watchability remains unproved even for a watchable declaration.
10798++$ ione-request-interface
10799+ [support=iapi-support-evidence parts=iapi-request-parts iface=ifile]
10800+++ request-compatible-ask
10801+ |= prelude=iprelude
10802+ ^- (unit ischeme)
10803+ =/ public=ifile iface.prelude
10804+ ?. =(at.public /lib/jibb/prelude/jibb) ~
10805+ =/ ask=(unit ischeme) (find-jibb-mold %ask public)
10806+ ?~ ask ~
10807+ ?. ?=([@ ~] vars.u.ask) ~
10808+ ?. ?=(%union -.typ.u.ask) ~
10809+ ?. =(origin.typ.u.ask `[/lib/jibb/internal/jibb %ask]) ~
10810+ ?. (identity-union-parameters vars.u.ask args.typ.u.ask) ~
10811+ =/ m=@ud i.vars.u.ask
10812+ ?: (itype-var-is-atom m typ.u.ask) ~
10813+ ?. (levy (itype-vars typ.u.ask) |=(n=@ud =(n m))) ~
10814+ ?: (itype-has-tag typ.u.ask) ~
10815+ =/ private=(list iwidth-dependency)
10816+ (skim dependencies.public |=(d=iwidth-dependency =(at.d /lib/jibb/internal/jibb)))
10817+ ?. ?=([* ~] private) ~
10818+ ?~ source.i.private ~
10819+ =/ path=(unit ischeme) (find-jibb-mold %path public)
10820+ ?~ path ~
10821+ ?^ vars.u.path ~
10822+ =/ path-type=itype [%collection %list ~[[%atom %ta]]]
10823+ ?. =(typ.u.path path-type) ~
10824+ =/ unit-template=(unit ischeme) (find-jibb-mold %unit public)
10825+ ?~ unit-template ~
10826+ ?. (standard-unit-template u.unit-template /lib/jibb/prelude/jibb) ~
10827+ =/ state-unit=(unit itype) (template-apply u.unit-template ~[[%noun ~]])
10828+ ?~ state-unit ~
10829+ =/ path-unit=(unit itype) (template-apply u.unit-template ~[path-type])
10830+ ?~ path-unit ~
10831+ =/ output=itype [%cell [%face %state [%noun ~]] [%face %message [%var m]]]
10832+ =/ agent-input=itype [%cell [%face %mark [%atom %tas]] [%cell [%face %state u.state-unit] [%face %fact [%noun ~]]]]
10833+ =/ store-input=itype [%cell [%face %state u.state-unit] [%face %fact [%noun ~]]]
10834+ =/ pure-case=itype [%cell [%const [%term %tas %pure '%pure']] [%face %value [%var m]]]
10835+ =/ agent-case=itype
10836+ [%cell [%const [%term %tas %agent '%agent']] [%cell [%face %api [%atom %t]] [%cell [%face %case [%atom %tas]] [%cell [%face %agent [%atom %tas]] [%cell [%face %path path-type] [%cell [%face %scry u.path-unit] [%face %receive [%fn agent-input output]]]]]]]]
10837+ =/ store-case=itype
10838+ [%cell [%const [%term %tas %store '%store']] [%cell [%face %module [%atom %t]] [%cell [%face %name [%atom %tas]] [%face %receive [%fn store-input output]]]]]
10839+ ?. =(cases.typ.u.ask ~[pure-case agent-case store-case]) ~
10840+ ask
10841+::
10842+:: The first supported standalone API has exactly one mark import and one
10843+:: plain path declaration, with no other definitions or imports. No partial
10844+:: success is published when source, schema, or a required mold is unknown.
10845+++ one-request-interface-source
10846+ |= [file=path src=@t externals=iexternals marks=imark-externals modules=jbundle prepared=(unit iprelude)]
10847+ ^- (each ione-request-interface @t)
10848+ =/ out (api-support-analysis-source file src externals marks modules prepared)
10849+ ?: ?=(%| -.out) [%| p.out]
10850+ =/ support=iapi-support-evidence p.out
10851+ =/ ev=iapi-path-evidence paths.support
10852+ =/ parsed (parse file src)
10853+ ?: ?=(%| -.parsed) [%| 'request source does not parse']
10854+ =/ mod=module p.parsed
10855+ ?. ?=([[%mark *] ~] imports.mod) [%| 'request imports need unsupported inference']
10856+ ?. ?=([[%mold *] ~] defs.mod) [%| 'request definitions need unsupported inference']
10857+ ?. =(%paths name.i.defs.mod) [%| 'request declaration needs unsupported inference']
10858+ ?. ?=([* ~] paths.ev) [%| 'request count needs unsupported inference']
10859+ =/ p=iapi-path-typed i.paths.ev
10860+ =/ parts=(unit iapi-request-parts) (api-request-parts `ev name.path.p)
10861+ ?~ parts [%| 'request components need unsupported inference']
10862+ ?^ parameters.u.parts [%| 'request parameters need unsupported inference']
10863+ ?^ fold.u.parts [%| 'request fold needs unsupported inference']
10864+ ?^ scry.path.p [%| 'request scry needs unsupported inference']
10865+ ?. ?=([* ~] marks.support) [%| 'request marks need unsupported inference']
10866+ ?^ (itype-vars reply-sample.u.parts) [%| 'request payload needs unsupported inference']
10867+ ?: (itype-has-tag reply-sample.u.parts) [%| 'request payload needs unsupported inference']
10868+ =/ ask=(unit ischeme) (request-compatible-ask prepared.ev)
10869+ ?~ ask [%| 'request ask needs unsupported inference']
10870+ =/ result=(unit itype) (template-apply u.ask ~[[%var 0]])
10871+ ?~ result [%| 'request ask needs unsupported inference']
10872+ =/ callback=itype [%fn reply-sample.u.parts [%var 0]]
10873+ =/ scheme=ischeme [[%fn callback u.result] ~[0]]
10874+ =/ mark=iapi-mark-type i.marks.support
10875+ =/ prelude=iprelude prepared.ev
10876+ =/ public=ifile iface.prelude
10877+ ?~ source.public [%| 'request prelude source needs unsupported inference']
10878+ =/ private=(list iwidth-dependency)
10879+ (skim dependencies.public |=(d=iwidth-dependency =(at.d /lib/jibb/internal/jibb)))
10880+ ?. ?=([* ~] private) [%| 'request internal source needs unsupported inference']
10881+ ?~ source.i.private [%| 'request internal source needs unsupported inference']
10882+ =/ req=irequest-evidence
10883+ [file name.path.p p src u.source.public u.source.i.private values.prelude molds.prelude externals marks]
10884+ =/ interface=ifile [~[[name.path.p scheme]] ~[[name.mark [typ.mark ~]]] file ~ ~ ~ `src `[(silt `(list path)`~[file]) ~[req] modules `public values.prelude molds.prelude externals marks]]
10885+ [%& [support u.parts interface]]
10886+:: Graph-aware request artifact; resolver use remains type-only.
10887+++ one-request-interface-graph
10888+ |= [file=path src=@t externals=iexternals marks=imark-externals modules=jbundle active=(list path) cache=jcache prepared=(unit iprelude)]
10889+ ^- (each ione-request-interface @t)
10890+ =/ out (api-support-analysis-graph file src externals marks modules active cache prepared)
10891+ ?: ?=(%| -.out) [%| p.out]
10892+ =/ support=iapi-support-evidence p.out
10893+ =/ ev=iapi-path-evidence paths.support
10894+ =/ parsed (parse file src)
10895+ ?: ?=(%| -.parsed) [%| 'request source does not parse']
10896+ =/ mod=module p.parsed
10897+ ?. ?=([[%mark *] ~] imports.mod) [%| 'request imports need unsupported inference']
10898+ ?. ?=([[%mold *] ~] defs.mod) [%| 'request definitions need unsupported inference']
10899+ ?. =(%paths name.i.defs.mod) [%| 'request declaration needs unsupported inference']
10900+ ?. ?=([* ~] paths.ev) [%| 'request count needs unsupported inference']
10901+ =/ p=iapi-path-typed i.paths.ev
10902+ =/ parts=(unit iapi-request-parts) (api-request-parts `ev name.path.p)
10903+ ?~ parts [%| 'request components need unsupported inference']
10904+ ?^ parameters.u.parts [%| 'request parameters need unsupported inference']
10905+ ?^ fold.u.parts [%| 'request fold needs unsupported inference']
10906+ ?^ scry.path.p [%| 'request scry needs unsupported inference']
10907+ ?. ?=([* ~] marks.support) [%| 'request marks need unsupported inference']
10908+ ?^ (itype-vars reply-sample.u.parts) [%| 'request payload needs unsupported inference']
10909+ ?: (itype-has-tag reply-sample.u.parts) [%| 'request payload needs unsupported inference']
10910+ =/ ask=(unit ischeme) (request-compatible-ask prepared.ev)
10911+ ?~ ask [%| 'request ask needs unsupported inference']
10912+ =/ result=(unit itype) (template-apply u.ask ~[[%var 0]])
10913+ ?~ result [%| 'request ask needs unsupported inference']
10914+ =/ callback=itype [%fn reply-sample.u.parts [%var 0]]
10915+ =/ scheme=ischeme [[%fn callback u.result] ~[0]]
10916+ =/ mark=iapi-mark-type i.marks.support
10917+ =/ prelude=iprelude prepared.ev
10918+ =/ public=ifile iface.prelude
10919+ ?~ source.public [%| 'request prelude source needs unsupported inference']
10920+ =/ private=(list iwidth-dependency)
10921+ (skim dependencies.public |=(d=iwidth-dependency =(at.d /lib/jibb/internal/jibb)))
10922+ ?. ?=([* ~] private) [%| 'request internal source needs unsupported inference']
10923+ ?~ source.i.private [%| 'request internal source needs unsupported inference']
10924+ =/ req=irequest-evidence
10925+ [file name.path.p p src u.source.public u.source.i.private values.prelude molds.prelude externals marks]
10926+ =/ interface=ifile [~[[name.path.p scheme]] ~[[name.mark [typ.mark ~]]] file ~ ~ ~ `src `[(silt `(list path)`~[file]) ~[req] modules `public values.prelude molds.prelude externals marks]]
10927+ [%& [support u.parts interface]]
10646::
10928::
10647++ api-mark-exports
10929++ api-mark-exports
10648 |= [marks=(list term) all=(list term) externals=imark-externals]
10930 |= [marks=(list term) all=(list term) externals=imark-externals]
@@ -10687,7 +10969,7 @@
10687 =/ mark=(unit itype) (find-imported-mark n mark-externals marks)
10969 =/ mark=(unit itype) (find-imported-mark n mark-externals marks)
10688 ?~ mark ~
10970 ?~ mark ~
10689 =/ sc=ischeme [[%fn u.mark typ.u.poke] ~]
10971 =/ sc=ischeme [[%fn u.mark typ.u.poke] ~]
10690− `[~[[n sc]] (api-mark-exports marks marks mark-externals) at ~[[n i.t.t.at n]] ~ ~ ~]
10972+ `[~[[n sc]] (api-mark-exports marks marks mark-externals) at ~[[n i.t.t.at n]] ~ ~ ~ ~]
10691::
10973::
10692++ infer-jibb-file
10974++ infer-jibb-file
10693 |= [at=path src=@t externals=iexternals mark-externals=imark-externals modules=jbundle active=(list path) prelude-values=(list term) prelude-molds=(list term) cache=jcache prelude=(unit ifile)]
10975 |= [at=path src=@t externals=iexternals mark-externals=imark-externals modules=jbundle active=(list path) prelude-values=(list term) prelude-molds=(list term) cache=jcache prelude=(unit ifile)]
@@ -10699,9 +10981,16 @@
10699 ?^ duplicate [%| (show-duplicate-fields at src u.duplicate)]
10981 ?^ duplicate [%| (show-duplicate-fields at src u.duplicate)]
10700 ?: ?=([%ui %api *] at)
10982 ?: ?=([%ui %api *] at)
10701 =/ iface=(unit ifile) (api-poke-interface at mod mark-externals prelude-values prelude-molds prelude)
10983 =/ iface=(unit ifile) (api-poke-interface at mod mark-externals prelude-values prelude-molds prelude)
10702− ?~ iface [%| (crip "API module needs unsupported inference: {(spud at)}")]
10984+ ?^ iface
10703− =/ checked=ifile u.iface(source `src)
10985+ =/ checked=ifile u.iface(source `src, graph `[(silt `(list path)`~[at]) ~ modules prelude prelude-values prelude-molds externals mark-externals])
10986+ [%& [checked [[at checked] cache]]]
10987+ ?~ prelude [%| (crip "API module needs unsupported inference: {(spud at)}")]
10988+ =/ prepared=iprelude [u.prelude prelude-values prelude-molds]
10989+ =/ request=(each ione-request-interface @t)
10990+ (one-request-interface-graph at src externals mark-externals modules active cache `prepared)
10991+ ?: ?=(%| -.request) [%| (crip "API module needs unsupported inference: {(spud at)}")]
10992+ =/ checked=ifile iface.p.request
10704− [%& [checked [[at checked] cache]]]
10993+ [%& [checked [[at checked] dependencies.paths.support.p.request]]]
10705 ?. (module-scope-valid mod prelude-values prelude-molds)
10994 ?. (module-scope-valid mod prelude-values prelude-molds)
10706 ?: (pending-declared-poke at mod prelude-values prelude-molds)
10995 ?: (pending-declared-poke at mod prelude-values prelude-molds)
10707 [%| (crip "module kind or scope needs unsupported inference: {(spud at)}")]
10996 [%| (crip "module kind or scope needs unsupported inference: {(spud at)}")]
@@ -10724,7 +11013,10 @@
10724 =/ env=ienv env.resolution
11013 =/ env=ienv env.resolution
10725 ?. (module-values-complete defs.mod env)
11014 ?. (module-values-complete defs.mod env)
10726 [%| (crip "module definitions need unsupported inference: {(spud at)}")]
11015 [%| (crip "module definitions need unsupported inference: {(spud at)}")]
11016+ =/ initial=irequest-graph [(silt `(list path)`~[at]) ~ modules prelude prelude-values prelude-molds externals mark-externals]
11017+ =/ graph=(unit irequest-graph) (request-graph-merge resolved.p.js initial (add 1 (lent resolved.p.js)))
11018+ ?~ graph [%| 'module request evidence needs unsupported inference']
10727− =/ iface=ifile [env p.mts at ~ artifacts.resolution ~ `src]
11019+ =/ iface=ifile [env p.mts at ~ artifacts.resolution ~ `src graph]
10728 [%& [iface [[at iface] cache.p.js]]]
11020 [%& [iface [[at iface] cache.p.js]]]
10729::
11021::
10730:: +golden-types-with-modules fails closed for imports without prelude
11022:: +golden-types-with-modules fails closed for imports without prelude
tests/golden/types-request-normal/about.txtnew file+4
@@ -0,0 +1,4 @@
1+source: docs/spec/overview.md, Agent APIs: "A path case is a request name, a path and a type. A plain mold is full state"; Effects: "its reply always gets full state."
2+tests: A real mark and one plain API path infer imported request calls at independent cord, ship and generic reply types; wrong callbacks, non-gates, extra arguments and pending constraints remain failures or unsupported. This partial report neither checks watchability nor implements request lowering or runtime validation.
3+expect: parses
4+expect-types: partial inference; module not checked
tests/golden/types-request-normal/mar/full.txtnew file+5
@@ -0,0 +1,5 @@
1+|_ a=@t
2+++ grab |% ++ noun @t --
3+++ grow |% ++ noun a --
4+++ grad %noun
5+--
tests/golden/types-request-normal/marks.txtnew file+1
@@ -0,0 +1 @@
1+full
tests/golden/types-request-normal/module-trees.txtnew file+5
@@ -0,0 +1,5 @@
1+/ui/api/demo.jibb
2+(module
3+ (mark 1:1 %full)
4+ (mold 2:1 paths
5+ (cell 2:10 (const 2:11 %plain) (path 2:18 /plain) (ref 2:25 full))))
tests/golden/types-request-normal/modules.txtnew file+1
@@ -0,0 +1 @@
1+/ui/api/demo.jibb
tests/golden/types-request-normal/modules/ui/api/demo.jibbnew file+2
@@ -0,0 +1,2 @@
1+/% %full
2++$ paths [%plain /plain full]
tests/golden/types-request-normal/source.jibbnew file+9
@@ -0,0 +1,9 @@
1+/= api /ui/api/demo
2+++ cord (plain.api |=(x=@t "ok"))
3+++ ship (plain.api |=(x=@t ~zod))
4+++ generic |= convert=$-(@t A) (plain.api convert)
5+++ wrong-callback (plain.api |=(x=@p "wrong"))
6+++ wrong-value (plain.api "wrong")
7+++ extra (plain.api |=(x=@t "ok") "extra")
8+++ pending ~& %pending
9+ (plain.api |=(x=@t "ok"))
tests/golden/types-request-normal/tokens.txtnew file+95
@@ -0,0 +1,95 @@
1+1:1 glyph /=
2+1:4 name api
3+1:8 glyph /
4+1:9 tight knot ui
5+1:11 tight glyph /
6+1:12 tight knot api
7+1:15 tight glyph /
8+1:16 tight knot demo
9+2:1 NEWLINE
10+2:1 glyph ++
11+2:4 name cord
12+2:9 glyph (
13+2:10 tight wing plain.api
14+2:20 glyph |=(
15+2:23 tight name x
16+2:24 tight glyph =
17+2:25 tight aura @t
18+2:28 str "ok"
19+2:32 tight glyph )
20+2:33 tight glyph )
21+3:1 NEWLINE
22+3:1 glyph ++
23+3:4 name ship
24+3:9 glyph (
25+3:10 tight wing plain.api
26+3:20 glyph |=(
27+3:23 tight name x
28+3:24 tight glyph =
29+3:25 tight aura @t
30+3:28 lit ~zod
31+3:32 tight glyph )
32+3:33 tight glyph )
33+4:1 NEWLINE
34+4:1 glyph ++
35+4:4 name generic
36+4:12 glyph |=
37+4:15 name convert
38+4:22 tight glyph =
39+4:23 tight glyph $-(
40+4:26 tight aura @t
41+4:29 tvar A
42+4:30 tight glyph )
43+4:32 glyph (
44+4:33 tight wing plain.api
45+4:43 name convert
46+4:50 tight glyph )
47+5:1 NEWLINE
48+5:1 glyph ++
49+5:4 name wrong-callback
50+5:19 glyph (
51+5:20 tight wing plain.api
52+5:30 glyph |=(
53+5:33 tight name x
54+5:34 tight glyph =
55+5:35 tight aura @p
56+5:38 str "wrong"
57+5:45 tight glyph )
58+5:46 tight glyph )
59+6:1 NEWLINE
60+6:1 glyph ++
61+6:4 name wrong-value
62+6:16 glyph (
63+6:17 tight wing plain.api
64+6:27 str "wrong"
65+6:34 tight glyph )
66+7:1 NEWLINE
67+7:1 glyph ++
68+7:4 name extra
69+7:10 glyph (
70+7:11 tight wing plain.api
71+7:21 glyph |=(
72+7:24 tight name x
73+7:25 tight glyph =
74+7:26 tight aura @t
75+7:29 str "ok"
76+7:33 tight glyph )
77+7:35 str "extra"
78+7:42 tight glyph )
79+8:1 NEWLINE
80+8:1 glyph ++
81+8:4 name pending
82+8:12 glyph ~&
83+8:15 lit %pending
84+9:3 INDENT
85+9:3 glyph (
86+9:4 tight wing plain.api
87+9:14 glyph |=(
88+9:17 tight name x
89+9:18 tight glyph =
90+9:19 tight aura @t
91+9:22 str "ok"
92+9:26 tight glyph )
93+9:27 tight glyph )
94+9:28 DEDENT
95+9:28 NEWLINE
tests/golden/types-request-normal/tree.txtnew file+50
@@ -0,0 +1,50 @@
1+(module
2+ (jibb 1:1 api /ui/api/demo)
3+ (value 2:1 cord
4+ (group 2:9
5+ (call 2:10
6+ (wing 2:10 plain.api)
7+ (gate-wide 2:20
8+ (face 2:23 x (aura 2:25 @t))
9+ (str 2:28 "ok")))))
10+ (value 3:1 ship
11+ (group 3:9
12+ (call 3:10
13+ (wing 3:10 plain.api)
14+ (gate-wide 3:20
15+ (face 3:23 x (aura 3:25 @t))
16+ (lit 3:28 ~zod)))))
17+ (value 4:1 generic
18+ (gate 4:12
19+ (face 4:15 convert
20+ (fn 4:23 (aura 4:26 @t) (tvar 4:29 A)))
21+ (group 4:32
22+ (call 4:33 (wing 4:33 plain.api) (wing 4:43 convert)))))
23+ (value 5:1 wrong-callback
24+ (group 5:19
25+ (call 5:20
26+ (wing 5:20 plain.api)
27+ (gate-wide 5:30
28+ (face 5:33 x (aura 5:35 @p))
29+ (str 5:38 "wrong")))))
30+ (value 6:1 wrong-value
31+ (group 6:16
32+ (call 6:17 (wing 6:17 plain.api) (str 6:27 "wrong"))))
33+ (value 7:1 extra
34+ (group 7:10
35+ (call 7:11
36+ (wing 7:11 plain.api)
37+ (gate-wide 7:21
38+ (face 7:24 x (aura 7:26 @t))
39+ (str 7:29 "ok"))
40+ (str 7:35 "extra"))))
41+ (value 8:1 pending
42+ (trace 8:12
43+ (lit 8:15 %pending)
44+ (body 9:3
45+ (group 9:3
46+ (call 9:4
47+ (wing 9:4 plain.api)
48+ (gate-wide 9:14
49+ (face 9:17 x (aura 9:19 @t))
50+ (str 9:22 "ok"))))))))
tests/golden/types-request-normal/types.txtnew file+26
@@ -0,0 +1,26 @@
1+partial inference; module not checked
2+++ cord: (ask @t)
3+++ ship: (ask @p)
4+++ generic: $-($-(@t A) (ask A))
5+++ wrong-callback: call's sample and argument types do not unify
6+/tests/golden/types-request-normal/source.jibb:5:20: called gate
7+++ wrong-callback (plain.api |=(x=@p "wrong"))
8+ ^
9+/tests/golden/types-request-normal/source.jibb:5:30: argument has type $-(@p @t)
10+++ wrong-callback (plain.api |=(x=@p "wrong"))
11+ ^
12+++ wrong-value: call's sample and argument types do not unify
13+/tests/golden/types-request-normal/source.jibb:6:17: called gate
14+++ wrong-value (plain.api "wrong")
15+ ^
16+/tests/golden/types-request-normal/source.jibb:6:27: argument has type @t
17+++ wrong-value (plain.api "wrong")
18+ ^
19+++ extra: call's sample and argument types do not unify
20+/tests/golden/types-request-normal/source.jibb:7:11: called gate
21+++ extra (plain.api |=(x=@t "ok") "extra")
22+ ^
23+/tests/golden/types-request-normal/source.jibb:7:21: argument has type [$-(@t @t) @t]
24+++ extra (plain.api |=(x=@t "ok") "extra")
25+ ^
26+++ pending: tag needs context in partial inference
tests/lib/jibb-request-guards.hoonnew file+149
@@ -0,0 +1,149 @@
1+:: Source-backed request certificate and cache boundary checks.
2+/+ jibb
3+/* public %jibb /lib/jibb/prelude/jibb
4+/* internal %jibb /lib/jibb/internal/jibb
5+|%
6+++ request-guard-report
7+ ^- @t
8+ =/ prelude=@t public
9+ =/ src=@t '/% %full\0a+$ paths [%plain /plain full]\0a'
10+ =/ left=@t '/= api /ui/api/demo\0a++ left |= reply=$-(@t A) (plain.api reply)\0a'
11+ =/ right=@t '/= api /ui/api/demo\0a++ right |= reply=$-(@t A) (plain.api reply)\0a'
12+ =/ diamond=@t '/= left /lib/left\0a/= right /lib/right\0a++ cord (left.left |=(x=@t "ok"))\0a++ ship (right.right |=(x=@t ~zod))\0a'
13+ =/ reverse=@t '/= right /lib/right\0a/= left /lib/left\0a++ ship (right.right |=(x=@t ~zod))\0a++ cord (left.left |=(x=@t "ok"))\0a'
14+ =/ other=@t '/= api /ui/api/other\0a++ other |= reply=$-(@t A) (plain.api reply)\0a'
15+ =/ twoapi=@t '/= left /lib/left\0a/= other /lib/other-helper\0a++ cord (left.left |=(x=@t "ok"))\0a++ ship (other.other |=(x=@t ~zod))\0a'
16+ =/ changed=@t '/% %full\0a+$ paths [%changed /changed full]\0a'
17+ =/ prep=(unit iprelude:jibb) (prepare-prelude-with-internal:jibb prelude internal)
18+ ?~ prep 'prelude unavailable'
19+ =/ api=path /ui/api/demo/jibb
20+ =/ client=path /lib/client/jibb
21+ =/ left-at=path /lib/left/jibb
22+ =/ right-at=path /lib/right/jibb
23+ =/ marks=imark-externals:jibb ~[[%full [%& [%atom %t ~]]]]
24+ =/ bundle=jbundle:jibb ~[[api src] [left-at left] [right-at right]]
25+ =/ pre=(unit ifile:jibb) `iface.u.prep
26+ =/ fresh (infer-jibb-file:jibb client diamond ~ marks bundle ~[client] values.u.prep molds.u.prep ~ pre)
27+ ?: ?=(%| -.fresh) (cat 3 'diamond failed: ' p.fresh)
28+ =/ left-iface=(unit ifile:jibb) (find-jibb-cache:jibb left-at cache.p.fresh)
29+ =/ right-iface=(unit ifile:jibb) (find-jibb-cache:jibb right-at cache.p.fresh)
30+ ?~ left-iface 'left interface missing'
31+ ?~ right-iface 'right interface missing'
32+ ?~ graph.u.left-iface 'left source graph missing'
33+ ?~ graph.u.right-iface 'right source graph missing'
34+ ?. ?=([* ~] requests.u.graph.u.left-iface) 'left source certificate missing'
35+ ?. ?=([* ~] requests.u.graph.u.right-iface) 'right source certificate missing'
36+ =/ detached=jcache:jibb ~[[left-at u.left-iface] [right-at u.right-iface]]
37+ =/ reused (infer-jibb-file:jibb client diamond ~ marks bundle ~[client] values.u.prep molds.u.prep detached pre)
38+ ?: ?=(%| -.reused) (cat 3 'detached helper certificates rejected: ' p.reused)
39+ ?~ graph.iface.p.reused 'diamond graph missing'
40+ ?. ?=([* ~] requests.u.graph.iface.p.reused) 'diamond request evidence missing or duplicated'
41+ =/ reversed (infer-jibb-file:jibb client reverse ~ marks bundle ~[client] values.u.prep molds.u.prep detached pre)
42+ ?: ?=(%| -.reversed) (cat 3 'reversed diamond rejected: ' p.reversed)
43+ ?~ graph.iface.p.reversed 'reversed diamond graph missing'
44+ ?. ?=([* ~] requests.u.graph.iface.p.reversed) 'reversed diamond duplicated request'
45+ =/ other-api=path /ui/api/other/jibb
46+ =/ other-at=path /lib/other-helper/jibb
47+ =/ multi-bundle=jbundle:jibb ~[[api src] [left-at left] [other-api src] [other-at other]]
48+ =/ multi (infer-jibb-file:jibb client twoapi ~ marks multi-bundle ~[client] values.u.prep molds.u.prep ~ pre)
49+ ?: ?=(%| -.multi) (cat 3 'different API paths failed: ' p.multi)
50+ ?~ graph.iface.p.multi 'different API graph missing'
51+ =/ all=(list irequest-evidence:jibb) requests.u.graph.iface.p.multi
52+ ?. =((lent all) 2) 'distinct API path requests were merged'
53+ ?. =((lent (skim all |=(r=irequest-evidence:jibb =(api-at.r api)))) 1) 'original API identity lost'
54+ ?. =((lent (skim all |=(r=irequest-evidence:jibb =(api-at.r other-api)))) 1) 'other API identity lost'
55+ =/ missing-api=jbundle:jibb ~[[left-at left] [right-at right]]
56+ =/ absent (infer-jibb-file:jibb client diamond ~ marks missing-api ~[client] values.u.prep molds.u.prep detached pre)
57+ ?: ?=(%& -.absent) 'missing certified API source accepted'
58+ =/ different-api=jbundle:jibb ~[[api changed] [left-at left] [right-at right]]
59+ =/ stale (infer-jibb-file:jibb client diamond ~ marks different-api ~[client] values.u.prep molds.u.prep detached pre)
60+ ?: ?=(%& -.stale) 'changed API source accepted'
61+ =/ duplicate-api=jbundle:jibb ~[[api src] [api src] [left-at left] [right-at right]]
62+ =/ duplicate (infer-jibb-file:jibb client diamond ~ marks duplicate-api ~[client] values.u.prep molds.u.prep detached pre)
63+ ?: ?=(%& -.duplicate) 'duplicate certified API sources accepted'
64+ =/ different-marks=imark-externals:jibb ~[[%full [%& [%atom %p ~]]]]
65+ =/ stale-mark (infer-jibb-file:jibb client diamond ~ different-marks bundle ~[client] values.u.prep molds.u.prep detached pre)
66+ ?: ?=(%& -.stale-mark) 'changed reader result accepted'
67+ =/ changed-public=@t (cat 3 prelude '\0a:: modified\0a')
68+ =/ public-prep=(unit iprelude:jibb) (prepare-prelude-with-internal:jibb changed-public internal)
69+ ?~ public-prep 'comment-only prelude did not prepare'
70+ =/ stale-public (infer-jibb-file:jibb client diamond ~ marks bundle ~[client] values.u.public-prep molds.u.public-prep detached `iface.u.public-prep)
71+ ?: ?=(%& -.stale-public) 'changed public source accepted'
72+ =/ changed-internal=@t (cat 3 internal '\0a:: modified\0a')
73+ =/ internal-prep=(unit iprelude:jibb) (prepare-prelude-with-internal:jibb prelude changed-internal)
74+ ?~ internal-prep 'comment-only internal did not prepare'
75+ =/ stale-internal (infer-jibb-file:jibb client diamond ~ marks bundle ~[client] values.u.internal-prep molds.u.internal-prep detached `iface.u.internal-prep)
76+ ?: ?=(%& -.stale-internal) 'changed internal source accepted'
77+ 'certificate controls passed'
78+++ request-legacy-report
79+ ^- @t
80+ =/ prelude=@t public
81+ =/ src=@t '/% %full\0a+$ paths [%plain /plain full]\0a'
82+ =/ helper=@t '/= api /ui/api/demo\0a++ fetch |= reply=$-(@t A) (plain.api reply)\0a'
83+ =/ transitive=@t '/= lib /lib/helper\0a++ cord (fetch.lib |=(x=@t "ok"))\0a++ ship (fetch.lib |=(x=@t ~zod))\0a'
84+ =/ prep=(unit iprelude:jibb) (prepare-prelude-with-internal:jibb prelude internal)
85+ ?~ prep 'prelude unavailable'
86+ =/ api=path /ui/api/demo/jibb
87+ =/ client=path /lib/client/jibb
88+ =/ helper-at=path /lib/helper/jibb
89+ =/ marks=imark-externals:jibb ~[[%full [%& [%atom %t ~]]]]
90+ =/ bundle=jbundle:jibb ~[[api src] [helper-at helper]]
91+ =/ pre=(unit ifile:jibb) `iface.u.prep
92+ =/ simple=@t '++ value "old"\0a'
93+ =/ simple-root=@t '/= h /lib/helper\0a++ value value.h\0a'
94+ =/ simple-bundle=jbundle:jibb ~[[helper-at simple]]
95+ =/ simple-built (infer-jibb-file:jibb helper-at simple ~ marks simple-bundle ~[helper-at] values.u.prep molds.u.prep ~ pre)
96+ ?: ?=(%| -.simple-built) 'simple helper setup failed'
97+ =/ legacy=ifile:jibb iface.p.simple-built(graph ~)
98+ =/ old-cache=jcache:jibb ~[[helper-at legacy]]
99+ =/ rebuilt (infer-jibb-file:jibb client simple-root ~ marks simple-bundle ~[client] values.u.prep molds.u.prep old-cache pre)
100+ ?: ?=(%| -.rebuilt) (cat 3 'legacy simple rebuild failed: ' p.rebuilt)
101+ =/ simple-new=(unit ifile:jibb) (find-jibb-cache:jibb helper-at cache.p.rebuilt)
102+ ?~ simple-new 'rebuilt simple helper missing'
103+ ?~ graph.u.simple-new 'simple helper was not recertified'
104+ =/ upgraded (infer-jibb-file:jibb client transitive ~ marks bundle ~[client] values.u.prep molds.u.prep old-cache pre)
105+ ?: ?=(%| -.upgraded) (cat 3 'legacy changed helper failed: ' p.upgraded)
106+ =/ new=(unit ifile:jibb) (find-jibb-cache:jibb helper-at cache.p.upgraded)
107+ ?~ new 'rebuilt request helper missing'
108+ ?. =(source.u.new `helper) 'legacy helper source survived'
109+ ?~ graph.u.new 'request helper graph missing'
110+ ?. ?=([* ~] requests.u.graph.u.new) 'request helper evidence missing'
111+ =/ duplicated=jcache:jibb ~[[helper-at legacy] [helper-at legacy]]
112+ =/ duplicate-rebuilt (infer-jibb-file:jibb client simple-root ~ marks simple-bundle ~[client] values.u.prep molds.u.prep duplicated pre)
113+ ?: ?=(%| -.duplicate-rebuilt) 'duplicate legacy rebuild failed'
114+ =/ helper-entries (skim cache.p.duplicate-rebuilt |=(c=[at=path iface=ifile:jibb] =(at.c helper-at)))
115+ ?. ?=([* ~] helper-entries) 'duplicate stale helper entries remained'
116+ =/ api-iface=(unit ifile:jibb) (find-jibb-cache:jibb api cache.p.upgraded)
117+ ?~ api-iface 'rebuilt API interface missing'
118+ =/ legacy-api=ifile:jibb u.api-iface(graph ~)
119+ =/ both-stale=jcache:jibb ~[[helper-at legacy] [api legacy-api]]
120+ =/ child-rebuilt (infer-jibb-file:jibb client transitive ~ marks bundle ~[client] values.u.prep molds.u.prep both-stale pre)
121+ ?: ?=(%| -.child-rebuilt) 'transitive unknown child rebuild failed'
122+ =/ api-new=(unit ifile:jibb) (find-jibb-cache:jibb api cache.p.child-rebuilt)
123+ ?~ api-new 'rebuilt transitive API missing'
124+ ?~ graph.u.api-new 'rebuilt transitive API has no graph'
125+ ?. ?=([* ~] requests.u.graph.u.api-new) 'rebuilt transitive API request missing'
126+ =/ mismatched=ifile:jibb legacy(at /lib/other/jibb)
127+ =/ bad-cache=jcache:jibb ~[[helper-at mismatched]]
128+ =/ wrong (infer-jibb-file:jibb client transitive ~ marks bundle ~[client] values.u.prep molds.u.prep bad-cache pre)
129+ ?: ?=(%& -.wrong) 'cache key and interface path mismatch accepted'
130+ =/ old-client=@t '++ text "safe"\0a'
131+ =/ dep=@t '/= c /lib/client\0a++ value text.c\0a'
132+ =/ root=@t '/= h /lib/helper\0a++ x value.h\0a'
133+ =/ cycle-bundle=jbundle:jibb ~[[client old-client] [helper-at dep]]
134+ =/ cycle-legacy=ifile:jibb legacy(source `dep)
135+ =/ cycle-cache=jcache:jibb ~[[helper-at cycle-legacy]]
136+ =/ cycle (infer-jibb-file:jibb client root ~ marks cycle-bundle ~[client] values.u.prep molds.u.prep cycle-cache pre)
137+ ?: ?=(%& -.cycle) 'legacy ancestor cycle accepted'
138+ 'legacy cache controls passed'
139+++ request-guard-errors
140+ ^- (list tape)
141+ =/ result=@t request-guard-report
142+ ?. =(result 'certificate controls passed') ~[(trip result)]
143+ =/ legacy=@t request-legacy-report
144+ ?: =(legacy 'legacy cache controls passed') ~
145+ ~[(trip legacy)]
146+++ test-request-guard
147+ ^- tang
148+ (turn request-guard-errors |=(reason=tape leaf+reason))
149+--
tests/lib/jibb.hoon+262−253
@@ -2157,212 +2157,219 @@
2157/* tok-590 %txt /tests/golden/types-recursive-sample/tokens/txt
2157/* tok-590 %txt /tests/golden/types-recursive-sample/tokens/txt
2158/* tre-590 %txt /tests/golden/types-recursive-sample/tree/txt
2158/* tre-590 %txt /tests/golden/types-recursive-sample/tree/txt
2159/* typ-590 %txt /tests/golden/types-recursive-sample/types/txt
2159/* typ-590 %txt /tests/golden/types-recursive-sample/types/txt
2160−/* src-591 %jibb /tests/golden/types-scope-library-poke/source/jibb
2160+/* src-591 %jibb /tests/golden/types-request-normal/source/jibb
2161−/* tok-591 %txt /tests/golden/types-scope-library-poke/tokens/txt
2161+/* tok-591 %txt /tests/golden/types-request-normal/tokens/txt
2162−/* tre-591 %txt /tests/golden/types-scope-library-poke/tree/txt
2162+/* tre-591 %txt /tests/golden/types-request-normal/tree/txt
2163−/* typ-591 %txt /tests/golden/types-scope-library-poke/types/txt
2163+/* mod-591-1 %jibb /tests/golden/types-request-normal/modules/ui/api/demo/jibb
2164−/* src-592 %jibb /tests/golden/types-scope-root-api/source/jibb
2164+/* typ-591 %txt /tests/golden/types-request-normal/types/txt
2165−/* tok-592 %txt /tests/golden/types-scope-root-api/tokens/txt
2165+/* mark-591-1 %txt /tests/golden/types-request-normal/mar/full/txt
2166−/* tre-592 %txt /tests/golden/types-scope-root-api/tree/txt
2166+/* mtre-591 %txt /tests/golden/types-request-normal/module-trees/txt
2167−/* typ-592 %txt /tests/golden/types-scope-root-api/types/txt
2167+/* src-592 %jibb /tests/golden/types-scope-library-poke/source/jibb
2168−/* src-593 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2168+/* tok-592 %txt /tests/golden/types-scope-library-poke/tokens/txt
2169−/* tok-593 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2169+/* tre-592 %txt /tests/golden/types-scope-library-poke/tree/txt
2170−/* tre-593 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2170+/* typ-592 %txt /tests/golden/types-scope-library-poke/types/txt
2171−/* typ-593 %txt /tests/golden/types-scope-store-duplicate/types/txt
2171+/* src-593 %jibb /tests/golden/types-scope-root-api/source/jibb
2172−/* src-594 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2172+/* tok-593 %txt /tests/golden/types-scope-root-api/tokens/txt
2173−/* tok-594 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2173+/* tre-593 %txt /tests/golden/types-scope-root-api/tree/txt
2174−/* tre-594 %txt /tests/golden/types-scope-store-shadow/tree/txt
2174+/* typ-593 %txt /tests/golden/types-scope-root-api/types/txt
2175−/* typ-594 %txt /tests/golden/types-scope-store-shadow/types/txt
2175+/* src-594 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2176−/* src-595 %jibb /tests/golden/types-single-case-pattern/source/jibb
2176+/* tok-594 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2177−/* tok-595 %txt /tests/golden/types-single-case-pattern/tokens/txt
2177+/* tre-594 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2178−/* tre-595 %txt /tests/golden/types-single-case-pattern/tree/txt
2178+/* typ-594 %txt /tests/golden/types-scope-store-duplicate/types/txt
2179−/* typ-595 %txt /tests/golden/types-single-case-pattern/types/txt
2179+/* src-595 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2180−/* src-596 %jibb /tests/golden/types-string-interpolation/source/jibb
2180+/* tok-595 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2181−/* tok-596 %txt /tests/golden/types-string-interpolation/tokens/txt
2181+/* tre-595 %txt /tests/golden/types-scope-store-shadow/tree/txt
2182−/* tre-596 %txt /tests/golden/types-string-interpolation/tree/txt
2182+/* typ-595 %txt /tests/golden/types-scope-store-shadow/types/txt
2183−/* typ-596 %txt /tests/golden/types-string-interpolation/types/txt
2183+/* src-596 %jibb /tests/golden/types-single-case-pattern/source/jibb
2184−/* src-597 %jibb /tests/golden/types-tuple-context/source/jibb
2184+/* tok-596 %txt /tests/golden/types-single-case-pattern/tokens/txt
2185−/* tok-597 %txt /tests/golden/types-tuple-context/tokens/txt
2185+/* tre-596 %txt /tests/golden/types-single-case-pattern/tree/txt
2186−/* tre-597 %txt /tests/golden/types-tuple-context/tree/txt
2186+/* typ-596 %txt /tests/golden/types-single-case-pattern/types/txt
2187−/* typ-597 %txt /tests/golden/types-tuple-context/types/txt
2187+/* src-597 %jibb /tests/golden/types-string-interpolation/source/jibb
2188−/* src-598 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2188+/* tok-597 %txt /tests/golden/types-string-interpolation/tokens/txt
2189−/* tok-598 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2189+/* tre-597 %txt /tests/golden/types-string-interpolation/tree/txt
2190−/* tre-598 %txt /tests/golden/types-tuple-context-nested/tree/txt
2190+/* typ-597 %txt /tests/golden/types-string-interpolation/types/txt
2191−/* typ-598 %txt /tests/golden/types-tuple-context-nested/types/txt
2191+/* src-598 %jibb /tests/golden/types-tuple-context/source/jibb
2192−/* src-599 %jibb /tests/golden/types-union-alias/source/jibb
2192+/* tok-598 %txt /tests/golden/types-tuple-context/tokens/txt
2193−/* tok-599 %txt /tests/golden/types-union-alias/tokens/txt
2193+/* tre-598 %txt /tests/golden/types-tuple-context/tree/txt
2194−/* tre-599 %txt /tests/golden/types-union-alias/tree/txt
2194+/* typ-598 %txt /tests/golden/types-tuple-context/types/txt
2195−/* typ-599 %txt /tests/golden/types-union-alias/types/txt
2195+/* src-599 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2196−/* src-600 %jibb /tests/golden/types-union-branch-context/source/jibb
2196+/* tok-599 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2197−/* tok-600 %txt /tests/golden/types-union-branch-context/tokens/txt
2197+/* tre-599 %txt /tests/golden/types-tuple-context-nested/tree/txt
2198−/* tre-600 %txt /tests/golden/types-union-branch-context/tree/txt
2198+/* typ-599 %txt /tests/golden/types-tuple-context-nested/types/txt
2199−/* typ-600 %txt /tests/golden/types-union-branch-context/types/txt
2199+/* src-600 %jibb /tests/golden/types-union-alias/source/jibb
2200−/* src-601 %jibb /tests/golden/types-union-branch-pending/source/jibb
2200+/* tok-600 %txt /tests/golden/types-union-alias/tokens/txt
2201−/* tok-601 %txt /tests/golden/types-union-branch-pending/tokens/txt
2201+/* tre-600 %txt /tests/golden/types-union-alias/tree/txt
2202−/* tre-601 %txt /tests/golden/types-union-branch-pending/tree/txt
2202+/* typ-600 %txt /tests/golden/types-union-alias/types/txt
2203−/* typ-601 %txt /tests/golden/types-union-branch-pending/types/txt
2203+/* src-601 %jibb /tests/golden/types-union-branch-context/source/jibb
2204−/* src-602 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2204+/* tok-601 %txt /tests/golden/types-union-branch-context/tokens/txt
2205−/* tok-602 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2205+/* tre-601 %txt /tests/golden/types-union-branch-context/tree/txt
2206−/* tre-602 %txt /tests/golden/types-union-constructor-shape/tree/txt
2206+/* typ-601 %txt /tests/golden/types-union-branch-context/types/txt
2207−/* typ-602 %txt /tests/golden/types-union-constructor-shape/types/txt
2207+/* src-602 %jibb /tests/golden/types-union-branch-pending/source/jibb
2208−/* src-603 %jibb /tests/golden/types-union-context-flow/source/jibb
2208+/* tok-602 %txt /tests/golden/types-union-branch-pending/tokens/txt
2209−/* tok-603 %txt /tests/golden/types-union-context-flow/tokens/txt
2209+/* tre-602 %txt /tests/golden/types-union-branch-pending/tree/txt
2210−/* tre-603 %txt /tests/golden/types-union-context-flow/tree/txt
2210+/* typ-602 %txt /tests/golden/types-union-branch-pending/types/txt
2211−/* typ-603 %txt /tests/golden/types-union-context-flow/types/txt
2211+/* src-603 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2212−/* src-604 %jibb /tests/golden/types-union-finite/source/jibb
2212+/* tok-603 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2213−/* tok-604 %txt /tests/golden/types-union-finite/tokens/txt
2213+/* tre-603 %txt /tests/golden/types-union-constructor-shape/tree/txt
2214−/* tre-604 %txt /tests/golden/types-union-finite/tree/txt
2214+/* typ-603 %txt /tests/golden/types-union-constructor-shape/types/txt
2215−/* typ-604 %txt /tests/golden/types-union-finite/types/txt
2215+/* src-604 %jibb /tests/golden/types-union-context-flow/source/jibb
2216−/* src-605 %jibb /tests/golden/types-union-finite-context/source/jibb
2216+/* tok-604 %txt /tests/golden/types-union-context-flow/tokens/txt
2217−/* tok-605 %txt /tests/golden/types-union-finite-context/tokens/txt
2217+/* tre-604 %txt /tests/golden/types-union-context-flow/tree/txt
2218−/* tre-605 %txt /tests/golden/types-union-finite-context/tree/txt
2218+/* typ-604 %txt /tests/golden/types-union-context-flow/types/txt
2219−/* typ-605 %txt /tests/golden/types-union-finite-context/types/txt
2219+/* src-605 %jibb /tests/golden/types-union-finite/source/jibb
2220−/* src-606 %jibb /tests/golden/types-union-finite-generic/source/jibb
2220+/* tok-605 %txt /tests/golden/types-union-finite/tokens/txt
2221−/* tok-606 %txt /tests/golden/types-union-finite-generic/tokens/txt
2221+/* tre-605 %txt /tests/golden/types-union-finite/tree/txt
2222−/* tre-606 %txt /tests/golden/types-union-finite-generic/tree/txt
2222+/* typ-605 %txt /tests/golden/types-union-finite/types/txt
2223−/* typ-606 %txt /tests/golden/types-union-finite-generic/types/txt
2223+/* src-606 %jibb /tests/golden/types-union-finite-context/source/jibb
2224−/* src-607 %jibb /tests/golden/types-union-finite-limit/source/jibb
2224+/* tok-606 %txt /tests/golden/types-union-finite-context/tokens/txt
2225−/* tok-607 %txt /tests/golden/types-union-finite-limit/tokens/txt
2225+/* tre-606 %txt /tests/golden/types-union-finite-context/tree/txt
2226−/* tre-607 %txt /tests/golden/types-union-finite-limit/tree/txt
2226+/* typ-606 %txt /tests/golden/types-union-finite-context/types/txt
2227−/* typ-607 %txt /tests/golden/types-union-finite-limit/types/txt
2227+/* src-607 %jibb /tests/golden/types-union-finite-generic/source/jibb
2228−/* src-608 %jibb /tests/golden/types-union-import/source/jibb
2228+/* tok-607 %txt /tests/golden/types-union-finite-generic/tokens/txt
2229−/* tok-608 %txt /tests/golden/types-union-import/tokens/txt
2229+/* tre-607 %txt /tests/golden/types-union-finite-generic/tree/txt
2230−/* tre-608 %txt /tests/golden/types-union-import/tree/txt
2230+/* typ-607 %txt /tests/golden/types-union-finite-generic/types/txt
2231−/* mod-608-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2231+/* src-608 %jibb /tests/golden/types-union-finite-limit/source/jibb
2232−/* typ-608 %txt /tests/golden/types-union-import/types/txt
2232+/* tok-608 %txt /tests/golden/types-union-finite-limit/tokens/txt
2233−/* mtre-608 %txt /tests/golden/types-union-import/module-trees/txt
2233+/* tre-608 %txt /tests/golden/types-union-finite-limit/tree/txt
2234−/* src-609 %jibb /tests/golden/types-union-local-pending/source/jibb
2234+/* typ-608 %txt /tests/golden/types-union-finite-limit/types/txt
2235−/* tok-609 %txt /tests/golden/types-union-local-pending/tokens/txt
2235+/* src-609 %jibb /tests/golden/types-union-import/source/jibb
2236−/* tre-609 %txt /tests/golden/types-union-local-pending/tree/txt
2236+/* tok-609 %txt /tests/golden/types-union-import/tokens/txt
2237−/* typ-609 %txt /tests/golden/types-union-local-pending/types/txt
2237+/* tre-609 %txt /tests/golden/types-union-import/tree/txt
2238−/* src-610 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2238+/* mod-609-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2239−/* tok-610 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2239+/* typ-609 %txt /tests/golden/types-union-import/types/txt
2240−/* tre-610 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2240+/* mtre-609 %txt /tests/golden/types-union-import/module-trees/txt
2241−/* typ-610 %txt /tests/golden/types-union-nonwing-subject/types/txt
2241+/* src-610 %jibb /tests/golden/types-union-local-pending/source/jibb
2242−/* src-611 %jibb /tests/golden/types-union-overlap/source/jibb
2242+/* tok-610 %txt /tests/golden/types-union-local-pending/tokens/txt
2243−/* tok-611 %txt /tests/golden/types-union-overlap/tokens/txt
2243+/* tre-610 %txt /tests/golden/types-union-local-pending/tree/txt
2244−/* tre-611 %txt /tests/golden/types-union-overlap/tree/txt
2244+/* typ-610 %txt /tests/golden/types-union-local-pending/types/txt
2245−/* typ-611 %txt /tests/golden/types-union-overlap/types/txt
2245+/* src-611 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2246−/* src-612 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2246+/* tok-611 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2247−/* tok-612 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2247+/* tre-611 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2248−/* tre-612 %txt /tests/golden/types-union-overlap-nested/tree/txt
2248+/* typ-611 %txt /tests/golden/types-union-nonwing-subject/types/txt
2249−/* typ-612 %txt /tests/golden/types-union-overlap-nested/types/txt
2249+/* src-612 %jibb /tests/golden/types-union-overlap/source/jibb
2250−/* src-613 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2250+/* tok-612 %txt /tests/golden/types-union-overlap/tokens/txt
2251−/* tok-613 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2251+/* tre-612 %txt /tests/golden/types-union-overlap/tree/txt
2252−/* tre-613 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2252+/* typ-612 %txt /tests/golden/types-union-overlap/types/txt
2253−/* typ-613 %txt /tests/golden/types-union-pattern-result-context/types/txt
2253+/* src-613 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2254−/* src-614 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2254+/* tok-613 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2255−/* tok-614 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2255+/* tre-613 %txt /tests/golden/types-union-overlap-nested/tree/txt
2256−/* tre-614 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2256+/* typ-613 %txt /tests/golden/types-union-overlap-nested/types/txt
2257−/* typ-614 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2257+/* src-614 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2258−/* src-615 %jibb /tests/golden/types-union-patterns/source/jibb
2258+/* tok-614 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2259−/* tok-615 %txt /tests/golden/types-union-patterns/tokens/txt
2259+/* tre-614 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2260−/* tre-615 %txt /tests/golden/types-union-patterns/tree/txt
2260+/* typ-614 %txt /tests/golden/types-union-pattern-result-context/types/txt
2261−/* typ-615 %txt /tests/golden/types-union-patterns/types/txt
2261+/* src-615 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2262−/* src-616 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2262+/* tok-615 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2263−/* tok-616 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2263+/* tre-615 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2264−/* tre-616 %txt /tests/golden/types-union-patterns-generic/tree/txt
2264+/* typ-615 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2265−/* typ-616 %txt /tests/golden/types-union-patterns-generic/types/txt
2265+/* src-616 %jibb /tests/golden/types-union-patterns/source/jibb
2266−/* src-617 %jibb /tests/golden/types-union-patterns-import/source/jibb
2266+/* tok-616 %txt /tests/golden/types-union-patterns/tokens/txt
2267−/* tok-617 %txt /tests/golden/types-union-patterns-import/tokens/txt
2267+/* tre-616 %txt /tests/golden/types-union-patterns/tree/txt
2268−/* tre-617 %txt /tests/golden/types-union-patterns-import/tree/txt
2268+/* typ-616 %txt /tests/golden/types-union-patterns/types/txt
2269−/* mod-617-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2269+/* src-617 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2270−/* typ-617 %txt /tests/golden/types-union-patterns-import/types/txt
2270+/* tok-617 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2271−/* mtre-617 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2271+/* tre-617 %txt /tests/golden/types-union-patterns-generic/tree/txt
2272−/* src-618 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2272+/* typ-617 %txt /tests/golden/types-union-patterns-generic/types/txt
2273−/* tok-618 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2273+/* src-618 %jibb /tests/golden/types-union-patterns-import/source/jibb
2274−/* tre-618 %txt /tests/golden/types-union-phantom-generic/tree/txt
2274+/* tok-618 %txt /tests/golden/types-union-patterns-import/tokens/txt
2275−/* typ-618 %txt /tests/golden/types-union-phantom-generic/types/txt
2275+/* tre-618 %txt /tests/golden/types-union-patterns-import/tree/txt
2276−/* src-619 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2276+/* mod-618-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2277−/* tok-619 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2277+/* typ-618 %txt /tests/golden/types-union-patterns-import/types/txt
2278−/* tre-619 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2278+/* mtre-618 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2279−/* mod-619-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2279+/* src-619 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2280−/* mod-619-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2280+/* tok-619 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2281−/* typ-619 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2281+/* tre-619 %txt /tests/golden/types-union-phantom-generic/tree/txt
2282−/* mtre-619 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2282+/* typ-619 %txt /tests/golden/types-union-phantom-generic/types/txt
2283−/* src-620 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2283+/* src-620 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2284−/* tok-620 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2284+/* tok-620 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2285−/* tre-620 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2285+/* tre-620 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2286−/* mod-620-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2286+/* mod-620-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2287−/* typ-620 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2287+/* mod-620-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2288−/* mtre-620 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2288+/* typ-620 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2289−/* src-621 %jibb /tests/golden/types-union-print-distinct/source/jibb
2289+/* mtre-620 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2290−/* tok-621 %txt /tests/golden/types-union-print-distinct/tokens/txt
2290+/* src-621 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2291−/* tre-621 %txt /tests/golden/types-union-print-distinct/tree/txt
2291+/* tok-621 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2292−/* mod-621-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2292+/* tre-621 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2293−/* mod-621-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2293+/* mod-621-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2294−/* mod-621-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2294+/* typ-621 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2295−/* typ-621 %txt /tests/golden/types-union-print-distinct/types/txt
2295+/* mtre-621 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2296−/* mtre-621 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2296+/* src-622 %jibb /tests/golden/types-union-print-distinct/source/jibb
2297−/* src-622 %jibb /tests/golden/types-union-print-escape/source/jibb
2297+/* tok-622 %txt /tests/golden/types-union-print-distinct/tokens/txt
2298−/* tok-622 %txt /tests/golden/types-union-print-escape/tokens/txt
2298+/* tre-622 %txt /tests/golden/types-union-print-distinct/tree/txt
2299−/* tre-622 %txt /tests/golden/types-union-print-escape/tree/txt
2299+/* mod-622-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2300−/* typ-622 %txt /tests/golden/types-union-print-escape/types/txt
2300+/* mod-622-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2301−/* src-623 %jibb /tests/golden/types-union-print-local/source/jibb
2301+/* mod-622-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2302−/* tok-623 %txt /tests/golden/types-union-print-local/tokens/txt
2302+/* typ-622 %txt /tests/golden/types-union-print-distinct/types/txt
2303−/* tre-623 %txt /tests/golden/types-union-print-local/tree/txt
2303+/* mtre-622 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2304−/* typ-623 %txt /tests/golden/types-union-print-local/types/txt
2304+/* src-623 %jibb /tests/golden/types-union-print-escape/source/jibb
2305−/* src-624 %jibb /tests/golden/types-union-print-nested/source/jibb
2305+/* tok-623 %txt /tests/golden/types-union-print-escape/tokens/txt
2306−/* tok-624 %txt /tests/golden/types-union-print-nested/tokens/txt
2306+/* tre-623 %txt /tests/golden/types-union-print-escape/tree/txt
2307−/* tre-624 %txt /tests/golden/types-union-print-nested/tree/txt
2307+/* typ-623 %txt /tests/golden/types-union-print-escape/types/txt
2308−/* typ-624 %txt /tests/golden/types-union-print-nested/types/txt
2308+/* src-624 %jibb /tests/golden/types-union-print-local/source/jibb
2309−/* src-625 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2309+/* tok-624 %txt /tests/golden/types-union-print-local/tokens/txt
2310−/* tok-625 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2310+/* tre-624 %txt /tests/golden/types-union-print-local/tree/txt
2311−/* tre-625 %txt /tests/golden/types-union-print-same-origin/tree/txt
2311+/* typ-624 %txt /tests/golden/types-union-print-local/types/txt
2312−/* mod-625-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2312+/* src-625 %jibb /tests/golden/types-union-print-nested/source/jibb
2313−/* typ-625 %txt /tests/golden/types-union-print-same-origin/types/txt
2313+/* tok-625 %txt /tests/golden/types-union-print-nested/tokens/txt
2314−/* mtre-625 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2314+/* tre-625 %txt /tests/golden/types-union-print-nested/tree/txt
2315−/* src-626 %jibb /tests/golden/types-union-print-transitive/source/jibb
2315+/* typ-625 %txt /tests/golden/types-union-print-nested/types/txt
2316−/* tok-626 %txt /tests/golden/types-union-print-transitive/tokens/txt
2316+/* src-626 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2317−/* tre-626 %txt /tests/golden/types-union-print-transitive/tree/txt
2317+/* tok-626 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2318−/* mod-626-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2318+/* tre-626 %txt /tests/golden/types-union-print-same-origin/tree/txt
2319−/* mod-626-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2319+/* mod-626-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2320−/* typ-626 %txt /tests/golden/types-union-print-transitive/types/txt
2320+/* typ-626 %txt /tests/golden/types-union-print-same-origin/types/txt
2321−/* mtre-626 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2321+/* mtre-626 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2322−/* src-627 %jibb /tests/golden/types-union-singleton/source/jibb
2322+/* src-627 %jibb /tests/golden/types-union-print-transitive/source/jibb
2323−/* tok-627 %txt /tests/golden/types-union-singleton/tokens/txt
2323+/* tok-627 %txt /tests/golden/types-union-print-transitive/tokens/txt
2324−/* tre-627 %txt /tests/golden/types-union-singleton/tree/txt
2324+/* tre-627 %txt /tests/golden/types-union-print-transitive/tree/txt
2325−/* typ-627 %txt /tests/golden/types-union-singleton/types/txt
2325+/* mod-627-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2326−/* src-628 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2326+/* mod-627-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2327−/* tok-628 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2327+/* typ-627 %txt /tests/golden/types-union-print-transitive/types/txt
2328−/* tre-628 %txt /tests/golden/types-union-tag-atoms/tree/txt
2328+/* mtre-627 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2329−/* typ-628 %txt /tests/golden/types-union-tag-atoms/types/txt
2329+/* src-628 %jibb /tests/golden/types-union-singleton/source/jibb
2330−/* src-629 %jibb /tests/golden/types-union-tags/source/jibb
2330+/* tok-628 %txt /tests/golden/types-union-singleton/tokens/txt
2331−/* tok-629 %txt /tests/golden/types-union-tags/tokens/txt
2331+/* tre-628 %txt /tests/golden/types-union-singleton/tree/txt
2332−/* tre-629 %txt /tests/golden/types-union-tags/tree/txt
2332+/* typ-628 %txt /tests/golden/types-union-singleton/types/txt
2333−/* typ-629 %txt /tests/golden/types-union-tags/types/txt
2333+/* src-629 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2334−/* src-630 %jibb /tests/golden/types-union-unresolved/source/jibb
2334+/* tok-629 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2335−/* tok-630 %txt /tests/golden/types-union-unresolved/tokens/txt
2335+/* tre-629 %txt /tests/golden/types-union-tag-atoms/tree/txt
2336−/* tre-630 %txt /tests/golden/types-union-unresolved/tree/txt
2336+/* typ-629 %txt /tests/golden/types-union-tag-atoms/types/txt
2337−/* typ-630 %txt /tests/golden/types-union-unresolved/types/txt
2337+/* src-630 %jibb /tests/golden/types-union-tags/source/jibb
2338−/* src-631 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2338+/* tok-630 %txt /tests/golden/types-union-tags/tokens/txt
2339−/* tok-631 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2339+/* tre-630 %txt /tests/golden/types-union-tags/tree/txt
2340−/* tre-631 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2340+/* typ-630 %txt /tests/golden/types-union-tags/types/txt
2341−/* typ-631 %txt /tests/golden/types-union-unresolved-flow/types/txt
2341+/* src-631 %jibb /tests/golden/types-union-unresolved/source/jibb
2342−/* src-632 %jibb /tests/golden/types-unit-construction/source/jibb
2342+/* tok-631 %txt /tests/golden/types-union-unresolved/tokens/txt
2343−/* tok-632 %txt /tests/golden/types-unit-construction/tokens/txt
2343+/* tre-631 %txt /tests/golden/types-union-unresolved/tree/txt
2344−/* tre-632 %txt /tests/golden/types-unit-construction/tree/txt
2344+/* typ-631 %txt /tests/golden/types-union-unresolved/types/txt
2345−/* typ-632 %txt /tests/golden/types-unit-construction/types/txt
2345+/* src-632 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2346−/* src-633 %jibb /tests/golden/types-unit-context/source/jibb
2346+/* tok-632 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2347−/* tok-633 %txt /tests/golden/types-unit-context/tokens/txt
2347+/* tre-632 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2348−/* tre-633 %txt /tests/golden/types-unit-context/tree/txt
2348+/* typ-632 %txt /tests/golden/types-union-unresolved-flow/types/txt
2349−/* typ-633 %txt /tests/golden/types-unit-context/types/txt
2349+/* src-633 %jibb /tests/golden/types-unit-construction/source/jibb
2350−/* src-634 %jibb /tests/golden/types-unit-patterns/source/jibb
2350+/* tok-633 %txt /tests/golden/types-unit-construction/tokens/txt
2351−/* tok-634 %txt /tests/golden/types-unit-patterns/tokens/txt
2351+/* tre-633 %txt /tests/golden/types-unit-construction/tree/txt
2352−/* tre-634 %txt /tests/golden/types-unit-patterns/tree/txt
2352+/* typ-633 %txt /tests/golden/types-unit-construction/types/txt
2353−/* typ-634 %txt /tests/golden/types-unit-patterns/types/txt
2353+/* src-634 %jibb /tests/golden/types-unit-context/source/jibb
2354−/* src-635 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2354+/* tok-634 %txt /tests/golden/types-unit-context/tokens/txt
2355−/* tok-635 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2355+/* tre-634 %txt /tests/golden/types-unit-context/tree/txt
2356−/* tre-635 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2356+/* typ-634 %txt /tests/golden/types-unit-context/types/txt
2357−/* typ-635 %txt /tests/golden/types-value-cycle-shadow/types/txt
2357+/* src-635 %jibb /tests/golden/types-unit-patterns/source/jibb
2358−/* src-636 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2358+/* tok-635 %txt /tests/golden/types-unit-patterns/tokens/txt
2359−/* tok-636 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2359+/* tre-635 %txt /tests/golden/types-unit-patterns/tree/txt
2360−/* tre-636 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2360+/* typ-635 %txt /tests/golden/types-unit-patterns/types/txt
2361−/* typ-636 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2361+/* src-636 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2362−/* src-637 %jibb /tests/golden/types-value-cycles/source/jibb
2362+/* tok-636 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2363−/* tok-637 %txt /tests/golden/types-value-cycles/tokens/txt
2363+/* tre-636 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2364−/* tre-637 %txt /tests/golden/types-value-cycles/tree/txt
2364+/* typ-636 %txt /tests/golden/types-value-cycle-shadow/types/txt
2365−/* typ-637 %txt /tests/golden/types-value-cycles/types/txt
2365+/* src-637 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2366+/* tok-637 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2367+/* tre-637 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2368+/* typ-637 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2369+/* src-638 %jibb /tests/golden/types-value-cycles/source/jibb
2370+/* tok-638 %txt /tests/golden/types-value-cycles/tokens/txt
2371+/* tre-638 %txt /tests/golden/types-value-cycles/tree/txt
2372+/* typ-638 %txt /tests/golden/types-value-cycles/types/txt
2366=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
2373=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
2367|%
2374|%
2368:: one arm per case
2375:: one arm per case
@@ -3547,100 +3554,102 @@
3547 (weld (check ~.types-recursive-gate src-589 `tok-589 `tre-589) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-589 `typ-589))
3554 (weld (check ~.types-recursive-gate src-589 `tok-589 `tre-589) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-589 `typ-589))
3548++ test-types-recursive-sample
3555++ test-types-recursive-sample
3549 (weld (check ~.types-recursive-sample src-590 `tok-590 `tre-590) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-590 `typ-590))
3556 (weld (check ~.types-recursive-sample src-590 `tok-590 `tre-590) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-590 `typ-590))
3557+++ test-types-request-normal
3558+ (weld (weld (check ~.types-request-normal src-591 `tok-591 `tre-591) (check-module-types ~.types-request-normal ~[%tests %golden ~.types-request-normal %source %jibb] src-591 `typ-591 ~ ~[[%full mark-591-1]] ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-591-1]])) (check-module-trees ~.types-request-normal `mtre-591 ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-591-1]]))
3550++ test-types-scope-library-poke
3559++ test-types-scope-library-poke
3551− (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-591 `tok-591 `tre-591) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-591 `typ-591 ~ ~ ~))
3560+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-592 `tok-592 `tre-592) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-592 `typ-592 ~ ~ ~))
3552++ test-types-scope-root-api
3561++ test-types-scope-root-api
3553− (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-592 `tok-592 `tre-592) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-592 `typ-592 ~ ~ ~))
3562+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-593 `tok-593 `tre-593) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-593 `typ-593 ~ ~ ~))
3554++ test-types-scope-store-duplicate
3563++ test-types-scope-store-duplicate
3555− (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-593 `tok-593 `tre-593) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-593 `typ-593 ~ ~ ~))
3564+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-594 `tok-594 `tre-594) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-594 `typ-594 ~ ~ ~))
3556++ test-types-scope-store-shadow
3565++ test-types-scope-store-shadow
3557− (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-594 `tok-594 `tre-594) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-594 `typ-594 ~ ~ ~))
3566+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-595 `tok-595 `tre-595) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-595 `typ-595 ~ ~ ~))
3558++ test-types-single-case-pattern
3567++ test-types-single-case-pattern
3559− (weld (check ~.types-single-case-pattern src-595 `tok-595 `tre-595) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-595 `typ-595 ~ ~ ~))
3568+ (weld (check ~.types-single-case-pattern src-596 `tok-596 `tre-596) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-596 `typ-596 ~ ~ ~))
3560++ test-types-string-interpolation
3569++ test-types-string-interpolation
3561− (weld (check ~.types-string-interpolation src-596 `tok-596 `tre-596) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-596 `typ-596 ~ ~ ~))
3570+ (weld (check ~.types-string-interpolation src-597 `tok-597 `tre-597) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-597 `typ-597 ~ ~ ~))
3562++ test-types-tuple-context
3571++ test-types-tuple-context
3563− (weld (check ~.types-tuple-context src-597 `tok-597 `tre-597) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-597 `typ-597 ~ ~ ~))
3572+ (weld (check ~.types-tuple-context src-598 `tok-598 `tre-598) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-598 `typ-598 ~ ~ ~))
3564++ test-types-tuple-context-nested
3573++ test-types-tuple-context-nested
3565− (weld (check ~.types-tuple-context-nested src-598 `tok-598 `tre-598) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-598 `typ-598 ~ ~ ~))
3574+ (weld (check ~.types-tuple-context-nested src-599 `tok-599 `tre-599) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-599 `typ-599 ~ ~ ~))
3566++ test-types-union-alias
3575++ test-types-union-alias
3567− (weld (check ~.types-union-alias src-599 `tok-599 `tre-599) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-599 `typ-599))
3576+ (weld (check ~.types-union-alias src-600 `tok-600 `tre-600) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-600 `typ-600))
3568++ test-types-union-branch-context
3577++ test-types-union-branch-context
3569− (weld (check ~.types-union-branch-context src-600 `tok-600 `tre-600) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-600 `typ-600))
3578+ (weld (check ~.types-union-branch-context src-601 `tok-601 `tre-601) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-601 `typ-601))
3570++ test-types-union-branch-pending
3579++ test-types-union-branch-pending
3571− (weld (check ~.types-union-branch-pending src-601 `tok-601 `tre-601) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-601 `typ-601))
3580+ (weld (check ~.types-union-branch-pending src-602 `tok-602 `tre-602) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-602 `typ-602))
3572++ test-types-union-constructor-shape
3581++ test-types-union-constructor-shape
3573− (weld (check ~.types-union-constructor-shape src-602 `tok-602 `tre-602) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-602 `typ-602))
3582+ (weld (check ~.types-union-constructor-shape src-603 `tok-603 `tre-603) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-603 `typ-603))
3574++ test-types-union-context-flow
3583++ test-types-union-context-flow
3575− (weld (check ~.types-union-context-flow src-603 `tok-603 `tre-603) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-603 `typ-603))
3584+ (weld (check ~.types-union-context-flow src-604 `tok-604 `tre-604) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-604 `typ-604))
3576++ test-types-union-finite
3585++ test-types-union-finite
3577− (weld (check ~.types-union-finite src-604 `tok-604 `tre-604) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-604 `typ-604 ~ ~ ~))
3586+ (weld (check ~.types-union-finite src-605 `tok-605 `tre-605) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-605 `typ-605 ~ ~ ~))
3578++ test-types-union-finite-context
3587++ test-types-union-finite-context
3579− (weld (check ~.types-union-finite-context src-605 `tok-605 `tre-605) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-605 `typ-605 ~ ~ ~))
3588+ (weld (check ~.types-union-finite-context src-606 `tok-606 `tre-606) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-606 `typ-606 ~ ~ ~))
3580++ test-types-union-finite-generic
3589++ test-types-union-finite-generic
3581− (weld (check ~.types-union-finite-generic src-606 `tok-606 `tre-606) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-606 `typ-606 ~ ~ ~))
3590+ (weld (check ~.types-union-finite-generic src-607 `tok-607 `tre-607) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-607 `typ-607 ~ ~ ~))
3582++ test-types-union-finite-limit
3591++ test-types-union-finite-limit
3583− (weld (check ~.types-union-finite-limit src-607 `tok-607 `tre-607) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-607 `typ-607 ~ ~ ~))
3592+ (weld (check ~.types-union-finite-limit src-608 `tok-608 `tre-608) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-608 `typ-608 ~ ~ ~))
3584++ test-types-union-import
3593++ test-types-union-import
3585− (weld (weld (check ~.types-union-import src-608 `tok-608 `tre-608) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-608 `typ-608 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-608-1]])) (check-module-trees ~.types-union-import `mtre-608 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-608-1]]))
3594+ (weld (weld (check ~.types-union-import src-609 `tok-609 `tre-609) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-609 `typ-609 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-609-1]])) (check-module-trees ~.types-union-import `mtre-609 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-609-1]]))
3586++ test-types-union-local-pending
3595++ test-types-union-local-pending
3587− (weld (check ~.types-union-local-pending src-609 `tok-609 `tre-609) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-609 `typ-609))
3596+ (weld (check ~.types-union-local-pending src-610 `tok-610 `tre-610) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-610 `typ-610))
3588++ test-types-union-nonwing-subject
3597++ test-types-union-nonwing-subject
3589− (weld (check ~.types-union-nonwing-subject src-610 `tok-610 `tre-610) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-610 `typ-610 ~ ~ ~))
3598+ (weld (check ~.types-union-nonwing-subject src-611 `tok-611 `tre-611) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-611 `typ-611 ~ ~ ~))
3590++ test-types-union-overlap
3599++ test-types-union-overlap
3591− (weld (check ~.types-union-overlap src-611 `tok-611 `tre-611) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-611 `typ-611))
3600+ (weld (check ~.types-union-overlap src-612 `tok-612 `tre-612) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-612 `typ-612))
3592++ test-types-union-overlap-nested
3601++ test-types-union-overlap-nested
3593− (weld (check ~.types-union-overlap-nested src-612 `tok-612 `tre-612) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-612 `typ-612))
3602+ (weld (check ~.types-union-overlap-nested src-613 `tok-613 `tre-613) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-613 `typ-613))
3594++ test-types-union-pattern-result-context
3603++ test-types-union-pattern-result-context
3595− (weld (check ~.types-union-pattern-result-context src-613 `tok-613 `tre-613) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-613 `typ-613 ~ ~ ~))
3604+ (weld (check ~.types-union-pattern-result-context src-614 `tok-614 `tre-614) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-614 `typ-614 ~ ~ ~))
3596++ test-types-union-pattern-result-controls
3605++ test-types-union-pattern-result-controls
3597− (weld (check ~.types-union-pattern-result-controls src-614 `tok-614 `tre-614) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-614 `typ-614 ~ ~ ~))
3606+ (weld (check ~.types-union-pattern-result-controls src-615 `tok-615 `tre-615) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-615 `typ-615 ~ ~ ~))
3598++ test-types-union-patterns
3607++ test-types-union-patterns
3599− (weld (check ~.types-union-patterns src-615 `tok-615 `tre-615) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-615 `typ-615 ~ ~ ~))
3608+ (weld (check ~.types-union-patterns src-616 `tok-616 `tre-616) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-616 `typ-616 ~ ~ ~))
3600++ test-types-union-patterns-generic
3609++ test-types-union-patterns-generic
3601− (weld (check ~.types-union-patterns-generic src-616 `tok-616 `tre-616) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-616 `typ-616 ~ ~ ~))
3610+ (weld (check ~.types-union-patterns-generic src-617 `tok-617 `tre-617) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-617 `typ-617 ~ ~ ~))
3602++ test-types-union-patterns-import
3611++ test-types-union-patterns-import
3603− (weld (weld (check ~.types-union-patterns-import src-617 `tok-617 `tre-617) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-617 `typ-617 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-617-1]])) (check-module-trees ~.types-union-patterns-import `mtre-617 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-617-1]]))
3612+ (weld (weld (check ~.types-union-patterns-import src-618 `tok-618 `tre-618) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-618 `typ-618 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-618-1]])) (check-module-trees ~.types-union-patterns-import `mtre-618 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-618-1]]))
3604++ test-types-union-phantom-generic
3613++ test-types-union-phantom-generic
3605− (weld (check ~.types-union-phantom-generic src-618 `tok-618 `tre-618) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-618 `typ-618))
3614+ (weld (check ~.types-union-phantom-generic src-619 `tok-619 `tre-619) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-619 `typ-619))
3606++ test-types-union-polymorphic-identity
3615++ test-types-union-polymorphic-identity
3607− (weld (weld (check ~.types-union-polymorphic-identity src-619 `tok-619 `tre-619) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-619 `typ-619 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-619-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-619-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-619 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-619-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-619-2]]))
3616+ (weld (weld (check ~.types-union-polymorphic-identity src-620 `tok-620 `tre-620) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-620 `typ-620 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-620-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-620-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-620 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-620-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-620-2]]))
3608++ test-types-union-print-cross-namespace
3617++ test-types-union-print-cross-namespace
3609− (weld (weld (check ~.types-union-print-cross-namespace src-620 `tok-620 `tre-620) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-620 `typ-620 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-620-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-620 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-620-1]]))
3618+ (weld (weld (check ~.types-union-print-cross-namespace src-621 `tok-621 `tre-621) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-621 `typ-621 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-621-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-621 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-621-1]]))
3610++ test-types-union-print-distinct
3619++ test-types-union-print-distinct
3611− (weld (weld (check ~.types-union-print-distinct src-621 `tok-621 `tre-621) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-621 `typ-621 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-621-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-621-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-621-3]])) (check-module-trees ~.types-union-print-distinct `mtre-621 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-621-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-621-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-621-3]]))
3620+ (weld (weld (check ~.types-union-print-distinct src-622 `tok-622 `tre-622) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-622 `typ-622 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-622-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-622-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-622-3]])) (check-module-trees ~.types-union-print-distinct `mtre-622 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-622-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-622-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-622-3]]))
3612++ test-types-union-print-escape
3621++ test-types-union-print-escape
3613− (weld (check ~.types-union-print-escape src-622 `tok-622 `tre-622) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-622 `typ-622))
3622+ (weld (check ~.types-union-print-escape src-623 `tok-623 `tre-623) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-623 `typ-623))
3614++ test-types-union-print-local
3623++ test-types-union-print-local
3615− (weld (check ~.types-union-print-local src-623 `tok-623 `tre-623) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-623 `typ-623))
3624+ (weld (check ~.types-union-print-local src-624 `tok-624 `tre-624) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-624 `typ-624))
3616++ test-types-union-print-nested
3625++ test-types-union-print-nested
3617− (weld (check ~.types-union-print-nested src-624 `tok-624 `tre-624) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-624 `typ-624))
3626+ (weld (check ~.types-union-print-nested src-625 `tok-625 `tre-625) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-625 `typ-625))
3618++ test-types-union-print-same-origin
3627++ test-types-union-print-same-origin
3619− (weld (weld (check ~.types-union-print-same-origin src-625 `tok-625 `tre-625) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-625 `typ-625 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-625-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-625 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-625-1]]))
3628+ (weld (weld (check ~.types-union-print-same-origin src-626 `tok-626 `tre-626) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-626 `typ-626 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-626-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-626 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-626-1]]))
3620++ test-types-union-print-transitive
3629++ test-types-union-print-transitive
3621− (weld (weld (check ~.types-union-print-transitive src-626 `tok-626 `tre-626) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-626 `typ-626 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-626-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-626-2]])) (check-module-trees ~.types-union-print-transitive `mtre-626 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-626-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-626-2]]))
3630+ (weld (weld (check ~.types-union-print-transitive src-627 `tok-627 `tre-627) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-627 `typ-627 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-627-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-627-2]])) (check-module-trees ~.types-union-print-transitive `mtre-627 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-627-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-627-2]]))
3622++ test-types-union-singleton
3631++ test-types-union-singleton
3623− (weld (check ~.types-union-singleton src-627 `tok-627 `tre-627) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-627 `typ-627))
3632+ (weld (check ~.types-union-singleton src-628 `tok-628 `tre-628) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-628 `typ-628))
3624++ test-types-union-tag-atoms
3633++ test-types-union-tag-atoms
3625− (weld (check ~.types-union-tag-atoms src-628 `tok-628 `tre-628) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-628 `typ-628))
3634+ (weld (check ~.types-union-tag-atoms src-629 `tok-629 `tre-629) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-629 `typ-629))
3626++ test-types-union-tags
3635++ test-types-union-tags
3627− (weld (check ~.types-union-tags src-629 `tok-629 `tre-629) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-629 `typ-629))
3636+ (weld (check ~.types-union-tags src-630 `tok-630 `tre-630) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-630 `typ-630))
3628++ test-types-union-unresolved
3637++ test-types-union-unresolved
3629− (weld (check ~.types-union-unresolved src-630 `tok-630 `tre-630) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-630 `typ-630))
3638+ (weld (check ~.types-union-unresolved src-631 `tok-631 `tre-631) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-631 `typ-631))
3630++ test-types-union-unresolved-flow
3639++ test-types-union-unresolved-flow
3631− (weld (check ~.types-union-unresolved-flow src-631 `tok-631 `tre-631) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-631 `typ-631))
3640+ (weld (check ~.types-union-unresolved-flow src-632 `tok-632 `tre-632) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-632 `typ-632))
3632++ test-types-unit-construction
3641++ test-types-unit-construction
3633− (weld (check ~.types-unit-construction src-632 `tok-632 `tre-632) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-632 `typ-632 ~ ~ ~))
3642+ (weld (check ~.types-unit-construction src-633 `tok-633 `tre-633) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-633 `typ-633 ~ ~ ~))
3634++ test-types-unit-context
3643++ test-types-unit-context
3635− (weld (check ~.types-unit-context src-633 `tok-633 `tre-633) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-633 `typ-633 ~ ~ ~))
3644+ (weld (check ~.types-unit-context src-634 `tok-634 `tre-634) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-634 `typ-634 ~ ~ ~))
3636++ test-types-unit-patterns
3645++ test-types-unit-patterns
3637− (weld (check ~.types-unit-patterns src-634 `tok-634 `tre-634) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-634 `typ-634))
3646+ (weld (check ~.types-unit-patterns src-635 `tok-635 `tre-635) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-635 `typ-635))
3638++ test-types-value-cycle-shadow
3647++ test-types-value-cycle-shadow
3639− (weld (check ~.types-value-cycle-shadow src-635 `tok-635 `tre-635) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-635 `typ-635 ~ ~ ~))
3648+ (weld (check ~.types-value-cycle-shadow src-636 `tok-636 `tre-636) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-636 `typ-636 ~ ~ ~))
3640++ test-types-value-cycle-unsupported
3649++ test-types-value-cycle-unsupported
3641− (weld (check ~.types-value-cycle-unsupported src-636 `tok-636 `tre-636) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-636 `typ-636 ~ ~ ~))
3650+ (weld (check ~.types-value-cycle-unsupported src-637 `tok-637 `tre-637) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-637 `typ-637 ~ ~ ~))
3642++ test-types-value-cycles
3651++ test-types-value-cycles
3643− (weld (check ~.types-value-cycles src-637 `tok-637 `tre-637) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-637 `typ-637 ~ ~ ~))
3652+ (weld (check ~.types-value-cycles src-638 `tok-638 `tre-638) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-638 `typ-638 ~ ~ ~))
3644::
3653::
3645:: +check: run golden:jibb on a case and compare both outputs
3654:: +check: run golden:jibb on a case and compare both outputs
3646::
3655::
tools/testdata/ship-selftest+2−1
@@ -309,7 +309,8 @@ def generator_checks(tmp):
309 'tests/lib/jibb-positional-face-guards.hoon',
309 'tests/lib/jibb-positional-face-guards.hoon',
310 'tests/lib/jibb-generic-alias.hoon',
310 'tests/lib/jibb-generic-alias.hoon',
311 'tests/lib/jibb-api-evidence.hoon',
311 'tests/lib/jibb-api-evidence.hoon',
312− 'tests/lib/jibb-ask-guards.hoon'}
312+ 'tests/lib/jibb-ask-guards.hoon',
313+ 'tests/lib/jibb-request-guards.hoon'}
313 <= normal_tests, sorted(normal_tests))
314 <= normal_tests, sorted(normal_tests))
314 for label, kwargs in (('custom library', {'lib': STUB}),
315 for label, kwargs in (('custom library', {'lib': STUB}),
315 ('custom goldens', {'golden': CASES}),
316 ('custom goldens', {'golden': CASES}),
tools/type-request-guards-testnew file+31
@@ -0,0 +1,31 @@
1+#!/usr/bin/env python3
2+"""Run the request certificate and cache provenance guards under eval."""
3+from pathlib import Path
4+import argparse
5+import subprocess
6+import sys
7+import tempfile
8+
9+root = Path(__file__).resolve().parent.parent
10+parser = argparse.ArgumentParser(description=__doc__)
11+parser.add_argument('--lib', default=str(root / 'jibb-dev/lib/jibb.hoon'))
12+args = parser.parse_args()
13+tests = (root / 'tests/lib/jibb-request-guards.hoon').read_text()
14+tests = tests[tests.index('\n|%\n') + 1:]
15+expression = ('=/ jibb .\n=/ suite\n' + tests +
16+ '\n=/ failures=(list tape) request-guard-errors:suite\n^- @t\n' +
17+ "?~ failures 'request guards passed'\n" +
18+ '(of-wain:format (turn failures crip))\n')
19+with tempfile.TemporaryDirectory(prefix='jibb-request-guards-') as tmp:
20+ program = Path(tmp) / 'guards.hoon'
21+ program.write_text(expression)
22+ result = subprocess.run([str(root / 'tools/hoon'), '--lib', args.lib, '--raw',
23+ '--cord', 'public=' + str(root / 'jibb-dev/lib/jibb/prelude.jibb'),
24+ '--cord', 'internal=' + str(root / 'jibb-dev/lib/jibb/internal.jibb'),
25+ '-f', str(program)], stdout=subprocess.PIPE)
26+if result.returncode:
27+ sys.exit(result.returncode)
28+if result.stdout != b'request guards passed\n':
29+ sys.stderr.buffer.write(result.stdout)
30+ sys.exit(1)
31+print('request certificate and cache guards passed')