<!-- file: deltas/0.0.3/alpha.1.fix.2.md -->
<!-- version: 1 -->

# Delta 0.0.3-alpha.1.fix.2 — complétion de la preuve opérateur

## Baseline requise

Partir de `0.0.3-alpha.1.fix.1` après application et commit/push de son history `PARTIAL`.

La version devient :

```text
0.0.3-alpha.1.fix.2
```

## Objet

Fermer uniquement la preuve restée incomplète sur `alpha.1.fix.1`.

Aucune décision fonctionnelle n'est modifiée et aucune fonctionnalité Git n'est ajoutée. Le fix :

- conserve le résultat `PARTIAL` de `alpha.1.fix.1` comme artefact historique ;
- met à jour le plan actif pour refléter cette transition ;
- rejoue la non-régression nécessaire après le bump de version ;
- exécute explicitement les assertions documentaires/horizon, l'hygiène texte, l'invariance du code produit et la politique des lockfiles ;
- termine par le staging requis.

Le développement du contrat d'écriture provider-neutral reste réservé à `alpha.2` après `PASS` de ce fix.

## Scope des fichiers

REPLACE :

```text
VERSION
Cargo.toml
docs/plans/003-V0_0_3_GIT_WRITE_PLAN.md
```

ADD :

```text
deltas/0.0.3/alpha.1.fix.2.md
```

DELETE : aucun.

Aucun fichier sous `crates/` ou `Web/` n'est modifié.

Aucun history `alpha.1.fix.2` n'est inclus dans ce delta.

## Gate opérateur

Exécuter depuis la racine du dépôt après application du delta :

```bash
test "$(cat VERSION)" = '0.0.3-alpha.1.fix.2'
grep -F 'version = "0.0.3-alpha.1.fix.2"' Cargo.toml

git diff --check

python3 -B scripts/audit_markdown_headers.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts deltas history
python3 -B scripts/audit_markdown_links.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts deltas history
python3 -B scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts deltas history

cargo fmt --all
cargo fmt --all -- --check

python3 -B scripts/audit_rust_test_layout.py crates
python3 -B scripts/audit_rust_blank_lines.py crates
python3 -B scripts/audit_rust_item_spacing.py crates
python3 -B scripts/audit_rust_module_order.py crates
python3 -B scripts/audit_rust_trait_import_blocks.py crates
python3 -B scripts/audit_rust_reexport_blocks.py crates
python3 -B scripts/audit_rust_crate_root_facades.py crates
python3 -B scripts/audit_rust_export_completeness.py --root . --summary-only

cargo metadata --format-version 1 --no-deps > /tmp/sasedev-knowledge-0.0.3-alpha.1.fix.2-metadata.json
cargo check --workspace
cargo clippy --workspace --all-targets --all-features -- -D warnings
cargo test -p knowledge-git-lib --test git_read_path
cargo test --workspace --all-targets --all-features

python3 - <<'PYGATE'
from pathlib import Path

history = Path('history/0.0.3/alpha.1.fix.1.md').read_text(encoding='utf-8')
assert '\nPARTIAL\n' in history

changelog = Path('CHANGELOG.md').read_text(encoding='utf-8')
assert '## 0.0.3' not in changelog
assert '## 0.0.2' in changelog

roadmap = Path('ROADMAP.md').read_text(encoding='utf-8')
assert '- `( ) 0.0.3`' in roadmap
for version in ('0.0.4', '0.0.5', '0.0.6', '0.0.7'):
    assert f'- `(h) {version}`' in roadmap, version
assert 'horizon prévisionnel' in roadmap

workflow = Path('docs/rules/210-WORKFLOW.md').read_text(encoding='utf-8')
assert 'pendant les dernières phases de `N`' in workflow
assert 'rattrapage et non le cycle normal' in workflow

documentation = Path('docs/rules/300-DOCUMENTATION.md').read_text(encoding='utf-8')
assert "Il n'est normalement pas rédigé au démarrage" in documentation
assert "au moins les deux releases d'horizon qui la suivent" in documentation

prompt_template = Path('docs/templates/001-NEW_SESSION_PROMPT.md').read_text(encoding='utf-8')
assert 'pendant les dernières phases de la release `N`' in prompt_template
assert 'MUST NOT inventer ces valeurs' in prompt_template

plan = Path('docs/plans/003-V0_0_3_GIT_WRITE_PLAN.md').read_text(encoding='utf-8')
assert '### alpha.1.fix.2 — complétion de la preuve opérateur' in plan
assert 'Un `PASS` complet de `alpha.1.fix.2` autorise `0.0.3-alpha.2`' in plan

assert Path('prompts/003-V0_0_3_START_PROMPT.md').is_file()
assert not Path('history/0.0.3/alpha.1.fix.2.md').exists()
assert not Path('crates/knowledge-forge-gitea-lib').exists()
assert not Path('crates/knowledge-store-postgres-lib').exists()
assert not Path('migrations').exists()

print('Knowledge 0.0.3-alpha.1.fix.2 completion audit: clean')
PYGATE

python3 - <<'PYTEXT'
from pathlib import Path

roots = [Path('README.md'), Path('RULES.md'), Path('ROADMAP.md'), Path('CHANGELOG.md'), Path('docs'), Path('prompts'), Path('deltas'), Path('history')]
paths = []
for root in roots:
    if root.is_file():
        paths.append(root)
    elif root.is_dir():
        paths.extend(path for path in root.rglob('*') if path.is_file())
for path in paths:
    data = path.read_bytes()
    assert b'\r' not in data, path
    assert data.endswith(b'\n'), path
    assert not data.endswith(b'\n\n'), path
    text = data.decode('utf-8')
    for number, line in enumerate(text.splitlines(), start=1):
        assert line == line.rstrip(' \t'), (path, number)
print(f'Knowledge 0.0.3-alpha.1.fix.2 text hygiene: clean ({len(paths)} file(s))')
PYTEXT

test -z "$(git diff --name-only -- crates Web)"
test ! -e history/0.0.3/alpha.1.fix.2.md

test -f Cargo.lock
git check-ignore -q Cargo.lock
if git ls-files --error-unmatch Cargo.lock >/dev/null 2>&1; then
    echo 'Cargo.lock must remain untracked for Knowledge' >&2
    exit 1
fi

test -f Web/knowledge-template-lab/package-lock.json

git add -A
git diff --cached --check
git status --short
```

La gate ne rejoue pas npm/Vite/HTTP : aucun fichier Web ni contrat runtime n'est modifié.

## Transition

### PASS

Produire `history/0.0.3/alpha.1.fix.2.md`, l'appliquer, commit/push `0.0.3-alpha.1.fix.2`, puis préparer `0.0.3-alpha.2`.

### FAIL / PARTIAL / BLOCKED

Conserver le résultat réel dans son history avant toute correction. Une correction bornée utilise `alpha.1.fix.3`; `.fix.3` déclenche en outre la revue `REPLAN` prévue par le plan actif.