Kjell Tore Guttormsen
809fa04406
Doc-gaten er fail-closed paa dekning: et nytt dokument som verken staar i
_LIVE_DOCS eller har en datert sti er UKLASSIFISERT, og et uklassifisert
dokument er uvoktet uten at noe sier fra. docs/okf-konsum-kontrakter.md er
kanonisk og skal holdes aa jour - altsaa LIVE, ikke et punkt-i-tid-notat.
Gaten gjorde jobben sin mot f6b1b77; dette er svaret, ikke en omgaaelse.
Formaterer samtidig Steg 1s testfil (ruff format).
Co-Authored-By: Claude <claude-opus-5>
54 lines
2.6 KiB
Python
54 lines
2.6 KiB
Python
"""The falsification-verdict seam — load-bearing gates for reading OKF provenance.
|
|
|
|
This module opens with the ONE thing that has to be captured before any decoder exists: the
|
|
bytes today's ``bundle_context`` renders from a **block-form** provenance bundle. Later steps
|
|
add a decoder that reads ``verified``/``sources`` in that form; this gate is what proves the
|
|
decoder did not move the read-context on its way in.
|
|
|
|
The comparison is **byte-for-byte**, with no trailing-whitespace normalisation. The commons
|
|
nav-goldens normalise because commons owns their line endings and this repo consumes them
|
|
through a pull-only subtree; ``tests/golden/block-form-provenance/`` is repo-owned, so the
|
|
stricter comparison is available and is what the criterion asks for.
|
|
|
|
The resolver below is LOCAL on purpose. ``tests/test_okf.py::_nav_golden`` hard-codes
|
|
``shared/examples/`` (``test_okf.py:51``) and lives in a module this work must not touch, so
|
|
reusing it would mean editing a frozen module to reach a repo-owned fixture.
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
from pathlib import Path
|
|
|
|
from portfolio_optimiser import okf
|
|
|
|
_GOLDEN_DIR = Path(__file__).resolve().parents[1] / "tests" / "golden" / "block-form-provenance"
|
|
|
|
|
|
def _block_form_golden() -> tuple[str, str]:
|
|
"""The repo-owned block-form case: ``(bundle_dir, expected_read_context)``."""
|
|
return (
|
|
str(_GOLDEN_DIR / "bundle"),
|
|
(_GOLDEN_DIR / "expected-read-context.md").read_text(encoding="utf-8"),
|
|
)
|
|
|
|
|
|
def test_block_form_bundle_renders_the_captured_bytes() -> None:
|
|
"""Navigation is TOLERANT of block-form provenance, and these are the bytes it produces.
|
|
|
|
Two claims in one arm, and both are load-bearing. First, ``navigate_bundle`` reaches every
|
|
file and skips nothing — a block ``verified:`` sequence is ordinary frontmatter to a
|
|
line-oriented parser, so it must not break navigation, and ``skipped`` being empty is the
|
|
positive statement that no link was silently passed over. Second, the rendered read-context
|
|
is byte-identical to the committed fasit. The fasit was generated by the code that predates
|
|
any decoder work: if it were regenerated afterwards, the comparison would prove an
|
|
implementation identical to itself and nothing else.
|
|
"""
|
|
bundle_dir, expected = _block_form_golden()
|
|
bundle = okf.navigate_bundle(bundle_dir)
|
|
|
|
assert bundle.skipped == (), (
|
|
f"navigation skipped a link it should have followed: {bundle.skipped}"
|
|
)
|
|
assert [f.name for f in bundle.files] == ["index.md", "attested.md", "multi-verified.md"]
|
|
|
|
assert okf.bundle_context(bundle) == expected
|