Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
8 changes: 4 additions & 4 deletions .agents/skills/verify-interface/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ node_modules/.bin/antelopejs-verify map
6. **One-way doors.** The section comes right after the result line and is mandatory. `node_modules/.bin/antelopejs-verify doors` prints the `One-way-door:` line of the diff. Every file the path rules flag needs a door row or a false positive with its reason.
7. **Result.** FAIL if any rule fails. NOT VERIFIED when any journey of a required feature is NOT VERIFIED, for example a SaaS module run without its sandbox keys, however many other journeys passed. PASS+NOTES when everything required ran and passed but the judgement lists something no journey reached or something the owner should look at. PASS otherwise.

Write your judgement to `<run>/evidence/judgement.json`:
Write your judgement to a JSON file:

```json
{
Expand All @@ -118,13 +118,13 @@ Write your judgement to `<run>/evidence/judgement.json`:
}
```

A door row is `{ "kind", "location", "irreversible", "containment" }`, where `containment` says what limits the damage. Then render the verdict:
A door row is `{ "kind", "location", "irreversible", "containment" }`, where `containment` says what limits the damage. Pass it to `verdict` in the same step:

```bash
node_modules/.bin/antelopejs-verify verdict <run> --pr <n>
node_modules/.bin/antelopejs-verify verdict <run> --pr <n> --judgement <file>
```

`verdict` writes `evidence/verdict.md` and exits 1 unless the result is PASS or PASS+NOTES. Report the verdict and what you saw in your own reply, from a thread that did not write the change.
`verdict` stores it as `evidence/judgement.json`, writes `evidence/verdict.md` and exits 1 when an input is missing or the result is not PASS or PASS+NOTES. Read `verdict.md` only after it exits. Report the verdict and what you saw in your own reply, from a thread that did not write the change.

## Trust

Expand Down
7 changes: 4 additions & 3 deletions AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -85,6 +85,7 @@ Verify a boundary against the imports a developer or agent would plausibly write
| String-keyed object tables are read through own keys only | `antelopejs/no-inherited-key-lookup` |
| A type guard checks each member it narrows to; keys with `Object.hasOwn` | `antelopejs/no-presence-only-type-guard` |
| A type guard checks the nested elements and values it claims | review; no tool |
| A startup read does not decide an insert another replica can race | `antelopejs/no-read-then-insert` |
| `Object.assign` writes no `unknown`, `any` or mistyped value over a field | `antelopejs/no-unsafe-object-assign` |
| Every file type-aware lint reads is listed by a tsconfig | `antelopejs/require-tsconfig-include` |
| Params ≤ 5, function ≤ 120 lines, file ≤ 500 lines, depth ≤ 4, complexity ≤ 20 | `eslint/max-*`, `eslint/complexity` |
Expand Down Expand Up @@ -112,9 +113,9 @@ Verify a boundary against the imports a developer or agent would plausibly write
| A CI gate reads `needs.<id>` only of jobs in its `needs` | `antelopejs-sync --check` |
| Entry-only rules exempt no tracked outsider | `antelopejs-sync --check` |
| A DMS layer's `build/backend-boundary.ts` is the pack's plugin | `antelopejs-sync --check` |
| No `skipLibCheck` in the root tsconfig or one `typecheck` or `build` uses | Reported by `antelopejs-sync` (note only) |
| `build` skips the lib check only over what `typecheck` checks | Reported by `antelopejs-sync` (note only) |
| `release` runs `typecheck` | Reported by `antelopejs-sync` (note only) |
| No `skipLibCheck` in the root tsconfig or one `typecheck` or `build` uses | `antelopejs-sync --check` |
| `build` skips the lib check only over what `typecheck` checks | `antelopejs-sync --check` |
| `release` runs `typecheck` | `antelopejs-sync --check` |
| A test names the wrong implementation it catches | review; no tool |

<!-- antelopejs-guardrails:end -->
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,7 @@
"@antelopejs/core": "^1.21.0",
"@antelopejs/interface-api": "^0.2.0",
"@antelopejs/interface-core": "^0.4.0",
"@antelopejs/tooling-configs": "^0.5.0",
"@antelopejs/tooling-configs": "^0.5.1",
"@types/chai": "^4.3.20",
"@types/mocha": "^10.0.10",
"@types/node": "^22.19.15",
Expand Down
10 changes: 5 additions & 5 deletions pnpm-lock.yaml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading