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