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

transcript.mdtalk-azriel-executable-specs/

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

Speaker: Shachar Azriel (Baz)

Source Status

The available local bundle for this session is a safety-redacted summary rather than a verbatim transcript. It preserves the talk's conceptual substance without runtime mechanics, mutable online dependencies, sensitive-data flows, or executable implementation details.

Talk Substance

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.

Preserved Concepts

  • Executable specs
  • Verification layer
  • Planner and verifier separation
  • Requirement mapping
  • Product-gap detection
  • Runtime verification boundaries

Attribution Note

Public attribution for this session is Shachar Azriel.

talk-azriel-executable-specs

README.md

tile.json