Feat/type closing rewrite - #11

Open

buchk wants to merge 38 commits into

mainfrom

feat/type-closing-rewrite

Commits on Jul 22, 2026

docs: ADR batch for the agent object model

buchk
and
claude
committed

Commits on Jul 23, 2026

feat: .tfer file format and a language server

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

buchk
and
claude
committed

Commits on Jul 28, 2026

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