# Entrada comprovada pelo cabeçalho PS-X EXE.
0x80101008

# Micro-lote S1-01: callback exato confirmado pelo Ghidra, por duas chamadas
# calculadas e por 3.993.141 dispatches no cenário P1 (p1-run-02).
0x80197B88

# Micro-lote S1-02: função folha exata confirmada pelo Ghidra, com 45 chamadas
# diretas de 17 funções e 139.128 dispatches no cenário P1 (p1-run-03).
0x8019CE70

# Micro-lote S1-03: função folha exata confirmada pelo Ghidra, com 16 chamadas
# diretas de 12 funções e 277.352 dispatches no cenário P1 (p1-run-05).
0x8019E440

# Micro-lote S1-04: função folha GTE confirmada pelo Ghidra, com 68 chamadas
# diretas de 44 funções e 107.264 dispatches na janela P1 (p1-run-06).
0x8019CA30

# Micro-lote S1-05: função folha GTE confirmada pelo Ghidra, com 19 chamadas
# diretas de 6 funções e 103.187 dispatches na janela P1 (p1-run-07).
0x8019DA70

# Micro-lote S1-06: função folha aritmética confirmada pelo Ghidra, com 65
# chamadas diretas de 50 funções e 109.261 dispatches na janela P1 (p1-run-08).
0x8019EFD0

# Micro-lote S1-07: função folha GTE confirmada pelo Ghidra, com uma chamada
# direta conhecida e 102.608 dispatches na janela P1 (p1-run-09).
0x8010EE58

# Micro-lote S1-08: função folha GTE confirmada pelo Ghidra, com 13 chamadas
# diretas de 7 funções e 57.638 dispatches na janela P1 (p1-run-10).
0x8019CD60

# Micro-lote S1-09: função exata com frame confirmada pelo Ghidra, com 90
# chamadas diretas de 46 funções e 68.823 dispatches na janela P1 (p1-run-11).
# Seu fluxo direto também alcança o helper exato 0x8019C0F4.
0x8019C0B8

# Micro-lote S1-10: função recursiva exata com frame confirmada pelo Ghidra e
# 47.862 dispatches na janela P1 (p1-run-12). Seu fluxo direto também alcança
# a função folha exata 0x8019D610.
0x8010BC10

# Micro-lote S1-11: função folha aritmética confirmada pelo Ghidra, com 89
# chamadas diretas de 45 funções e 45.232 dispatches na janela P1 (p1-run-13).
0x8019C184

# Micro-lote S1-12: função recursiva exata com frame confirmada pelo Ghidra e
# 47.214 dispatches na janela P1 (p1-run-14). Suas chamadas não recursivas
# alcançam somente funções já estáticas.
0x8010C0E4

# Micro-lote S1-13: função folha aritmética confirmada pelo Ghidra, com 32
# chamadas diretas de 27 funções e 43.597 dispatches na janela P1 (p1-run-15).
0x8019E1B0

# Micro-lote S1-14: função folha GTE exata confirmada pelo Ghidra, com uma
# chamada direta conhecida e 41.200 dispatches na janela P1 (p1-run-16).
0x8010D1E8

# Micro-lote S1-15: função folha GTE exata com frame de 8 bytes, confirmada pelo
# Ghidra, com 4 chamadas diretas de 3 funções e 41.715 dispatches na janela P1
# (p1-run-17).
0x80121454

# Micro-lote S1-16: função folha aritmética exata confirmada pelo Ghidra, com
# 233 chamadas diretas de 71 funções e 41.218 dispatches na janela P1
# (p1-run-19).
0x801938B0

# Micro-lote S1-17: primeiro destino formal da tabela 0x801B30F0, função
# recursiva exata com frame de 40 bytes e 35.310 novas observações na janela P1
# (p1-run-20). Seu fluxo direto alcança somente os helpers folha exatos
# 0x80158F58 e 0x801592AC.
0x80158634

# Micro-lote S1-18: função folha GTE exata de 268 bytes, com 10 chamadas
# diretas de 7 funções e 19.126 novas observações na janela P1 (p1-run-21).
# Não usa stack, não chama outras funções e não contém branch ou salto indireto.
0x8019D3A0

# Micro-lote S1-19 aprovado: função GTE exata de 756 bytes, com frame próprio
# de 40 bytes, 11 chamadas diretas vindas de 8 funções e 22.210 novas
# observações na janela P1 (p1-run-22). Suas 6 chamadas de saída alcançam
# somente funções já estáticas; não contém transferência indireta. Aprovado em
# p1-run-23 sem regressões.
0x8015AFEC

# Micro-lote S1-20 aprovado: função folha aritmética exata de 652 bytes, com
# 30 chamadas diretas vindas de 23 funções e 16.443 novas observações na janela
# P1 (p1-run-23). Não usa stack, não chama outras funções e não contém COP0,
# COP2, BREAK, SYSCALL ou transferência indireta. Aprovado em p1-run-24 sem
# regressões; emissão F 8019DF20 / R 8019DF20 28C.
0x8019DF20

# Micro-lote S1-21 aprovado: função folha GTE exata de 188 bytes, com duas
# chamadas diretas vindas de duas funções formais e 14.874 novas observações na
# janela P1 (p1-run-24-final). Não usa stack, não chama outras funções e não
# contém COP0, BREAK, SYSCALL ou transferência indireta. Aprovado em p1-run-25
# sem regressões; emissão F 8019CBBC / R 8019CBBC BC.
0x8019CBBC

# Micro-lote S1-22 aprovado: função exata de 184 bytes com frame próprio de
# 64 bytes, três chamadas diretas de entrada e 13.280 novas observações na
# janela P1 (p1-run-25). Suas três chamadas de saída alcançam somente funções
# já estáticas; não contém COP0, COP2, BREAK, SYSCALL ou transferência indireta.
# Aprovado em p1-run-26 sem regressões; emissão F 8019AC90 / R 8019AC90 B8.
0x8019AC90

# Micro-lote S1-23 aprovado: função folha aritmética exata de 292 bytes, com
# sete chamadas diretas de entrada e 14.545 novas observações na janela P1
# (p1-run-26). Não usa stack, não chama outras funções e não contém branch,
# COP0, COP2, BREAK, SYSCALL ou transferência indireta. Aprovado em p1-run-27
# sem regressões; emissão F 8019D270 / R 8019D270 124.
0x8019D270

# Micro-lote S1-24 aprovado: função aritmética exata de 184 bytes, com frame
# próprio de 32 bytes, quatro chamadas diretas de entrada e 16.756 novas
# observações na janela P1 (p1-run-27). Suas duas chamadas de saída alcançam
# somente 0x8019CA30, já estática; não contém branch condicional, COP0, COP2,
# BREAK, SYSCALL ou transferência indireta. Aprovado em p1-run-28, com repetição
# de telemetria em p1-run-30 sem regressões; emissão F 80121338 / R 80121338 B8.
0x80121338

# Micro-lote S1-25 aprovado: função folha GTE exata de 24 bytes, com oito
# chamadas diretas vindas de quatro funções formais e deltas recorrentes de
# 10.728/9.022 observações em p1-run-28/p1-run-30. Não usa stack, não chama
# outras funções e não contém branch condicional, COP0, BREAK, SYSCALL ou
# transferência indireta. Aprovado em p1-run-31 sem regressões; emissão
# F 8019DB50 / R 8019DB50 18.
0x8019DB50

# Micro-lote S1-26 aprovado em p1-run-32: função folha aritmética exata de 332 bytes, com
# uma chamada direta e 10.994 novas observações em p1-run-31. Usa somente a
# área ABI do caller em sp+0x10..sp+0x18 para receber argumentos adicionais;
# não cria frame, não chama outras funções e não contém COP0, COP2, BREAK,
# SYSCALL ou transferência indireta. O manifesto e o gate dinâmico confirmaram
# a promoção sem regressão reportada.
0x8019A9D8

# Micro-lote S1-27 preparado: função formal exata de 408 bytes, chamada
# diretamente por FUN_801226E8. Possui frame próprio de 64 bytes, uma única
# chamada de saída para 0x80121338 (já estática), seis branches condicionais,
# dois saltos internos e retorno único. Fronteiras auditadas em 0x80122168 e
# 0x80122304; vet_seeds.py ACCEPT. Manifesto e gate p1-run-33 aprovados.
0x8012216C

# Micro-lote S1-28 aprovado em p1-run-34: raiz formal exata de 716 bytes, com frame proprio
# de 40 bytes e duas chamadas diretas vindas de FUN_80152624. Seu fechamento
# direto inclui somente FUN_8015B2E0 e FUN_8015BB48; os tres corpos totalizam
# 615 palavras, retornos unicos e nenhuma transferencia indireta. A projecao e
# 11.361 palavras (5,8088%); manifesto, gate e teste manual aprovados.
0x8015A96C

# Micro-lote S1-29 aprovado em p1-run-35: função formal exata de 52 bytes, com frame de
# 24 bytes e nove chamadas diretas de entrada. Chama somente o stub BIOS
# 0x8019325C, já estático e já contabilizado nas 59 fronteiras indiretas. Possui
# retorno único e dois delay slots auditados. O controle A/B p1-run-37 confirmou
# que a faixa de 37–38 FPS independe desta seed. Manifesto e gate aprovados.
0x80101668

# Micro-lote S1-30 aprovado em p1-run-38: leaf GTE formal exata de 24 bytes. Cinco callers
# diretos chegam de FUN_8019BAAC e FUN_8019C904. O corpo possui mtc2, dois NOPs
# de latencia, mfc2, retorno unico e NOP no delay slot; nao ha frame, chamadas,
# branches internos ou transferencia indireta alem do retorno. O WARN de funcao
# frameless foi resolvido pela auditoria completa do Ghidra. Manifesto e gate aprovados.
0x8019DA54

# Micro-lote S1-31 aprovado em p1-run-39: funcao folha formal exata de 100 bytes. Duas
# chamadas diretas chegam de FUN_80121554, que possui frame proprio de 80 bytes.
# O corpo tem quatro branches diretos internos, retorno unico e cinco delay
# slots auditados; nao ha frame proprio, chamada de saida, referencia externa
# para o interior ou transferencia indireta alem de jr ra. O WARN de funcao
# frameless foi resolvido pela auditoria completa do Ghidra.
0x801213F0

# Micro-lote S1-32 aprovado em p1-run-40: funcao folha formal exata de 76 bytes. Uma chamada
# direta chega de FUN_80196C18, que possui frame proprio de 64 bytes; quatro
# referencias PARAM carregam a entrada como argumento a partir de uma tabela,
# sem entrar no corpo. Nao ha stack, branches, chamadas de saida, referencias
# externas para o interior ou transferencia indireta alem de jr ra. O WARN de
# funcao frameless foi resolvido pela auditoria completa do Ghidra.
0x801973C0

# Micro-lote S1-33 aprovado em p1-run-41: funcao formal exata de 412 bytes, com frame proprio
# de 48 bytes e duas chamadas diretas consecutivas vindas de FUN_80125E64 para
# objetos distintos. Suas seis chamadas de saida alcancam somente 0x8015AFEC,
# 0x8019C0B8, 0x8019C184 e 0x8019EFD0, todos ja estaticos. O corpo possui seis
# branches condicionais, tres saltos internos, retorno unico e 16 delay slots
# auditados; nao ha referencia externa para o interior nem transferencia
# indireta alem de jr ra.
0x8012AA74

# Micro-lote S1-34 aprovado em p1-run-42: funcao folha formal exata de 308 bytes, chamada
# diretamente uma vez por FUN_801157A4 e duas vezes por FUN_801228D0. Nao usa
# stack, nao chama outras funcoes e possui 12 branches condicionais internos,
# retorno unico e 13 delay slots auditados. A fronteira anterior termina com
# jr ra e addiu v0,a0,1 no delay slot; nao ha referencia externa para o interior
# nem transferencia indireta alem de jr ra. O WARN frameless foi resolvido pela
# auditoria completa do Ghidra.
0x80120F58

# Micro-lote S1-35 aprovado em p1-run-43: funcao folha formal exata de 136 bytes, chamada
# diretamente por FUN_801597A4. Nao usa stack, nao chama outras funcoes e
# possui quatro branches condicionais, dois saltos internos, retorno unico e
# sete delay slots auditados. As fronteiras adjacentes terminam/comecam em
# 0x8015D1AC/0x8015D238; nao ha referencia externa para o interior nem
# transferencia indireta alem de jr ra. O WARN frameless foi resolvido pela
# auditoria completa do Ghidra.
0x8015D1B0

# Micro-lote S1-36 aprovado em p1-run-44: leaf GTE formal exata de 80 bytes, chamada
# diretamente por FUN_8010B7F0 e FUN_8010BD20. Nao usa stack, nao chama outras
# funcoes e nao possui branches; executa somente cargas, operacoes COP2, retorno
# unico e NOP no delay slot. A funcao anterior termina em 0x8019D5B8, seguida
# por um NOP de alinhamento em 0x8019D5BC, e a proxima comeca em 0x8019D610.
# Nao ha referencia externa para o interior nem transferencia indireta alem de
# jr ra. O WARN frameless foi resolvido pela auditoria completa do Ghidra.
0x8019D5C0

# Micro-lote S1-37 aprovado após p1-run-45 e repetição p1-run-46: raiz formal
# 0x8012E3E8, referenciada por dados em
# 0x801B1BCC e com frame de 24 bytes. Seu fechamento direto exato inclui
# 0x8012E43C, 0x8012E47C, 0x8012E6EC e 0x80125154, totalizando 369 palavras
# novas. Os cinco corpos possuem retorno unico e delay slots auditados; nao ha
# referencia externa para interiores, jalr, salto calculado ou nova fronteira
# indireta. vet_seeds retorna ACCEPT para a raiz. A emissão, o manifesto e as
# coletas confirmaram o fechamento sem misses; a repetição normalizada ficou
# dentro do limiar de 5%, sem regressões e a 39-40 FPS.
0x8012E3E8

# Micro-lote S1-38 aprovado apos p1-run-47 e repeticao p1-run-48: funcao formal
# 0x8018EE1C..0x8018F10B, 752 bytes,
# frame de 32 bytes, duas chamadas diretas de entrada vindas de FUN_8018EDDC,
# retorno unico e 42 delay slots auditados. As seis chamadas de saida atingem
# somente 0x80193A18 e 0x80125154, ja estaticas. Nao ha referencia externa para
# interiores, jalr, fluxo computado ou nova transferencia indireta.
0x8018EE1C

# Micro-lote S1-39 aprovado apos p1-run-49 e repeticao p1-run-50: funcao formal
# 0x80121930..0x80121B2F, 512 bytes,
# frame de 96 bytes e uma chamada direta de entrada vinda de FUN_801226E8.
# Possui retorno unico, sete branches, dois saltos diretos e onze delay slots.
# A unica chamada de saida atinge 0x80121338, ja estatica. Nao ha referencia externa para
# interiores, jalr, fluxo computado ou nova transferencia indireta.
0x80121930

# Micro-lote S1-40 aprovado apos p1-run-51: funcao formal 0x80152994..0x80152A37, 164 bytes
# e 41 palavras. Uma chamada direta chega de FUN_80152624 em 0x801526C0, com
# move a0,s0 no delay slot. O corpo frameless e folha possui retorno unico, dois
# branches, um salto direto, quatro delay slots e zero referencia externa para
# interiores, chamada de saida, jalr ou fluxo computado.
0x80152994

# Micro-lote S1-41 aprovado apos p1-run-52: funcao formal 0x8012BD3C..0x8012BF17, 476 bytes
# e 119 palavras. Uma chamada direta chega de FUN_8012BF88 em 0x8012C268, com
# NOP no delay slot. O corpo possui frame de 48 bytes, retorno unico, duas
# branches, um salto direto, sete calls para helpers ja estaticos e onze delay
# slots. Nao ha referencia externa para interiores, jalr, fluxo computado ou
# nova transferencia indireta.
0x8012BD3C

# Micro-lote S1-42 aprovado apos p1-run-53: funcao formal 0x8012AE6C..0x8012AF8F, 292 bytes
# e 73 palavras. Nove chamadas diretas chegam de cinco funcoes formais. O corpo
# frameless e folha possui retorno unico, 14 branches, dois saltos diretos e 17
# delay slots. Le o quinto e o sexto argumentos na area ABI do caller e possui
# seis BREAK de protecao aritmetica; os cinco callers formais tem frames de 56 a
# 80 bytes. Nao ha chamada de saida, referencia externa para interiores, jalr,
# fluxo computado ou nova transferencia indireta.
0x8012AE6C

# Micro-lote S1-43 aprovado apos p1-run-54: funcao formal 0x801597A4..0x80159E43, 1696 bytes
# e 424 palavras. Duas chamadas diretas chegam de FUN_80150A78, com move a0,s0
# e move a0,s1 nos delay slots. O corpo possui frame de 24 bytes, retorno unico,
# uma call de saida para 0x8015D1B0 ja estatica e 45 delay slots. Nao ha
# referencia externa para interiores, BREAK, SYSCALL, COP0, COP2, jalr, fluxo
# computado ou nova transferencia indireta.
0x801597A4

# Micro-lote S1-44 aprovado apos p1-run-55: funcao formal 0x80197334..0x8019735B, 40 bytes
# e 10 palavras. Cinco chamadas calculadas resolvidas pelo Ghidra e uma
# referencia de dados chegam somente a entrada. O corpo frameless e folha tem
# retorno unico, um delay slot e zero branch, chamada de saida, referencia
# externa para interior, jalr ou fluxo computado interno.
0x80197334

# Micro-lote S1-45 aprovado apos p1-run-56: funcao
# formal 0x801936A4..0x8019370B, 104 bytes e 26 palavras. FUN_801935EC
# materializa a entrada exata e a grava como callback em 0x801C05CC; o callback
# vizinho 0x8019370C e gravado separadamente. O corpo folha possui frame de 16
# bytes, retorno unico, duas branches e tres delay slots. Nao ha chamada de
# saida, referencia externa para interiores, BREAK, SYSCALL, COP0, COP2, jalr,
# fluxo computado ou nova transferencia indireta.
0x801936A4

# Micro-lote S1-46 aprovado em p1-run-57: funcao
# formal 0x80159E90..0x80159F17, 136 bytes e 34 palavras. Vinte chamadas
# diretas chegam somente a entrada e seus delay slots foram auditados. O corpo
# possui frame de 24 bytes, retorno unico, duas calls para 0x8019C0B8 e
# 0x8019C184, ambas ja estaticas, e tres delay slots. Nao ha branch, referencia
# externa para interiores, BREAK, SYSCALL, COP0, COP2, jalr, fluxo computado ou
# nova transferencia indireta.
0x80159E90

# Micro-lote S1-47 aprovado em p1-run-58: raiz
# formal 0x80103A74..0x80103AAB, 56 bytes e 14 palavras, com frame de 24 bytes,
# duas chamadas diretas de entrada e retorno unico. Seu fechamento direto inclui
# 0x801038B4, 0x80103AAC, 0x80103B1C, 0x80103CA8, 0x80125024 e 0x801938F0,
# totalizando 333 palavras novas. Os sete corpos possuem retornos e delay slots
# auditados; nao ha referencia externa para interiores, BREAK, SYSCALL, COP0,
# COP2, jalr, fluxo computado ou nova transferencia indireta.
0x80103A74

# Micro-lote S1-48 aprovado em p1-run-59: raiz formal 0x801216F4..0x8012192F, 572 bytes
# e 143 palavras, com frame de 104 bytes, quatro callers diretos, 16
# transferencias e retorno unico. Seu fechamento direto inclui somente
# 0x8012108C..0x801212DB, 592 bytes e 148 palavras, com frame de 40 bytes,
# duas calls para 0x8019CA30 ja estatica, 19 transferencias e retorno unico.
# Nao ha entrada externa em interiores, jalr, fluxo computado ou nova indireta;
# os BREAK da helper sao guardas de divisao cobertos pelo tratamento geral.
0x801216F4

# Micro-lote S1-49 aprovado em p1-run-60: raiz formal 0x80121554..0x801216F3, 416 bytes
# e 104 palavras, com frame de 80 bytes, um caller direto, 13 transferencias e
# retorno unico. Suas quatro calls de saida alcancam somente 0x801213F0 e
# 0x80121454, ambas ja estaticas. Nao ha entrada externa em interiores, jalr,
# fluxo computado, COP0, COP2 ou nova transferencia indireta.
0x80121554

# Micro-lote S1-50 aprovado em p1-run-61: raiz formal 0x8012BF88..0x8012C287, 768 bytes
# e 192 palavras, com frame de 32 bytes, cinco callers diretos, 24
# transferencias e retorno unico. Suas sete calls de saida alcancam somente
# 0x8019CA30, 0x8019EFD0, 0x8019C0B8, 0x8019C184 e 0x8012BD3C, todas ja
# estaticas. Nao ha entrada externa em interiores, jalr, fluxo computado,
# COP0, COP2 ou nova transferencia indireta.
0x8012BF88

# Micro-lote S1-51 aprovado em p1-run-62: raiz formal 0x8015B77C..0x8015BB47, 972 bytes
# e 243 palavras, com frame de 40 bytes, um caller direto, 26 transferencias e
# retorno unico. Suas treze calls de saida alcancam somente 0x8019EFD0,
# 0x8019C0B8, 0x8019C184, 0x8019CA30 e 0x8012BF88, todas ja estaticas. Nao ha
# entrada externa em interiores, jalr, fluxo computado, COP0, COP2 ou nova
# transferencia indireta.
0x8015B77C

# Micro-lote S1-52 aprovado em p1-run-63: raiz formal 0x80110E58..0x80110FFF, 420 bytes
# e 105 palavras, folha frameless com dois callers diretos, tres transferencias
# e retorno unico. Seus dois loops usam somente branches locais, e ela nao faz
# calls. Nao ha entrada externa em interiores, jalr, fluxo computado, COP0,
# COP2 ou nova transferencia indireta; o WARN do vet para ausencia de frame foi
# conferido nos dois callers e no corpo integral.
0x80110E58

# Micro-lote S1-53 aprovado em p1-run-64: raiz formal 0x8012B070..0x8012B2E7, 632 bytes
# e 158 palavras, com frame de 40 bytes, um caller direto, 14 transferencias e
# retorno unico. Suas nove calls de saida alcancam somente 0x8019C0B8,
# 0x8019EFD0, 0x8019C184 e 0x8019CA30, todas ja estaticas. Nao ha entrada
# externa em interiores, jalr, fluxo computado, COP0, COP2 ou nova transferencia
# indireta.
0x8012B070

# Micro-lote S1-54 aprovado em p1-run-65: raiz formal 0x8012B2E8..0x8012B42B, 324 bytes
# e 81 palavras, com frame de 56 bytes, um caller direto, sete transferencias e
# retorno unico. Suas tres calls de saida alcancam somente 0x8019C0B8,
# 0x8019C184 e 0x8019CA30, todas ja estaticas. Nao ha entrada externa em
# interiores, jalr, fluxo computado, COP0, COP2 ou nova transferencia indireta.
0x8012B2E8

# Micro-lote S1-55 aprovado em p1-run-66: raiz formal 0x8012AC10..0x8012ACF7, 232 bytes
# e 58 palavras, folha frameless com nove callers diretos, dez transferencias e
# retorno unico. Nao faz calls; nao ha entrada externa em interiores, jalr,
# fluxo computado, COP0, COP2 ou nova transferencia indireta. Seus seis BREAK
# sao guardas de divisao cobertos pelo tratamento geral do runtime; o WARN do
# vet para ausencia de frame foi conferido no corpo e nos callers.
0x8012AC10

# Micro-lote S1-56 aprovado em p1-run-67: raiz formal 0x8012ACF8..0x8012AD9B, 164 bytes
# e 41 palavras, folha frameless com tres callers diretos, onze transferencias
# e retorno unico. Nao faz calls; nao ha entrada externa em interiores, jalr,
# fluxo computado, COP0, COP2 ou nova transferencia indireta. Seus dois BREAK
# sao guardas de divisao cobertos pelo tratamento geral do runtime; o WARN do
# vet para ausencia de frame foi conferido no corpo e nos callers.
0x8012ACF8

# Micro-lote S1-57 aprovado em p1-run-68: raiz formal 0x80101A8C..0x80101AF3, 104 bytes
# e 26 palavras, folha frameless com um caller direto, tres branches locais e
# retorno unico. Nao faz calls; nao ha entrada externa em interiores, jalr,
# fluxo computado, COP0, COP2 ou nova transferencia indireta. Os quatro delay
# slots, incluindo o incremento em 0x80101AE8, foram auditados no corpo.
0x80101A8C

# Micro-lote S1-58 aprovado em p1-run-70: raiz formal 0x801088F8..0x8010897B, 132 bytes
# e 33 palavras, folha frameless com um caller direto, cinco branches locais e
# retorno unico. Nao faz calls; nao ha entrada externa em interiores, jalr,
# fluxo computado, COP0, COP2 ou nova transferencia indireta. Todos os seis
# delay slots de transferencia foram auditados no corpo e no caller.
0x801088F8

# Micro-lote S1-59 aprovado em p1-run-71: raiz formal 0x8019C7B0..0x8019C903, 340 bytes
# e 85 palavras, folha com dois callers diretos, dez transferencias locais e
# retorno unico. Nao faz calls; nao ha entrada externa em interiores, jalr,
# fluxo computado, COP0, COP2 ou nova transferencia indireta. Todos os onze
# delay slots foram auditados, incluindo stores e calculos em slots de salto.
0x8019C7B0

# Micro-lote S1-60 aprovado em p1-run-72: raiz formal 0x80159FD8..0x8015A07F, 168 bytes
# e 42 palavras, folha frameless com dezoito callers diretos, tres branches,
# um salto local e retorno unico. Nao faz calls; nao ha entrada externa em
# interiores, jalr, fluxo computado, COP0, COP2 ou nova transferencia indireta.
# Todos os delay slots do corpo e dos callers foram auditados.
0x80159FD8

# Micro-lote S1-61 aprovado em p1-run-73: raiz formal 0x801948DC..0x80194903, 40 bytes e
# 10 palavras, folha frameless com 153 callers diretos, duas branches, um salto
# local e retorno unico. Nao faz calls; nao ha entrada externa em interiores,
# jalr, fluxo computado, COP0, COP2 ou nova transferencia indireta. Os oito
# padroes de delay slot dos callers e todos os slots do corpo foram auditados.
0x801948DC

# Micro-lote S1-62 aprovado em p1-run-74: raiz formal 0x801170D8..0x801171B3, 220 bytes
# e 55 palavras, folha frameless com cinco callers diretos, seis branches, um
# salto local e retorno unico. Nao faz calls; nao ha entrada externa em
# interiores, jalr, fluxo computado, COP0, COP2 ou nova transferencia indireta.
# Todos os delay slots do corpo e dos callers foram auditados.
0x801170D8

# Micro-lote S1-63 aprovado em p1-run-75: raiz formal 0x8012AD9C..0x8012AE6B, 208 bytes e
# 52 palavras, folha frameless com nove callers diretos. Le os argumentos cinco
# e seis em 16(sp)/20(sp), gravados por todos os callers auditados; possui duas
# divisoes assinadas e quatro BREAK de guarda (divisor zero/INT_MIN/-1), quatorze
# transferencias diretas e retorno unico. Nao faz calls; nao ha entrada externa
# em interiores, jalr, fluxo computado, COP0, COP2 ou nova transferencia indireta.
# Todos os delay slots do corpo e dos callers foram auditados.
0x8012AD9C

# Micro-lote S1-64 aprovado em p1-run-76: raiz formal 0x8012B9C4..0x8012BAA7, 228 bytes e
# 57 palavras, com frame de 32 bytes e vinte e tres callers diretos. Faz duas
# chamadas diretas a helpers GTE existentes, tres transferencias diretas e
# retorno unico; o corpo nao contem branch, jalr, fluxo computado, COP0 ou COP2.
# As escritas em 0x1F8001xx sao MMIO de GTE; todos os delay slots do corpo e
# dos callers foram auditados como NOP, store ou preparacao de argumento.
0x8012B9C4

# Micro-lote S1-65 aprovado em p1-run-77: raiz formal 0x8015D474..0x8015D493, 32 bytes e
# 8 palavras, folha frameless com doze callers diretos. Le 16(a0), compara dois
# bits e retorna booleano em v0; nao faz calls, branches, jalr, fluxo computado,
# COP0 ou COP2. O unico retorno e seu delay slot foram auditados, assim como os
# slots dos callers, que preservam ou carregam a0 e nao introduzem fluxo indireto.
0x8015D474

# Micro-lote S1-66 aprovado em p1-run-79: raiz formal 0x8015A080..0x8015A09F,
# 32 bytes e 8 palavras, folha frameless com quinze callers diretos. Possui um
# bgtz e retorno unico; nao faz calls e nao contem jalr, fluxo computado, COP0
# ou COP2. Os dois delay slots do corpo foram auditados; todos os callers
# carregam a0 = s0 no proprio delay slot antes da entrada.
0x8015A080

# Micro-lote S1-67 aprovado em p1-run-80: raiz formal 0x8015A0A0..0x8015A0E7, 72 bytes e
# 18 palavras, folha frameless com nove callers diretos. Le dois pares de
# campos halfword, compara o bit 0x8000 e zera campos derivados quando os bits
# divergem. Possui dois branches locais e retorno unico; nao faz calls e nao
# contem jalr, fluxo computado, COP0 ou COP2. Os tres delay slots do corpo sao
# NOP; todos os callers carregam a0 = s0 no delay slot antes da entrada.
0x8015A0A0

# Micro-lote S1-68 aprovado em p1-run-81: raiz formal 0x8010C4AC..0x8010C4E7, 60 bytes e
# 15 palavras, folha GTE com um caller direto. Carrega tres registradores GTE,
# executa um comando, grava o resultado e itera por a3; nao faz calls e nao
# contem jalr ou fluxo computado. Nao ha referencias indiretas ou entradas em
# interiores. Os delay slots do branch e do retorno sao NOP; o caller inicializa
# a3 = 0x79 no proprio delay slot antes da entrada.
0x8010C4AC

# Micro-lote S1-69 aprovado em p1-run-82: raiz formal 0x8019DE84..0x8019DE9F, 28 bytes e
# 7 palavras, folha GTE com dois call sites no mesmo caller. Carrega tres
# registradores GTE, executa um comando e retorna; nao faz calls, branches,
# jalr ou fluxo computado. Nao ha referencias indiretas ou entradas em
# interiores. O delay slot do retorno e NOP; os callers preparam a0 antes da
# chamada e a1 = s2 + 0x28/0x30 no proprio delay slot.
0x8019DE84

# Micro-lote S1-70 aprovado em p1-run-83: raiz formal 0x80194954..0x80194967, 20 bytes e
# 5 palavras, folha com nove call sites diretos. Grava 6 e 0x30 nos offsets 3
# e 7 de a0; nao faz calls, branches, jalr, fluxo computado, COP0 ou COP2.
# Nao ha referencias indiretas ou entradas em interiores. O store final esta no
# delay slot do retorno; os callers preparam a0 antes da entrada ou no slot.
0x80194954

# Micro-lote S1-71 aprovado em p1-run-84: raiz formal 0x80167D28..0x80167D37, 16 bytes e
# 4 palavras, folha com 27 call sites diretos. Grava a1, a2 e a3 como
# halfwords em a0+0/2/4; nao faz calls, branches, jalr, fluxo computado, COP0
# ou COP2. Nao ha referencias indiretas ou entradas em interiores. A ultima
# escrita esta no delay slot do retorno; argumentos foram auditados nos callers.
0x80167D28

# Micro-lote S1-72 aprovado em p1-run-85: raiz formal 0x8015D368..0x8015D3A7, 64 bytes e
# 16 palavras, folha com tres callers diretos. Possui bgtz, bltz, salto local
# e retorno unico; limpa campos de a0 e retorna um booleano. Nao faz calls,
# jalr, fluxo computado, COP0 ou COP2 e nao ha referencias indiretas ou
# entradas em interiores. Todos os delay slots, inclusive o sb do salto local,
# foram auditados; callers carregam a0 = s0 no proprio delay slot.
0x8015D368

# Micro-lote S1-73 aprovado em p1-run-86: raiz formal 0x80159F3C..0x80159FD7, 156 bytes e
# 39 palavras, com 26 call sites diretos. Recombina campos de a0 e faz uma
# unica chamada direta a 0x80159E90, helper ja estatico e aprovado. Nao possui
# branches, jalr, fluxo computado, COP0 ou COP2; nao ha referencias indiretas
# nem entradas em interiores. Retorno e todos os delay slots foram auditados,
# inclusive o store no delay da chamada.
0x80159F3C

# Micro-lote S1-74 aprovado em p1-run-87: raiz formal 0x80194828..0x80194863, 60 bytes e
# 15 palavras, folha com 17 call sites diretos. Combina campos de a0 e a1 por
# mascaras complementares e grava os resultados; nao faz calls, branches, jalr,
# fluxo computado, COP0 ou COP2. Nao ha referencias indiretas ou entradas em
# interiores. O store final esta no delay slot do retorno; callers e slots foram
# auditados.
0x80194828

# Micro-lote S1-75 aprovado em p1-run-88: raiz formal 0x8019497C..0x8019498F, 20 bytes e
# 5 palavras, folha com 28 call sites diretos. Grava 5 e 0x28 nos offsets 3 e
# 7 de a0; nao faz calls, branches, jalr, fluxo computado, COP0 ou COP2. Nao ha
# referencias indiretas ou entradas em interiores. O store final esta no delay
# slot do retorno; todos os callers e slots de entrada foram auditados.
0x8019497C

# Micro-lote S1-76 aprovado em p1-run-89: raiz formal 0x8015D3F0..0x8015D43F, 80 bytes e
# 20 palavras, folha com 16 call sites diretos. Consulta uma tabela indexada por
# a1, compara o valor com a2, limpa campos de a0 quando necessario e retorna um
# booleano. Possui dois branches locais e retorno unico; nao faz calls, jalr,
# fluxo computado, COP0 ou COP2. Nao ha referencias indiretas nem entradas em
# interiores; corpo, delay slots e argumentos dos callers foram auditados.
0x8015D3F0

# Micro-lote S1-77 aprovado em p1-run-90: raiz formal 0x80120F34..0x80120F57, 36 bytes e
# 9 palavras, folha com dois call sites diretos. Varre bytes em a0 de tres em
# tres ate encontrar 0xFF e retorna v0 = 1. Possui um branch e salto local de
# laco; nao faz calls, jalr, fluxo computado, COP0 ou COP2. Nao ha referencias
# indiretas ou entradas em interiores. Todos os delay slots foram auditados,
# inclusive v0 = 1 no delay slot do retorno.
0x80120F34

# Micro-lote S1-78 aprovado em p1-run-91: raiz formal 0x80194990..0x801949A3, 20 bytes e
# 5 palavras, folha com 112 call sites diretos. Grava 9 e 0x2C nos offsets 3 e
# 7 de a0; nao faz calls, branches, jalr, fluxo computado, COP0 ou COP2. Nao ha
# referencias indiretas ou entradas em interiores. O store final esta no delay
# slot do retorno; os padroes de preparacao de a0 nos callers foram auditados.
0x80194990

# Micro-lote S1-79 aprovado em p1-run-92: raiz formal 0x80194A58..0x80194A6B,
# 20 bytes e 5 palavras, folha com seis call sites diretos. Grava 3 e 0x40 nos
# offsets 3 e 7 de a0; nao faz calls, branches, jalr, fluxo computado, COP0 ou
# COP2. Nao ha referencias indiretas ou entradas em interiores. O store final
# esta no delay slot do retorno; todos os callers e slots foram auditados.
0x80194A58

# Micro-lote S1-80 aprovado em p1-run-93: raiz formal 0x80194A6C..0x80194A7F,
# 20 bytes e 5 palavras, folha com tres call sites diretos. Grava 4 e 0x50 nos
# offsets 3 e 7 de a0; nao faz calls, branches, jalr, fluxo computado, COP0 ou
# COP2. Nao ha referencias indiretas ou entradas em interiores. O store final
# esta no delay slot do retorno; todos os callers e slots foram auditados.
0x80194A6C

# Micro-lote S1-81 aprovado em p1-run-94: raiz formal 0x80194A44..0x80194A57,
# 20 bytes e 5 palavras, folha com 29 call sites diretos. Grava 3 e 0x60 nos
# offsets 3 e 7 de a0; nao faz calls, branches, jalr, fluxo computado, COP0 ou
# COP2. Nao ha referencias indiretas ou entradas em interiores. O store final
# esta no delay slot do retorno; todos os callers e slots foram auditados.
0x80194A44

# Micro-lote S1-82 aprovado em p1-run-95: raiz formal 0x80159F18..0x80159F3B,
# 36 bytes e 9 palavras, folha com 29 call sites diretos. Zera oito campos de
# a0 nos offsets 0x28, 0x2C, 0x30, 0x34, 0x38, 0x3C, 0x40 e 0x44; nao faz
# calls, branches, jalr, fluxo computado, COP0 ou COP2. Nao ha referencias
# indiretas ou entradas em interiores. O store final esta no delay slot do
# retorno; todos os callers e slots foram auditados.
0x80159F18

# Micro-lote S1-83 aprovado em p1-run-96: raiz formal 0x80123910..0x8012398B,
# 124 bytes e 31 palavras, folha com 48 call sites diretos de 30 callers. Le e
# atualiza o contador global 0x801D3A04 por aritmetica inteira, com um branch
# local, retorno unico e dois delay slots. Nao faz calls, jalr, fluxo computado,
# COP0 ou COP2. Nao ha referencias indiretas ou entradas em interiores; todos
# os callers e slots foram auditados.
0x80123910

# Micro-lote S1-84 aprovado em p1-run-97: raiz formal 0x80123BA8..0x80123BF3,
# 76 bytes e 19 palavras, folha com 46 call sites diretos de 34 callers. Le e
# decrementa o contador global 0x801C2E20 quando positivo, atualiza o ponteiro
# global 0x801FB2B4 e retorna seu primeiro valor. Possui um branch e um salto
# local, retorno unico e dois delay slots; nao faz calls, jalr, fluxo computado,
# COP0 ou COP2. Nao ha referencias indiretas ou entradas em interiores.
0x80123BA8

# Micro-lote S1-85 aprovado em p1-run-98: raiz formal 0x80123BF4..0x80123C2B,
# 56 bytes e 14 palavras, folha com 23 call sites diretos. Inicializa o objeto
# em a0, incrementa o contador global 0x801C2E20, ajusta 0x801FB2B4 e insere o
# ponteiro. Possui retorno unico e store no delay slot; nao faz calls, branches,
# jalr, fluxo computado, COP0 ou COP2. Nao ha referencias indiretas ou entradas
# em interiores; todos os callers e slots foram auditados.
0x80123BF4

# Micro-lote S1-86 aprovado em p1-run-99: raiz formal 0x80123A94..0x80123ADF,
# 76 bytes e 19 palavras, folha com 40 call sites diretos. Le e decrementa o
# contador global 0x801D4E56 quando positivo, atualiza o ponteiro 0x801D3C80 e
# retorna seu primeiro valor. Possui um branch e um salto local, retorno unico e
# dois delay slots; nao faz calls, jalr, fluxo computado, COP0 ou COP2. Nao ha
# referencias indiretas ou entradas em interiores.
0x80123A94

# Micro-lote S1-87 aprovado em p1-run-100: raiz formal 0x80123AE0..0x80123B17,
# 56 bytes e 14 palavras, folha com 30 call sites diretos. Inicializa o objeto
# em a0, incrementa 0x801D4E56, ajusta 0x801D3C80 e insere o ponteiro. Possui
# retorno unico e store no delay slot; nao faz calls, branches, jalr, fluxo
# computado, COP0 ou COP2. Nao ha referencias indiretas ou entradas internas.
0x80123AE0

# Micro-lote S1-88 aprovado em p1-run-101: raiz formal 0x80123B18..0x80123BA7,
# 144 bytes e 36 palavras, com dois call sites diretos. Zera dezesseis blocos
# de 49 words a partir de 0x801D3D10, recompõe a lista global 0x801FB2B4 a
# partir de 0x801D19A8/0x801D488C e grava 0x10 em 0x801C2E20. Possui quatro
# branches de loops locais e retorno unico; nao faz calls, jalr, fluxo computado,
# COP0 ou COP2. Nao ha referencias indiretas ou entradas internas.
0x80123B18

# Micro-lote S1-89 aprovado em p1-run-102: raiz formal 0x80123A04..0x80123A93,
# 144 bytes e 36 palavras, com um call site direto. Zera dez blocos de 563
# words a partir de 0x801E3478, recompõe a lista global 0x801D3C80 a partir de
# 0x801D4E98/0x801F83A4 e grava 0xA em 0x801D4E56. Possui quatro branches de
# loops locais e retorno unico; nao faz calls, jalr, fluxo computado, COP0 ou
# COP2. Nao ha referencias indiretas ou entradas internas.
0x80123A04

# Micro-lote S1-90 aprovado em p1-run-103: raiz formal 0x80123C2C..0x80123CA7,
# 124 bytes e 31 palavras, com dois call sites diretos no mesmo caller; os delay
# slots passam a0=0 e a0=1. Calcula offsets a partir de a0, zera dois blocos de
# 1073 words por chamada e marca bytes em 0x801E0216. Possui dois branches de
# loops locais e retorno unico; nao faz calls, jalr, fluxo computado, COP0 ou
# COP2. Nao ha referencias indiretas ou entradas internas.
0x80123C2C

# Micro-lote S1-91 aprovado em p1-run-104: raiz formal 0x80123E08..0x80123E53,
# 76 bytes e 19 palavras, com dois call sites diretos. Implementa pop protegido
# por contador da lista global 0x801E346C: retorna zero se vazia ou o primeiro
# word do no removido; atualiza o contador 0x801FBC38. Possui um branch e salto
# local, retorno unico com nop no delay slot; nao faz calls, jalr, fluxo
# computado, COP0 ou COP2. Nao ha referencias indiretas ou entradas internas.
0x80123E08

# Micro-lote S1-92 aprovado em p1-run-105: raiz formal 0x80123D74..0x80123E07,
# 148 bytes e 37 palavras, com dois call sites diretos. Zera quatro blocos de
# 325 words a partir de 0x801D2040, recompõe a lista 0x801E346C a partir de
# 0x801FBCD8/0x801D2F7C e grava 4 em 0x801FBC38. Possui quatro branches de
# loops locais e retorno unico; nao faz calls, jalr, fluxo computado, COP0 ou
# COP2. Nao ha referencias indiretas ou entradas internas.
0x80123D74

# Micro-lote S1-93 aprovado em p1-run-106: raiz formal 0x801199C4..0x801199D7,
# 20 bytes e 5 palavras, folha com um call site direto. Move o primeiro word de
# a0 para 0(a1) e encadeia a1 em 0(a0); o caller carrega a0 da pilha e passa
# a1=s6 no delay slot da chamada. Nao faz calls, branches, jalr, fluxo computado,
# COP0 ou COP2. Nao ha referencias indiretas ou entradas internas; o store final
# esta no delay slot do retorno.
0x801199C4

# Micro-lote S1-94 aprovado em p1-run-107: raiz formal 0x801179C4..0x80117A0F,
# 76 bytes e 19 palavras, com um call site direto. Implementa pop protegido por
# contador da lista global 0x8002C870: retorna zero se vazia ou o primeiro word
# do no removido e atualiza 0x8002C82C. Possui um branch e salto local, retorno
# unico com nop no delay slot; nao faz calls, jalr, fluxo computado, COP0 ou COP2.
# Nao ha referencias indiretas ou entradas internas.
0x801179C4

# Micro-lote S1-95 aprovado em p1-run-108: raiz formal 0x80117A10..0x80117A43,
# 52 bytes e 13 palavras, com um call site direto. Insere a0 na lista global
# 0x8002C870, incrementa o contador 0x8002C82C e zera 0(a0). Nao faz calls,
# branches, jalr, fluxo computado, COP0 ou COP2. Nao ha referencias indiretas
# ou entradas internas; o store final esta no delay slot do retorno.
0x80117A10

# Micro-lote S1-96 aprovado em p1-run-111: raiz formal 0x80117950..0x801179C3,
# 116 bytes e 29 palavras, com um call site direto. Zera 16 blocos de 38 words
# a partir de 0x8001C874, recompõe a lista 0x8001C870 a partir de 0x8001D15C e
# grava 0x10 em 0x8001C82C. Possui quatro branches de loops locais; nao faz
# calls, jalr, fluxo computado, COP0 ou COP2. Nao ha referencias indiretas ou
# entradas internas; o store final esta no delay slot do retorno.
0x80117950

# Micro-lote S1-97 aprovado em p1-run-112: raiz formal 0x801154AC..0x801154EB,
# 64 bytes e 16 palavras, folha com dois call sites diretos. Resolve as bases
# 0x8004E800 e 0x80098200 e atualiza os quatro ponteiros globais em
# 0x801AFC48/4C/58/5C. Nao faz calls, branches, jalr, fluxo computado, COP0 ou
# COP2. Nao ha referencias indiretas ou entradas internas; retorno com nop.
0x801154AC

# Micro-lote S1-98 aprovado em p1-run-113: raiz formal 0x80115450..0x801154AB,
# 92 bytes e 23 palavras, folha com dois call sites diretos; o delay slot passa
# a0=0x80020800. Calcula tres bases a partir de 8/12/16(a0) e atualiza seis
# ponteiros globais em 0x801AFC48/4C/50/58/5C/60. Nao faz calls, branches, jalr,
# fluxo computado, COP0 ou COP2. Nao ha referencias indiretas ou entradas
# internas; retorno com nop.
0x80115450

# Micro-lote S1-99 aprovado em p1-run-114: raiz formal 0x801199A0..0x801199C3,
# 36 bytes e 9 palavras, com um call site direto. Remove o primeiro no da lista
# apontada por a0, atualiza 0(a0) e retorna o no em v0. Possui um branch local;
# nao faz calls, jalr, fluxo computado, COP0 ou COP2. Nao ha referencias indiretas
# ou entradas internas; addu v0,v1,zero esta no delay slot do retorno.
0x801199A0

# Micro-lote S1-100 aprovado em p1-run-115: raiz formal 0x80119174..0x8011919B,
# 40 bytes e 10 palavras, com tres call sites diretos. Remove o primeiro no da
# lista apontada por a0, grava 1 em 0x36(no), atualiza 0(a0) e retorna o no em
# v0. Possui um branch local; nao faz calls, jalr, fluxo computado, COP0 ou COP2.
# Nao ha referencias indiretas ou entradas internas; addu v0,a1,zero esta no
# delay slot do retorno.
0x80119174

# Micro-lote S1-101 aprovado em p1-run-117: raiz formal 0x8011919C..0x801191B3,
# 24 bytes e 6 palavras, com um call site direto. Move o primeiro word de a0
# para 0(a1), encadeia a1 em 0(a0) e zera o halfword 0x36(a1). Nao faz calls,
# branches, jalr, fluxo computado, COP0 ou COP2. Nao ha referencias indiretas ou
# entradas internas; o store final esta no delay slot do retorno.
0x8011919C

# Micro-lote S1-102 aprovado em p1-run-118: raiz formal 0x8011AAFC..0x8011AB47,
# 76 bytes e 19 palavras, com um call site direto. Implementa pop protegido por
# contador da lista global 0x8002C9B4: retorna zero se vazia ou o primeiro word
# do no removido e atualiza 0x8002C822. Possui um branch e salto local, retorno
# unico com nop; nao faz calls, jalr, fluxo computado, COP0 ou COP2. Nao ha
# referencias indiretas ou entradas internas.
0x8011AAFC

# Micro-lote S1-103 aprovado em p1-run-120: raiz formal 0x8011AB48..0x8011AB7B,
# 52 bytes e 13 palavras, com um call site direto. Insere a0 na lista global
# 0x8002C9B4, incrementa 0x8002C822 e zera 0(a0). Nao faz calls, branches,
# jalr, fluxo computado, COP0 ou COP2. Nao ha referencias indiretas ou entradas
# internas; o store final esta no delay slot do retorno.
0x8011AB48

# Micro-lote S1-104 aprovado em p1-run-121: raiz formal 0x8019D740..0x8019D76F,
# 48 bytes e 12 palavras, folha frameless com 65 call sites diretos em 37
# callers. Carrega cinco words de 0x00..0x10(a0) e os grava por CTC2 nos
# registradores de controle GTE 0..4. Nao faz calls, branches, jalr ou fluxo
# computado; possui retorno unico com nop no delay slot. Nao ha referencias
# indiretas ou entradas internas. Corpo, callers e respectivos delay slots
# foram auditados integralmente. Manifesto, telemetria e gate manual aprovados.
0x8019D740

# Micro-lote S1-105 aprovado em p1-run-122: raiz formal 0x8019D7D0..0x8019D7EF,
# 32 bytes e 8 palavras, folha frameless com 64 call sites diretos em 37
# callers. Carrega tres words de 0x14..0x1C(a0) e os grava por CTC2 nos
# registradores de controle GTE 5..7. Nao faz calls, branches, jalr ou fluxo
# computado; possui retorno unico com nop no delay slot. Nao ha referencias
# indiretas ou entradas internas. Corpo, callers e respectivos delay slots
# foram auditados integralmente. Manifesto, telemetria e gate manual aprovados.
0x8019D7D0

# Micro-lote S1-106 aprovado em p1-run-123: raiz formal 0x8019D770..0x8019D79F,
# 48 bytes e 12 palavras, folha frameless com nove call sites diretos em seis
# callers. Carrega cinco words de 0x00..0x10(a0) e os grava por CTC2 nos
# registradores de controle GTE 8..12. Nao faz calls, branches, jalr ou fluxo
# computado; possui retorno unico com nop no delay slot. Nao ha referencias
# indiretas ou entradas internas. Corpo, callers e respectivos delay slots
# foram auditados integralmente. Manifesto, telemetria e gate manual aprovados.
0x8019D770

# Micro-lote S1-107 aprovado em p1-run-124: raiz formal 0x8019C904..0x8019C99F,
# 156 bytes e 39 palavras, com sete call sites diretos de FUN_8019BAAC. Possui
# frame de 32 bytes, tres branches e tres saltos locais, e retorna zero para a0
# nulo ou o valor escalonado calculado. Chama somente 0x8019DA54 e 0x8019C7B0,
# ambas ja estaticas. Nao ha jalr, fluxo computado, referencias indiretas ou
# entradas internas; retornos e todos os delay slots foram auditados. Manifesto,
# telemetria e gate manual aprovados.
0x8019C904

# Micro-lote S1-108 aprovado em p1-run-125: raiz formal exata 0x8018CF48..0x8018CF4F,
# stub frameless de 8 bytes e 2 palavras, com um unico call site direto vindo
# de FUN_8018CEB0. O corpo e somente jr ra com nop no delay slot; nao faz
# chamadas, branches, jalr, fluxo computado, COP0 ou COP2. Nao ha referencias
# indiretas ou entradas internas. Corpo e caller foram auditados integralmente;
# manifesto, telemetria e gate manual aprovados.
0x8018CF48

# Micro-lote S1-109 aprovado em p1-run-126: raiz formal 0x8012B7A8..0x8012B86B,
# 196 bytes e 49 palavras, com 12 call sites diretos em seis callers. Possui
# frame de 32 bytes, duas branches e um salto local; calcula deltas quadráticos
# de campos de a0, chama somente 0x8019CA30 ja estatica e grava tres halfwords
# em a1, com clamp final de -0x180. Nao ha jalr, fluxo computado, referencias
# indiretas ou entradas internas. Corpo, callers e todos os delay slots foram
# auditados integralmente; manifesto, telemetria e gate manual aprovados.
0x8012B7A8

# Micro-lote S1-110 aprovado em p1-run-128: raiz formal 0x8018EDDC..0x8018EE1B,
# 64 bytes e 16 palavras, com um unico call site direto vindo de FUN_8010B464.
# Possui frame de 24 bytes e inicializa duas estruturas globais consecutivas
# chamando duas vezes somente 0x8018EE1C, ja estatica. Nao contem branches,
# jalr, fluxo computado, COP0, COP2, referencias indiretas ou entradas internas;
# retorno, caller e todos os delay slots foram auditados integralmente. Manifesto,
# telemetria e gate manual aprovados.
0x8018EDDC

# Micro-lote S1-111 aprovado em p1-run-129: raiz formal 0x801697AC..0x801698C3,
# 280 bytes e 70 palavras, com um unico call site direto vindo de FUN_801017F0.
# Possui frame de 24 bytes, sete branches locais, retorno unico e duas chamadas
# diretas somente para 0x801A2858, ja estatica. Nao ha jalr, fluxo computado,
# COP0, COP2, referencias indiretas ou entradas externas em interiores. Corpo,
# caller, retorno e os dez delay slots foram auditados integralmente; manifesto,
# telemetria e gate manual aprovados.
0x801697AC

# Micro-lote S1-112 aprovado em p1-run-130: raiz formal 0x80158194..0x801582B7,
# 292 bytes e 73 palavras, com um unico call site direto vindo de FUN_80160E84.
# Possui frame de 32 bytes, dez branches/saltos locais, retorno unico e uma
# chamada direta somente para 0x80123910, ja estatica. Os dois break protegem a
# divisao MIPS por zero/overflow. Nao ha jalr, fluxo computado, COP0, COP2,
# referencias indiretas ou entradas externas em interiores. Corpo, caller,
# retorno e os doze delay slots foram auditados; manifesto, telemetria e gate
# manual aprovados.
0x80158194

# Micro-lote S1-113 aprovado em p1-run-131: raiz formal 0x8011618C..0x80116763, 1496 bytes
# e 374 palavras, com 77 referencias externas somente para a entrada. O
# fechamento direto novo inclui 0x8011618C, 0x80116764, 0x80115574 e 0x80120E44:
# 1179 palavras, quatro retornos, 148 delay slots, 15 calls e 129 branches/
# saltos. Todas as chamadas saem apenas para o proprio fechamento ou helpers
# ja estaticos. Ha 16 operacoes COP2/GTE e doze divisoes com os 24 break de
# protecao MIPS esperados; nao ha jalr, fluxo computado, COP0, syscall ou
# referencia externa para interiores. Corpos, bytes, callers e delay slots
# foram auditados integralmente; manifesto, telemetria e gate manual aprovados.
0x8011618C

# Micro-lote S1-114 aprovado em p1-run-132: raiz formal
# 0x8015AC38..0x8015AFEB, 948 bytes e 237 palavras, com quatro callers externos
# somente para a entrada. Possui retorno unico, seis chamadas diretas apenas
# para 0x8019E440, 0x8019D610 e 0x8019E1B0, todos ja estaticos, tres branches
# locais e dez delay slots. O corpo executa operacoes GTE/COP2, sem jalr, fluxo
# computado, COP0, syscall, break, divisao, multiplicacao ou referencias
# externas para interiores. Corpo, bytes, callers e delay slots foram auditados
# integralmente; manifesto, telemetria e gate manual aprovados.
0x8015AC38

# Micro-lote S1-115 aprovado em p1-run-133: raiz formal
# 0x8012CFE8..0x8012DB4B, 2916 bytes e 729 palavras, com um caller externo
# somente para a entrada. Possui retorno unico, 17 chamadas diretas apenas para
# 0x8010C72C, 0x8019C0B8 e 0x8019C184, todos ja estaticos, 18 branches/saltos
# locais e 36 delay slots. O corpo usa GTE/COP2, duas divisoes com quatro break
# de protecao MIPS e 18 multiplicacoes; nao ha jalr, fluxo computado, COP0,
# syscall ou referencias externas para interiores. Corpo, bytes, caller e delay
# slots foram auditados integralmente; manifesto, telemetria e gate manual
# aprovados.
0x8012CFE8

# Micro-lote S1-116 aprovado em p1-run-134: raiz formal 0x8015A1D0..0x8015A427,
# 600 bytes e 150 palavras, com quatro callers externos somente para a entrada.
# Possui retorno unico, 11 chamadas diretas apenas para 0x8015AC38, 0x8015AFEC,
# 0x8019C0B8, 0x8019C184, 0x8019CA30 e 0x8019EFD0, todos ja estaticos,
# 13 branches/saltos locais e 25 delay slots. O corpo usa quatro multiplicacoes;
# nao ha jalr, fluxo computado, COP0/COP2, syscall, break, divisao ou referencia
# externa para interiores. Corpo, bytes, callers e delay slots foram auditados
# integralmente; manifesto, telemetria e gate manual aprovados.
0x8015A1D0

# Micro-lote S1-117 aprovado em p1-run-135: raiz formal 0x8015A180..0x8015A1CF,
# 80 bytes e 20 palavras, com vinte callers externos somente para a entrada.
# Possui frame de 24 bytes, retorno unico, um branch local, duas chamadas
# diretas apenas para 0x8015A1D0 e 0x80159E90, ambas ja estaticas, e quatro
# delay slots. Nao ha jalr, fluxo computado, COP0/COP2, syscall, break, divisao,
# multiplicacao ou referencia externa para interiores. Corpo, bytes, callers e
# delay slots foram auditados integralmente; manifesto, telemetria e gate manual
# aprovados.
0x8015A180

# Micro-lote S1-118 aprovado em p1-run-136: raiz formal
# 0x8012254C..0x801226E7, 412 bytes e 103 palavras, com um caller externo
# somente para a entrada. O fechamento direto inclui apenas o helper formal
# 0x80121B30..0x80121D6F, 576 bytes e 144 palavras, chamado duas vezes pela
# raiz; total de 988 bytes e 247 palavras. O fechamento possui dois retornos,
# cinco chamadas diretas apenas para 0x801216F4, 0x80121B30 e 0x80121338,
# todos internos ou ja estaticos, 19 branches/saltos e 26 delay slots. Nao ha
# jalr, fluxo computado, COP0/COP2, syscall, break, divisao, multiplicacao ou
# referencia externa para interiores. Corpos, bytes, caller, retornos e delay
# slots foram auditados integralmente; manifesto, telemetria e gate manual
# aprovados.
0x8012254C

# Micro-lote S1-119 aprovado em p1-run-137: raiz formal
# 0x80122404..0x8012254B, 328 bytes e 82 palavras, com um caller externo
# somente para a entrada. O fechamento direto inclui apenas o helper formal
# contiguo 0x80122304..0x80122403, 256 bytes e 64 palavras, chamado quatro
# vezes pela raiz; total de 584 bytes e 146 palavras. O fechamento possui dois
# retornos, seis chamadas diretas apenas para 0x80122304 e 0x8019CA30, interno
# ou ja estatico, 13 branches e 21 delay slots. O helper usa quatro
# multiplicacoes; nao ha jalr, fluxo computado, COP0/COP2, syscall, break,
# divisao ou referencia externa para interiores. Corpos, bytes, caller,
# retornos e delay slots foram auditados integralmente; manifesto, telemetria e
# gate manual aprovados.
0x80122404

# Micro-lote S1-120 aprovado em p1-run-138: raiz formal
# 0x801226E8..0x801228CF, 488 bytes e 122 palavras, com dois callers externos
# somente para a entrada. O fechamento direto inclui os helpers formais
# 0x80121D70..0x80121F2B, 444 bytes e 111 palavras, e
# 0x801212DC..0x80121337, 92 bytes e 23 palavras; total de 1024 bytes e 256
# palavras. O fechamento possui tres retornos, oito chamadas diretas apenas
# para os dois helpers ou para funcoes ja estaticas, 19 branches/saltos e 30
# delay slots, alem de duas multiplicacoes. Nao ha jalr, fluxo computado,
# COP0/COP2, syscall, break, divisao ou referencia externa para interiores.
# Corpos, bytes, callers, retornos e delay slots foram auditados integralmente;
# manifesto, telemetria e gate manual aprovados.
0x801226E8

# Micro-lote S1-121 aprovado em p1-run-139: raiz formal
# 0x80121F2C..0x8012216B, 576 bytes e 144 palavras, com dois callers externos
# somente para a entrada. O fechamento direto inclui 0x801690D4, 0x801A3154,
# 0x801A6590, 0x801A48B4, 0x801A53E4, 0x801A52E8 e 0x801A59C4; total de
# 5424 bytes e 1356 palavras em oito funcoes. A closure possui oito retornos,
# onze chamadas diretas apenas internas ou para funcoes ja estaticas, 73
# branches/saltos e 92 delay slots. Ha 31 mult, 21 multu e duas divisoes com
# quatro break de protecao MIPS; nao ha jalr, fluxo computado, COP0/COP2,
# syscall ou referencia externa para interiores. Corpos, bytes, callers,
# retornos e delay slots foram auditados integralmente; manifesto,
# telemetria e gate manual aprovados.
0x80121F2C

# Micro-lote S1-122 aprovado em p1-run-140: raiz formal
# 0x801148F4..0x80114E23, 1328 bytes e 332 palavras, com dois callers
# externos somente para a entrada. O fechamento direto inclui o helper formal
# 0x8011488C..0x801148F3, 104 bytes e 26 palavras; total de 1432 bytes e 358
# palavras. A closure possui dois retornos, oito chamadas diretas apenas para
# 0x8010C72C, 0x80123BA8 e 0x801690D4, ja estaticas, 21 branches/saltos e 31
# delay slots. Ha uma multiplicacao sem divisao ou break; nao ha jalr, fluxo
# computado, COP0/COP2, syscall ou referencia externa para interiores. Corpos,
# bytes, callers, retornos e delay slots foram auditados integralmente;
# manifesto, telemetria e gate manual aprovados.
0x801148F4

# Micro-lote S1-123 aprovado em p1-run-141: raiz formal
# 0x801228D0..0x80122AC7, 504 bytes e 126 palavras, com um caller externo
# somente para a entrada e delay slot nop. Possui retorno unico, oito chamadas
# diretas apenas para 0x80120F58, 0x80122404, 0x8012254C, 0x80121F2C e
# 0x801226E8, todas ja estaticas, 12 branches locais e 21 delay slots. Nao ha
# jalr, fluxo computado, COP0/COP2, syscall, break, divisao, multiplicacao ou
# referencia externa para interiores. Corpo, bytes, caller, retorno e delay
# slots foram auditados integralmente; manifesto, telemetria e gate manual
# aprovados.
0x801228D0

# Micro-lote S1-124 aprovado em p1-run-142: callback formal
# 0x80196B30..0x80196C17, 232 bytes e 58 palavras. O Ghidra confirma chamada
# calculada somente para a entrada em 0x80195908, com alvo inicial exato na
# tabela estatica e delay slot addu a1,s1,zero, alem de uma referencia de dados
# para a entrada; nao ha referencias externas para interiores. Possui retorno
# unico, duas chamadas diretas apenas para 0x80197CD0 e 0x80197D04, ambas ja
# estaticas, tres branches locais e seis delay slots. Nao ha jalr interno,
# fluxo computado interno, COP0/COP2, syscall, break, divisao ou multiplicacao.
# Corpo, bytes, caller indireto, retorno e delay slots foram auditados
# integralmente; manifesto, telemetria e gate manual aprovados.
0x80196B30

# Micro-lote S1-125 aprovado em p1-run-143: funcao formal
# 0x80111BB8..0x80111CFF, 328 bytes e 82 palavras, com um caller externo
# somente para a entrada em 0x80111D14; nao ha referencias externas para
# interiores. Possui retorno unico, duas chamadas diretas apenas para
# 0x8019DF20 e 0x8019DA70, ambas ja estaticas, e tres delay slots. O corpo
# carrega oito registradores de controle GTE por ctc2, sem jalr, fluxo
# computado, COP0, syscall, break, divisao ou multiplicacao. Corpo, bytes,
# caller, retorno e delay slots foram auditados integralmente; manifesto,
# telemetria e gate manual aprovados.
0x80111BB8

# Micro-lote S1-126 aprovado em p1-run-144: raiz formal
# 0x80111D00..0x80111DBB, 188 bytes e 47 palavras, com cinco callers externos
# somente para a entrada. O fechamento direto inclui o helper formal
# 0x801118C4..0x80111AB3, 496 bytes e 124 palavras; total de 684 bytes e 171
# palavras. O helper salva e restaura ra e s0-s6 no frame de scratchpad em
# 0x1F800100. A closure possui dois retornos, tres chamadas diretas apenas para
# 0x80111BB8, 0x801118C4 e 0x8010C72C, internas ou ja estaticas, onze saltos
# locais e 16 delay slots. Nao ha jalr, fluxo computado, COP0/COP2, syscall,
# break, divisao, multiplicacao ou referencia externa para interiores. Corpos,
# bytes, callers, retornos e delay slots foram auditados integralmente;
# manifesto, telemetria e gate manual aprovados.
0x80111D00

# Micro-lote S1-127 aprovado em p1-run-145: funcao formal
# 0x801945F8..0x801946C7, 208 bytes e 52 palavras, com 144 callers externos
# somente para a entrada e nenhuma referencia externa para interiores. O corpo
# possui um retorno, duas chamadas diretas apenas para 0x8019528C ja estatica,
# tres saltos locais e seis delay slots. Nao ha jalr, fluxo computado,
# COP0/COP2, syscall, break, divisao ou multiplicacao. Corpo, bytes, callers,
# retorno e delay slots foram auditados integralmente; manifesto, telemetria e
# gate manual aprovados.
0x801945F8

# Micro-lote S1-128 aprovado em p1-run-146: funcao formal
# 0x8012B8F4..0x8012B9C3, 208 bytes e 52 palavras, com 27 callers externos
# somente para a entrada e nenhuma referencia externa para interiores. O corpo
# possui um retorno, quatro chamadas diretas apenas para 0x8019CA30 e
# 0x8019EFD0 ja estaticas, quatro pares mult/mflo, nenhum salto local e cinco
# delay slots. Nao ha jalr, fluxo computado, COP0/COP2, syscall, break ou
# divisao. Corpo, bytes, callers, retorno, mult/mflo e delay slots foram
# auditados integralmente; manifesto, telemetria e gate manual aprovados.
0x8012B8F4

# Micro-lote S1-129 aprovado em p1-run-147: funcao formal
# 0x8015A0E8..0x8015A17F, 152 bytes e 38 palavras, com nove callers externos
# somente para a entrada e nenhuma referencia externa para interiores. O corpo
# possui um retorno, tres chamadas diretas apenas para 0x8011618C, 0x80159E90
# e 0x80159F3C, todas ja estaticas, um salto local e cinco delay slots. Nao ha
# jalr, fluxo computado, COP0/COP2, syscall, break, divisao ou multiplicacao.
# Corpo, bytes, callers, retorno e delay slots foram auditados integralmente;
# manifesto, telemetria e gate manual aprovados.
0x8015A0E8

# Micro-lote S1-130 aprovado em p1-run-148: funcao formal
# 0x801154EC..0x80115523, 56 bytes e 14 palavras, com 27 callers externos
# somente para a entrada e nenhuma referencia externa para interiores. O corpo
# possui um retorno, duas chamadas diretas apenas para 0x80115574 e 0x8011618C,
# ambas ja estaticas, nenhum salto local e tres delay slots. Nao ha jalr, fluxo
# computado, COP0/COP2, syscall, break, divisao ou multiplicacao. Corpo, bytes,
# callers, retorno e delay slots foram auditados integralmente; manifesto,
# telemetria e gate manual aprovados.
0x801154EC

# Micro-lote S1-131 aprovado em p1-run-149: funcao formal leaf frameless
# 0x8015040C..0x8015046F, 100 bytes e 25 palavras, com dois callers externos
# somente para a entrada e nenhuma referencia externa para interiores. O corpo
# e linear, sem chamadas ou saltos locais, com retorno unico e delay slot nop.
# O WARN do vet_seeds e explicado pela folha sem frame. Nao ha jalr, fluxo
# computado, COP0/COP2, syscall, break, divisao ou multiplicacao. Corpo, bytes,
# callers, retorno e delay slot foram auditados integralmente; manifesto,
# telemetria e gate manual aprovados.
0x8015040C

# Micro-lote S1-132 aprovado em p1-run-152: funcao formal leaf frameless
# 0x801582E4..0x8015830B, 40 bytes e 10 palavras, com tres callers externos
# somente para a entrada e nenhuma referencia externa para interiores. O corpo
# classifica bits de a0 com dois branches locais e um salto direto, possui
# retorno unico e quatro delay slots. As duas referencias do host 0x8015830C
# sao jal diretos para esta entrada; a funcao nao tem jalr ou fluxo computado.
# O WARN do vet_seeds e explicado pela folha sem frame. Nao ha COP0/COP2,
# syscall, break, divisao ou multiplicacao. Corpo, bytes, callers, retorno e
# delay slots foram auditados integralmente; manifesto, telemetria e gate manual
# aprovados.
0x801582E4

# Micro-lote S1-133 aprovado em p1-run-153: funcao formal leaf frameless
# 0x801326B4..0x801329C3, 784 bytes e 196 palavras. O unico caller externo e
# o jal direto em 0x8013265C, somente para a entrada; nenhuma referencia chega
# a interiores. O corpo possui retorno unico, cinco branches condicionais,
# dois saltos diretos e oito delay slots, todos internos ou auditados. Nao ha
# calls de saida, jalr, fluxo computado, COP0/COP2, syscall, break, divisao ou
# multiplicacao. O WARN do vet_seeds e explicado pela folha sem frame, que nao
# usa sp. Corpo, bytes, caller, retorno e delay slots foram auditados
# integralmente; manifesto, telemetria e gate manual aprovados.
0x801326B4

# Micro-lote S1-134 aprovado em p1-run-154: callback formal 0x80132600
# na tabela iniciada em 0x801B1BC0. A entrada exata ocupa 0x801B1BEC e e
# chamada por jalr v0 em 0x8012CD40, com a0 preparado no delay slot. Nao ha
# referencias externas para interiores. A raiz 0x80132600..0x8013269B possui
# frame proprio, retorno unico, tres calls diretas, nove saltos e 13 delay
# slots. O fechamento novo inclui somente 0x8013269C..0x801326B3; as outras
# saidas, 0x801326B4 e 0x80123BF4, ja sao estaticas. A closure soma 45 palavras,
# dois retornos e 14 delay slots, sem jalr interno, fluxo computado, COP0/COP2,
# syscall, break, divisao ou multiplicacao. Corpo, bytes, tabela, caller
# indireto, retornos e slots foram auditados. Manifesto, telemetria e gate
# manual aprovados.
0x80132600

# Micro-lote S1-135 aprovado em p1-run-155: callback formal 0x80139F54
# na entrada exata 0x801B1B34 da tabela 0x801B1B20. FUN_8012CC70 percorre dez
# objetos em 0x801E3478, usa o byte +2 como indice e chama jalr v0 em
# 0x8012CCC0, com move a0,s0 no delay slot. Nenhuma referencia externa chega
# a interiores. A closure nova e 0x80139F54..0x8013A7F7: tres funcoes, 553
# palavras, tres retornos, 37 delay slots, 12 calls diretas e 22 saltos, sem
# fluxo computado interno, syscall, break ou divisao. As sete saidas unicas ja
# sao estaticas. 0x8013A128 contem COP2/GTE auditado (24 ctc2, 20 mtc2, 18
# mfc2, oito lwc2, nove swc2 e 11 comandos cop2) e tres mult; todos permanecem
# dentro do corpo formal. Bytes, tabela, caller indireto, corpos, retornos,
# slots e calls foram auditados; manifesto, telemetria e gate manual aprovados.
0x80139F54

# Micro-lote S1-136 aprovado em p1-run-156: callback formal 0x8013A7F8
# na entrada exata 0x801B1B38 (indice 6) da tabela 0x801B1B20. FUN_8012CC70
# percorre dez objetos em 0x801E3478, usa o byte +2 como indice e chama jalr
# v0 em 0x8012CCC0, com move a0,s0 no delay slot. Nenhuma referencia externa
# chega a interiores. A closure nova e 0x8013A7F8..0x8013B06F: tres funcoes,
# 542 palavras, tres retornos, 53 delay slots, 17 calls diretas e 33 saltos,
# sem fluxo computado interno, COP0/COP2, syscall, break, multiplicacao ou
# divisao. As seis saidas unicas (0x8010C72C, 0x80123AE0, 0x801945F8,
# 0x801946C8, 0x80194904 e 0x80194990) ja sao estaticas. Bytes, tabela,
# caller indireto, corpos, retornos, slots e calls foram auditados; manifesto,
# telemetria e gate manual aprovados.
0x8013A7F8

# Micro-lote S1-137 aprovado em p1-run-157: callback formal 0x8012CD70
# na entrada exata 0x801B1BC0 (indice 0) da tabela. FUN_8012CCF0 percorre 16
# objetos em 0x801D3D10, stride 0xC4, usa o byte +2 como indice e chama jalr
# v0 em 0x8012CD40, com move a0,s0 no delay slot. Nenhuma referencia externa
# chega a interiores. A closure nova e 0x8012CD70..0x8012CFE7: duas funcoes,
# 158 palavras, dois retornos, 29 delay slots, oito calls diretas e 19 saltos,
# sem fluxo computado interno, COP0/COP2, syscall, break, multiplicacao ou
# divisao. As sete saidas unicas ja sao estaticas (0x80123BF4, 0x8012CFE8,
# 0x801945F8, 0x801946C8, 0x801948DC, 0x80194904 e 0x80194990). Bytes, tabela,
# caller indireto, corpos, retornos, slots e calls foram auditados; manifesto,
# telemetria e gate manual aprovados.
0x8012CD70

# Micro-lote S1-138 aprovado em p1-run-158: funcao formal
# 0x80150520..0x80150807, 744 bytes e 186 palavras, com dois callers externos
# somente para a entrada (0x8010B6B4 e 0x8016E700). Possui retorno unico,
# quatro calls diretas, cinco branches locais e dez delay slots; as tres saidas
# unicas (0x8019CA30, 0x8019E1B0 e 0x8019EFD0) ja sao estaticas. O corpo contem
# cinco ctc2, dois lwc2, um comando COP2/GTE, tres swc2 e cinco mult, todos
# auditados; nao ha jalr, fluxo computado, COP0, syscall, break, divisao ou
# referencia externa para interiores. Manifesto, telemetria e gate manual
# aprovados; sem misses na seed, abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo.
0x80150520

# Micro-lote S1-139 aprovado em p1-run-159: funcao formal
# 0x8011A528..0x8011A8DB, 948 bytes e 237 palavras, com um caller externo
# somente para a entrada em 0x80119DF4 e clear s3 no delay slot. Possui frame
# proprio de 0x28, retorno unico, quatro calls diretas, onze branches/saltos e
# dezesseis delay slots. As quatro saidas (0x8010C72C, 0x8019D740, 0x8019D7D0
# e 0x8019E1B0) ja sao estaticas. O corpo contem dois lwc2, um comando COP2/GTE,
# um swc2 e dois mult, todos auditados; nao ha jalr, fluxo computado, COP0,
# syscall, break, divisao ou referencia externa para interiores. Manifesto,
# telemetria e gate manual aprovados; sem misses na seed, abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo.
0x8011A528

# Micro-lote S1-140 aprovado em p1-run-161: funcao formal
# 0x8010B7F0..0x8010BC0F, 1056 bytes e 264 palavras, com cinco callers diretos
# somente para a entrada; os delay slots carregam a3 com s0+0x172C ou s0+0x204.
# Possui frame proprio de 0x38, retorno unico, vinte calls diretas, duas branches
# e vinte e tres delay slots. Os sete alvos distintos (0x8019E440, 0x8019CD60,
# 0x8019D610, 0x8019D5C0, 0x8019CE70, 0x8019E1B0 e 0x8010BC10) ja sao
# estaticos. Nao ha referencia externa para interiores, jalr, fluxo computado,
# COP0/COP2, syscall, break, multiplicacao ou divisao. Manifesto, telemetria e
# gate manual aprovados; sem misses na seed, abort, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo.
0x8010B7F0

# Micro-lote S1-141 aprovado em p1-run-162: closure direta formal
# 0x80113564..0x8011488B, quatro funcoes contiguas e 1226 palavras: 369 em
# 0x80113564, 84 em 0x80113B28, 383 em 0x80113C78 e 390 em 0x80114274.
# A raiz tem um caller direto somente para a entrada em 0x8010B68C, com nop no
# delay slot. Seu prologo ocorre apos quatro loads globais: reserva frame de
# 0x20 em 0x80113574 e salva ra em sp+0x1C; as demais entradas sao chamadas
# apenas pela raiz e tambem possuem frames proprios. A closure tem
# quatro retornos, 39 calls diretas, 84 branches/saltos e 127 delay slots. Todos
# os branches ficam no proprio corpo e os destinos externos (0x801148F4,
# 0x8010C72C, 0x80193A18 e 0x80125154) ja sao estaticos. Nao ha referencia para
# interiores, jalr, fluxo computado, COP0/COP2, syscall, break ou div; o unico
# multu, em 0x80113BA8, usa multiplicador constante e e seguido por mfhi.
# Manifesto, telemetria e gate manual aprovados; sem misses em toda a closure,
# abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch
# nativo.
0x80113564

# Micro-lote S1-142 aprovado em p1-run-163: closure direta formal de quatro
# funcoes, com 209 palavras: 88 em 0x8010A0AC, 78 em 0x8016F3AC, 31 em
# 0x8016F4E4 e 12 em 0x80187E4C. A raiz tem um caller externo somente para a
# entrada em 0x80103E40, com nop no delay slot. Seu prologo ocorre apos dois
# loads globais: reserva frame de 0x18 em 0x8010A0B4 e salva ra em sp+0x10 no
# delay slot de 0x8010A0B8. A closure tem quatro retornos, cinco calls diretas,
# 24 branches/saltos e 33 delay slots. As dezoito calls externas para as quatro
# funcoes atingem somente entradas formais e seus delay slots foram auditados;
# nao ha referencia externa para interiores. Nao ha jalr, fluxo computado,
# COP0/COP2, syscall, break ou div; o unico multu, em 0x8016F41C, usa uma
# constante e e seguido por mfhi. `p1-run-163` confirmou F/R 160, 138, 7C e 30,
# respectivamente; 24.943/195.584 palavras (12,7531%) e 59 transferencias
# indiretas. Manifesto, telemetria e gate manual aprovados; sem misses em toda a
# closure, abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou
# dispatch nativo.
0x8010A0AC

# Micro-lote S1-143 aprovado em p1-run-164: callback formal 0x80145D30 na
# entrada exata 0x801B1B80 (indice 24) da tabela 0x801B1B20. FUN_8012CC70
# percorre dez objetos em 0x801E3478, usa o byte +2 como indice e chama jalr v0
# em 0x8012CCC0, com move a0,s0 no delay slot. A closure nova e contigua,
# 0x80145D30..0x80146B73: tres funcoes, 913 palavras, tres retornos, 23 calls
# diretas, 54 branches/saltos e 80 delay slots. Os 13 destinos externos ja sao
# estaticos e nenhuma referencia externa chega a interiores. Nao ha fluxo
# computado interno, COP0, syscall, break ou div. 0x80146094 contem 12 lwc2,
# dez swc2, seis comandos COP2 e quatro mult, todos auditados dentro do corpo.
# Manifesto: 25.856/195.584 palavras (13,2199%), 3.947 blocos, 790 calls, 269
# alvos, 1.563 branches, 3.158 delay slots e 59 indiretas. Paginação modified
# completa sem misses na closure; zero abort/bloqueio/divergencia/mismatch/
# invalidação/revalidação/dispatch nativo; guard_yield=1 já presente no before.
# Gate manual aprovado: sem regressões em gameplay, áudio, música, modelos 3D ou
# texturas; FPS 47-48.
0x80145D30

# Micro-lote S1-144 aprovado em p1-run-165: callback formal 0x80127A38 na
# celula 0x801B03A8, indice 11 da tabela 0x801B037C. FUN_80125E1C chama a tabela
# em jalr v0 (0x80125E4C), com nop no delay slot; FUN_80125E64 valida indice
# menor que 0x23 e chama em 0x801262A0, tambem com nop no slot. A closure direta
# tem oito funcoes e 447 palavras: 0x80126560 (24), 0x801265C0 (21), 0x80126614
# (153), 0x80127A38 (21), 0x80127A8C (22), 0x80127AE4 (89), 0x8012BAA8
# (55) e 0x8012BB84 (62). Sao oito retornos, 23 calls diretas, 17 branches,
# quatro jumps e 52 delay slots; nao ha fluxo computado interno ou referencias
# externas para interiores. Os quatro mult ficam em 0x8012BAA8; nao ha div,
# break, syscall, COP0 ou COP2. Manifesto: 26.303/195.584 palavras (13,4484%),
# 4.002 blocos, 813 calls, 282 alvos, 1.580 branches, 3.210 delay slots e 59
# indiretas. Paginação modified completa sem misses na closure; zero
# abort/bloqueio/divergencia/mismatch/invalidação/revalidação/dispatch nativo;
# guard_yield=1 já presente no before. Gate manual aprovado: sem regressões em
# gameplay, áudio, música, modelos 3D ou texturas; FPS 46-48.
0x80127A38

# Micro-lote S1-145 aprovado em p1-run-166: callback formal 0x801383BC nas
# celulas 0x801B1B20/24/28/3C/84, indices 0, 1, 2, 7 e 25 da tabela
# 0x801B1B20. FUN_8012CC70 usa o byte +2 como indice e chama jalr v0 em
# 0x8012CCC0, com move a0,s0 no delay slot. A closure tem tres funcoes e 745
# palavras: 0x801383BC (38), 0x80138454 (78) e 0x8013858C (629). Sao tres
# retornos, 14 calls diretas, 22 branches, dez jumps diretos e 49 delay slots;
# nao ha transferencia indireta interna ou referencia externa para interiores.
# O corpo de 0x8013858C contem seis mult e 108 instrucoes da interface COP2/GTE;
# nao ha div, break, syscall ou COP0. Projecao: 27.048/195.584 palavras
# (13,8294%), 4.057 blocos, 827 calls, 285 alvos, 1.602 branches, 3.259 delay
# slots e 59 indiretas. Paginação modified completa sem misses na closure;
# zero abort/bloqueio/divergencia/mismatch/invalidação/revalidação/dispatch nativo;
# guard_yield=1 já presente no before. Gate manual aprovado: sem regressões em
# gameplay, áudio, música, modelos 3D ou texturas; FPS 47-49.
0x801383BC

# Micro-lote S1-146 aprovado em p1-run-167: raiz formal 0x8013E764..
# 0x8013E92F, 460 bytes e 115 palavras. Dois call sites diretos em
# FUN_8013D58C (0x8013DF84 e 0x8013E100), ambos na entrada exata, preparam
# a0/a2 antes do jal e a1 no delay slot. A funcao e folha, tem retorno unico,
# dois branches e tres delay slots; nao ha chamadas de saida, jalr, fluxo
# computado, COP0/COP2, syscall, break ou divisao. Os 19 mult sao inteiros e
# foram auditados com as leituras subsequentes de LO; nao ha referencias
# exportadas do Ghidra para interiores. Manifesto: 27.163/195.584 palavras
# (13,8882%), 4.062 blocos, 827 calls, 285 alvos, 1.604 branches, 3.262 delay
# slots e 59 indiretas. Paginação modified completa sem misses na seed; zero
# abort/bloqueio/divergencia/mismatch/invalidação/revalidação/dispatch nativo;
# guard_yield=1 já presente no before. Gate manual aprovado: sem regressões em
# gameplay, áudio, música, modelos 3D ou texturas; FPS 46-48.
0x8013E764

# Micro-lote S1-147 aprovado em p1-run-168: raiz formal 0x8015D8E4..
# 0x8015DAB7, 468 bytes e 117 palavras. Sete call sites diretos atingem somente
# a entrada: 0x80153578, 0x80153770, 0x80156A14, 0x80156A64, 0x80156BE4,
# 0x801572E4 e 0x8015DAC4. Nos seis primeiros, move a0,s0 ocupa o delay slot;
# no ultimo, move s0,a0 preserva o argumento sem altera-lo. A raiz tem frame
# proprio de 0x30, retorno unico, dez branches, uma call direta e doze delay
# slots. A unica saida, 0x8019CA30, ja e estatica. Nao ha referencia externa
# para interiores, jalr, fluxo computado, COP0/COP2, syscall, break ou divisao;
# os dois mult sao seguidos por mflo. Manifesto: 27.280/195.584 palavras
# (13,9480%), 4.076 blocos, 828 calls, 285 alvos, 1.614 branches, 3.274 delay
# slots e 59 indiretas. Paginacao modified completa sem misses na seed; zero
# abort/bloqueio/divergencia/mismatch/invalidacao/revalidacao/dispatch nativo;
# guard_yield=1 ja presente no before. Gate manual aprovado: sem regressoes em
# gameplay, audio, musica, modelos 3D ou texturas; FPS 46-48.
0x8015D8E4

# Micro-lote S1-148 aprovado em p1-run-169: raiz formal 0x8016A828..
# 0x8016A84B, 36 bytes e 9 palavras. Os dois call sites diretos pertencem a
# FUN_8016A84C e atingem somente a entrada exata: 0x8016AA14 usa clear a0 no
# delay slot, e 0x8016AA4C usa li a0,1. A raiz e folha frameless, tem retorno
# unico em 0x8016A844 e uma unica delay slot, que normaliza v0 com sltu. Nao ha
# calls de saida, branches condicionais, jalr, fluxo computado, COP0/COP2,
# syscall, break, multiplicacao ou divisao. A varredura integral encontrou
# somente os dois jal para a entrada, nenhuma transferencia para interiores e
# nenhum literal de 32 bits apontando para o corpo. SHA-256 dos 36 bytes:
# bb270b30d537b7d30395f1467a986a540e78584e6a90aadf3ba8d8ff06093e05.
# Manifesto: 27.289/195.584 palavras (13,9526%), 4.077 blocos, 828 calls, 285
# alvos, 1.614 branches, 3.275 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 46-48.
0x8016A828

# Micro-lote S1-149 aprovado em p1-run-170: raiz formal 0x80194940..
# 0x80194953, 20 bytes e 5 palavras. Tres call sites diretos atingem somente a
# entrada: 0x80119240 tem move a0,s0 no delay slot; 0x80164608 tem move a0,s2;
# e 0x80164658 incrementa s0, preservando o a0 preparado em 0x80164650. A raiz
# e folha frameless, tem retorno unico em 0x8019494C e o store final ocupa sua
# unica delay slot. Nao ha calls de saida, branches condicionais, jalr, fluxo
# computado, COP0/COP2, syscall, break, multiplicacao ou divisao. A varredura
# integral encontrou somente os tres jal para a entrada, nenhuma transferencia
# para interiores e nenhum literal de 32 bits apontando para o corpo. SHA-256
# dos 20 bytes: ba11f573fe5aa96ec29b9dbf7084639ca609d934650321c168a470715bd2edde.
# Manifesto: 27.294/195.584 palavras (13,9551%), 4.078 blocos, 828 calls, 285
# alvos, 1.614 branches, 3.276 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49. As taxas modified normalizadas subiram por sessao mais
# curta, embora os volumes brutos e os PCs modified tenham caido.
0x80194940

# Micro-lote S1-150 aprovado em p1-run-171: raiz formal 0x801949B8..
# 0x801949CB, 20 bytes e 5 palavras. Cinco call sites diretos atingem somente a
# entrada: 0x8010F93C calcula a0 no delay slot; 0x801648DC e 0x80164B7C usam
# move a0,s2 e move a0,s4; 0x8016495C e 0x80164C08 preservam o a0 preparado
# imediatamente antes enquanto incrementam s0. A raiz e folha frameless, tem
# retorno unico em 0x801949C4 e o store final ocupa sua unica delay slot. Nao
# ha calls de saida, branches condicionais, jalr, fluxo computado, COP0/COP2,
# syscall, break, multiplicacao ou divisao. A varredura integral encontrou
# somente os cinco jal para a entrada, nenhuma transferencia para interiores e
# nenhum literal de 32 bits apontando para o corpo. SHA-256 dos 20 bytes:
# c1b44cae07cb714fa3b635b1923b3a569446d9daf59334a08a10d8c3bcffc1cb.
# Manifesto: 27.299/195.584 palavras (13,9577%), 4.079 blocos, 828 calls, 285
# alvos, 1.614 branches, 3.277 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x801949B8

# Micro-lote S1-151 aprovado em p1-run-172: raiz formal 0x8017DD68..
# 0x8017DDF7, 144 bytes e 36 palavras. Tres call sites diretos atingem somente
# a entrada: 0x8017DF38 e 0x80181F3C recebem a0 antes do jal e preparam a1 no
# delay slot com 0xB4 e 0xAA; 0x801857D0 recebe a0/a1 antes do jal e normaliza
# a1 por sra no delay slot. A raiz e folha frameless, tem retorno unico em
# 0x8017DDF0 e o ultimo store ocupa sua unica delay slot. Nao ha calls de saida,
# branches condicionais, jalr, fluxo computado, COP0/COP2, syscall, break,
# multiplicacao ou divisao. A varredura integral encontrou somente os tres jal
# para a entrada, nenhuma transferencia para interiores e nenhum literal de
# 32 bits apontando para o corpo. SHA-256 dos 144 bytes:
# 4eae82025475dd58d3fc8859ca81fca9aa05ac177cd0b6acaeb65fe4235923e7.
# Manifesto: 27.335/195.584 palavras (13,9761%), 4.080 blocos, 828 calls, 285
# alvos, 1.614 branches, 3.278 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x8017DD68

# Micro-lote S1-152 aprovado em p1-run-173: raiz formal 0x80194968..
# 0x8019497B, 20 bytes e 5 palavras. Quatro call sites diretos atingem somente
# a entrada: 0x801647D8 e 0x80164A60 preparam a0 com s2 e s4 no delay slot;
# 0x80164840 e 0x80164AD4 preservam o a0 preparado imediatamente antes enquanto
# incrementam s0. A raiz e folha frameless, tem retorno unico em 0x80194974 e
# o store final ocupa sua unica delay slot. Nao ha calls de saida, branches
# condicionais, jalr, fluxo computado, COP0/COP2, syscall, break, multiplicacao
# ou divisao. A varredura integral encontrou somente os quatro jal para a
# entrada, nenhuma transferencia para interiores e nenhum literal de 32 bits
# apontando para o corpo. SHA-256 dos 20 bytes:
# 818141ceb8e3096b9ed0cbc174b4c80bdad3aef907f4e9b4afc5015f770da559.
# Manifesto: 27.340/195.584 palavras (13,9786%), 4.081 blocos, 828 calls, 285
# alvos, 1.614 branches, 3.279 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x80194968

# Micro-lote S1-153 aprovado em p1-run-174: raiz formal 0x80187B30..
# 0x80187BDB, 172 bytes e 43 palavras. Tres call sites diretos atingem somente
# a entrada: 0x801704D4 recebe a0 antes do jal e move a1,s0 no delay slot;
# 0x80178D88 e 0x801790E4 recebem a0 antes do jal e preparam a1 com s4 e s7.
# A raiz e folha frameless, tem retorno unico, sete branches internos e oito
# delay slots. Nao ha calls de saida, jalr, fluxo computado, COP0/COP2, syscall,
# break, multiplicacao ou divisao. A varredura integral encontrou somente os
# tres jal para a entrada, nenhuma transferencia externa para interiores e
# nenhum literal de 32 bits apontando para o corpo. SHA-256 dos 172 bytes:
# 9f0f08ec272e3e91b0dd762bcf508d71062afe19403a19137fb5bf0b8470fcda.
# Manifesto: 27.383/195.584 palavras (14,0006%), 4.093 blocos, 828 calls, 285
# alvos, 1.621 branches, 3.287 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49. Page0 e overlay normalizados subiram por variacao de
# cena, enquanto a participacao estatica aumentou e a interpretada caiu.
0x80187B30

# Micro-lote S1-154 aprovado em p1-run-175: raiz formal 0x80194AC0..0x80194ADF, 32 bytes
# e 8 palavras. Sete call sites diretos atingem somente a entrada:
# 0x80164D00, 0x80164D0C, 0x80164D44, 0x80164D50, 0x80179F30,
# 0x80179F44 e 0x80185D4C; todos deixam a0 valido, no delay slot ou antes do
# jal. A raiz e folha frameless, sem branches nem calls de saida; retorna em
# 0x80194AD8 e grava o valor 0x55555555 em a0+0x18 no delay slot. Nao ha jalr,
# fluxo computado, COP0/COP2, syscall, break, multiplicacao ou divisao. A
# varredura integral encontrou somente os sete jal para a entrada, nenhuma
# transferencia para interiores e nenhum literal de 32 bits apontando para o
# corpo. SHA-256 dos 32 bytes:
# 8ab8606f4152e8b95265d654b14242300d208cae33739f27aa02a8f46d5f497f.
# Manifesto: 27.391/195.584 palavras (14,0047%), 4.094 blocos, 828 calls, 285
# alvos, 1.621 branches, 3.288 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x80194AC0

# Micro-lote S1-155 aprovado em p1-run-176: raiz formal 0x8010BD20..0x8010C0E3, 964 bytes
# e 241 palavras. Cinco call sites diretos atingem somente a entrada:
# 0x8010A81C, 0x8010B6F0, 0x8010B73C, 0x8016A7D4 e 0x8016A7E8; todos
# preparam a0/a1/a2 antes do jal e a3 no delay slot. A raiz reserva frame de
# 0x30, salva ra e s0-s6, tem retorno unico, duas branches internas, 17 calls
# diretas e 20 delay slots. Os sete alvos distintos (0x8019E440, 0x8019D610,
# 0x8019CD60, 0x8019D5C0, 0x8019CE70, 0x8019E1B0 e 0x8010C0E4) ja sao
# estaticos. Nao ha jalr, fluxo computado, COP0/COP2, syscall, break,
# multiplicacao ou divisao. A varredura integral encontrou somente os cinco
# jal para a entrada, nenhuma transferencia externa para interiores e nenhum
# literal de 32 bits apontando para o corpo. SHA-256 dos 964 bytes:
# 534e645a9f3cf1a441959dc3c3333783b607ce74b43b3c697b66953558dd66b6.
# Manifesto: 27.632/195.584 palavras (14,1279%), 4.114 blocos, 845 calls, 285
# alvos, 1.623 branches, 3.308 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x8010BD20

# Micro-lote S1-156 aprovado em p1-run-177: raiz formal 0x8013F998..0x8013FF33, 1436 bytes
# e 359 palavras. O unico call site direto, 0x8013F7FC em FUN_8013F7A0,
# atinge somente a entrada, preserva a0 e tem nop no delay slot. O prologo
# reserva frame de 0x48 apos dois loads iniciais e salva ra e s0-s5. A raiz tem
# retorno unico, 21 branches/saltos internos, cinco calls diretas e 27 delay
# slots. Os quatro alvos distintos (0x8019DF20, 0x8019D270, 0x8019DA70 e
# 0x8010C72C) ja sao estaticos. As oito instrucoes COP2 sao transferencias ctc2
# para registradores de controle, sem comando GTE. Nao ha jalr, fluxo computado,
# COP0, syscall, break, multiplicacao ou divisao. A varredura integral encontrou
# somente o jal para a entrada, nenhuma transferencia externa para interiores e
# nenhum literal de 32 bits apontando para o corpo. SHA-256 dos 1436 bytes:
# 80adfbf5aed8df402d40a05d9b10c3424e355f82dc0e390c3bc2bcb7b8c57630.
# Manifesto: 27.991/195.584 palavras (14,3115%), 4.148 blocos, 850 calls, 286
# alvos, 1.637 branches, 3.335 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49. Page0 normalizado subiu por variacao de cena, enquanto
# os volumes brutos e os PCs modified cairam e a participacao estatica aumentou.
0x8013F998

# Micro-lote S1-157 aprovado em p1-run-178: raiz formal 0x80143124..0x8014373B, 1560 bytes
# e 390 palavras. O unico call site direto, 0x80142F00 em FUN_80142EA4,
# atinge somente a entrada, preserva a0 e tem nop no delay slot. O prologo
# reserva frame de 0x38 apos dois loads iniciais e salva ra e s0-s7. A raiz tem
# retorno unico, nove branches/saltos internos, quatro calls diretas e 14 delay
# slots; os dois alvos distintos, 0x8019DF20 e 0x8010C72C, ja sao estaticos.
# A interface COP2/GTE contem 62 transferencias, 11 comandos, oito lwc2 e nove
# swc2; o unico mult e seguido pela leitura de HI. Nao ha jalr, fluxo computado,
# COP0, syscall, break ou divisao. A varredura integral encontrou somente o jal
# para a entrada, nenhuma transferencia externa para interiores e nenhum literal
# de 32 bits apontando para o corpo. SHA-256 dos 1560 bytes:
# b8c86ac607056a2a368dd38f11c97e49f994f6d1c4c855a3dc64a7c5c6e756bd.
# Manifesto: 28.381/195.584 palavras (14,5109%), 4.165 blocos, 854 calls, 286
# alvos, 1.644 branches, 3.349 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x80143124

# Micro-lote S1-158 aprovado em p1-run-179: raiz formal 0x801391B0..0x80139677, 1224 bytes
# e 306 palavras. O unico call site direto, 0x80138FBC em FUN_80138F60,
# atinge somente a entrada, preserva a0 e tem nop no delay slot. O prologo
# reserva frame de 0x38 e salva ra e s0-s3. A raiz tem retorno unico, 16
# branches/saltos internos, duas calls diretas e 19 delay slots; os alvos
# 0x8019DF20 e 0x8010C72C ja sao estaticos. A interface COP2/GTE contem 43
# transferencias, cinco comandos, tres lwc2 e seis swc2. Os tres mult sao
# imediatamente seguidos por mflo. Nao ha jalr, fluxo computado, COP0, syscall,
# break ou divisao. A varredura integral encontrou somente o jal para a entrada,
# nenhuma transferencia externa para interiores e nenhum literal de 32 bits
# apontando para o corpo. SHA-256 dos 1224 bytes:
# c240bc4054f3a07945da6191afb049223aaca1e07258c5d906c3edc9166e7c78.
# Manifesto: 28.687/195.584 palavras (14,6674%), 4.188 blocos, 856 calls, 286
# alvos, 1.654 branches, 3.368 delay slots e 59 indiretas. Paginacao modified
# completa sem misses na seed; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x801391B0

# Micro-lote S1-159 aprovado em p1-run-180: closure direta contigua de 0x80139714..0x80139F53,
# 2112 bytes e 528 palavras, formada por FUN_80139714 (377 palavras) e
# FUN_80139CF8 (151 palavras). O unico caller das duas entradas e FUN_80139678,
# nos calls 0x801396CC e 0x801396D4; ambos atingem somente a entrada exata e
# usam move a0,s0 no delay slot. As raizes tem frames de 0x28 e 0x18, retorno
# unico cada uma, 31 branches/saltos internos, 24 calls diretas e 57 delay
# slots. Os cinco alvos distintos 0x80194990, 0x80194904, 0x801945F8,
# 0x801946C8 e 0x8010C72C ja sao estaticos. Nao ha jalr, fluxo computado,
# COP0/COP2, syscall, break, multiplicacao ou divisao. A varredura das 528
# palavras nao encontrou referencia externa para interiores nem literal de
# 32 bits apontando para os corpos. SHA-256 da closure de 2112 bytes:
# f36d401728c6a5c0f080a1aa3c1e948fb41410ebde09e2a6646da4da5c1c7503.
# Manifesto: 29.215/195.584 palavras (14,9373%), 4.256 blocos, 880 calls, 286
# alvos, 1.678 branches, 3.425 delay slots e 59 indiretas. Paginacao modified
# completa sem misses nas duas seeds; zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja presente no before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 47-49.
0x80139714
0x80139CF8

# Micro-lote S1-160 aprovado em p1-run-181: callback formal 0x801317E4..0x80131A3B, 600 bytes
# e 150 palavras. Duas referencias de dados atingem somente a entrada:
# 0x80131788 em FUN_8013176C instala o callback e 0x801ABAA4 pertence a uma
# tabela de dados; nenhuma referencia externa atinge interiores. O prologo
# reserva frame de 0x20 e salva ra/s0/s1. A raiz tem retorno unico, duas
# branches, tres saltos internos, duas calls diretas e oito delay slots; ambas
# as calls atingem 0x8010C72C, ja estatico. Nao ha jalr, fluxo computado,
# COP0/COP2, syscall, break, multiplicacao ou divisao. A varredura integral
# encontrou somente o literal de 32 bits da tabela em 0x801ABAA4 apontando para
# a entrada, sem literal para interiores. SHA-256 dos 600 bytes:
# 544891bef87c2190964ad530c8c6b7e72b99dc33e741718906438449288252f1.
# Manifesto: 29.365/195.584 palavras (15,0140%), 4.264 blocos, 882 calls, 286
# alvos, 1.680 branches, 3.433 delay slots e 59 indiretas. Paginacao modified
# completa teve 14 paginas, 421/627 PCs e pagina final vazia nos dois snapshots;
# sem misses na seed nem no unico PC runtime. Contra p1-run-180, blocks
# (-0,240%), modified-global (+0,982%), page0 (+3,623%), fallback (-0,389%) e
# overlay (+0,480%) ficaram dentro de 5%. Zero abort/bloqueio/divergencia/
# mismatch/invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja constava da
# baseline. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 47-49.
0x801317E4

# Micro-lote S1-161 aprovado em p1-run-182: duas raizes callback independentes, 1028 bytes e
# 257 palavras. FUN_801017F0 ocupa 0x801017F0..0x80101A8B (167 palavras); a
# referencia PARAM em 0x801011E0, dentro de FUN_801010C4, passa somente a
# entrada em a3 para o registro feito por 0x8019321C. FUN_8010FFE8 ocupa
# 0x8010FFE8..0x8011014F (90 palavras) e aparece em onze celulas da tabela
# 0x801AF9E0..0x801AFA20, todas apontando somente para a entrada. Nenhuma
# referencia externa atinge interiores. As raizes tem frames de 0x18 e 0x28,
# retorno unico cada uma, doze branches, seis saltos internos, quatro calls
# diretas e 24 delay slots; os quatro alvos distintos 0x801697AC, 0x80101A8C,
# 0x8010C72C e 0x80110E58 ja sao estaticos. Nao ha jalr, fluxo computado,
# COP0/COP2, syscall, break, multiplicacao ou divisao. A varredura integral
# encontrou onze literais de 32 bits para 0x8010FFE8 nas celulas da tabela e
# nenhum literal para interiores. SHA-256 dos corpos concatenados:
# f2c225ebbaa23305ffc0ba0c5f95bba37ed4b1353d78c2ad934cca0f3ca4b610.
# Manifesto: 29.622/195.584 palavras (15,1454%), 4.295 blocos, 886 calls, 289
# alvos, 1.692 branches, 3.457 delay slots e 59 indiretas. Paginacao modified
# completa teve 14 paginas, 421/617 PCs e pagina final vazia nos dois snapshots;
# sem misses nas duas seeds nem no unico PC runtime. Contra p1-run-181, blocks
# (-1,506%), modified-global (+3,453%), page0 (-0,276%) e fallback (-1,188%)
# ficaram dentro de 5%. Overlay normalizado (+7,762%) refletiu sessao 15,130%
# menor, enquanto seu volume bruto caiu 8,543%; captura de overlays inalterada.
# Zero abort/bloqueio/divergencia/mismatch/invalidacao/revalidacao/dispatch
# nativo; guard_yield=1 ja constava da baseline. Gate manual aprovado: sem
# regressoes em gameplay, audio, musica, modelos 3D ou texturas; FPS 48-50.
0x801017F0
0x8010FFE8

# Micro-lote S1-162 aprovado em p1-run-183: raiz 0x8018627C e sua closure
# direta de cinco funcoes, 4516 bytes e 1129 palavras. FUN_8018627C ocupa
# 0x8018627C..0x80186427 (107 palavras), chama FUN_80186428, que ocupa
# 0x80186428..0x80187007 (760 palavras), e alcanca as folhas FUN_8017B154
# (94 palavras), FUN_8017AD40 (92 palavras) e FUN_8017AEB0 (76 palavras).
# As funcoes com frame reservam 0x18, 0x38 e 0x18; 0x8017B154 e 0x8017AEB0
# sao folhas genuinas, sem uso de sp e sem calls. A closure tem cinco retornos,
# 37 branches, 19 saltos internos, 29 calls diretas e 90 delay slots. Os unicos
# alvos externos distintos, 0x801945F8 e 0x801946C8, ja sao estaticos. Nao ha
# jalr, fluxo computado, COP0/COP2, syscall, break ou divisao; os seis mult
# ficam restritos as duas folhas aritmeticas. A varredura integral das 1129
# palavras encontrou 59 referencias externas, todas para entradas formais, e
# nenhuma para interiores. Nao ha literal alinhado de 32 bits para os corpos;
# uma coincidencia desalinhada em file+0x9F842 nao e referencia valida. SHA-256
# dos cinco corpos concatenados:
# 15ea765669473fef3690128ade5a5014efe16b998f07ef524f30e256e9233db9.
# Manifesto confirmado: 30.751/195.584 palavras (15,7227%), 4.397 blocos,
# 915 calls, 293 alvos, 1.729 branches, 3.547 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 415/633 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 48-50.
0x8018627C

# Micro-lote S1-163 aprovado em p1-run-184: raiz 0x8017A79C e closure
# direta de cinco funcoes, 2632 bytes e 658 palavras. FUN_8017A79C ocupa
# 0x8017A79C..0x8017AD3F (361 palavras), tem frame de 0x50 e alcanca
# FUN_8017A4F8 (152 palavras), FUN_8017A758 (17), FUN_80187DC0 (35) e
# FUN_8017AFE0 (93). As quatro descendentes sao folhas frameless genuinas:
# nao usam sp, nao fazem calls e possuem retorno unico. A closure soma cinco
# retornos, 42 branches, 13 saltos internos, 16 calls diretas e 76 delay slots;
# os demais alvos ja sao estaticos. Nao ha jalr, fluxo computado, COP0/COP2,
# syscall, break ou divisao; o unico mult, em 0x8017A8DC, e consumido por mfhi.
# A varredura integral das 658 palavras encontrou 18 referencias externas,
# todas para entradas formais, nenhuma para interiores e nenhum literal de
# 32 bits para os corpos. SHA-256 dos cinco corpos concatenados:
# af2d9f980fc3fdb4442d0d8e45e8a23d525d20c30f1c82c71a2faa7be741fe46.
# Manifesto confirmado: 31.409/195.584 palavras (16,0591%), 4.488 blocos,
# 931 calls, 297 alvos, 1.771 branches, 3.623 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 413/616 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 48-50.
0x8017A79C

# Micro-lote S1-164 aprovado em p1-run-185: raiz 0x80177EC8 e closure
# direta completa de dez funcoes, 8744 bytes e 2186 palavras. A raiz ocupa
# 0x80177EC8..0x80178A87 (752 palavras) e alcanca FUN_80178CC0 (212),
# FUN_801795DC (120), FUN_801797BC (160), FUN_801252A8 (121) e
# FUN_80179010 (371); o fechamento inclui FUN_80178A88 (142), FUN_80168D14
# (118), FUN_80187BDC (121) e FUN_80187E7C (69). Nove corpos possuem frame
# proprio; FUN_80178A88 e folha frameless genuina, sem uso de sp ou calls.
# O WARN de FUN_801252A8 decorre do frame de 0x38 aparecer na quinta instrucao.
# A closure soma dez retornos, 151 branches, 40 saltos internos, 47 calls
# diretas e 248 delay slots. Todos os alvos externos ja sao estaticos; nao ha
# jalr, fluxo computado, COP0/COP2, syscall, break ou divisao. Os 17 mult/multu
# possuem consumo HI/LO coerente nos respectivos caminhos.
# A auditoria integral encontrou 114 referencias externas, todas para entradas
# formais, nenhuma para interiores e nenhum literal alinhado de 32 bits para os
# corpos. SHA-256 dos dez corpos concatenados:
# 0f12c49a5d1287b952a9333263a7abceef3cd25ed52aea85e6f819c2eae6bd3c.
# Manifesto confirmado: 33.595/195.584 palavras (17,1768%), 4.802 blocos,
# 978 calls, 307 alvos, 1.922 branches, 3.871 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 410/574 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort/bloqueio/divergencia/mismatch/
# invalidacao/revalidacao/dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D
# ou texturas; FPS 48-51. O modified-page0 (+5,504%) decorre da pagina top-64
# ordenada mudar um PC, com o conjunto total reduzido de 617 para 575 PCs.
0x80177EC8

# Micro-lote S1-165 aprovado em p1-run-186: raiz unica 0x80119D74,
# 1972 bytes e 493 palavras, cobrindo 0x80119D74..0x8011A527. O corpo possui
# frame de 0x40, retorno unico, 20 branches, dois saltos internos, nove calls
# diretas e 32 delay slots. Os tres alvos distintos das calls (0x8011A528,
# 0x801938B0 e 0x8010C72C) ja sao estaticos. Nao ha jalr nem fluxo computado.
# A interface GTE/COP2 e formada por transferencias de registradores e sete
# comandos COP2; as duas divisoes possuem os breaks defensivos canonicos do
# compilador. A auditoria integral encontrou uma referencia externa, dirigida
# a entrada formal, nenhuma referencia a interiores e nenhum literal alinhado
# de 32 bits para o corpo. SHA-256:
# 06de76bdfd9c9fe1ee18a744cd8beab6528e0f87d51cac2acef2c9e9022ea978.
# Manifesto confirmado: 34.088/195.584 palavras (17,4288%), 4.849 blocos,
# 987 calls, 308 alvos, 1.942 branches, 3.903 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 409/652 PCs e pagina final vazia;
# sem misses na seed. Zero abort, bloqueio, divergencia, mismatch, invalidacao,
# revalidacao ou dispatch nativo; guard_yield=1 ja constava do before. Gate
# manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D ou
# texturas; FPS 55-56. O aumento de overlay e modified decorreu de rota de cena
# mais ampla, sem indicio tecnico de regressao.
0x80119D74

# Micro-lote S1-166 aprovado em p1-run-187: raiz 0x8015E188 e closure
# direta de tres funcoes, 2416 bytes e 604 palavras. FUN_8015E188 ocupa
# 0x8015E188..0x8015E83F (430 palavras), tem frame de 0x30 e alcanca as folhas
# frameless genuinas FUN_8015C8EC, 0x8015C8EC..0x8015CA53 (90 palavras), e
# FUN_8015CDE8, 0x8015CDE8..0x8015CF37 (84 palavras). As folhas nao usam sp e
# nao fazem calls. A closure soma tres retornos, 66 branches, sete saltos
# internos, oito calls diretas e 84 delay slots. Os quatro alvos externos
# distintos (0x8015AFEC, 0x8019C0B8, 0x8019C184 e 0x8019EFD0) ja sao estaticos.
# Nao ha jalr, fluxo computado, COP0/COP2, syscall, break, multiplicacao ou
# divisao. A auditoria integral encontrou 18 referencias externas, todas para
# entradas formais, nenhuma para interiores e nenhum literal alinhado de 32
# bits para os corpos. SHA-256 concatenado:
# 841061c95d9a2b6a02c6a35f93f0c964d63fbc3900f218cb988486a22389b5be.
# Manifesto confirmado: 34.692/195.584 palavras (17,7376%), 4.959 blocos,
# 995 calls, 310 alvos, 2.008 branches, 3.987 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 411/629 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do
# before. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 54-56. Contra p1-run-186, todas as taxas
# normalizadas ficaram dentro de 1%.
0x8015E188

# Micro-lote S1-167 aprovado em p1-run-188: seed callback 0x8013C2D4 e
# closure direta de seis funcoes novas, 2328 bytes e 582 palavras.
# FUN_8013C2D4 ocupa 0x8013C2D4..0x8013C36B (38 palavras), FUN_8013C36C
# ocupa 0x8013C36C..0x8013C7A3 (270), FUN_8013C7A4 ocupa
# 0x8013C7A4..0x8013CA23 (160), FUN_8016864C ocupa
# 0x8016864C..0x8016870F (49), FUN_8010EFE0 ocupa
# 0x8010EFE0..0x8010F04F (28) e FUN_80125A30 ocupa
# 0x80125A30..0x80125AC3 (37). A closure soma seis retornos, 24 branches,
# 12 saltos internos, 15 calls diretas e 57 delay slots. Os sete alvos
# externos distintos ja sao estaticos, incluindo FUN_801A3154, que foi
# revalidada integralmente como dependencia ja aprovada. Nao ha nova indireta,
# jalr, fluxo computado, COP0/COP2, syscall, break ou divisao; os tres mult tem
# consumo HI/LO coerente. As nove referencias externas conhecidas atingem
# somente entradas formais. O unico literal alinhado e a celula callback
# 0x801B1B48 -> 0x8013C2D4; nao ha literal nem referencia para interiores.
# SHA-256 concatenado dos seis corpos novos:
# faa6b1b0c0f2c1291dd6d3f2b1f10d32fed159263a73f17d6912c4122bb81928.
# Manifesto confirmado: 35.274/195.584 palavras (18,0352%), 5.026 blocos,
# 1.010 calls, 315 alvos, 2.032 branches, 4.044 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 407/623 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do
# before. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 54-56. Contra p1-run-187, blocks (-0,334%),
# modified-global (+2,851%), page0 (+2,859%), fallback (-0,156%) e overlay
# (+0,805%) ficaram dentro de 3%.
0x8013C2D4

# Micro-lote S1-168 aprovado em p1-run-189: seed callback 0x801273FC e
# closure direta de cinco funcoes, 1432 bytes e 358 palavras. FUN_801273FC
# ocupa 0x801273FC..0x8012744F (21 palavras), FUN_80127450 ocupa
# 0x80127450..0x801274A7 (22), FUN_801274A8 ocupa
# 0x801274A8..0x80127763 (175), FUN_8012B730 ocupa
# 0x8012B730..0x8012B7A7 (30) e FUN_8012C320 ocupa
# 0x8012C320..0x8012C4D7 (110). A closure soma cinco retornos, sete branches,
# cinco saltos internos, 12 calls diretas e 29 delay slots. Os seis alvos
# externos distintos ja sao estaticos. Nao ha nova indireta, jalr, fluxo
# computado, COP0/COP2, syscall, break, multiplicacao ou divisao. As 11
# referencias externas conhecidas atingem somente entradas formais, sem
# referencias para interiores. Os cinco literais alinhados sao as celulas
# 0x801B0398, 0x801B03A4, 0x801B03AC, 0x801B03B0 e 0x801B03FC, todas apontando
# para a entrada exata 0x801273FC. SHA-256 concatenado dos cinco corpos:
# 6dec54a0c753b43e9eedb82218bea79f4725fdc0c172bd6991524247932a6e96.
# Manifesto confirmado: 35.632/195.584 palavras (18,2183%), 5.058 blocos,
# 1.022 calls, 320 alvos, 2.039 branches, 4.073 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 405/615 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do
# before. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 54-56. Contra p1-run-188, blocks (-0,433%),
# modified-global (+0,236%), page0 (-0,076%), fallback (-1,010%) e overlay
# (+1,423%) ficaram dentro de 1,5%.
0x801273FC

# Micro-lote S1-169 aprovado em p1-run-190: raiz direta 0x8017DEB0 e
# closure de cinco funcoes formais, 3304 bytes e 826 palavras. FUN_8017DEB0
# ocupa 0x8017DEB0..0x8017E2E3 (269 palavras), FUN_8017CEB0 ocupa
# 0x8017CEB0..0x8017D453 (361), FUN_80172300 ocupa
# 0x80172300..0x80172403 (65), FUN_8017D70C ocupa
# 0x8017D70C..0x8017D85F (85) e FUN_8017DDF8 ocupa
# 0x8017DDF8..0x8017DEAF (46). O unico caller direto da raiz e 0x80177854,
# que atinge a entrada exata e usa move a0,s2 no delay slot. A closure soma
# cinco retornos, 48 calls diretas, 35 branches, dois jumps e 90 delay slots.
# Os cinco alvos externos distintos ja sao estaticos. Nao ha nova indireta,
# jalr, fluxo computado, COP0/COP2 ou syscall. FUN_80172300 e folha frameless
# genuina, sem uso de sp nem calls; suas duas divisoes possuem os quatro breaks
# defensivos canonicos. Os sete mult da closure tem consumo HI/LO coerente.
# As dez referencias externas reais atingem somente entradas formais, sem
# referencias para interiores, e nao ha literal alinhado para os cinco corpos.
# SHA-256 concatenado dos cinco corpos:
# 681a801166c8c90ee7a10a61d6accbc9d9b35b759bac2dcfbc2562677ef0538e.
# Projecao: 36.458/195.584 palavras (18,6406%), 5.161 blocos, 1.070 calls,
# 325 alvos, 2.074 branches, 4.163 delay slots e 59 indiretas. Paginacao
# modified completa: 14 paginas, 403/604 PCs e pagina final vazia; sem misses
# na seed ou na closure. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do
# before. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 54-56. Contra p1-run-189, blocks (-0,051%),
# modified-global (+0,030%), page0 (+1,490%), fallback (+0,405%) e overlay
# (-0,408%) ficaram dentro de 1,5%.
0x8017DEB0

# Micro-lote S1-170 aprovado em p1-run-191: raiz direta 0x80113278 e closure de seis
# funcoes formais, 6108 bytes e 1.527 palavras. FUN_80113278 ocupa
# 0x80113278..0x80113563 (187 palavras), FUN_80111DBC ocupa
# 0x80111DBC..0x8011268B (564), FUN_8011268C ocupa
# 0x8011268C..0x80112F5B (564), FUN_80112F5C ocupa
# 0x80112F5C..0x80113277 (199), FUN_801949A4 ocupa
# 0x801949A4..0x801949B7 (5) e FUN_80194A80 ocupa
# 0x80194A80..0x80194A9F (8). O caller formal direto da raiz e 0x8010468C,
# que atinge a entrada exata. A closure soma seis retornos, 28 calls diretas,
# 27 branches, 14 jumps e 75 delay slots; seus cinco alvos externos distintos
# ja sao estaticos. Nao ha nova indireta, jalr, fluxo computado, COP0/COP2,
# syscall ou break. FUN_80112F5C e folha frameless genuina de 199 palavras,
# sem uso de sp nem calls; os dois multu possuem consumo HI coerente.
# FUN_801949A4 e FUN_80194A80 tambem sao folhas frameless genuinas. Todas as
# referencias externas reais atingem somente entradas formais, sem referencias
# para interiores, e nao ha literal alinhado para os seis corpos. SHA-256
# concatenado dos seis corpos:
# f6b881af31236fcf62c7d916d91a582dcbac6775dcd08978d005af2c2c3ed9ec.
# Manifesto confirmado: 37.985/195.584 palavras (19,4213%), 5.253 blocos,
# 1.098 calls, 331 alvos, 2.101 branches, 4.238 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 392/613 PCs e pagina final vazia
# nos dois snapshots; sem misses na seed ou na closure. Zero abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Gate manual aprovado: sem regressoes em
# gameplay, audio, musica, modelos 3D ou texturas; FPS 54-56. Contra
# p1-run-190, blocks (+0,808%), modified-global (-1,553%), page0 (-3,535%),
# fallback (+0,925%) e overlay (-1,192%) ficaram dentro de 1,6%.
0x80113278

# Micro-lote S1-171 aprovado em p1-run-192: funcao formal 0x8010D9B8..0x8010E8DF,
# 3880 bytes e 970 palavras. Quatro calls diretas em FUN_8013D58C atingem
# somente a entrada exata: 0x8013E03C, 0x8013E1B8, 0x8013E570 e 0x8013E728.
# Todas preparam a0-a3 antes do jal; os delay slots ajustam a1 em +0xC80 nas
# tres primeiras e +0xF80 na ultima. A funcao e folha frameless, salva s0 no
# scratchpad PSX 0x1F8003FC e o restaura antes do retorno unico. O corpo soma
# 60 branches, 12 jumps e 73 delay slots, sem calls de saida, jalr, fluxo
# computado ou nova indireta. A interface GTE/COP2 contem 246 lwc2, 96 swc2,
# 48 mfc2, 12 cfc2 e 57 comandos COP2. Nao ha COP0, syscall, break, mult ou
# div. As quatro referencias externas reais chegam somente a entrada formal;
# nao ha referencia nem literal alinhado de 32 bits para interiores. SHA-256:
# e4201add534d38691c1d6058c3612c175a6ca0ea10eee1a0bd1ddd44f4bab7d7.
# Manifesto confirmado: 38.955/195.584 palavras (19,9173%), 5.362 blocos,
# 1.098 calls, 331 alvos, 2.161 branches, 4.311 delay slots e 59 indiretas.
# Gate: 14 paginas modificadas (392 PCs antes; 612 depois), sem misses da seed,
# eventos tecnicos nulos e taxas normalizadas contra p1-run-191 abaixo de 5%.
# QA manual: sem regressoes; FPS 54-56.
0x8010D9B8

# Micro-lote S1-172 aprovado em p1-run-193: funcao formal 0x8014E460..0x8014F217,
# 3512 bytes e 878 palavras. O after de p1-run-192 observou somente a entrada
# exata 0x8014E460, com 41 hits; o before nao continha PCs do corpo e nenhum
# interior apareceu na telemetria. O Ghidra nao encontrou caller ou referencia
# externa, e a varredura integral do executavel nao encontrou literal alinhado
# de 32 bits para a entrada ou interiores. A funcao tem frame de 0x30, retorno
# unico, 92 branches condicionais, um jump interno, uma call direta e 95 delay
# slots, sem jalr, fluxo computado ou nova indireta. A unica saida, 0x8010C72C,
# ja e estatica. A interface GTE/COP2 soma 16 ctc2, dez mtc2, nove mfc2, nove
# lwc2, oito swc2 e oito comandos COP2. As 30 divisoes usam 30 pares canonicos
# de break defensivo; os quinze mult tem consumo HI/LO coerente. Nao ha COP0,
# syscall, divu ou multu. SHA-256 do executavel auditado:
# 4FFE98EB4F246B4D455392E537E8D9F029D34F2E95E301AEF2CB61F5E3E99820.
# Manifesto confirmado: 39.833/195.584 palavras (20,3662%), 5.518 blocos,
# 1.099 calls, 331 alvos, 2.253 branches, 4.406 delay slots e 59 indiretas.
# Gate: 14 paginas modified (390 PCs antes; 597 depois), sem misses da seed,
# eventos tecnicos nulos e taxas normalizadas contra p1-run-192 dentro de 1%.
# QA manual: sem regressoes; FPS 55-56.
0x8014E460

# Micro-lote S1-173 aprovado em p1-run-194: funcao formal 0x801157A4..0x801160CF,
# 2348 bytes e 587 palavras. Sete calls externas atingem somente a entrada
# exata: duas em FUN_80153678 e uma em cada FUN_8015D6A4, FUN_80160C44,
# FUN_80161830, FUN_80161A3C e FUN_8016D430; a0-a2 e os delay slots foram
# auditados. Nao ha referencia externa ou literal alinhado de 32 bits para
# interiores. A telemetria de p1-run-193 observou a entrada 0x801157A4 e o
# bloco interno 0x801159B8, ambos com 12 hits. A funcao tem frame de 0x40,
# retorno unico, 59 branches condicionais, 13 jumps internos, cinco calls e 78
# delay slots, sem jalr, fluxo computado ou nova indireta. Os quatro alvos
# distintos (0x801170D8, 0x80120E44, 0x8011618C e 0x80120F58) ja sao estaticos.
# As seis divisoes possuem seis pares canonicos de break defensivo; nao ha
# multiplicacao, COP0/COP2 ou syscall. SHA-256 dos bytes do corpo:
# d18b4b08f3f18f0240eddffba1502b3d338b5e70380f1af7caadb2802047531d.
# Manifesto confirmado: 40.420/195.584 palavras (20,6663%), 5.642 blocos,
# 1.104 calls, 331 alvos, 2.312 branches, 4.484 delay slots e 59 indiretas.
# Gate: 14 paginas modified (391 PCs antes; 603 depois), sem misses da seed,
# eventos tecnicos nulos e taxas normalizadas contra p1-run-193 dentro de 3%.
# QA manual: sem regressoes; FPS 55-56.
0x801157A4

# Micro-lote S1-174 aprovado em p1-run-195: closure direta formal de duas funcoes,
# 0x8015C054..0x8015C8EB (2200 bytes, 550 palavras) e
# 0x80168A28..0x80168B3B (276 bytes, 69 palavras), totalizando 619 palavras.
# A raiz possui cinco calls externas, duas em FUN_8015201C e uma em cada
# FUN_80161680, FUN_80162688 e FUN_80162BE0; a helper possui uma call externa
# em FUN_80152290, alem da call interna da raiz em 0x8015C654. Todas atingem
# entradas exatas, com argumentos e delay slots coerentes. Nao ha referencia
# externa ou literal alinhado de 32 bits para interiores. A telemetria de
# p1-run-194 observou a raiz com 30 hits e a helper, inclusive o bloco interno
# pos-call 0x80168B2C, com 28 hits; o before nao continha PCs dos dois corpos.
# A closure soma dois retornos, 64 branches condicionais, seis jumps internos,
# quatro calls diretas e 76 delay slots, sem jalr, fluxo computado, nova
# indireta, div, break, syscall ou COP0/COP2. Seus tres alvos externos
# distintos (0x80123910, 0x80123A94 e 0x801A3154) ja sao estaticos. Os dez mult
# possuem consumo LO coerente; em cada funcao, dois caminhos alternativos
# convergem para um unico mflo. SHA-256 concatenado dos dois corpos:
# d146bfde4bb9a16a8d76e1371bb3f92c242602cb9664106709b30dafe6ffd6d7.
# Manifesto confirmado: 41.039/195.584 palavras (20,9828%), 5.747 blocos,
# 1.108 calls, 332 alvos, 2.376 branches, 4.560 delay slots e 59 indiretas.
# Gate: 14 paginas modified (392 PCs antes; 603 depois), sem misses da seed
# ou helper; eventos tecnicos nulos e taxas normalizadas contra p1-run-194
# dentro de 3,4%. QA manual: sem regressoes; FPS 55-56.
0x8015C054

# Micro-lote S1-175 aprovado em p1-run-196: closure direta formal de tres funcoes,
# 0x80108E58..0x80109387 (1328 bytes, 332 palavras),
# 0x80109388..0x801093FF (120 bytes, 30 palavras) e
# 0x80109400..0x80109863 (1124 bytes, 281 palavras), totalizando 643 palavras.
# Duas calls externas em FUN_80105A80, 0x80105BA8 e 0x80105C58, atingem
# somente a entrada exata da raiz; ambas usam delay slot nop e a rotina opera
# sobre estado global. A raiz tem frame de 0x20 e chama 0x80109388 tres vezes
# e 0x80109400 uma vez, sempre com argumentos preparados antes ou no delay
# slot. As duas helpers sao folhas frameless genuinas, sem uso de sp ou calls.
# A closure soma tres retornos, 52 branches condicionais, oito jumps internos,
# quatro calls diretas e 67 delay slots, sem jalr, fluxo computado, nova
# indireta, mult/div, HI/LO, break, syscall ou COP0/COP2. Nao ha referencia
# externa ou literal alinhado de 32 bits para interiores; as duas referencias
# externas reais chegam somente a entrada da raiz. A telemetria de p1-run-195
# observou 0x80108E58 com dois hits e 0x80109400 com um hit; o before nao
# continha PCs da closure. SHA-256 concatenado dos tres corpos:
# 24fe49d2bf91214061b7221a84b2554439b150ac5a89a753f624832f64f94bf3.
# Manifesto confirmado: 41.682/195.584 palavras (21,3116%), 5.834 blocos,
# 1.112 calls, 334 alvos, 2.428 branches, 4.627 delay slots e 59 indiretas.
# Gate: 14 paginas modified (391 PCs antes; 567 depois), sem misses da seed
# ou closure; eventos tecnicos nulos e taxas normalizadas contra p1-run-195
# dentro de 0,8%. QA manual: sem regressoes; FPS oscilou brevemente ate 52 e
# retornou a 55-56 durante a mesma partida.
0x80108E58

# Micro-lote S1-176 aprovado em p1-run-197: closure direta formal de cinco funcoes,
# 0x801A6A80..0x801A6AAF (48 bytes, 12 palavras),
# 0x801A6B10..0x801A6EEB (988 bytes, 247 palavras),
# 0x801A520C..0x801A5223 (24 bytes, 6 palavras),
# 0x801A6EEC..0x801A71B3 (712 bytes, 178 palavras) e
# 0x801A6778..0x801A6A7F (776 bytes, 194 palavras), totalizando 637 palavras.
# A raiz e chamada em 0x80168454 por FUN_80168348, com a0 preparado e a1 no
# delay slot. FUN_801A6B10 tambem recebe duas calls externas formais,
# 0x801A6AC4 e 0x801A6AF4; FUN_801A6778 recebe uma em 0x801A6760. Todas as
# referencias externas atingem somente entradas, sem referencia ou literal
# alinhado de 32 bits para interiores. A closure soma cinco retornos, 60
# branches condicionais, 15 jumps internos, nove calls diretas e 89 delay
# slots. O unico alvo fora da closure, 0x801A51E0, ja e estatico. Nao ha jalr,
# fluxo computado, nova indireta, mult/div, HI/LO, break, syscall ou COP0/COP2.
# FUN_801A520C e FUN_801A6778 sao folhas frameless genuinas, sem uso de sp nem
# calls; as outras funcoes possuem frames formais de 0x18, 0x438 e 0x28. Os
# cinco corpos foram observados no before e after de p1-run-196, com cinco hits
# em cada entrada, exceto 0x801A6778 com oito. SHA-256 concatenado dos corpos:
# bde02b5cb7bd3d75eaa3899ac829114ef24e20b7617453160d622fca922ce0d1.
# Manifesto confirmado: 42.319/195.584 palavras (21,6373%), 5.953 blocos,
# 1.121 calls, 338 alvos, 2.488 branches, 4.716 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 388/584 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do
# before. Contra p1-run-196, blocks (-0,023%), modified-global (+0,217%),
# page0 (-0,789%), fallback (-0,365%) e overlay (+0,283%) ficaram dentro de
# 0,8%. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS estavel em 55-56.
0x801A6A80

# Micro-lote S1-177 aprovado em p1-run-198: closure direta formal de tres funcoes,
# 0x80177CE8..0x80177EC7 (480 bytes, 120 palavras),
# 0x80179E68..0x8017A4F7 (1680 bytes, 420 palavras) e
# 0x8017B3C0..0x8017B49B (220 bytes, 55 palavras), totalizando 595 palavras.
# A raiz recebe duas calls externas em FUN_801774A0, 0x80177694 e 0x801776A8,
# ambas somente para a entrada formal; a0 e a1 sao preparados antes do jal e
# a2 recebe zero e um nos respectivos delay slots. A raiz chama as duas helpers
# diretamente. A closure soma tres retornos, 13 branches condicionais, dois
# jumps internos, 31 calls diretas e 49 delay slots. Seus nove alvos externos
# distintos ja sao estaticos. Nao ha referencia externa ou literal alinhado de
# 32 bits para interiores, jalr, fluxo computado, nova indireta, mult/div,
# HI/LO, break, syscall ou COP0/COP2. As tres funcoes possuem frames formais de
# 0x30, 0x30 e 0x20. Todos os corpos, incluindo blocos internos das helpers,
# foram observados no before e after de p1-run-197. SHA-256 concatenado:
# 1a7f6a69f4c6810bd2aa80adc5556135e00690d6a57a8021423cb902b7907bb6.
# Manifesto confirmado: 42.914/195.584 palavras (21,9415%), 6.012 blocos,
# 1.152 calls, 341 alvos, 2.501 branches, 4.765 delay slots e 59 indiretas.
# Paginacao modified completa: 14 paginas, 382/586 PCs e pagina final vazia;
# sem misses na seed ou na closure. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do
# before. Contra p1-run-197, blocks (+0,335%), modified-global (-0,410%),
# page0 (-1,018%), fallback (-0,037%) e overlay (-1,686%) ficaram dentro de
# 1,7%. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 55-56.
0x80177CE8

# Micro-lote S1-178 aprovado em p1-run-199: funcao formal unica
# 0x8017BECC..0x8017C77B, com 2224 bytes e 556 palavras. A unica referencia
# externa e uma call em FUN_801774A0, 0x80177630, somente para a entrada exata;
# a0 e preparado antes do jal e o delay slot carrega a constante usada pela
# rotina. O corpo soma um retorno, tres branches condicionais, dez calls
# diretas e 14 delay slots. Seus seis alvos distintos (0x801945F8, 0x80194B00,
# 0x801949F4, 0x80194904, 0x801948DC e 0x801946C8) ja sao estaticos. Nao ha
# referencia externa ou literal alinhado de 32 bits para interiores, jalr,
# fluxo computado, nova indireta, mult/div, HI/LO, break, syscall ou COP0/COP2.
# A funcao possui frame formal de 0x28 e dois lacos externos de duas iteracoes,
# um deles contendo um laco interno de seis iteracoes. P1-run-198 observou a
# entrada e dois blocos internos tanto no before quanto no after, totalizando
# tres hits em cada coleta. SHA-256 do corpo:
# 291b99894b1a79ae26ca4ab214bf6f198c40a886cfbf5ec0d1b5b0824905c77b.
# P1-run-199 confirmou F/R 8017BECC 8B0 e o manifesto com 43.470/195.584
# palavras (22,2257%), 6.029 blocos, 1.162 calls, 341 alvos, 2.504 branches,
# 4.779 delay slots e 59 indiretas. A paginacao modified completa teve 14
# paginas, 378/566 PCs e pagina final vazia; nao houve misses na seed. Contra
# p1-run-198, blocks (-0,246%), modified-global (+0,206%), page0 (+1,213%),
# fallback (-0,339%) e overlay (+2,016%) ficaram dentro de 2,1%. Zero abort,
# bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Gate manual aprovado: sem regressoes em
# gameplay, audio, musica, modelos 3D ou texturas; FPS 55-56.
0x8017BECC

# Micro-lote S1-179 aprovado em p1-run-200: funcao formal unica
# 0x80131F88..0x801325FF, com 1656 bytes e 414 palavras. A unica call externa,
# em FUN_80131D8C no endereco 0x80131DE8, atinge somente a entrada exata; a0
# permanece preservado e o delay slot e nop. A funcao tem frame proprio de
# 0x28, retorno unico, dez branches condicionais, um jump interno, uma call
# direta e 13 delay slots. A unica saida, 0x8010C72C, ja e estatica. Nao ha
# referencia externa ou literal alinhado de 32 bits para interiores, jalr,
# fluxo computado, nova indireta, COP0 ou syscall. A interface COP2/GTE soma
# 16 ctc2, dez mtc2, nove mfc2, nove lwc2, oito swc2 e oito comandos COP2.
# As duas divisoes possuem quatro breaks defensivos canonicos; os dois mult
# possuem consumo LO coerente. P1-run-199 observou somente a entrada, com 51
# hits no after e nenhum PC do corpo no before. SHA-256 do corpo:
# 535ec31b143437810417f840f20844573ce5882af0b07b7eccc3e565e0ed04f6.
# P1-run-200 confirmou F/R 80131F88 678 e o manifesto com 43.884/195.584
# palavras (22,4374%), 6.048 blocos, 1.163 calls, 341 alvos, 2.514 branches,
# 4.792 delay slots e 59 indiretas. A paginacao modified completa teve 14
# paginas, 377/561 PCs e pagina final vazia; nao houve misses na seed. Contra
# p1-run-199, blocks (-0,078%), modified-global (+0,057%), page0 (+0,579%),
# fallback (+0,347%) e overlay (-0,893%) ficaram dentro de 0,9%. Zero abort,
# bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Gate manual aprovado: sem regressoes em
# gameplay, audio, musica, modelos 3D ou texturas; FPS 55-56.
0x80131F88

# Micro-lote S1-180 aprovado em p1-run-201: funcao formal unica
# 0x801758C8..0x80175F5F, com 1688 bytes e 422 palavras. A unica referencia
# externa, em FUN_8017566C no endereco 0x801757C4, e uma call para a entrada
# exata; seu delay slot move s0 para a0, coerente com o parametro de estrutura.
# A funcao possui frame proprio de 0x38, retorno unico, quatro branches
# condicionais, quatro jumps internos, 18 calls diretas e 23 delay slots. Seus
# nove alvos distintos (0x80123BA8, 0x801938B0, 0x8019497C, 0x80194904,
# 0x801948DC, 0x801945F8, 0x80194B00, 0x801949F4 e 0x801946C8) ja pertencem
# aos ranges estaticos aprovados. Nao ha referencia externa ou literal alinhado
# de 32 bits para interiores, jalr, fluxo computado, mult/div, HI/LO, break,
# syscall ou COP0/COP2. P1-run-200 observou a entrada e dois blocos internos
# tanto no before quanto no after, totalizando tres hits em cada coleta.
# SHA-256 do corpo:
# 81d92bc1d30e7abb7526c9e7c7a35c1087b3bcd2c283ca087547b5e05b02999f.
# P1-run-201 confirmou F/R 801758C8 698 e o manifesto com 44.306/195.584
# palavras (22,6532%), 6.075 blocos, 1.181 calls, 341 alvos, 2.518 branches,
# 4.815 delay slots e 59 indiretas. A paginacao modified completa teve 14
# paginas, 377/582 PCs e pagina final vazia; nao houve misses na seed. Contra
# p1-run-200, blocks (+0,122%), modified-global (+0,135%), page0 (-0,111%),
# fallback (+0,155%) e overlay (-0,401%) ficaram dentro de 0,5%. Zero abort,
# bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Gate manual aprovado: sem regressoes em
# gameplay, audio, musica, modelos 3D ou texturas; FPS 55-56.
0x801758C8

# Micro-lote S1-181 aprovado em p1-run-202: duas funcoes formais
# independentes, 2976 bytes e 744 palavras. FUN_8017C878 ocupa
# 0x8017C878..0x8017CEAF (1592 bytes, 398 palavras); sua unica call externa,
# em FUN_8017C77C no endereco 0x8017C860, atinge a entrada exata e usa
# move a0,a1 no delay slot. Possui frame de 0x50, retorno unico, tres branches,
# tres jumps, tres calls diretas e sete delay slots; os alvos 0x8017B154 e
# 0x80172300 ja pertencem aos ranges estaticos. Seus nove mult possuem consumo
# HI coerente. FUN_80151328 ocupa 0x80151328..0x8015188F (1384 bytes, 346
# palavras); sua unica call externa, em FUN_80150A78 no endereco 0x80150EE0,
# atinge a entrada exata com delay slot nop, coerente com a rotina sem
# parametros. Possui frame de 0x8, retorno unico, cinco branches, seis jumps,
# nenhuma call de saida e sete delay slots. Seus pares lwl/lwr e swl/swr
# implementam duas copias desalinhadas canonicas de oito bytes. Nos dois corpos
# nao ha referencia externa ou literal alinhado para interiores, jalr, fluxo
# computado, nova indireta, div, break, syscall ou COP0/COP2. P1-run-201
# observou somente as entradas exatas: 0x8017C878 teve 276 hits no before e no
# after; 0x80151328 teve tres hits no before e quinze no after. SHA-256
# concatenado dos dois corpos:
# 70570147bd2026c17de5f37e12a9e1c3545f8c731d76e8db17ec3f18480295ea.
# P1-run-202 confirmou F/R 8017C878 638 e 80151328 568, com 45.050/195.584
# palavras (23,0336%), 6.097 blocos, 1.184 calls, 341 alvos, 2.526 branches,
# 4.829 delay slots e 59 indiretas. A paginacao modified completa teve 14
# paginas, 376/608 PCs e pagina final vazia; a varredura explicita das duas
# seeds nao encontrou misses antes ou depois. Contra p1-run-201, blocks
# (-0,022%), modified-global (-0,025%), page0 (-0,670%), fallback (-0,647%) e
# overlay (-0,187%) ficaram dentro de 0,7%. Zero abort, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja
# constava do before. Gate manual aprovado: sem regressoes em gameplay, audio,
# musica, modelos 3D ou texturas; FPS 55-56.
0x8017C878
0x80151328

# Micro-lote S1-182 aprovado em p1-run-203: tres funcoes formais
# independentes, 3472 bytes e 868 palavras. FUN_8018765C ocupa
# 0x8018765C..0x80187B2F (1236 bytes, 309 palavras); sua unica referencia
# externa, em FUN_801774A0 no endereco 0x801776F4, e uma call para a entrada
# exata com move a0,s0 no delay slot. Possui frame de 0x28, retorno unico,
# tres branches, tres jumps, 25 calls diretas e 29 delay slots; todas as calls
# atingem 0x8010C72C, ja estatico. FUN_80176CB8 ocupa
# 0x80176CB8..0x80177137 (1152 bytes, 288 palavras); sua unica referencia
# externa, em FUN_80175F60 no endereco 0x80176BFC, e uma call para a entrada
# exata com move a0,s0 no delay slot. Possui frame de 0x20, retorno unico,
# seis branches, oito jumps, nove calls diretas e 18 delay slots; os alvos
# 0x8017B154 e 0x801946C8 ja sao estaticos. FUN_80130A74 ocupa
# 0x80130A74..0x80130EAF (1084 bytes, 271 palavras); sua unica referencia
# externa, em FUN_8013051C no endereco 0x801305D0, e uma call para a entrada
# exata com move a0,s0 no delay slot. Possui frame de 0x30, retorno unico,
# 18 branches, 22 jumps, sete calls diretas e 30 delay slots; seus alvos
# 0x80101D18, 0x80194990, 0x801948DC, 0x80194904, 0x801945F8, 0x801946C8 e
# 0x801938B0 ja sao estaticos. Nos tres corpos nao ha referencia externa ou
# literal alinhado para interiores, jalr, fluxo computado, nova indireta,
# mult/div, HI/LO, acesso desalinhado, break, syscall ou COP0/COP2. P1-run-202
# observou apenas entradas exatas: 0x8018765C teve 138 hits no before e no
# after; 0x80176CB8 teve 62 hits em ambos; 0x80130A74 surgiu somente no after,
# com dois hits. SHA-256 concatenado dos tres corpos:
# 949308de0c47a908a60311e924207ea56efca1843ecbcc2214f6d5256e4358e0.
# P1-run-203 confirmou F/R 8018765C 4D4, 80176CB8 480 e 80130A74 43C, com
# 45.918/195.584 palavras (23,4774%), 6.190 blocos, 1.225 calls, 341 alvos,
# 2.553 branches, 4.906 delay slots e 59 indiretas. A paginacao modified
# completa teve 14 paginas, 375/590 PCs e pagina final vazia nos dois snapshots;
# a varredura explicita das tres seeds nao encontrou misses antes ou depois.
# Contra p1-run-202, blocks (+0,145%), modified-global (+0,089%), page0
# (+0,644%), fallback (+0,726%) e overlay (+0,002%) ficaram dentro de 0,8%.
# Zero abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou
# dispatch nativo; guard_yield=1 ja constava do before. Gate manual aprovado:
# sem regressoes em gameplay, audio, musica, modelos 3D ou texturas; FPS 55-56.
0x8018765C
0x80176CB8
0x80130A74

# Micro-lote S1-183 aprovado em p1-run-204: duas raizes formais
# e quatro funcoes alcancadas por calls diretas, 3380 bytes e 845 palavras.
# FUN_8015F970 ocupa 0x8015F970..0x8015FC53 (740 bytes, 185 palavras); a call
# externa em FUN_8015F63C, no endereco 0x8015F708, atinge a entrada exata com
# move a1,s1 no delay slot e move a0,s0 imediatamente antes. Possui frame
# proprio, retorno unico, 12 branches, 15 jumps, dez calls diretas e 26 delay
# slots. Sua closure acrescenta FUN_80160084 (92 bytes, 23 palavras),
# FUN_80160AA4 (176 bytes, 44 palavras) e FUN_8015FD78 (780 bytes, 195
# palavras); os demais alvos 0x80115574, 0x8019C0B8, 0x8019C184, 0x8019EFD0,
# 0x8019E1B0 e 0x8019CFD0 ja pertencem aos ranges estaticos aprovados.
# FUN_801643EC ocupa 0x801643EC..0x80164A0F (1572 bytes, 393 palavras); recebe
# quatro calls formais de FUN_80163CB0 e uma de FUN_8018E778, todas para a
# entrada exata e com preparacao coerente de a0/a1 nos respectivos callers.
# Possui frame proprio, retorno unico, 24 branches, 24 jumps, 16 calls diretas
# e 41 delay slots. Sua closure acrescenta a leaf FUN_8019492C (20 bytes,
# cinco palavras); os outros alvos 0x80194940, 0x80194954, 0x80194968,
# 0x8019497C, 0x80194990, 0x801949A4 e 0x801949B8 ja sao estaticos. Nos seis
# corpos nao ha jalr, fluxo computado, nova indireta, mult/div, HI/LO, acesso
# desalinhado, break, syscall ou COP0/COP2. A varredura binaria alinhada nao
# encontrou literal para interiores; os sete hits encontrados apontam somente
# para as entradas exatas de 0x8015F970, 0x80160084 e 0x80160AA4. P1-run-203
# observou 0x8015F970 somente no after, com 23 hits, e 0x801643EC no before e
# no after, com 73 hits em cada snapshot. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos seis corpos, na ordem documentada acima:
# 9fd875056b6757a48fe4b967fae6baf91a373d1f0ada223b1511658461fcc554.
# P1-run-204 confirmou F/R 8015F970 2E4, 8015FD78 30C, 80160084 5C,
# 80160AA4 B0, 801643EC 624 e 8019492C 14, com 46.763/195.584 palavras
# (23,9094%), 6.330 blocos, 1.262 calls, 348 alvos, 2.613 branches, 5.019
# delay slots e 59 indiretas. A paginacao modified completa teve 14 paginas,
# 376/567 PCs e pagina final vazia nos dois snapshots; a varredura explicita
# das duas seeds e da closure nao encontrou misses antes ou depois. Contra
# p1-run-203, blocks (-0,246%), modified-global (-0,593%), page0 (-0,247%),
# fallback (-0,553%) e overlay (-0,003%) ficaram dentro de 0,6%. Zero abort,
# bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Gate manual aprovado: sem regressoes em
# gameplay, audio, musica, modelos 3D ou texturas; FPS 55-56.
0x8015F970
0x801643EC

# Micro-lote S1-184 aprovado em p1-run-205: 14 raizes formais e
# 12 helpers alcancadas por calls diretas, totalizando 8300 bytes e 2075
# palavras. As closures sao: 0x80137BCC (278 palavras em quatro funcoes),
# 0x80132CC0 (133 em tres), 0x80128E68 (282 em quatro), 0x80196E74 (143),
# 0x801AAEFC (111), 0x801A7ACC (72 em duas), 0x8017B49C (166 em duas),
# 0x80142EA4 (160 em duas), 0x80138F60 (148 em duas), 0x80102838 (182),
# 0x801021B0 (182), 0x8018819C (58), 0x80185CC0 (84) e 0x8015A600 (76).
# Todos os 26 corpos possuem fronteiras e retornos formais, zero fluxo
# computado e zero referencia externa para interior. Os callers diretos
# auditados atingem apenas entradas exatas e preparam os argumentos nos delay
# slots; as raizes materializadas por dados tambem apontam somente a entradas.
# 0x80196E74 e um callback materializado em 0x801B85C0 e referenciado como
# parametro em 0x801956A0 para o jalr ja existente de FUN_80195668; a projecao
# preserva as 59 indiretas. Os dois corpos homologos 0x801021B0 e 0x80102838
# possuem uma divisao cada, com os dois breaks defensivos canonicos e consumo
# coerente de LO/HI. 0x801295E4 possui quatro mult com consumo LO imediato;
# 0x80196E74 possui um mult com consumo LO. 0x80138FF8 usa uma sequencia GTE
# fechada de um mtc2, um lwc2, cinco ctc2, um comando COP2 e tres swc2. Nao ha
# jalr dentro dos corpos promovidos, salto por registrador nao-ra, syscall,
# COP0, acesso desalinhado ou outra instrucao de risco. A varredura binaria
# alinhada encontrou sete literais para entradas exatas e nenhum para interior.
# P1-run-204 observou todas as 14 raizes nos dois snapshots: respectivamente
# 225, 273, 231, 1086, 882, 2296, 332, 33, 76, 61, 62, 252, 26 e 57 hits.
# SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos 26 corpos, na ordem registrada pela auditoria:
# a2f735ff40ce77ec68550520d5780078f0de421c70ad6fd21e970762ee128ab9.
# O manifesto candidato projeta 48.838/195.584 palavras (24,9703%), 6.655
# blocos, 1.344 calls, 366 alvos, 2.729 branches, 5.302 delay slots e as mesmas
# 59 indiretas: delta exato de 2.075 palavras contra p1-run-204.
# P1-run-205 confirmou as 26 emissoes F/R e 48.838/195.584 palavras (24,9703%),
# 6.655 blocos, 1.344 calls, 366 alvos, 2.729 branches, 5.302 delay slots e as
# mesmas 59 indiretas. A paginacao modified completa teve 14 paginas, 361/575 PCs
# e pagina final vazia nos dois snapshots; a varredura explicita das 14 seeds e
# closures nao encontrou misses antes ou depois. Contra p1-run-204, blocks
# (+0,790%), modified-global (-1,967%), page0 (-1,245%), fallback (+1,513%) e
# overlay (-1,803%) ficaram dentro de 2,0%. Zero abort, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava
# do before. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 55-56.
0x80137BCC
0x80132CC0
0x80128E68
0x80196E74
0x801AAEFC
0x801A7ACC
0x8017B49C
0x80142EA4
0x80138F60
0x80102838
0x801021B0
0x8018819C
0x80185CC0
0x8015A600

# Micro-lote S1-185 aprovado em p1-run-206: 18 raizes formais,
# totalizando 3.644 bytes e 911 palavras. Todos os corpos possuem fronteiras e
# retornos formais; as 82 calls externas auditadas atingem somente entradas
# exatas e possuem delay slots identificados. Quatro literais alinhados apontam
# para 0x80139678, 0x80153AE0 e 0x8015E840 (duas ocorrencias), todos em entradas;
# nao existe referencia Ghidra ou literal alinhado para interior. Todos os alvos
# diretos ja sao estaticos ou pertencem ao proprio lote: 0x80198770 chama
# 0x80198AC4, que chama 0x8019529C. Nao ha jalr, salto por registrador nao-ra,
# fluxo computado, syscall, break, div, COP0 ou COP2. 0x80129A20 possui quatro
# mult com consumo mflo coerente; 0x8018E154 possui pares canonicos lwl/lwr e
# swl/swr. O vet isolado classificou 15 ACCEPT, tres WARN de folhas sem frame
# (0x8019529C, 0x80198760 e 0x8017BBBC) e zero REJECT; as tres folhas foram
# confirmadas manualmente sem uso de sp. P1-run-205 observou 14 raizes nos dois
# snapshots e as quatro restantes (0x8015CF38, 0x80153AE0, 0x80129A20 e
# 0x8015E840 em volume representativo) durante o gameplay after. SHA-256 do
# executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos 18 corpos, na ordem registrada pela auditoria:
# b182ef632839e6a4f37c19bf300d8ea48c2e0ea1b47b657886f8cb6c9f2e3451.
# O manifesto candidato projeta 49.749/195.584 palavras (25,4361%), 6.806
# blocos, 1.387 calls, 373 alvos, 2.777 branches, 5.428 delay slots e as mesmas
# 59 indiretas: delta exato de 911 palavras contra p1-run-205 e primeiro marco
# projetado acima de 25,0%.
# P1-run-206 confirmou as 18 emissoes F/R e 49.749/195.584 palavras (25,4361%),
# 6.806 blocos, 1.387 calls, 373 alvos, 2.777 branches, 5.428 delay slots e as
# mesmas 59 indiretas. A paginacao modified completa teve 14 paginas, 354/511 PCs
# e pagina final vazia nos dois snapshots; a varredura explicita das 18 seeds nao
# encontrou misses antes nem depois. Contra p1-run-205, blocks (-0,800%),
# modified-global (+1,466%), page0 (+1,684%), fallback (-1,600%) e overlay
# (+2,915%) ficaram abaixo de 3,0%. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D ou
# texturas; FPS 55-56.
0x8019529C
0x80198760
0x80163C50
0x8017D678
0x80179D9C
0x80139678
0x801A34E8
0x8018E154
0x8016C26C
0x8015CF38
0x80153AE0
0x8015E840
0x8017BBBC
0x80129A20
0x80177138
0x8017BD10
0x80198770
0x80198AC4

# Micro-lote S1-186 aprovado em p1-run-207: 14 raizes formais,
# totalizando 1.944 bytes e 486 palavras. Todos os corpos possuem fronteiras e
# retornos formais; as 112 calls externas auditadas atingem somente entradas
# exatas e possuem delay slots identificados. Nao existe referencia Ghidra nem
# literal alinhado para interior; a varredura binaria tambem nao encontrou
# literais para as entradas. Todos os alvos diretos ja sao estaticos, exceto a
# recursao direta de 0x8012467C para sua propria entrada. Nao ha jalr, salto por
# registrador nao-ra, fluxo computado, syscall, acesso desalinhado ou COP0/COP2.
# 0x801A0B84 possui um divu com teste explicito do divisor, break defensivo e
# consumo coerente de HI por mfhi. O vet isolado classificou 10 ACCEPT, quatro
# WARN de folhas sem frame (0x8016C710, 0x8012C288, 0x801592FC e 0x801A0B84) e
# zero REJECT; as quatro folhas foram confirmadas manualmente sem uso de sp.
# P1-run-206 observou nove raizes nos dois snapshots e as cinco restantes
# (0x8015DB0C, 0x8015CFBC, 0x8012C288, 0x80168710 e 0x80131648) durante o
# gameplay after. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos 14 corpos, na ordem registrada pela auditoria:
# 418aa1251ba6fcd72b32b83eeef514237985524df64f351e8dc55abfde2d656b.
# O manifesto candidato projeta 50.235/195.584 palavras (25,6846%), 6.896
# blocos, 1.406 calls, 379 alvos, 2.813 branches, 5.506 delay slots e as mesmas
# 59 indiretas: delta exato de 486 palavras contra p1-run-206 e primeiro marco
# projetado acima de 25,5%.
# P1-run-207 confirmou as 14 emissoes F/R e 50.235/195.584 palavras (25,6846%),
# 6.896 blocos, 1.406 calls, 379 alvos, 2.813 branches, 5.506 delay slots e as
# mesmas 59 indiretas. A paginacao modified completa teve 14 paginas, 355/555 PCs
# e pagina final vazia nos dois snapshots; a varredura explicita das 14 seeds nao
# encontrou misses antes nem depois. Contra p1-run-206, blocks (+0,549%),
# modified-global (-1,142%), page0 (-0,361%), fallback (+0,774%) e overlay
# (-2,732%) ficaram dentro de 3,0%. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D ou
# texturas; FPS 55-56.
0x80179CA4
0x8015DB0C
0x8012398C
0x8016C710
0x8016963C
0x8015CFBC
0x8012C288
0x80168710
0x80168748
0x80131648
0x80199F2C
0x801592FC
0x801A0B84
0x8012467C

# Micro-lote S1-187 aprovado em p1-run-208: quatro raizes formais
# e closure direta de oito funcoes, totalizando 1.992 bytes e 498 palavras.
# Todos os corpos possuem fronteiras e retornos formais; as 30 referencias
# externas auditadas sao calls para entradas exatas e possuem delay slots.
# Nao existe referencia Ghidra nem literal binario alinhado para interiores;
# a varredura binaria tambem nao encontrou literais para as entradas. Todos os
# alvos diretos ja sao estaticos ou pertencem a closure de 0x801A7274:
# 0x801A0A4C, 0x801A07BC, 0x801A0CC4 e 0x801A0CF0. Nao ha jalr, salto por
# registrador nao-ra, fluxo computado, syscall, break, div, mult, acesso
# desalinhado ou COP0/COP2. O vet classificou cinco ACCEPT, tres WARN e zero
# REJECT. 0x801A07BC salva os argumentos na area ABI do caller e cria o proprio
# frame na quinta instrucao; 0x801A0CC4 e 0x801A0CF0 sao folhas sem uso de sp.
# P1-run-207 observou 0x80123ED8 (12/12 hits), 0x801A72D4 (5/5), 0x80119A20
# (1/2) e 0x801A7274 (5/5) nos snapshots before/after. SHA-256 do executavel:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos oito corpos, na ordem registrada pela auditoria:
# d050847dc7382171efa17db94d6c564f253af6fde40f19975d9d14f3aed507ee.
# O manifesto candidato projeta 50.733/195.584 palavras (25,9392%), 6.990
# blocos, 1.428 calls, 384 alvos, 2.846 branches, 5.582 delay slots e as mesmas
# 59 indiretas: delta exato de 498 palavras (+0,2546 p.p.) contra p1-run-207.
# P1-run-208 confirmou as oito emissoes F/R e 50.733/195.584 palavras (25,9392%),
# 6.990 blocos, 1.428 calls, 384 alvos, 2.846 branches, 5.582 delay slots e as
# mesmas 59 indiretas. A paginacao modified completa teve 14 paginas, 355/534 PCs
# e pagina final vazia nos dois snapshots; a varredura explicita das oito funcoes
# nao encontrou misses antes nem depois. Contra p1-run-207, blocks (-0,505%),
# modified-global (+1,750%), page0 (+2,196%), fallback (-0,137%) e overlay
# (+2,296%) ficaram dentro de 3,0%. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D ou
# texturas; FPS 55-56.
0x80123ED8
0x801A72D4
0x80119A20
0x801A7274

# Micro-lote S1-188 aprovado em p1-run-209: duas raizes formais
# e closure direta de tres funcoes, totalizando 632 bytes e 158 palavras.
# 0x80104018 e 0x8018E014 possuem fronteiras, frames e retornos formais;
# 0x8018E014 fecha diretamente em 0x80168074. As quatro referencias externas
# auditadas sao calls para entradas exatas e possuem delay slots. Nao existe
# referencia Ghidra nem literal binario alinhado para entradas ou interiores.
# Todos os alvos diretos ja sao estaticos ou pertencem a closure. Nao ha jalr,
# salto por registrador nao-ra, fluxo computado, syscall, break, div, mult,
# acesso desalinhado ou COP0/COP2. O vet classificou as tres funcoes como
# ACCEPT, sem WARN ou REJECT. P1-run-208 observou as entradas 0x80104018,
# 0x8018E014 e 0x80168074 (1/1 hit cada) e os interiores 0x801040B0 (100/100),
# 0x8018E114 (52/52) e 0x801680B4 (33/33) nos snapshots before/after.
# SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos tres corpos, na ordem registrada pela auditoria:
# 34980dfbfabe362189cd20b2881accab1f619bf7520bbb71528ed66a4f57b47c.
# O manifesto candidato projeta 50.891/195.584 palavras (26,0200%), 7.022
# blocos, 1.440 calls, 386 alvos, 2.855 branches, 5.607 delay slots e as mesmas
# 59 indiretas: delta exato de 158 palavras (+0,0808 p.p.) contra p1-run-208 e
# primeiro marco formal acima de 26,0%.
# P1-run-209 confirmou as tres emissoes F/R e 50.891/195.584 palavras (26,0200%),
# 7.022 blocos, 1.440 calls, 386 alvos, 2.855 branches, 5.607 delay slots e as
# mesmas 59 indiretas. A paginacao modified completa teve 14 paginas, 343/508 PCs
# e pagina final vazia nos dois snapshots; a varredura explicita das tres funcoes
# nao encontrou misses antes nem depois. Contra p1-run-208, blocks (+0,149%),
# modified-global (-0,807%), page0 (-0,347%), fallback (+0,428%) e overlay
# (+0,201%) ficaram dentro de 3,0%. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D ou
# texturas; FPS 55-56.
0x80104018
0x8018E014

# Micro-lote S1-189 aprovado em p1-run-210: quatro raizes formais
# e closure direta de sete funcoes, totalizando 2.516 bytes e 629 palavras.
# 0x8012976C fecha em 0x801297EC e 0x801298F4; 0x80131D8C fecha em
# 0x80131E24; 0x80163684 e 0x80168788 sao corpos independentes. As nove calls
# externas auditadas chegam exclusivamente as entradas formais de 0x80163684
# e 0x80168788 e possuem delay slots identificados; duas referencias DATA
# apontam exatamente para 0x8012976C e 0x80131D8C. As tres calls restantes
# entre raiz e helpers ficam integralmente dentro da closure. Nao existe
# referencia Ghidra nem literal binario alinhado para interiores; os dois
# literais binarios encontrados coincidem apenas com as entradas registradas
# nas tabelas de dados. Todos os demais destinos diretos ja sao estaticos.
# Nao ha jalr, salto por registrador nao-ra, fluxo computado, syscall, break,
# div, acesso desalinhado ou COP0/COP2. Os oito mult de 0x80168788 possuem
# consumo coerente de LO por mflo em todos os caminhos. O vet classificou as
# sete funcoes como ACCEPT, sem WARN ou REJECT. P1-run-209 observou
# 0x80163684 (21/21 hits) e 0x80168788 (0/17); as duas baselines anteriores
# tambem observaram 0x8012976C (0/87 e 0/2), 0x80131D8C (0/20 e 0/60),
# 0x80163684 (21/21 em ambas) e 0x80168788 (0/19 em ambas), cobrindo a
# variacao de rota da partida mais recente. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos sete corpos, na ordem registrada pela auditoria:
# 884ae9231901c0c808e17d94e1aaa7eac0d32d0b92968af7ed9ac909956b85b3.
# O manifesto candidato projeta 51.520/195.584 palavras (26,3416%), 7.116
# blocos, 1.460 calls, 391 alvos, 2.896 branches, 5.688 delay slots e as mesmas
# 59 indiretas: delta exato de 629 palavras (+0,3216 p.p.) contra p1-run-209.
# P1-run-210 confirmou as sete emissoes F/R e 51.520/195.584 palavras (26,3416%),
# 7.116 blocos, 1.460 calls, 391 alvos, 2.896 branches, 5.688 delay slots e as
# mesmas 59 indiretas. A paginacao modified completa teve 14 paginas, 341/526 PCs
# e pagina final vazia nos dois snapshots; a varredura explicita das sete funcoes
# nao encontrou misses antes nem depois. Contra p1-run-209, blocks (+0,409%),
# modified-global (-0,394%), page0 (-1,505%), fallback (-0,929%) e overlay
# (-0,143%) ficaram dentro de 1,6%. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do before.
# Gate manual aprovado: sem regressoes em gameplay, audio, musica, modelos 3D ou
# texturas; FPS 55-56.
0x8012976C
0x80131D8C
0x80163684
0x80168788

# Micro-lote S1-190 aprovado em p1-run-211: quatro raizes formais
# e closure direta de seis funcoes, totalizando 2.972 bytes. 0x8013F7A0 fecha
# diretamente em 0x8013F838 e 0x8013F998; 0x8014F218, 0x801502D8 e
# 0x8015A428 sao corpos independentes. A unica referencia externa de codigo
# chega exatamente a entrada de 0x801502D8 por jal em 0x8014FF18, com nop no
# delay slot; uma referencia DATA aponta exatamente para 0x8013F7A0. Essa raiz
# faz duas calls internas a closure e uma call para 0x80123AE0, ja estatico.
# Nao existe referencia Ghidra nem literal binario alinhado para interiores;
# o unico literal binario encontrado coincide com a entrada 0x8013F7A0.
# Todos os demais destinos diretos ja sao estaticos. Nao ha jalr, salto por
# registrador nao-ra, fluxo computado, syscall, break, div ou acesso
# desalinhado. 0x8014F218 possui um par mult/mfhi coerente; 0x8013F998 faz
# configuracao direta e deterministica de registradores GTE via ctc2. O vet
# classificou cinco funcoes como ACCEPT e 0x801502D8 como WARN apenas por ser
# uma folha sem frame; a inspecao confirmou que ela nao usa a pilha e retorna
# diretamente por jr ra. P1-run-210 observou no AFTER 0x8013F7A0 (165 hits),
# 0x8013F804 (164), 0x8013F838 (1), 0x8014F218 (5), 0x8014F358 (120),
# 0x801502D8 (53), 0x8015A428 (156) e os interiores 0x8015A474,
# 0x8015A49C e 0x8015A4EC (141 cada), todos modified e sem misses; 0x8013F998
# nao foi executada nessa rota, mas e alvo direto formal da raiz auditada.
# SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos seis corpos, na ordem da auditoria:
# 978d3e72e53bc0dca1c2706372d093f58fd55ae757fac1a7b1d8d231ef24f911.
# A projecao candidata e 51.904/195.584 palavras (26,5380%), 7.181 blocos,
# 1.473 calls, 393 alvos, 2.922 branches, 5.739 delay slots e as mesmas 59
# indiretas: delta exato de 384 palavras (+0,1963 p.p.) contra p1-run-210.
# P1-run-211 confirmou F/R 8013F7A0 98, 8013F838 160, 8013F998 59C,
# 8014F218 300, 801502D8 24 e 8015A428 E4, com 51.904/195.584 palavras
# (26,5380%), 7.181 blocos, 1.473 calls, 393 alvos, 2.922 branches, 5.739
# delay slots e as mesmas 59 indiretas. A paginacao modified completa teve
# 14 paginas, 336/520 PCs e pagina final vazia nos dois snapshots; as varreduras
# explicitas das seis funcoes ficaram vazias antes e depois. Contra p1-run-210,
# blocks (-0,468%), modified-global (+1,270%), page0 (+1,192%), fallback
# (+0,028%) e overlay (-0,326%) ficaram dentro de 1,3%. Zero abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Gate manual aprovado sem regressao em
# gameplay, audio, musica, modelos 3D ou texturas; FPS 55-56.
0x8013F7A0
0x8014F218
0x801502D8
0x8015A428

# Micro-lote S1-191 candidato: 27 raizes formais e closure direta de 31 funcoes,
# totalizando 6.352 bytes e 1.588 palavras. 0x80127764 fecha em 0x801277B8 e
# 0x80127810; 0x80127810 fecha em 0x8012C628; 0x8015D584 fecha em 0x8015D6A4;
# 0x8015D164 fecha em 0x80163C48. Todos os demais alvos diretos ja sao
# estaticos. Os 31 corpos possuem fronteiras e retornos formais, sem fluxo
# computado, jalr, salto por registrador nao-ra, syscall, break, div ou
# COP0/COP2. As 44 calls externas e 20 referencias DATA auditadas chegam
# exclusivamente a entradas exatas; nenhuma referencia chega a interiores.
# A varredura binaria confirmou os mesmos 20 literais alinhados em dez entradas
# formais e zero literal para interiores. Os oito mult de 0x8011180C e
# 0x801293D4 possuem consumo coerente de HI/LO; os dois grupos lwl/lwr e swl/swr
# de 0x80151890 sao pares canonicos de copia desalinhada. O vet classificou 22
# funcoes como ACCEPT, nove como WARN apenas por folhas sem frame e zero REJECT;
# as nove folhas nao usam sp e retornam diretamente por jr ra. P1-run-211
# observou 30/31 entradas no AFTER, todas modified e sem misses; 0x8015D6A4 nao
# foi executada nessa rota, mas e alvo direto formal e auditado de 0x8015D584.
# SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos 31 corpos, na ordem da auditoria:
# 78f5ea685e8391d378d4dfa8f827230a2ce715728cb865389a94a5544145ea96.
# A projecao candidata e 53.492/195.584 palavras (27,3499%), 7.403 blocos,
# 1.520 calls, 405 alvos, 2.993 branches, 5.921 delay slots e as mesmas 59
# indiretas: delta exato de 1.588 palavras (+0,8119 p.p.) contra p1-run-211 e
# primeiro marco formal acima de 27,0%. P1-run-212 confirmou as 31 emissoes F/R,
# 53.492/195.584 palavras (27,3499%), 7.403 blocos, 1.520 calls, 405 alvos,
# 2.993 branches, 5.921 delay slots e as mesmas 59 indiretas. A paginacao
# modified completa teve 14 paginas, 345/516 PCs e pagina final vazia nos dois
# snapshots; as seeds e a closure permaneceram ausentes dos misses antes/depois,
# como esperado apos a promocao estatica. Contra p1-run-211, blocks (+0,915%),
# modified-global (-2,436%), page0 (-2,982%), fallback (+1,163%) e overlay
# (-3,231%) ficaram dentro de 3,3%. Zero abort, bloqueio, divergencia, mismatch,
# invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja constava do
# before. Gate manual aprovado: sem regressoes em gameplay, audio, musica,
# modelos 3D ou texturas; FPS 55-56.
0x8011180C
0x80114E24
0x80114FC0
0x80115054
0x80125984
0x80127764
0x80127810
0x80128E3C
0x801293D4
0x8014FD54
0x801502FC
0x80150470
0x801504F8
0x80151890
0x8015A50C
0x8015C000
0x8015D164
0x8015D584
0x8015E8CC
0x8015E908
0x8015EA3C
0x8015EB14
0x8015EC3C
0x8015F420
0x8015F474
0x80160430
0x80160F94

# Micro-lote S1-192 candidato: dez raizes formais e closure direta de 14 funcoes,
# totalizando 7.080 bytes e 1.770 palavras. 0x8013CB8C fecha em 0x8019384C e
# 0x8012C73C; 0x80196C18 fecha em 0x8019740C; 0x801A71B4 fecha em 0x801A732C;
# 0x8012BF18 chama 0x8012BC7C, que tambem e raiz observada. Todos os demais
# destinos diretos ja sao estaticos. Os 14 corpos possuem fronteiras e retornos
# formais, sem fluxo computado, jalr, syscall ou referencia externa a interior.
# As 22 calls, duas referencias DATA e duas PARAM chegam somente a entradas
# exatas; tres literais binarios alinhados apontam para 0x80101E04, 0x80196C18
# e 0x8019740C, e nenhum aponta para interior. A divisao de 0x80101E04 possui
# guarda explicita do divisor, breaks defensivos e consumo coerente de HI/LO.
# A sequencia GTE de 0x8013CB8C e deterministica, e seu mult consome HI por
# mfhi. O vet classificou dez funcoes como ACCEPT, quatro como WARN e zero
# REJECT. 0x8012BF18 cria frame apos seis loads independentes; 0x8019384C,
# 0x8019740C e 0x801A732C sao folhas sem uso de sp e retornam por jr ra.
# P1-run-212 observou PCs em todos os 14 corpos, sem misses. SHA-256 do
# executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos 14 corpos, na ordem da auditoria:
# d9684ccdb5cdf946ea77bb9a10bca33e6c7be0775af23dcad2324389d45e5754.
# A projecao candidata e 55.262/195.584 palavras (28,2549%), 7.656 blocos,
# 1.615 calls, 415 alvos, 3.065 branches, 6.124 delay slots e as mesmas 59
# indiretas: delta exato de 1.770 palavras (+0,9050 p.p.) contra p1-run-212 e
# primeiros marcos formais acima de 27,5% e 28,0%. p1-run-213 confirmou as 14
# emissoes F/R e 55.262/195.584 palavras (28,2549%), sem miss de seed/closure,
# com 14 paginas modified (323/447 PCs) e pagina final vazia nos dois snapshots.
# Zero abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch
# nativo; guard_yield=1 ja constava do before. Contra p1-run-212: blocks -1,220%,
# modified-global +3,997%, page0 +5,010% e fallback -3,204%. Overlay +18,803% vem
# da rota dinamica 0x8004AF94 (861.714 instrucoes no after, ante 40.392), sem
# alteracao no loader ou dispatch. Validacao manual sem regressao; FPS 55-57.
0x80101E04
0x8012A58C
0x8013CB8C
0x80179B50
0x8018CE20
0x80185E10
0x80196C18
0x8012BC7C
0x8012BF18
0x801A71B4

# Micro-lote S1-193 candidato: dez raizes formais e closure direta de 13 funcoes,
# totalizando 5.636 bytes e 1.409 palavras. 0x80109864 fecha em 0x80109FFC;
# 0x801271F8 fecha em 0x8012AF90; 0x8016941C fecha em 0x801A0E98. Todos os
# demais destinos diretos ja sao estaticos. Os 13 corpos possuem fronteiras e
# um retorno formal cada, sem fluxo computado, jalr, syscall ou referencia
# externa a interior. As 30 calls e duas referencias DATA chegam somente a
# entradas exatas; dois literais binarios alinhados apontam para 0x801271F8 e
# 0x8015E890, e nenhum aponta para interior. O vet classificou dez funcoes como
# ACCEPT, tres como WARN e zero REJECT. 0x80109FFC e 0x8018ED94 sao folhas sem
# uso de sp; 0x8012AF90 e folha ABI que le os argumentos empilhados do chamador
# em sp+0x10/sp+0x14 sem alterar sp. Suas duas divisoes possuem guardas do
# divisor, breaks defensivos e consumo coerente de LO. O multu/mfhi de
# 0x8015CA54 e coerente. A sequencia COP2/GTE de 0x8015DE60 e deterministica,
# e seus tres mult consomem LO imediatamente. P1-run-213 observou PCs em 12/13
# corpos; 0x80109FFC nao foi executada nessa rota, mas e alvo direto formal de
# 0x80109864. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos 13 corpos, na ordem da auditoria:
# 9828dd013c43c7f496afeec0282ff2c40a8de204b56f7cea70eb894b0924680c.
# A projecao candidata e 56.671/195.584 palavras (28,9753%), 7.839 blocos,
# 1.642 calls, 418 alvos, 3.149 branches, 6.267 delay slots e as mesmas 59
# indiretas: delta exato de 1.409 palavras (+0,7204 p.p.) contra p1-run-213,
# primeiro marco formal acima de 28,5% e apenas 49 palavras abaixo de 29,0%.
# O vet completo registra 192 ACCEPT, 105 WARN e zero REJECT. p1-run-214
# confirmou as 13 emissoes F/R e 56.671/195.584 palavras (28,9753%), sem miss
# de seed/closure, com 14 paginas modified (303/438 PCs) e pagina final vazia
# nos dois snapshots. Zero abort, bloqueio, divergencia, mismatch, invalidacao,
# revalidacao ou dispatch nativo; guard_yield=1 ja constava do before. Contra
# p1-run-213: blocks -0,252%, modified-global -0,801%, page0 -0,965%, fallback
# +1,854% e overlay -4,163%, todos dentro de 4,2%. Validacao manual sem
# regressao; FPS 55-57.
0x80109864
0x801171B4
0x80125C4C
0x801271F8
0x8012C4D8
0x8015CA54
0x8015DE60
0x8015E890
0x8016941C
0x8018ED94

# Micro-lote S1-194 aprovado em p1-run-215: a raiz formal 0x8012318C fecha sobre oito corpos
# ainda nao estaticos: 0x8012318C, 0x8019B578, 0x8019B5FC, 0x8019B724,
# 0x8019B7E8, 0x8019BAAC, 0x8019D4B0 e 0x8019DED0. 0x8019AC90 e
# 0x8019C904, tambem alcancadas, ja sao estaticas. Os dez corpos auditados
# totalizam 3.864 bytes, possuem dez retornos formais, 116 delay slots e zero
# referencia externa de codigo a interior. As 35 referencias DATA a interiores
# de 0x8019B724 sao exatamente a jump table em 0x801AF1E0: o indice e guardado
# por sltiu < 0x23 e suas 35 entradas apontam somente para 0x8019B79C,
# 0x8019B7B4, 0x8019B7CC ou 0x8019B7E0, todos dentro do corpo formal. O jr v0
# em 0x8019B794 tem NOP no delay slot e corresponde ao idioma reconhecido por
# function_analysis/code_generator, que inclui os quatro blocos e emite switch.
# Nao ha jalr, syscall ou COP0. Os 15 BREAK de 0x8019BAAC sao guardas de divisao;
# 0x8019D4B0 possui uma sequencia deterministica de 23 operacoes GTE/COP2. O vet
# completo retorna 193 ACCEPT, 105 WARN conhecidos e zero REJECT; a nova raiz e
# ACCEPT. P1-run-214 observou PCs em 0x8012318C, 0x8019B724 e 0x8019BAAC; os
# demais corpos sao dependencias diretas formais. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos dez corpos, na ordem da auditoria:
# 12aa6ea74229f65861cca4d82a53e69f014f262fcc75624940df237ef740908f.
# P1-run-215 confirmou as oito emissoes F/R e exatamente 57.535/195.584 palavras
# (29,4170%), 7.965 blocos, 1.678 calls, 427 alvos, 3.190 branches, 6.366 delay
# slots e 60 indiretas: delta de 864 palavras (+0,4417 p.p.) contra p1-run-214 e
# primeiro marco formal acima de 29,0%. As 14 paginas modified tiveram 311/429
# PCs, pagina final vazia nos dois snapshots e zero miss da seed, closure ou
# casos do switch. Zero abort, bloqueio, divergencia, mismatch, invalidacao,
# revalidacao ou dispatch nativo; guard_yield=1 ja constava do before. Contra a
# baseline: blocks +0,295%, modified-global -1,370%, page0 +0,206%, fallback
# +0,736% e overlay -6,461%, este favoravel e sem mudanca de loader/dispatch.
# Validacao manual sem regressao; FPS 55-57.
0x8012318C

# Micro-lote S1-195 aprovado em p1-run-216: a raiz formal 0x801193D0 fecha
# sobre quatro corpos ainda nao estaticos: 0x801193D0 (1.488 bytes), 0x8019C678
# (312), 0x8019C4B8 (288) e 0x8019EBE0 (464), totalizando 2.552 bytes/638
# palavras. As demais chamadas terminam em 0x801199A0, 0x801199C4, 0x8019D740,
# 0x8019D7D0, 0x8019C184, 0x8019C0B8 e 0x80167D28, todos ja estaticos. Os quatro
# corpos possuem fronteiras formais, quatro retornos por jr ra e 82 delay slots;
# nao ha referencia externa de codigo nem literal alinhado para interiores.
# Tambem nao ha jalr, salto por registrador nao-ra, syscall, BREAK ou COP0. As
# nove operacoes GTE/COP2 e os sete pares mult/consumo de HI ou LO foram
# auditados nos corpos completos. O vet completo registra 194 ACCEPT, 105 WARN
# conhecidos e zero REJECT; a nova raiz e ACCEPT no terceiro opcode. SHA-256 do
# executavel: 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos quatro corpos, na ordem acima:
# b4f923b81169ea9645937af45ee61b759438d9171bc240c82397790c36b33aef.
# P1-run-215 observou a raiz e as continuacoes internas 0x801196EC e 0x80119740
# somente no cenario de D.Dark. P1-run-216 confirmou F/R 801193D0 5D0,
# 8019C4B8 120, 8019C678 138 e 8019EBE0 1D0, com exatamente 58.173/195.584
# palavras (29,7432%), 8.072 blocos, 1.699 calls, 433 alvos, 3.238 branches,
# 6.448 delay slots e as mesmas 60 indiretas: delta de 638 palavras (+0,3262
# p.p.) e primeiro marco formal acima de 29,5%. As 14 paginas modified tiveram
# 337/475 PCs, pagina final vazia e zero miss da seed/closure nos dois snapshots.
# Zero abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou
# dispatch nativo; guard_yield=1 ja constava do before. Contra a baseline D.Dark:
# blocks -0,219%, modified-global -12,279%, page0 -11,872%, fallback -0,425% e
# overlay +5,314%, explicado pela rota/duracao sem mudanca de loader ou dispatch.
# A correcao geral half-open eliminou a costura da agua; validacao manual sem
# regressao em gameplay, input, audio, musica, modelos 3D ou texturas. FPS 43-47
# em Ken P1 x D.Dark P2 e 58-60 na contraprova D.Dark P1 x Ken P2, apos reinicio.
0x801193D0

# Micro-lote S1-196 aprovado em p1-run-217: a raiz formal 0x80118020 fecha
# diretamente em 0x8019D130 e 0x8019D1D0. Os tres corpos medem respectivamente
# 1.852, 160 e 160 bytes, totalizando 2.172 bytes/543 palavras. As demais calls
# terminam em 0x801938B0, 0x80194990, 0x801948DC, 0x801945F8, 0x801946C8,
# 0x801690D4, 0x8010C72C, 0x80117A10 e 0x80197F88, todos ja estaticos. A unica
# referencia binaria externa a closure e o ponteiro DATA em 0x801AFCCC, que
# aponta exatamente para a entrada 0x80118020 na tabela de callbacks adjacente
# a 0x80118010 e 0x80118018; nao ha referencia de codigo ou literal alinhado
# para interiores. Os tres corpos possuem fronteiras formais, cinco retornos
# por jr ra e 37 delay slots. Nao ha jalr, salto por registrador nao-ra, syscall,
# BREAK, divisao, COP0 ou acesso desalinhado. As 59 operacoes GTE/COP2 da closure
# e o unico par mult/mfhi foram auditados nos corpos completos. P1-run-216
# observou deltas modified de 2.315 em 0x80118020 e 2.228 em cada helper somente
# no cenario D.Dark; os tres enderecos permaneceram em zero absoluto no cenario
# Ken. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos tres corpos, na ordem acima:
# 8492be1afaa77364c6394e56a7765ce9cf4e5df82c323aa7dc21822c9ffc7695.
# O vet completo registra 195 ACCEPT, 105 WARN conhecidos e zero REJECT; a nova
# raiz e ACCEPT no primeiro opcode. P1-run-217 confirmou F/R 80118020 73C,
# 8019D130 A0 e 8019D1D0 A0, com exatamente 58.716/195.584 palavras (30,0209%),
# 8.111 blocos, 1.713 calls, 436 alvos, 3.251 branches, 6.485 delay slots e as
# mesmas 60 indiretas: delta de 543 palavras (+0,2776 p.p.) e primeiro marco
# formal acima de 30,0%. As 14 paginas modified tiveram 333/465 PCs, pagina final
# vazia e zero miss da seed/closure nos dois snapshots. Zero abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Contra p1-run-216: blocks -0,301%,
# modified-global +2,062%, page0 +3,847%, fallback -0,305% e overlay +2,274%,
# todos dentro de 3,9%. Validacao manual sem regressao em gameplay, input, audio,
# musica, modelos 3D, texturas ou agua; FPS 44-48 em Ken P1 x D.Dark P2 e 58-60
# na contraprova D.Dark P1 x Ken P2 apos reinicio.
0x80118020

# Micro-lote S1-197 aprovado em p1-run-218: a raiz formal 0x80118CB0 fecha
# diretamente em 0x801189F8 e 0x80118B98. Os tres corpos medem respectivamente
# 1.220, 416 e 280 bytes, totalizando 1.916 bytes/479 palavras. As demais calls
# terminam em 0x80119174, 0x8011919C, 0x801690D4, 0x801938B0, 0x80194828,
# 0x8019C0B8, 0x8019C184, 0x8019D740 e 0x8019D7D0, todos ja estaticos. A unica
# referencia direta externa chega exatamente a entrada 0x80118CB0 em 0x80117B2C;
# nao ha referencia de codigo, literal alinhado ou chamada computada para
# interiores. Os tres corpos possuem fronteiras formais, tres retornos por jr ra,
# 35 branches, quatro jumps diretos e 65 delay slots. Nao ha jalr, salto por
# registrador nao-ra, syscall, BREAK, divisao, COP0 ou acesso desalinhado. As cinco
# operacoes COP2/GTE e os oito pares mult/leitura de HI ou LO foram auditados nos
# corpos completos. P1-run-217 observou deltas modified de 2.036 em 0x80118CB0,
# 4.939 em 0x801189F8 e 1.710 em 0x80118B98 somente no cenario D.Dark; os tres
# enderecos permaneceram em zero absoluto na contraprova do cenario Ken. SHA-256
# concatenado dos tres corpos, na ordem 0x801189F8, 0x80118B98 e 0x80118CB0:
# f97dbb6d8436d3adae2cb1f96e3b16a3e318db5e938ee8cf8b9ce66f803f5412.
# O vet completo registra 196 ACCEPT, 105 WARN conhecidos e zero REJECT; a nova
# raiz e ACCEPT no terceiro opcode. P1-run-218 confirmou F/R 80118CB0 4C4,
# 801189F8 1A0 e 80118B98 118, com exatamente 59.195/195.584 palavras (30,2658%),
# 8.195 blocos, 1.736 calls, 440 alvos, 3.286 branches, 6.550 delay slots e as
# mesmas 60 indiretas: delta de 479 palavras (+0,2449 p.p.). As 14 paginas
# modified tiveram 331/456 PCs, pagina final vazia e zero miss da seed/closure nos
# dois snapshots. Zero abort, bloqueio, divergencia, mismatch, invalidacao,
# revalidacao ou dispatch nativo; guard_yield=1 ja constava do before. Contra
# p1-run-217: blocks +0,044%, modified-global +0,331%, page0 +0,676%, fallback
# -0,144% e overlay +5,109%; o excedente de 0,109 ponto no overlay nao teve
# evento de loader ou dispatch, e a contraprova Ken ficou em -2,026%. Validacao
# manual sem regressao em gameplay, input, audio, musica, modelos 3D, texturas,
# iluminacao, efeitos ou agua; FPS 44-48 na faixa alta em Ken P1 x D.Dark P2 e
# 58-60 na faixa alta na contraprova D.Dark P1 x Ken P2 apos reinicio.
0x80118CB0

# Micro-lote S1-198 aprovado em p1-run-219: a raiz formal 0x8014D570 fecha
# diretamente em 0x8014D60C, 0x8014D83C e 0x80194A08. Os quatro corpos medem
# respectivamente 156, 560, 2.952 e 20 bytes, totalizando 3.688 bytes/922
# palavras. As demais calls terminam em 0x80123AE0, 0x801938B0, 0x801945F8,
# 0x801946C8, 0x801948DC, 0x80194990, 0x8019CA30, 0x8019CE70, 0x8019D740,
# 0x8019D7D0, 0x8019E440, 0x8019EFD0 e 0x8010C72C, todos ja estaticos. O
# ponteiro DATA em 0x801B1BBC chega exatamente a entrada da raiz na tabela de
# callbacks; a unica call direta externa para a closure chega exatamente a
# 0x80194A08 em 0x8011A980. Nao ha referencia de codigo, literal alinhado ou
# chamada computada para interiores. Os quatro corpos possuem fronteiras formais,
# quatro retornos por jr ra, 35 branches, dez jumps diretos e 78 delay slots. Nao
# ha jalr, salto por registrador nao-ra, syscall, BREAK, divisao, COP0 ou acesso
# desalinhado. As 41 operacoes COP2/GTE e os quatro pares mult/leitura de HI ou LO
# foram auditados nos corpos completos. P1-run-218 observou deltas modified de
# 455 em 0x8014D570, 4 em 0x8014D60C, 447 em 0x8014D83C e 192 em 0x80194A08,
# somente no cenario D.Dark; os quatro enderecos permaneceram em zero absoluto na
# contraprova do cenario Ken. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos quatro corpos, na ordem acima:
# 5d9cdf44b5e715fd68fbd76613d44a0d50fb7f74b7687394d4cbf7ff0ca9f6dc.
# O vet completo registra 197 ACCEPT, 105 WARN conhecidos e zero REJECT; a nova
# raiz e ACCEPT no primeiro opcode. P1-run-219 confirmou F/R 8014D570 9C,
# 8014D60C 230, 8014D83C B88 e 80194A08 14, com exatamente 60.117/195.584
# palavras (30,7372%), 8.287 blocos, 1.765 calls, 443 alvos, 3.321 branches,
# 6.628 delay slots e as mesmas 60 indiretas: delta de 922 palavras (+0,4714
# p.p.) e primeiro marco formal acima de 30,5%. As 14 paginas modified tiveram
# 331/451 PCs, pagina final vazia e zero miss da seed/closure nos dois snapshots;
# a contraprova Ken teve 311/458 PCs, tambem sem miss. Zero abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Contra p1-run-218, D.Dark teve blocks
# +0,211%, modified-global -0,317%, page0 -0,264%, fallback +0,472% e overlay
# -1,755%; a contraprova Ken ficou em -0,398%, +3,408%, +2,314%, -0,272% e
# +1,312%, respectivamente, sem evento tecnico. A validacao manual aprovou
# inputs, audio, musica, modelos, texturas, iluminacao e efeitos; agua correta,
# FPS 46-48 em D.Dark e 58-60 em Ken apos reinicio.
0x8014D570

# Micro-lote S1-199 aprovado em p1-run-220: duas raizes formais diretas,
# 0x80110FFC..0x801111DF e 0x801111E0..0x801112B7, com respectivamente 484 e
# 216 bytes, totalizando 700 bytes/175 palavras novas. As duas unicas calls
# externas chegam exatamente as entradas em 0x8010FFC4 e 0x8010FFCC; o caller
# formal 0x8010FAEC possui frame de 0x18. A raiz 0x80110FFC recebe WARN somente
# por ser frameless: e folha genuina, nao usa sp, nao faz calls e retorna por
# jr ra. A raiz 0x801111E0 recebe ACCEPT, possui frame de 0x18 e sua unica call
# termina em 0x8019C678, ja estatica. Os dois corpos somam dois retornos, cinco
# branches condicionais, um jump direto, uma call direta e nove delay slots;
# nao ha jalr, salto por registrador nao-ra, referencia ou literal alinhado
# para interiores, syscall, BREAK, divisao, COP0/COP2 ou acesso desalinhado.
# P1-run-219 observou 211/2.402 hits
# before/after em cada entrada, delta de 2.191 somente no cenario D.Dark; ambas
# ficaram em zero absoluto na contraprova Ken. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos dois corpos:
# d1ac84052ebb9648ad0db8f43e05096c73208b7a31043952242d0740a567ba50.
# O vet completo registra 198 ACCEPT, 106 WARN conhecidos e zero REJECT. O
# manifesto candidato projeta exatamente 60.292/195.584 palavras (30,8267%),
# 8.300 blocos, 1.766 calls, 443 alvos, 3.326 branches, 6.637 delay slots e as
# mesmas 60 indiretas: delta de 175 palavras (+0,0895 p.p.). P1-run-220
# confirmou F/R 80110FFC 1E4 e 801111E0 D8; as 14 paginas modified tiveram
# 329/447 PCs, pagina final vazia e zero miss das duas seeds nos dois snapshots.
# A contraprova Ken teve 310/489 PCs e tambem zero miss. Zero abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. Contra p1-run-219, D.Dark teve blocks
# -2,646%, fallback -2,410%, modified-global +16,876%, page0 +18,574% e overlay
# +19,655%; as tres ultimas taxas acompanham 114,3 M de instrucoes, contra
# 155,9 M na baseline. A contraprova Ken permaneceu entre -1,687% e -0,266% em
# todas as taxas. Gate manual aprovado: sem regressoes em inputs, audio, musica,
# modelos, texturas, iluminacao ou efeitos; agua correta, FPS 50-53 em D.Dark,
# predominantemente 53, e 58-60 em Ken apos reinicio.
0x80110FFC
0x801111E0

# Micro-lote S1-200 aprovado em p1-run-221: a raiz formal 0x8014BA4C fecha
# diretamente em 0x8014BAE4 e 0x8014BC54. Os tres corpos medem respectivamente
# 152, 368 e 2.700 bytes, totalizando 3.220 bytes/805 palavras novas. As calls
# restantes terminam em 0x80123AE0, 0x801938B0, 0x80194990, 0x801948DC,
# 0x801945F8, 0x801946C8 e 0x8010C72C, todos ja estaticos. O unico ponteiro
# DATA encontrado, em 0x801B1BAC, chega exatamente a entrada da raiz; nao ha
# referencia de codigo ou literal alinhado para interiores. Os tres corpos
# possuem tres retornos, 32 branches condicionais, 12 jumps diretos, dez calls
# diretas e 57 delay slots. Nao ha jalr, salto por registrador nao-ra, syscall,
# BREAK, divisao, COP0 ou acesso desalinhado. O corpo 0x8014BC54 contem 35
# transferencias de registradores COP2, oito comandos GTE, nove lwc2 e oito
# swc2; o unico multu e seguido imediatamente por mfhi. P1-run-220 observou
# 0/513 hits before/after em 0x8014BA4C, 0/12 em 0x8014BAE4 e 0/477 em
# 0x8014BC54 no cenario D.Dark; a contraprova Ken teve 0/170, 0/3 e 0/161,
# respectivamente. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos tres corpos:
# ceba67e8ed04d4a6c33e6aa2a98ef78ae0ef3feeb4531ac8c94e5680f58b7295.
# O vet isolado registra tres ACCEPT, zero WARN e zero REJECT; o vet completo
# registra 199 ACCEPT, 106 WARN conhecidos e zero REJECT. O manifesto candidato
# projeta exatamente 61.097/195.584 palavras (31,2382%), 8.373 blocos, 1.776
# calls, 445 alvos, 3.358 branches, 6.694 delay slots e as mesmas 60 indiretas:
# delta de 805 palavras (+0,4116 p.p.) e primeiro marco formal acima de 31,0%.
# P1-run-221 confirmou F/R 8014BA4C 98, 8014BAE4 170 e 8014BC54 A8C, com
# exatamente 61.097/195.584 palavras (31,2382%), 8.373 blocos, 1.776 calls,
# 445 alvos, 3.358 branches, 6.694 delay slots e as mesmas 60 indiretas. Em
# D.Dark, as 14 paginas modified tiveram 328/423 PCs; em Ken, 311/446. As
# paginas finais estavam vazias e nao houve miss de seed ou closure em nenhum
# snapshot. Zero abort, bloqueio, divergencia, mismatch, invalidacao,
# revalidacao ou dispatch nativo; guard_yield=1 ja constava do before. As taxas
# D.Dark variaram blocks -0,174%, modified-global +3,081%, page0 +3,845%,
# fallback -0,782% e overlay -0,165%; a contraprova Ken variou +0,726%,
# -1,724%, -2,344%, +0,644% e -1,692%, respectivamente. Gate manual aprovado:
# agua correta, FPS 50-53 em D.Dark e 58-60 em Ken, sem regressao em inputs,
# audio, musica, modelos, texturas, iluminacao ou efeitos.
0x8014BA4C

# Micro-lote S1-201 aprovado em p1-run-222: a raiz formal 0x8011875C mede
# 668 bytes/167 palavras e possui um unico caller direto, em 0x80117B10, que
# chega exatamente a entrada. O corpo faz quatro calls para 0x801938B0 e uma
# para 0x80194A44, ambas entradas ja estaticas. Possui um retorno, quatro
# branches condicionais, zero jump direto e dez delay slots. Nao ha referencia
# externa ou literal alinhado para interior, jalr, salto por registrador nao-ra,
# syscall, BREAK, divisao, COP0/COP2 ou acesso desalinhado. Os quatro mult sao
# consumidos por mfhi sem outro escritor de HI no intervalo. P1-run-221 observou
# 1/2 hits before/after no cenario D.Dark, enquanto a contraprova Ken permaneceu
# em zero absoluto. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 do corpo:
# 552f87f220f32a7b19d175c80606277dd0dfdc550abecd8e1b2f2e606cfa8669.
# O vet isolado registra um ACCEPT, zero WARN e zero REJECT; o vet completo tem
# 200 ACCEPT, 106 WARN conhecidos e zero REJECT. O manifesto candidato projeta
# exatamente 61.264/195.584 palavras (31,3236%), 8.387 blocos, 1.781 calls,
# 445 alvos, 3.362 branches, 6.704 delay slots e as mesmas 60 indiretas: delta
# de 167 palavras (+0,0854 p.p.). P1-run-222 confirmou F/R 8011875C 29C. Em
# D.Dark, as 14 paginas modified tiveram 329/454 PCs; em Ken, 311/487. As
# paginas finais estavam vazias e nao houve miss da seed em nenhum snapshot.
# Zero abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou
# dispatch nativo; guard_yield=1 ja constava do before. As taxas D.Dark variaram
# blocks -0,008%, modified-global -0,258%, page0 +0,283%, fallback +0,085% e
# overlay +0,469%; a contraprova Ken variou -0,615%, +1,326%, +3,222%, -0,546%
# e +2,604%, respectivamente. Gate manual aprovado: agua correta, FPS 51-53 em
# D.Dark e 58-60 em Ken, sem regressao em inputs, audio, musica, modelos,
# texturas, iluminacao ou efeitos.
0x8011875C

# Micro-lote S1-202 aprovado em p1-run-223: 0x8013D58C e uma raiz formal de 4.568 bytes/
# 1.142 palavras, observada em 0/151 hits before/after na contraprova Ken do
# p1-run-222 e ausente nos dois snapshots D.Dark. O unico caller externo,
# 0x8013CB50 em 0x8013CB08, chega exatamente a entrada; nao ha referencia
# externa nem literal alinhado de 32 bits para o interior. O corpo termina em
# 0x8013E763, imediatamente antes da funcao formal 0x8013E764, e possui um
# retorno, 56 branches condicionais, 11 jumps diretos, 66 calls para 21 alvos
# ja estaticos e 134 delay slots. Nao ha jalr, salto por registrador nao-ra,
# syscall, BREAK, divisao, COP0 ou acesso desalinhado. O corpo GTE/COP2 tem dois
# lwc2, tres swc2 e uma operacao cop2; os tres mult sao consumidos por um mfhi
# e dois mflo, sem escritor concorrente de HI/LO nos respectivos intervalos.
# SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 do corpo:
# 875f0e1d781af8e5690832fbbd74b822f61c93a3405c473c176f5c04584d0faf.
# O vet isolado registra um ACCEPT, zero WARN e zero REJECT; o vet completo tem
# 201 ACCEPT, 106 WARN conhecidos e zero REJECT. O manifesto confirmou
# exatamente 62.406/195.584 palavras (31,9075%), 8.549 blocos, 1.847 calls,
# 448 alvos, 3.418 branches, 6.838 delay slots e as mesmas 60 indiretas: delta
# de 1.142 palavras (+0,5839 p.p.). P1-run-223 confirmou F/R 8013D58C 11D8.
# Em D.Dark, as 14 paginas modified tiveram 329/431 PCs; em Ken, 310/489. As
# paginas finais estavam vazias e nao houve miss da seed em nenhum snapshot.
# Zero abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou
# dispatch nativo; guard_yield=1 ja constava do before. As taxas D.Dark variaram
# blocks -0,532%, modified-global +3,984%, page0 +4,317%, fallback -0,432% e
# overlay +4,379%; a contraprova Ken variou +0,021%, +1,274%, +0,463%, +0,432%
# e +0,395%, respectivamente. Gate manual aprovado: agua correta, FPS 51-52 em
# D.Dark e 58-60 em Ken, sem regressao em inputs, audio, musica, modelos,
# texturas, iluminacao ou efeitos.
0x8013D58C

# Micro-lote S1-203 aprovado em p1-run-224: a raiz formal 0x80127C48 fecha diretamente em
# 0x80127CA4 e 0x80127D1C. Os tres corpos medem 92, 120 e 668 bytes,
# totalizando 880 bytes/220 palavras novas. Duas entradas DATA, em 0x801B03B4
# e 0x801B03D4, chegam exatamente a raiz; nao ha referencia externa nem literal
# alinhado de 32 bits para interiores. As dez calls da closure terminam somente
# em 0x8012B8F4, 0x8012BB84, 0x8012BAA8 e 0x8012B730, todos ja estaticos. Os
# tres corpos possuem tres retornos, oito branches condicionais, seis jumps
# diretos e 27 delay slots. Nao ha jalr, salto por registrador nao-ra, syscall,
# BREAK, divisao, COP0/COP2, HI/LO ou acesso desalinhado. P1-run-223 nao
# observou PC da closure no cenario D.Dark; na contraprova Ken, 0x80127C48,
# 0x80127CA4 e 0x80127D1C passaram respectivamente de 0 para 144, 1 e 144 hits.
# SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 concatenado dos tres corpos:
# 6dcb693f7871d889dc27166548c062cacf1a074e83019a3b0404ec0b2f29013a.
# O vet isolado registra um ACCEPT, zero WARN e zero REJECT; o vet completo
# registrou 202 ACCEPT, 106 WARN conhecidos e zero REJECT. O manifesto confirmou
# exatamente 62.626/195.584 palavras (32,0200%), 8.579 blocos, 1.857 calls,
# 450 alvos, 3.426 branches, 6.865 delay slots e as mesmas 60 indiretas: delta
# de 220 palavras (+0,1125 p.p.). P1-run-224 confirmou F/R 80127C48 5C,
# 80127CA4 78 e 80127D1C 29C. Em D.Dark, as 14 paginas modified tiveram
# 329/453 PCs; em Ken, 311/431. As paginas finais estavam vazias e nao houve
# miss da seed ou da closure em nenhum snapshot. Zero abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. As taxas D.Dark variaram blocks +0,059%,
# modified-global -0,142%, page0 -1,254%, fallback +0,156% e overlay -0,421%; a
# contraprova Ken variou +0,270%, +0,106%, +0,584%, +0,198% e +0,675%,
# respectivamente. Gate manual aprovado: agua correta, FPS 51-52 em D.Dark e
# 58-60 em Ken, sem regressao em inputs, audio, musica, modelos, texturas,
# iluminacao ou efeitos.
0x80127C48

# Micro-lote S1-204 aprovado em p1-run-225: 0x801191B4 e uma raiz formal de 540 bytes/135
# palavras, entre 0x8011919C e 0x801193D0. O unico caller externo, em
# 0x80117B1C dentro da funcao formal 0x80117AC4, chega exatamente a entrada;
# nao ha referencia externa nem literal alinhado de 32 bits para o interior. O
# corpo possui um retorno, cinco branches condicionais internos, zero jump
# direto, cinco calls e 11 delay slots. As calls terminam somente em 0x80194940,
# 0x80194904, 0x801948DC, 0x801945F8 e 0x801946C8, todos ja estaticos. Nao ha
# jalr, salto por registrador nao-ra, syscall, BREAK, divisao, COP0/COP2, HI/LO
# ou acesso desalinhado. P1-run-224 observou 1/2 hits before/after na entrada e
# 48/96 em 0x80119280, somente no cenario D.Dark; a contraprova Ken permaneceu
# em zero absoluto. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 do corpo:
# 4d133a13969526c88229845aa6e74c8231eb3e04f4ebd7a9f434f9bf521ae1f2.
# O vet isolado registra um ACCEPT, zero WARN e zero REJECT; o vet completo
# registrou 203 ACCEPT, 106 WARN conhecidos e zero REJECT. O manifesto confirmou
# exatamente 62.761/195.584 palavras (32,0890%), 8.595 blocos, 1.862 calls,
# 450 alvos, 3.431 branches, 6.876 delay slots e as mesmas 60 indiretas: delta
# de 135 palavras (+0,0690 p.p.). P1-run-225 confirmou F/R 801191B4 21C. Em
# D.Dark, as 14 paginas modified tiveram 326/443 PCs; em Ken, 309/448. As
# paginas finais estavam vazias e nao houve miss da seed em nenhum snapshot.
# Zero abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou
# dispatch nativo; guard_yield=1 ja constava do before. As taxas D.Dark variaram
# blocks +0,096%, modified-global -2,017%, page0 -1,265%, fallback +0,254% e
# overlay +0,058%; a contraprova Ken variou +0,027%, +0,695%, +0,025%, -0,239%
# e +0,069%, respectivamente. Gate manual aprovado: agua correta, FPS 51-53 em
# D.Dark e 58-60 em Ken, sem regressao em inputs, audio, musica, modelos,
# texturas, iluminacao ou efeitos.
0x801191B4

# Micro-lote S1-205 aprovado em p1-run-226: 0x8012DEB4 e uma raiz formal de 1.332 bytes/333
# palavras, entre 0x8012DEB4 e 0x8012E3E7. A fronteira anterior termina em
# jr ra/NOP em 0x8012DEAC/0x8012DEB0, e a proxima funcao formal comeca em
# 0x8012E3E8. O unico caller externo esta em 0x8012DD54 e chega exatamente a
# entrada. Embora o Ghidra nao tenha nomeado o caller, o corpo bruto entre
# 0x8012DCA0 e 0x8012DD6F possui prologo proprio, fluxo fechado e retorno em
# 0x8012DD68/0x8012DD6C. Nao ha transferencia externa nem literal alinhado ou
# endereco LUI+imediato para o interior. O corpo promovido possui um retorno,
# tres branches condicionais internos, zero jump direto, tres calls e sete
# delay slots. As calls terminam somente em 0x8019D740, 0x8019D7D0 e
# 0x8010C72C, todos ja estaticos. Nao ha jalr, salto por registrador nao-ra,
# syscall, BREAK, multiplicacao/divisao, COP0, HI/LO ou acesso desalinhado; ha
# 35 operacoes COP2/GTE, nove lwc2 e oito swc2 auditados. P1-run-225 observou
# zero hit no cenario D.Dark; a contraprova Ken registrou 96 hits modified na
# entrada, sem misses. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 do corpo:
# 88827f2886ea4a1cedfd4386e4e6334da003905083ed1bab0dc67a876e9f5fed.
# O vet isolado registra um ACCEPT, zero WARN e zero REJECT. Contra o manifesto
# aprovado de p1-run-225, a projecao e exatamente 63.094/195.584 palavras
# (32,2593%), 8.605 blocos, 1.865 calls, 450 alvos, 3.434 branches, 6.883
# delay slots e as mesmas 60 indiretas: delta de 333 palavras (+0,1703 p.p.).
# P1-run-226 confirmou F/R 8012DEB4 534. Em D.Dark, as 14 paginas modified
# tiveram 327/455 PCs; em Ken, 308/408. As paginas finais estavam vazias e nao
# houve miss da seed em nenhum snapshot. Zero abort, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja
# constava do before. As taxas D.Dark variaram blocks +0,045%, modified-global
# +0,696%, page0 -0,212%, fallback -0,569% e overlay -1,425%; a contraprova Ken
# variou -0,186%, +2,121%, +1,848%, -0,129% e +2,708%, respectivamente. Gate
# manual aprovado: agua correta, FPS 51-53 em D.Dark e 58-60 em Ken, sem
# regressao em inputs, audio, musica, modelos, texturas, iluminacao ou efeitos.
0x8012DEB4

# Micro-lote S1-206 aprovado em p1-run-227: as raizes formais 0x801329C4 e 0x80117B54
# promovem cinco corpos e 860 bytes/215 palavras. A closure de 0x801329C4 e
# formada por 0x801329C4 (180 bytes), 0x80132A78 (116), 0x80132AEC (72) e
# 0x80132B34 (396); 0x80117B54 possui 96 bytes. Todas as cinco fronteiras
# formais coincidem com prologos proprios e terminam em jr ra com delay slot.
# A unica transferencia externa para 0x80117B54 e a call exata em 0x80117B04,
# dentro da funcao formal 0x80117AC4. A closure principal e referenciada pelo
# literal DATA alinhado 0x801329C4 em 0x801B1BF0; suas tres transferencias
# internas chegam exatamente as entradas 0x80132A78, 0x80132AEC e 0x80132B34.
# Nao ha transferencia, literal alinhado ou endereco LUI+imediato para
# interiores. Os cinco corpos possuem cinco retornos, oito branches internos,
# quatro jumps diretos internos, oito calls e 25 delay slots. As calls externas
# terminam somente em 0x80123BF4, 0x80194A58, 0x8010C72C, 0x8016864C e
# 0x80117950, todos ja estaticos. Nao ha jalr, salto por registrador nao-ra,
# syscall, BREAK, multiplicacao/divisao, COP0, HI/LO ou acesso desalinhado. O
# corpo 0x80132B34 possui dez operacoes COP2/GTE, quatro lwc2 e quatro swc2
# auditados. P1-run-226 observou 147 hits nas entradas 0x801329C4, 0x80132AEC
# e 0x80132B34 e um hit em 0x80132A78, somente na contraprova Ken. Em D.Dark,
# 0x80117B54 e 0x80117B8C evoluiram de um para dois hits; Ken ficou em zero.
# SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 dos cinco corpos, na ordem 0x801329C4, 0x80132A78, 0x80132AEC,
# 0x80132B34 e 0x80117B54:
# 075da6478db5a8de1bb11fd0576fe2a03a10f784a530b5590d999e2c139986db,
# f33d3ce882da4bd233ac00b53a61db7c7e9e9305bda495f579c68b1dff40dc95,
# 23d14a53107b325abdde57ed33701aa1c8550e1824c1e184737c15fcb6dc1099,
# 4e83ba99c85878a78894590a1da9a70c6bc15ed9e501c3aafef94f982625d86b e
# e8969e70912bd3d8caf03cdb001af45fab7641d781fdccd321f5c4584b675b1f.
# O vet isolado registra dois ACCEPT, zero WARN e zero REJECT. Contra o
# manifesto aprovado de p1-run-226, a projecao e exatamente 63.309/195.584
# palavras (32,3692%), 8.631 blocos, 1.873 calls, 454 alvos, 3.442 branches,
# 6.908 delay slots e as mesmas 60 indiretas: delta de 215 palavras
# (+0,1099 p.p.). P1-run-227 confirmou F/R 801329C4 B4, 80132A78 74,
# 80132AEC 48, 80132B34 18C e 80117B54 60. Em D.Dark, as 14 paginas modified
# tiveram 331/448 PCs; em Ken, 311/440. As paginas finais estavam vazias e nao
# houve miss de nenhuma seed em qualquer snapshot. Zero abort, bloqueio,
# divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo;
# guard_yield=1 ja constava do before. As taxas D.Dark variaram blocks -0,332%,
# modified-global +0,562%, page0 +1,610%, fallback -0,137% e overlay +3,892%;
# a contraprova Ken variou -0,193%, -2,325%, -2,269%, +0,052% e -2,786%,
# respectivamente. Gate manual aprovado: agua correta, FPS 51-53 em D.Dark e
# 58-60 em Ken, sem regressao em inputs, audio, musica, modelos, texturas,
# iluminacao ou efeitos.
0x801329C4
0x80117B54

# Micro-lote S1-207 aprovado em p1-run-228: as raizes formais 0x8014F518, 0x8015ECE0,
# 0x8015EA88, 0x80115524 e 0x80162D1C promovem cinco corpos com 2.612
# bytes/653 palavras auditadas, das quais 638 palavras sao novas. Os ranges
# formais sao 0x8014F518-0x8014FD53 (2.108 bytes),
# 0x8015ECE0-0x8015EDAF (208), 0x8015EA88-0x8015EB13 (140),
# 0x80115524-0x80115573 (80) e 0x80162D1C-0x80162D67 (76). Todas as raizes
# possuem prologo proprio, retorno jr ra e vet ACCEPT. As transferencias
# externas diretas chegam somente as entradas 0x80115524 e 0x80162D1C; os
# literais DATA em 0x801B5378 e 0x801B5394 chegam exatamente a 0x8015EA88 e
# 0x8015ECE0. Nao ha call, branch, jump, literal ou endereco LUI+imediato
# externo para interiores. 0x8014F518 foi observado exatamente na entrada em
# D.Dark, embora nao possua caller estatico exportado.
# Os cinco corpos contem cinco retornos, 28 branches internos, quatro jumps
# diretos internos, 20 calls, 58 delay slots e um unico jr nao-ra. Todas as
# calls terminam em alvos ja estaticos. O jr v0 em 0x8014F590 e um switch
# fechado: lbu le o indice, sltiu limita-o a nove, e a tabela de nove palavras
# em 0x801ABDAC contem apenas 0x8014F598, 0x8014F5A8 e 0x8014F5D4, todos
# destinos internos exatos; indices fora de 0-8 seguem diretamente para
# 0x8014F5D4. O padrao LW+ADDU+LUI/ADDIU+SLTIU coincide com o reconhecedor de
# jump tables do recompiler e devera ser emitido como switch, sem dispatch
# generico durante o gate. Nao ha jalr, syscall, BREAK, divisao ou COP0. Ha
# 41 operacoes COP2/GTE, cinco lwc2, cinco swc2, 16 mult com 16 consumos
# pareados de HI/LO e oito acessos desalinhados em quatro pares canonicos
# LWL/LWR e SWL/SWR.
# P1-run-227 observou 0x8014F518 e quatro PCs internos somente em D.Dark, com
# 3/18/18/18/18 hits. Ken observou 0x8015EA88, 0x8015EAB8 e 0x8015EB00 com um
# hit; 0x8015ECE0 e 0x8015ED9C com tres hits; 0x80115524/4C/60 com 10/10/8
# hits; e 0x80162D1C com 92 hits. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 dos cinco corpos, na ordem das raizes acima:
# 492be6ba88fa43d41e872da93402abd7708183c85e178633278d8f421a839e05,
# 334a80d3933ebfbdf5feee7aa0a8be2ed1e8d4667e5c6626f9de4286a4a9abbb,
# b5db7bdeb3be6b330a02eb6b6b7f436755f109e268e36fcf2eeea365acc0236f,
# e514ab406bd55233ff39a957ec24511215516015066539f35990690d2842e3aa e
# 2a0965706c48219fb1cb2d5c33f0f6dfaec5ee955c7038f9036f21aac4049fac.
# O vet isolado registra cinco ACCEPT, zero WARN e zero REJECT. Contra o
# manifesto aprovado de p1-run-227, a projecao combinada e exatamente
# 63.947/195.584 palavras (32,6954%), 8.709 blocos, 1.893 calls, 454 alvos,
# 3.469 branches, 6.963 delay slots e 61 indiretas: delta de 638 palavras
# (+0,3262 p.p.) e uma nova indireta totalmente limitada pelo switch descrito.
# P1-run-228 confirmou F/R 8014F518 83C, 8015ECE0 D0, 8015EA88 8C,
# 80115524 50 e 80162D1C 4C. O generated emitiu o switch limitado de nove
# entradas e os tres cases internos 8014F598, 8014F5A8 e 8014F5D4. Em D.Dark,
# as 14 paginas modified tiveram 327/434 PCs; em Ken, 309/438; as paginas finais
# estavam vazias e nao houve miss de seed. Zero abort, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja estava
# no before. Contra p1-run-227, as taxas D.Dark foram +0,179%, -1,388%, -1,506%,
# +0,344% e -1,566%; em Ken, -0,355%, +1,066%, +1,448%, -0,201% e -0,289%.
# Gate manual aprovado: agua correta, FPS 51-53 em D.Dark e 58-60 em Ken, sem
# regressao em inputs, audio, musica, modelos, texturas, iluminacao ou efeitos.
0x8014F518
0x8015ECE0
0x8015EA88
0x80115524
0x80162D1C

# Micro-lote S1-208 aprovado em p1-run-229: as raizes formais 0x80125AC4, 0x8017733C,
# 0x801A3BFC, 0x801779C0 e 0x801970B0 promovem nove corpos com 5.732
# bytes/1.433 palavras novas. A closure de 0x80125AC4 inclui 0x80123358 e
# 0x8019E870; a de 0x8017733C inclui 0x801089E0 e 0x8015CD68. Os ranges
# formais sao 0x80125AC4-0x80125C4B (392 bytes),
# 0x80123358-0x80123667 (784), 0x8019E870-0x8019EA07 (408),
# 0x8017733C-0x80177473 (312), 0x801089E0-0x80108DDF (1.024),
# 0x8015CD68-0x8015CDE7 (128), 0x801A3BFC-0x801A40CB (1.232),
# 0x801779C0-0x80177CE7 (808) e 0x801970B0-0x80197333 (644).
# As sete funcoes com frame sao vet ACCEPT. 0x801A3BFC e 0x8019E870 sao
# WARN frameless auditados: nao usam sp, nao fazem calls e terminam em jr ra;
# a segunda possui dois NOPs de alinhamento depois da fronteira anterior.
# Quatorze calls externas chegam somente as entradas formais 0x80125AC4,
# 0x8017733C, 0x801A3BFC, 0x801779C0, 0x801089E0 e 0x8019E870. O unico
# literal alinhado externo e 0x801B85BC -> 0x801970B0. Nao ha call, branch,
# jump, literal alinhado ou par LUI+imediato externo para interiores.
# Os nove corpos somam nove retornos, 113 branches condicionais, 13 jumps
# diretos, 21 calls e 156 delay slots. Todas as calls terminam em membros da
# closure ou alvos ja estaticos. Nao ha jalr, jr nao-ra, syscall, COP0 ou
# acesso desalinhado. 0x80123358 possui 12 operacoes COP2/GTE, quatro lwc2,
# seis swc2 e uma divisao com o par canonico de dois BREAK defensivos e mflo.
# 0x8019E870 possui 12 multu com 12 mflo pareados; 0x801970B0 possui um mult
# com mflo pareado.
# P1-run-228 observou entradas exatas de todas as cinco raizes: em D.Dark,
# 0x80125AC4/0x8017733C/0x801A3BFC/0x801779C0 tiveram um hit e 0x801970B0,
# dois; Ken repetiu os mesmos valores, exceto 0x801A3BFC, nao observado nessa
# cena. As helpers 0x801089E0, 0x80123358 e 0x8019E870 tambem foram observadas
# exatamente nas entradas nas duas rotas. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 dos nove corpos, na ordem dos ranges acima:
# d92e481416e07550bbc906d39b4341b1cf85f35362c108de36aa032382879a86,
# cd446af78d89162672dc9b3492ff33671ddc5ec8e716c2caadde46540807a6b4,
# ecf895a577b28167289657da768b8fdbcfc91a553c6955ca4fb25537a7b7a566,
# 0060cb1dca4ffbc03e1486aec2b02b1d9701bb02aa2992e3ba0dd19040ee18ea,
# b860f22f19b16df047af1e0bd067fcd46d6882a3574e2a9df0e7e850446d153c,
# 6de3f6ca12cf72a01eea6054c678a9b64c6f86b1a212e88631fe8373393488bb,
# bac544ac99bac605bc06b1db3536a23c66101f4e06737b72e12ee38f507c9810,
# 8b1eae6729c16fdc8248ac9e820922fe166b51f23d17772d89f5795d3f155e67 e
# 4512ece5aed2cfd845a33bd658196f4d4eb751258587b4a4ba361e71194d4845.
# Contra p1-run-228, a projecao combinada e exatamente 65.380/195.584
# palavras (33,4281%), 8.929 blocos, 1.914 calls, 459 alvos, 3.582 branches,
# 7.119 delay slots e as mesmas 61 indiretas: delta de 1.433 palavras
# (+0,7327 p.p.).
# P1-run-229 confirmou F/R 80125AC4 188, 80123358 310, 8019E870 198,
# 8017733C 138, 801089E0 400, 8015CD68 80, 801A3BFC 4D0, 801779C0 328 e
# 801970B0 284. Em D.Dark, as 14 paginas modified tiveram 413/519 PCs; em
# Ken, 310/427; as paginas finais estavam vazias e nao houve miss de seed.
# Zero abort, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou
# dispatch nativo; guard_yield=1 ja estava no before. Contra p1-run-228, as
# taxas D.Dark foram +0,239%, -1,559%, -3,671%, +0,498% e -1,797%; em Ken,
# +0,494%, +0,440%, -10,835%, -0,580% e -0,182%. O terceiro valor Ken e a
# amostra modified-page0 truncada aos 64 primeiros itens, enquanto havia mais
# de 430 PCs; a metrica global completa ficou em +0,440%. Gate manual aprovado:
# agua correta, FPS 51-53 em D.Dark e 58-60 em Ken, sem regressao em inputs,
# audio, musica, modelos, texturas, iluminacao ou efeitos.
0x80125AC4
0x8017733C
0x801A3BFC
0x801779C0
0x801970B0

# Micro-lote S1-209 aprovado em p1-run-230: a raiz formal 0x8010C1E0 e os callbacks
# 0x8010C764, 0x8010E8E0 e 0x8010EB40 promovem quatro corpos com 4.808
# bytes/1.202 palavras novas. Os ranges sao 0x8010C1E0-0x8010C4AB
# (716 bytes), 0x8010C764-0x8010D1E7 (2.692),
# 0x8010E8E0-0x8010EB3F (608) e 0x8010EB40-0x8010EE57 (792).
# 0x8010C1E0 e uma funcao formal Ghidra com frame de 0x28 e vet ACCEPT;
# dez calls externas chegam somente a entrada exata. 0x8010EB40 tambem e
# formal Ghidra. 0x8010C764 e 0x8010E8E0 sao entradas alternativas provadas
# nos bytes: ambas comecam imediatamente depois de jr ra e seu delay slot e
# terminam imediatamente antes da proxima entrada, tambem com jr ra. Os tres
# callbacks novos sao WARN frameless auditados: nao usam sp, nao fazem calls
# e possuem retorno unico, portanto nao tomam frame emprestado.
# O jalr s4 em 0x8010C3B4 possui conjunto fechado. As unicas escritas em s4
# antes do loop materializam 0x8010D1E8 como default, 0x8010C764 quando o
# estado global coincide com a1, 0x8010E8E0 para o tipo 0x16 e 0x8010EB40
# para o tipo 0x17. 0x8010D1E8 ja e estatico desde S1-14. A unica outra call
# de 0x8010C1E0 termina em 0x8010EE58, tambem estatica. Nao ha caller, branch,
# jump, literal alinhado ou par LUI+imediato externo para interiores dos quatro
# corpos; os pares que formam os callbacks estao dentro da propria raiz.
# Os quatro corpos somam quatro retornos, 80 branches condicionais, 12 jumps
# diretos internos, uma call direta, um jalr e 98 delay slots. Nao ha outro
# jr nao-ra, syscall, BREAK, divisao, HI/LO, COP0 ou acesso desalinhado. O lote
# possui 152 operacoes COP2/GTE, 238 lwc2 e 90 swc2; todos os destinos diretos
# permanecem internos, exceto a call ja estatica para 0x8010EE58.
# P1-run-229 observou 0x8010C1E0 com delta 4.385 em D.Dark e 4.115 em Ken;
# 0x8010C764, a entrada quente selecionada pelo callback, teve deltas 34.967 e
# 32.912, respectivamente. SHA-256 do executavel auditado:
# 4ffe98eb4f246b4d455392e537e8d9f029d34f2e95e301aef2cb61f5e3e99820.
# SHA-256 dos quatro corpos, na ordem dos ranges acima:
# 721c6d798e097570ce43da2e5406f06679cfcc291cec063f469a844e93d5e4ca,
# 8f235ab9c45188f28bbe166c82a6491f0d66bef75c41b2296b405d299d6531ef,
# fae550a5d70286afb91a3f00ebc5fe94a295da273998ab72f7d1c9644dc26deb e
# 44955acf2762c34b2631f0e00dc0d3c2351005f6041cf2bb0c469f3c4720d788.
# Contra p1-run-229, a projecao combinada e exatamente 66.582/195.584
# palavras (34,0427%), 9.068 blocos, 1.915 calls, 460 alvos, 3.662 branches,
# 7.217 delay slots e 62 indiretas: delta de 1.202 palavras (+0,6146 p.p.) e
# uma nova fronteira indireta totalmente limitada aos quatro callbacks acima.
# P1-run-230 confirmou F/R 8010C1E0 2CC, 8010C764 A84, 8010E8E0 260 e
# 8010EB40 318. O generated preservou o CPS jalr em 0x8010C3B4: lanca o alvo
# de s4 antes do delay slot, verifica interrupcoes e retorna com cpu->pc no
# callback; os quatro callbacks estao emitidos no dispatch estatico. Em D.Dark,
# as 14 paginas modified tiveram 316/444 PCs; em Ken, 303/439; as paginas finais
# estavam vazias e nao houve miss de seed. Zero abort, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo; guard_yield=1 ja estava
# no before. Contra p1-run-229, D.Dark variou blocks -9,130%, modified-global
# +83,192%, page0 +83,438%, fallback -9,822% e overlay +101,915%; em Ken,
# -41,579%, +236,877%, +272,297%, -41,455% e +289,309%, respectivamente. As
# variacoes de modified e overlay acompanham a mudanca de cadencia da rota quente,
# enquanto blocks/fallback e a fase final confirmam menos interpretador: D.Dark
# 16,47% interp/73,72% estatico e Ken 9,15%/79,93%. Gate manual aprovado: 60 FPS
# durante todo o gameplay nas duas rotas, inclusive com coletas em segundo plano;
# agua correta e sem regressao em inputs, audio, musica, modelos, texturas,
# iluminacao ou efeitos.
0x8010C1E0
0x8010C764
0x8010E8E0
0x8010EB40

# Micro-lote S1-210 aprovado em p1-run-231: fecha a familia conhecida de callbacks da tabela
# 0x801B30F0 e promove a hospedeira quente 0x8015830C. A tabela possui 11
# posicoes e dez destinos unicos: 0x80158634, 0x80158748, 0x80158860,
# 0x80158918, 0x80158A84, 0x80158BD8, 0x80158C94, 0x80158D84,
# 0x80158E74 e 0x80158ED4; 0x80158918 aparece novamente na ultima posicao.
# 0x80158634 ja e seed aprovada desde S1-17. As dez novas raizes abaixo
# promovem 18 corpos novos, 3.628 bytes/907 palavras: as dez raizes menos a
# callback ja estatica, mais oito helpers diretos novos entre 0x80158F88 e
# 0x8015926C. 0x801582E4, 0x80158F58 e 0x801592AC ja eram estaticas.
# 0x8015830C e funcao formal Ghidra de 808 bytes, frame 0x28, retorno unico,
# 21 branches, duas calls diretas para 0x801582E4 e jalr v0 em 0x80158550.
# O alvo e lido de 0x801B30F0 + tipo*4. O indice vem de lhu 0(a2) e nao tem
# guarda local; o CPS preserva o fallback generico do dispatch para qualquer
# alvo inesperado, enquanto todos os 11 ponteiros presentes na imagem apontam
# para as dez entradas auditadas.
# 0x80158748..0x80158D84 possuem fronteiras formais, frame proprio, retorno
# unico e nenhuma referencia externa a interior. 0x80158E74 (96 bytes) e
# 0x80158ED4 (132 bytes) sao folhas frameless provadas pela tabela e pelos
# limites contiguos: comecam depois de jr ra/delay slot, nao usam sp, nao fazem
# calls e terminam em jr ra com delay slot valido. Os dez helpers da familia
# sao folhas formais sem calls; oito sao novos e dois ja estavam estaticos.
# Nos 18 corpos novos nao ha syscall, BREAK, COP0/COP2, divisao, HI/LO, acesso
# desalinhado ou outra transferencia calculada. O fechamento adiciona 80
# branches, 27 calls diretas e 153 delay slots; a unica nova indireta e o jalr
# documentado. P1-run-230 mediu 0x8015830C/0x80158558 em 33.376/28.592 hits
# no cenario D.Dark e 34.143/29.238 no cenario Ken; 0x80158E74 teve
# 4.759/4.885 hits. SHA-256 combinado dos 18 corpos novos:
# f5a5d8dc8ba9a173416b660e724fa5bbb7883626a4b67956b99ba4f12339693b.
# P1-run-231 confirmou os 18 pares F/R, o manifesto exato de 67.489/195.584
# palavras (34,5064%) e 63 indiretas; vet 224 ACCEPT, 112 WARN e zero REJECT.
# D.Dark/Ken esgotaram 14 paginas modified (318/430 e 303/457 PCs), sem miss de
# seed e com pagina final vazia. Nao houve evento de seguranca ou despacho nativo;
# a variacao de overlay acompanha a cadencia das rotas. Gate manual: agua correta
# e 60 FPS cravados nas duas rotas, sem regressao percebida.
0x8015830C
0x80158748
0x80158860
0x80158918
0x80158A84
0x80158BD8
0x80158C94
0x80158D84
0x80158E74
0x80158ED4

# Micro-lote S1-211 aprovado em p1-run-232: fecha conjuntamente as duas familias
# quentes comandadas por 0x8015201C e 0x801524A8. A tabela 0x801B52D8 possui
# 31 posicoes/24 destinos unicos e a tabela 0x801B5354, 31 posicoes/25 destinos
# unicos. Entre as duas hospedeiras e os 49 callbacks unicos, 12 raizes ja eram
# estaticas; as 39 entradas abaixo completam a selecao sem duplicar seeds.
# A closure projetada acrescenta 62 corpos: 59 funcoes formais do Ghidra e tres
# entradas nao formais provadas manualmente. 0x80152A38..0x80152B7B (324 bytes)
# e 0x80152F90..0x801530B7 (296 bytes) comecam imediatamente depois de
# jr ra/delay slot, possuem frame proprio e retorno unico. 0x8015EE9C..0x8015EEA3
# e uma folha frameless de oito bytes, `jr ra` com `sb zero,0x1521(a0)` no
# delay slot, entre duas fronteiras formais. As tabelas DATA apontam exatamente
# para as tres entradas; nenhuma toma frame emprestado.
# Os 62 corpos ocupam 16.524 bytes/4.131 palavras de corpo, com 62 retornos,
# 409 branches condicionais, 300 calls diretas, 507 jumps e 869 delay slots.
# O manifesto ganha 4.058 palavras, pois parte da closure ja era alcancavel.
# Nao ha syscall, BREAK, COP0/COP2, divisao ou acesso desalinhado. Os quatro
# `mult` de 0x8015526C/0x8015B4F8 possuem quatro `mflo` canonicos e imediatos.
# As 107 referencias externas a interiores sao exclusivamente DATA de cinco
# jump tables limitadas, nos sites 0x80152394, 0x80153EB8, 0x801548A0,
# 0x8015E9A4 e 0x8015F5FC; todos os destinos permanecem no proprio corpo.
# As 18 novas transferencias conservadoras dividem-se em cinco switches acima;
# tres chamadas pelas tabelas de callbacks em 0x8015283C, 0x8015288C e
# 0x8015E16C; oito calls de vtable de objeto em 0x8015265C, 0x80152A98,
# 0x80153474, 0x801534A4, 0x801539EC, 0x801547E8, 0x8015EE30 e 0x8015F3E0;
# e duas calls de tabelas de estado em 0x8015F778 e 0x8015F958. O CPS captura
# o alvo antes do delay slot, grava o link antes da chamada e preserva o
# fallback generico para qualquer destino dinamico ou inesperado; nenhuma
# hipotese especifica do jogo foi adicionada ao framework.
# P1-run-231 observou 0x801524A8 com 4.068/4.800 hits, 0x8015201C com
# 4.066/4.800 e 0x80152624 com 4.038/4.784 em D.Dark/Ken. O vet isolado das
# 51 raizes retorna 51 ACCEPT, zero WARN e zero REJECT. SHA-256 combinado dos
# 62 corpos em ordem crescente: 9180b8bff32c2f6cf66089fa3a9948f6e9ab8a7678d73fe6b9b23f0f87cc258b.
# Contra p1-run-231, o manifesto confirmado e exatamente 71.547/195.584 palavras
# (36,5812%), 10.205 blocos, 2.221 calls, 514 alvos, 4.149 branches,
# 8.211 delay slots e 81 indiretas: +4.058 palavras (+2,0748 p.p.) e
# +18 transferencias conservadoras. P1-run-232 confirmou 62 pares F/R, vet
# completo com 263 ACCEPT, 112 WARN conhecidos e zero REJECT. Os cinco switches
# limitados foram emitidos; os 13 jalr preservaram latch e fallback CPS. D.Dark
# teve 294/373 PCs modified e Ken 283/381, com 14 paginas, pagina final vazia e
# nenhuma das 39 raizes nos misses. Nao houve aborto, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao, dispatch nativo ou evento do loader.
# Modified caiu 16,437% em D.Dark e 15,023% em Ken; a participacao estatica final
# subiu para 75,57% e 80,04%. Gate manual com OBS aberto: agua correta, 60 FPS
# cravados nas duas rotas e demais cenarios sem queda percebida ou regressao.
0x8015201C
0x801524A8
0x80152A38
0x80152B7C
0x80152C48
0x80152DF8
0x80152EC4
0x80152F90
0x801530B8
0x80153198
0x8015324C
0x8015329C
0x80153374
0x80153430
0x8015348C
0x801534BC
0x801535AC
0x80153678
0x80153840
0x801538C8
0x801539C0
0x80153A04
0x80153B48
0x80153E00
0x8015F8AC
0x8015E940
0x8015EBA8
0x8015EC94
0x8015EDB0
0x8015EE9C
0x8015EEA4
0x8015EF28
0x8015EF5C
0x8015F230
0x8015F310
0x8015F38C
0x8015F4C8
0x8015F5B0
0x8015F63C

# Micro-lote S1-212 aprovado em p1-run-233: quatro raizes quentes, divididas entre a familia
# de audio 0x801A1568/0x801A15F8 e a familia de estado 0x80150A78/0x80151F80.
# As quatro entradas sao funcoes formais do Ghidra e o vet isolado retorna
# 4 ACCEPT, zero WARN e zero REJECT. A closure nova possui 22 corpos formais,
# 9.772 bytes/2.443 palavras, 22 retornos, 64 calls diretas, cinco calls
# calculadas, 156 branches, 41 jumps e 288 delay slots. Nao ha referencia
# externa real a interior nem literal alinhado para interior; 0x801BF734 aponta
# exatamente para 0x801A15F8. O aparente branch bruto 0x801B0108->0x801A234C
# nasce em dados fora de qualquer funcao reconhecida e nao e referencia Ghidra.
# 0x80151E04..0x80151F7F e uma funcao frameless continua de 380 bytes, sem uso
# de stack e com retorno normal, nao uma entrada que toma frame emprestado.
# As quatro divisoes possuem BREAK de guarda e consumo de HI/LO; os 30
# mult/multu tambem possuem consumos correspondentes. Nao ha syscall, COP0,
# COP2 ou acesso desalinhado. Os cinco jalr ficam no caminho generico CPS:
# 0x801A157C e opcional e inicialmente nulo; 0x801A1590 carrega o ponteiro
# estatico 0x801A15F8; 0x801A23C0, 0x801A240C e 0x801A2448 carregam callbacks
# dinamicas de RAM. Nenhum alvo dinamico foi inventado ou fechado por jogo.
# SHA-256 audio: 8dd813201401aa99a0e46332e40fc94765bf6759c2ccc34971aa853004b63d95.
# SHA-256 estado: d7d99db24c2877f3427cc3ef3d2abc50ce95db9f426141bf7e95c0ce4dbb3489.
# P1-run-233 confirmou 73.990/195.584 palavras (37,8303%), 10.559
# blocos, 2.285 calls, 540 alvos, 4.305 branches, 8.499 delay slots e 86
# indiretas: +2.443 palavras (+1,2491 p.p.) e +5 transferencias conservadoras.
# Os 22 pares F/R e os cinco latches/links CPS coincidiram com a auditoria. D.Dark
# teve 283/384 PCs modified e Ken 275/387, ambos com 14 paginas, pagina final
# vazia e zero miss dos 22 corpos. Nao houve aborto, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo. Modified-global caiu
# 9,265%/9,848% nas duas rotas; blocks, fallback e overlay ficaram dentro de
# 2,2%. Com OBS aberto, agua correta e 60 FPS cravados nas duas rotas, sem
# regressao de inputs, audio, musica, modelos, texturas, iluminacao ou efeitos.
0x801A1568
0x801A15F8
0x80150A78
0x80151F80

# Micro-lote S1-213 aprovado em p1-run-234r: cinco raizes formais promovem
# 12 corpos novos, 6.620 bytes/1.655 palavras. Todas as fronteiras e retornos
# foram confirmados no Ghidra, sem referencia externa real ou literal alinhado
# para interior. A closure acrescenta quatro jalr: 0x80104128 indexa a tabela
# 0x801AF994; 0x8019756C chama a callback recebida pelo dispatcher 0x80197460;
# 0x8010FF98 indexa a tabela 0x801AF9DC; e 0x801957D0 carrega o dispatcher
# 0x80197460 da tabela global. Todos preservam latch anterior ao delay slot,
# link guest e fallback CPS generico para destinos dinamicos ou inesperados.
# As divisoes, os quatro BREAK defensivos, HI/LO e a sequencia COP2/GTE de
# 0x8010FAEC foram auditados. SHA-256 concatenado dos 12 corpos:
# 064a9b27dbd0501d1b6d529cc921ca8b187319755472d859484b136e8290e2fd.
# P1-run-234r confirmou os 12 pares F/R, vet completo com 271 ACCEPT,
# 113 WARN conhecidos e zero REJECT, e manifesto de 75.645/195.584 palavras
# (38,6765%), 10.809 blocos, 2.362 calls, 556 alvos, 4.393 branches, 8.707
# delay slots e 90 indiretas. D.Dark teve 281/312 PCs modified e Ken 269/332,
# com paginas finais vazias e nenhum corpo novo nos misses. Zero aborto,
# bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch nativo.
# A coleta inicial p1-run-234 foi rejeitada por usar acidentalmente a varredura
# integral legada; p1-run-234r confirmou o modo reachable/exact-entry e manteve
# os dados mutaveis em 0x801AB2C0 fora do dispatch. Com OBS aberto, agua correta,
# 60 FPS cravados nas duas rotas e nenhuma regressao manual percebida.
0x80197460
0x801040E8
0x8010FAEC
0x80160480
0x80160FB4

# Micro-lote S1-214 aprovado em p1-run-235: cinco raizes formais alcancam
# 14 corpos, dos quais dois ja eram estaticos. Os 12 corpos novos somam
# 7.280 bytes/1.820 palavras de corpo e acrescentam 1.702 palavras efetivamente
# novas ao manifesto. As 34 referencias externas para interiores sao apenas
# DATA das tabelas limitadas de 17 entradas em 0x801AB6E4 e 0x801AB774.
# Os jr v0 em 0x8010F0B8 e 0x8010F4B0 possuem limite local comprovado, dois
# destinos internos cada e default CPS. O jalr v0 em 0x801956AC preserva latch,
# link guest 0x801956B4, delay slot e fallback generico. Mult/HI-LO e as 43
# operacoes COP2/GTE de 0x8013051C foram auditados; nao ha SYSCALL, BREAK,
# divisao, COP0 ou acesso desalinhado. SHA-256 dos 12 corpos novos:
# 94b379d5fac4002f162d05373c83c7c45e67a5021000634aa07f9dc1991a795e.
# P1-run-235 confirmou 14 pares F/R, vet com 275 ACCEPT, 114 WARN conhecidos
# e zero REJECT, e manifesto de 77.347/195.584 palavras (39,5467%), 11.070
# blocos, 2.423 calls, 569 alvos, 4.497 branches, 8.924 delay slots e 93
# indiretas. D.Dark teve 279/318 PCs modified e Ken 268/347, com paginas finais
# vazias e nenhum corpo novo nos misses. Zero aborto, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo. Com OBS aberto, agua
# correta, 60 FPS cravados nas duas rotas e nenhuma regressao manual percebida.
0x8013051C
0x8015932C
0x801600E0
0x8012DD70
0x8012DE74

# Micro-lote S1-215 aprovado em p1-run-236: oito raizes formais promovem dez
# corpos novos, 7.852 bytes/1.963 palavras. Todos possuem fronteira exata,
# retorno unico e zero referencia externa para interior ou literal alinhado para interior;
# o unico literal encontrado, em 0x801B1B78, aponta exatamente para a entrada
# 0x80144AD8. Nao ha fluxo computado, SYSCALL, BREAK, divisao ou COP0. Os seis
# pares mult/mflo, as 142 operacoes COP2/GTE e todos os pares LWL/LWR e
# SWL/SWR foram auditados. SHA-256 concatenado dos dez corpos:
# 0b1e2ddd97e64d66390a64bfe38ad6a5f41e9f65abd1b03f3dab542cbef0226f.
# P1-run-236 confirmou os dez pares F/R, vet com 283 ACCEPT, 114 WARN
# conhecidos e zero REJECT, e manifesto de 79.310/195.584 palavras
# (40,5504%), 11.207 blocos, 2.461 calls, 572 alvos, 4.548 branches, 9.035
# delay slots e as mesmas 93 indiretas de p1-run-235. D.Dark teve 288/316 PCs
# modified e Ken 268/318, com paginas finais vazias e nenhum corpo promovido
# nos misses. Zero aborto, bloqueio, divergencia, mismatch, invalidacao,
# revalidacao ou dispatch nativo. Com OBS aberto, agua correta, 60 FPS cravados
# nas duas rotas e nenhuma regressao manual percebida.
0x80140DF8
0x801411D8
0x80141454
0x80142500
0x801426D8
0x801427EC
0x8014299C
0x80144AD8

# Micro-lote S1-216 aprovado em p1-run-237: a raiz formal 0x80125E64 promove
# nove corpos, 4.440 bytes/1.110 palavras de corpo e 1.093 palavras novas no
# manifesto. As 35 referencias externas para interiores sao exclusivamente
# DATA da tabela limitada 0x801AB7C4. O jr v0 em 0x80122D94 usa indice guardado
# menor que 35, quatro destinos internos e default CPS. O jalr v0 em 0x801262A0
# preserva latch, link guest 0x801262A8, delay slot NOP e fallback generico para
# a tabela 0x801B037C, com 35 entradas e 24 callbacks unicos. Divisoes, oito
# BREAK defensivos, HI/LO e COP2/GTE foram auditados; nao ha SYSCALL, COP0 ou
# acesso desalinhado. SHA-256 concatenado dos nove corpos:
# 421a1b56335c4ad4a2f00218bab3ffce87581b93973d29db116ad1a804263b9b.
# P1-run-237 confirmou nove pares F/R, vet com 284 ACCEPT, 114 WARN conhecidos
# e zero REJECT, e manifesto de 80.403/195.584 palavras (41,1092%), 11.361
# blocos, 2.503 calls, 586 alvos, 4.607 branches, 9.152 delay slots e 95
# indiretas. D.Dark teve 272/305 PCs modified e Ken 257/307, com paginas finais
# vazias e nenhum corpo promovido nos misses. Zero aborto, bloqueio, divergencia,
# mismatch, invalidacao, revalidacao ou dispatch nativo. Com OBS aberto, agua
# correta, 60 FPS cravados nas duas rotas e nenhuma regressao manual percebida.
0x80125E64

# Micro-lote S1-217 aprovado em p1-run-238: a raiz formal 0x80104D10 promove
# 20 corpos, 23.304 bytes/5.826 palavras de corpo e 2.420 palavras novas no
# manifesto. As 19 referencias externas para interiores sao exclusivamente DATA
# das tabelas 0x801AD894, 0x801AD8B4 e 0x801AD8CC; os tres switches internos de
# 0x8018919C tem guardas e default CPS. Sete jalr v0 genericos preservam link e
# delay slot, e o stub BIOS 0x8019324C preserva CPS. Nao ha SYSCALL, BREAK,
# divisao, COP0, COP2 ou acesso desalinhado; os seis pares mult/mfhi sao magic
# divisions corretas. SHA-256 concatenado dos 20 corpos:
# 746bfae980829ef978e258364f60a210e3895f5760bc387bc6985719cf307831.
# P1-run-238 confirmou 20 pares F/R, vet com 285 ACCEPT, 114 WARN conhecidos e
# zero REJECT, e manifesto de 82.823/195.584 palavras (42,3465%), 11.704
# blocos, 2.611 calls, 611 alvos, 4.749 branches, 9.448 delay slots e 103
# indiretas. Paginas finais vazias, nenhum corpo promovido nos misses e zero
# aborto, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch
# nativo. Com OBS aberto, agua correta, 60 FPS cravados nas duas rotas e nenhuma
# regressao manual percebida.
0x80104D10

# Micro-lote S1-218 aprovado em p1-run-239: tres raizes formais contiguas,
# 0x80105A80, 0x80105D20 e 0x801060FC, promovem seis corpos e 3.920 bytes/980
# palavras. A closure direta contem 0x8012C7B0, 0x80125E1C e 0x8012C9D4. As
# referencias externas alcancam somente entradas formais; a tabela 0x801AF9A0
# contem 0x80104D10 e as tres novas entradas. O jalr v0 em 0x80125E4C usa a
# tabela ja auditada 0x801B037C e preserva link, delay NOP e fallback CPS. Ha
# dez operacoes COP2/GTE em 0x8012C9D4, mas nao ha BREAK, SYSCALL, divisao,
# HI/LO, COP0 ou acesso desalinhado. SHA-256 concatenado dos seis corpos:
# bc4ad7aaa82a31d1cd42acc5950d9752428d9f04403c63e4846331ae9e73f3f9.
# P1-run-239 confirmou seis pares F/R, vet com 288 ACCEPT, 114 WARN conhecidos
# e zero REJECT, e manifesto de 83.803/195.584 palavras (42,8476%), 11.856
# blocos, 2.651 calls, 618 alvos, 4.821 branches, 9.583 delay slots e 104
# indiretas. Paginas finais vazias, nenhum corpo promovido nos misses e zero
# aborto, bloqueio, divergencia, mismatch, invalidacao, revalidacao ou dispatch
# nativo. Com OBS aberto, agua correta, 60 FPS cravados nas duas rotas e nenhuma
# regressao manual percebida.
0x80105A80
0x80105D20
0x801060FC

# Micro-lote S1-219 aprovado em p1-run-240: a raiz formal 0x80117AC4 fecha
# tres corpos contiguos, 0x80117AC4, 0x80117BB4 e 0x80117A44, totalizando
# 1.388 bytes/347 palavras. A closure e 0x80117AC4 -> 0x80117BB4 ->
# 0x80117A44. O Ghidra confirmou fronteiras exatas e nenhuma referencia
# externa para interior; a unica referencia DATA externa e 0x801AFC78 para a
# entrada 0x80117AC4. O jalr v0 em 0x80117A94 usa uma tabela de callbacks
# indexada em RAM, preservando latch, link, delay slot e fallback CPS. Ha 54
# operacoes COP2/GTE, incluindo cinco comandos GTE, e dois pares MULT/MFHI;
# nao ha BREAK, SYSCALL, divisao, COP0 ou acesso desalinhado. SHA-256
# concatenado dos tres corpos:
# bb604c22f064223564204d01a5bf1e519e880d856982311ee5bb40bdec09372f.
# P1-run-240 confirmou 84.150/195.584 palavras (43,0250%), 11.885 blocos,
# 2.662 calls, 626 alvos, 4.831 branches, 9.609 delay slots e 105 indiretas;
# vet com 289 ACCEPT, 114 WARN conhecidos e zero REJECT. As 104 indiretas
# anteriores permaneceram identicas, os tres corpos nao apareceram nos misses
# em nenhuma rota e nao houve evento de seguranca. Com OBS aberto, agua
# correta, 60 FPS cravados nas duas rotas e nenhuma regressao manual percebida.
0x80117AC4

# Micro-lote S1-220 aprovado em p1-run-241: as cinco raizes formais abaixo
# fecham 14 corpos, 3.796 bytes/949 palavras. O Ghidra confirmou fronteiras
# exatas, nenhuma referencia externa para interior e somente referencias DATA
# alinhadas as entradas. Ha dois callbacks CPS (0x80103E38 e 0x8018CFF8), com
# alvo, link e delay slot preservados, e um vetor BIOS B0/0F provado em
# 0x80193250. Foram emitidos 15 opcodes COP2/GTE; nao ha BREAK, SYSCALL,
# divisao, COP0 ou acesso desalinhado. SHA-256 concatenado dos 14 corpos:
# d6f906419d6ab5c764c922129017b00e6f3125bf528eea02fdc69f9ddae3bbac.
# P1-run-241 confirmou 85.099/195.584 palavras (43,5102%), 12.048 blocos,
# 2.719 calls, 645 alvos, 4.884 branches, 9.750 delay slots e 108 indiretas;
# vet com 294 ACCEPT, 114 WARN conhecidos e zero REJECT. As 105 indiretas
# anteriores permaneceram identicas, os 14 corpos nao apareceram nos misses
# em nenhuma rota e nao houve evento de seguranca. Com OBS aberto, agua correta,
# 60 FPS cravados nas duas rotas e nenhuma regressao manual percebida.
0x80103D58
0x80104938
0x8015A730
0x80162C4C
0x8018CEB0

# Micro-lote S1-221 aprovado em p1-run-242: as 16 raizes formais abaixo fecham
# 19 corpos, 5.732 bytes/1.433 palavras. O Ghidra confirmou fronteiras exatas,
# nenhuma referencia externa para interior e seis referencias DATA alinhadas as
# entradas. Os callbacks CPS em 0x80103358, 0x801317CC e 0x8019FE2C preservam
# alvo, link e delay slot; as 108 indiretas anteriores ficaram identicas. Ha um
# DIV com os dois traps BREAK canonicos e oito opcodes COP2/GTE, todos emitidos
# pelo recompiler. SHA-256 concatenado dos 19 corpos:
# e4c02431814f07be5480603d58e7ab63eb203c886e8197a6a3a33611f80cdd58.
# P1-run-242 confirmou 86.532/195.584 palavras (44,2429%), 12.300 blocos,
# 2.769 calls, 657 alvos, 5.004 branches, 9.971 delay slots e 111 indiretas;
# vet com 302 ACCEPT, 122 WARN conhecidos e zero REJECT. Os 19 corpos nao
# apareceram nos misses em nenhuma rota e nao houve evento de seguranca. A rota
# D.Dark mudou para perfil de 78,73% estatico e 6,88% interpretador; Ken
# confirmou perfil estatico alto. Com OBS aberto, agua correta, 60 FPS cravados
# nas duas rotas e nenhuma regressao manual percebida.
0x80103300
0x801065DC
0x801109A8
0x801199D8
0x80123CA8
0x80128D74
0x8012DCA0
0x801315AC
0x8014E3C4
0x80150318
0x8015D040
0x8015D3A8
0x8015D718
0x8019370C
0x8019FD8C
0x8019FF10

# Micro-lote S1-222 aprovado em p1-run-243: as 33 raizes formais abaixo fecham
# 35 corpos, 10.500 bytes/2.625 palavras. O Ghidra confirmou fronteiras exatas,
# nenhuma referencia externa para interior, zero fluxo computado e uma unica
# referencia DATA alinhada a entrada 0x8019F890. Nao ha CPS, COP2/GTE, BREAK,
# SYSCALL, DIV ou HI/LO; ha 76 acessos desalinhados integralmente emitidos.
# SHA-256 concatenado dos 35 corpos:
# f3f4d4cdb4a161077cb7390a4e69831e9c77ecfa62b98d86c0ba0793c59b231a.
# P1-run-243 confirmou 89.157/195.584 palavras (45,5850%), 12.711 blocos,
# 2.881 calls, 671 alvos, 5.155 branches, 10.305 delay slots e 111 indiretas;
# vet com 328 ACCEPT, 129 WARN conhecidos e zero REJECT. As 111 indiretas
# anteriores permaneceram identicas, os 35 corpos nao apareceram nos misses
# em nenhuma rota e nao houve evento de seguranca. Com OBS aberto, agua
# correta, 60 FPS cravados nas duas rotas e nenhuma regressao manual percebida.
0x80175F60
0x8017B734
0x8016345C
0x8017D454
0x8016F1B0
0x8017DBC0
0x801A43FC
0x801A432C
0x8019F890
0x80169364
0x801693A4
0x80111AB4
0x80163348
0x80111AD4
0x8013CA24
0x801698C4
0x80111AFC
0x801A7AAC
0x8018ECF8
0x801A3B70
0x801A8BA4
0x80123668
0x8019FC14
0x8019FD3C
0x80101D68
0x801AB0B8
0x8010F624
0x8018C850
0x8019FB18
0x8019FD10
0x8019FFB8
0x801A6668
0x801682D8

# Micro-lote S1-223 aprovado em p1-run-244: as tres raizes formais abaixo
# fecham tres corpos, 248 bytes/62 palavras. O Ghidra confirmou fronteiras
# exatas, zero referencias externas para interior e zero fluxo computado; o
# literal DATA em 0x801B1B68 chega exatamente a 0x80142440. O corpo 0x8019DBE8
# contem nove operacoes COP2/GTE e seis lwc2 integralmente emitidas. O thunk
# BIOS 0x8019FB64 foi auditado, mas permaneceu excluido como entrada interior.
# SHA-256 concatenado: 1caa26cd91d60fb6279d3f330a190264c5612b178a657c4fbbcac72c8ba4c717.
# P1-run-244 confirmou 89.219/195.584 palavras (45,6167%), 12.729 blocos,
# 2.885 calls, 674 alvos, 5.162 branches, 10.323 delay slots e 111 indiretas;
# vet com 329 ACCEPT, 131 WARN conhecidos e zero REJECT. Os tres corpos nao
# apareceram nos misses em nenhuma rota. Com OBS aberto, agua correta, 60 FPS
# cravados nas duas rotas e nenhuma regressao manual percebida.
0x8019DBE8
0x80142440
0x80150310

# Micro-lote S1-224 aprovado em p1-run-245: as 13 raizes formais abaixo fecham
# 15 corpos, 5.192 bytes/1.298 palavras. O Ghidra confirmou fronteiras exatas,
# zero referencias externas para interior e zero fluxo computado. Os literais
# DATA 0x801B03BC -> 0x80128014 e 0x801B1B90 -> 0x80147F98 chegam exatamente
# a entradas. Os corpos incluem 17 operacoes COP2/GTE, seis mult, quatro mflo,
# quatro lwc2 e tres swc2, todos emitidos integralmente. SHA-256 concatenado:
# 30563bc45435ce2c9fd9c3a537a1d079f31cc7e1bbb0d711a79e356b59db3191.
# P1-run-245 confirmou 90.517/195.584 palavras (46,2804%), 12.841 blocos,
# 2.923 calls, 681 alvos, 5.193 branches, 10.421 delay slots e 111 indiretas;
# vet com 341 ACCEPT, 132 WARN conhecidos e zero REJECT. Os 15 corpos nao
# apareceram nos misses em nenhuma rota. Com OBS aberto, agua correta, 60 FPS
# cravados nas duas rotas e nenhuma regressao manual percebida.
0x80128014
0x801280AC
0x801281AC
0x80140858
0x80140938
0x80140A8C
0x80140B6C
0x80147F98
0x80148040
0x80148184
0x80168EEC
0x8016CD84
0x8016E964

# Micro-lote S1-225 aprovado em p1-run-246: as nove raizes formais abaixo fecham
# 16 corpos, 3.276 bytes/819 palavras. O Ghidra confirmou fronteiras exatas,
# zero referencias externas para interior e zero literais alinhados para os
# corpos. Os seis fluxos computados sao exclusivamente stubs BIOS B0 provados:
# jr t2 em 0x801A0DA4, 0x801A426C, 0x801A7434 e 0x801AB1B4; jalr t2 em
# 0x801AB24C e 0x801AB304, com latch, link e delay slot preservados pelo CPS.
# SHA-256 concatenado: a31d4119d9d7661fc97ac90dd1bb8055940c5412e1f9c4166587786d8d60b35c.
# P1-run-246 confirmou 91.336/195.584 palavras (46,6991%), 13.004 blocos,
# 2.959 calls, 695 alvos, 5.254 branches, 10.554 delay slots e 117 indiretas;
# as 111 anteriores permaneceram identicas. Vet com 348 ACCEPT, 133 WARN e a
# unica rejeicao heuristica auditada 0x801A4278, falso positivo apos jr t2 BIOS.
# Os 16 corpos nao apareceram nos misses em nenhuma rota. Com OBS aberto, agua
# correta, 60 FPS cravados nas duas rotas e nenhuma regressao manual percebida.
0x80168348
0x801A3560
0x801A35F8
0x801A4278
0x801A7360
0x801A7388
0x801A74D0
0x801A7520
0x801AB0F4

# Checkpoint local S1-227, reaproveitado do p1-run-247 historico (S1-226 na
# numeracao original): as seis raizes abaixo fecham oito corpos, 5.036
# bytes/1.259 palavras de corpo, com ganho unico de 1.146 palavras. O switch em
# 0x80123F6C possui guarda <65, tabela completa em 0x801AB86C e 12 destinos
# internos; as 65 referencias a interiores sao somente DATA da tabela. O jalr
# v0 em 0x80195710 preserva latch, link 0x80195718, delay move a3,s1 e fallback
# CPS. SHA-256 concatenado historico: a0cf688f0b31529c09b73b53defd863093dd1759ce9df7420601b535262ca0a6.
# A validacao local confirmou 92.482/195.584 palavras (47,2851%), 13.164
# blocos, 3.038 calls, 703 alvos, 5.296 branches, 10.701 delay slots e 119
# indiretas. O generated passou na auditoria e as duas builds UCRT64 de 20
# minutos permaneceram estaveis; as 117 indiretas anteriores permaneceram
# identicas.
0x8010F658
0x801112B8
0x8016B0E8
0x8016B46C
0x8016BE20
0x80177934

# Checkpoint local S1-228, derivado do p1-run-248 historico (S1-227 na
# numeracao original): as duas raizes abaixo fecham oito corpos, 7.992
# bytes/1.998 palavras de corpo, com ganho unico de 1.952 palavras.
# A cadeia contem 0x8018E23C, 0x8018E778, 0x80163CB0, os helpers
# 0x80164A10/0x80164CC8 e o switch 0x80167EF8. As 26 referencias a interiores
# sao DATA em 0x801AC034, guardadas por indice <26 e com seis destinos unicos.
# O jalr v0 em 0x8018E2B4 preserva link 0x8018E2BC, delay nop e fallback CPS.
# SHA-256 concatenado historico:
# 460d8df2a6f6f0f90b53a4e9faba1d9772410009c6dad2487604fca0a99845a7.
# A validacao local confirmou 94.434/195.584 palavras (48,2831%), 13.517
# blocos, 3.178 calls, 730 alvos, 5.417 branches, 10.993 delay slots e 121
# indiretas. O generated passou na auditoria e as duas builds UCRT64 de cerca
# de 20 minutos permaneceram estaveis, sem queda de FPS ou regressao de
# frametime; as 119 indiretas anteriores permaneceram identicas.
0x801043B8
0x8016CACC

# Checkpoint local S1-229, derivado do p1-run-249 historico (S1-228 na
# numeracao original): as duas raizes abaixo fecham dez corpos, 5.456
# bytes/1.364 palavras de corpo, com ganho unico de 1.215 palavras.
# As referencias a interiores sao somente cinco entradas DATA da tabela
# 0x801ACA60 e cinco da 0x801ACA78. Os jr v0 em 0x8017B9E0 e 0x8017C7B0
# possuem guarda <5, com respectivamente cinco e tres destinos unicos, e
# preservam fallback CPS. Os jalr em 0x801AA4D8, 0x801AAAB4 e 0x801AAB60
# preservam latch, links 0x801AA4E0/0x801AAABC/0x801AAB68, delay nop e CPS.
# SHA-256 concatenado historico:
# d398ad3db40d16ce7a5afdf6b8841746aaf71ae97dc8c3b375c258dc565b66fb.
# A validacao local confirmou 95.649/195.584 palavras (48,9043%), 13.717
# blocos, 3.234 calls, 760 alvos, 5.496 branches, 11.165 delay slots e 126
# indiretas. O generated passou na auditoria e a build limpa UCRT64 de cerca de
# 20 minutos permaneceu estavel, sem queda de FPS ou regressao de frametime; as
# 121 indiretas anteriores permaneceram identicas.
0x80177474
0x801AA448

# Checkpoint local S1-230, derivado do p1-run-250 historico (S1-229 na
# numeracao original): as duas raizes abaixo fecham tres corpos, 8.620
# bytes/2.155 palavras, com ganho unico de 2.155 palavras. Nao ha fluxo
# computado, referencia externa para
# interior ou palavra orfa; as 67 chamadas externas ja eram estaticas. A call
# 0x80198D9C -> 0x80199EFC fecha diretamente o helper, com nove pares
# MULTU/MFHI emitidos e auditados. SHA-256 concatenado historico:
# 387616f28fe04d8af88d56bd133b42111e67b4baa9622549241fd93695e5ec53.
# A validacao local confirmou 97.804/195.584 palavras (50,0061%), 13.877
# blocos, 3.302 calls, 761 alvos, 5.551 branches, 11.317 delay slots e 126
# indiretas. O generated passou na auditoria e a build limpa UCRT64 de cerca de
# 20 minutos permaneceu estavel, sem queda de FPS ou regressao de frametime; as
# 126 indiretas anteriores permaneceram identicas.
0x80180F80
0x80198D7C

# Checkpoint local S1-231, derivado do p1-run-251 historico (S1-230 na
# numeracao original): a raiz abaixo fecha oito corpos, 9.000 bytes/2.250
# palavras, com ganho unico de 2.250 palavras. Nao ha fluxo computado,
# referencia externa para interior ou palavra orfa; a unica referencia DATA
# externa e 0x801AF984 -> 0x8017E2E4, para a entrada exata. Sete calls internas
# fecham a cadeia e as 114 externas ja apontavam para alvos estaticos. Ha oito
# MULT/MULTU, sete MFHI e um MFLO emitidos e auditados. SHA-256 concatenado:
# 12eb11f38a01f832c636f75ce6c233f4dbc296f82fdcc193a4858b128a250790.
# A validacao local confirmou 100.054/195.584 palavras (51,1565%), 14.144
# blocos, 3.423 calls, 768 alvos, 5.634 branches, 11.543 delay slots e 126
# indiretas. O generated passou na auditoria e a build limpa UCRT64 de cerca de
# 20 minutos permaneceu estavel, sem queda de FPS ou regressao de frametime; as
# 126 indiretas anteriores permaneceram identicas.
0x8017E2E4

# Checkpoint local S1-232, derivado do p1-run-252 historico (S1-231 na
# numeracao original): a raiz abaixo fecha 24 corpos, 12.296 bytes/3.074
# palavras, com ganho unico de 3.074 palavras. Nao ha fluxo computado,
# referencia externa para interior, literal externo ou palavra orfa; 30 calls
# internas fecham a cadeia e as 136 externas ja apontavam para alvos estaticos.
# Um DIV, dois BREAK, 11 MULT/MULTU, dez MFHI, dois MFLO e 12 acessos
# desalinhados foram emitidos e auditados. SHA-256 concatenado:
# b4fb06a038284e59a906a3b28530993be1958f7b2a7df92e02389c809a3c0c16.
# A validacao local confirmou 103.128/195.584 palavras (52,7282%), 14.489
# blocos, 3.589 calls, 791 alvos, 5.720 branches, 11.835 delay slots e 126
# indiretas. O generated passou na auditoria e a build limpa UCRT64 de cerca de
# 20 minutos permaneceu estavel, sem queda de FPS ou regressao de frametime; as
# 126 indiretas anteriores permaneceram identicas.
0x8016FCC4

# Checkpoint local S1-233, derivado do p1-run-253 historico (S1-232 na
# numeracao original): as duas raizes abaixo fecham dois corpos, 492 bytes/123
# palavras. As referencias externas chegam somente a entradas exatas: DATA
# 0x801B3454 -> 0x80162688 e PARAM 0x801A0180 -> 0x801A0630. As 16 calls
# externas ja eram estaticas. A nova indireta e o jalr v0 em 0x801A06D4, com
# alvo dinamico em 0x801BF3CC, guarda de nulo, link guest, delay NOP,
# interrupcoes e fallback CPS. SHA-256 concatenado:
# 9c3696b1b5576d4e22310e0459f4cd8db0f4d0c9572434d12cc67e928a64b99c.
# A referencia historica projeta 103.251/195.584 palavras (52,7911%), 14.523
# blocos, 3.605 calls, 792 alvos, 5.729 branches, 11.866 delay slots e 127
# indiretas. A validacao local confirmou o generated com 1.004 funcoes, 15.516
# entradas no dispatcher e auditoria CLEAN. A build limpa UCRT64 de cerca de 20
# minutos permaneceu estavel, sem queda de FPS ou regressao de frametime; a nova
# indireta preservou o caminho CPS e as 126 anteriores permaneceram identicas.
0x80162688
0x801A0630

# Checkpoint local S1-234, derivado do p1-run-254 historico (S1-233 na
# numeracao original): a raiz abaixo fecha um corpo formal de 180 bytes/45
# palavras. A unica referencia externa e DATA 0x801B33B4 -> 0x8015FCC4, para a
# entrada exata; nao ha referencia a interior, palavra orfa ou fluxo calculado.
# As sete calls externas ja eram estaticas e nao ha nova indireta. SHA-256 do
# corpo: 6400f3cdb31966beed7f871db203ee52eb81235d7ec52460c2804f57a3bc9ff4.
# A referencia historica projeta 103.296/195.584 palavras (52,8141%), 14.533
# blocos, 3.612 calls, 792 alvos, 5.731 branches, 11.876 delay slots e 127
# indiretas. A validacao local confirmou o generated com 1.005 funcoes, 15.526
# entradas no dispatcher e auditoria CLEAN. A build limpa UCRT64 de cerca de 20
# minutos permaneceu estavel, sem queda de FPS ou regressao de frametime; as 127
# indiretas permaneceram identicas.
0x8015FCC4

# Checkpoint local S1-235, derivado do p1-run-255 historico (S1-234 na
# numeracao original): as quatro raizes abaixo fecham seis corpos formais,
# incluindo 0x8011B400 e 0x8011B5E4, com 6.320 bytes/1.580 palavras. Os seis
# literais externos alinhados apontam somente para entradas exatas; nao ha
# referencia a interior, palavra orfa ou fluxo calculado. Duas calls internas
# fecham a cadeia e as 42 externas ja eram estaticas. SHA-256 concatenado:
# 56c5e896a09f311a013bc7d9c9005387115e5e54c8a078662d6cfc362ce4f09e.
# As duas rotas historicas confirmaram 104.876/195.584 palavras (53,6220%),
# 14.726 blocos, 3.656 calls, 794 alvos, 5.811 branches, 12.017 delay slots e
# 127 indiretas identicas a baseline. A validacao local confirmou o generated
# com 1.011 funcoes, 15.719 entradas no dispatcher e auditoria CLEAN. A build
# limpa UCRT64 de cerca de 20 minutos permaneceu estavel, sem queda de FPS ou
# regressao de frametime; as 127 indiretas permaneceram identicas.
0x8011EA94
0x8011F084
0x80110630
0x8011B3B8

# Checkpoint local S1-236, derivado do p1-run-256 historico (S1-235 na
# numeracao original): as quatro raizes abaixo fecham quatro corpos formais
# contiguos, com 1.156 bytes/289 palavras. Nao ha referencia a interior, fluxo
# calculado ou transferencia indireta. SHA-256 concatenado:
# 39008d7334dd3b99b1a1d1fd864fcefe006fe014c6ba9fd2057ab363898da74c.
# As duas rotas historicas confirmaram 105.165/195.584 palavras (53,7697%),
# 14.766 blocos, 3.659 calls, 794 alvos, 5.833 branches, 12.049 delay slots e
# 127 indiretas identicas a baseline. A validacao local confirmou o generated
# com 1.015 funcoes, 15.759 entradas no dispatcher e auditoria CLEAN. A build
# limpa UCRT64 de cerca de 20 minutos permaneceu estavel, sem queda de FPS ou
# regressao de frametime; as 127 indiretas permaneceram identicas.
0x8011E3AC
0x8011EA5C
0x8011EA80
0x8019EA10

# Micro-lote S1-237/P4-1 aprovado localmente: a raiz formal
# abaixo fecha FUN_8014C730, FUN_8014C7C8 e FUN_8014CA58, tres corpos contiguos
# com 3.648 bytes/912 palavras. Duas calls internas fecham a cadeia e as 22
# externas ja terminam em alvos estaticos. Nao ha jalr, jr nao-ra, referencia
# indireta conhecida ou entrada externa em interior. Os corpos contem 42
# instrucoes COP2/GTE e dois DIV com quatro BREAK de guarda. A imagem local
# confirmou o SHA-256 concatenado historico:
# 49e6dc58b6d993bfe77c336274d5605ae0f9fa136bc6e4bc7d9e43e3bd979270.
# O generated confirmou 106.077/195.584 palavras (54,2360%), 14.877
# blocos, 3.683 calls, 796 alvos, 5.878 branches, 12.137 delay slots e 127
# indiretas, 1.018 funcoes, 15.870 entradas no dispatcher e auditoria CLEAN. A
# build limpa UCRT64 permaneceu estavel por cerca de 20 minutos, em varios
# modos e com repeticoes do Shungoku-Satsu da Sakura; FPS, frametime e petalas
# permaneceram corretos, sem regressao percebida.
0x8014C730

# Micro-lote S1-238 aprovado localmente, derivado do lote historico S1-236: as quatro raizes
# abaixo fecham quatro corpos formais independentes, com 876 bytes/219 palavras.
# O Ghidra confirmou entradas exatas, quatro retornos, zero call de saida, zero
# jalr/jr nao-ra, zero referencia externa a interior e zero indireta.
# FUN_8019EDB0 possui frame proprio e 22 operacoes COP2/GTE; as outras tres sao
# folhas frameless autonomas, com sete MULT/MULTU no total e um DIV. A imagem
# local coincide com a historica e confirmou o SHA-256 concatenado na ordem das
# raizes abaixo:
# f3169aa675ba0b755d01948625ef291d7bd6d604504a3be484f90df361c73e11.
# O generated confirmou 106.296/195.584 palavras (54,3480%), 14.925
# blocos, 3.683 calls, 796 alvos, 5.907 branches, 12.174 delay slots, 1.022
# funcoes, 15.918 entradas no dispatcher e 127 indiretas, com auditoria CLEAN.
# A build limpa UCRT64 permaneceu estavel por cerca de 20 minutos, em varios
# modos e em partidas Guile x Hokuto no cenario da Hokuto; FPS e frametime
# permaneceram limpos, sem lag ou regressao percebida.
0x8019EDB0
0x80166964
0x80167CFC
0x80167D18

# Micro-lote local S1-239 aprovado, ultimo lote ja descoberto no historico e
# registrado
# originalmente como S1-237. A raiz formal abaixo emite 0x8019CB4C..0x8019CBBB:
# 112 bytes/28 palavras e seis entradas despachaveis (0x8019CB4C, 0x8019CB60,
# 0x8019CB78, 0x8019CB8C, 0x8019CBA0 e 0x8019CBA8). O fluxo acrescenta 23
# palavras unicas e cinco blocos. 0x8019CB8C..0x8019CB9C e um alias sem
# predecessor direto, auditado ate o retorno. O intervalo possui dois retornos,
# duas calls para 0x8019CBBC ja estatico, uma branch, cinco delay slots e zero
# jalr/jr nao-ra. As dez referencias externas apontam somente para entradas
# exatas. Nao ha stack/frame emprestado; ra e preservado em a3. A imagem local
# confirmou o SHA-256 historico dos 112 bytes emitidos:
# fdd9d044cd1a1e7c491024d255ee0cc47661ffd5fc28788566f69948a71599d6.
# O generated confirmou 106.319/195.584 palavras (54,3598%), 14.930 blocos, 3.685 calls,
# 797 alvos, 5.908 branches, 12.179 delay slots, 1.023 funcoes e 127 indiretas.
# A auditoria confirmou 1.023 funcoes, 15.924 entradas no dispatcher e CLEAN.
# A build limpa UCRT64 ficou estavel por cerca de 20 minutos, em varios modos e
# em partidas Guile x Hokuto no cenario da Hokuto. A telemetria complementar de
# 43 s confirmou 0x8019CB78 e 0x8019CBA8 com pelo menos 4.096 hits fntrace cada,
# sem fallback candidato; P50/P95/maximo de 16,684/16,766/17,416 ms. O material
# historico conhecido se encerra neste lote; a proxima etapa sera descoberta nova.
0x8019CB4C

# Micro-lote S1-240 aprovado integralmente. A coleta
# discovery-m02-versus-doctrine-skullomania-01 observou +185 execucoes desta
# raiz na build S1-239 de telemetria. A funcao formal ocupa
# 0x8013CB08..0x8013CB8B: 132 bytes/33 palavras, com SHA-256
# e5371557634afd2a18808b9474fa67a3f0f6c6476af404f5f84fe34e2be23c7d.
# A tabela indireta em 0x801ABC44 foi emitida com cinco entradas/quatro destinos
# internos. O generated confirmou 106.352/195.584 palavras (54,3766%), 1.024
# funcoes e 15.933 entradas no dispatcher; o auditor retornou CLEAN. A telemetria
# S1-240 registrou 185 hits em cyc_watch e fntrace, sem fallback ou divergencia;
# P50/P95/maximo de 16,683/16,734/18,276 ms. Bonus e Arcade ficaram estaveis.
# O checkpoint limpo cumulativo S1-242 confirmou a promocao integral.
0x8013CB08

# Micro-lote S1-241 aprovado integralmente. A rota Versus Doctrine Dark x
# Skullomania no cenario Skullomania observou +2.564 execucoes da raiz
# formal 0x801102A0..0x8011062F. Sao 912 bytes/228 palavras, SHA-256
# a0f347d22e0d4cc9145e22cc5b8368a14af1cc3563a5ec9268202cab2e7fe6ed.
# O fluxo possui tres JAL para funcoes ja nativas, 11 branches internas, um
# retorno, 1 DIV, 6 MULT e 2 BREAK de guarda; zero J, JALR, COP2 ou tabela
# indireta. O generated confirmou 106.580/195.584 palavras (54,4932%), 1.025
# funcoes e 15.953 entradas no dispatcher; o auditor retornou CLEAN. A coleta
# s1-241-telemetry-01 registrou 2.934 hits fntrace completos, sem fallback;
# P50/P95/maximo de 16,682/16,957/22,900 ms. Bonus, Trial e Arcade ficaram
# estaveis. O checkpoint limpo cumulativo S1-242 confirmou a promocao integral.
0x801102A0

# Micro-lote S1-242 aprovado integralmente. A raiz formal 0x80137FE8 fecha duas
# chamadas diretas cujos alvos ainda nao eram nativos no S1-241: 0x80138084 e
# 0x8013827C. O fechamento contiguo
# ocupa 0x80137FE8..0x801383BB: 980 bytes/245 palavras em tres funcoes de
# 156, 504 e 320 bytes. SHA-256 por corpo, na mesma ordem:
# a99e5f95f307f9d9d6c5ae0cb9fdd6763d18e0d04084ea2cdb06fd5682bc2fe6,
# 8f11f9f1029eadc99688df60cf0d516d466a7c9574a086244ed144e91e9f1a1e e
# 68d7afe2cd95f05564257d802044badf5e909f9c11ae3c93aeda6b020c6a5f51.
# O conjunto possui 11 JAL, 5 J, 12 branches internas, tres retornos e zero
# JALR, DIV, MULT, BREAK ou COP2. Os oito alvos externos ja sao nativos. A
# descoberta M02 observou +414 chamadas da raiz e do ultimo corpo, e uma
# passagem pelo corpo intermediario. A telemetria S1-242 confirmou 107/1/107
# hits nas tres entradas, 215/215 registros completos, as duas calls internas e
# zero fallback; P50/P95/maximo de 16,683/16,741/17,594 ms. O generated confirmou
# 106.825/195.584 palavras (54,6185%), 1.028 funcoes e 15.985 entradas no
# dispatcher, com auditoria CLEAN. O checkpoint Release sem telemetria ficou
# estavel em Versus Doctrine Dark x Skullomania, Versus Guile x Hokuto, Bonus
# Barril, Bonus Trial e Arcade, com 60 FPS e frametime entre 16,4 e 16,8 ms.
0x80137FE8
# Micro-lote experimental S1-243: raiz formal observada em duas coletas de
# Versus (Doctrine Dark x Skullomania, cenario Skullomania). 0x80162D68
# possui 980 bytes/245 palavras; SHA-256: 4226575C83318D0F1490572D14CB151D72296A83F27BF9C3859976C6BDF05664.
# Despacho pela tabela de estado 0x801B3340 (estado 0x41, celula 0x801B3444)
# e chamada indireta em 0x8015F958 (RA esperado 0x8015F960). A tabela interna
# 0x801ABFE0+0x54 possui 21 entradas, seis destinos internos; SHA-256:
# EFA4AAF9573DC9F310A19605E5F8D1798764BBC82D9412840EC5F87F9B9BC72E.
# Sem entradas externas no interior; 19 JAL para 13 destinos ja nativos.
0x80162D68
# Micro-lote experimental S1-244: funcao formal observada em duas coletas de
# Versus Doctrine Dark x Skullomania, no cenario Skullomania. 0x80107A74
# possui 780 bytes/195 palavras; SHA-256:
# 21AEF47455D2B56FC9177E75E4F9574FC03694BD363C86B45756EEF9851291D7.
# O unico chamador direto externo e JAL 0x8010773C (RA esperado 0x80107744;
# instrucao SHA-256 9E4ACA1D882D6BC2EBED00AE07E2D420C1E79CD3A27D4673B23BCD209D3300E7).
# Possui nove JAL para tres alvos ja nativos, quatro J e quinze branches
# internos; zero JALR, JR nao-ra, COP2, DIV, MULT ou BREAK. Usa scratchpad,
# portanto a promocao permanece experimental ate a telemetria e regressao.
0x80107A74
# Micro-lote experimental S1-245: corpo formal 0x8011D310..0x8011D9B3,
# observado repetidamente em Versus Doctrine Dark x Skullomania, cenario
# Skullomania. Sao 1.700 bytes/425 palavras; SHA-256:
# 313CDFA25EE0E2086CEA05C2B3DA1151DF880113480BDD186E993E4EFE15D988.
# O unico chamador externo e JAL 0x8011D060 (RA esperado 0x8011D068).
# Possui oito JAL para alvos ja nativos, seis J e 23 branches internos; zero
# JALR ou JR nao-ra. Usa COP2/GTE, scratchpad, DIV e BREAK de guarda, portanto
# a promocao permanece experimental ate telemetria paginada e checkpoint limpo.
0x8011D310
# Micro-lote experimental S1-246: raiz indireta de Doctrine Dark em
# 0x8011D030..0x8011D077, selecionada pela tabela 0x801AFC70 (celula indice 7,
# 0x801AFC8C). O dispatcher nativo 0x801171DC faz jalr em 0x80117204, com RA
# esperado 0x8011720C. A raiz chama a auxiliar formal 0x8011D078..0x8011D30F
# e a funcao S1-245 0x8011D310. As duas novas funcoes totalizam 184 palavras;
# todos os alvos diretos da auxiliar ja sao nativos. Sem jalr, jr nao-ra, COP2,
# scratchpad, DIV ou BREAK; ha somente um MULT na auxiliar.
0x8011D030

# Micro-lote experimental S1-247: callback formal 0x801A92B8..0x801A939B,
# observado tanto no Bonus Barril quanto em Versus. Sao 228 bytes/57 palavras,
# com frame proprio, cinco branches, um jump interno e uma call direta para
# 0x801A7CB4 ja nativa. A funcao e registrada como callback pelo codigo nativo
# em 0x801A8E30 e 0x801A8EB8. Os dois JALR internos (0x801A9328 e 0x801A935C)
# possuem guarda de nulo e devem preservar o fallback CPS para os callbacks
# dinamicos; eles serao observados pela telemetria, sem promover seus alvos.
# Nao ha COP2/GTE, scratchpad, DIV, MULT ou BREAK. SHA-256 dos 228 bytes:
# aca288b108aa7febfbdac243762ba97602c7ffd69049d1a788100991463e03b9.
0x801A92B8

# Micro-lote experimental S1-248: callback formal 0x801A9DC0..0x801A9FD3,
# observado 579 vezes na coleta valida S1-247, sempre chamado pelo JALR de
# 0x801A9328 com RA 0x801A9330. Sao 532 bytes/133 palavras; SHA-256:
# 6da8e69bb4a4f365c08d2a168395e11a33cf7d58a714f69702836656df656f86.
# As chamadas diretas alcançam somente oito funcoes ja nativas. O JALR
# generico em 0x801A9FB4 (RA 0x801A9FBC) le a celula 0x801BFC68, possui
# guarda de nulo e deve preservar latch, link, delay slot e fallback CPS.
# Nao ha COP2/GTE, scratchpad, DIV, MULT ou BREAK.
0x801A9DC0

# Checkpoint limpo cumulativo S1-248 aprovado integralmente. As promocoes
# S1-246, S1-247 e S1-248 passaram pela telemetria direcionada e pelo
# checkpoint Release sem PSX_DEBUG_TOOLS: Bonus Barril, Trial, Versus Doctrine
# Dark x Skullomania, Versus Guile x Hokuto e cenarios variados do Arcade sem
# regressao perceptivel. A linha de frametime permaneceu estavel abaixo de
# 17 ms durante o gameplay; o auditor codegen retornou CLEAN.
