# AGENTS.md

## Cursor Cloud specific instructions

### Repo Context

This is a **standalone subset** of the `szl-holdings/platform` monorepo. The `web/` directory (React SPA) cannot run standalone — it depends on 22+ `workspace:*` packages from the parent monorepo. The buildable/testable surface is the **standalone packages** and the **root-level test suites**.

### Running Tests

| Component | Command | Notes |
|-----------|---------|-------|
| `packages/a11oy-knowledge` | `cd packages/a11oy-knowledge && npm test` | Vitest. 26/27 pass (1 pre-existing failure in TH2 proof sketch). |
| `__tests__/` (compliance + adversarial) | `npx jest __tests__/` | Jest/ts-jest. 106/110 pass (4 pre-existing failures). Requires root-level symlinks — see below. |
| `packages/qec-integrity` | `npx tsx packages/qec-integrity/src/qec_lineage.test.ts` | Custom runner, `node:assert/strict`. 24/24 pass. (receipt-chain lineage suite) |
| `web/packages/a11oy-core` (vitest) | `cd web/packages/a11oy-core && npx vitest run` | Only `lid-check.test.ts` uses vitest API (15 tests). |
| `web/packages/a11oy-core` (custom) | `npx tsx web/packages/a11oy-core/src/<subdir>/__tests__/<file>.test.ts` | 7 test files use `node:assert/strict` custom runners: quaternion-state (16), madhava-bound (8), pac-bayes-bound (8), composition-ring (7), false-position (7), akhmim-table (9), quadratic-solver (7). Run each with `npx tsx`. |
| `web/packages/a11oy-core` (KS-18) | `npx tsx web/packages/a11oy-core/src/quantum/__tests__/kochen-specker-18.test.ts` | 3 tests. |

### Symlinks Required for `__tests__/`

The compliance/adversarial Jest tests reference files via relative paths from `__tests__/compliance/`:
- `../../a11oy-knowledge.schema.json` → must exist at repo root
- `../../policies/vertical` → must exist at repo root

These are set up by the update script as symlinks to `packages/knowledge/`:
```
ln -sf packages/knowledge/a11oy-knowledge.schema.json a11oy-knowledge.schema.json
mkdir -p policies
ln -sf ../packages/knowledge/vertical policies/vertical
```

### Benchmarks

- `npx tsx packages/measurement/composition_overhead.ts` — Λ-axis composition latency
- `npx tsx packages/measurement/merkle_dag_p50.ts` — Merkle DAG write latency

### Known Limitations

- **`web/` SPA cannot start**: depends on `workspace:*` packages and `vite.config.ts` from the parent monorepo.
- **`packages/a11oy-knowledge` build (`tsc`) fails**: pre-existing type errors (e.g., `import assert`, `ProposedAxiom` schema mismatches). Tests still pass via vitest.
- **`web/packages/a11oy-core` and `a11oy-connection` build (`tsc`) fails**: `tsconfig.json` extends `../../../../tsconfig.base.json` which only exists in the parent monorepo. A stub at `/tsconfig.base.json` is needed for vitest (handled by setup).
- **No root `pnpm-workspace.yaml` or `pnpm-lock.yaml`**: this repo uses npm for per-package installs.
- **No linting**: `biome lint` is configured in `web/package.json` but requires the parent monorepo's biome.json and Vite setup.