executing-plans
executing-plans
Use when executing an implementation plan in the current session as the implementer yourself — your human partner chose inline execution, or no subagent tool is available
jet-contribution-framingUse when framing the contribution of a Journal of Economic Theory (JET) paper so its theoretical advance is unmistakable — lead with the theorem, state why the result matters for the relevant theory, and right-size the claim to exactly what the proof delivers. For JET's theory-first bar; it does not overclaim.
Independent GitHub snapshot · Automated classification · Original documentation governs
JET accepts a paper because it is a rigorous, original theoretical contribution. Framing must put the theorem first and make its significance legible to the matching editor and two expert referees. A JET introduction is not a story arc around data — it is a precise statement of what is now known that was not before.
Before finalizing, rewrite the main contribution in this syntax:
Under [assumptions], we prove [result type] for [environment], which [weakens/generalizes/constructs]
[closest theorem] by [precise delta].
Every bracket should map to a theorem statement or a cited frontier result. If a bracket is rhetorical rather than formal, the framing is ahead of the proof.
Different JET result types demand different lead verbs and carry different overclaiming risks:
| Result type | Lead verb in abstract | What the intro must promise | Typical framing risk |
|---|---|---|---|
| Characterization | "We characterize ..." | the full set of mechanisms/preferences/equilibria satisfying the property | writing "if and only if" when only sufficiency is proved |
| Existence | "We prove existence of ..." | the conditions plus the route (fixed point, constructive, lattice) | implying uniqueness or computability the proof never delivers |
| Uniqueness / comparative statics | "We show the equilibrium is unique / monotone in ..." | the order structure doing the work | asserting comparative statics outside the proved parameter region |
| Impossibility | "No mechanism satisfying A1–A3 can ..." | the exact axiom set, with tightness examples per axiom | letting readers infer a stronger informal reading than the axioms support |
| Counterexample paper | "We construct an example showing ..." | why the example overturns a folk presumption | underselling — a decisive counterexample is a JET contribution in its own right |
Hypothetical paper: with two maxmin bidders holding a finite set of priors, the revenue-maximizing auction is a posted price. The framing pass:
【One-line theorem】<abstract sentence>
【Why it matters】weakens/generalizes/overturns <closest result>
【Scope guardrail】holds under <conditions>; does NOT claim <X>
【Subfield】<routing area>
【Next】jet-writing-style (polish) / jet-submission