JSON Schema Type Builder with Static Type Resolution for TypeScript
This report summarizes scanner evidence for sinclairzx81/typebox, a TypeScript project with 7,018 GitHub stars. SynthScan examined 246,961 lines of code across 2213 source files, recording 234 pattern matches distributed across 6 syntactic categories. The legacy adjusted pattern signal is 1.4 (Low pattern signal); it is not an authorship estimate.
Use the findings to ask whether maintainers can explain intent, verify dependencies, simplify unnecessary scaffolding, and focus review effort. Risk Payload v1 adds ownership, supply-chain, over-engineering, and review-effort vectors when available. These are prompts for human verification, not probabilities, security findings, or measured maintenance costs.
Use each vector to guide manual verification of the underlying findings.
Payload schema: 1.0.0 · Engine: 2.0.0 · Scoring: heuristic-density-v1 · Scan date: 2026-10-31.
Can maintainers explain intent, assumptions, and trade-offs? 218 finding(s).
Are imports declared and package/API names verified? 13 finding(s).
Are wrappers, guards, and repeated structures necessary? 42 finding(s).
Which changes need focused human review? 234 finding(s).
This chart tracks the legacy adjusted pattern score across scan runs. Changes can reflect source changes, scan coverage, or detector/scoring versions; they do not measure AI adoption or prove that a team refactored code. Compare runs only when their scoring versions are compatible. The dashed line tracks the raw pattern-hit count.
Groups findings by configured severity weight. Severity is not a confidence estimate, security rating, or proof that a package is missing. Verify imports against the project's manifests and inspect each finding in its local design context.
This horizontal bar chart shows where configured pattern scores accumulate across directories. Treat the bars as locations to inspect, not as evidence of authorship or code quality. Use the file-level findings to decide whether a directory needs a focused ownership, dependency, complexity, or review check.
The scanner identified 234 distinct pattern matches across 6 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a detector match to inspect in context. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.
Reading the findings table: The Severity column indicates the configured finding weight (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — legacy comment-context matches receive a ×1.5 score weight. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier under the legacy scoring model.
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | readme.md | 81 | import Type from 'typebox' | COMMENT |
| LOW | tasks.ts | 41 | Task.run('build', (target: string = 'target/build') => BuildTo(target)) | COMMENT |
| LOW | tasks.ts | 61 | Task.run('local', (target: string = '../build-test/node_modules/typebox') => BuildTo(target)) | COMMENT |
| LOW | tasks.ts | 81 | Task.run('start', () => Task.shell('node --watch example/index.ts')) | COMMENT |
| LOW | tasks.ts | 101 | Task.run('report', () => Test.report(['test/jsonschema', 'test/typebox/runtime'])) | COMMENT |
| LOW | design/website/docs/value/pipeline.md | 21 | // | COMMENT |
| LOW | design/website/docs/value/errors.md | 21 | // schemaPath: '#/required', | COMMENT |
| LOW | design/website/docs/script/1_script.md | 61 | // x: TLiteral<1> | COMMENT |
| LOW | design/website/docs/script/1_script.md | 121 | // z: TNumber | COMMENT |
| LOW | design/website/docs/script/1_script.md | 141 | // Indexed | COMMENT |
| LOW | design/website/docs/script/1_script.md | 161 | // TNumber, | COMMENT |
| LOW | design/website/docs/script/1_script.md | 181 | // x: TLiteral<1>, | COMMENT |
| LOW | design/website/docs/script/1_script.md | 201 | description: 'An email address' | COMMENT |
| LOW | design/website/docs/script/1_script.md | 221 | // z: TWith<TNumber, { | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 21 | x: Vector, // type: "object", | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 41 | // }, | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 61 | // "x-f0586253b656ad7e": { | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 101 | // When passing a non-referential schema to Schema.Compile(...), the | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 121 | Schema.Build(A).Functions() // const check_0 = ((value) => ((typeof value === "object" | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 141 | // "x-b3d1b3fb56d0fb6e": { type: "number" }, | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 161 | // (A) check_0 function to expand into 5 distinct functions, one for | COMMENT |
| LOW | design/website/docs/schema/6_intern.md | 181 | // const check_3 = ((value) => Number.isFinite(value)) | COMMENT |
| LOW | design/website/docs/schema/3_errors.md | 21 | z: { type: 'number' } | COMMENT |
| LOW | design/website/docs/schema/3_errors.md | 41 | // { | COMMENT |
| LOW | design/website/docs/schema/4_compile.md | 21 | }) | COMMENT |
| LOW | design/website/docs/schema/4_compile.md | 41 | // false, | COMMENT |
| LOW | design/website/docs/schema/2_parse.md | 21 | } as const | COMMENT |
| LOW | design/website/docs/system/3_memory.md | 21 | COMMENT | |
| LOW | design/website/docs/type/overview.md | 21 | // 'email' | COMMENT |
| LOW | design/website/docs/type/instantiate.md | 21 | // x: TLiteral<1>, | COMMENT |
| LOW | design/website/docs/type/cyclic.md | 121 | // required: [ 'id', 'nodes' ], | COMMENT |
| LOW | design/website/docs/type/cyclic.md | 141 | type Node = { | COMMENT |
| LOW | design/website/docs/type/cyclic.md | 161 | // }, | COMMENT |
| LOW | design/website/docs/type/function.md | 21 | // properties: { | COMMENT |
| LOW | design/website/docs/type/constructor.md | 21 | // properties: { | COMMENT |
| LOW | design/website/docs/type/refine.md | 21 | // ------------------------------------------------------------------ | COMMENT |
| LOW | design/website/docs/type/refine.md | 41 | // params: { index: 0, message: "Value 42 is not Prime" }, | COMMENT |
| LOW | design/website/docs/type/required.md | 21 | // y: TNumber, | COMMENT |
| LOW | design/website/docs/overview/overview.md | 81 | // y: number, | COMMENT |
| LOW | design/format/uri.ts | 21 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | COMMENT |
| LOW | design/format/uri.ts | 41 | // | COMMENT |
| LOW | design/format/uri.ts | 61 | // | COMMENT |
| LOW | design/format/uri.ts | 141 | // URI Template fragments (RFC 6570) | COMMENT |
| LOW | design/syntax/syntax.ts | 201 | // ------------------------------------------------------------------ | COMMENT |
| LOW | design/syntax/syntax.ts | 361 | ]) | COMMENT |
| LOW | design/syntax/syntax.ts | 621 | Runtime.Ref('OptionalSemiColon'), | COMMENT |
| LOW | design/syntax/syntax.ts | 641 | Runtime.Const('false'), | COMMENT |
| LOW | design/syntax/syntax.ts | 701 | ]) | COMMENT |
| LOW | test/typebox/runtime/value/codec/intersect.ts | 141 | }) | COMMENT |
| LOW | test/typebox/runtime/schema/additional.ts | 41 | // validation fails. This scenario isn't covered by the test suite. | COMMENT |
| LOW | test/typebox/runtime/type/extends/enum.ts | 1 | import Type, { Extends, ExtendsResult } from 'typebox' | COMMENT |
| LOW | test/typebox/runtime/type/extends/dependent.ts | 501 | Type.Dependent(Type.String(), Type.Never(), Type.Literal(1)) | COMMENT |
| LOW | test/typebox/runtime/type/engine/action/call.ts | 181 | Assert.IsEqual(T.properties.z.items[0].const, 3) | COMMENT |
| LOW | test/typebox/runtime/type/engine/action/module.ts | 101 | T: Type.Generic([Type.Parameter('T')], Type.Tuple([Type.Ref('T')])), | COMMENT |
| LOW | test/typebox/runtime/format/hostname.ts | 221 | // Should invalidate if the reserved hyphen pattern is in a sub-label | COMMENT |
| LOW | test/typebox/runtime/format/iri.ts | 61 | // ------------------------------------------------------------------ | COMMENT |
| LOW | test/typescript/00213-hard-vue-basic-props.ts | 1 | // ------------------------------------------------------------------ | COMMENT |
| LOW | test/typescript/00007-easy-readonly.ts | 1 | // ------------------------------------------------------------------ | COMMENT |
| LOW | test/typescript/00008-medium-readonly-2.ts | 1 | // ------------------------------------------------------------------ | COMMENT |
| LOW | test/typescript/00003-medium-omit.ts | 1 | // ------------------------------------------------------------------ | COMMENT |
| 118 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| CRITICAL | example/scripting/turing.ts | 267 | const output = program.properties.output.properties.items.items.map((item: any) => String.fromCharCode(item.const)).jo | CODE |
| CRITICAL⚡ | example/scripting/turing.ts | 286 | const input = program.properties.input.properties.items.items.map((type: Type.TLiteral) => type.const).join(' ') | CODE |
| CRITICAL⚡ | example/scripting/turing.ts | 287 | const output = program.properties.output.properties.items.items.map((type: Type.TLiteral) => type.const).join(' ') | CODE |
| CRITICAL⚡ | example/scripting/turing.ts | 288 | const memory_prev = program.properties.memory.properties.prev.items.map((type: Type.TLiteral) => type.const) | CODE |
| CRITICAL⚡ | example/scripting/turing.ts | 289 | const memory_next = program.properties.memory.properties.next.items.map((type: Type.TLiteral) => type.const) | CODE |
| CRITICAL⚡ | example/scripting/turing.ts | 292 | const next = program.properties.instruction.properties.next.items.map((type: Type.TLiteral) => type.const).join(' ') | CODE |
| CRITICAL⚡ | example/scripting/turing.ts | 293 | const prev = program.properties.instruction.properties.prev.items.map((type: Type.TLiteral) => type.const).join(' ') | CODE |
| CRITICAL⚡ | example/scripting/turing.ts | 301 | const output = program.properties.output.properties.items.items.map((type: Type.TLiteral<number>) => String.fromCharCo | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | design/website/app/mode.ts | 194 | export function notifySceneGeometryChanged() { | CODE |
| LOW | src/schema/resolve/resolve.ts | 207 | function FindDeferredResourceLegacy(stack: Stack.XStack, ref: Schema.XRef, schema: Schema.XSchemaObject): XDeferredResou | CODE |
| LOW | src/schema/resolve/resolve.ts | 214 | function FindDeferredResourceModern(stack: Stack.XStack, canonical: string, schema: Schema.XSchemaObject): XDeferredReso | CODE |
| LOW | src/schema/intern/intern.ts | 228 | function FromUnevaluatedProperties(context: XRefContext, schema: Schema.XUnevaluatedProperties): Schema.XSchema { | CODE |
| LOW | src/schema/engine/additionalProperties.ts | 48 | function IsAdditionalPropertiesIgnored(context: BuildContext, additionalProperties: Schema.XSchema): boolean { | CODE |
| LOW⚡ | src/schema/engine/additionalProperties.ts | 82 | function HasExactRequiredProperties(schema: Schema.XRequired & Schema.XProperties): boolean { | CODE |
| LOW⚡ | src/schema/engine/additionalProperties.ts | 87 | function CanAdditionalPropertiesFast(_context: BuildContext, schema: Schema.XAdditionalProperties, _value: string): sche | CODE |
| LOW⚡ | src/schema/engine/additionalProperties.ts | 94 | function BuildAdditionalPropertiesFast(_context: BuildContext, schema: Schema.XAdditionalProperties & Schema.XRequired, | CODE |
| LOW⚡ | src/schema/engine/additionalProperties.ts | 100 | function BuildAdditionalPropertiesStandard(stack: Stack.XStack, context: BuildContext, schema: Schema.XAdditionalPropert | CODE |
| LOW | src/schema/engine/additionalProperties.ts | 113 | export function BuildAdditionalProperties(stack: Stack.XStack, context: BuildContext, schema: Schema.XAdditionalProperti | CODE |
| LOW | src/schema/engine/additionalProperties.ts | 122 | export function CheckAdditionalProperties(stack: Stack.XStack, context: CheckContext, schema: Schema.XAdditionalProperti | CODE |
| LOW | src/schema/engine/additionalProperties.ts | 133 | export function ErrorAdditionalProperties(stack: Stack.XStack, context: ErrorContext, schemaPath: string, instancePath: | CODE |
| LOW | src/schema/engine/items.ts | 78 | function BuildItemsUnsizedStandard(stack: Stack.XStack, context: BuildContext, schema: Schema.XItemsUnsized, value: stri | CODE |
| LOW | src/schema/engine/_stack.ts | 164 | function NextUseResourceBaseForReference(stack: XStack, schema: Schema.XSchemaObject): boolean { | CODE |
| LOW | src/schema/engine/unevaluatedProperties.ts | 41 | export function BuildUnevaluatedProperties(stack: Stack.XStack, context: BuildContext, schema: Schema.XUnevaluatedProper | CODE |
| LOW | src/schema/engine/unevaluatedProperties.ts | 56 | export function CheckUnevaluatedProperties(stack: Stack.XStack, context: CheckContext, schema: Schema.XUnevaluatedProper | CODE |
| LOW | src/schema/engine/unevaluatedProperties.ts | 66 | export function ErrorUnevaluatedProperties(stack: Stack.XStack, context: ErrorContext, schemaPath: string, instancePath: | CODE |
| LOW | src/schema/engine/_context.ts | 49 | function HasUnevaluatedFromUnknown(value: unknown) { | CODE |
| LOW | src/schema/engine/additionalItems.ts | 47 | function BuildAdditionalItemsStandard(stack: Stack.XStack, context: BuildContext, schema: Schema.XAdditionalItems & Sche | CODE |
| LOW | src/type/types/template_literal.ts | 68 | export function IsTemplateLiteralDeferred(value: unknown): value is TTemplateLiteralDeferred { | CODE |
| LOW | src/type/script/mapping.ts | 137 | export function GenericParameterExtendsEqualsMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 148 | export function GenericParameterExtendsMapping(input: [unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 159 | export function GenericParameterEqualsMapping(input: [unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 168 | export function GenericParameterIdentifierMapping(input: string): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 186 | export function GenericParameterListMapping(input: [unknown, unknown, unknown] | []): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 206 | export function GenericCallArgumentListMapping(input: [unknown, unknown, unknown] | []): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 217 | export function GenericCallArgumentsMapping(input: [unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 406 | export function TemplateInterpolateMapping(input: [unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 439 | export function TemplateLiteralTypesMapping(input: [unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1000 | export function ParameterReadonlyOptionalMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1430 | export function InterfaceDeclarationHeritageListMapping(input: [unknown, unknown, unknown] | []): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1441 | export function InterfaceDeclarationHeritageMapping(input: [unknown, unknown] | []): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1452 | export function InterfaceDeclarationGenericMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1467 | export function InterfaceDeclarationMapping(input: [unknown, unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1481 | export function TypeAliasDeclarationGenericMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1492 | export function TypeAliasDeclarationMapping(input: [unknown, unknown, unknown, unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1511 | export function ModuleDeclarationDelimiterMapping(input: [unknown, unknown] | [unknown]): unknown { | CODE |
| LOW | src/type/script/mapping.ts | 1520 | export function ModuleDeclarationListMapping(input: [unknown, unknown, unknown] | []): unknown { | CODE |
| LOW | src/error/errors.ts | 86 | export function IsLocalizedValidationError(value: unknown): value is TLocalizedValidationError { | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | example/scripting/turing.ts | 32 | // ┌────────────────────────────────────────────────────────────────────────────┐ | COMMENT |
| MEDIUM | example/scripting/turing.ts | 38 | // ├────────────────────────────────────────────────────────────────────────────┤ | COMMENT |
| MEDIUM | example/scripting/turing.ts | 51 | // └────────────────────────────────────────────────────────────────────────────┘ | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | design/website/docs/format/email.md | 12 | const R = Format.IsEmail('user@example.com') | CODE |
| LOW | design/website/docs/format/email.md | 22 | const R = Schema.Check({ format: 'email' }, 'user@example.com') | CODE |
| LOW | test/typebox/runtime/format/idn_email.ts | 84 | Assert.IsTrue(Format.IsIdnEmail('first.last@example.org')) | CODE |
| LOW | test/typebox/runtime/format/idn_email.ts | 114 | Assert.IsTrue(Format.IsIdnEmail('user@example.com')) | CODE |
| LOW | test/typebox/runtime/format/email.ts | 7 | Assert.IsTrue(Format.IsEmail('user@example.com')) | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | design/format/uri.ts | 63 | // octet at 255, per RFC 3986. It is the highest leverage fragment | COMMENT |