Explore related knowledge and questions →
← Question derivation index · Original question batch
R0014-07655 · q-20261012-advance-20261016-r02-matrix-0055
Use complete nonempty integer matrices with 1–5 rows and columns and 1-based external indices. Transposition is not inversion or reversal of element order. M=[[-8, -9, -10, -11, -12]], ordered (i,j) candidates=[[1, 1], [1, 5], [0, 1]]. Give (shape of M, three index-eligibility values, three entries or invalid-index). Do not read an invalid entry.
G001 — Use complete nonempty integer matrices with 1–5 rows and columns and 1-based external indices. Transposition is not inversion or reversal of element order. M=[[-8, -9, -10, -11, -12]], ordered (i,j) candidates=[[1, 1], [1, 5], [0, 1]]. Give (shape of M, three index-eligibility values, three entries or invalid-index). Do not read an invalid entry.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.
Before
M=[[-8, -9, -10, -11, -12]];shape=[1, 5]
After
external indices start at1;transpose is not inverse
Conditions: none
First confirm a nonempty rectangular shape and complete integer entries.Transposition is defined for rectangular matrices without invertibility and is not matrix inversion.
Rule: rectangular_matrix_scope · Uses: G001
Before
query0=(1,1);shape=[1, 5]
After
qualified=Yes;value/status=-8
Conditions: none
Both external indices must lie from1 through the corresponding size before reading the internal(i−1,j−1) position.Do not fill an invalid query using negative or wrapping indices.
Rule: matrix_index_eligibility_before_read · Uses: G001, S001
Before
query1=(1,5);shape=[1, 5]
After
qualified=Yes;value/status=-12
Conditions: none
Both external indices must lie from1 through the corresponding size before reading the internal(i−1,j−1) position.Do not fill an invalid query using negative or wrapping indices.
Rule: matrix_index_eligibility_before_read · Uses: G001, S002
Before
query2=(0,1);shape=[1, 5]
After
qualified=No;value/status=invalid index
Conditions: none
Both external indices must lie from1 through the corresponding size before reading the internal(i−1,j−1) position.Do not fill an invalid query using negative or wrapping indices.
Rule: matrix_index_eligibility_before_read · Uses: G001, S003
S004 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.S003 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.S002 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.S001 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.([1, 5], [Yes, Yes, No], [-8, -12, invalid-index])
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
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.
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: eab1fa05ad433e7c1921ea885eaf6dd64b873419296539a6a23f7f94f53c994acandidate record SHA-256: ba7b08e55b2525fb42feb3a580992508924815664d510e763a62d9f65ea1c9f1semantic review receipt SHA-256: 23ba8196e85a09c03add0a87f96bec5d67a00dc648d1d68eef89101525b41a77question-first witness SHA-256: 17d59afc327b7cb8b6e588686d6dc1abbccd384d8ba32b8c046652f96821d705Lean: NOT_RUN · human review: NOT_PERFORMED