Original question and givens
Use order r=4, coefficients=[2, 4, 6, 8] in oldest-to-newest order, constant=0 and initial_values=[17, 18, 19, 20], where initial_values[j]=a_j. For n≥r, a_n=constant+sum over j=0..r−1 of coefficients[j]*a_(n−r+j). The state shifts left then appends the new scalar. All intermediate integer operations must be safe. Give (order, coefficients, constant, initial_values, complete_initials, total_rule, index_scope).
G001 — Use order r=4, coefficients=[2, 4, 6, 8] in oldest-to-newest order, constant=0 and initial_values=[17, 18, 19, 20], where initial_values[j]=a_j. For n≥r, a_n=constant+sum over j=0..r−1 of coefficients[j]*a_(n−r+j). The state shifts left then appends the new scalar. All intermediate integer operations must be safe. Give (order, coefficients, constant, initial_values, complete_initials, total_rule, index_scope).
Step-by-step derivation
S001 · implies
Before
source operation=recurrence-specification-qualification;original snapshot and mathematics retained
After
explicit ordered source output fields=[order, coefficients, constant, initial_values, complete_initials, total_rule, index_scope]
Conditions: none
Keep the historical interface marker and list ordered source fields without JavaScript.Tags are not additional evidence;fixed No markers retain their scope.The ordering helper supplies protocol order,not mathematical correctness.
Step identifiers and dependencies
Rule: source_ordered_interface_explicit_without_javascript · Uses: G001
S002 · implies
Before
recurrence ORIGINAL:ORIGINAL order=4;oldest-to-newest coefficients=[2, 4, 6, 8];constant=0;ALL initial a_0..a_(r-1)=[17, 18, 19, 20]
After
for EVERY n>=4,a_n=constant+sum_j coefficients[j]*a_(n-r+j);current prefix length=4;forward rule is total and single-valued
Conditions: none
Fix all r initials and the oldest-to-newest coefficient roles.Given the preceding r values,the next value is uniquely determined.This is a forward definition,not a closed form or convergence claim.
Step identifiers and dependencies
Rule: recurrence_complete_initial_state_and_total_single_value_rule · Uses: G001, S001
S003 · calculation
Before
recurrence ORIGINAL n=4 ORIGINAL coefficient0 times a_0 := mul(2, 17)
After
recurrence ORIGINAL n=4 ORIGINAL coefficient0 times a_0 = 34
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S002
S004 · calculation
Before
recurrence ORIGINAL n=4 partial sum after coefficient0 := sum(0, 34)
After
recurrence ORIGINAL n=4 partial sum after coefficient0 = 34
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S003
S005 · calculation
Before
recurrence ORIGINAL n=4 ORIGINAL coefficient1 times a_1 := mul(4, 18)
After
recurrence ORIGINAL n=4 ORIGINAL coefficient1 times a_1 = 72
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S004
S006 · calculation
Before
recurrence ORIGINAL n=4 partial sum after coefficient1 := sum(34, 72)
After
recurrence ORIGINAL n=4 partial sum after coefficient1 = 106
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S005
S007 · calculation
Before
recurrence ORIGINAL n=4 ORIGINAL coefficient2 times a_2 := mul(6, 19)
After
recurrence ORIGINAL n=4 ORIGINAL coefficient2 times a_2 = 114
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S006
S008 · calculation
Before
recurrence ORIGINAL n=4 partial sum after coefficient2 := sum(106, 114)
After
recurrence ORIGINAL n=4 partial sum after coefficient2 = 220
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S007
S009 · calculation
Before
recurrence ORIGINAL n=4 ORIGINAL coefficient3 times a_3 := mul(8, 20)
After
recurrence ORIGINAL n=4 ORIGINAL coefficient3 times a_3 = 160
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S008
S010 · calculation
Before
recurrence ORIGINAL n=4 partial sum after coefficient3 := sum(220, 160)
After
recurrence ORIGINAL n=4 partial sum after coefficient3 = 380
Conditions: none
Substitute original roles,indices and established intermediates exactly,not floating-point approximations or another question's data.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S009
S011 · implies
Before
recurrence ORIGINAL:ORIGINAL target n=4;previous state a_(n-r)..a_(n-1)=[17, 18, 19, 20];ALL [j,source_index,coefficient,value,product] rows=[[0, 0, 2, 17, 34], [1, 1, 4, 18, 72], [2, 2, 6, 19, 114], [3, 3, 8, 20, 160]]
After
new a_4=380;next state=[18, 19, 20, 380];drop ONLY oldest state entry then append new scalar;prefix now=[17, 18, 19, 20, 380]
Conditions: none
Multiply each coefficient by its specified original index,add to the constant and check the source safe-integer range.Shift left and append the new scalar;do not reverse coefficients or feed the appended value back into this same update.
Step identifiers and dependencies
Rule: recurrence_EVERY_state_update_shift_left_append_exact · Uses: G001, S010
S012 · implies
Before
recurrence ORIGINAL:complete ORIGINAL initial state=[17, 18, 19, 20];actual generated prefix=[17, 18, 19, 20, 380]
After
ANY two sequences with SAME r initials and SAME total rule agree at n=4 by substitution,then at every later n by induction;this determines the requested prefix only
Conditions: none
Induct from equality of all r initials:the same single-valued rule gives equality of the next term,and hence every later prefix term.Finite generation proves no closed form,asymptotic behavior or analyticity.
Step identifiers and dependencies
Rule: recurrence_forward_uniqueness_induction_not_analytic_claim · Uses: G001, S011