Skip to content

docs: draft agent-oriented linting paper#67

Draft
danielchen0 wants to merge 27 commits into
mainfrom
paper/agent-oriented-linting
Draft

docs: draft agent-oriented linting paper#67
danielchen0 wants to merge 27 commits into
mainfrom
paper/agent-oriented-linting

Conversation

@danielchen0
Copy link
Copy Markdown
Collaborator

@danielchen0 danielchen0 commented May 17, 2026

Summary

Drafts an arXiv-style paper for laint around agent-oriented linting for generated JSX/TSX applications. The current draft frames laint as both an expert-curated benchmark and a feedback-loop tool for surfacing framework-specific generated-app failures before slower build, preview, device, or runtime checks.

The PR now includes checked-in raw prompt-grid artifacts, generated result tables, and a repair-loop pilot. The repair results are framed as diagnostic-feedback compliance signals: 476 -> 101 reported findings, 375 net reduction, 445 rule-level findings resolved, and 70 introduced findings across the repair loop. The paper still treats these as raw benchmark signals until human precision/recall labeling and downstream build/runtime/user-acceptance checks are added.

Verification

  • npm run lint
  • npm run build
  • npm run knip
  • npm test
  • npm run paper:tables
  • make -C paper
  • Checked paper/main.log for undefined refs/citations and overfull/warning/error lines
  • Verified PR review thread is resolved and CI is green

Remaining Before Submission

  • Add final author affiliations/contact metadata
  • Label findings for precision and recall, or explicitly publish as an unlabeled pilot
  • Pair laint outcomes with typecheck/build/preview/runtime/user-acceptance labels
  • Decide whether to keep this as arXiv-only or target a workshop format too

Comment thread paper/main.tex
Comment thread paper/main.tex Outdated
Comment thread paper/main.tex
Comment thread paper/main.tex Outdated
Comment thread paper/main.tex Outdated
Comment thread paper/main.tex
Comment thread paper/main.tex Outdated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants