Specification Review
Judge whether a specification makes consequential intent clear enough for its next use. Find disagreements before they propagate; do not become the author.
Preserve reviewer independence and authority
- Work read-only. Do not rewrite the artifact, accept its decisions, authorize implementation, approve adoption, or resolve findings unless the user separately authorizes that action.
- Pin the exact artifact or snapshot, canonical sources, intended next use, accountable owner, affected parties, and cost of wrong interpretation.
- Recover intent independently from the originating request, current behavior, accepted decisions, constraints, and evidence. Treat the producer's rationale as a claim to inspect, not the review oracle.
- Separate specification integrity from subject-matter correctness. Expose a missing product, domain, architecture, contract, security, data, legal, or operational decision, then route that judgment to its owner.
- Independence requires fresh judgment, direct artifact inspection, distinct criteria or evidence, and permission to reject—not a second label alone.
- Match review depth to ambiguity, propagation, consequence, reversibility, feedback delay, and coordination boundaries. Let a clear, cheap, reversible action bypass formal specification review.
Clarify without co-authoring
- Inspect the artifact and discoverable evidence before asking its owner.
- Inspect only decision-changing evidence. Stop when more context would widen into product, architecture, or system assessment; state the limit and route it.
- Ask only questions that can change a finding, interpretation, readiness, or route. Batch independent low-sensitivity questions; serialize dependent ones.
- When the user asks to grill, challenge, or stress-test the specification, deepen counterexample and loophole search. Do not negotiate findings or coach the author toward answers that make the review pass.
- Treat unanswered consequential questions as findings or explicit limitations. Never invent intent to produce a clean result.
Review workflow
- Pin the review contract. Record the artifact identity, review scope, authoritative inputs, intended audience or consumer, next decision or action, non-goals, and consequence of error. Exclude unrelated document quality.
- Recover the proposition. State the asserted outcome, problem, desired and preserved behavior, accepted decisions, constraints, evidence claims, and unresolved questions. Flag silent narrowing to an easier proxy.
- Map claims and authority. Distinguish confirmed, inferred, assumed, proposed, and unresolved material. Identify undefined normative terms, ownerless decisions, unsupported certainty, stale sources, and competing authorities.
- Trace interpretations. Follow important inputs, decisions, state, effects, outputs, consumers, and lifecycle obligations. Show where reasonable readers could derive incompatible outcomes.
- Challenge coherence. Find contradictions, circular definitions, hidden dependencies, incompatible constraints, omitted prerequisites, duplicate authority, and claims that rely on an unstated sequence or environment.
- Probe boundaries and failures. Use positive and negative cases, then vary identity, permission, state, ordering, timing, repetition, limits, partial failure, recovery, compatibility, and retirement. When the artifact changes attacker-controlled input, protected data or effects, identity, secrets, dependencies, tenant boundaries, privilege, or security defaults, also test plausible abuse, direct-entry, fallback, and control-unavailable paths. Seek wording-compliant failures without pretending this integrity review is a complete security assessment.
- Check evaluability. Determine whether acceptance or decision claims are
observable and falsifiable enough for the next owner. Separate missing
oracles from missing evidence methods; route method design to
verification strategy and execution to
software-verification. - Route specialist judgment. Keep product value and customer evidence with
product-opportunity-discovery; domain meaning withdomain-modeling; architecture fitness witharchitecture-risk-evaluation; shared contract compatibility withsoftware-contract-evolution; threat, security requirement, secure-default, and control-ownership decisions withsoftware-security-design; and accountable choice closure withdecision-facilitation. - Prioritize findings. Rank by consequence, propagation, reversibility, and confidence. Give each explicit confidence, the tightest locator, conflicting interpretations or counterexample, impact, and smallest credible repair direction or receiving owner.
- Report the outcome. Lead with findings, then questions, assumptions,
evidence inspected, routed judgments, and residual limits. Return
ready for next accountable use,ready with owned follow-through, ornot ready. A clean review is not approval or certification.
Calibrate findings
- Blocker: The artifact cannot responsibly support its named next use because a consequential contradiction, missing decision, or unbounded interpretation can propagate material harm.
- Major: A realistic ambiguity, omission, unsupported claim, or loophole can produce materially different behavior or a costly downstream correction.
- Minor: A bounded defect can mislead a reader or weaken traceability but is unlikely to redirect the core outcome.
- Question or limitation: Evidence is insufficient to claim a defect. State the decision-changing uncertainty without inflating severity.
- Keep a local, cheap, reversible gap at Minor even when implementation pauses; stopping alone does not make it Major or Blocker.
- Lower confidence instead of raising severity for a merely plausible concern. Phrase questions as questions.
Compose with artifact producers
- Use
software-change-specificationto create or materially revise an accepted software behavior contract. Review its fixed candidate here without replaying the producer workflow. - Use the relevant product, domain, architecture, contract, or decision skill to produce or revise owned content. A reviewer recommends repairs but does not make them.
- Use
technical-writingfor tutorials, how-to guides, explanations, reference, procedures, articles, editorial quality, and representative-reader function. A decision-bearing document remains reviewable here only for its normative specification claims. - Use
code-reviewfor a working tree, commit, branch, pull request, migration, configuration change, or other implemented candidate.
Quality gates
- The exact artifact, authoritative inputs, scope, and next use are reproducible.
- Findings arise from demonstrated contradiction, competing interpretation, counterexample, unsupported claim, missing authority, or consequential gap.
- Each actionable finding names impact and a repair direction or receiving owner without rewriting the artifact.
- Subject-matter uncertainty remains visible and routed rather than converted into reviewer preference.
- A material security surface either traces to accepted
SEC-*requirements and an accountable owner or remains an explicit readiness limitation. - The outcome distinguishes artifact readiness from accountable acceptance, implementation authority, and later verification.
Reject review theater
- Length, polish, templates, diagrams, and examples do not prove preserved intent. Missing sections or style preferences matter only when they cause a demonstrated failure.
- Do not reward precision that encodes the wrong goal or acceptance wording that can pass while the intended outcome fails.
- Do not add unrequested features, reopen accepted decisions without evidence, or widen a bounded review into product discovery or architecture assessment.
- Repetition is not independence. A clean second pass with the same framing and evidence does not certify the artifact.