jet-tables-figures — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited jet-tables-figures (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 is a theorem-proof journal, so most exhibits are schematic, not data-driven. The typical JET figure clarifies an argument:
Numerical tables are light and subordinate — admitted only to illustrate or test a theoretical result (see jet-data-analysis), never as the paper's payload.
that renames objects costs the referee more than it saves.
pgfplots; export matplotlib/Julia plots to PDF.
exhibit reads without the surrounding text.
not only the inequality that defines it.
Keep an exhibit only if it does one of four jobs:
If the exhibit is decorative or repeats a proof step without reducing cognitive load, delete it. JET referees value proof clarity more than visual volume.
| Result type | Default JET schematic | Drawing notes |
|---|---|---|
| Parameter-region characterization | partition of the parameter square (e.g., pooling vs separating) | label regions with the economics; each boundary curve gets its defining equation in the note |
| Order-theoretic / lattice result | Hasse diagram of the relevant poset | orient the diagram by the order actually used in the proof |
| Dynamic game / contract | timeline or extensive-form tree | nodes say who moves and what is observed at that point |
| Mechanism / information flow | report → allocation/transfer schematic | one arrow per message; types listed on the input side |
| Tightness of a bound | the bound and the attaining example on one axis pair | mark the attainment point explicitly so tightness is visible |
\begin{tikzpicture}[scale=3]
\draw[->] (0,0) -- (1.05,0) node[below] {$\alpha$ (ambiguity)};
\draw[->] (0,0) -- (0,1.05) node[left] {$\Delta$ (type gap)};
\draw[thick] (0,0) .. controls (0.5,0.45) .. (1,0.6); % boundary from Prop. 3, eq. (11)
\node at (0.30,0.72) {separating};
\node at (0.70,0.22) {pooling};
\end{tikzpicture}
% Note text: symbols identical to the body; the boundary is the locus where (IC-H) binds, eq. (11).Adapt the axes and boundary to your model, but keep the pattern: every drawn object traces back to a numbered equation or constraint in the text.
ambiguity–type-gap plane into pooling and separating regions").
each curve.
exhibit (see jet-data-analysis).
【Exhibit】<schematic type> | small illustrative table
【Notation match】identical to body? [Y/N]
【Format】vector (TikZ/PDF), self-contained note? [Y/N]
【Role】clarifies argument | illustrates theorem (subordinate)
【Next】jet-writing-style / jet-submission~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.