Skip to content

Commit dd1f1d1

Browse files
committed
docs: fix weaver-spec compatibility table and CI job name
- README I-01: correct claim that raw output is 'never returned'; raw mode exists but is restricted to admin principals only - README I-06: fix revoke_token() → revoke(token_id) and revoke_all() → revoke_all(principal_id) to match actual API - ci.yml: rename job conformance → conformance_stub and display name to make stub status unambiguous in PR check summaries - ci.yml: add comment clarifying weaver-contracts (pip) vs weaver_contracts (Python module) naming difference Addresses copilot-pull-request-reviewer comments on PR #65.
1 parent e75e732 commit dd1f1d1

2 files changed

Lines changed: 5 additions & 4 deletions

File tree

.github/workflows/ci.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -46,8 +46,8 @@ jobs:
4646
python examples/billing_demo.py
4747
python examples/http_driver_demo.py
4848
49-
conformance:
50-
name: "Weaver Spec Conformance (v0.1.0)"
49+
conformance_stub:
50+
name: "Weaver Spec Conformance Stub (v0.1.0)"
5151
runs-on: ubuntu-latest
5252
needs: test
5353
permissions:
@@ -67,6 +67,7 @@ jobs:
6767
# Placeholder: activate once dgenio/weaver-spec#4 ships the conformance suite.
6868
# Replace this step with:
6969
# pip install weaver-contracts
70+
# # Distribution name uses a hyphen; the Python module uses an underscore.
7071
# python -m weaver_contracts.conformance --target agent_kernel
7172
- name: weaver-spec conformance suite (stub)
7273
run: |

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -117,9 +117,9 @@ The following invariants are satisfied:
117117

118118
| Invariant | Description | How agent-kernel satisfies it |
119119
|-----------|-------------|-------------------------------|
120-
| **I-01** | LLM never sees raw tool output by default | `Context Firewall` always transforms `RawResult → Frame`; raw driver output is never returned to the caller |
120+
| **I-01** | LLM never sees raw tool output by default | `Context Firewall` always transforms `RawResult → Frame`; raw driver output is not returned by default, and non-admin principals cannot obtain `raw` response mode |
121121
| **I-02** | Every execution is authorized and auditable | `PolicyEngine` evaluates every invocation; `TraceStore` records every `ActionTrace`; `HMACTokenProvider` validates tokens before execution |
122-
| **I-06** | CapabilityTokens are scoped | Tokens bind `principal_id + capability_id + constraints` with an explicit TTL; `revoke_token()` / `revoke_all()` are supported |
122+
| **I-06** | CapabilityTokens are scoped | Tokens bind `principal_id + capability_id + constraints` with an explicit TTL; `revoke(token_id)` / `revoke_all(principal_id)` are supported |
123123

124124
See [docs/agent-context/invariants.md](docs/agent-context/invariants.md) for the full internal invariant list and [weaver-spec INVARIANTS.md](https://github.com/dgenio/weaver-spec/blob/main/docs/INVARIANTS.md) for the specification.
125125

0 commit comments

Comments
 (0)