9 Commits

Author	SHA1	Message	Date
Danijel Martinek	83f135b5e1	fix(conformance): withCapture propagates inner brands + chain test + docstring fixes	2026-05-12 23:00:50 +02:00
Danijel Martinek	5e32074c2e	feat(core-shared/conformance): assertFeatureConformance helper ... Adds boot-time check that every manifest-declared use case is bound through withSpan (__instrumented) + withCapture (__captured), with withAudit (__audited) enforced when audits[] is non-empty. Propagates inner brands through withSpan so the outermost container-resolved binding carries all brand markers. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-12 22:49:18 +02:00
Danijel Martinek	bbd9c1e856	feat(core-shared/conformance): re-export ConformanceError	2026-05-12 22:43:57 +02:00
Danijel Martinek	49bd7e0782	feat(core-shared/conformance): ConformanceError class	2026-05-12 22:43:15 +02:00
Danijel Martinek	a593962b3d	feat(core-shared/conformance): runtime brand markers + isX predicates	2026-05-12 22:37:43 +02:00
Danijel Martinek	c7bd9a2f8a	feat(core-shared/conformance): barrel + ./conformance subpath export	2026-05-12 21:37:18 +02:00
Danijel Martinek	82cfde9c93	feat(core-shared/conformance): ProductionUseCase<I, O, M> branded slot type	2026-05-12 21:35:59 +02:00
Danijel Martinek	b3784ce255	feat(core-shared/conformance): defineFeature helper + manifest types	2026-05-12 21:34:19 +02:00
Danijel Martinek	5f5db546ae	feat(core-shared/conformance): Instrumented<F> and Captured<F> brand types	2026-05-12 21:27:05 +02:00