Live survey304 models · 14 providers · 22,792 auditsAudited grill-with-docs · SAFE →What changedHow we verifyllms.txt

Agent skill · Audited from source

Section Logic Polisher

skill · WILLOSCAR/research-units-pipeline-skillsLicence not declaredAudited 19 Oct 2026 · source 81994516a430

★ 513pushed 14 days ago
✓SAFEGrade B · 89/100 · 19 Oct 2026 · 8199451
513repo stars · whole WILLOSCAR/research-units-pipeline-skills

Is it safe? Yes — SAFE, grade B (89/100). We read this skill's source at commit 81994516a430 and found no filesystem, network or shell access and no hard-coded secrets. What it does: Logic coherence pass for per-H3 section files: enforce a clear paragraph-1 thesis and surface paragraph-island risks (connector stats are diagnostic, not a quota) before merging.

Ask an AI about this pageGChatGPTCClaudePPerplexityGeGeminiXGrok
More
Cite

Cite this page

ModelsAtlas. “Section Logic Polisher (WILLOSCAR/research-units-pipeline-skills)”. Retrieved 19 Oct 2026. https://modelsatlas.com/skills/willoscar/section-logic-polisher

Trust audit

Audit 0.4.1 · source read 19 Oct 2026

Trust score89/100✓SAFE B
0 critical0 high1 medium1 low0 info

SAFE means nothing in the source contradicts what the skill says it does. Grade B is shared by 16,667 of 17,602 audited skills.

What the source does

  • FilesystemNone observedNo reads or writes in the source
  • NetworkNone observedNo outbound calls in the source
  • ShellNone observedNo commands run in the source
  • DependenciesPinnedNothing floats
  • SecretsNone foundNo keys in source

Five audit layers

LayerWhat we checkResultFindings
L0 ProvenanceRepo owner, licence, archive status, activityWARN2
L1 Static sourceSecrets, path traversal, supply chain, hidden codePASS0
L2 InstructionsPrompt injection, authority framing, hidden directivesPASS0
L3 InventoryThe files and declarations match the sourcePASS0
L4 SandboxRun in isolation and watch behaviourSKIPPED why0

Gates applied: no behavioural pass, no license.

Findings (2)

LOWInventory / provenanceinv.no_license
F-13 Inventory / provenanceCWE-1104Layer L0
Why
no LICENSE file and no repo licence
Fix
add a licence

Audit 0.4.1 · source sha 81994516a430 · 19 Oct 2026Report an issue or request a re-scan

Provenance

Who published it, and what the verdict is pinned to

  • PublisherWILLOSCAR GitHub userOwner of the repository this skill is read from
  • Source folderWILLOSCAR/research-units-pipeline-skills/.codex/skills/section-logic-polisherThe exact folder we audited
  • LicenceNot declaredAs the repository states it
  • Commit pinned for this verdict81994516a430A new audit runs when the source changes
  • Repository statusNot archivedLast push 14 days ago
  • Sandboxed runNot runSkills are read, not executed; layer L4 is skipped

What it tells the agent

Full source on GitHub ↗

Its description: Logic coherence pass for per-H3 section files: enforce a clear paragraph-1 thesis and surface paragraph-island risks (connector stats are diagnostic, not a quota) before merging.

---
name: section-logic-polisher
description: "Logic coherence pass for per-H3 section files: enforce a clear paragraph-1 thesis and surface paragraph-island risks (connector stats are diagnostic, not a quota) before merging."
---

# Section Logic Polisher (thesis + argument bridges)

## Triggers & routing

- **Trigger**: logic polisher, section logic, thesis statement, connectors, 段落逻辑, 连接词, 论证主线, 润色逻辑.
- **Use when**: `sections/S*.md` exist but read like paragraph islands; you want a targeted, debuggable self-loop before `section-merger`.


Purpose: close the main “paper feel” gap that remains even when a subsection is long and citation-dense:
- missing/weak **thesis** (paragraph 1 never commits to a claim)
- weak **inter-paragraph flow** (paragraph islands; no content-bearing bridges)

This is a **local, per-H3** polish step that happens after drafting and before merging.

Note: if the main problem is paragraph-count overgrowth, run
`paragraph-curator` after this check. It only merges adjacent paragraph
boundaries and preserves all prose; semantic redundancy still belongs to the
owning writer.


## What this skill blocks on (and what it does not)

Blocking (must fix):
- paragraph 1 lacks an explicit thesis / takeaway (a content claim)

Non-blocking (diagnostic only):
- connector word counts (e.g., “moreover/however/therefore”). Counts are a proxy for paragraph islands, but forcing them as a quota often creates “generator cadence” (paragraph-initial adverbs). Treat these stats as *signals*, not goals.

## Role prompt: Logic Editor (argument flow)

```text
You are the logic editor for one survey subsection.

Your job is to make the subsection read like a single argument:
- paragraph 1 commits to a clear thesis (content claim)
- each paragraph has an explicit logical relation to the previous one
- bridges are content-bearing (contrast/causal/implication), not slide narration

Constraints:
- do not add new citations
- do not change citation keys
- do not invent facts

Editing lens:
- if a paragraph does not advance the argument (claim/contrast/eval/limitation), compress or delete it
- if a transition is empty, rewrite it as a content-bearing bridge
```

## Inputs

- `sections/` (expects H3 body files like `S<sec>_<sub>.md`)
- `outline/subsection_briefs.jsonl` (use `thesis` + `paragraph_plan[].connector_phrase` as intent)
- Optional: `outline/writer_context_packs.jsonl` (preferred; has trimmed anchors/comparisons + `must_use`)

## Outputs

- `output/SECTION_LOGIC_REPORT.md` (PASS/FAIL for thesis; connector stats shown for diagnosis)

Manual / LLM-first (in place):
- Update the H3 body files under `sections/` (e.g., `sections/S<sec>_<sub>.md`) to fix thesis/bridges (no new citations; keep keys stable)

## Workflow (self-loop)

1) Run the checker script to surface the exact failing files.

2) For each failing H3 file:

- Work on the concrete H3 body file (pattern): `sections/S<sec>_<sub>.md`
- Use `outline/subsection_briefs.jsonl` as the source of truth for the subsection thesis and paragraph-plan intent.
- If available, prefer `outline/writer_context_packs.jsonl` to stay aligned with `must_use` anchors/constraints (no new cites).

- Thesis (blocking)
  - Make paragraph 1 end with a conclusion-first thesis sentence.
  - Prefer a content claim, not meta narration. Avoid repetitive openers like `This subsection argues/surveys ...`.
  - Minimal shape (3 sentences; paraphrase, don’t copy):
    1) claim / tension
    2) why it matters (protocol/evaluation relevance)
    3) how the subsection will resolve it (what contrasts/anchors it will use)

- Flow (fix only when needed)
  - Add 1–2 short bridges where paragraphs feel disconnected.
  - Prefer subject-first sentences and mid-sentence glue (because/while/which) over paragraph-start adverbs.
  - Avoid PPT navigation (`Next, we ...`, `We now turn to ...`).

3) Rerun the checker until `output/SECTION_LOGIC_REPORT.md` is PASS, then
proceed to `paragraph-curator`, `evaluation-anchor-checker`, the final
`argument-selfloop` snapshot, and merge.

## Examples

### Thesis signal (paragraph 1)

Bad (topic setup only):
- `Tool interfaces vary across agent systems, and many recent works explore different designs.`

Better (conclusion-first claim):
- `A central tension in tool interfaces is balancing expressivity with verifiability; as a result, interface contracts often determine which evaluation claims transfer across environments.`

Bad (meta narration):
- `This subsection argues that memory is important for agents.`

Better (content claim):
- `Memory designs trade off retrieval reliability against write-time contamination, and this trade-off shows up as distinct failure modes under fixed evaluation protocols.`

### Bridges (avoid paragraph islands)

Bad (no relation):
- `X does ...` (para 2)
- `Y does ...` (para 3)

Better (explicit tie):
- `Whereas X optimizes for <axis>, Y shifts the bottleneck to <axis>; under fixed budgets, this changes whether the reported gains reflect better planning or simply more expensive search.`

## Done criteria

- `output/SECTION_LOGIC_REPORT.md` shows `- Status: PASS`
- No section file contains placeholders (`TODO`/`...`/`...`) or outline meta markers (`Intent:`/`RQ:`/`Evidence needs:`)
- Every H3 has a clear paragraph-1 thesis; bridges are added only where flow is actually broken

## Script

### Quick Start

- `uv run python .codex/skills/section-logic-polisher/scripts/run.py --workspace <workspace>`

Notes:
- The script is a checker; it does not rewrite prose.
- Connector stats are printed for diagnosis. Do not “write to the counter”; write to the argument.


### All Options

- `--workspace <dir>`
- `--unit-id <U###>`
- `--inputs <semicolon-separated>`
- `--outputs <semicolon-separated>`
- `--checkpoint <C#>`

### Examples

- Default run:

  `uv run python .codex/skills/section-logic-polisher/scripts/run.py --workspace <workspace>`

- Explicit output path (rare override; prefer defaults):

  `uv run python .codex/skills/s

Excerpt, first 6,000 characters of SKILL.md, verbatim from the audited commit. It is text from someone else’s repository, quoted so you can judge it before your agent reads it.

Install

Pinned to the audited commit 8199451

Download folder ↗
uv run python .codex/skills/section-logic-polisher/scripts/run.py --workspace <workspace>
uv run python .codex/skills/section-logic-polisher/scripts/run.py --workspace <workspace> --outputs output/SECTION_LOGIC_RE

Commands as the repository documents them: shown, never run by us. Our verdict covers commit 81994516a430 only.

Works in which agents?

What its own text says, not a test

AgentStatusMore
CodexMentioned in its text, not testedSkills for Codex · About Codex
“Mentioned” means the skill’s text names the agent. We have not run it there.

Audit history

Every audit, every source change

  1. ✓SAFE B 89 / 100

    first audit · source 81994516a430

README badge

For maintainers · shows the latest audit

ModelsAtlas: SAFE BMODELSATLASSAFE · B
[![ModelsAtlas: SAFE B](https://modelsatlas.com/skills/willoscar/section-logic-polisher/badge.svg)](https://modelsatlas.com/skills/willoscar/section-logic-polisher/)

The badge shows our verdict and grade for this skill, and links back to this page. It changes when the audit does.

Add this badge to your README

[![ModelsAtlas: SAFE B](https://modelsatlas.com/skills/willoscar/section-logic-polisher/badge.svg)](https://modelsatlas.com/skills/willoscar/section-logic-polisher/)

Questions about Section Logic Polisher

What does the Section Logic Polisher skill do?
Research pipelines as semantic execution units: each skill declares inputs/outputs, acceptance criteria, and guardrails. Evidence-first methodology prevents hollow writing through structured intermediate artifacts.
Is Section Logic Polisher safe to install?
The audit found nothing in the source that contradicts what it says it does, and graded it B (89/100). Grade A is held back for packages that have also passed a sandboxed behavioural run, which is why a clean skill reads B.
What can Section Logic Polisher access on my machine?
The audit observed no filesystem, network or shell use at all in its source.
Which assistants does Section Logic Polisher work with?
Its documentation mentions codex. That is what the text claims, not a compatibility test we ran.
How current is this page?
The grade is for one exact copy of the source (81994516a430), read on 2026-10-19. The repository is watched, and a new audit runs when it changes — this is the first audit.

Sources

Spotted something wrong? Report a correction · Methodology

Keep going in your AI

Opens with this page as the source. We add nothing else to the prompt.