diff --git a/README.md b/README.md index e90668c..640a614 100644 --- a/README.md +++ b/README.md @@ -53,7 +53,7 @@ composition. It requires Git and Bun 1.3.14, then downloads the source and its development dependencies: ```sh -git clone https://github.com/hraness/direct.git +git clone --branch v0.7.8 --depth 1 https://github.com/hraness/direct.git cd direct bun install --frozen-lockfile --ignore-scripts bun run example:direct @@ -71,9 +71,9 @@ when the review is complete. Install Direct's single bundled skill from the public repository: ```sh -npx skills add hraness/direct +npx skills add hraness/direct#v0.7.8 # or -bunx skills add hraness/direct +bunx skills add hraness/direct#v0.7.8 ``` The skill is invoked as `$direct`. It routes installation, adoption, and @@ -125,11 +125,11 @@ quiescence, coverage claims, cleanup, and emitted production boundaries. The package smoke test keeps that future packaged copy byte-identical to the repository skill. -Prefer `npx skills add hraness/direct` or `bunx skills add hraness/direct` for -runner discovery. You can also copy or link that one skill directory into a -runner's configured location, then invoke `$direct`. Package installation -leaves the skill inert: it does not run a `postinstall` hook or edit repository -or user configuration. +Prefer `npx skills add hraness/direct#v0.7.8` or +`bunx skills add hraness/direct#v0.7.8` for runner discovery. You can also copy +or link that one skill directory into a runner's configured location, then +invoke `$direct`. Package installation leaves the skill inert: it does not run +a `postinstall` hook or edit repository or user configuration. ## A complete browser composition @@ -223,7 +223,11 @@ and Chromium roots, or one containing job; the roots can occupy different process groups. Direct supplies neither that supervisor nor browser or performance evidence. -See the [Todo example](https://github.com/hraness/direct/tree/main/examples/todos) for a strict parser, product-owned port, React workbench, and emitted-graph boundary verifier. The [React Native example](https://github.com/hraness/direct/tree/main/examples/react-native) uses the same session model in a platform-resolved Expo composition while keeping native production graphs Direct-free. +See the [Todo example](examples/todos) for a strict parser, product-owned port, +React workbench, and emitted-graph boundary verifier. The +[React Native example](examples/react-native) uses the same session model in a +platform-resolved Expo composition while keeping native production graphs +Direct-free. ## Keep evidence honest @@ -402,7 +406,9 @@ agent-browser or Playwright A Direct world is validated JSON that describes one starting state. A scenario gives that world a name and route. It does not contain browser actions. The browser check still decides what to click and what outcome to assert. -The [public Todo example]() uses one `TodoPort` in both compositions. The component receives whichever implementation the entry point owns: +The [public Todo example](examples/todos) uses one `TodoPort` in both +compositions. The component receives whichever implementation the entry point +owns: **One product port, two compositions** diff --git a/docs/adoption.md b/docs/adoption.md index 5c327e6..4468524 100644 --- a/docs/adoption.md +++ b/docs/adoption.md @@ -3,8 +3,8 @@ Add Direct after identifying the product behavior and external boundary under review. Do not begin by designing fixtures around a provider SDK. The repository carries one `$direct` Agent Skill under `skills/direct`. -Install it with `npx skills add hraness/direct` or -`bunx skills add hraness/direct`, or copy that directory into the runner's +Install it with `npx skills add hraness/direct#v0.7.8` or +`bunx skills add hraness/direct#v0.7.8`, or copy that directory into the runner's discovery location. Invoke `$direct` for installation, adoption, and verification work. Skill installation is independent from library package installation and does not activate Direct in a product. @@ -81,7 +81,8 @@ authored definition. Wait for a stable quiet probe, reject relevant violations and runtime errors, assert behavior in product terms, and retain the evidence needed by each coverage claim. -The [todo example](https://github.com/hraness/direct/tree/main/examples/todos) implements this sequence without a backend or credentials. +The [todo example](../examples/todos) implements this sequence without a backend +or credentials. ## React Native and Expo @@ -107,4 +108,5 @@ Export iOS and Android independently with external source maps. Require at least These gates prove structural selection and exclusion. Native layout, modules, platform values, navigation chrome, operating-system behavior, and physical-device behavior remain direct evidence. Split coverage entries when the shared feature and the platform shell require different proof modes. -The [React Native example](https://github.com/hraness/direct/tree/main/examples/react-native) is a minimal Expo implementation of this split. +The [React Native example](../examples/react-native) is a minimal Expo +implementation of this split. diff --git a/docs/verification.md b/docs/verification.md index f2a4252..f78e050 100644 --- a/docs/verification.md +++ b/docs/verification.md @@ -10,8 +10,8 @@ definition with `parseDefinitionCoverageSnapshot` so a valid but stale catalog cannot be mistaken for the catalog under review. The repository carries one `$direct` Agent Skill under `skills/direct`. -Install it with `npx skills add hraness/direct` or -`bunx skills add hraness/direct`, or copy that directory into the runner's +Install it with `npx skills add hraness/direct#v0.7.8` or +`bunx skills add hraness/direct#v0.7.8`, or copy that directory into the runner's discovery location. Invoke `$direct` for the workflow below. The skill is independent from library package installation and structures the audit; it does not turn deterministic evidence into proof of a substituted live system. diff --git a/skills/direct/references/install.md b/skills/direct/references/install.md index 1567f3c..8af2291 100644 --- a/skills/direct/references/install.md +++ b/skills/direct/references/install.md @@ -43,8 +43,8 @@ If the task starts with skill installation rather than a loaded skill, install the single repository skill with either command: ```sh -npx skills add hraness/direct -bunx skills add hraness/direct +npx skills add hraness/direct#v0.7.8 +bunx skills add hraness/direct#v0.7.8 ``` Restart or reload the agent runner if it does not discover newly installed