:PROPERTIES:
:CREATED:  [2026-05-24 Sun]
:ID:       d84679f1-c0c5-5be4-b19c-6573560640ee
:END:
#+title: Verified Skill Marketplace
#+filetags: :passepartout:revenue:marketplace:skills:

A marketplace where skills are verified (sandbox + ACL2 non-contradiction proof) before listing. The marketplace takes a cut.

Value is in the verification infrastructure, not the skills themselves. Anybody can write a skill; the marketplace provides the guarantee that the skill won't corrupt the fact store, won't violate gate rules, and won't introduce inconsistencies.

This is the App Store model applied to provable correctness. The gatekeeper role is replaced by the prover — and the prover is transparent, inspectable, and impartial. The marketplace relies on [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][Gate rule encoding]] to define skill constraints and an [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]] to verify them.
