Initialise `summit`: project docs and repo-by-repo proofread automation - #2

Merged

alexander-yevsyukov merged 10 commits into

init-project-description

Jul 23, 2026

Commits on Jul 21, 2026

docs: initialise the summit project description

alexander-yevsyukov
and
claude
committed
d696438

Commits on Jul 22, 2026

docs: add the repo-by-repo proofread workflow

alexander-yevsyukov
and
claude
committed
0d28ba6
chore: add the agents repo as a top-level submodule

alexander-yevsyukov
and
claude
committed
bc66663
docs: harden the proofread fan-out Workflow (validated on base-types)

alexander-yevsyukov
and
claude
committed
b99197d
Update base-libraries and base-types to their merged master

alexander-yevsyukov
and
claude
committed
f62b927
docs: apply review-docs findings
alexander-yevsyukov
committed
0ce48c8
docs: harden the proofread fan-out Workflow — coverage honesty + loud validation
alexander-yevsyukov
committed
c8536d1
docs: add a Verify stage to the proofread fan-out Workflow (P2)
alexander-yevsyukov
committed
1bba897
fix: accept gitfile-initialised submodules in proofread-repo
alexander-yevsyukov
committed
a00f397

Commits on Jul 23, 2026

fix: address Copilot review — robustness in proofread-repo + verifier prompts
alexander-yevsyukov
committed
6844f8c