CtrlK
BlogDocsLog inGet started
Tessl Logo

ainativedev/aidevcon-2026-ldn

AI Native DevCon 2026 London — all conference sessions as interactive skills

70

Quality

88%

Does it follow best practices?

Impact

No eval scenarios have been run

SecuritybySnyk

Passed

No known issues

Overview
Quality
Evals
Security
Files

outline.mdtalk-azriel-executable-specs/

Outline -- Executable Specs: Building a Verification Layer for Agentic Coding

Speaker: Shachar Azriel (Baz)

Thesis

Shachar Azriel describes spec review as a verification architecture: requirements are made testable, evidence is mapped explicitly, and product gaps are surfaced when implementation and intent diverge.

Concept Map

  1. Executable specs
  2. Verification layer
  3. Planner and verifier separation
  4. Requirement mapping
  5. Product-gap detection
  6. Runtime verification boundaries

Available Source Detail

The bundled transcript is redacted to conceptual material. Use it for advisory explanations, design framing, and high-level Q&A. It does not contain executable mechanics or full live-demo detail.

talk-azriel-executable-specs

README.md

tile.json