Skip to content

Commit e75e732

Browse files
Copilotdgenio
andauthored
feat: declare weaver-spec v0.1.0 compatibility + add conformance CI stub
Agent-Logs-Url: https://github.com/dgenio/agent-kernel/sessions/5fb5ea48-a67d-46b5-b468-dce096bf5c0e Co-authored-by: dgenio <12731907+dgenio@users.noreply.github.com>
1 parent 019a90d commit e75e732

3 files changed

Lines changed: 44 additions & 0 deletions

File tree

.github/workflows/ci.yml

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,3 +45,30 @@ jobs:
4545
python examples/basic_cli.py
4646
python examples/billing_demo.py
4747
python examples/http_driver_demo.py
48+
49+
conformance:
50+
name: "Weaver Spec Conformance (v0.1.0)"
51+
runs-on: ubuntu-latest
52+
needs: test
53+
permissions:
54+
contents: read
55+
56+
steps:
57+
- uses: actions/checkout@v4
58+
59+
- name: Set up Python
60+
uses: actions/setup-python@v5
61+
with:
62+
python-version: "3.12"
63+
64+
- name: Install dependencies
65+
run: pip install -e ".[dev]"
66+
67+
# Placeholder: activate once dgenio/weaver-spec#4 ships the conformance suite.
68+
# Replace this step with:
69+
# pip install weaver-contracts
70+
# python -m weaver_contracts.conformance --target agent_kernel
71+
- name: weaver-spec conformance suite (stub)
72+
run: |
73+
echo "weaver-spec conformance suite not yet published (dgenio/weaver-spec#4)."
74+
echo "Stub passes. Activate when weaver_contracts.conformance is available."

CHANGELOG.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
77

88
## [Unreleased]
99

10+
### Added
11+
- Declared weaver-spec v0.1.0 compatibility in README: invariants I-01 (firewall), I-02 (authorization + audit), and I-06 (scoped tokens) are satisfied.
12+
- Added placeholder `conformance` CI job that will activate once the weaver-spec conformance suite ships (dgenio/weaver-spec#4).
13+
1014
## [0.4.0] - 2026-03-14
1115

1216
### Added

README.md

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -110,6 +110,19 @@ asyncio.run(main())
110110

111111
`agent-kernel` sits **above** `contextweaver` (context compilation) and **above** raw tool execution. It provides the authorization, execution, and audit layer.
112112

113+
## Weaver Spec Compatibility: v0.1.0
114+
115+
agent-kernel is a compliant implementation of [weaver-spec v0.1.0](https://github.com/dgenio/weaver-spec).
116+
The following invariants are satisfied:
117+
118+
| Invariant | Description | How agent-kernel satisfies it |
119+
|-----------|-------------|-------------------------------|
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 |
121+
| **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 |
123+
124+
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.
125+
113126
## Security disclaimers
114127

115128
> **v0.1 is not production-hardened for real authentication.**

0 commit comments

Comments
 (0)