typia 15.0.0 → 15.1.0

package/native/core/programmers/iterate/template_runtime_pattern.go

@@ -31,6 +31,11 @@ type templateCapture struct {
 // Consumers that only need template membership can share the checker's exact
 // pattern without duplicating its lowering. Runtime tag conditions remain owned
 // by Check_template because they require the checker context and capture map.
+//
+// @evidence contracts/common.md#principled-implementation Other consumers that only need template membership share the checker's own lowering of a template row, and the capture map that the runtime tag conditions need stays with Check_template.
+// @evidence contracts/common.md#clear-and-simple-design One function that discards the capture map of the private lowering.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts The pattern is the checker's and is not duplicated.
+// @evidence contracts/common.md#meaningful-documentation The doc states what is shared and what Check_template keeps.
 func TemplateRuntimePattern(row []*nativemetadata.MetadataSchema) string {
   pattern, _ := template_runtime_pattern(row)
   return pattern
@@ -252,9 +257,10 @@ func template_is_literal(meta *nativemetadata.MetadataSchema) bool {
 // The matrix must be fully constrained — every OR row contributes at least one
 // validate-able tag. A row with no validate-able tag accepts every value of the
 // base type, which would unconstrain the whole matrix; honoring only the
-// validate-able rows would then reject values the type accepts. Such
-// placeholders (and `boolean`/union/constant placeholders, and tags with no
-// `Validate`) fall back to the historical behavior: structural match only, with
+// validate-able rows would then reject values the type accepts. Runtime checks
+// include exclusions synthesized from schema fragments, not only Validate text.
+// Such unconstrained placeholders (and `boolean`/union/constant placeholders)
+// fall back to the historical behavior: structural match only, with
 // the tag left unenforced rather than emitting a broken check.
 func template_constrained_capture(meta *nativemetadata.MetadataSchema) (*nativemetadata.MetadataAtomic, string, bool) {
   if meta == nil || meta.Bucket() != 1 || len(meta.Atomics) != 1 {
@@ -282,7 +288,7 @@ func template_fully_constrained(tags [][]nativemetadata.IMetadataTypeTag) bool {
   for _, row := range tags {
     validating := false
     for _, tag := range row {
-      if tag.Validate != "" {
+      if tag.Validate != "" || (tag.Kind == "exclude" && len(check_exclude_values(tag)) != 0) {
         validating = true
         break
       }

package/native/core/programmers/iterate/wrap_metadata_rest_tuple.go

@@ -18,6 +18,14 @@ func wrap_metadata_rest_tuple(rest *nativemetadata.MetadataSchema) *nativemetada
   return wrapper
 }
 
+// Wrap_metadata_rest_tuple_export wraps the rest element of a tuple into a
+// metadata schema holding one array whose name and display name are the
+// element's prefixed with `...`.
+//
+// @evidence contracts/common.md#principled-implementation It wraps the rest element of a tuple into a metadata schema holding one array whose name and display name are the element's prefixed with `...`.
+// @evidence contracts/common.md#clear-and-simple-design A one-line exported wrapper over the package-private function.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts The wrapper has no logic of its own.
+// @evidence contracts/common.md#meaningful-documentation The doc states what it builds.
 func Wrap_metadata_rest_tuple_export(rest *nativemetadata.MetadataSchema) *nativemetadata.MetadataSchema {
   return wrap_metadata_rest_tuple(rest)
 }

package/native/core/programmers/json/JsonApplicationProgrammer.go

@@ -14,6 +14,15 @@ type jsonApplicationProgrammerNamespace struct{}
 
 var JsonApplicationProgrammer = jsonApplicationProgrammerNamespace{}
 
+// JsonApplicationProgrammer_IWriteProps is the argument record of
+// JsonApplicationProgrammer.Write, which builds the JSON schema application of a
+// type. Version is the OpenAPI version to emit, and Filter, when set, drops the
+// properties that it rejects.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonApplicationProgrammer.Write, which builds the JSON schema application of a type; its 4 fields (Context, Version, Metadata, Filter) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 4-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is and explains its non-obvious fields.
 type JsonApplicationProgrammer_IWriteProps struct {
   Context  nativecontext.ITypiaContext
   Version  string

package/native/core/programmers/json/JsonAssertParseProgrammer.go

@@ -14,6 +14,15 @@ type jsonAssertParseProgrammerNamespace struct{}
 
 var JsonAssertParseProgrammer = jsonAssertParseProgrammerNamespace{}
 
+// JsonAssertParseProgrammer_DecomposeProps is the argument record of
+// JsonAssertParseProgrammer.Decompose, which builds the asserting
+// `json.assertParse` function. Init is the default initializer of the generated
+// `errorFactory` parameter, or nil.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonAssertParseProgrammer.Decompose, which builds the asserting `json.assertParse` function; its 5 fields (Context, Functor, Type, Name, Init) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 5-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is and explains its non-obvious fields.
 type JsonAssertParseProgrammer_DecomposeProps struct {
   Context nativecontext.ITypiaContext
   Functor *nativehelpers.FunctionProgrammer

package/native/core/programmers/json/JsonAssertStringifyProgrammer.go

@@ -14,6 +14,15 @@ type jsonAssertStringifyProgrammerNamespace struct{}
 
 var JsonAssertStringifyProgrammer = jsonAssertStringifyProgrammerNamespace{}
 
+// JsonAssertStringifyProgrammer_DecomposeProps is the argument record of
+// JsonAssertStringifyProgrammer.Decompose, which builds the asserting
+// `json.assertStringify` function. Init is the default initializer of the
+// generated `errorFactory` parameter, or nil.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonAssertStringifyProgrammer.Decompose, which builds the asserting `json.assertStringify` function; its 5 fields (Context, Functor, Type, Name, Init) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 5-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is and explains its non-obvious fields.
 type JsonAssertStringifyProgrammer_DecomposeProps struct {
   Context nativecontext.ITypiaContext
   Functor *nativehelpers.FunctionProgrammer

package/native/core/programmers/json/JsonIsParseProgrammer.go

@@ -14,6 +14,13 @@ type jsonIsParseProgrammerNamespace struct{}
 
 var JsonIsParseProgrammer = jsonIsParseProgrammerNamespace{}
 
+// JsonIsParseProgrammer_DecomposeProps is the argument record of
+// JsonIsParseProgrammer.Decompose, which builds the `json.isParse` function.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonIsParseProgrammer.Decompose, which builds the `json.isParse` function; its 4 fields (Context, Functor, Type, Name) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 4-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is.
 type JsonIsParseProgrammer_DecomposeProps struct {
   Context nativecontext.ITypiaContext
   Functor *nativehelpers.FunctionProgrammer

package/native/core/programmers/json/JsonIsStringifyProgrammer.go

@@ -14,6 +14,14 @@ type jsonIsStringifyProgrammerNamespace struct{}
 
 var JsonIsStringifyProgrammer = jsonIsStringifyProgrammerNamespace{}
 
+// JsonIsStringifyProgrammer_DecomposeProps is the argument record of
+// JsonIsStringifyProgrammer.Decompose, which builds the `json.isStringify`
+// function.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonIsStringifyProgrammer.Decompose, which builds the `json.isStringify` function; its 4 fields (Context, Functor, Type, Name) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 4-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is.
 type JsonIsStringifyProgrammer_DecomposeProps struct {
   Context nativecontext.ITypiaContext
   Functor *nativehelpers.FunctionProgrammer

package/native/core/programmers/json/JsonSchemaProgrammer.go

@@ -14,12 +14,27 @@ type jsonSchemaProgrammerNamespace struct{}
 
 var JsonSchemaProgrammer = jsonSchemaProgrammerNamespace{}
 
+// JsonSchemaProgrammer_IWriteProps is the argument record of
+// JsonSchemaProgrammer.Write, which builds the JSON schema of one type. Version
+// is the OpenAPI version to emit.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonSchemaProgrammer.Write, which builds the JSON schema of one type; its 3 fields (Context, Version, Metadata) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 3-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is and explains its non-obvious fields.
 type JsonSchemaProgrammer_IWriteProps struct {
   Context  nativecontext.ITypiaContext
   Version  string
   Metadata *nativemetadata.MetadataSchema
 }
 
+// JsonSchemaProgrammer_IJsonSchemaUnit is the result of JsonSchemaProgrammer:
+// the version, the shared components and the schema of one type.
+//
+// @evidence contracts/common.md#principled-implementation It is the result of JsonSchemaProgrammer: the version, the shared components and the schema of one type; its 3 fields (Version, Components, Schema) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 3-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is.
 type JsonSchemaProgrammer_IJsonSchemaUnit struct {
   Version    string
   Components *nativeiterate.OpenApi_IComponents

package/native/core/programmers/json/JsonSchemasProgrammer.go

@@ -15,12 +15,28 @@ type jsonSchemasProgrammerNamespace struct{}
 
 var JsonSchemasProgrammer = jsonSchemasProgrammerNamespace{}
 
+// JsonSchemasProgrammer_IWriteProps is the argument record of
+// JsonSchemasProgrammer.Write, which builds the JSON schemas of several types.
+// Version is the OpenAPI version to emit.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonSchemasProgrammer.Write, which builds the JSON schemas of several types; its 3 fields (Context, Version, Metadatas) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 3-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is and explains its non-obvious fields.
 type JsonSchemasProgrammer_IWriteProps struct {
   Context   nativecontext.ITypiaContext
   Version   string
   Metadatas []*nativemetadata.MetadataSchema
 }
 
+// JsonSchemasProgrammer_IJsonSchemaCollection is the result of
+// JsonSchemasProgrammer: the version, the shared components and the schema of
+// each type.
+//
+// @evidence contracts/common.md#principled-implementation It is the result of JsonSchemasProgrammer: the version, the shared components and the schema of each type; its 3 fields (Version, Components, Schemas) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 3-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is.
 type JsonSchemasProgrammer_IJsonSchemaCollection struct {
   Version    string
   Components *nativeiterate.OpenApi_IComponents

package/native/core/programmers/json/JsonStringifyProgrammer.go

@@ -20,6 +20,16 @@ type jsonStringifyProgrammerNamespace struct{}
 
 var JsonStringifyProgrammer = jsonStringifyProgrammerNamespace{}
 
+// JsonStringifyProgrammer_DecomposeProps is the argument record of
+// JsonStringifyProgrammer.Decompose, which builds the `json.stringify` function.
+// Validated is true for the assertStringify, isStringify and validateStringify
+// variants, which write their checker helpers under the `_si` prefix instead of
+// `_i`.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonStringifyProgrammer.Decompose, which builds the `json.stringify` function; its 5 fields (Validated, Context, Functor, Type, Name) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 5-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is and explains its non-obvious fields.
 type JsonStringifyProgrammer_DecomposeProps struct {
   Validated bool
   Context   nativecontext.ITypiaContext
@@ -344,7 +354,7 @@ func jsonStringifyProgrammer_decode(props struct {
           Functor:  next.Functor,
           Metadata: next.Metadata,
           Input:    next.Input,
-          Explore:  jsonStringifyProgrammer_checker_explore(next.Explore),
+          Explore:  next.Explore,
           Prefix:   jsonStringifyProgrammer_checker_prefix(next.Validated),
         })
       },
@@ -383,7 +393,7 @@ func jsonStringifyProgrammer_decode(props struct {
             Functor:  props.Functor,
             Metadata: partial,
             Input:    props.Input,
-            Explore:  jsonStringifyProgrammer_checker_explore(props.Explore),
+            Explore:  props.Explore,
             Prefix:   jsonStringifyProgrammer_checker_prefix(props.Validated),
           })
         },
@@ -417,7 +427,7 @@ func jsonStringifyProgrammer_decode(props struct {
             Functor:  props.Functor,
             Metadata: partial,
             Input:    props.Input,
-            Explore:  jsonStringifyProgrammer_checker_explore(props.Explore),
+            Explore:  props.Explore,
             Prefix:   jsonStringifyProgrammer_checker_prefix(props.Validated),
           })
         },
@@ -451,7 +461,7 @@ func jsonStringifyProgrammer_decode(props struct {
             Functor:  props.Functor,
             Metadata: partial,
             Input:    props.Input,
-            Explore:  jsonStringifyProgrammer_checker_explore(props.Explore),
+            Explore:  props.Explore,
             Prefix:   jsonStringifyProgrammer_checker_prefix(props.Validated),
           })
         },
@@ -480,7 +490,7 @@ func jsonStringifyProgrammer_decode(props struct {
           Functor:  props.Functor,
           Metadata: partial,
           Input:    props.Input,
-          Explore:  jsonStringifyProgrammer_checker_explore(props.Explore),
+          Explore:  props.Explore,
           Prefix:   jsonStringifyProgrammer_checker_prefix(props.Validated),
         })
       },
@@ -1051,7 +1061,7 @@ func jsonStringifyProgrammer_explore_arrays(props jsonStringifyProgrammer_explor
               Functor:  props.Functor,
               Metadata: v.Definition.(*schemametadata.MetadataSchema),
               Input:    v.Input,
-              Explore:  jsonStringifyProgrammer_checker_explore(v.Explore),
+              Explore:  v.Explore,
               Prefix:   jsonStringifyProgrammer_checker_prefix(props.Validated),
             })
           },
@@ -1062,7 +1072,7 @@ func jsonStringifyProgrammer_explore_arrays(props jsonStringifyProgrammer_explor
               Functor: props.Functor,
               Input:   v.Input,
               Array:   v.Definition.(*schemametadata.MetadataArray),
-              Explore: jsonStringifyProgrammer_feature_explore(v.Explore),
+              Explore: v.Explore,
             })
           },
           Empty:   f.NewStringLiteral("[]", shimast.TokenFlagsNone),
@@ -1304,7 +1314,7 @@ func jsonStringifyProgrammer_configure(props struct {
           Functor:  props.Functor,
           Metadata: next.Metadata,
           Input:    next.Input,
-          Explore:  jsonStringifyProgrammer_checker_explore(next.Explore),
+          Explore:  next.Explore,
           Prefix:   checkerPrefix,
         })
       },
@@ -1330,7 +1340,7 @@ func jsonStringifyProgrammer_configure(props struct {
               Functor: props.Functor,
               Input:   v.Input,
               Object:  v.Object,
-              Explore: jsonStringifyProgrammer_feature_explore(v.Explore),
+              Explore: v.Explore,
               Prefix:  checkerPrefix,
             })
           },
@@ -1340,7 +1350,7 @@ func jsonStringifyProgrammer_configure(props struct {
               Input   *shimast.Node
               Object  *schemametadata.MetadataObjectType
               Explore nativeinternal.FeatureProgrammer_IExplore
-            }{Functor: props.Functor, Input: v.Input, Object: v.Object, Explore: jsonStringifyProgrammer_feature_explore(v.Explore)})
+            }{Functor: props.Functor, Input: v.Input, Object: v.Object, Explore: v.Explore})
           },
           Success: func(exp *shimast.Expression) *shimast.Node {
             return exp
@@ -1487,28 +1497,6 @@ func jsonStringifyProgrammer_checker_prefix(validated bool) string {
   return jsonStringifyProgrammer_CHECKER_PREFIX
 }
 
-func jsonStringifyProgrammer_feature_explore(input any) nativeinternal.FeatureProgrammer_IExplore {
-  switch v := input.(type) {
-  case nativeinternal.FeatureProgrammer_IExplore:
-    return v
-  case *nativeinternal.FeatureProgrammer_IExplore:
-    return *v
-  default:
-    return nativeinternal.FeatureProgrammer_IExplore{}
-  }
-}
-
-func jsonStringifyProgrammer_checker_explore(input any) nativeinternal.CheckerProgrammer_IExplore {
-  v := jsonStringifyProgrammer_feature_explore(input)
-  return nativeinternal.CheckerProgrammer_IExplore{
-    Tracable: v.Tracable,
-    Source:   v.Source,
-    From:     v.From,
-    Postfix:  v.Postfix,
-    Start:    v.Start,
-  }
-}
-
 func jsonStringifyProgrammer_explore_with(explore nativeinternal.FeatureProgrammer_IExplore, source string, from string) nativeinternal.FeatureProgrammer_IExplore {
   explore.Source = source
   explore.From = from

package/native/core/programmers/json/JsonValidateParseProgrammer.go

@@ -14,6 +14,14 @@ type jsonValidateParseProgrammerNamespace struct{}
 
 var JsonValidateParseProgrammer = jsonValidateParseProgrammerNamespace{}
 
+// JsonValidateParseProgrammer_DecomposeProps is the argument record of
+// JsonValidateParseProgrammer.Decompose, which builds the `json.validateParse`
+// function.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonValidateParseProgrammer.Decompose, which builds the `json.validateParse` function; its 5 fields (Context, Modulo, Functor, Type, Name) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 5-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is.
 type JsonValidateParseProgrammer_DecomposeProps struct {
   Context nativecontext.ITypiaContext
   Modulo  *shimast.Node

package/native/core/programmers/json/JsonValidateStringifyProgrammer.go

@@ -14,6 +14,14 @@ type jsonValidateStringifyProgrammerNamespace struct{}
 
 var JsonValidateStringifyProgrammer = jsonValidateStringifyProgrammerNamespace{}
 
+// JsonValidateStringifyProgrammer_DecomposeProps is the argument record of
+// JsonValidateStringifyProgrammer.Decompose, which builds the
+// `json.validateStringify` function.
+//
+// @evidence contracts/common.md#principled-implementation It is the argument record of JsonValidateStringifyProgrammer.Decompose, which builds the `json.validateStringify` function; its 5 fields (Context, Modulo, Functor, Type, Name) are named so that a producer and a consumer cannot transpose them.
+// @evidence contracts/common.md#clear-and-simple-design A 5-field record with no methods.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts A data record: it derives, defaults and validates nothing.
+// @evidence contracts/common.md#meaningful-documentation The doc states what the record is.
 type JsonValidateStringifyProgrammer_DecomposeProps struct {
   Context nativecontext.ITypiaContext
   Modulo  *shimast.Node