Explore related knowledge and questions →
← Question derivation index · Original question batch
R0014-07668 · q-20261012-advance-20261016-r02-matrix-0068
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=[[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]], ordered (i,j) candidates=[[1, 1], [4, 3], [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=[[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]], ordered (i,j) candidates=[[1, 1], [4, 3], [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=[[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]];shape=[4, 3]
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=[4, 3]
After
qualified=Yes;value/status=5
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=(4,3);shape=[4, 3]
After
qualified=Yes;value/status=6
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=[4, 3]
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.([4, 3], [Yes, Yes, No], [5, 6, 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: 6a013b7d386aeab7688ae316742bff273d55b6fe691745591c91c98a3908abdfcandidate record SHA-256: 4bfb39398a2ea9fd30b4e0fa2961bca405fd501e245d18174adc3628aa704c85semantic review receipt SHA-256: 23ba8196e85a09c03add0a87f96bec5d67a00dc648d1d68eef89101525b41a77question-first witness SHA-256: 17d59afc327b7cb8b6e588686d6dc1abbccd384d8ba32b8c046652f96821d705Lean: NOT_RUN · human review: NOT_PERFORMED