ryan 84946977bf chore(autoresearch): log iter 16 (perf, contract batch)

2026-08-29 08:52:18 +08:00

..

autoresearch-lessons.md

autoresearch iter 6: reject negative cursor instead of silently using 0

2026-08-29 08:16:50 +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 16 (perf, contract batch)

2026-08-29 08:52:18 +08:00