ryan b3c4d6cb99 docs(autoresearch): lessons 6-8 (audit verification, counting doubles, gate+veto discipline)

2026-08-29 09:56:24 +08:00

..

autoresearch-lessons.md

docs(autoresearch): lessons 6-8 (audit verification, counting doubles, gate+veto discipline)

2026-08-29 09:56:24 +08:00

baseline.env

chore(autoresearch): re-baseline harness on pinned real-risk yardstick

2026-08-29 07:52:03 +08:00

check_gate_weaken.py

chore(autoresearch): re-baseline harness on pinned real-risk yardstick

2026-08-29 07:52:03 +08:00

checks.sh

chore(autoresearch): re-baseline harness on pinned real-risk yardstick

2026-08-29 07:52:03 +08:00

gate.baseline.yml

chore(autoresearch): re-baseline harness on pinned real-risk yardstick

2026-08-29 07:52:03 +08:00

ideas.md

chore(autoresearch): init cordis-quality session files

2026-08-28 16:21:34 +08:00

lint.ref.yaml

chore(autoresearch): re-baseline harness on pinned real-risk yardstick

2026-08-29 07:52:03 +08:00

log.jsonl

fix(drivers): propagate app-lifetime context through inproc cron/worker drivers

2026-08-28 17:04:44 +08:00

measure.sh

chore(autoresearch): re-baseline harness on pinned real-risk yardstick

2026-08-29 07:52:03 +08:00

prompt.md

chore(autoresearch): init cordis-quality session files

2026-08-28 16:21:34 +08:00

prove_fix.sh

chore(autoresearch): log iter 6, distinguish compile-level from assertion-level proof

2026-08-29 08:17:59 +08:00

results.tsv

chore(autoresearch): log iter 22 (debt 79 -> 54)

2026-08-29 09:55:24 +08:00