Skip to content

docs: pin Direct reader paths to v0.7.8 #23

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
0thernet merged 1 commit into from
Aug 29, 2026
Merged

docs: pin Direct reader paths to v0.7.8 #23

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 16 additions & 10 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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

Expand Down Expand Up @@ -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

Expand Down Expand Up @@ -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](<https://github.com/hraness/direct/tree/main/examples/todos>) 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**

Expand Down
10 changes: 6 additions & 4 deletions docs/adoption.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down Expand Up @@ -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

Expand All @@ -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.
4 changes: 2 additions & 2 deletions docs/verification.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
4 changes: 2 additions & 2 deletions skills/direct/references/install.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down