Feat/type closing rewrite - #11

Merged

buchk merged 42 commits into

mainfrom

feat/type-closing-rewrite

Jul 31, 2026

Commits on Jul 22, 2026

docs: ADR batch for the agent object model

buchk
and
claude
committed
f693fd3

Commits on Jul 23, 2026

feat: .tfer file format and a language server

buchk
and
claude
committed
76db9e5
feat: typed-context semantics and tool dependencies

buchk
and
claude
committed
b1dbd6b
feat: capability exposure/visibility (ADR-0015)

buchk
and
claude
committed
b6c4df4
feat: sealing (mutability/presence) on skill bindings (ADR-0016)

buchk
and
claude
committed
ec5b306
feat: invocation-mode skill variants (ADR-0012)

buchk
and
claude
committed
1b06575
feat: fuller LSP — completion, definition, symbols, composition diagnostics

buchk
and
claude
committed
53e42f8
example: repo-agent exercising the full object model

buchk
and
claude
committed
d2957e6
style: gofmt map-literal alignment in lsp server

buchk
and
claude
committed
8a544ad
refactor: drop the C# implementation; Go is the sole implementation (ADR-0014)

buchk
and
claude
committed
28b82f5
chore: remove stray codex attachment, gitignore the scratch dir

buchk
and
claude
committed
3055cf3
refactor: migrate examples/helio to the .tfer format

buchk
and
claude
committed
6d0efcb
refactor: migrate examples/repo-agent to .tfer

buchk
and
claude
committed
4f0ce05
refactor: migrate the self-hosted maintainer to .tfer

buchk
and
claude
committed
927cdec
feat: emit callable-resource cards from exposed capabilities (ADR-0018)

buchk
and
claude
committed
88dc5b5
feat: callable card renders the a2a variant; accept implemented ADRs

buchk
and
claude
committed
d0fd461
feat: allowedContextTypes gating and per-variant requirements (ADR-0013/0012)

buchk
and
claude
committed
5b5aeec
feat: variant fan-out — per-mode SKILL.md in the neutral bundle (ADR-0012)

buchk
and
claude
committed
d516bc9
feat: schema-directed context fields (ADR-0013)

buchk
and
claude
committed
a046e75
feat: VS Code editor client for the language server

buchk
and
claude
committed
bdfb34f
feat: publish edge verb (ADR-0018)

buchk
and
claude
committed
106b981
feat: emit held context objects in the neutral bundle (ADR-0013)

buchk
and
claude
committed
c588531
example: helio adopts the object-model features

buchk
and
claude
committed
b2c79df
feat: inline held context content into compiled artifacts (ADR-0013)

buchk
and
claude
committed
7dbe252
feat: targets select a surface-appropriate variant; deliver instructions to Copilot/Cursor (ADR-0012)

buchk
and
claude
committed
e6917b6
fix: refresh the maintainer definition for the Go-only pivot

buchk
and
claude
committed
d434d9c
fix: review findings — wasm artifact, requiredFields, pathToURI, sealed-diamond doc

buchk
and
claude
committed
759e877
feat: schema-directed field-type checking and a complete callable card

buchk
and
claude
committed
183f4ba
feat: callable card lists each capability's required tools (ADR-0017)

buchk
and
claude
committed
009c00f
feat: emit conformant A2A Agent Cards and MCP tool manifests (ADR-0018)

buchk
and
claude
committed
d0b8b31
feat: ARD catalog carries official-typed A2A and MCP entries (ADR-0018)

buchk
and
claude
committed
d4f9924
feat: pure-standard ai-catalog.json + project manifest (no proprietary cards)

buchk
and
claude
committed
038cccc

Commits on Jul 28, 2026

Merge remote-tracking branch 'origin/main' into feat/tfer-format-and-lsp
buchk
committed
6e83391

Commits on Jul 29, 2026

Commits on Jul 31, 2026