docs(work): close story 01 — defineFeature + brands + auth.signIn proof

This commit is contained in:
2026-05-12 21:53:17 +02:00
parent bf3abea776
commit 0aa5f0633d
2 changed files with 11 additions and 11 deletions

View File

@@ -3,7 +3,7 @@ id: 01-define-feature-helper
epic: conformance-system-v1
title: defineFeature helper + Instrumented/Captured/Audited brands
type: technical-story
status: in-progress
status: done
feature: core-shared
depends-on: []
blocks: [02-boot-assertions]
@@ -38,12 +38,12 @@ Compile-time TS2322 fires when an unwrapped factory is bound through
- Generator emitting manifest stubs (story 05)
## Tasks
- [ ] Brand types: `Instrumented<F>` and `Captured<F>`
- [ ] `withSpan` attaches `Instrumented`
- [ ] `withCapture` attaches `Captured`
- [ ] `defineFeature` helper + manifest types
- [ ] `ProductionUseCase<I, O, M>` slot type
- [ ] `withAudit` wrapper + `Audited` brand
- [ ] `authManifest` declaration
- [ ] `auth.signIn` rebound through branded slot
- [ ] Negative test: unwrapped factory rejected at type level
- [x] Brand types: `Instrumented<F>` and `Captured<F>`
- [x] `withSpan` attaches `Instrumented`
- [x] `withCapture` attaches `Captured`
- [x] `defineFeature` helper + manifest types
- [x] `ProductionUseCase<I, O, M>` slot type
- [x] `withAudit` wrapper + `Audited` brand
- [x] `authManifest` declaration
- [x] `auth.signIn` rebound through branded slot
- [x] Negative test: unwrapped factory rejected at type level

View File

@@ -30,7 +30,7 @@ See `docs/architecture/feature-conformance-explainer.html` and
- Sandcastle orchestration (Phase 2: work-system-v1 epic)
## Stories
- [ ] [01 — defineFeature helper + Instrumented/Captured/Audited brands](01-define-feature-helper/_story.md)
- [x] [01 — defineFeature helper + Instrumented/Captured/Audited brands](01-define-feature-helper/_story.md)
- [ ] 02 — `assertConformance` + boot wiring (later plan)
- [ ] 03 — AST-aware ESLint rules (later plan)
- [ ] 04 — CI drift gate (later plan)