Speiler MAF I2 fra shared/ingest-spec.md alene: manifest → CSV-konnektor → materialisert OKF-bundle, byte-identisk med den delte golden-fasiten. - ingest.py: ManifestContract (pydantic, fail-fast, file-kilde, verdict-reservasjon §3, id-grammatikk, max_rows), CSV-konnektor (boundary-checked fail-closed), materialisering (§5-frontmatter eksakt rekkefølge, markdown-tabell m/ escaping, LF-only, SHA-256 manifest-stamp), index-generering (§6), replacement §3/§5. - okf.py: _parse_index_entry — tolererer frontmatterløs index (method-spec §3: index rendres via body = summary, ikke som typet concept-fil). Golden var spec-konform; D7-okf var strengere enn standarden. Scoped: non-index concept- filer krever fortsatt type (honesty-test). - examples/ingest-golden-file/: repo-lokal golden (byte-frossen kopi av I2s fasit). - Speiltester (I2s load-bearing-sett, alle detach-bevist røde): golden byte-fasit + mutasjonskontroller · provenance/navigability/verdict-reservasjon/re-ingest-safety · kontrakt fail-fast/max_rows/boundary/kollisjon · spec-integritet §11. - docs/2026-07-04-I3-brief.md: brief + de to operatør-avgjorte beslutningene. Suite 239 passed uten nøkkel/nettverk (189 + 50 nye) · ruff + mypy --strict rene. [skip-docs] README + docs/extending.md er bevisst utsatt til I7 per sesjonsplan (programmet batcher ingest-doc der, avgrenset til det D7 faktisk har — CSV nå, SQL/HTTP senere). Endringen er dokumentert i docs/2026-07-04-I3-brief.md. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017MM6BWb1hWmJZuXFZ7rjxT
178 lines
8.3 KiB
Python
178 lines
8.3 KiB
Python
"""Load-bearing ingest seams (ingest-spec §11) — D7 mirror of MAF I2's set.
|
|
|
|
Each test must go RED when its seam is detached (the method-spec §11 regime): a
|
|
grønn-men-død test is the failure mode the rule exists for. The seams mirrored here:
|
|
|
|
- Provenance stamping — a generated file carries the §7 provenance layer, in order.
|
|
- Navigability — the generated bundle is consumable by the UNCHANGED ``okf`` navigation
|
|
(index links included), incl. the frontmatter-less generated index.
|
|
- Verdict reservation — a manifest mapping to ``type: verdict`` is rejected fail-fast,
|
|
before any source call.
|
|
- Re-ingest layer safety — re-materialization over a bundle carrying a promoted verdict
|
|
preserves the verdict file AND its index link (curated content always survives).
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
import json
|
|
import shutil
|
|
from pathlib import Path
|
|
|
|
import pytest
|
|
from pydantic import ValidationError
|
|
|
|
from portfolio_optimiser_claude import okf
|
|
from portfolio_optimiser_claude.ingest import ManifestContract, load_manifest, materialize
|
|
|
|
GOLDEN = Path(__file__).resolve().parents[1] / "examples" / "ingest-golden-file"
|
|
INGESTED_AT = (GOLDEN / "ingested-at.txt").read_text(encoding="utf-8").strip()
|
|
|
|
_PROVENANCE_KEYS = ("source_system", "source_query", "ingested_at", "ingest_manifest", "generated")
|
|
|
|
|
|
def _materialized(tmp_path: Path) -> Path:
|
|
bundle = tmp_path / "bundle"
|
|
bundle.mkdir()
|
|
materialize(GOLDEN / "manifest.json", bundle, INGESTED_AT)
|
|
return bundle
|
|
|
|
|
|
class TestProvenanceStamping:
|
|
"""Seam: a generated file carries the §7 provenance layer (RED if it stops)."""
|
|
|
|
def test_generated_file_carries_the_provenance_layer(self, tmp_path: Path) -> None:
|
|
bundle = _materialized(tmp_path)
|
|
concept = okf.parse_concept_file(bundle / "ingest-costs.md")
|
|
for key in _PROVENANCE_KEYS:
|
|
assert key in concept.frontmatter, f"provenance key {key} detached"
|
|
assert concept.frontmatter["source_system"] == "prosjekt-arkiv"
|
|
assert concept.frontmatter["ingested_at"] == INGESTED_AT
|
|
assert concept.frontmatter["generated"] == "true"
|
|
stamp = load_manifest(GOLDEN / "manifest.json").stamp
|
|
assert concept.frontmatter["ingest_manifest"] == stamp
|
|
|
|
def test_provenance_keys_are_in_the_spec_order(self, tmp_path: Path) -> None:
|
|
# §5: exactly these keys, in exactly this order — the chain is a contract.
|
|
bundle = _materialized(tmp_path)
|
|
lines = (bundle / "ingest-costs.md").read_text(encoding="utf-8").splitlines()
|
|
keys = [ln.split(":", 1)[0] for ln in lines[1 : lines.index("---", 1)]]
|
|
assert keys == [
|
|
"type",
|
|
"title",
|
|
"source_system",
|
|
"source_query",
|
|
"ingested_at",
|
|
"ingest_manifest",
|
|
"generated",
|
|
]
|
|
|
|
|
|
class TestNavigability:
|
|
"""Seam: the generated bundle is consumable by the UNCHANGED okf navigation."""
|
|
|
|
def test_generated_bundle_navigates_via_unchanged_okf(self, tmp_path: Path) -> None:
|
|
bundle = _materialized(tmp_path)
|
|
names = [c.path.name for c in okf.navigate_bundle(bundle)]
|
|
# Every generated ingest file must be REACHABLE via index cross-links — an
|
|
# unlinked generated file is unreachable (RED if index linking detaches).
|
|
assert names == ["index.md", "ingest-costs.md", "ingest-edge.md"]
|
|
|
|
def test_generated_context_renders_the_extracted_rows(self, tmp_path: Path) -> None:
|
|
bundle = _materialized(tmp_path)
|
|
context = okf.bundle_context(bundle)
|
|
assert "led-retrofit" in context and "requires vendor quote" in context
|
|
|
|
def test_generated_index_is_frontmatterless_and_still_navigates(self, tmp_path: Path) -> None:
|
|
# The generated index carries no frontmatter (§6 shape) — navigation must
|
|
# still work, exercising the okf entry-point relaxation end to end.
|
|
bundle = _materialized(tmp_path)
|
|
assert not (bundle / "index.md").read_text(encoding="utf-8").startswith("---")
|
|
assert okf.navigate_bundle(bundle)[0].path.name == "index.md"
|
|
|
|
|
|
class TestVerdictReservation:
|
|
"""Seam: an ingest mapping to the verdict layer is rejected fail-fast (§3)."""
|
|
|
|
def _manifest(self, okf_type: str) -> dict:
|
|
return {
|
|
"manifest_version": 1,
|
|
"source": {"type": "file", "id": "x", "root": "fixture"},
|
|
"bundle_summary": "s",
|
|
"extractions": [
|
|
{"id": "e", "title": "T", "query": "e.csv", "okf_type": okf_type, "max_rows": 1}
|
|
],
|
|
}
|
|
|
|
def test_verdict_okf_type_is_rejected(self) -> None:
|
|
with pytest.raises(ValidationError):
|
|
ManifestContract(**self._manifest("verdict"))
|
|
|
|
def test_verdict_reservation_is_case_insensitive(self) -> None:
|
|
with pytest.raises(ValidationError):
|
|
ManifestContract(**self._manifest("Verdict"))
|
|
|
|
def test_rejection_is_fail_fast_before_any_source_call(self, tmp_path: Path) -> None:
|
|
# A verdict manifest never touches the source: no bundle is written.
|
|
manifest = tmp_path / "manifest.json"
|
|
manifest.write_text(json.dumps(self._manifest("verdict")), encoding="utf-8")
|
|
bundle = tmp_path / "bundle"
|
|
with pytest.raises(ValidationError):
|
|
materialize(manifest, bundle, INGESTED_AT)
|
|
assert not bundle.exists() or not any(bundle.iterdir())
|
|
|
|
|
|
class TestReingestLayerSafety:
|
|
"""Seam: re-ingest preserves a promoted verdict AND its index link (§3, §6)."""
|
|
|
|
def _promote(self, bundle: Path) -> None:
|
|
# Simulate the promotion gate writing a verdict file + its (neutral) index link,
|
|
# plus a curated file + link. Neither carries the ingest stamp.
|
|
(bundle / "promoted-verdict-led.md").write_text(
|
|
"---\ntype: verdict\ndecision: approved\ndescription: LED holds up.\n---\n\nBody.\n",
|
|
encoding="utf-8",
|
|
)
|
|
(bundle / "curated-note.md").write_text(
|
|
"---\ntype: reference\ntitle: Curated\n---\n\nHand-written.\n", encoding="utf-8"
|
|
)
|
|
index = bundle / "index.md"
|
|
index.write_text(
|
|
index.read_text(encoding="utf-8")
|
|
+ "- [promoted](promoted-verdict-led.md)\n"
|
|
+ "- [Curated](curated-note.md)\n",
|
|
encoding="utf-8",
|
|
)
|
|
|
|
def test_promoted_verdict_and_curated_survive_reingest(self, tmp_path: Path) -> None:
|
|
bundle = _materialized(tmp_path)
|
|
self._promote(bundle)
|
|
materialize(GOLDEN / "manifest.json", bundle, INGESTED_AT) # re-ingest
|
|
|
|
assert (bundle / "promoted-verdict-led.md").is_file() # verdict file survives
|
|
assert (bundle / "curated-note.md").is_file() # curated file survives
|
|
index_text = (bundle / "index.md").read_text(encoding="utf-8")
|
|
assert "- [promoted](promoted-verdict-led.md)" in index_text # verdict link survives
|
|
assert "- [Curated](curated-note.md)" in index_text # curated link survives
|
|
# ...and the ingest files were still refreshed.
|
|
assert (bundle / "ingest-costs.md").is_file()
|
|
assert "](ingest-costs.md)" in index_text
|
|
|
|
def test_reingest_drops_a_stale_ingest_file_and_its_link(self, tmp_path: Path) -> None:
|
|
# A manifest that no longer generates ingest-edge → the stale file AND its index
|
|
# link are removed; the promoted/curated content is untouched (RED if replacement
|
|
# over-reaches or under-reaches).
|
|
bundle = _materialized(tmp_path)
|
|
self._promote(bundle)
|
|
# The shrunk manifest must sit beside its own fixture/ (root resolves relative to
|
|
# the manifest dir), so copy the golden case and rewrite the manifest there.
|
|
case = tmp_path / "case"
|
|
shutil.copytree(GOLDEN, case)
|
|
shrunk = json.loads((case / "manifest.json").read_text(encoding="utf-8"))
|
|
shrunk["extractions"] = [e for e in shrunk["extractions"] if e["id"] == "costs"]
|
|
(case / "manifest.json").write_text(json.dumps(shrunk), encoding="utf-8")
|
|
materialize(case / "manifest.json", bundle, INGESTED_AT)
|
|
|
|
assert not (bundle / "ingest-edge.md").exists() # stale ingest file removed
|
|
index_text = (bundle / "index.md").read_text(encoding="utf-8")
|
|
assert "](ingest-edge.md)" not in index_text # stale ingest link removed
|
|
assert "- [promoted](promoted-verdict-led.md)" in index_text # promoted survives
|
|
assert (bundle / "ingest-costs.md").is_file() # kept extraction survives
|