jet-contribution-framing — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited jet-contribution-framing (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
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.
markets is at stake?
that / show existence of ...". Because abstract references must be written in full, cite at most one or two anchor results there.
delta from jet-literature-positioning.
in a stronger claim than the proof supports.
reaches the right editor.
you proved.
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:
values), we characterize the seller-optimal mechanism and show it is a posted price."
once the common-prior assumption is dropped.
smooth-ambiguity preferences — say so in the abstract.
JET routes by editor field.
statement of the main theorem appears early, then positioning and a roadmap. Patterns vary by subfield — calibrate against recent JET issues in your area, and confirm against the journal's current author guidelines for any formal length rules.
【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~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.