Use exact modulus n=12 and integer a=5. First require n≥2 and normalize a modulo n into the canonical nonnegative residue, then require gcd(a,n)=1. The order is the least positive return exponent, not any return. Give (n, a, normalized_residue, gcd, phi, unit_qualified, certificate).
G001 — Use exact modulus n=12 and integer a=5. First require n≥2 and normalize a modulo n into the canonical nonnegative residue, then require gcd(a,n)=1. The order is the least positive return exponent, not any return. Give (n, a, normalized_residue, gcd, phi, unit_qualified, certificate).
Definition and scope
Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
THIS source uses LOCAL-hyphen operations with exact keys/domain.Keep source field order and numeric/Boolean/string roles;integer rational texts omit/1.Original questions,English,MKOs,ASTs and statuses remain unchanged.
FIRST require n≥2,normalize into0..n−1 and qualify gcd1.Enumerate ALL unit residues to obtain phi(n);do not replace general phi with n−1 or assign a numeric order to a nonunit.
Order ORIGINAL previous residue times unit exponent1 := mul(1, 5)
After
Order ORIGINAL previous residue times unit exponent1 = 5
Conditions: none
Calculate exactly from THIS step’s ORIGINAL ordered operands.Retain the SOURCE rational pre-reduction envelope separately;do not use floating values or silently widen a different bank.
Order ORIGINAL previous residue times unit exponent2 := mul(5, 5)
After
Order ORIGINAL previous residue times unit exponent2 = 25
Conditions: none
Calculate exactly from THIS step’s ORIGINAL ordered operands.Retain the SOURCE rational pre-reduction envelope separately;do not use floating values or silently widen a different bank.
The SOURCE computes the complete first-return prefix EVEN when qualification outputs only gcd/phi.Retain this UNUSED computation obligation.Start at POSITIVE exponent1 with no earlier return.Do not claim order=phi,a primitive root or additive order.
S008 · premise_and_result_audit — Reverse-audit THIS step against its ORIGINAL ordered roles and complete premises.Accept the conclusion only under these conditions;do not invert a one-way implication or call a finite check a general formal proof.
S007 · premise_and_result_audit — Reverse-audit THIS step against its ORIGINAL ordered roles and complete premises.Accept the conclusion only under these conditions;do not invert a one-way implication or call a finite check a general formal proof.
S006 · premise_and_result_audit — Recompute Order ORIGINAL previous residue times unit exponent2 with exact rational arithmetic, not rounded decimals.
S005 · premise_and_result_audit — Reverse-audit THIS step against its ORIGINAL ordered roles and complete premises.Accept the conclusion only under these conditions;do not invert a one-way implication or call a finite check a general formal proof.
S004 · premise_and_result_audit — Recompute Order ORIGINAL previous residue times unit exponent1 with exact rational arithmetic, not rounded decimals.
S003 · premise_and_result_audit — Reverse-audit THIS step against its ORIGINAL ordered roles and complete premises.Accept the conclusion only under these conditions;do not invert a one-way implication or call a finite check a general formal proof.
S002 · premise_and_result_audit — Reverse-audit THIS step against its ORIGINAL ordered roles and complete premises.Accept the conclusion only under these conditions;do not invert a one-way implication or call a finite check a general formal proof.
S001 · premise_and_result_audit — Reverse-audit THIS step against its ORIGINAL ordered roles and complete premises.Accept the conclusion only under these conditions;do not invert a one-way implication or call a finite check a general formal proof.
Result
(12, 5, 5, 1, 4, Yes, unit_mod_n_qualified)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.