FSM onehot answer record

https://hdlbits.01xz.net/wiki/Fsm_onehot
No problem with the title , It just didn't describe the requirements clearly .
Gradually clear in the submission process over and over
You can see ifdef Three situations of

// nodefine
//  All the wrong inputs fall into idle
// # Hint: Output 'next_state' has 1157 mismatches. First mismatch occurred at time 1120.
// # Hint: Output 'out1' has 724 mismatches. First mismatch occurred at time 1120.
// # Hint: Output 'out2' has 744 mismatches. First mismatch occurred at time 1120.
// # Hint: Total mismatched samples is 1157 out of 1422 samples

// `define CUSTOM
//  Wrong input with priority , Lower priority higher , Be exclusive 
// # Hint: Output 'next_state' has 922 mismatches. First mismatch occurred at time 1125.
// # Hint: Output 'out1' has no mismatches.
// # Hint: Output 'out2' has no mismatches.
// # Hint: Total mismatched samples is 922 out of 1422 samples

`define FINAL
//  Unique hot code without priority , It can be compatible with multiple hot codes 

Three different attempts

module top_module(
	// input clk,
    input in,
	// input rst_n,
    input  [9:0] state,
    output [9:0] next_state,
    output out1,
    output out2);
    
	localparam 	s0 = 10'b0000_0001,
				s1 = 10'b0000_0010,
				s2 = 10'b0000_0100,
				s3 = 10'b0000_1000,
				s4 = 10'b0001_0000,
				s5 = 10'b0010_0000,
				s6 = 10'b0100_0000,
				s7 = 10'b1000_0000,
				s8 = 10'b1_0000_0000,
				s9 = 10'b10_0000_0000,
				idle = 10'b0;
	
	// nodefine
	//  All the wrong inputs fall into idle
	// # Hint: Output 'next_state' has 1157 mismatches. First mismatch occurred at time 1120.
	// # Hint: Output 'out1' has 724 mismatches. First mismatch occurred at time 1120.
	// # Hint: Output 'out2' has 744 mismatches. First mismatch occurred at time 1120.
	// # Hint: Total mismatched samples is 1157 out of 1422 samples

	// `define CUSTOM
	//  Wrong input with priority , Lower priority higher , Be exclusive 
	// # Hint: Output 'next_state' has 922 mismatches. First mismatch occurred at time 1125.
	// # Hint: Output 'out1' has no mismatches.
	// # Hint: Output 'out2' has no mismatches.
	// # Hint: Total mismatched samples is 922 out of 1422 samples

	`define FINAL
	//  Unique hot code without priority , It can be compatible with multiple hot codes 
	
	`ifdef CUSTOM
		[email protected](*)begin
			casez(state)
				10'bzz_zzzz_zzz1:next_state = in? s1:s0;
				10'bzz_zzzz_zz10:next_state = in? s2:s0;
				10'bzz_zzzz_z100:next_state = in? s3:s0;
				10'bzz_zzzz_1000:next_state = in? s4:s0;
				10'bzz_zzz1_0000:next_state = in? s5:s0;
				10'bzz_zz10_0000:next_state = in? s6:s8;
				10'bzz_z100_0000:next_state = in? s7:s9;
				10'bzz_1000_0000:next_state = in? s7:s0;
				10'bz1_0000_0000:next_state = in? s1:s0;
				10'b10_0000_0000:next_state = in? s1:s0;
				default:next_state = idle;
			endcase
		end
	`elsif FINAL
		assign next_state[0] = ~in && (state[0]|state[1]|state[2]|state[3]|state[4]|state[7]|state[8]|state[9]) ;
		assign next_state[1] = in && (state[8]|state[9]|state[0]);
		assign next_state[2] = in && state[1];
		assign next_state[3] = in && state[2];
		assign next_state[4] = in && state[3];
		assign next_state[5] = in && state[4];
		assign next_state[6] = in && state[5];
		assign next_state[7] = in && (state[6]|state[7]) ;
		assign next_state[8] = ~in && state[5] ;
		assign next_state[9] = ~in && state[6] ;
	`else
		always @(*) begin
			case (state)
				s0:
					if(in)
						next_state <= s1;
					else
						next_state <= s0;
				s1:
					if(in)
						next_state <= s2;
					else
						next_state <= s0;
				s2:
					if(in)
						next_state <= s3;
					else
						next_state <= s0;
				s3:
					if(in)
						next_state <= s4;
					else
						next_state <= s0;
				s4:
					if(in)
						next_state <= s5;
					else
						next_state <= s0;
				s5:
					if(in)
						next_state <= s6;
					else
						next_state <= s8;
				s6:
					if(in)
						next_state <= s7;
					else
						next_state <= s9;
				s7:
					if(in)
						next_state <= s7;
					else
						next_state <= s0;
				s8:
					if(in)
						next_state <= s1;
					else
						next_state <= s0;
				s9:
					if(in)
						next_state <= s1;
					else
						next_state <= s0;
				
				default: 
					next_state <= idle;
			endcase
		end
	`endif

	// assign next_state = next_state;

`ifdef CUSTOM
	assign out1 = state[8] | state[9];
    assign out2 = state[7] | state[9];
`elsif FINAL
	assign out1 = state[8] | state[9];
    assign out2 = state[7] | state[9];
`else
	assign out1 = (state == s8 || state == s9);

	assign out2 = (state == s9 || state == s7);

`endif

endmodule

Reference