@directive-run/knowledge 1.21.0 → 1.22.0

package/README.md

@@ -1,8 +1,8 @@
 # @directive-run/knowledge
 
-The **source of truth** for all Directive coding knowledge — used by Claude Code skills, Cursor / Copilot / Windsurf / Cline / Codex rules files, the website's `/llms.txt` route, and the programmatic API for downstream tooling.
+The **source of truth** for all Directive coding knowledge – used by Claude Code skills, Cursor / Copilot / Windsurf / Cline / Codex rules files, the website's `/llms.txt` route, and the programmatic API for downstream tooling.
 
-If you want your AI assistant to write idiomatic Directive code, you do not install this package directly — you install one of its consumers below.
+If you want your AI assistant to write idiomatic Directive code, you do not install this package directly – you install one of its consumers below.
 
 ## Using the knowledge
 
@@ -15,7 +15,7 @@ Two commands in a Claude Code session:
 /plugin install directive@directive-plugins
 ```
 
-Ships 12 skills bundled from this package. Skills are model-invoked — Claude reads each skill's description and auto-loads the relevant one when your task matches.
+Ships 12 skills bundled from this package. Skills are model-invoked – Claude reads each skill's description and auto-loads the relevant one when your task matches.
 
 ### Cursor, Copilot, Windsurf, Cline, OpenAI Codex
 
@@ -63,7 +63,7 @@ const examples = getAllExamples();
 clearCache();
 ```
 
-If you're just trying to write code with AI help, you don't need this — install the Claude plugin or run `directive ai-rules` above.
+If you're just trying to write code with AI help, you don't need this – install the Claude plugin or run `directive ai-rules` above.
 
 ## What's in the package
 

package/core/choosing-primitives.md

@@ -156,7 +156,8 @@ seven pieces of work, zero `useEffect` hooks.
 - [`sources.md`](./sources.md) — the source primitive's full lifecycle
   and recipes.
 - [`constraints.md`](./constraints.md) — `when` predicates, requirement
-  shapes, and the `bind` / `owns` field-scoped CAS contract.
+  shapes, and the `abortOn` field-scoped CAS contract (v1; `bind:` is a
+  v2 reservation – see RFC 0003 Future Work).
 - [`resolvers.md`](./resolvers.md) — retry config, batch semantics, and
   the `ctx.set` write contract.
 - [`anti-patterns.md`](./anti-patterns.md) — the things to avoid that

package/core/resolvers.md

@@ -1,6 +1,6 @@
 # Resolvers
 
-> Covers `@directive-run/core` — resolver definition: retry policies, batching, cancellation, custom dedup keys, `owns` binding.
+> Covers `@directive-run/core` — resolver definition: retry policies, batching, cancellation, custom dedup keys, `abortOn` binding.
 
 Resolvers fulfill requirements emitted by constraints. They are the supply side of the constraint-resolver pattern. Resolvers handle async work and mutate state through `context.facts`.
 
@@ -205,6 +205,31 @@ resolvers: {
 
 Failed items from `resolveBatchWithResults` can be individually retried if a retry policy is configured.
 
+## `abortOn` binding (constraint-side)
+
+Declared on the *constraint*, not the resolver. Lists facts whose values
+must remain unchanged between dispatch and the resolver's writes; if any
+of them changes mid-flight, the resolver's writes are dropped and its
+signal is aborted.
+
+```typescript
+constraints: {
+  finalizeKyc: {
+    when: (f) => f.kyc.status === "pending",
+    require: { type: "FINALIZE_KYC" },
+    abortOn: ["kyc.status"], // abort if `kyc.status` changes mid-flight
+  },
+},
+```
+
+`abortOn:` does **not** lock or gate other writers. It only protects this
+resolver from clobbering with stale data when its tail write attempts a
+value the world has since moved past. See
+[`/docs/resolver-binding`](https://directive.run/docs/resolver-binding)
+for the full lifecycle, ABA caveats, and the audit event
+(`resolver.write.rejected { reason: "clobbered" }`) that fires on a
+dropped write.
+
 ## Timeout
 
 ```typescript

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@directive-run/knowledge",
-  "version": "1.21.0",
+  "version": "1.22.0",
   "description": "Knowledge files, examples, and validation for Directive — the constraint-driven TypeScript runtime.",
   "license": "(MIT OR Apache-2.0)",
   "author": "Jason Comes",
@@ -53,8 +53,8 @@
     "tsx": "^4.19.2",
     "typescript": "^5.7.2",
     "vitest": "^3.0.0",
-    "@directive-run/core": "1.21.0",
-    "@directive-run/ai": "1.21.0"
+    "@directive-run/core": "1.22.0",
+    "@directive-run/ai": "1.22.0"
   },
   "scripts": {
     "build": "tsx scripts/generate-api-skeleton.ts && tsx scripts/generate-sitemap.ts && tsx scripts/extract-examples.ts && tsup",

package/sitemap.md

@@ -63,7 +63,7 @@ Website: https://directive.run
 ### Advanced Patterns
 - [Overview](https://directive.run/docs/advanced/overview)
 - [Data-form Definitions](https://directive.run/docs/data-triggers)
-- [Resolver Binding (owns)](https://directive.run/docs/resolver-binding)
+- [Resolver Binding](https://directive.run/docs/resolver-binding)
 - [Multi-Module](https://directive.run/docs/advanced/multi-module)
 - [Runtime Dynamics](https://directive.run/docs/advanced/runtime)
 - [History & Snapshots](https://directive.run/docs/advanced/history)