Documentation

Changelog

Change history for the documentation and the published specifications. Runtime and SDK release notes ship with their artifacts.

Agent access

  • Added Markdown negotiation, robots.txt, discovery headers, an API catalog, and an Agent Skill.
  • Added two read-only WebMCP tools: documentation search and public-resource retrieval.
  • Documented that the public site has no production API, OAuth issuer, MCP endpoint, A2A service, or self-service registration.

Instruction semantics and formal-model linkage

  • Architecture: new Instruction Semantics section — typed values and secrecy kinds, derived locality, the site-effect envelope with one-shot resource lifecycle, eleven effect planes, worked share_mul and publish_sig examples, and the conservativity theorem separating semantics from materialization.
  • Architecture: Semantic Planes now distinguishes the fifteen responsibility planes from the eleven per-instruction effect planes and fixes the mapping between them.
  • Architecture: Formal Semantics documents the ideal-functionality registry (leakage classes, plaintext-release boundaries) and the machine-checked linkage from instruction schemas to registered functionalities.
  • Conformance: Static verification extended with model-checked components (Kani harnesses) and supply-chain / review-integrity gates (cargo-deny, dependency audit ledger, trojan-source lints).
  • Conformance: security contact and master-specification (v24) request path on the status page.

Server-to-server documentation

  • Gateway API reference group: overview and authentication, custody keys, custody operations, HTTP error registry.
  • Quickstart: local two-node cluster and a complete gateway sign-to-publish sequence.
  • Operations group: public deployment checklist and Prometheus metric families.
  • OpenAPI 3.1 specifications split by HTTP layer: gateway (dvm-v1.yaml) and runtime node (dvm-node-v1.yaml).
  • Documentation search across all sections; sitemap.
  • Platform parity: Kotlin variants beside every Swift example in shared panels, selectable inside the code block header; compact surface switch.

API section revision

  • Node API verified against the implementation: explicit execute step, corrected publication-gate request, node-recovery and audit-replay endpoints, two-layer access model.
  • End-to-end examples (iOS and Android tabs) for the Hero and Expert surfaces on the API landing.
  • Glossary panel; access model and authentication statement; navigation regrouped along the integrator journey.
  • Testing group deduplicated against the Conformance section.

Conformance section

  • TSS-CF conformance framework documented as a top-level section: differential architecture, assurance levels CAL-1…CAL-5, specification, evidence formats, assessment process, regulatory alignment, tooling contract.
  • Static boundary verification page: compile-time taint lint suite beside the behavioral leakage axis.

Architecture section revision

  • Section titles converted to specification register; marketing language removed.
  • Diagram revision: publication gate, layer decomposition, boundary partition; overview infographic removed.
  • Determinism scope stated explicitly: deterministic execution over admitted inputs.