[caelaxie]

Closes #53

Eval, show-me-your-work, and guides 04 and 07 now say model tier / another tier, matching arena phase C.

Verification

Harness on 71a46309c4bf8ad21b68d394145157cf129f6c28 with agy 1.4.12. Proof comment follows.

  

[cursor]

Harness proof for head 71a46309c4bf8ad21b68d394145157cf129f6c28.

• agy 1.4.12 from the linux_amd64 manifest (sha512 prefix ea01c73b772187bc).
• agy plugin validate --strict . passed: 61 skills, 2 agents, 0 warnings.
• agy plugin install . from this branch installed pstack to ~/.gemini/config/plugins/pstack.
• agy plugin list: pstack enabled, version 0.15.36, 61 skills, 2 agents (comment-sicko, poteto-agent).
• Installed HEAD is 71a46309c4bf8ad21b68d394145157cf129f6c28, equal to this head. agy plugin validate --strict on the installed copy passed.
• cmp against the installed copy, all identical: skills/poteto-mode/playbooks/eval.md, skills/show-me-your-work/SKILL.md, docs/guide/04-design.md, docs/guide/07-overnight.md.
• bun test in skills/poteto-mode/scripts: 62 pass, 0 fail.
• bun test in skills/statechart/scripts: 267 pass, 0 fail, 67 skipped (TLC tests skip without tla2tools.jar).
• Live agy --print turns were not run. They stop at Google OAuth.

[caelaxie]

passes the bar. merging.

• minimum changes: exactly the four lines #53 named (eval.md:21, show-me-your-work SKILL.md:67, guide 04:31, guide 07:68), family -> tier, nothing else touched. consistent with arena phase c and orchestrate.
• layout/target: no cursor paths, no team-kit mention.
• parity: version stays 0.15.36.
• proof: agy 1.4.12 validate --strict + install + list on head 71a4630, installed copy cmp-identical for all four files; Validate plugin green. text-only, so the oauth-blocked live turn is fine per precedent.
• linkage: Closes #53. not a draft.