docs: delegate circuit-writing-primer to the o1Labs writing-constraint-systems pages

[dkijania]

Source

Mina_o1js_Excel_Report.xlsx → Master Comparison, row "Conditional logic / witnesses / circuit analysis" (relationship: O1LABS CANONICAL).

Problem

docs/zkapps/o1js/circuit-writing-primer.mdx (1531 words / 13 code blocks, last updated 2025-09-23) is a single page covering ground that o1Labs splits across three maintained pages:

• writing-constraint-systems/conditional-logic ✅ verified live 2026-09-06
• writing-constraint-systems/witnesses ✅ verified live
• writing-constraint-systems/analyzing-constraint-systems ✅ verified live

The report rates o1Labs "more complete & current" here. Our primer contains no link to docs.o1labs.org.

Proposed action

o1Labs is canonical for constraint-system writing. Either:

• Recommended: keep the primer as a short Mina-context introduction and link out to the three o1Labs pages for the detail, or
• delegate it fully with a vercel.json redirect, as Phase 2 of Assess & stage migration of zkApp Developers section to o1Labs docs (docs.o1labs.org/o1js) #1208 did for the other o1js guides.

Whichever is chosen, the "analyzing constraint systems" pointer is required — that topic exists only on o1Labs today (see the separate "o1Labs-only topics" issue).

Checklist

• Compare the primer against the three o1Labs pages
• Choose: trim-and-link, or delegate with a redirect
• Add links to conditional-logic, witnesses and analyzing-constraint-systems
• Regenerate the llms artifacts

Related: #1208, #953, #952, #955, #892

[dkijania]

PR #1241 adds the links to conditional-logic, witnesses, analyzing-constraint-systems and the constraint-system primer. The larger question — trim-and-link vs. delegate the primer entirely — is still open.