Verificação do motor de cálculo

Cada caso abaixo roda o motor com os dados de um exemplo resolvido publicado e compara o resultado com o valor impresso na fonte ou, quando a norma prescreve, com o valor que ela exige aplicada aos dados publicados. Os casos são os mesmos que a suíte de testes executa: um caso de mesmo método que se afastar da fonte reprova a suíte, e um caso parcial que mudar de valor também.

Ferramenta de pré-dimensionamento. Conferir com exemplos publicados mostra que as contas reproduzem as fontes; não substitui a análise e a responsabilidade de engenheiro habilitado.

24

casos no acervo

88

grandezas comparadas

18

casos que conferem

6

com diferença justificada

0

com achado em aberto

Como ler

Desvio de cada grandeza em relação à referência

Marcas

Escala e leitura

Passe o cursor, toque ou use Tab num item da legenda para a explicação completa, ou numa marca do gráfico para ver os números; Esc fecha.

Desvio do motor em relação à referência, (motor − referência) / |referência|, em %

Sapata rígida isolada pelo método das bielasPaulo Sérgio dos Santos Bastos, Exemplo 2, p. 41 impressa / PDF 45
Sapata de divisa com viga de equilíbrio: reações e esforçosPaulo Sérgio dos Santos Bastos, Exemplo 8, pp. 82–87 (seção 1.10)
Viga de equilíbrio: flexão e cortante (tabela × fórmula fechada)Paulo Sérgio dos Santos Bastos, Exemplo 8, pp. 85–86 (itens 5.1 e 5.2)
Alívio da viga de equilíbrio no pilar interno (NBR 6122 §5.7)Paulo Sérgio dos Santos Bastos, Exemplo 8, p. 83 (V2L = R1 − N1)
Sapata rígida centrada: compressão diagonal no contorno C e pressão no soloPaulo Sérgio dos Santos Bastos (2012), Exemplo 1, pp. 21–23 e 28 impressas (PDF 25–27 e 32)
Sapata isolada com momento: tensões na base e contorno CPaulo Sérgio dos Santos Bastos (2012), Exemplo 3, pp. 40–44 e 47 impressas (PDF 44–48 e 51)
Sapata flexível centrada: punção no contorno C′Edja Laurindo da Silva (orientação: José Samuel Giongo) (1998), Exemplo 1, §4.1, pp. 80–81 e 84–86 impressas (PDF 98–99 e 102–104)
Capacidade de carga por Vesić: sapata 2 × 3 m em areia compactaCintra, Aoki e Albiero (2011), Exercício resolvido 1b, pp. 49–50
Vesić com nível d'água em três posições (sapata 3 × 3 m)Cintra, Aoki e Albiero (2011), Exercício resolvido 4, pp. 56–57
Recalque elástico de placa rígida retangularHenrique Dinis (2024), Cap. 4, Exemplo 4.1, pp. 89–90
Recalque por Schmertmann em perfil estratificado (sapata corrida 6 × 24 ft)Naresh C. Samtani e Edward A. Nowatzki (2006), Exemplo 8-2, pp. 8-48 a 8-52 (PDF 82–86)
Recalque por adensamento primário de argila normalmente adensadaNaresh C. Samtani e Edward A. Nowatzki (2006), Exemplo 8-3, pp. 8-54 e 8-55 (PDF 88–89)
Capacidade de carga de sapata corrida com coesão, NA profundo e na baseNaresh C. Samtani e Edward A. Nowatzki (2006), Example 8-1, p. 8-21 (PDF 55)
Capacidade de sapata corrida: efeito de embutimento, largura e NA (solo coesivo e granular)Naresh C. Samtani e Edward A. Nowatzki (2006), §8.4.2.1, Tab. 8-3, p. 8-23 (PDF 57)
Bloco sobre 3 estacas: armaduras complementaresPaulo Sérgio dos Santos Bastos, Ex. 2 do §14.2, bloco sobre 3 fustes de tubulão, p. 44 impressa (PDF 48)
Bloco sobre 4 estacas: armaduras complementaresPaulo Sérgio dos Santos Bastos, Ex. 3 do §14.3, bloco sobre 4 estacas, p. 52 impressa (PDF 56)
Capacidade do grupo pela sapata hipotética: Vesić com NA variávelCintra, Aoki e Albiero (2011), Exercício resolvido 4, pp. 56–57
Bloco sobre 2 estacas (Blévot): força no tirante e tensões nas bielasFabiana Stripari Munhoz (orientação: José Samuel Giongo) (2004), Modelos B1-1 a B1-3: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.6 (p. 102) e §5.6.4 (p. 139)
Bloco sobre 3 estacas (Blévot): força por lado e tensões nas bielasFabiana Stripari Munhoz (orientação: José Samuel Giongo) (2004), Modelo C1-1: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.5 (p. 101) e 5.6 (p. 102)
Bloco sobre 3 estacas com pilar retangular (Blévot): braço pela menor dimensãoFabiana Stripari Munhoz (orientação: José Samuel Giongo) (2004), Modelo C2-1: Tab. 5.2 (p. 94), 5.5 (p. 101) e 5.6 (p. 102)
Bloco sobre 4 estacas (Blévot): força por lado e tensões nas bielasFabiana Stripari Munhoz (orientação: José Samuel Giongo) (2004), Modelo D1-1: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.5 (p. 101) e 5.6 (p. 102)
Bloco sobre 4 estacas com pilar retangular (Blévot): braço da bielaFabiana Stripari Munhoz (orientação: José Samuel Giongo) (2004), Modelo D2-1: Tab. 5.2 (p. 94), 5.4 (p. 100), 5.5 (p. 101) e 5.6 (p. 102)
Resistência de ponta por SPT (Aoki-Velloso e Décourt-Quaresma): estaca pré-moldada de 23 cmJean Felix Cabette (orientação: Fernando Antônio Medeiros Marinho) (2014), Anexo E, Fig. 95 (sondagem SP-919), p. 158 (PDF 159)
Atrito lateral e ponta por Décourt-Quaresma com perfil SPT integral: estaca cravada e hélice contínua de Ø 30 cmDepartamento de Construção Civil da UFPR (C. T. Santos, E. Dell'Avanzi, L. P. Sestrem, V. P. Faro, I. C. Salah e I. G. da Silva; GEGEO) (2019), Exercício de Décourt & Quaresma (1978), slides 11 a 14 (PDF pp. 6–7)

Os mesmos números estão nas tabelas de cada ficha. Tolerância: meia unidade da última casa publicada, salvo justificativa registrada no caso. A escala não muda o estado de nenhuma grandeza.

Casos do acervo

24 de 24 caso(s).

O catálogo liga cada check que o motor emite ao tema que ele verifica. Os 85 temas aparecem abaixo, por domínio, inclusive os que não têm exemplo publicado. O nível de cada tema, de N0 a N4, é calculado a partir da evidência registrada no repositório (método v1), nunca escrito à mão. É o menor de três fatores: referência (como a fonte foi lida), verificação (oráculos e exemplos publicados que conferem com o motor) e revisão (decisão numerada e revisão independente). As travas limitam o nível: achado alto aberto, cláusula da NBR 6118 fora da edição 2026 e revisão anterior a uma decisão do tema.

O nível mede a evidência de cada verificação. Não é nota de confiança no resultado nem comparação com prova de carga.

Temas por nível e o que se pode afirmar

O N1 se divide pelo que o tema tem: decisão numerada sem exemplo publicado conferido; nenhuma decisão numerada; ou exemplo publicado que confere, com o nível limitado por achado alto aberto. Achados abertos aparecem em todo tema que os tem; o alto fica em destaque sob o título e só vira trava quando o tema passaria de N1. Os casos citados em cada tema são os do quadro acima; o status ao lado de cada um é o do caso inteiro, e o nível conta só as grandezas do tema.

Sapata — 46 temas: N0: 2 · N1: 38 · N2: 6

  • S01 Capacidade de carga — VesićNível N1 conforme as decisões 0056, 0085, 0097, 0103, 0134 e 0136; nível limitado por achado alto aberto (SG-02)Achado alto aberto: SG-02

    σr de Vesić/De Beer (Nq, Nc, Nγ e fatores de forma de Cintra, Aoki e Albiero, Tab. 2.2–2.3), com área efetiva B′×L′, dc = dq = dγ = 1, NA no termo de peso pelo bulbo Breal·max(2; tan(45° + φ/2)) e σadm = σr/FS (NBR 6122 Tab. 1). O ex. 4 de Cintra et al. confere a formulação com H = 2B; o ramo φ > φ* da envoltória do bulbo (decisão 0103), que o solver usa com NA no bulbo, fica no S48, e a guarda do domínio do NA no S42.

    Fatores (0 a 4)

    Referência: 4
    pior leitura das fontes externas: E1
    Verificação: 3
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 2 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0056, 0085, 0097, 0103, 0134, 0136); nenhuma revisão independente registrada

    Travas

    • achado alto aberto (SG-02): nível ≤ 1

    Achados abertos

    • Alto SG-02: Peso percentual padrão (5 % de N) omite o reaterro, mas Vesić credita q·Nq bruto: com os valores iniciais, σmed supera a σadm no modo real (FS efetivo 2,4 a 2,7).docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Médio RM-2026-10-12/S12: Resíduo do NA no termo de peso: USACE p. 1-10 a revalidar no PDF, γ′ até 22,2 % acima do valor de base da AASHTO, Das/Coduto/Bowles não conferidos.docs/pendencias.md, «S12, médio (resíduo)»; docs/auditorias/revisao-motor-2026-10-12.md, S12
    • Baixo SG-05: Fonte nova reforça 2B e indica mecanismo mais profundo que a envoltória acima de ~37° (indício sem verificação adversarial).anexo 04 SG-05 do parecer de 2026-10-22 (PR #262)
    • Baixo SG-04: Inclinação de Vesić: divergência de forma entre fontes e comportamento íngreme perto de φ = 0 (latente; indício sem verificação adversarial).anexo 04 SG-04 do parecer de 2026-10-22 (PR #262)

    Cláusulas (do tema e dos checks)

    • Cintra, Aoki e Albiero (2011), Tab. 2.2–2.3
    • Cintra, Aoki e Albiero (2011), ex. 4, pp. 56–57 (NA no bulbo 2B)
    • USACE EM 1110-1-1905 (1992), Eq. 1-4b e 1-6
    • NBR 6122:2022 §7.2–7.3
    • NBR 6122:2022 §6.2.1.1.1, Tab. 1
    • Cintra, Aoki e Albiero (2011), p. 45 (Godoy e Teixeira–Godoy)
    • NBR 6122:2022 §5.7
    • NBR 6122:2022 §7.3
    • NBR 6122:2022 §5.1
    • NBR 8681 §4.3.3.1

    Decisões do tema

    0056, 0085, 0097, 0103, 0134, 0136

  • S02 Capacidade de carga — TerzaghiNível N1 conforme as decisões 0046, 0057, 0097 e 0134, sem exemplo publicado conferidoAchado alto aberto: SG-02

    Terzaghi clássico com Nγ da tabela de Kumbhojkar (1993) em 0°–50°, sem extrapolação, bloqueado com carga horizontal e com NA no bulbo; σadm = σr/FS.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E3
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0046, 0057, 0097, 0134); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto SG-02: Peso percentual padrão omite o reaterro enquanto Terzaghi credita q·Nq bruto (convenção bruta incoerente no modo percentual).docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Médio RM-2026-10-12/S12: Terzaghi com o NA no bulbo segue pendente (saída T1 da 0097): nenhuma regra de NA no termo de peso tem fonte para o método.docs/pendencias.md, «S12, médio (resíduo)»; docs/auditorias/revisao-motor-2026-10-12.md, S12

    Cláusulas (do tema e dos checks)

    • Kumbhojkar (1993), tabela de Nγ, 0°–50°
    • NBR 6122:2022 §7.2–7.3
    • NBR 6122:2022 §6.2.1.1.1, Tab. 1
    • NBR 6122:2022 §5.7
    • NBR 6122:2022 §7.3
    • NBR 6122:2022 §5.1
    • NBR 8681 §4.3.3.1

    Decisões do tema

    0046, 0057, 0097, 0134

    Casos do acervo

    Nenhum caso do acervo.

  • S03 Capacidade por SPT (consultiva, decisão 0059)Nível N2 reproduz Cintra, Aoki e Albiero (2011), Fundações diretas: projeto geotécnico, exercício resolvido 1b, pp. 49–50 dentro da tolerância de ±4 kPa

    Correlações de Godoy/Teixeira–Godoy via Cintra et al. (φ = 28 + 0,4N; su = 10N) com N do perfil por metro na janela 2B/3B/4B de Cintra ou N declarado, alimentando Vesić só como valor consultivo; o despacho de capacidade é 0.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo C (teste cita valor de exemplo publicado fora do acervo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0014, 0055, 0059, 0074); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §7.3.3
    • Cintra, Aoki e Albiero (2011), p. 38 (janela e representatividade)
    • Cintra, Aoki e Albiero (2011), p. 45 (correlações de Godoy e Teixeira–Godoy)
    • NBR 6484 §5.2.3.7–§5.2.3.9 (martelo, queda e N; energia não definida)
    • NBR 6484 §5.2.3.7–§5.2.3.9 (energia não definida pela norma)
    • Cintra, Aoki e Albiero (2011), p. 38
    • Cintra, Aoki e Albiero (2011), p. 45 (Godoy e Teixeira–Godoy)

    Decisões do tema

    0014, 0055, 0059, 0074

    Casos do acervo

    Nenhum caso do acervo.

  • S04 Tensões no solo (σmed e σmax; contato uniaxial e biaxial)Nível N1 conforme as decisões 0005, 0008, 0047, 0052, 0053, 0089 e 0134; nível limitado por achado alto aberto (SG-02)Achado alto aberto: SG-02

    σmed e σmax (Navier no núcleo; contato sem tração uniaxial de Bastos 2012 ou biaxial exato fora dele; área efetiva de Meyerhof sem compressão total) contra σadm·fator. Os limites de excentricidade, de núcleo e de área comprimida ficam no S44, e as guardas de domínio do contato no S42.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0005, 0008, 0047, 0052, 0053, 0089, 0134); nenhuma revisão independente registrada

    Travas

    • achado alto aberto (SG-02): nível ≤ 1

    Achados abertos

    • Alto SG-02: Peso percentual padrão (5 % de N) fica abaixo do peso real de concreto e reaterro: σmed subestimada no modo percentual.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Médio RM-2026-10-12/S4: Resíduo da 0089: Meyerhof sem compressão total mostra N/A′ como borda (fontes divergem), fator 1,3 de Bastos não adotado e piso de 50 % com solicitações de cálculo não verificado.docs/pendencias.md, «S4, médio (resíduo)»; docs/auditorias/revisao-motor-2026-10-12.md, S4
    • Baixo SG-01: Dentro do núcleo, σmax de Navier é comparada à σadm já reduzida por B′ (efeito só conservador; registrar em conservadorismos deliberados).docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 (PR #262); anexo 04 SG-01

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §7.3
    • NBR 6122:2022 §7.6.2
    • Bastos (2012), §2.10, pp. 34–40 (p. 36: diagrama triangular sem tração)
    • NBR 6122:2022 §5.7
    • NBR 6122:2022 §5.1
    • NBR 8681 §4.3.3.1

    Decisões do tema

    0005, 0008, 0047, 0052, 0053, 0089, 0134

  • S05 Estabilidade — tombamento e deslizamento (NBR 6122 §6.2.1.1.2)Nível N1 conforme as decisões 0090 e 0092, sem exemplo publicado conferido

    Coeficientes parciais da NBR 6122 §6.2.1.1.2, leitura A: 1,4·Mk,base ≤ (Vfav,k/1,2)·L/2 e 1,4·Hk ≤ (Vfav,k/1,2)·μ/1,4, com Vfav,k = Gk + W e μ declarado ou tan(2/3·φ).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0090, 0092); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio RM-2026-10-12/S5-S7b: Resíduo: revalidar EN 1997-1 §6.5.3(10) no texto oficial (δ = φcv e 2/3·φ) e decidir se a adesão ca·A′ entra no deslizamento.docs/pendencias.md, «S5 e S7b, deslizamento e tombamento (médio)»; docs/auditorias/revisao-motor-2026-10-12.md, S5 e S7
    • Baixo AL-01: A pressão de contato trata |HA| e |HB| abaixo de EPS como zero, por componente, e o deslizamento usa a resultante √(HA² + HB²): com H residual por componente o deslizamento sai sem a pendência de contato e o resultado aprova.lib/engine/estrutural/pressao-contato.ts:199 e lib/engine/geotecnia.ts:252 e :578; corpus do catálogo, «aprovada: deslizamento com H residual»

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §6.2.1.1.2
    • NBR 6122:2022 §7.6.3
    • NBR 8681:2025 §4.3.3.1

    Decisões do tema

    0090, 0092

    Casos do acervo

    Nenhum caso do acervo.

  • S06 Recalque elásticoNível N1 conforme as decisões 0010, 0070, 0071, 0080 e 0134; nível limitado por achado alto aberto (SG-02)Achado alto aberto: SG-02

    ρ = σ·B·Iρ·(1 − ν²)/Es de placa rígida, com Iρ = √((L/B)·Ic) da Tab. 4.1 de Dinis (2024), convergente com Kulhawy et al. (EPRI EL-2870), em 1 ≤ L/B ≤ 10 e dimensões efetivas no núcleo (0071).

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0010, 0070, 0071, 0080, 0134); nenhuma revisão independente registrada

    Travas

    • achado alto aberto (SG-02): nível ≤ 1

    Achados abertos

    • Alto SG-02: Com o peso percentual padrão, o ELS desconta σ′v0 = γ·D inteiro sem somar o reaterro e subestima o recalque: o solver aprovava plantas cujo recalque no modo real é 28 a 32 mm (admissível 25). Desde a 0134 elas ficam pendentes, e o método segue aberto.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Baixo RM-2026-10-12/S9: Sem Es o elástico usa 20 MPa (só via API ou legado) e o default de 25 mm do recalque admissível não tem fonte.docs/pendencias.md, «Demais itens» (S6 e S9); docs/auditorias/revisao-motor-2026-10-12.md, S9

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §6.2.2 e §7.4
    • NBR 6122:2022 §6.2.2.1 e §3.51
    • Dinis (2024), Tab. 4.1, p. 88
    • Kulhawy et al. (EPRI EL-2870), Tab. 10-1 e Eq. 10-3b
    • NBR 6122:2022 §6.2.2
    • Dinis (2024), Tab. 4.1

    Decisões do tema

    0010, 0070, 0071, 0080, 0134

  • S07 Recalque SchmertmannNível N1 conforme as decisões 0038, 0039, 0054, 0062, 0071, 0072, 0078 e 0134; nível limitado por achado alto aberto (SG-02)Achado alto aberto: SG-02

    Schmertmann (1978) pela formulação completa da FHWA NHI-06-089 §8.5.1 (diagrama Iz linear, C1 ≥ 0,5, C2 de fluência, bulbo 2B–4B) sobre perfil explícito com origem por camada, em solo não coesivo.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0038, 0039, 0054, 0062, 0071, 0072, 0078, 0134); nenhuma revisão independente registrada

    Travas

    • achado alto aberto (SG-02): nível ≤ 1

    Achados abertos

    • Alto SG-02: Com o peso percentual padrão, q líquida descontada de σ′v0 inteiro sem o reaterro subestima o recalque: o solver aprovava plantas acima do admissível no modo real, que desde a 0134 ficam pendentes; o método segue aberto.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Baixo VM-04: O piso C1 ≥ 0,5 não tem oráculo: os mutantes 0,40, 0,45 e 0,55 sobrevivem.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 (PR #262); anexo 06 VM-04
    • Baixo RM-2026-10-12/S9: Default de 25 mm do recalque admissível sem fonte.docs/pendencias.md, «Demais itens» (S6 e S9); docs/auditorias/revisao-motor-2026-10-12.md, S9

    Cláusulas (do tema e dos checks)

    • FHWA NHI-06-089 (2006), §8.5.1, Ex. 8-2, pp. 8-48–8-52
    • Schmertmann (1978), solo não coesivo
    • NBR 6122:2022 §6.2.2 e §7.4
    • NBR 6122:2022 §6.2.2
    • Dinis (2024), Tab. 4.1
    • Kulhawy et al. (EPRI EL-2870), Tab. 10-1 e Eq. 10-3b

    Decisões do tema

    0038, 0039, 0054, 0062, 0071, 0072, 0078, 0134

  • S08 Recalque por adensamentoNível N1 conforme as decisões 0045, 0051, 0054, 0073 e 0134; nível limitado por achado alto aberto (SG-02)Achado alto aberto: SG-02

    Adensamento primário 1D (H·Cc/(1 + e0)·log, NC/OC com σ′pa) com Δσ por 2:1 ou Boussinesq e σ′v0 efetiva positiva, sem correção de Skempton–Bjerrum, como no Ex. 8-3 da FHWA NHI-06-089. No solver, esse perfil legado sempre bloqueia a aprovação (BLOQUEIO_ELASTICO_LB, BLOQUEIO_ELASTICO_ADENSAMENTO ou BLOQUEIO_PERFIS_LEGADOS): as grandezas p0, dp e rho do Ex. 8-3 medem só o ramo 2:1 legado, e o adensamento que aprova o ELS é o do perfil único (S46).

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0045, 0051, 0054, 0073, 0134); nenhuma revisão independente registrada

    Travas

    • achado alto aberto (SG-02): nível ≤ 1

    Achados abertos

    • Alto SG-02: Com o peso percentual padrão, a tensão líquida descontada de σ′v0 inteiro sem o reaterro subestima o recalque total.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Baixo RM-2026-10-12/S9: Default de 25 mm do recalque admissível sem fonte.docs/pendencias.md, «Demais itens» (S6 e S9); docs/auditorias/revisao-motor-2026-10-12.md, S9

    Cláusulas (do tema e dos checks)

    • FHWA NHI-06-089 (2006), §8.5.3, Ex. 8-3, pp. 8-54–8-55
    • NBR 6122:2022 §6.2.2 e §7.4

    Decisões do tema

    0045, 0051, 0054, 0073, 0134

  • S09 Flexão / bielas (sapata rígida: T e As)Nível N2 reproduz Paulo Sérgio dos Santos Bastos, Exemplo 2, p. 41 impressa / PDF 45 dentro da tolerância

    Tirante de Lebelle Td = Nd·(L − lp)/(8·d)·amplif e As = Td/fyd na sapata rígida (Bastos Eq. 1.32; Silva 1998 Eq. 3.36; decisão 0084), com As,mín por Md,mín = 0,8·W0·fctk,sup e piso 0,15 % (§17.3.5.2.1). O console da divisa com viga (flexaoA1) entra no S33, pelo check de armadura mínima; a flexão da flexível, no S36. O As de bielas não decide «Armadura direção …: As ≥ As,min», verdadeiro por construção (AsAdot = máx(AsCalc; AsMin)), mas decide o detalhamento por direção (número e espaçamento das barras) quando governa o AsAdot, e a ancoragem da armadura da sapata (ℓb,nec proporcional a As,calc/As,ef) quando o As,mín governa: com o As de bielas governando, a razão vale 1. As duas entradas herdam o tema, e também o S33.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0014, 0084, 0093, 0122); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio S6 / SE-05: Na sapata flexível o Md é tomado na face do pilar com σ uniforme, 7–17 % abaixo da seção S1 a 0,15·b (Bastos 2012 e EHE-08 convergem); latente porque a flexível não aprovadocs/auditorias/revisao-motor-2026-10-12.md §3.1 (S6) e docs/pendencias.md; PR #262, anexo 05 §3 SE-05 (sem verificação adversarial)
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo SE-07: Domínio de Lebelle d ≥ (L − lp)/4 não é verificado na sapata rígida isolada (só na direção A1 da divisa com viga)PR #262, anexo 05 §3 SE-07 (sem verificação adversarial)

    Cláusulas (do tema e dos checks)

    • Bastos, Eq. 1.32 (§1.6.6)
    • Silva 1998, Eq. 3.36
    • NBR 6118:2026 §17.2.2(e)
    • NBR 6118:2026 §14.6.4.3
    • NBR 6118:2023 §17.3.5.2
    • NBR 6118:2023 §9.4.2.5
    • NBR 6118:2023 §18.3.2.2

    Decisões do tema

    0014, 0084, 0093, 0122

  • S10 Punção — contorno C interior sem momento (compressão diagonal)Nível N2 reproduz Paulo Sérgio dos Santos Bastos (2012), Exemplo 1, pp. 21–23 e 28 impressas (PDF 25–27 e 32) dentro da tolerância

    τSd = Nd/(u0·d) no contorno C, sem alívio do solo, comparado a τRd2 = 0,27·αv·fcd (NBR 6118 §19.5.2.2 e §19.5.3.1), na sapata isolada com pilar interior e carga centrada. A parcela de momento (K·MSd/(Wp·d)) fica no S38; borda, canto e o C interior da divisa sem viga, no S32.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0048); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o τRd2 sobe cerca de 40 % e o resultado aprovadocs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §19.5.3.1
    • NBR 6118:2023 §19.5.2.2

    Decisões do tema

    0048

  • S11 Punção — contorno C′ (sem/com momento; borda e canto)Nível N1 conforme as decisões 0011, 0031, 0032, 0033, 0034, 0037, 0043, 0048, 0058, 0062 e 0076, sem exemplo publicado conferido

    Contorno C′ a 2d só na sapata flexível, Fsd reduzido pela reação do solo dentro do contorno e parcela de momento com Nd cheio, τRd1 = 0,13·min(1 + √(20/d); 2)·(100ρfck)^(1/3) (NBR 6118 §19.5.2.2 e §19.5.3.2); borda, canto e divisa afastada com reação integrada (decisões 0031–0034, 0043, 0058).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo B- (exemplo publicado no acervo sem grandeza da fonte que confira com margem (divergência caracterizada ou empate na tolerância)); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0011, 0031, 0032, 0033, 0034, 0037, 0043, 0048, 0058, 0062, 0076); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio SE-01: C′ fixo a 2d da NBR é menos conservador que o EC2 §6.4.4(2) (contorno a ≤ 2d): 14 de 30 casos aprovados reprovariam no EC2; latente, a NBR governaPR #262, parecer §6.1 (SE-01)
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo SE-02: Sapata rígida sem verificação de tração diagonal (C′), que EC2 e ACI fazem; conforme a NBR §22.6.2.2(b)PR #262, anexo 05 §3 SE-02 (sem verificação adversarial)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §19.5.3.2
    • NBR 6118:2026 §19.5.2.1
    • NBR 6118:2026 §19.5.2.2
    • NBR 6118:2026 §19.5.2.3
    • NBR 6118:2026 §19.5.2.4
    • NBR 6118:2026 §22.6.2.2(b)
    • NBR 6118:2026 §19.4.1

    Decisões do tema

    0011, 0031, 0032, 0033, 0034, 0037, 0043, 0048, 0058, 0062, 0076

    Casos do acervo

  • S12 Cortante (seção a d, VRd1) na sapataNível N1 conforme as decisões 0011, 0062, 0076 e 0119, sem exemplo publicado conferido

    Seção crítica a d da face, VSd da pressão além dela na largura total, VRd1 = 0,25·fctd(fck ≤ 60)·k·(1,2 + 40ρ1)·bw·d com k = 1; bw < 5d fica pendente (NBR 6118 §19.4.1; decisão 0011).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0011, 0062, 0076, 0119); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo SE-08: Divisa com viga: o cortante da A1 fica pendente com B1 < 5d em toda geometria usual, sem registro em pendênciasPR #262, parecer §6.1 (SE-08)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §19.4.1
    • NBR 6118:2026 §19.4
    • NBR 6118:2026 §17.4
    • NBR 6118:2026 §19.5.2.1

    Decisões do tema

    0011, 0062, 0076, 0119

    Casos do acervo

    Nenhum caso do acervo.

  • S13 Ancoragem (lb, gancho, esperas)Nível N1 conforme as decisões 0011, 0065 e 0119, sem exemplo publicado conferido

    lb = (φ/4)·fyd/fbd ≥ 25φ; lb,nec = max(α·lb·As,calc/As,ef; 0,3·lb; 10φ; 10 cm), α = 0,7 com gancho e c ≥ 3φ, disponível (L − lp)/2 − c; esperas retas à fyd com h ≥ lb,nec + c + 2 cm (NBR 6118 §9.4.2.4–5, fbd de §9.3.2.1 com η1 da Tab. 8.2).

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0011, 0065, 0119); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo SE-04: lbDisp é medido da face do pilar; CEB-70, Bastos, Silva e EHE medem a partir de seção além da face (compensado hoje pela perna física = lb)PR #262, anexo 05 §3 SE-04 (sem verificação adversarial)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §9.4.2.4
    • NBR 6118:2026 §9.4.2.5
    • NBR 6118:2026 §9.3.2.1
    • NBR 6118:2026 Tab. 8.2
    • NBR 6118:2023 §9.4.2.5

    Decisões do tema

    0011, 0065, 0119

    Casos do acervo

    Nenhum caso do acervo.

  • S14 Divisa com viga de equilíbrio — reações, esforços e alívioNível N2 reproduz Paulo Sérgio dos Santos Bastos, Exemplo 8, pp. 82–87 (seção 1.10); Paulo Sérgio dos Santos Bastos, Exemplo 8, pp. 85–86 (itens 5.1 e 5.2); Paulo Sérgio dos Santos Bastos, Exemplo 8, p. 83 (V2L = R1 − N1) dentro da tolerância

    Reação amplificada R1 = N1·z/(z − e1), esforços da viga em três trechos e alívio ΔP = R1 − N1 de Bastos/Ferro (item 1.10), com a fundação interna sob N2 − 0,5·ΔP_G pela NBR 6122:2022 §5.7.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006, 0086, 0109, 0110, 0116, 0120, 0121); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S1-residuo: Resíduo do S1: soma dos alívios de várias divisas, origem dos 50 % da §5.7 não achada no original e tração total na interna não modelada (fail-closed).docs/pendencias.md, «Resíduo do S1»; decisões 0086 e 0109
    • Baixo SE-08: Na divisa com viga, o cortante da direção A1 fica pendente quando B1 < 5d, o que acontece na geometria usual (95 de 95 casos da busca livre); só com planta travada e B1 ≥ 5d (ex.: 260×400) ele é calculado. O bloqueio não está em docs/pendencias.md e a revisão de 2026-10-12 não o cita.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1; anexo-05 e anexo-08, SE-08 (PR #262)
    • Baixo VM-08: Escopo do tema de cobertura sapata-divisa diz que o alívio é valor derivado da norma, mas o caso sapata-nbr6122-alivio-viga-equilibrio compara o V2L publicado; indício sem verificação adversarial.docs/auditorias/parecer-validacao-metodologica-2026-10-22/anexo-06-validacao-metodologica.md VM-08 (PR #262)
    • Baixo VM-09: O caso sapata-nbr6122-alivio-viga-equilibrio repete o mesmo V2L = 78,6 kN de sapata-bastos-ex8-divisa-reacoes por outro caminho de código e é contado como caso distinto; indício sem verificação adversarial.docs/auditorias/parecer-validacao-metodologica-2026-10-22/anexo-06-validacao-metodologica.md VM-09 (PR #262)

    Cláusulas (do tema e dos checks)

    • Bastos (2023), item 1.10.1
    • Bastos (2023), item 1.10.2, eq. 1.77 e eq. 1.78
    • NBR 6122:2022 §5.7
    • NBR 6122:2022 §5.1
    • NBR 6122:2022 §7.3
    • NBR 8681 §4.3.3.1

    Decisões do tema

    0006, 0086, 0109, 0110, 0116, 0120, 0121

  • S15 Viga de equilíbrio — armaduras (flexão, cortante VRd2/Asw, pele)Nível N1 conforme as decisões 0006, 0044 e 0119, sem exemplo publicado conferido

    Flexão da viga por equilíbrio do bloco retangular (NBR 6118 §17.2.2), cortante pelo modelo I de §17.4.2.2 (VRd2, Asw), pele de §17.3.5.2.3 e costura 0,4·As de Bastos, com o Exemplo 8 de Bastos como oráculo.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo B- (exemplo publicado no acervo sem grandeza da fonte que confira com margem (divergência caracterizada ou empate na tolerância)); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006, 0044, 0119); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo VM-10: A pele do Exemplo 8 confere no acervo por empate exato na meia unidade (motor 2,625 contra 2,63 publicado, tolerância 0,005), que depende da folga de 1e-9 da régua; indício sem verificação adversarial.docs/auditorias/parecer-validacao-metodologica-2026-10-22/anexo-06-validacao-metodologica.md VM-10 (PR #262)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §17.2.2(e)
    • NBR 6118:2026 §14.6.4.3
    • NBR 6118:2023 §17.4.2.2
    • NBR 6118:2023 §17.3.5.2.3
    • Bastos (2023), item 1.10.3
    • Bastos (2023), item 1.10.5.4
    • NBR 6118:2026 §17.4.2.2
    • NBR 6118:2026 §18.3

    Decisões do tema

    0006, 0044, 0119

  • S16 Fissuração (ELS-W) da sapataNível N1 conforme as decisões 0040, 0044, 0049, 0060, 0063, 0068, 0069, 0079, 0119, 0125, 0137 e 0138, sem exemplo publicado conferido

    wk = min(wk1; wk2) por grupo de barras e combinação frequente, σs de estádio II, Acri ≤ 7,5φ e η1 da Tab. 8.2, contra wk,lim da Tab. 13.4 (NBR 6118 §17.3.3.2); modo externo com dados próprios (decisão 0040) ou interno por tirante de serviço na sapata rígida centrada (decisão 0063).

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0040, 0044, 0049, 0060, 0063, 0068, 0069, 0079, 0119, 0125, 0137, 0138); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio CR-03: Resíduo das 0137 e 0138: a confirmação da revisão externa grava planta (A, B, h, d), data e decisoesHead; planta diferente ou ausente deixa a revisão pendente (os 30 de 450 casos da 0128 passam a pendentes), e também a versão das decisões abaixo da 0137 ou acima da versão aberta. A tela avisa as decisões posteriores à confirmação que mudam o que o motor recalcula ao vivo (registro DECISOES_POSTERIORES, vazio). Falta o efeito «pendente» por decisão, para a primeira que mudar insumo declarado (σs, η1, Es), e o porte ao monorepo (R-9, item 4)PR #262, parecer §6.1 (CR-03); decisões 0137 e 0138

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §17.3.3.2
    • NBR 6118:2026 Tab. 13.4
    • NBR 6118:2026 Tab. 8.2
    • NBR 6118:2026 Tab. 11.2
    • NBR 6118:2023 §17.3.3.2

    Decisões do tema

    0040, 0044, 0049, 0060, 0063, 0068, 0069, 0079, 0119, 0125, 0137, 0138

    Casos do acervo

    Nenhum caso do acervo.

  • S17 Pressão de contato pilar/sapata e fendilhamentoNível N1 conforme as decisões 0064, 0066 e 0067, sem exemplo publicado conferido

    Nd ≤ FRd = k·fcd·Ac0 com k = √(Ac1/Ac0) ≤ 3,3 (NBR 6118 §21.2.1 via §22.6.3), área efetiva centrada na resultante com M (DIN EN 1992-1-1/NA, AISC DG1; decisão 0066) e espraiamento ≤ 2h (ACI 318); armadura de fendilhamento pelo tirante das bielas na rígida e Td,A1 com bw na divisa com viga (decisões 0064 e 0067).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0064, 0066, 0067); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §21.2.1
    • NBR 6118:2026 §22.6.3
    • NBR 6118:2026 §22.6.4.1.1
    • Bastos, Eq. 1.32
    • DIN EN 1992-1-1/NA, NCI a 6.7(3)
    • AISC Design Guide 1, §3.3
    • ACI 318 (2019), §22.8.3.2

    Decisões do tema

    0064, 0066, 0067

    Casos do acervo

    Nenhum caso do acervo.

  • S18 Distorção angular com a fundação vizinha (ELS do conjunto)Nível N1 conforme as decisões 0082, 0129 e 0134, sem exemplo publicado conferidoAchado alto aberto: SG-02

    δ/ℓ = |ρ − ρviz|/ℓ, a pior entre as combinações de serviço, contra o limite inverso informado (padrão 1/300; 1/150 dano estrutural) de Bjerrum (1963) e Skempton & MacDonald (1956); a NBR 6122 §6.2.2.1 e §7.1 exige o ELS do conjunto sem fixar valor.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0082, 0129, 0134); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto SG-02: Com o peso percentual padrão, o ELS desconta σ′v0 = γ·D inteiro sem somar o reaterro e subestima o recalque: o solver aprovava plantas cujo recalque no modo real é 28 a 32 mm (admissível 25). Desde a 0134 elas ficam pendentes, e o método segue aberto.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Médio SG-03: O limite padrão 1/300 é o início esperado de fissuras em paredes (Bjerrum 1963); o limite com margem é 1/500.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 (PR #262); anexo 04 SG-03

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §6.2.2.1 e §7.1
    • Bjerrum (1963), limites 1/300 e 1/150
    • Skempton & MacDonald (1956), limites 1/300 e 1/150

    Decisões do tema

    0082, 0129, 0134

    Casos do acervo

    Nenhum caso do acervo.

  • S21 Classificação rígida/flexível (sapata isolada e divisa sem viga)Nível N1 conforme as decisões 0005, 0014 e 0048, sem exemplo publicado conferido

    Rígida quando h ≥ (L − lp)/3 nas duas direções (NBR 6118 §22.6.1), também na divisa sem viga; menor dimensão em planta ≥ 60 cm (NBR 6122 §7.7.1). A divisa com viga fica no S37.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0005, 0014, 0048); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §22.6.1
    • NBR 6122:2022 §7.7.1

    Decisões do tema

    0005, 0014, 0048

    Casos do acervo

    Nenhum caso do acervo.

  • S22 Critérios geométricos de projeto: h0, h mínimo e posição da armaduraNível N0 implementado, sem verificação independente registrada

    Comparações com parâmetros do projeto, sem prescrição normativa: h0 ≥ máx(h0,min; k·h) só com talude em sapata rígida e h0 = h nos ramos prismáticos (decisão 0075), h ≥ hMin informado e d′ ≥ c + φ/2 (compatibilidade geométrica com o cobrimento, decisão 0014).

    Fatores (0 a 4)

    Referência: 0
    sem fonte
    Verificação: 1
    oráculo E (só regressão, propriedade ou caracterização); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0014, 0069, 0075); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    Nenhuma.

    Decisões do tema

    0014, 0069, 0075

    Casos do acervo

    Nenhum caso do acervo.

  • S23 Durabilidade: classe do concreto e cobrimento por CAANível N1 cita NBR 6118:2023 Tab. 7.1 e NBR 6118:2023 Tab. 7.2; sem decisão numerada nem exemplo publicado conferido

    fck ≥ classe mínima da Tab. 7.1 e cobrimento ≥ cnom da Tab. 7.2 para elemento em contato com o solo (Δc = 10 mm), por CAA (NBR 6118).

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 1
    sem decisão numerada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 Tab. 7.1
    • NBR 6118:2023 Tab. 7.2

    Decisões do tema

    Nenhuma decisão numerada.

    Casos do acervo

    Nenhum caso do acervo.

  • S24 Detalhamento da malha: espaçamento e bitolaNível N1 conforme a decisão 0067, sem exemplo publicado conferido

    Espaçamento da bitola selecionada ≥ sMin de §18.3.2.2 (livre ≥ máx(20 mm; φ; 1,2·dmax)) e ≤ espMax informado (critério de projeto), catálogo φ ≤ 20 mm (decisão 0067).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0067); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Baixo SE-06: espMax sem teto normativo na sapata flexível (§22.6.4.1.3 remete a §20.1: s ≤ min(2h; 20 cm)); latentePR #262, anexo 05 §3 SE-06 (sem verificação adversarial)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §18.3.2.2

    Decisões do tema

    0067

    Casos do acervo

    Nenhum caso do acervo.

  • S25 Aderência (escorregamento) da armadura de flexãoNível N1 conforme as decisões 0065 e 0119, sem exemplo publicado conferido

    Vd ≤ 0,87·fbd·n·π·φ·d (Bastos §1.9, eq. 1.76; fbd de NBR 6118 §9.3.2.1, sem o fator 1,75 de §9.3.2.3), só para φ ≥ 20 mm e só em direção dimensionada por flexão, com Vd = 2·Md/balanço medido da face do pilar (na A1 da divisa com viga, γf·F1A da seção S1A).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0065, 0119); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio SE-03: A sapata rígida não tem verificação de aderência da armadura (o check só roda em direção por flexão); com 1,75·fbd o excesso aparece com cobrimento ≥ 6 cm e σadm de 0,8 a 2 MPa; a flexível verifica sem o 1,75, conservadorismo não registradoPR #262, parecer §6.1 (SE-03); decisão do usuário
    • Médio SE-05: Na flexível o Vd do escorregamento é o da face do pilar, cerca de 10 % abaixo do V na seção S1 que Bastos usa (mesmo ponto do S6); latente porque a flexível não aprovaPR #262, anexo 05 §3 SE-05 item 4 (sem verificação adversarial); docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S6)
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • Bastos, §1.9 (eq. 1.76)
    • NBR 6118:2026 §9.3.2.1
    • Bastos, §1.9

    Decisões do tema

    0065, 0119

    Casos do acervo

    Nenhum caso do acervo.

  • S26 Viga de equilíbrio — detalhamento verificável e declarações externasNível N1 conforme as decisões 0006, 0042, 0044, 0125, 0137 e 0138, sem exemplo publicado conferido

    Verificação do arranjo informado de barras, estribos, pele e costura da viga contra a NBR 6118:2026 (§18.3, §9.4.2.4–9.4.2.6, §9.4.6.1/Tab. 9.2, §17.3.5.2.4), sem seleção automática e com declarações externas identificadas (decisão 0042).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006, 0042, 0044, 0125, 0137, 0138); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio CR-03: Resíduo das 0137 e 0138: a confirmação do detalhamento da viga grava planta (A, B, h, d), data e decisoesHead; planta diferente, legado ou versão das decisões fora de [0137, versão aberta] deixam a viga pendente, e a tela avisa as decisões posteriores que mudam o que o motor recalcula (As, Asw, VRd2, As,mín, Asw,mín, armadura de pele e costura). Trechos, decalagens e fbd são declarados: uma decisão que os mude pede o efeito «pendente», ainda não implementado (0138, D1), e o fbd não tem guarda ao vivo contra a regra; VSd e Vc0 também pedem o «pendente» até se conferir se as decalagens dependem deles, e também a decisão que mude fct,m, fctd ou os esforços da viga, mesmo que só apareça em As,mín, Asw,mín ou Asw. Com fck > 50, a nota de regra da 0119 avisa que o fbd declarado usa o fctd, que no Grupo II segue a §8.2.5, e que o programa não o calcula nem o confere (0138, D2; lib/aviso-revisao-fctm.ts). Faltam também a seção do pilar interno na revisão (decisão do usuário) e o porte ao monorepo.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.5 e anexo-08 CR-03 (PR #262); decisões 0137 e 0138

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §18.3
    • NBR 6118:2026 §9.4.2.4–5
    • NBR 6118:2026 §9.4.2.6.1
    • NBR 6118:2026 §9.4.6.1 / Tabela 9.2
    • NBR 6118:2026 §17.3.5.2.4
    • NBR 6118:2026 §18.3.2.2
    • NBR 6118:2026 §18.3.3.2
    • NBR 6118:2026 §18.3.5 / §17.3.5.2.3
    • NBR 6118:2026 §17.4.2.2
    • Bastos (2023), item 1.10.5.4

    Decisões do tema

    0006, 0042, 0044, 0125, 0137, 0138

    Casos do acervo

    Nenhum caso do acervo.

  • S27 Sapata de divisa com viga — roteiro de Bastos com Padm informada (Bastos 1.10.2)Nível N2 reproduz Paulo Sérgio dos Santos Bastos, Sapatas de fundação (versão de out/2023), Exemplo 8, p. 82 dentro da tolerância

    Roteiro de Bastos item 1.10.2 (B1, e1, R1, A1 ≈ 2·B1) com a tensão admissível informada, como no Exemplo 8. O acoplamento com a σadm calculada (decisão 0035) e a geometria final do solver (A1/B1 ≤ 3) ficam no S39; as restrições sem viga, no S31.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo C (teste cita valor de exemplo publicado fora do acervo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Bastos (2023), item 1.10.2

    Decisões do tema

    0006

    Casos do acervo

    Nenhum caso do acervo.

  • S28 Profundidade mínima em divisa (NBR 6122 §7.7.2)Nível N1 conforme as decisões 0005 e 0050, sem exemplo publicado conferido

    Embutimento mínimo de 1,5 m na divisa pela NBR 6122:2022 §7.7.2 (decisão 0005), reduzido só com exceção documentada (fundamento, cota aprovada, responsável, referência e condição sazonal; decisão 0050).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0005, 0050); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §7.7.2

    Decisões do tema

    0005, 0050

    Casos do acervo

    Nenhum caso do acervo.

  • S29 Fundação interna sob ações pareadas da viga de equilíbrioNível N1 conforme as decisões 0041, 0044, 0049, 0063, 0064, 0086, 0094, 0109, 0110, 0116, 0117 e 0118, sem exemplo publicado conferido

    A fundação interna é verificada pelo próprio solver com ações pareadas por cenário: compressão com N2 − 0,5·ΔP_G e estabilidade com N2 − ΔP (NBR 6122 §5.7 e NBR 8681 §4.3.3.1), sem Gk só a reprovação certa pelo piso N2 − 0,5·ΔP, e agregado em três estados.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0041, 0044, 0049, 0063, 0064, 0086, 0094, 0109, 0110, 0116, 0117, 0118); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S1-residuo: Resíduo do S1: soma dos alívios de várias divisas, origem dos 50 % da §5.7 não achada no original e tração total na interna não modelada (fail-closed).docs/pendencias.md, «Resíduo do S1»; decisões 0086 e 0109

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §5.7
    • NBR 8681 §4.3.3.1
    • Bastos (2023), item 1.10
    • NBR 6122 §5.7

    Decisões do tema

    0041, 0044, 0049, 0063, 0064, 0086, 0094, 0109, 0110, 0116, 0117, 0118

    Casos do acervo

    Nenhum caso do acervo.

  • S30 Dimensão mínima em planta (NBR 6122 §7.7.1)Nível N1 conforme as decisões 0005 e 0014, sem exemplo publicado conferido

    Piso de 60 cm da dimensão em planta da sapata (NBR 6122:2022 §7.7.1), comparado com a planta adotada.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0005, 0014); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §7.7.1

    Decisões do tema

    0005, 0014

    Casos do acervo

    Nenhum caso do acervo.

  • S31 Sapata de divisa sem viga — geometria em planta (Bastos 1.11)Nível N1 conforme a decisão 0006, sem exemplo publicado conferido

    Limites A ≤ 2B e B ≤ 1,5·bp da sapata de divisa sem viga de equilíbrio (Bastos, item 1.11), sem exemplo publicado conferido.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Bastos (2023), item 1.11
    • NBR 6122:2022 §7.6.2

    Decisões do tema

    0006

    Casos do acervo

    Nenhum caso do acervo.

  • S32 Punção no contorno C: pilar de cantoNível N1 conforme as decisões 0034, 0043 e 0048, sem exemplo publicado conferido

    Compressão diagonal no contorno C de pilar de canto (§19.5.2.4), comparada a τRd2 (§19.5.3.1), com τSd por integrais fechadas conferidas à mão; sem exemplo publicado conferido.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0034, 0043, 0048); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o τRd2 sobe cerca de 40 % e o resultado aprovadocs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §19.5.2.4
    • NBR 6118:2026 §19.5.3.1

    Decisões do tema

    0034, 0043, 0048

    Casos do acervo

    Nenhum caso do acervo.

  • S33 Armadura mínima da sapata (ρmin e As,mín)Nível N1 conforme as decisões 0093, 0122 e 0006, sem exemplo publicado conferido

    As,mín = máx(As(Md,mín); ρmin·b·h), com ρmin da Tab. 17.3 da NBR 6118 e o piso de 0,15 % da decisão 0093. Na divisa com viga, o As da A1 vem do console em torno de bw (flexaoA1, Bastos 1.10.4a; decisão 0006), sem exemplo publicado. Com AsAdot = máx(AsCalc; AsMin), quando o As,mín governa ele decide também o detalhamento por direção e a ancoragem da armadura (ℓb,nec proporcional a As,calc/As,ef), que herdam o tema.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0093, 0122, 0006); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio S6 / SE-05: Na sapata flexível o Md é tomado na face do pilar com σ uniforme, 7–17 % abaixo da seção S1 a 0,15·b (Bastos 2012 e EHE-08 convergem); latente porque a flexível não aprovadocs/auditorias/revisao-motor-2026-10-12.md §3.1 (S6) e docs/pendencias.md; PR #262, anexo 05 §3 SE-05 (sem verificação adversarial)
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo SE-07: Domínio de Lebelle d ≥ (L − lp)/4 não é verificado na sapata rígida isolada (só na direção A1 da divisa com viga)PR #262, anexo 05 §3 SE-07 (sem verificação adversarial)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §17.3.5.2
    • NBR 6118:2023 Tab. 17.3
    • NBR 6118:2023 §9.4.2.5
    • NBR 6118:2023 §18.3.2.2

    Decisões do tema

    0093, 0122, 0006

    Casos do acervo

    Nenhum caso do acervo.

  • S34 Domínio e contrato do SPT consultivo da sapataNível N1 conforme as decisões 0014, 0055 e 0074, sem exemplo publicado conferido

    Guardas de aplicabilidade das correlações SPT da sapata: faixa de N, solo coberto pelas correlações, janela representativa de Cintra et al. e contrato do N; sem exemplo publicado que as exercite.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0014, 0055, 0074); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Cintra, Aoki e Albiero (2011), p. 45
    • Cintra, Aoki e Albiero (2011), p. 38 (janela 2B/3B/4B)
    • NBR 6122:2022 §7.3.3

    Decisões do tema

    0014, 0055, 0074

    Casos do acervo

    Nenhum caso do acervo.

  • S35 Guardas de domínio da divisa com viga (Bastos 1.10)Nível N1 conforme a decisão 0006, sem exemplo publicado conferido

    Guardas que tornam fail-closed a divisa com viga fora do domínio das equações de Bastos (e1 ≥ 0, distância entre eixos maior que a excentricidade, xmáx dentro de [bp1, B1]); só são emitidas reprovando, e nenhum exemplo publicado as exercita.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo E (só regressão, propriedade ou caracterização); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Bastos (2023), item 1.10.2, eq. 1.78
    • Bastos (2023), item 1.10.2, eq. 1.77
    • Bastos (2023), item 1.10.1 (trecho 2)

    Decisões do tema

    0006

    Casos do acervo

    Nenhum caso do acervo.

  • S36 Flexão da sapata flexível: capacidade da seção e ductilidadeNível N1 conforme a decisão 0014, sem exemplo publicado conferido

    Na sapata flexível (método de flexão), a seção sem capacidade (k ≥ 1) ou com x/d acima do limite de ductilidade da NBR 6118 reprova; sem exemplo publicado conferido.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo E (só regressão, propriedade ou caracterização); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0014); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §17.2.2(e)
    • NBR 6118:2026 §14.6.4.3

    Decisões do tema

    0014

    Casos do acervo

    Nenhum caso do acervo.

  • S37 Classificação rígida/flexível na divisa com viga de equilíbrioNível N1 conforme a decisão 0006, sem exemplo publicado conferido

    Na divisa com viga de equilíbrio, a rigidez vale só em A1, com h1 ≥ (A1 − bw)/3 (Bastos 1.10.4b; decisão 0006), no ramo de divisa de alturaPara.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §22.6.1
    • Bastos, item 1.10.4b (h1 ≥ (A1 − bw)/3)

    Decisões do tema

    0006

  • S38 Punção — parcela de momento no contorno C (K·MSd/Wp)Nível N1 conforme a decisão 0048, sem exemplo publicado conferido

    β = 1 + K·MSd·u/(Nd·Wp) no contorno C, com K da Tab. 19.2 e Wp do contorno (NBR 6118 §19.5.2.2), uma e duas direções, e a envoltória das combinações. O exemplo publicado com momento (Bastos 2012, Ex. 3) diverge no τSd porque a fonte não soma a parcela K·MSd/(Wp·d): a parcela de momento não tem exemplo publicado conferido.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo B- (exemplo publicado no acervo sem grandeza da fonte que confira com margem (divergência caracterizada ou empate na tolerância)); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0048); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o τRd2 sobe cerca de 40 % e o resultado aprovadocs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §19.5.2.2
    • NBR 6118:2023 Tab. 19.2
    • NBR 6118:2023 §19.5.3.1

    Decisões do tema

    0048

    Casos do acervo

  • S39 Sapata de divisa com viga — acoplamento σadm–geometria e limite A1/B1Nível N1 conforme as decisões 0006 e 0035, sem exemplo publicado conferido

    Ponto fixo entre a σadm calculada (Vesić, Terzaghi ou SPT) e a geometria do roteiro de Bastos, com ciclo ou não convergência fail-closed (decisão 0035), e o limite A1/B1 ≤ 3 sobre a geometria final do solver (busca 2:1 ou planta travada). Sem exemplo publicado conferido.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0006, 0035); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Bastos (2023), item 1.10.2
    • Bastos (2023), item 1.10.2c

    Decisões do tema

    0006, 0035

    Casos do acervo

    Nenhum caso do acervo.

  • S40 Divisa com viga — levantamento do pilar internoNível N1 conforme a decisão 0086, sem exemplo publicado conferido

    Sem levantamento quando N1·e1/(z − e1) < N2min, estrito: N2 − ΔP ≤ 0 é fail-closed porque a tração total da NBR 6122 §5.7 não está modelada (decisão 0086). A conta é a do gate, distinta de alivioViga, que o Exemplo 8 de Bastos confere no S14; o gate não tem exemplo publicado.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0086); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §5.7
    • Bastos (2023), item 1.10.1
    • NBR 6122 §5.7

    Decisões do tema

    0086

    Casos do acervo

    Nenhum caso do acervo.

  • S41 Punção no contorno C de borda (u* reduzido)Nível N1 conforme as decisões 0034 e 0048, sem exemplo publicado conferido

    Compressão diagonal no contorno C de pilar de borda (u* reduzido, §19.5.2.3), comparada a τRd2 (§19.5.3.1). tests/sapata-divisa-sem-viga.test.ts (seções 13 e 14) confere as integrais do contorno C aberto e u0*, sem medir o τSd do ramo; o C interior da divisa sem viga fica no S45.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0034, 0048); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o τRd2 sobe cerca de 40 % e o resultado aprovadocs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §19.5.2.3
    • NBR 6118:2023 §19.5.3.1

    Decisões do tema

    0034, 0048

    Casos do acervo

    Nenhum caso do acervo.

  • S42 Guardas de domínio da capacidade e do contato da sapataNível N1 conforme as decisões 0052, 0057, 0085, 0097 e 0103, sem exemplo publicado conferido

    Guardas fail-closed da geotecnia da sapata: ângulo de atrito fora do domínio tabulado de Terzaghi e de Vesić (0° a 50°), domínio da regra do NA no bulbo do termo de peso, resultante fora do contorno da base, canto fora do domínio do contato geotécnico, combinações ausentes e fator de tensão admissível inválido. Os exemplos publicados dos temas S01 e S04 não as exercitam.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo E (só regressão, propriedade ou caracterização); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0052, 0057, 0085, 0097, 0103); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Cintra, Aoki e Albiero (2011), Tab. 2.2 (Vesić, 0°–50°)
    • Kumbhojkar (1993), tabela de Nγ (Terzaghi, 0°–50°)
    • Cintra, Aoki e Albiero (2011), ex. 4, pp. 56–57 (NA no bulbo)
    • Cintra, Aoki e Albiero (2011), ex. 4, pp. 56–57
    • USACE EM 1110-1-1905 (1992), Eq. 1-4b
    • Kumbhojkar (1993), tabela de Nγ, 0°–50°
    • Cintra, Aoki e Albiero (2011), Tab. 2.2, 0°–50°

    Decisões do tema

    0052, 0057, 0085, 0097, 0103

    Casos do acervo

    Nenhum caso do acervo.

  • S43 Guardas de domínio do recalque da sapataNível N1 conforme as decisões 0008, 0038, 0045, 0052, 0054, 0070, 0071, 0072, 0078 e 0080, sem exemplo publicado conferido

    Bloqueios fail-closed do ELS de recalque: entrada fora do domínio do cálculo (perfil que não cobre o bulbo, tensão efetiva inválida, resultante fora da base), método incompatível com o solo (Schmertmann em argila), domínio do método elástico, domínio de contato (fora do núcleo, divisa e canto), perfil único com camada coesiva ou solo contraditório, ramo de reserva da fonte do método e a comparação para consulta que substitui a aprovação. Os exemplos publicados dos temas S06, S07 e S08 chamam os kernels e não passam por esses ramos.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo E (só regressão, propriedade ou caracterização); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0008, 0038, 0045, 0052, 0054, 0070, 0071, 0072, 0078, 0080); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §6.2.2 e §7.4
    • Schmertmann (1978), solo não coesivo
    • Dinis (2024), Tab. 4.1, p. 88 (1 ≤ L/B ≤ 10)
    • NBR 6122:2022 §6.2.2
    • Dinis (2024), Tab. 4.1
    • Kulhawy et al. (EPRI EL-2870), Tab. 10-1 e Eq. 10-3b

    Decisões do tema

    0008, 0038, 0045, 0052, 0054, 0070, 0071, 0072, 0078, 0080

    Casos do acervo

    Nenhum caso do acervo.

  • S44 Excentricidade, núcleo central e área comprimida da sapataNível N1 conforme as decisões 0005, 0047, 0053 e 0089, sem exemplo publicado conferido

    Limites de excentricidade da base: e < L/2 por eixo sem compressão total, núcleo central biaxial eA/A + eB/B ≤ 1/6 com compressão total (decisão 0089) e área comprimida ≥ 2/3 da área total pelo contato uniaxial ou biaxial exato (NBR 6122 §7.6.2; decisões 0005, 0047 e 0053). Os exemplos de Bastos (2012) medem σmax (S04) e σmín (S47), não esses limites.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0005, 0047, 0053, 0089); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §7.3
    • NBR 6122:2022 §7.6.2

    Decisões do tema

    0005, 0047, 0053, 0089

    Casos do acervo

    Nenhum caso do acervo.

  • S45 Compressão diagonal no contorno C interior da divisa sem vigaNível N0 implementado, sem verificação independente registrada

    τSd = β·Nd/(u0·d) no contorno C interior da sapata de divisa sem viga (c1 = bp1, c2 = ap1, u0 = 2(c1 + c2), β com as ações locais de borda), comparado a τRd2 (§19.5.2.2 c/c §19.5.3.1). Nenhum teste mede o τSd desse ramo: tests/sapata-divisa-sem-viga.test.ts só confere a presença do check.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 0
    oráculo sem-oraculo (nenhum oráculo registrado); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0034, 0048); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o τRd2 sobe cerca de 40 % e o resultado aprovadocs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §19.5.2.2
    • NBR 6118:2026 §19.5.3.1

    Decisões do tema

    0034, 0048

    Casos do acervo

    Nenhum caso do acervo.

  • S46 Adensamento do perfil único (envoltória 2:1 e Boussinesq da decisão 0078)Nível N1 conforme as decisões 0072, 0078 e 0134, sem exemplo publicado conferidoAchado alto aberto: SG-02

    Adensamento primário 1D de cada camada coesiva do perfil único (H·Cc/(1 + e0)·log, NC/OC com σ′pa), com σ′v0 abaixo da base pela tensão efetiva do perfil; vale o maior adensamento total entre os cálculos completos com Δσ 2:1 e com Boussinesq (envoltória da decisão 0078, D2), não o maior Δσ por camada. É o único ramo em que o adensamento compõe «Recalque total ≤ admissível (ELS)» aprovado. Sem exemplo publicado nesse ramo: com a envoltória, o Ex. 8-3 da FHWA dá 31,15 mm (Boussinesq) contra 1,1 in publicado pelo 2:1.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0072, 0078, 0134); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto SG-02: Com o peso percentual padrão, a tensão líquida descontada de σ′v0 inteiro sem o reaterro subestima o recalque total.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md
    • Baixo SG-10: Adensamento avaliado no meio de cada camada: resíduo de até −7 % no domínio aprovável (indício sem verificação adversarial).anexo 04 SG-10 do parecer de 2026-10-22 (PR #262)
    • Baixo RM-2026-10-12/S9: Default de 25 mm do recalque admissível sem fonte.docs/pendencias.md, «Demais itens» (S6 e S9); docs/auditorias/revisao-motor-2026-10-12.md, S9

    Cláusulas (do tema e dos checks)

    • FHWA NHI-06-089 (2006), §8.5.3
    • NBR 6122:2022 §6.2.2 e §7.4
    • NBR 6122:2022 §6.2.2
    • Dinis (2024), Tab. 4.1
    • Kulhawy et al. (EPRI EL-2870), Tab. 10-1 e Eq. 10-3b

    Decisões do tema

    0072, 0078, 0134

    Casos do acervo

    Nenhum caso do acervo.

  • S47 Tensão mínima de contato (calculada e exibida, sem check)Nível N2 reproduz Paulo Sérgio dos Santos Bastos (2012), Exemplo 3, pp. 40–44 e 47 impressas (PDF 44–48 e 51) dentro da tolerância

    σmín do diagrama de contato (Navier no núcleo; zero fora dele), calculada em lib/engine/geotecnia/tensoes.ts e exibida no quadro de tensões. Nenhum check a mede: as entradas do S04 leem σmed e σmax, e as do S44 a excentricidade. O tema guarda a evidência do caso de Bastos (2012) sem atribuí-la a um check.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo B (exemplo publicado no acervo, parcial, com grandezas conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0053); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Bastos (2012), §2.10, pp. 34–40

    Decisões do tema

    0053

    Casos do acervo

  • S48 Vesić com NA no bulbo pela envoltória (φ > φ*, decisão 0103)Nível N1 conforme as decisões 0097, 0103 e 0134, sem exemplo publicado conferidoAchado alto aberto: SG-02

    Termo de peso de Vesić com o NA dentro do bulbo, pela envoltória H = B·máx(2; tan(45° + φ/2)) da decisão 0103, que difere de H = 2B quando φ > φ* = 36,87°. É o ramo que o solver usa; o ex. 4 de Cintra et al. (S01) força H = 2B e, nesse ramo, sai fora da tolerância publicada (2661,06 e 2820,89 contra 2670 e 2832 ± 6 kPa).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0097, 0103, 0134); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto SG-02: Peso percentual padrão (5 % de N) omite o reaterro, mas Vesić credita q·Nq bruto: com os valores iniciais, σmed supera a σadm no modo real (FS efetivo 2,4 a 2,7).docs/auditorias/parecer-validacao-metodologica-2026-10-22.md §6.1 e §6.3 (PR #262); anexo 04 SG-02; VER-189; interino da decisão 0134 (aprovação pendente nos caminhos de pressão bruta), resíduo em docs/pendencias.md

    Cláusulas (do tema e dos checks)

    • USACE EM 1110-1-1905 (1992), Eq. 1-4b e 1-6
    • NBR 6122:2022 §7.2–7.3
    • NBR 6122:2022 §5.7
    • NBR 6122:2022 §7.3
    • NBR 6122:2022 §5.1
    • NBR 8681 §4.3.3.1

    Decisões do tema

    0097, 0103, 0134

    Casos do acervo

    Nenhum caso do acervo.

Estaca e grupo — 22 temas: N1: 20 · N2: 2

  • E01 Aoki-Velloso — pontaNível N1 conforme as decisões 0015 e 0102; nível limitado por achado alto aberto (P1-residuo)Achado alto aberto: P1-residuo

    Rp = K·Np/F1·Ap com K e F1 por solo e tipo de estaca, Aoki & Velloso (1975) com fatores atualizados compilados por Cintra & Aoki (2010); limitação de ponta da NBR 6122 §8.2.1.2 aplicada à parte (decisão 0102).

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0015, 0102); nenhuma revisão independente registrada

    Travas

    • achado alto aberto (P1-residuo): nível ≤ 1

    Achados abertos

    • Alto P1-residuo: Ponta em rocha lançada como solo, sem declaração, não é detectada: o projeto recebe só o aviso de ponta em solo e pode aprovar com o SPT de solo.docs/pendencias.md, «P1, P2 e P3, altos»; VER-520
    • Médio EC-03: Ponta sem teto de N nem de tensão em Aoki-Velloso e Décourt (43,6 MPa com N = 60); literatura diverge no teto.Parecer de validação metodológica 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-03
    • Médio EC-09: Energia e sistema do SPT não declarados nas estacas; a não conversão do N está certa, mas não fica registrada.anexo 01, EC-09, do parecer de 2026-10-22 (PR #262)
    • Baixo EC-08: F1/F2 = 2/4 de hélice e raiz em Aoki-Velloso de linhagem única; escavada de grande diâmetro com transcrição divergente.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-08

    Cláusulas (do tema e dos checks)

    • Cintra & Aoki (2010), Tab. 1.3 (K) e Tab. 1.5 (F1 atualizado), PDF pp. 24–25
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)
    • NBR 6122:2022 §8.3

    Decisões do tema

    0015, 0102

  • E02 Aoki-Velloso — atrito lateralNível N1 conforme a decisão 0015, sem exemplo publicado conferido

    Rl = Σ α·K·Nl/F2·U·ΔL por camada, Aoki & Velloso (1975) com fatores compilados por Cintra & Aoki (2010). Sem exemplo publicado no acervo: há só um candidato, sem conferência do original, e nenhum caso foi promovido.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0015); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio EC-09: Energia e sistema do SPT não declarados nas estacas; a não conversão do N está certa, mas não fica registrada.anexo 01, EC-09, do parecer de 2026-10-22 (PR #262)
    • Baixo EC-08: F1/F2 = 2/4 de hélice e raiz em Aoki-Velloso de linhagem única; escavada de grande diâmetro com transcrição divergente.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-08

    Cláusulas (do tema e dos checks)

    • Cintra & Aoki (2010), Tab. 1.3 (K, α) e Tab. 1.5 (F2 = 2F1), PDF pp. 24–25
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)
    • NBR 6122:2022 §8.3

    Decisões do tema

    0015

    Casos do acervo

    Nenhum caso do acervo.

  • E03 Décourt-Quaresma — pontaNível N1 conforme as decisões 0015 e 0102; nível limitado por achado alto aberto (P1-residuo)Achado alto aberto: P1-residuo

    Rp = α·C·Np·Ap com Np médio de três leituras, sem limite, Décourt & Quaresma (1978, rev. 1996) na compilação de Cintra & Aoki (2010); limitação de ponta da NBR 6122 §8.2.1.2 (decisão 0102).

    Fatores (0 a 4)

    Referência: 4
    pior leitura das fontes externas: E1
    Verificação: 3
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 2 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0015, 0102); nenhuma revisão independente registrada

    Travas

    • achado alto aberto (P1-residuo): nível ≤ 1

    Achados abertos

    • Alto P1-residuo: Ponta em rocha lançada como solo, sem declaração, não é detectada: o projeto recebe só o aviso de ponta em solo e pode aprovar com o SPT de solo.docs/pendencias.md, «P1, P2 e P3, altos»; VER-520
    • Médio EC-03: Ponta sem teto de N nem de tensão em Aoki-Velloso e Décourt; Décourt (1996) recomenda prova de carga acima de ~10 MPa.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-03
    • Médio EC-04: C de silte de Décourt calibrado só em silte residual; o motor não restringe nem avisa.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-04
    • Médio EC-05: «Silte» puro mapeado para silte arenoso em Décourt e Teixeira (Radm +5 % a +17 %, só na ponta).Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-05
    • Médio EC-09: Energia e sistema do SPT não declarados nas estacas; a não conversão do N está certa, mas não fica registrada.anexo 01, EC-09, do parecer de 2026-10-22 (PR #262)
    • Baixo EC-01: FS parciais do próprio Décourt (Rl/1,3 + Rp/4) ficam até 29 % abaixo do Radm com FSg = 2 em perfis de ponta forte.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-01

    Cláusulas (do tema e dos checks)

    • Cintra & Aoki (2010), Tab. 1.6 (C) e Tab. 1.7 (α), PDF pp. 26–27
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)

    Decisões do tema

    0015, 0102

  • E04 Décourt-Quaresma — atrito lateralNível N1 conforme a decisão 0015, sem exemplo publicado conferido

    Rl = β·10·(NL/3 + 1)·U·L com NL médio sem as três leituras da ponta e limitado depois da média (3 a 50, ou 3 a 15 por tipo) (decisão 0015), Décourt & Quaresma (1978, rev. 1996) na compilação de Cintra & Aoki (2010).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo B- (exemplo publicado no acervo sem grandeza da fonte que confira com margem (divergência caracterizada ou empate na tolerância)); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0015); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio EC-06: β = 1,5 da estaca raiz em Décourt pressupõe golpes de pressão, que o K.6 só prevê para D ≤ 200 mm; sem pressão, β ≈ 1.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-06
    • Médio EC-09: Energia e sistema do SPT não declarados nas estacas; a não conversão do N está certa, mas não fica registrada.anexo 01, EC-09, do parecer de 2026-10-22 (PR #262)
    • Baixo EC-01: FS parciais do próprio Décourt (Rl/1,3 + Rp/4) ficam até 29 % abaixo do Radm com FSg = 2 em perfis de ponta forte.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-01

    Cláusulas (do tema e dos checks)

    • Cintra & Aoki (2010), Tab. 1.8 (β) e rl = 10·(NL/3 + 1), PDF p. 27
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)

    Decisões do tema

    0015

  • E05 Teixeira — ponta e atritoNível N1 conforme as decisões 0015 e 0102, sem exemplo publicado conferidoAchado alto aberto: P1-residuo

    Rult = α·Np·Ap + β·Nl·U·L com janela 4D/1D na ponta e domínio 4 < N < 40 fail-closed, Teixeira (1996) na compilação de Cintra & Aoki (2010, §1.2.3).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0015, 0102); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto P1-residuo: Ponta em rocha lançada como solo, sem declaração, não é detectada: o projeto recebe só o aviso de ponta em solo e pode aprovar com o SPT de solo.docs/pendencias.md, «P1, P2 e P3, altos»; VER-520
    • Médio EC-05: «Silte» puro mapeado para silte arenoso em Teixeira e Décourt (Radm +5 % a +17 %, só na ponta).Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-05
    • Médio EC-09: Energia e sistema do SPT não declarados nas estacas; a não conversão do N está certa, mas não fica registrada.anexo 01, EC-09, do parecer de 2026-10-22 (PR #262)
    • Baixo EC-01: FS parciais de Teixeira na escavada (Rp/4 + Rl/1,5) ficam abaixo do Radm com FSg = 2 em perfis de ponta forte.Parecer 2026-10-22 (PR #262), §6.1; anexo 01 §3 e anexo 08, EC-01
    • Baixo VM-03: Fronteiras N = 4 e N = 40 de Teixeira e a janela 1D abaixo da ponta sem teste na main; o mutante do lado N = 40 sobrevive.Parecer 2026-10-22 (PR #262), §6.1, VM-03; teste proposto no §8 (R-4), ausente em tests/estaca-teixeira.test.ts

    Cláusulas (do tema e dos checks)

    • Cintra & Aoki (2010), §1.2.3, Tab. 1.9 (α) e Tab. 1.10 (β), PDF pp. 24–29
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)

    Decisões do tema

    0015, 0102

    Casos do acervo

    Nenhum caso do acervo.

  • E06 Rk por perfis (ξ1, ξ2) e capacidade consideradaNível N1 conforme as decisões 0011, 0081, 0102 e 0131, sem exemplo publicado conferidoAchados altos abertos: P1-residuo, CR-01-residuo

    Capacidade considerada pela NBR 6122: Radm = Rult/FSg com FSg ≥ 2 (decisão 0011) ou Rk = mín(Rse,méd/ξ1; Rse,mín/ξ2) da Tab. 2 com Padm = Rk/1,4 (decisão 0081), ponta considerada pela §8.2.1.2 (decisão 0102) e modo direto com Radm declarado.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0011, 0081, 0102, 0131); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto P1-residuo: Ponta em rocha lançada como solo, sem declaração, não é detectada: o projeto recebe só o aviso de ponta em solo e pode aprovar com o SPT de solo.docs/pendencias.md, «P1, P2 e P3, altos»; VER-520
    • Alto CR-01-residuo: No modo direto, a trava do comprimento aceita qualquer L positivo (0,5 m, 2 m e 200 m aprovam). A faixa aceita é decisão do usuário; o resíduo fica alto, como o CR-01 no parecer de 2026-10-22, até essa decisão.docs/pendencias.md, «Faixa aceita para a trava do comprimento no modo direto»; decisão 0131

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)
    • NBR 6122:2022 §8.2.1.2 e Anexo J.3
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §8.3

    Decisões do tema

    0011, 0081, 0102, 0131

    Casos do acervo

    Nenhum caso do acervo.

  • E07 Tração geotécnica (arrancamento)Nível N1 conforme as decisões 0022, 0124, 0130 e 0132, sem exemplo publicado conferidoAchado alto aberto: CR-02-residuo

    Racional restrito: mín(interface π·D·Ks·tanδ·γ·L²/2; cone) com FS 2,5 e peso zero, Velloso & Lopes §§12.2.2/12.5 (decisão 0022), com reversão compressão–tração pendente (0130); legado Rl/FStração + peso só consultivo (0124).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0022, 0124, 0130, 0132); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto CR-02-residuo: Resíduo da decisão 0135: com uma combinação só, sem a marcação, a tração de ELU por ação que alivia a estaca não é verificada, inclusive a janela 0 ≤ P < (1 − 1/γf)·Pb/n da 0132, e o resultado pode sair ok = true. Com duas ou mais combinações, a forma exata e a envoltória subestimam o alívio quando a combinação que alivia tem ação variável gravitacional dentro do N (F2), e a hipótese da envoltória não é conferida.docs/pendencias.md, «Tração de ELU da estaca: resíduo da decisão 0135»; decisões 0132 e 0135; parecer de 2026-10-22, CR-02 (PR #262)

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §8.4.1
    • Velloso & Lopes, §§12.2.2 e 12.5

    Decisões do tema

    0022, 0124, 0130, 0132

    Casos do acervo

    Nenhum caso do acervo.

  • E08 N_Rd estrutural — concretoNível N1 conforme as decisões 0013, 0024 e 0100, sem exemplo publicado conferido

    N_Rd = 0,85·ηc·fcd·(Ac − As) + σs·As com γc da Tab. 4 da NBR 6122 e γs do fuste ≥ 1,15 (0100), ηc da NBR 6118 (0013) e ramo só-aço da raiz (0024).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0013, 0024, 0100); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio EE-03: Classe de concreto da Tab. 4 não é verificada, e o γc foi calibrado para ela: fck abaixo roda sem aviso; acima, N_Rd cresce até +105 %.Parecer 2026-10-22 (PR #262), §6.1; anexo 02 §3 e anexo 08, EE-03
    • Baixo P16: γs da pré-moldada (fora da §8.6.3) e γf das combinações aceitam qualquer valor > 0, sem piso nem aviso; o γs do fuste moldado in loco foi corrigido pela 0100.docs/auditorias/revisao-motor-2026-10-12.md §3.2, P16; resíduo em docs/pendencias.md (S3)

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §8.6.3, Tab. 4 (γc, fck)
    • NBR 6118:2026 §8.2.10.1 e §17.2.2(e)
    • NBR 6122:2019 §8.6.3
    • NBR 6118 §8.2.10.1 e §17.2.2(e)
    • NBR 6122:2022 §8.6.7
    • NBR 8800:2024 §5.3
    • NBR 6118:2026 §17.2.2(e)

    Decisões do tema

    0013, 0024, 0100

    Casos do acervo

    Nenhum caso do acervo.

  • E09 N_Rd estrutural — perfil metálico (NBR 8800)Nível N1 conforme as decisões 0020 e 0088, sem exemplo publicado conferido

    Nc,Rd de perfil I/H laminado na seção reduzida pela corrosão, com caminho A (χ = 1) ou B (flambagem com G·J = 0), NBR 8800 §5.3 (decisão 0088); sem perfil, pendente (0020).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0020, 0088); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 8800:2024 §5.3
    • NBR 6122:2022 §8.6.7 e Tab. 5
    • NBR 6122:2019 §8.6.3
    • NBR 6118 §8.2.10.1 e §17.2.2(e)
    • NBR 6122:2022 §8.6.7
    • NBR 6118:2023 §17.2.2 (domínio reta a) e §8.3.6
    • NBR 8800:2024 §5.2
    • NBR 8681:2025 Tabs. 1, 2 e 4

    Decisões do tema

    0020, 0088

    Casos do acervo

    Nenhum caso do acervo.

  • E10 Flexo-compressão M–N da estacaNível N1 conforme as decisões 0027, 0095 e 0135, sem exemplo publicado conferidoAchado alto aberto: CR-02-residuo

    MRd por integração da seção circular com armadura anelar e diagrama parábola-retângulo (NBR 6118 §17.2), pares N–M por combinação (0027); u > 1 reprova, u ≤ 1 segue pendente (0095).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0027, 0095, 0135); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto CR-02-residuo: Resíduo da decisão 0135: com uma combinação só, sem a marcação, a tração de ELU por ação que alivia a estaca não é verificada, inclusive a janela 0 ≤ P < (1 − 1/γf)·Pb/n da 0132, e o resultado pode sair ok = true. Com duas ou mais combinações, a forma exata e a envoltória subestimam o alívio quando a combinação que alivia tem ação variável gravitacional dentro do N (F2), e a hipótese da envoltória não é conferida.docs/pendencias.md, «Tração de ELU da estaca: resíduo da decisão 0135»; decisões 0132 e 0135; parecer de 2026-10-22, CR-02 (PR #262)
    • Médio EE-02: Mmax de cabeça livre entra como MSd no M–N; com cabeça restringida pelo bloco, o momento real é maior (u de 0,78 a 1,22 no 2×2). Latente: H acima de 1e-9 kN por componente não aprova (o H residual abaixo disso aprova; AL-02).Parecer 2026-10-22 (PR #262), §6.1; anexo 02 §3 e anexo 08, EE-02

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §17.2.2
    • NBR 6118:2026 §§15.2–15.3
    • NBR 6118:2026 §17.2
    • NBR 6122:2022 §8.4.2

    Decisões do tema

    0027, 0095, 0135

    Casos do acervo

    Nenhum caso do acervo.

  • E11 Horizontal — Miche (areia)Nível N1 conforme as decisões 0011 e 0019, sem exemplo publicado conferido

    Miche/Matlock para estaca longa (L/T ≥ 4) em areia, topo livre: T = (EI/nh)^(1/5), y0 = 2,40·H·T³/EI, Mmax = 0,79·H·T, Velloso & Lopes v. 2 cap. 15 (decisão 0019). Sem exemplo publicado no acervo: as seis provas de carga de Cintra (1981) têm carga excêntrica (M0 = H·e), e o motor não tem entrada de momento em Miche.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0011, 0019); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio EE-02: Mmax de cabeça livre subestima o momento de estaca com cabeça restringida pelo bloco. Latente: H acima de 1e-9 kN por componente não aprova (o H residual abaixo disso aprova; AL-02).Parecer 2026-10-22 (PR #262), §6.1; anexo 02 §3 e anexo 08, EE-02
    • Baixo AL-02: O bloco sobre 1 estaca trata |HA| e |HB| ≤ 1e-9 como zero, e o modelo horizontal usa Htotal = hypot(HA, HB): com H residual o deslocamento de topo sai sem o contato não uniforme e o resultado aprova.lib/estaca/bloco/uma-estaca.ts:187 e :198; lib/estaca/solver.ts:295; corpus do catálogo, «aprovada: estaca com H residual»

    Cláusulas (do tema e dos checks)

    • Velloso & Lopes, v. 2, cap. 15 (Miche, estaca longa, topo livre)
    • NBR 6118:2026 §8.2.8 (Eci, αE, αi)
    • Velloso & Lopes, v. 2, cap. 15 (L/T ≥ 4 em Miche; λL > 4 em Hetényi)
    • NBR 6122:2022 (ELS, deslocamento horizontal)
    • Velloso & Lopes, v. 2, cap. 15 (y0 de Miche e de Hetényi)

    Decisões do tema

    0011, 0019

    Casos do acervo

    Nenhum caso do acervo.

  • E12 Horizontal — Hetényi (argila)Nível N1 conforme as decisões 0011, 0019 e 0136, sem exemplo publicado conferido

    Hetényi (1946) para estaca longa (λL > 4) com kh constante, topo livre: λ = (kh·B/4EI)^(1/4), y0 = 2Hλ/(kh·B), Mmax = 0,32·H/λ, Velloso & Lopes v. 2 cap. 15 (decisão 0019); o solver passa M = 0, e o kernel recusa M ≠ 0 com TypeError (decisão 0136).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0011, 0019, 0136); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio EE-02: Mmax de cabeça livre subestima o momento de estaca com cabeça restringida pelo bloco. Latente: H acima de 1e-9 kN por componente não aprova (o H residual abaixo disso aprova; AL-02).Parecer 2026-10-22 (PR #262), §6.1; anexo 02 §3 e anexo 08, EE-02

    Cláusulas (do tema e dos checks)

    • Velloso & Lopes, v. 2, cap. 15 (Hetényi, estaca longa, topo livre)
    • NBR 6118:2026 §8.2.8 (Eci, αE, αi)
    • Velloso & Lopes, v. 2, cap. 15 (L/T ≥ 4 em Miche; λL > 4 em Hetényi)
    • NBR 6122:2022 (ELS, deslocamento horizontal)
    • Velloso & Lopes, v. 2, cap. 15 (y0 de Miche e de Hetényi)

    Decisões do tema

    0011, 0019, 0136

    Casos do acervo

    Nenhum caso do acervo.

  • E13 Grupo — eficiência η e geometria da sapata hipotéticaNível N1 conforme as decisões 0011 e 0030, sem exemplo publicado conferido

    Eficiência η = 1 por Cintra & Aoki (2010, §1.3) e geometria da sapata hipotética do grupo (decisões 0011 e 0030). Sem exemplo publicado: o exercício 4 de Cintra et al. confere só a resistência de Vesić do kernel, no E22.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0011, 0030); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Baixo EE-05: η = 1 em argila mole e em escavada em areia diverge da AASHTO (GEC 12 e GEC 10); Converse-Labarre e Feld sem fonte. Latente pela 0030.Parecer 2026-10-22 (PR #262), §6.1; anexo 02 §3 e anexo 08, EE-05
    • Baixo P14: η = 0,875 do bloco triangular de 3 estacas segue sem fonte primária (lib/estaca/solver/busca.ts:72-84); os textos já foram corrigidos. Latente pela 0030.docs/auditorias/revisao-motor-2026-10-12.md §3.2, P14; docs/pendencias.md (P14)

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §8.3 e definição 3.10
    • Cintra & Aoki (2010), §1.3 (efeito de grupo)
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)

    Decisões do tema

    0011, 0030

    Casos do acervo

    Nenhum caso do acervo.

  • E14 Distribuição de cargas no bloco rígidoNível N1 conforme as decisões 0013, 0133, 0135 e 0136, sem exemplo publicado conferidoAchado alto aberto: CR-02-residuo

    Bloco rígido sobre estacas: Pi = (N + peso)/n ± MA·xi/Σx² ± MB·yi/Σy², com o centroide na origem e eixos principais exigidos pela guarda de distribuir (decisão 0136), ELU por estaca N_Sd = γf·Pi (na tração, o N_Sd,tração da 0132 e da 0135, tema E18, que também marca a estaca na distribuição exibida), majoração por vento limitada pela NBR 6122 §6.3 e equilíbrio do momento exigido na busca (decisão 0013).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0013, 0133, 0135, 0136); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto CR-02-residuo: Resíduo da decisão 0135: com uma combinação só, sem a marcação, a tração de ELU por ação que alivia a estaca não é verificada, inclusive a janela 0 ≤ P < (1 − 1/γf)·Pb/n da 0132, e o resultado pode sair ok = true. Com duas ou mais combinações, a forma exata e a envoltória subestimam o alívio quando a combinação que alivia tem ação variável gravitacional dentro do N (F2), e a hipótese da envoltória não é conferida.docs/pendencias.md, «Tração de ELU da estaca: resíduo da decisão 0135»; decisões 0132 e 0135; parecer de 2026-10-22, CR-02 (PR #262)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §22.7
    • NBR 6122:2022 §6.3.2 (majoração por vento)
    • NBR 6122:2019 §8.6.3
    • NBR 6118 §8.2.10.1 e §17.2.2(e)
    • NBR 6122:2022 §8.6.7
    • NBR 8800:2024 §5.3
    • NBR 6118:2023 §17.2.2 (domínio reta a) e §8.3.6
    • NBR 8800:2024 §5.2
    • NBR 8681:2025 Tabs. 1, 2 e 4
    • NBR 6122:2022 §8.2.1.2
    • NBR 6122:2022 §6.2.1.2.1, Tab. 2 (ξ1, ξ2)

    Decisões do tema

    0013, 0133, 0135, 0136

    Casos do acervo

    Nenhum caso do acervo.

  • E15 Recalque — estaca isolada (Randolph)Nível N1 conforme a decisão 0019, sem exemplo publicado conferido

    Randolph para estaca circular isolada em solo homogêneo, w = Q/K pela Eq. 14.27 de Velloso & Lopes v. 2, com raio de influência rm > r0 exigido (decisão 0019).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0019); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Velloso & Lopes, v. 2, Eq. 14.27 (Randolph)
    • NBR 6122:2022 §6.2.2
    • NBR 6122:2022 §6.2.2 e §8.3

    Decisões do tema

    0019

    Casos do acervo

    Nenhum caso do acervo.

  • E16 Armadura mínima da Tabela 4 (NBR 6122)Nível N1 conforme as decisões 0112 e 0135, sem exemplo publicado conferidoAchados altos abertos: CR-02-residuo, P3-residuo

    As ≥ 0,4 % no comprimento útil mínimo da Tab. 4, dispensada na hélice (6,0 MPa) e na escavada sem fluido (5,0 MPa) só com σk = Nk/A ≤ limite e só compressão, sem tração, flexão nem esforço horizontal (leitura B, decisão 0112); a tração de ELU só possível pela envoltória nega a dispensa; se for o único motivo, o check fica pendente com As < 0,4 % (com outro motivo, ✗), e com As ≥ 0,4 % sai ✓ (0135, escolha E8); Franki com armadura integral; pré-moldada e metálica fora; raiz no tema E17.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0112, 0135); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto CR-02-residuo: Resíduo da decisão 0135: com uma combinação só, sem a marcação, a tração de ELU por ação que alivia a estaca não é verificada, inclusive a janela 0 ≤ P < (1 − 1/γf)·Pb/n da 0132, e o resultado pode sair ok = true. Com duas ou mais combinações, a forma exata e a envoltória subestimam o alívio quando a combinação que alivia tem ação variável gravitacional dentro do N (F2), e a hipótese da envoltória não é conferida.docs/pendencias.md, «Tração de ELU da estaca: resíduo da decisão 0135»; decisões 0132 e 0135; parecer de 2026-10-22, CR-02 (PR #262)
    • Alto P3-residuo: Gaiola da estaca e ligação com o bloco não verificadas: a 0112 prescreve o comprimento útil mínimo armado da Tab. 4, mas não o verifica. Severidade do item de origem («P1, P2 e P3, altos»); o resíduo não foi reclassificado na fonte.docs/pendencias.md, «P1, P2 e P3, altos», resíduo do P3; VER-182

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §8.6.3, Tab. 4 e Anexos G.5, H.5 e I.5
    • NBR 6122:2022 Tab. 4 (σk de dispensa)
    • NBR 6122:2022 §8.6.3
    • NBR 6122:2022 Tab. 4
    • NBR 6122:2022 Anexo H.5 (Franki)
    • NBR 6122:2022 Anexo I.5 (escavada)
    • NBR 6122:2022 §8.6.3 e Anexo I.5
    • NBR 6118:2026 §22.7.4.1.1

    Decisões do tema

    0112, 0135

    Casos do acervo

    Nenhum caso do acervo.

  • E17 Estaca raiz — armadura longitudinal (taxa nominal, armadura local e emenda)Nível N1 conforme as decisões 0023, 0024 e 0112, sem exemplo publicado conferido

    Taxa nominal ≥ 0,4 % (Tab. 4, raiz com armadura integral; 0112, item 6), taxa local máxima (6 % ou 8 % pelo diâmetro) e espaçamento livre ≥ máx(φA, φB, 20 mm) por seção crítica inventariada, Tab. 4 notas b/c (0023); N_Rd só pelo aço nominal contínuo com ρlocal ≥ 6 % (0024); emenda por transpasse pendente.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0023, 0024, 0112); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 Tab. 4 (raiz: armadura integral) e notas b e c
    • NBR 6118:2026 §9.5
    • NBR 6122:2022 Tab. 4, notas b e c
    • NBR 6122:2022 Tab. 4

    Decisões do tema

    0023, 0024, 0112

    Casos do acervo

    Nenhum caso do acervo.

  • E18 Tração estrutural da estaca (N_Sd,tração ≤ N_Rd,tração)Nível N1 conforme as decisões 0088, 0100, 0132 e 0135, sem exemplo publicado conferidoAchado alto aberto: CR-02-residuo

    N_Rd,tração = As·fyd com γs do fuste ≥ 1,15 (NBR 6118 §17.2.2, reta a; decisão 0100) na estaca de concreto e Nt,Rd da NBR 8800 §5.2 na seção reduzida do perfil (0088), contra o N_Sd,tração da 0135 (permanente favorável e bloco a γg = 1,0, variável que alivia a γq = máx(1,4; γf)): com a combinação «Só permanente» marcada, o maior entre a forma exata e o da 0132; sem ela e com duas ou mais combinações, o maior entre o da 0132 e o da envoltória, só na estaca tracionada no serviço; com uma combinação só, o da 0132. A envoltória é construção adotada pelo usuário, sem fonte de triagem (0135).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0088, 0100, 0132, 0135); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto CR-02-residuo: Resíduo da decisão 0135: com uma combinação só, sem a marcação, a tração de ELU por ação que alivia a estaca não é verificada, inclusive a janela 0 ≤ P < (1 − 1/γf)·Pb/n da 0132, e o resultado pode sair ok = true. Com duas ou mais combinações, a forma exata e a envoltória subestimam o alívio quando a combinação que alivia tem ação variável gravitacional dentro do N (F2), e a hipótese da envoltória não é conferida.docs/pendencias.md, «Tração de ELU da estaca: resíduo da decisão 0135»; decisões 0132 e 0135; parecer de 2026-10-22, CR-02 (PR #262)
    • Baixo P16: γs da pré-moldada e γf das combinações aceitam qualquer valor > 0, sem piso nem aviso (pré-moldada com γs 1,0 dá 225,0 kN); o γs do fuste moldado foi corrigido pela 0100.docs/auditorias/revisao-motor-2026-10-12.md §3.2, P16; resíduo em docs/pendencias.md (S3)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §17.2.2 (domínio reta a) e §8.3.6
    • NBR 8800:2024 §5.2
    • NBR 6122:2022 §8.6.3 (γs do fuste)
    • NBR 8681:2025 §5.1.3.1, Tabs. 1, 2 e 4
    • NBR 8681:2025 Tabs. 1, 2 e 4
    • NBR 6122:2022 §8.6.3 e Anexo I.5
    • NBR 6118:2026 §22.7.4.1.1
    • NBR 8681:2025 §4.3.3.1, §5.1.3.1, Tabs. 1, 2 e 4
    • NBR 6118:2026 Tab. 11.1
    • NBR 8681:2025 §5.1.4.1, Tabs. 1 e 2

    Decisões do tema

    0088, 0100, 0132, 0135

    Casos do acervo

    Nenhum caso do acervo.

  • E19 Espaçamento mínimo entre eixos de estacasNível N1 cita Bastos (2023), Blocos de Fundação, p. impressa 37 (e ≥ 2,5φ pré-moldadas; ≥ 3φ moldadas no local), Velloso & Lopes, v. 2, §16.3, p. impressa 290 (da ordem de 3D) e NBR 6122:2022 §8.3 (distância e sequência executiva, sem valor prescrito); sem decisão numerada nem exemplo publicado conferido

    Critério do motor: espaçamento ≥ máx(60 cm; 2,5φ em pré-moldada, metálica e Franki; 3φ nas demais), com apoio parcial em Bastos (2,5φ pré-moldadas, 3φ moldadas no local) e Velloso & Lopes (≈ 3D); a curadoria VER-118 não demonstrou convergência para toda a tabela, o piso de 60 cm segue sem fonte e a NBR 6122 não prescreve valor.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo E (só regressão, propriedade ou caracterização); 0 linhagem(ns) independente(s)
    Revisão: 1
    sem decisão numerada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Bastos (2023), Blocos de Fundação, p. impressa 37 (e ≥ 2,5φ pré-moldadas; ≥ 3φ moldadas no local)
    • Velloso & Lopes, v. 2, §16.3, p. impressa 290 (da ordem de 3D)
    • NBR 6122:2022 §8.3 (distância e sequência executiva, sem valor prescrito)
    • Curadoria VER-118, 2,5φ (cravadas), 3φ (demais) e piso de 60 cm

    Decisões do tema

    Nenhuma decisão numerada.

    Casos do acervo

    Nenhum caso do acervo.

  • E20 Redistribuição de cargas do grupo pelo bloco rígido (fatores de rigidez)Nível N2 reproduz Santana, Lopes e Danziger, Extensão do método Aoki-Lopes à hipótese de bloco de coroamento rígido (COPPE/UFRJ), Tabela 1, pp. 5–6 dentro da tolerância de ±0,05 kN

    Atualização das cargas das estacas pelo bloco rígido a partir dos fatores de rigidez, P_i = Q·k_i/Σk (Santana, Lopes e Danziger, Tab. 1). O deslocamento de Mindlin, a transferência de carga e o recalque do grupo ficam no E21. A atualização só roda em grupo assimétrico com n ≥ 2, pendente pela decisão 0030: com n = 1 e em grupo simétrico, a compatibilidade converge na 1ª iteração sem chamá-la (lib/estaca/grupo/aokiLopesHomogeneo.ts). Por isso o tema fica sem entrada; as cargas redistribuídas que aprovam ficam no E08 e no E21.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo C (teste cita valor de exemplo publicado fora do acervo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0026, 0102); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Mota (2009), Aoki-Lopes, Eq. 3.12 (Mindlin), pp. 60–64
    • Santana, Lopes e Danziger, Eqs. 1–3 e Tabela 1 (bloco rígido), pp. 3–7
    • NBR 6122:2022 §6.2.2 e §8.3

    Decisões do tema

    0026, 0102

    Casos do acervo

    Nenhum caso do acervo.

  • E21 Recalque do grupo — Aoki-Lopes homogêneo (Mindlin)Nível N1 conforme as decisões 0026 e 0102, sem exemplo publicado conferido

    Recalque do grupo pelo método de Aoki-Lopes em meio homogêneo, com o kernel de Mindlin (Mota 2009, Eq. 3.12); sem exemplo publicado de grupo conferido.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0026, 0102); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • Mota (2009), Aoki-Lopes, Eq. 3.12 (Mindlin), pp. 60–64
    • Santana, Lopes e Danziger, Eqs. 1–3 e Tabela 1 (bloco rígido), pp. 3–7
    • NBR 6122:2022 §6.2.2 e §8.3
    • NBR 6118:2026 §17.2.2(e)
    • NBR 6122:2022 §8.3
    • Mota (2009), Aoki-Lopes (Mindlin, Eq. 3.12)

    Decisões do tema

    0026, 0102

    Casos do acervo

    Nenhum caso do acervo.

  • E22 Sapata hipotética do grupo — σr de Vesić no kernel (fora do veredito)Nível N2 reproduz Cintra, Aoki e Albiero (2011), Exercício resolvido 4, pp. 56–57 dentro da tolerância

    σr de Vesić/De Beer na apresentação de Cintra, Aoki e Albiero, com γ médio no bulbo de 2B, no kernel da sapata hipotética (decisão 0030), que ainda não entra no veredito do grupo. O exercício 4 de Cintra et al. é uma sapata real com a geometria dada: confere a resistência nas três posições do NA, não o grupo. O exemplo completo aplicado ao grupo (resistências individuais, zs, sapata fictícia) continua faltando (docs/auditorias/capacidade-grupo-sapata-hipotetica-2026-09-14.md, §5). Nenhum check do motor usa o kernel hoje: a única entrada do tema é a pendência da integração.

    Fatores (0 a 4)

    Referência: 3
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0030); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6122:2022 §8.3 e definição 3.10
    • Cintra, Aoki e Albiero (2011), Vesić/De Beer, Tab. 2.2 (PDF p. 33)
    • Cintra, Aoki e Albiero (2011), exercício resolvido 4, pp. 56–57
    • NBR 6122:2022 §8.3

    Decisões do tema

    0030

Bloco sobre estacas — 17 temas: N1: 13 · N2: 4

  • B01 Blévot — 2 estacasNível N2 reproduz Fabiana Stripari Munhoz (2004), Modelos B1-1 a B1-3: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.6 (p. 102) e §5.6.4 (p. 139) dentro da tolerância

    Bielas e tirantes de Blévot & Frémy (1967) para 2 estacas: Rst = Nd·(2ℓ − ap)/(8d) com 1,15, limite 1,40·KR·fcd nos dois nós e piso de 45° (formulação de Bastos; exemplos de Munhoz, 2004). A força no tirante do B1 de Munhoz fica no B17.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0007, 0091, 0096, 0099); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada sem edição: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio BL-01: Com n ≥ 2 não há check de contato pilar/bloco (NBR 6118 §21.2.1), ao contrário do n = 1 (0113); latente pela 0030.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), quadro de achados, BL-01; anexo 08
    • Médio P4-P5-P17-residuo: Revalidar no PDF Blévot §5.9 (p. 29), alcance da menor dimensão em 2 estacas (B2-1); se valer, decisão nova.docs/pendencias.md, «P4, P5 e P17»; docs/auditorias/revisao-motor-2026-10-12.md, P17
    • Médio P9-residuo: KR de Blévot sem piso (KR nulo ou negativo entra sem erro) e default 0,90 × 0,85 com o usuário.docs/pendencias.md, «P9»; docs/auditorias/revisao-motor-2026-10-12.md, P9; VER-365
    • Médio P6: Blévot e CEB-70 podem dar ok com o contrato de aprovação dos modelos de bloco ainda aberto (latente pela 0030).docs/auditorias/revisao-motor-2026-10-12.md, P6; docs/pendencias.md, «Fechar o contrato de aprovação dos modelos de bloco»
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §22.7
    • Blévot & Frémy (1967), §5.2 (p. 20), piso de 45°
    • Munhoz (2004), eqs. 3.10, 3.12, 3.21–3.22 (pp. 38 e 41)
    • Blévot & Frémy, limite de tensão nas bielas (a ref não cita item nem ano)
    • NBR 6118 §22.3.2

    Decisões do tema

    0007, 0091, 0096, 0099

  • B02 Blévot — 3 estacas: biela junto à estacaNível N2 reproduz Fabiana Stripari Munhoz (2004), Modelo C1-1: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.5 (p. 101) e 5.6 (p. 102); Fabiana Stripari Munhoz (2004), Modelo C2-1: Tab. 5.2 (p. 94), 5.5 (p. 101) e 5.6 (p. 102) dentro da tolerância

    Blévot & Frémy (1967) em 3 estacas com o braço da origem r − (√3/6)·min(ap, bp), força por lado F_radial/√3, limite 1,75·KR·fcd e biela mais desfavorável (decisão 0105).

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo B (exemplo publicado no acervo, parcial, com grandezas conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0007, 0091, 0096, 0105); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada sem edição: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio BL-01: Com n ≥ 2 não há check de contato pilar/bloco (§21.2.1); latente pela 0030.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-01
    • Médio P4-P5-P17-residuo: Com o usuário: medir a ancoragem só no eixo da faixa em 3 estacas (0105, E5), carga P_i por estaca e retirar o 1,15 em n ≥ 3 (VER-187).docs/pendencias.md, «P4, P5 e P17»; VER-581; VER-187
    • Médio P8-residuo: Bastos usa 45°–55° nos exemplos de 3 estacas, mais restritivo que a validade de 40° do motor; adoção é decisão do usuário.docs/pendencias.md, «P8»; VER-188
    • Médio P9-residuo: KR de Blévot sem piso e default com o usuário.docs/pendencias.md, «P9»; VER-365
    • Médio P6: Contrato de aprovação dos modelos de bloco aberto (latente pela 0030).docs/auditorias/revisao-motor-2026-10-12.md, P6; docs/pendencias.md
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §22.7
    • Blévot & Frémy (1967), §5.3, eqs. 20–22 (p. 22)
    • Munhoz (2004), eqs. 3.24, 3.26 e 3.32 (pp. 43 e 46)
    • Blévot & Frémy, limite de tensão nas bielas (a ref não cita item nem ano)
    • NBR 6118 §22.3.2

    Decisões do tema

    0007, 0091, 0096, 0105

  • B03 Blévot — 4 estacasNível N2 reproduz Fabiana Stripari Munhoz (2004), Modelo D1-1: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.5 (p. 101) e 5.6 (p. 102); Fabiana Stripari Munhoz (2004), Modelo D2-1: Tab. 5.2 (p. 94), 5.4 (p. 100), 5.5 (p. 101) e 5.6 (p. 102) dentro da tolerância

    Blévot & Frémy (1967) em 4 estacas com força por lado Pd·a_h/d/(2·cos β), braço pela menor dimensão do pilar e limite 2,10·KR·fcd (decisão 0098; Munhoz 2004, Tab. 3.1). A força no tirante dos exemplos de Munhoz fica no B17: nenhum check do tema a mede.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0007, 0091, 0096, 0098); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023 e sem edição: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio BL-01: Com n ≥ 2 não há check de contato pilar/bloco (§21.2.1); latente pela 0030.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-01
    • Médio P4-P5-P17-residuo: Com o usuário: biela com a carga P_i da própria estaca, teto do ângulo pela menor dimensão (0098, D2a) e retirada do 1,15 em n ≥ 3.docs/pendencias.md, «P4, P5 e P17»; VER-467; VER-187
    • Médio P8-residuo: Bastos dá 45°–55° de 4 estacas em diante; o motor usa validade de 40° com aviso abaixo de 45°; adoção com o usuário.docs/pendencias.md, «P8»; VER-188
    • Médio P9-residuo: KR de Blévot sem piso e default com o usuário.docs/pendencias.md, «P9»; VER-365
    • Médio P6: Contrato de aprovação dos modelos de bloco aberto (latente pela 0030).docs/auditorias/revisao-motor-2026-10-12.md, P6; docs/pendencias.md
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §22.7
    • NBR 6118:2023 §22.7.4.1.1
    • Blévot & Frémy (1967), §5.4 (p. 24)
    • Munhoz (2004), Tab. 3.1 e eqs. 3.35–3.39 (pp. 48–49)
    • Blévot & Frémy, limite de tensão nas bielas (a ref não cita item nem ano)
    • NBR 6118 §22.3.2

    Decisões do tema

    0007, 0091, 0096, 0098

  • B04 Blévot — 5 e 6 estacasNível N1 conforme as decisões 0007, 0091, 0098, 0101 e 0107, sem exemplo publicado conferido

    Blévot & Frémy (1967) estendido aos anéis e arranjos com estaca central (5 = 4 + central pela remissão de §5.5 1°; 5 pentagonal e 6 com força por lado da 0098) e 2×3 com ângulo pendente (decisão 0101).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0007, 0091, 0098, 0101, 0107); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio BL-06: Anéis: a origem usa braço uniforme r − a/4 (p. 27); com carga excêntrica o motor fica até 5,2 % abaixo; limite 2,10 sem fonte nos anéis.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-06
    • Médio BL-07: 4 + central e 5 + central: a menor distância real até a estaca central (0,707·e e 0,851·e) não é verificada, e a busca seleciona o arranjo.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-07
    • Médio P8-residuo: Piso do ângulo nos anéis (D1 da 0101) sem fonte, motor em 40°; coeficiente 2,10 e tirante sem fonte no 2×3.docs/pendencias.md, «P8»; VER-188
    • Médio P4-P5-P17-residuo: Ancoragem medida só no eixo da faixa nos anéis (borda interna pode ter menos comprimento); 6-retangular sem repartição definida entre faixas.docs/pendencias.md, «P4, P5 e P17»; VER-467
    • Médio BL-01: Com n ≥ 2 não há check de contato pilar/bloco (§21.2.1); latente pela 0030.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-01
    • Médio P9-residuo: KR de Blévot sem piso e default com o usuário.docs/pendencias.md, «P9»; VER-365
    • Médio P6: Blévot pode dar ok com o contrato de aprovação dos modelos de bloco aberto (latente pela 0030).docs/auditorias/revisao-motor-2026-10-12.md, P6; docs/pendencias.md, «Fechar o contrato de aprovação dos modelos de bloco»
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo BL-08: 5 = 4 + central: limite 2,1 no nó do pilar sobre Nd inteiro, contra 2,6 (Munhoz, Bastos); conservadorismo sem registro.docs/auditorias/parecer-validacao-metodologica-2026-10-22/anexo-03-blocos.md (PR #262), BL-08

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §22.7
    • Blévot & Frémy (1967), §5.5 1° (p. 26); pp. 27–28 só em texto extraído
    • Blévot & Frémy, limite de tensão nas bielas (a ref não cita item nem ano)
    • NBR 6118 §22.3.2

    Decisões do tema

    0007, 0091, 0098, 0101, 0107

    Casos do acervo

    Nenhum caso do acervo.

  • B05 MBT (NBR 6118 §22.3) — qualquer nNível N1 conforme as decisões 0007, 0098, 0099 e 0105, sem exemplo publicado conferido

    Modelo de bielas e tirantes da NBR 6118 §22.3: limites 0,85·αv2·fcd no pilar e 0,72/0,60·αv2·fcd na estaca, 29,7°/63,4° de tan θ com piso de 34° do TQS-MBT, As = Ft/fyd e áreas nodais ampliadas (Fusco; TQS-MBT).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0007, 0098, 0099, 0105); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio BL-01: Sem check de contato pilar/bloco com n ≥ 2; o MBT aceita de 2,4 a 2,7 × FRd (k = 1) pelo caminho público.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-01
    • Médio BL-02: Nó do pilar no MBT com (ap + h)² sem os vínculos de Fusco; quase nunca governa; escolher um único par nodal.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-02
    • Médio BL-03: Braço do tirante z = d do TQS-MBT, sem convergência com Fusco e EHE; opções ao usuário.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-03
    • Médio BL-04: Área ampliada do nó do pilar limitada pela caixa envolvente, sai do contorno dos blocos poligonais.docs/auditorias/parecer-validacao-metodologica-2026-10-22.md (PR #262), BL-04
    • Médio P6: O MBT ainda depende de nota ou oráculo reproduzível para áreas nodais e distribuição por faixas.docs/auditorias/revisao-motor-2026-10-12.md, P6; docs/pendencias.md, «Fechar o contrato de aprovação dos modelos de bloco»
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §22.3.1
    • NBR 6118 §22.3.2
    • NBR 6118 §22.3.3 (As = Ft/fyd, sem 1,15)
    • TQS, MBT, piso de 34°
    • Blévot & Frémy, limite de tensão nas bielas (a ref não cita item nem ano)

    Decisões do tema

    0007, 0098, 0099, 0105

    Casos do acervo

    Nenhum caso do acervo.

  • B06 CEB-70Nível N1 cita CEB-70, §12.4 (cortante em S2), CEB-70, §12.5 (reação local) e Bastos, §12; sem decisão numerada nem exemplo publicado conferido

    Método do CEB-70 (Boletim 73), comparativo e não normativo, pelas fórmulas de Bastos §12: flexão em S1, cortante em S2, reação local da estaca de canto e validade 2c/3 ≤ h ≤ 2c.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 1
    sem decisão numerada

    Travas

    Nenhuma.

    Achados abertos

    • Médio P6: CEB-70 pode dar ok com o contrato de aprovação aberto; deve permanecer comparativo e não substituir a verificação normativa.docs/auditorias/revisao-motor-2026-10-12.md, P6; docs/pendencias.md, «Fechar o contrato de aprovação dos modelos de bloco»

    Cláusulas (do tema e dos checks)

    • CEB-70, §12.4 (cortante em S2)
    • CEB-70, §12.5 (reação local)
    • Bastos, §12
    • CEB-70, validade da altura 2c/3 ≤ h ≤ 2c (ref sem item)
    • CEB-70, §12.4
    • CEB-70, §12.5

    Decisões do tema

    Nenhuma decisão numerada.

    Casos do acervo

    Nenhum caso do acervo.

  • B07 Bloco sobre 1 estacaNível N1 conforme as decisões 0066, 0087, 0106, 0113 e 0115, sem exemplo publicado conferidoAchados altos abertos: P2-residuo-h, P2-residuo-fontes

    Bloco sobre 1 estaca pela decisão 0113: contatos de §21.2.1 nas duas faces (Nd ≤ Ac0·fcd·k no pilar, com a área efetiva da 0066 D2, e Fd ≤ (π·φ²/4)·fcd·k na estaca; k ≤ 3,3 e k = 1 com h < A·B/(A + B), EHE-08 61.2), fendilhamento com Td = 0,25·Fd (conservadorismo sobre Tad = 0,25·Nd·(1 − ap/A) da EHE-08 61.3 e de Bastos 2023 §16.4), T1d = 0,015·Nd e fyd,ef ≤ 40 kN/cm² no domínio do item 5, e tensões nodais com θ = 90° como critério da busca (0087).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0066, 0087, 0106, 0113, 0115); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Alto P2-residuo-h: Busca do bloco sobre 1 estaca não eleva h até máx(A; B); o padrão do motor fica pendente no fendilhamento (opção B da VER-720 sem resposta). Severidade do item de origem («P1, P2 e P3, altos»); o resíduo não foi reclassificado na fonte.docs/pendencias.md, «P1, P2 e P3, altos», resíduo do P2
    • Alto P2-residuo-fontes: h < máx(A; B) sem fonte convergente (VER-545); EHE-08 Arts. 61.2–61.4 a revalidar no PDF; armadura mínima do bloco unitário e folga bloco–pilar sem fonte. Severidade do item de origem («P1, P2 e P3, altos»); o resíduo não foi reclassificado na fonte.docs/pendencias.md, «P1, P2 e P3, altos», resíduo do P2
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §21.2.1
    • EHE-08, Art. 61.2
    • EHE-08, Art. 61.3
    • Bastos (2023), §5 (Td = 0,25·Pd)
    • Bastos (2023), §16.4
    • NBR 6118 §22.3.2
    • Blévot & Frémy, limite de tensão nas bielas (a ref não cita item nem ano)
    • NBR 6118:2026 §21.2.1 (face inferior, leitura da cláusula geral)
    • Bastos (2023), §5 (Td = 0,25·Fd, conservadorismo)
    • Bastos (2023), §16.4 (Tad e T1d)

    Decisões do tema

    0066, 0087, 0106, 0113, 0115

    Casos do acervo

    Nenhum caso do acervo.

  • B08 Armaduras complementares (suspensão, malha, superior)Nível N1 conforme as decisões 0001, 0002 e 0007, sem exemplo publicado conferido

    Armaduras complementares de Bastos (Blocos de fundação, §7.3–7.5) em função do número de estacas: suspensão Nd/(1,5·n·fyd), malha 0,20/0,25 do tirante e superior 0,2·As (NBR 6118 §22.7.4). Nenhum check mede as áreas; a da malha decide o detalhamento da malha (B12), que herda o tema. A suspensão e a superior não decidem check nenhum.

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0001, 0002, 0007); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023 e sem edição: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo BL-09: Malha: as NBR 2003/2007 calculavam com 80 % de fyd; revalidar no PDF se a 2026 mantém (o 0,20 em 3 estacas ficaria 20 % abaixo).docs/auditorias/parecer-validacao-metodologica-2026-10-22/anexo-03-blocos.md (PR #262), BL-09

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §22.7.4
    • NBR 6118 §22.7.4.1.3
    • Bastos, §7.3–7.5; exemplos pp. 44 e 52
    • NBR 6118:2023 §18.3.2.2 (s mínimo)

    Decisões do tema

    0001, 0002, 0007

  • B09 Armadura de pele e estribos verticais do blocoNível N1 conforme as decisões 0002 e 0003, sem exemplo publicado conferido

    Pele com teto de 5 cm²/m da NBR 6118 §17.3.5.2.3 (via §22.7.4.1.5) sobre a fórmula de Bastos §7.5, e no bloco de 2 estacas a família de Bastos §6.4 (0,075·B por face para pele e estribo vertical).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0002, 0003); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo BL-10: 2 estacas: a pele e o estribo vertical de Bastos (0,075·B) são os menores entre três prescrições (CEB-70, Calavera/Montoya).docs/auditorias/parecer-validacao-metodologica-2026-10-22/anexo-03-blocos.md (PR #262), BL-10

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §17.3.5.2.3
    • NBR 6118 §22.7.4.1.5
    • Bastos, §6.4, §7.5 e §14.1 (pp. 37–40)
    • NBR 6118:2023 §18.3.2.2 (s mínimo)
    • Bastos, §6.4 (teto min(15 cm; 0,5·a_est))

    Decisões do tema

    0002, 0003

    Casos do acervo

    Nenhum caso do acervo.

  • B10 Ancoragem do tirante do blocoNível N1 conforme as decisões 0065, 0098, 0099, 0105 e 0107, sem exemplo publicado conferido

    Comprimento disponível da face interna da estaca à face do bloco, ao longo da faixa nos arranjos das decisões 0098 e 0105 (lbDisp = ext + φ/2 − c/sen α) e na direção radial nos demais, contra lb,nec de §9.4.2 com gancho (α = 0,7 se c ≥ 3φ) e razão As,calc/As,adot (NBR 6118 §22.7.4.1.1), com As,adot = máx(As,calc; As,mín): a força no tirante só muda o lb,nec quando As,mín governa, e por isso os casos de Munhoz ficam no B17.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0065, 0098, 0099, 0105, 0107); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    • Médio P4-P5-P17-residuo: Nos anéis da 0098 a ancoragem é medida só no eixo da faixa; a barra da borda interna pode ter menos comprimento que o check aprova.docs/pendencias.md, «P4, P5 e P17»; VER-467; VER-581
    • Médio S3 (resíduo): γc, γs e γf aceitam qualquer valor > 0 sem aviso; com γ = 1,0 o resultado aprova com As cerca de 26 % menor (ρmin já fechado pela decisão 0093)docs/auditorias/revisao-motor-2026-10-12.md §3.1 (S3) e docs/pendencias.md (resíduo do S3, escolha do usuário pendente)
    • Baixo BL-11: α = 0,7 do gancho exige c ≥ 3φ com o cobrimento nominal, e a norma fala do cobrimento no plano normal ao do gancho; conservadorismo sem registro que domina a viabilidade.docs/auditorias/parecer-validacao-metodologica-2026-10-22/anexo-03-blocos.md (PR #262), BL-11

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §22.7.4.1.1
    • NBR 6118:2023 §9.4.2
    • NBR 6118 §9.4.2.5
    • NBR 6118 §22.7.2.1

    Decisões do tema

    0065, 0098, 0099, 0105, 0107

    Casos do acervo

    Nenhum caso do acervo.

  • B11 Classificação rígido/flexível do blocoNível N1 cita NBR 6118:2026 §22.7 e NBR 6118:2023 §22.7.1 c/c §22.6.1; sem decisão numerada nem exemplo publicado conferido

    Bloco rígido quando h ≥ (a − ap)/3 em cada direção, pelo critério análogo ao das sapatas (NBR 6118 §22.7.1 c/c §22.6.1); bloco flexível não tem método no motor.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 1
    sem decisão numerada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §22.7
    • NBR 6118:2023 §22.7.1 c/c §22.6.1

    Decisões do tema

    Nenhuma decisão numerada.

    Casos do acervo

    Nenhum caso do acervo.

  • B12 Detalhamento das barras do bloco: espaçamento e camadasNível N1 conforme as decisões 0003 e 0099, sem exemplo publicado conferido

    Espaçamento mínimo livre de §18.3.2.2 entre barras do tirante, da malha e dos estribos verticais; teto entre eixos de 20 cm (critério de projeto do módulo) no tirante e na malha e de min(15 cm; 0,5·a_est) no estribo vertical (Bastos §6.4); encaixe vertical de duas camadas do tirante.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0003, 0099); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §18.3.2.2
    • Bastos, §6.4 (teto do estribo vertical: min(15 cm; 0,5·a_est))
    • NBR 6118:2023 §18.3.2.2 (s mínimo)
    • Bastos, §6.4 (teto min(15 cm; 0,5·a_est))

    Decisões do tema

    0003, 0099

    Casos do acervo

    Nenhum caso do acervo.

  • B13 Ancoragem reta dos arranques do pilar no blocoNível N1 conforme as decisões 0018 e 0065, sem exemplo publicado conferido

    Altura do bloco ≥ ℓb,nec + cobrimento + 2 cm, com ℓb = (φ/4)·(fyd/fbd) ≥ 25φ, α = 1,0 e ℓb,nec ≥ max(0,3ℓb; 10φ; 10 cm) (NBR 6118 §9.4.2.4–5 e §22.7.4.1.4; decisão 0018).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0018, 0065); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §9.4.2.4
    • NBR 6118:2026 §9.4.2.5
    • NBR 6118:2026 §22.7.4.1.4
    • NBR 6118:2026 §9.4.2.4–5

    Decisões do tema

    0018, 0065

    Casos do acervo

    Nenhum caso do acervo.

  • B14 Confinamento transversal dos arranquesNível N1 conforme a decisão 0021, sem exemplo publicado conferido

    Para φ < 32 mm, a armadura transversal existente ao longo de ℓb deve resistir a 25 % da força de uma barra (ΣAsw ≥ 0,25·As,barra com o mesmo aço); φ ≥ 32 mm e ΣAsw não informado ficam pendentes (NBR 6118 §9.4.2.6; decisão 0021).

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0021); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §9.4.2.6
    • NBR 6118:2026 §9.4.2.6.1 (φ < 32 mm: 25 % da força de uma barra)
    • NBR 6118:2026 §9.4.2.6.2 (φ ≥ 32 mm, verificação bidirecional, pendente)

    Decisões do tema

    0021

    Casos do acervo

    Nenhum caso do acervo.

  • B15 Blévot — 3 estacas: biela junto ao pilarNível N1 conforme as decisões 0007, 0091, 0096 e 0105, sem exemplo publicado conferido

    Tensão na biela junto ao pilar no bloco de 3 estacas por Blévot & Frémy (1967), com o braço da origem (decisão 0105). Nos casos C1-1 e C2-1 de Munhoz o σcb,p diverge do impresso (divergência caracterizada no acervo); sem exemplo publicado que confira.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo B- (exemplo publicado no acervo sem grandeza da fonte que confira com margem (divergência caracterizada ou empate na tolerância)); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0007, 0091, 0096, 0105); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2026 §22.7
    • Blévot & Frémy (1967), §5.3, eqs. 20–22 (p. 22)
    • Munhoz (2004), eqs. 3.24, 3.26 e 3.32 (pp. 43 e 46)
    • Blévot & Frémy, limite de tensão nas bielas (a ref não cita item nem ano)
    • NBR 6118 §22.3.2

    Decisões do tema

    0007, 0091, 0096, 0105

  • B16 Ângulo da biela: faixa de Blévot e piso e teto do MBTNível N1 conforme as decisões 0091 e 0101, sem exemplo publicado conferido

    Faixa do ângulo da biela por arranjo: Blévot & Frémy com piso de 45° em 2 estacas (decisão 0091) e, no MBT, piso do TQS e teto da NBR 6118 §22.3.1. Nenhum caso do acervo tem grandeza de ângulo; no B1 de Munhoz o bloco roda com θ = 40,8°, abaixo do piso de 45° que o check aplica a 2 estacas.

    Fatores (0 a 4)

    Referência: 1
    só cláusula citada, sem fonte externa de oráculo
    Verificação: 1
    oráculo D (só conta da própria equipe ou transcrição de tabela da fonte); 0 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0091, 0101); nenhuma revisão independente registrada

    Travas

    Nenhuma.

    Achados abertos

    Nenhum.

    Cláusulas (do tema e dos checks)

    • NBR 6118:2023 §22.3.1
    • NBR 6118:2026 §22.7
    • Blévot & Frémy (1967), §5.2 (piso de 45° em 2 estacas)
    • NBR 6118:2023 §22.3.1 (tan θ ≤ 2; tan θ ≥ 0,57)
    • TQS, MBT, piso de 34°

    Decisões do tema

    0091, 0101

    Casos do acervo

    Nenhum caso do acervo.

  • B17 Força no tirante do bloco (Blévot; exemplos de Munhoz)Nível N2 reproduz Fabiana Stripari Munhoz (2004), Modelos B1-1 a B1-3: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.6 (p. 102) e §5.6.4 (p. 139); Fabiana Stripari Munhoz (2004), Modelo D1-1: Tab. 5.1 (p. 91), 5.2 (p. 94), 5.5 (p. 101) e 5.6 (p. 102); Fabiana Stripari Munhoz (2004), Modelo D2-1: Tab. 5.2 (p. 94), 5.4 (p. 100), 5.5 (p. 101) e 5.6 (p. 102) dentro da tolerância

    Força no tirante de Blévot & Frémy (1967): direta em 2 estacas e no 6 retangular, e por lado nos arranjos de 4 a 6 estacas da decisão 0098 (4, 4 retangular, 5 = 4 + central, 5 pentagonal, 6 = 5 + central e 6 hexagonal) e no de 3 estacas da 0105. O 1,15 é de Blévot e Munhoz só em 2 estacas; em n ≥ 3 é conservadorismo deliberado sem fonte (docs/conservadorismos-deliberados.md; decisões 0098 e 0105). Nenhum check mede a força, mas ela decide os que dependem da armadura do tirante (As,adot = máx(1,15·Ft/fyd; As,mín)): o espaçamento e as camadas do tirante (B12), quando a força governa o As,adot, e a ancoragem (B10, pela razão As,calc/As,adot), quando o As,mín governa. Essas entradas herdam o tema, e com ele a evidência dos exemplos de Munhoz (2004).

    Fatores (0 a 4)

    Referência: 2
    pior leitura das fontes externas: E1
    Verificação: 2
    oráculo A (exemplo publicado no acervo, mesmo método, conferindo); 1 linhagem(ns) independente(s)
    Revisão: 2
    decisão numerada vigente (0003, 0007, 0098, 0105); nenhuma revisão independente registrada

    Travas

    • cláusula da NBR 6118 citada em 2023: referência ≤ 2 até a revalidação na edição 2026

    Achados abertos

    • Médio P4-P5-P17-residuo: Com o usuário: biela com a carga P_i da própria estaca, teto do ângulo pela menor dimensão (0098, D2a) e retirada do 1,15 em n ≥ 3.docs/pendencias.md, «P4, P5 e P17»; VER-467; VER-187

    Cláusulas (do tema e dos checks)

    • Blévot & Frémy (1967), §5.2, §5.3 e §5.4
    • Munhoz (2004), eqs. 3.12, 3.26, 3.32 e 3.35–3.39, Tab. 3.1
    • NBR 6118:2023 §18.3.2.2
    • NBR 6118:2023 §18.3.2.2 (s mínimo)
    • NBR 6118:2023 §22.7.4.1.1
    • NBR 6118:2023 §9.4.2

    Decisões do tema

    0003, 0007, 0098, 0105

Testes sintéticos de propriedades

Além dos exemplos publicados, a suíte gera entradas realistas com semente fixa (200 sapatas e 150 sorteios de estacas, metade em areia homogênea) e verifica propriedades que todo resultado precisa ter: nenhum valor não finito; verificação pendente nunca marcada como aprovada; tensão média ≤ tensão admissível quando a sapata é aprovada; área da base que não diminui com mais carga nem aumenta com solo melhor; simetria ao girar pilar e momentos; atrito lateral que não diminui com o comprimento; equilíbrio de forças e momentos no bloco rígido; e bloqueio fora do domínio (força horizontal na sapata, φ acima de 50° em Terzaghi e em Vesić, Teixeira fora de 4 < N < 40, e, nas estacas, nenhuma configuração aprovada: estaca isolada pela pendência do bloco sobre 1 estaca, grupos pela pendência da sapata hipotética e estacas metálicas sem aprovação). Essas propriedades não são oráculos numéricos. Uma delas já falhou e virou achado: o Vesić aprovava com φ acima de 50°. O achado foi corrigido (VER-183, decisão 0085: o Vesić só vale na faixa tabulada, de 0° a 50°) e a propriedade passou a cobrir o Vesić.

Limites desta verificação