Planejamento limitado

Planejamento de janelas com limite rígido

Cubra cada byte com registros completos, overlap limitado e nenhuma janela acima do teto.

U2 REAL: PROVENEXEMPLO SINTÉTICO · /demo-claude/

Três janelas sobrepostas sob teto de sessenta bytes com cobertura exclusiva.

Ao final, você consegue

Reconstruir janelas a partir de tamanhos e teto rígido.
Distinguir cobertura completa de cobertura exclusiva.
Explicar por que overlap pode ser menor que o solicitado.

Modelo central

Janelas tornam arquivos grandes endereçáveis sem fingir que cabem num único contexto. O planejador adiciona registros físicos completos até o próximo exceder o teto. O overlap solicitado é apenas limite superior: ele diminui quando necessário para que o próximo registro exclusivo avance.

Modelo mental: Empacote livros inteiros em caixas com limite de peso. Você pode repetir o último livro como contexto, mas não pode rasgar um livro nem exceder o limite apenas para preservar a repetição.

Para tamanhos sintéticos `[30,25,20,35]`, teto 60, overlap 1: janelas completas são registros `[0,2)` bytes `[0,55)`, registros `[1,3)` bytes `[30,75)` e registros `[2,4)` bytes `[55,110)`. Spans completos se sobrepõem; intervalos exclusivos particionam `[0,110)` sem lacuna. Um único registro acima de 60 falha o manifesto.

Tabela de fronteiras

Pergunta	Fronteira observada	Dono	Veredito
W0	records [0,2)	bytes [0,55)	55 B
W1	records [1,3)	bytes [30,75)	45 B · overlap 25 B
W2	records [2,4)	bytes [55,110)	55 B · overlap 20 B

Fonte local primária

docs/fable-session-mining/U2-MANIFEST-SCOPE.md

records = [30, 25, 20, 35]
maxWindowBytes = 60
overlapRecords = 1
// W0 [0,55) · W1 [30,75) · W2 [55,110)

Cada contagem de bytes da janela completa é no máximo o limite configurado.

A janela inteira, incluindo overlap repetido.

Bytes introduzidos pela primeira vez por esta janela.

Toda janela não inicial introduz pelo menos um registro novo.

Laboratório sintético

Inspecione um plano candidato sob teto 60.

Recuperação e feedback

Preveja antes de revelar

O planejador pode manter dois registros de overlap se isso não deixa espaço para o próximo registro novo?

Não. Retenha o maior sufixo dentro do limite solicitado que ainda permita avanço sob o teto rígido.

Cartões de recuperação

Cartões de recuperaçãoTeto rígidoAtive para virar

Teto rígidoCada contagem de bytes da janela completa é no máximo o limite configurado.

Cartões de recuperaçãoIntervalo completoAtive para virar

Intervalo completoA janela inteira, incluindo overlap repetido.

Cartões de recuperaçãoIntervalo exclusivoAtive para virar

Intervalo exclusivoBytes introduzidos pela primeira vez por esta janela.

Cartões de recuperaçãoAvançoAtive para virar

AvançoToda janela não inicial introduz pelo menos um registro novo.

Teste seu modelo

Quais intervalos precisam particionar o arquivo sem duplicatas?

Janelas completas podem se sobrepor; intervalos exclusivos explicam cobertura exatamente uma vez.

Ledger de evidências

Contrato · PROVENSCOPE + código-fonte

Implementação · PROVENcódigo + testes focados

Fronteira compilada · PROVENrecibo U2 registrado

Sonda independente · PROVENarquivos/hashes/bytes U2 coincidem

Autoridade: docs/fable-session-mining/LOOP-LOG.md. Testes nunca promovem um recibo real ausente.