@abide/abide 0.118.0 → 0.120.0

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@abide/abide",
-    "version": "0.118.0",
+    "version": "0.120.0",
     "type": "module",
     "description": "Isomorphic type-safe framework for reactive async interfaces for humans and machines",
     "license": "MIT",

package/scaffold/src/getGreeting.test.ts

@@ -1,4 +1,5 @@
 import { expect, test } from 'bun:test'
+
 import getGreeting from './getGreeting.handler.ts'
 
 test('the handler answers with the name it is given', async () => {

package/scaffold/src/index.abide

@@ -1,5 +1,6 @@
 <script>
 import { reactive } from '@abide/abide'
+
 import getGreeting from '#src/getGreeting.handler.ts'
 
 let count = reactive(0)
@@ -11,5 +12,7 @@ const greeting = reactive(() => getGreeting({ name: 'world' }))
 <main>
     <h1>{greeting}</h1>
     <p>Clicked {count} times.</p>
-    <button onclick={() => { count = count + 1 }}>Click</button>
+    <button onclick={() => {
+        count = count + 1
+    }}>Click</button>
 </main>

package/scaffold/src/index.test.ts

@@ -1,6 +1,8 @@
 import { expect, test } from 'bun:test'
+
 import { flushSync } from '@abide/abide'
 import { measure, mount } from '@abide/harness/abide'
+
 import Index from './index.abide'
 
 test('a click rewrites the count and builds nothing', async () => {

package/scaffold/src/layout.abide

@@ -8,11 +8,11 @@ onStart(async (start) => {
 </script>
 
 <html lang="en">
-<head>
-    <meta charset="utf-8" />
-    <meta name="viewport" content="width=device-width, initial-scale=1" />
-</head>
+    <head>
+        <meta charset="utf-8" />
+        <meta name="viewport" content="width=device-width, initial-scale=1" />
+    </head>
 <body>
-    <slot/>
-</body>
+        <slot />
+    </body>
 </html>

package/src/compiler/Lowering.ts

@@ -1,15 +1,17 @@
 import { SyntaxKind } from 'typescript/unstable/ast'
+
 import type { CheckerAnswer } from './CheckerAnswer.ts'
 import type { Read } from './classifyRead.ts'
 import { holdsSlot } from './classifyTemplate.ts'
 import type { Finding } from './Finding.ts'
-import type { AbideFile } from './parseAbide.ts'
+import { type AbideFile, scriptBodies } from './parseAbide.ts'
 import {
     type Origin,
     type Projection,
     projectShadow,
     type Span,
 } from './projectShadow.ts'
+import { importedNames } from './splitImports.ts'
 import type { InlineComponent, Setup, TemplateNode } from './TemplateNode.ts'
 import { nesting, type Token, tokenize } from './tokenize.ts'
 
@@ -82,6 +84,11 @@ export class Lowering {
      * rather than called, whose forwarding arrow takes an untyped rest.
      */
     readonly checking: boolean
+    /**
+     * Whether a script imports abide's own `raw`, which a checked lowering then leaves a template's
+     * `raw(x)` calling — the same function, and the import read where the author reads it.
+     */
+    private readonly importsRaw: boolean
     /**
      * The names a checked lowering read, each with whether it was read through a props accessor.
      *
@@ -133,6 +140,7 @@ export class Lowering {
         this.answer = answer
         this.holdsSlot = holdsSlot(file.template)
         this.checking = checking
+        this.importsRaw = importsAbideRaw(file)
         this.chunks = chunks
         this.routed = routed
     }
@@ -804,7 +812,9 @@ export class Lowering {
             // template are the same object. The read exists only where a template expression held
             // the call (`expressionFacts`), so a `<script>`'s `raw` stays the file's.
             case 'raw':
-                return this.use('raw')
+                return this.checking && this.importsRaw
+                    ? undefined
+                    : this.use('raw')
             // 27.13 — the call bound to a name, for the checker to read the defaults' type off.
             case 'config':
                 return this.checking
@@ -897,6 +907,14 @@ export class Lowering {
     }
 }
 
+function importsAbideRaw(file: AbideFile): boolean {
+    for (const body of scriptBodies(file))
+        for (const { name, specifier } of importedNames(body))
+            if (name === 'raw' && specifier.startsWith('@abide/abide'))
+                return true
+    return false
+}
+
 function isRawCallee(read: Read): boolean {
     return read.shape === 'raw'
 }

package/src/compiler/PositionTable.ts

@@ -1,4 +1,5 @@
 import type { Node } from 'typescript/unstable/ast'
+
 import type { Span } from './projectShadow.ts'
 
 /**

package/src/compiler/Refusals.ts

@@ -1,4 +1,5 @@
 import { resolve } from 'node:path' // bun exposes no path helpers of its own
+
 import { formatDiagnosis } from './formatDiagnosis.ts'
 import { diagnosisAt } from './lineOf.ts'
 import { PositionedRefusal } from './PositionedRefusal.ts'

package/src/compiler/TypeSession.ts

@@ -1,5 +1,6 @@
 import { type Dirent, readdirSync, realpathSync, statSync } from 'node:fs' // Bun exposes no sync directory listing or realpath of its own
 import { basename, dirname, join, resolve } from 'node:path' // Bun exposes no path helpers of its own
+
 import {
     getTouchingPropertyName,
     type Node,
@@ -8,7 +9,6 @@ import {
 } from 'typescript/unstable/ast'
 import {
     API,
-    type Symbol as CheckedSymbol,
     type Checker,
     type CompletionEntry,
     type CompletionInfo,
@@ -17,31 +17,34 @@ import {
     type Project,
     SignatureKind,
     type Snapshot,
+    type Symbol as CheckedSymbol,
     SymbolFlags,
     type Type,
 } from 'typescript/unstable/async'
+
 import { placeOf } from '#server/placement.ts'
 import { parseRoutePattern } from '#shared/routePattern.ts'
+
 import { aliasedSymbol } from './aliasedSymbol.ts'
 import { AMBIENT_SOURCES, ambientReadsIn } from './ambientReadsIn.ts'
 import type { AppLayout, AppRoute, PlacedSource } from './appLayout.ts'
 import { argsDefaultsIn } from './argsDefaultsIn.ts'
-import { type CheckerAnswer, UNCHECKED } from './CheckerAnswer.ts'
 import {
+    checkedShadow,
     COMPONENT_MODULE,
     COMPONENT_STAND_IN,
-    checkedShadow,
     moduleConfigShadow,
 } from './checkedShadow.ts'
+import { type CheckerAnswer, UNCHECKED } from './CheckerAnswer.ts'
 import type { Finding } from './Finding.ts'
 import { isIgnored } from './isIgnored.ts'
-import { CHECKED_VALUES } from './Lowering.ts'
 import { diagnosisAt, lineOf } from './lineOf.ts'
+import { CHECKED_VALUES } from './Lowering.ts'
 import type { AbideFile } from './parseAbide.ts'
 import { projectShadow, type Span } from './projectShadow.ts'
 import { type Abide, abideIn, isReactiveType } from './reactiveTypes.ts'
-import type { ParsedSource, ReadSource } from './readSources.ts'
 import { readsIn, type ShadowSpans } from './readsIn.ts'
+import type { ParsedSource, ReadSource } from './readSources.ts'
 import {
     CHECKED_SUFFIX,
     mapForward,
@@ -1604,7 +1607,8 @@ function routesDeclaration(
 /** The union of the literals an anchored matcher source alternates between, or `undefined`. */
 function literalsOf(source: string | undefined): string | undefined {
     const body = source?.match(/^\^\(\?!\\\.\\\.\?\$\)\(\?:(.*)\)\$$/)?.[1]
-    if (body === undefined || !/^[\w~-]+(?:\|[\w~-]+)*$/.test(body)) return undefined
+    if (body === undefined || !/^[\w~-]+(?:\|[\w~-]+)*$/.test(body))
+        return undefined
     return body
         .split('|')
         .map((literal) => JSON.stringify(literal))
@@ -1802,8 +1806,7 @@ const CATEGORIES = ['warning', 'error', 'suggestion', 'message'] as const
 function flatten(diagnostic: {
     text: string
     messageChain?:
-        | readonly { text: string; messageChain?: unknown }[]
-        | undefined
+        readonly { text: string; messageChain?: unknown }[] | undefined
 }): string {
     let message = diagnostic.text
     const chain = diagnostic.messageChain ?? []

package/src/compiler/aliasedSymbol.ts

@@ -1,6 +1,6 @@
 import {
-    type Symbol as CheckedSymbol,
     type Checker,
+    type Symbol as CheckedSymbol,
     SymbolFlags,
 } from 'typescript/unstable/async'
 

package/src/compiler/ambientReadsIn.ts

@@ -10,6 +10,7 @@ import {
     isPropertyAssignment,
 } from 'typescript/unstable/ast/is'
 import type { Checker } from 'typescript/unstable/async'
+
 import { aliasedSymbol } from './aliasedSymbol.ts'
 import {
     isWrittenInPlace,

package/src/compiler/appLayout.ts

@@ -1,4 +1,5 @@
 import { relative as relativeTo } from 'node:path' // bun exposes no path helpers of its own
+
 import { appFiles } from '#server/appTree.ts'
 import { type Placement, placement, routeOf } from '#server/placement.ts'
 import {
@@ -13,14 +14,15 @@ import {
     parseRoutePattern,
     type Segment,
 } from '#shared/routePattern.ts'
+
 import { abideImportsOf, componentGraph } from './componentGraph.ts'
 import type { HandlerFile } from './handlersUnder.ts'
 import { hookCalls, hooksIn } from './hookCalls.ts'
-import { type MountedTree, matchersOf } from './matchersOf.ts'
+import { matchersOf, type MountedTree } from './matchersOf.ts'
 import { mountsOf } from './mountsOf.ts'
 import { type AbideFile, scriptBodies } from './parseAbide.ts'
-import { Refusals } from './Refusals.ts'
 import { type ParsedSource, parseSources } from './readSources.ts'
+import { Refusals } from './Refusals.ts'
 import { resolverIn } from './resolverIn.ts'
 import { attributedImports } from './splitImports.ts'
 import type { Diagnosis } from './TypeSession.ts'

package/src/compiler/argsDefaultsIn.ts

@@ -16,6 +16,7 @@ import {
     isStringLiteral,
 } from 'typescript/unstable/ast/is'
 import { type Checker, SymbolFlags, type Type } from 'typescript/unstable/async'
+
 import type { Finding } from './Finding.ts'
 import { optionNamed, reactiveOptions } from './reactiveOptions.ts'
 

package/src/compiler/argsSchemaOf.ts

@@ -18,6 +18,7 @@ import {
     type TypeReference,
     type UnionOrIntersectionType,
 } from 'typescript/unstable/async'
+
 import type { JsonValue } from '#shared/JsonValue.ts'
 
 type Schema = { [keyword: string]: JsonValue }

package/src/compiler/checkApp.ts

@@ -1,12 +1,14 @@
 import { relative } from 'node:path' // bun exposes no path helpers of its own
+
 import { type Placement, placement } from '#server/placement.ts'
+
 import type { PlacedSource } from './appLayout.ts'
 import { type AppChecker, compiled } from './compileApp.ts'
 import { abideImportsOf } from './componentGraph.ts'
 import { hooksIn } from './hookCalls.ts'
 import { parseAbide, scriptBodies } from './parseAbide.ts'
-import { Refusals } from './Refusals.ts'
 import { parseSources, readSources } from './readSources.ts'
+import { Refusals } from './Refusals.ts'
 import type { Diagnosis } from './TypeSession.ts'
 
 /**

package/src/compiler/checkedShadow.ts

@@ -1,4 +1,5 @@
 import { SERVER_SPECIFIER } from '#shared/SPECIFIERS.ts'
+
 import type { CheckerAnswer } from './CheckerAnswer.ts'
 import type { Finding } from './Finding.ts'
 import { hookCalls } from './hookCalls.ts'
@@ -10,8 +11,8 @@ import {
     Lowering,
     type Routed,
 } from './Lowering.ts'
-import { holdsReactive } from './PositionTable.ts'
 import type { AbideFile } from './parseAbide.ts'
+import { holdsReactive } from './PositionTable.ts'
 import { NO_PROPS, type Origin, type Span } from './projectShadow.ts'
 import { CHECKED_SUFFIX } from './ShadowMap.ts'
 import { abideImports } from './splitImports.ts'

package/src/compiler/classifyRead.ts

@@ -17,6 +17,7 @@ import {
     isPropertyAccessExpression,
     isShorthandPropertyAssignment,
 } from 'typescript/unstable/ast/is'
+
 import type { Span } from './projectShadow.ts'
 import { REACTIVE_MEMBERS } from './REACTIVE_MEMBERS.ts'
 

package/src/compiler/classifyTemplate.ts

@@ -3,6 +3,7 @@ import { escapeAttribute, escapeQuote } from '#shared/escapeText.ts'
 import { isEventName } from '#shared/isEventName.ts'
 import { safeUrl } from '#shared/safeUrl.ts'
 import { URL_ATTRIBUTES } from '#shared/URL_ATTRIBUTES.ts'
+
 import { decodeCharacterReferences } from './decodeCharacterReferences.ts'
 import {
     type Attribute,

package/src/compiler/compileApp.ts

@@ -1,5 +1,6 @@
 import { realpathSync } from 'node:fs' // bun exposes no sync realpath of its own
 import { dirname, posix } from 'node:path' // bun exposes no path helpers of its own
+
 import {
     type Compilation,
     type CompiledFile,
@@ -13,10 +14,11 @@ import { VIRTUAL_DIRECTORY } from '#server/VIRTUAL_DIRECTORY.ts'
 import { CLIENT_ADDRESS } from '#shared/ADDRESSES.ts'
 import type { JsonValue } from '#shared/JsonValue.ts'
 import { ROUTING_SPECIFIER, WIRE_SPECIFIER } from '#shared/SPECIFIERS.ts'
+
 import {
     type AppLayout,
-    type AppRoute,
     appLayout,
+    type AppRoute,
     type PlacedSource,
     shapeOf,
 } from './appLayout.ts'
@@ -25,8 +27,8 @@ import { handlersUnder } from './handlersUnder.ts'
 import { isAbideSpecifier } from './hookCalls.ts'
 import { nearest } from './nearest.ts'
 import { projectShadow } from './projectShadow.ts'
-import { Refusals } from './Refusals.ts'
 import { type ReadSource, readSources } from './readSources.ts'
+import { Refusals } from './Refusals.ts'
 import { respecified } from './splitImports.ts'
 import { type Diagnosis, TypeSession } from './TypeSession.ts'
 import { writeDefaultProject } from './writeDefaultProject.ts'

package/src/compiler/compiledEntry.ts

@@ -2,6 +2,7 @@ import { tablePath } from '#server/abideModules.ts'
 import type { AppPackage } from '#server/config.ts'
 import type { SourceMaps } from '#server/installSourceMaps.ts'
 import { SERVER_TABLE } from '#server/TABLES.ts'
+
 import abidePackage from '../../package.json' with { type: 'json' }
 
 // What the executable starts from: `abide compile`'s, and `abide bundle`'s window over it (38.70).

package/src/compiler/componentGraph.ts

@@ -1,4 +1,5 @@
 import { dirname } from 'node:path' // bun exposes no path helpers of its own
+
 import { type AbideFile, scriptBodies } from './parseAbide.ts'
 import { abideImports } from './splitImports.ts'
 

package/src/compiler/declaredExports.ts

@@ -14,18 +14,19 @@ import {
     isVariableDeclaration,
 } from 'typescript/unstable/ast/is'
 import {
-    type Symbol as CheckedSymbol,
     type Checker,
     ObjectFlags,
     type ObjectType,
     type Project,
     SignatureKind,
+    type Symbol as CheckedSymbol,
     SymbolFlags,
     type Type,
     TypeFlags,
     type TypeReference,
     type UnionOrIntersectionType,
 } from 'typescript/unstable/async'
+
 import type { Mount } from '#server/answerRpc.ts'
 import type { CopyOptions } from '#shared/CopyOptions.ts'
 import {
@@ -33,6 +34,7 @@ import {
     defaultsInSource,
 } from '#shared/reactive/parameterDefaults.ts'
 import type { Method } from '#shared/rpc.ts'
+
 import { aliasedSymbol } from './aliasedSymbol.ts'
 import { defaultedMembers, parameterPattern } from './argsDefaultsIn.ts'
 import {
@@ -42,7 +44,6 @@ import {
     type Walk,
 } from './argsSchemaOf.ts'
 import { diagnosisAt } from './lineOf.ts'
-import type { Refusals } from './Refusals.ts'
 import { isReactiveCall, METHODS, optionNamed } from './reactiveOptions.ts'
 import {
     abideIn,
@@ -50,6 +51,7 @@ import {
     isReactiveMember,
     valueTypeOf,
 } from './reactiveTypes.ts'
+import type { Refusals } from './Refusals.ts'
 import type { Diagnosis } from './TypeSession.ts'
 
 /**

package/src/compiler/emitClient.ts

@@ -1,3 +1,4 @@
+import { anchorMarkup } from '#shared/anchorMarkup.ts'
 import {
     RAW_CLOSE,
     RAW_OPEN,
@@ -5,7 +6,6 @@ import {
     REGION_OPEN,
     ROW_OPEN,
 } from '#shared/ANCHORS.ts'
-import { anchorMarkup } from '#shared/anchorMarkup.ts'
 import { CHILDREN } from '#shared/CHILDREN.ts'
 import { FOREIGN_ATTRIBUTES } from '#shared/FOREIGN_ATTRIBUTES.ts'
 import {
@@ -13,22 +13,23 @@ import {
     INTEGRATION_POINTS,
 } from '#shared/INTEGRATION_POINTS.ts'
 import { RUNTIME_SPECIFIER, SHARED_SPECIFIER } from '#shared/SPECIFIERS.ts'
+
 import { type CheckerAnswer, UNCHECKED } from './CheckerAnswer.ts'
-import {
-    Cursor,
-    type PlacedNode,
-    placeTemplate,
-    REGION_ROOT,
-    ROW_ROOT,
-} from './Cursor.ts'
 import {
     type ClassifiedAttribute,
     classifyAttributes,
     isBound,
     isSingleRooted,
-    type MergeGroup,
     isSlot,
+    type MergeGroup,
 } from './classifyTemplate.ts'
+import {
+    Cursor,
+    type PlacedNode,
+    placeTemplate,
+    REGION_ROOT,
+    ROW_ROOT,
+} from './Cursor.ts'
 import { decodeCharacterReferences } from './decodeCharacterReferences.ts'
 import { moduleImports } from './emitComponent.ts'
 import { invocationProps, passedName } from './invocationProps.ts'
@@ -41,8 +42,8 @@ import {
 } from './Lowering.ts'
 import type { AbideFile } from './parseAbide.ts'
 import {
-    CLIENT_LANE,
     chosenArm,
+    CLIENT_LANE,
     headSink,
     mergedValue,
     renderMarkup,
@@ -1313,7 +1314,8 @@ function emitInvocation(
     // 32.34, 32.35 — A TAG CHOOSING BY A VALUE IS AN `{#if}` WHOSE ARMS ARE COMPONENTS
     // (`ChosenRegion`): the watch reads which, and the region swaps.
     const name = region.claim('dc')
-    region.lines.push(`const ${name} = new ${lowering.use('ChosenRegion')}(${lowering.use('regionFound')}(${at.name}), ${SCOPE}, { ${props.join(', ')} }, ${SHARE_AT})
+    region.lines
+        .push(`const ${name} = new ${lowering.use('ChosenRegion')}(${lowering.use('regionFound')}(${at.name}), ${SCOPE}, { ${props.join(', ')} }, ${SHARE_AT})
 ${SCOPE}.watch(() => ${name}.show(${chosen}))`)
 }
 
@@ -1336,7 +1338,8 @@ function emitSlot(at: PlacedNode, region: RegionEmission): void {
     // THE EMPTY REGION IS THE ONE THE SERVER DID NOT PAINT — a child built in the browser (32.17)
     // or a page navigated to (30.7). Filled from whichever side owns what goes there, and then
     // mounted from the same side, so the markup and the bindings can never come from two.
-    region.lines.push(`const ${name} = ${lowering.use('regionFound')}(${at.name})
+    region.lines
+        .push(`const ${name} = ${lowering.use('regionFound')}(${at.name})
 const ${name}_kids = ${PROPS}[${JSON.stringify(CHILDREN)}] === undefined ? undefined : ${PROPS}[${JSON.stringify(CHILDREN)}]()
 ${lowering.use('fillEmpty')}(${name}, ${name}_kids === undefined ? ${name}_build : ${name}_kids.build)
 ${SCOPE}.own(${name}_kids === undefined ? ${name}_mount(${name}) : ${name}_kids.mount(${name}))`)
@@ -1384,7 +1387,8 @@ function emitBlock(
     // it takes can never change, and a watch over it is a reader that can never wake. Unproven, the
     // watch stays, and tracking decides what it reads.
     const show = `${name}.show(${take})`
-    region.lines.push(`const ${name} = new ${lowering.use('ArmRegion')}(${lowering.use('regionFound')}(${at.name}), ${SCOPE}, ${name}_arms, ${mounted})
+    region.lines
+        .push(`const ${name} = new ${lowering.use('ArmRegion')}(${lowering.use('regionFound')}(${at.name}), ${SCOPE}, ${name}_arms, ${mounted})
 ${lowering.isLiveChain(block.branches) ? `${SCOPE}.watch(() => ${show})` : show}`)
 }
 
@@ -1414,7 +1418,8 @@ function emitTry(
     )
 
     // ONE UNIT, for `emitBlock`'s reason. What the body and the catch do is `TryRegion`'s.
-    region.lines.push(`const ${name} = new ${lowering.use('TryRegion')}(${lowering.use('regionFound')}(${at.name}), ${SCOPE}, ${name}_arms)
+    region.lines
+        .push(`const ${name} = new ${lowering.use('TryRegion')}(${lowering.use('regionFound')}(${at.name}), ${SCOPE}, ${name}_arms)
 ${SCOPE}.watch(() => ${name}.follow())`)
 }
 

package/src/compiler/emitComponent.ts

@@ -1,5 +1,6 @@
 import type { JsonValue } from '#shared/JsonValue.ts'
 import { SERVER_SPECIFIER, SHARED_SPECIFIER } from '#shared/SPECIFIERS.ts'
+
 import { type CheckerAnswer, UNCHECKED } from './CheckerAnswer.ts'
 import { Cursor, placeTemplate } from './Cursor.ts'
 import { type LoweredChunk, Lowering, PROPS } from './Lowering.ts'

package/src/compiler/emitSource.ts

@@ -1,6 +1,7 @@
 import { STYLE_QUERY } from '#server/MODULE_QUERIES.ts'
-import type { JsonValue } from '#shared/JsonValue.ts'
 import type { Placement } from '#server/placement.ts'
+import type { JsonValue } from '#shared/JsonValue.ts'
+
 import type { CheckerAnswer } from './CheckerAnswer.ts'
 import { emitClient } from './emitClient.ts'
 import { emitComponent } from './emitComponent.ts'