@abide/abide 0.124.0 → 0.124.1

package/CHANGELOG.md

@@ -1,5 +1,12 @@
 # @abide/abide
 
+## 0.124.1
+
+### Patch Changes
+
+- cd07376: a throttled or debounced body is busy while its window holds a run, and an await waits for it — 5.15 ([`1482fd3`](https://github.com/briancray/abide/commit/1482fd3368675794ab6db48ff1ff2c5b8861d68c))
+- cd07376: a bind: through a path is checked as the get/set pair the build emits — 32.5 ([`c91d03f`](https://github.com/briancray/abide/commit/c91d03f816af91f994314fc17b2101d8ec77ec51))
+
 ## 0.124.0
 
 ### Minor Changes

package/docs/REGISTRY.md

@@ -906,6 +906,6 @@ site's `claudeCode`.
 
 | Command | Meaning | Rules |
 | --- | --- | --- |
-| `abide-bridge <site> <code> [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | This machine's Claude Code, paired with the browser a site minted the code for. | 44.15, 44.16, 44.24, 44.25, 44.27, 44.30, 44.44, 44.45, 44.46 |
+| `abide-bridge <site> <code> [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | This machine's Claude Code, paired with the browser a site minted the code for. | 44.15, 44.16, 44.24, 44.25, 44.27, 44.30, 44.44, 44.45, 44.46, 44.47 |
 | `abide-bridge install [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | The app that opens a site's `abide-bridge` links on this machine, registered. | 44.41, 44.42, 44.43, 44.44 |
 | `abide-bridge uninstall` | `abide-bridge install`, undone. | 44.43 |

package/docs/RULEBOOK.md

@@ -290,8 +290,8 @@ two is a comparator answering directly.
 
 5.14 Declaring both `throttle` and `debounce` MUST refuse at construction.
 
-5.15 Where a `throttle` or a `debounce` window is holding a production back, the held value MUST
-be served and `s.busy` MUST be true.
+5.15 Where a `throttle` or a `debounce` window is holding a production back, or a body's run under
+5.11, the value served before it MUST go on being served and `s.busy` MUST be true.
 
 5.16 A `bind:` read MUST NOT be capped.
 
@@ -3450,6 +3450,9 @@ report is taken, and MUST NOT say it while it redials per 44.25.
 44.46 A bridge MUST end a turn once `/__abide/bridge` did not take a report carrying it, and MUST
 report that turn failed.
 
+44.47 A bridge MUST reach `/__abide/bridge` over a certificate that either bun's own authorities or
+the authorities its machine trusts sign, however the bridge was started.
+
 # 45. Offline
 
 45.1 Where `ABIDE_OFFLINE` is on, a page `abide build` built MUST register the worker

package/docs/abide.md

@@ -11291,7 +11291,7 @@ CLI: what is written in place rather than imported.
 
 | Command | Meaning | Rules |
 | --- | --- | --- |
-| `abide-bridge <site> <code> [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | This machine's Claude Code, paired with the browser a site minted the code for. | [44.15](/rulebook#44.15), [44.16](/rulebook#44.16), [44.24](/rulebook#44.24), [44.25](/rulebook#44.25), [44.27](/rulebook#44.27), [44.30](/rulebook#44.30), [44.44](/rulebook#44.44), [44.45](/rulebook#44.45), [44.46](/rulebook#44.46) |
+| `abide-bridge <site> <code> [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | This machine's Claude Code, paired with the browser a site minted the code for. | [44.15](/rulebook#44.15), [44.16](/rulebook#44.16), [44.24](/rulebook#44.24), [44.25](/rulebook#44.25), [44.27](/rulebook#44.27), [44.30](/rulebook#44.30), [44.44](/rulebook#44.44), [44.45](/rulebook#44.45), [44.46](/rulebook#44.46), [44.47](/rulebook#44.47) |
 | `abide-bridge install [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | The app that opens a site's `abide-bridge` links on this machine, registered. | [44.41](/rulebook#44.41), [44.42](/rulebook#44.42), [44.43](/rulebook#44.43), [44.44](/rulebook#44.44) |
 | `abide-bridge uninstall` | `abide-bridge install`, undone. | [44.43](/rulebook#44.43) |
 

package/package.json

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

package/src/compiler/Lowering.ts

@@ -371,7 +371,7 @@ export class Lowering {
      */
     reference(holder: object): string {
         const span = this.spanOf(holder)
-        return this.boundPath(span) ?? grouped(this.lowerChunk(span, true))
+        return grouped(this.lowerChunk(span, true))
     }
 
     /**
@@ -383,9 +383,17 @@ export class Lowering {
      * A COMPUTED STEP IS EMITTED SOURCE, as 31.8's is: `params[s.k]` writes through `s.k` lowered,
      * so the key is read when the input writes and the get reads it too — the binding follows the
      * key. A `!` is a type and no step. `undefined` for an operand that is not a name followed by
-     * steps, which `reference` lowers as it stands — save 32.76's optional step, which is refused.
+     * steps, which `lower` lowers as it stands — save 32.76's optional step, which is refused.
+     *
+     * IN `lower`, SO THE CHECKER READS THE PAIR THE BUILD EMITS. Taken only where the build asked
+     * (`reference`), the shadow lowered the same path as a read, and a component's `bind:` held
+     * `__bound` to the string it read — TS2769 on a binding the build compiles and runs.
      */
-    private boundPath(span: Span): string | undefined {
+    private boundPath(
+        span: Span,
+        origins: Origin[] | undefined,
+        base: number,
+    ): string | undefined {
         const source = this.projection.text
         const text = source.slice(span.start, span.end)
         const from = span.start + (text.length - text.trimStart().length)
@@ -433,7 +441,20 @@ export class Lowering {
         }
         if (segments.length === 0) return undefined
         const name = this.nameOf(read)
-        return `{ get: () => ${this.lowerChunk({ start: from, end: to })}, set: (${STORED}) => ${name}.set(${this.use('writePath')}(${name}(), [${segments.join(', ')}], ${STORED})) }`
+        const open = '{ get: () => '
+        origins?.push({ at: base, source: from, length: 0 })
+        const got = this.lower(
+            { start: from, end: to },
+            false,
+            origins,
+            base + open.length,
+        )
+        origins?.push({
+            at: base + open.length + got.length,
+            source: to,
+            length: 0,
+        })
+        return `${open}${got}, set: (${STORED}) => ${name}.set(${this.use('writePath')}(${name}(), [${segments.join(', ')}], ${STORED})) }`
     }
 
     /**
@@ -567,6 +588,10 @@ export class Lowering {
         const text = source.slice(from, to)
         const wholeFrom = from + (text.length - text.trimStart().length)
         const wholeTo = from + text.trimEnd().length
+        if (holds) {
+            const path = this.boundPath(span, origins, base)
+            if (path !== undefined) return path
+        }
         const reads = this.answer.reads
         let read = this.answer.firstRead(from)
         if (read === reads.length || (reads[read] as Read).start >= to) {

package/src/compiler/projectShadow.ts

@@ -694,6 +694,7 @@ const POSITION_DECLARATIONS = `
 declare function ${ON}<Name extends string>(name: Name, handler: ((event: Name extends keyof HTMLElementEventMap ? HTMLElementEventMap[Name] : Event) => unknown) | null | undefined | false): void
 declare function ${ANY}(value: any): void
 declare function ${PROP}<Value>(value: Value): Value
+declare function ${BIND}<Value>(value: { get(): Value; set(value: Value): unknown }): void
 declare function ${BIND}(value: any): void
 declare function ${BOUND}<Value>(value: ${REACTIVE}<Value, any, any, any>): Value
 declare function ${BOUND}<Value>(value: { get(): Value; set(value: Value): unknown }): Value

package/src/server/BRIDGE_VERSION.ts

@@ -1,3 +1,3 @@
 // The `abide-bridge` release a pairing command names, so a visitor's `bunx` runs the relay this
 // server speaks. `packages/abide/tests/claudeCode.test.ts` holds it to the bridge package's own.
-export const BRIDGE_VERSION = '0.5.1'
+export const BRIDGE_VERSION = '0.5.2'

package/src/shared/reactive/Reactive.ts

@@ -560,7 +560,11 @@ function markReaders(cell: Cell, wanted: number): void {
         const cap = below.cap
         if (cap !== null && below.body !== null) {
             if (windowHolds(below, cap)) {
-                cap.owed = true
+                // 5.15: the held run is a production held back, so `busy` moves as it is owed.
+                if (!cap.owed) {
+                    cap.owed = true
+                    probesMoved(below)
+                }
                 // BACK TO CLEAN so the next source production marks it again and re-arms.
                 // Left marked it takes this walk's own `state >= wanted` short-circuit,
                 // and the changes after the first become invisible to the window.
@@ -1174,6 +1178,8 @@ function openWindow(cell: Cell, cap: Cap): void {
             cell.state = DIRTY
             cell.direct = false
             cascade(cell)
+            // The close is a `busy` edge, as a held production's is.
+            probesMoved(cell)
             return
         }
         // A throttle's window ending with nothing held is the window simply over: the
@@ -2465,6 +2471,11 @@ let PROBE_PASS = 0
  */
 function walkBusy(cell: Cell, pass: number): boolean {
     if (cell.loading) return true
+    // 5.15 over a body: a run the window owes. Read here rather than written into `loading`,
+    // which a load ending inside the window clears while the run is still owed. Only a value with
+    // sources is ever owed, so `busyNow`'s leaf answer never needs it.
+    const cap = cell.cap
+    if (cap !== null && cap.owed) return true
     const adoption = cell.adoption
     if (cell.sources.length === 0 && adoption === null) return false
     if (cell.probePass === pass) return false