SShortSingh.
Back to feed

Study finds over 88% of AI agent instructions are unverifiable in practice

0
·1 views

A developer auditing his own AI coding workspace discovered that the vast majority of instructions given to AI agents cannot be independently verified from a repository alone. To test whether this was a broader problem, he built a tool and analyzed eight public agent-instruction collections, covering 1,332 instruction units and 17,611 individual instructions. The analysis found that only a median of 11.1% of procedural instructions are checkable — meaning a reviewer could confirm from the repo whether they were followed — with the range spanning 2.2% to 22.9% across collections. Five of the eight collections required no output artifacts whatsoever, while 43% of artifacts mandated by the remaining three had never actually existed in any commit. The author concludes that most AI agent instructions function not as enforceable rules but as unverifiable claims, with no mechanism to confirm compliance either way.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Log in to join the discussion and vote.

Log in

Related stories

0
ProgrammingHacker News ·

Parent Shares Experience Teaching Children the Forth Programming Language

A writer named Anna Liberty has published an article on her website Grace Full Liberty about teaching children the Forth programming language. The piece explores her personal approach to introducing kids to this stack-based language, which dates back to the 1970s. Forth is considered unconventional compared to modern beginner languages like Python or Scratch. The article was shared on Hacker News, where it attracted some attention from the programming community.

0
ProgrammingDEV Community ·

How Oracle Silently Handles Duplicate Keys During Unique Index Updates

Oracle Database allows multi-row updates on unique columns without raising constraint errors, a behavior not shared by databases like PostgreSQL, MySQL, SQLite, and MongoDB. A developer investigated Oracle's internal handling by creating a table with a unique index and a row-level trigger to pause execution between row updates. The experiment revealed that Oracle does not process unique index updates in a straightforward row-by-row manner that would trigger duplicate key violations mid-statement. By dumping index leaf blocks during execution, the researcher aimed to observe how Oracle manages temporary duplicate states within a single update statement. The findings shed light on how Oracle's B-tree index mechanics differ from other databases when enforcing uniqueness constraints during set-based operations.

0
ProgrammingDEV Community ·

Browser game Dario Dash uses client-side Groth16 proofs to verify scores on-chain

Dario Dash is a browser-based endless runner built on the Dusk blockchain that uses zero-knowledge proofs to ensure submitted scores are legitimate. After completing a ranked run, the player's browser generates a Groth16 proof locally using a Circom circuit of roughly 421,000 constraints, covering movement, collisions, item pickups, and scoring rules. The smart contract independently reconstructs public inputs, recomputes the obstacle schedule from the run seed, and verifies the proof before accepting any score. Each seed can only be used once, preventing replay attacks, and the proof is bound to the submitting account to stop players from copying others' valid proofs. Proof generation takes 10 to 60 seconds depending on hardware, and requires downloading an approximately 200 MB proving key that is cached by the browser after the first use.

0
ProgrammingDEV Community ·

AI Coding Tools Will Hollow Out Mid-Tier Developer Roles, Not the Profession

A veteran engineering leader argues that AI-assisted coding will not eliminate software developers but will compress the middle tier of the market, much like cheap digital cameras gutted mid-range photography work. Routine tasks such as CRUD apps, simple integrations, and internal tools built to a known spec are now cheaply handled by AI models, threatening the junior-to-mid segment most. While some developers may move upward by developing architectural judgment and systems thinking, the author warns this represents leaving the middle tier rather than saving it. Even if many mid-level developers upskill, the high end of the market — architects, security specialists, and trusted technical advisors — is narrow by definition and cannot absorb everyone. The article draws on the author's two decades of leading dev teams and personal experience rebuilding a side project in weeks with AI that previously took months of evenings.

Study finds over 88% of AI agent instructions are unverifiable in practice · ShortSingh