diff --git a/.kiro/specs/authorization-obligations/spec.json b/.kiro/specs/authorization-obligations/spec.json index 91abee1..b28eace 100644 --- a/.kiro/specs/authorization-obligations/spec.json +++ b/.kiro/specs/authorization-obligations/spec.json @@ -1,9 +1,9 @@ { "feature_name": "authorization-obligations", "created_at": "2026-09-05T17:00:00Z", - "updated_at": "2026-09-05T18:30:00Z", + "updated_at": "2026-09-05T19:10:00Z", "language": "en", - "phase": "design-generated", + "phase": "tasks-generated", "approvals": { "requirements": { "generated": true, @@ -14,15 +14,15 @@ "approved": true }, "tasks": { - "generated": false, - "approved": false + "generated": true, + "approved": true } }, - "ready_for_implementation": false, + "ready_for_implementation": true, "depends_on": [ "reachability-flow-model", "guard-dominance-regime", "corpus-seeded-mechanisms" ], - "approval_note": "2026-09-05 requirements and design approved by the maintainer in session" + "approval_note": "2026-09-05 requirements, design and tasks approved by the maintainer in session" } diff --git a/.kiro/specs/authorization-obligations/tasks.md b/.kiro/specs/authorization-obligations/tasks.md index d185047..7e00414 100644 --- a/.kiro/specs/authorization-obligations/tasks.md +++ b/.kiro/specs/authorization-obligations/tasks.md @@ -97,7 +97,7 @@ - [ ] 5.1 Validator dispatch on shape family and pending policy clauses - `validate_mechanism` dispatches on `shape["family"]`: obligation rows check operation kind, discharger kind, provenance and resource class against the closed sets; `PolicyClauseEdit(kind, fields, evidence, rationale)` validated against the policy schema and journaled under `pending_policy_clauses`, never applied. - Observable: an obligation row with `discharger_kind = "if user"` is rejected; a valid row admits; a clause edit lands in the journal as pending and a following scan reads no policy from it. - - _Requirements: 8.1, 8.2, 8.4, 8.5_ + - _Requirements: 4.5, 8.1, 8.2, 8.4, 8.5_ - _Boundary: Lever_ - _Depends: 1.3_