2.0.1 (glm 5.3 for most, k3 for checks, no small models)

2.0 fable 5.1 max simplification

v1.15 gradio fix :(

v1.15 fable enforcement attribution economy

v1.14 (fable high + opus max)

K3 DROP IN

v1.13.2 harden

kimi patch on top of harden

v1.13.2 hardened (kimi too?)

v1.13.1 kimi k3 toggle

fixing startup issues etc

startup_duration_timeout: 1h

1.13

12

v 1.13

v1.12 turns the lab from a claim-centric research loop into a **theorem-graph system that tracks exact proof obligations, evidence, dependencies, counterexamples, and bottlenecks—and automatically directs stronger models and research budget toward the unresolved steps with the highest mathematical leverage.

1.11 multi folded in, lots of thinking

runtime index fixed

Delete src/pnp_lab/runtime_index.py

Upload dashboard.py

Delete src/pnp_lab/dashboard.py

fix sql thing

v1.10 big

1.9 (need to fix startup speed)

1.8

1.7

Upload pnp_autolab_v1_6_human_handoff_2026-08-21.md

1.6

self._schedule_state(0, "continuous autonomous research")

1.5

1.04

1.03

if k3 still doesn't work, public execution

Upload 37 files

initial commit