DECISION ARCHITECTURE

Make consequential AI and platform decisions with evidence, not momentum.

Decision Crafters helps technology leaders structure uncertain decisions, separate evidence from assumptions, compare viable alternatives, and identify the smallest responsible next action.

PATH ONE

Explore the research

Evidence-labelled briefs, syntheses and method notes. Enter →

PATH TWO

See whether the Diagnostic fits

A bounded review of one architecture decision. Discuss the decision →

Latest

Research Hub →
2026·11·10

AlphaProof Code: When AI-Generated Proofs Meet the Production Trust Boundary

For decades, formal verification had a pricing problem. Verifying the seL4 microkernel took roughly twenty person-years; the CompCert verified compiler took six (figures

2026·11·09

The Spec Kit Course Is Live

The first three lessons of the Spec Kit course — Home, Tools & Method, and L0 — are published on the Decision Crafters YouTube channel, with L1–L3 following Friday, November 13.

2026·11·06
Service Decided

TUI’s AI Threat Modeling Didn’t Eliminate Security Review. It Changed the Bottleneck.

TUI reports faster threat modeling with Bedrock. The useful lesson: selective security standards, bounded agent checks, and human review.

2026·11·05
AI infrastructure

OpenAI’s Responsible AI Infrastructure Pledge: What Can the Public Actually Verify?

OpenAI has announced a new AI infrastructure compact. What could actually prove its promises on electricity, water, jobs and accountability? Georgia offers the first test.