docs(v5-next): backport counter tutorial alignment from #23517

[AztecBot]

Backports the counter-tutorial half of #23517 (docs: align counter tutorial example with the aztec init template and add TXE tests, merged to next Jun 22) to v5-next.

Why this is the right scope

#23517's core intent was to align the counter tutorial example with what aztec init generates. On v5-next the scaffold template is already updated — yarn-project/aztec/scripts/templates/counter/contract/src/main.nr already defines fn constructor(initial_value: u128, ...). But the tutorial prose and the inlined example contract are still on the old initialize(headstart) naming, so the v5 tutorial currently contradicts the code aztec init produces. This backport closes that gap.

Files (2)

• docs/docs-developers/docs/tutorials/contract_tutorials/counter_contract.md — initialize→constructor, headstart→initial_value, intro reworded (encrypted private state), heading casing.
• docs/examples/contracts/counter_contract/src/main.nr — same rename, so the tutorial's #include_code constructor block matches both the prose and the v5 scaffold template.

Deliberately excluded

• TXE test harness (counter_contract_test, the docs/examples/bootstrap.sh test-contracts step, Nargo.toml member, logging_example_test tweak) — that's CI tooling, not docs, and counter_contract_test doesn't exist on v5-next.
• Scaffold template — already correct on v5-next; no change needed.

Safety check

recursive_verification_contract also uses a headstart parameter, but it's an independent contract with its own constructor(headstart: Field, ...) (untouched by #23517 even on next), so the counter rename doesn't affect it.

Source PR: #23517. No tracked issue is closed by this backport.

---

Created by claudebox · group: slackbot