Brief, mostly facts

Poly proposes a human readable language for coding agents

The draft specification is at version 0.6 and has no code yet. Its checker reports deadlocks over finite domains before a run.

Read the source at github.com

What the research found

Poly is a draft specification (v0.6) for a human readable language for coding-agent software; it has no code yet, but its checker finds deadlocks over finite domains before run.

Claims and how well the evidence supports them

Poly is specification draft v0.6 with no code yet 98%
poly check exhaustively verifies state machines over declared finite domains before running 98%
Poly compiler and runtime lower to existing Poly stack engines 98%

Evidence

github.com https://github.com/cognitive-fab/poly

Actionability rated low.