Verify authorization middleware matches spec
An agent implemented a 250-line authorization middleware in TypeScript from a one-paragraph spec ('admins can edit any org, members can edit only their own org, viewers read-only'). The code looks reasonable and the demo works. You don't trust yourself to have read every branch. How do you verify the implementation actually matches the spec — including the cases the spec implies but doesn't state?
Implement
authorization_matrix(roles: list[str], actions: list[str], same_org_flags: list[bool]) → list[bool]Examples
in
[["admin","member","viewer"],["edit","edit","edit"],[false,true,true]]out[true,true,false]in
[["member","viewer","ghost"],["edit","read","read"],[false,true,true]]out[false,true,false]in
[["admin"],["delete"],[true]]out[false]What a strong answer looks like
Treat the AI’s output as a draft to verify, not an answer to trust. Name the specific flaw and the input that triggers it, say how you’d catch it (tests, edge cases, reading critically), and how you’d re-prompt or decompose to get it right.
0:00 of about 18 min
Vibe & agentic: describe the solution in plain language (or narrate it) and the coach grades your approach.
Which questions mattered is sealed until you submit. Telling you now would just be handing over the edge cases.
Run or narrate your approach, then ask the coach.