# kaal:position:2026-08-29-001

**Affirmed position.** Haldar, Chandra, and Franz show that semantic remote attestation can evaluate program behavior and required properties rather than a particular binary, allowing multiple implementations to pass the same checks. This supports Kaal's criteria-versus-frozen-specification distinction at mechanism level. The source is narrower: it concerns a Java TrustedVM and counterparty-specified security properties, not legal or regulatory criteria, and it does not establish that regulated technology never needs to be reopened when criteria change. Software through the trusted virtual machine also remains subject to signed-hash binary attestation.

**Status.** affirmed  **Published.** 2026-08-29

**Holds when.**

- The prototype concerns Java virtual machines and remote security attestation, not sovereign local agent runtimes.
- The paper tests machine-checkable security properties, not legal or regulatory criteria.
- Software through the trusted virtual machine still requires signed-hash binary attestation.
- The remote counterparty authors the checked policy; public authority over criteria is not addressed.

**Current debate.** Semantic Remote Attestation -- A Virtual Machine directed approach to Trusted Computing: https://www.usenix.org/techsessionssummary/vm-04-151-technical-paper

**Extends.** kaal:claim:7314479-049: https://wulfkaal.github.io/claims/7314479-049

**Scholarly basis.** Wulf A. Kaal, Institutional Requirements for Sovereign Local Agent Runtimes (2026). SSRN: https://ssrn.com/abstract=7314479

**Source PDF sha256.** `debace24a155ae924a155b1fafe98856d98cf83689feff2f87a32f1c06171ce6`

**Evidence level.** permitted_full_text

**Mapping review tier.** independent evidence-first compound-growth review

**Mapping confidence.** unscored  **Mapping ambiguous.** false

**Topics.** dynamic-regulation, compliance, innovation, consensus-and-security

**Provenance.** Affirmed in kaal-growth:2026-08-29:daily-001-remediated-v1 at https://wulfkaal.github.io/positions-src/2026-08-29-compound-growth-kaal-growth-2026-08-29-daily-001-remediated-v1.json.

**Record type.** This is a dated commentary position that extends a scholarly corpus claim. It is not a verbatim claim extracted from the paper.

**Canonical form.** This markdown file is the canonical hashed representation of the position.