What formal specs leave out: PDD Kit's login spec never promises an answer
krishnan · x · 2026-11-10
Part 4 of krishnan's thread on PDD Kit examines what the generated spec omits:
- The spec defines what login returns if it answers, but never promises an answer — a hung or slow query breaks no clause
- Timing and attempt rate are equally unpromised
- The authors state these limits plainly, which is more than most launch posts do
More from coding & agent
- 20 Python MCP Tools Worth Knowing, From Server Building to Gateways, Security and Eval — MaryamMiradi · 2026-11-10
- Prompting tip: describe the problem, not your solution, for better agent grilling — mattpocockuk · 2026-11-10
- The One-Person Million-Dollar AI Agency: An Agent-Stack Blueprint With the Math — boringmarketer · 2026-11-10
- Developer natively manages 25-30 parallel agent sessions on macOS with Rex — jonathan_wilke · 2026-11-10
- Pi Dash orchestrates 10 Muse Code agents with Muse Ember, rewriting 178K lines in a day — AIatMeta · 2026-11-10
- 125 prompt injections, zero executed: testing a propose-and-policy agent architecture — RI4D · 2026-11-10