anti
f2b3393669
Replaces LICENSE (GPLv3 -> AGPLv3) and prepends `SPDX-License-Identifier: AGPL-3.0-or-later` to every source file across decnet/, decnet_web/, tests/, scripts/, and tools/. Rationale: closes the GPLv3 ASP loophole so any party operating a modified DECNET as a network service must offer their modified source. Personal copyright (Samuel Paschuan) + inbound=outbound contributions make a future unilateral relicense infeasible. - LICENSE: full AGPL-3.0 text (gnu.org/licenses/agpl-3.0.txt) - COPYRIGHT: project copyright notice - tools/add_spdx_headers.py: idempotent header injector (shebang- and PEP 263-aware) Touches 1565 source files (.py, .ts, .tsx, .js, .jsx, .css, .sh). No behavior change; comments only.
113 lines
3.8 KiB
Python
113 lines
3.8 KiB
Python
# SPDX-License-Identifier: AGPL-3.0-or-later
|
|
"""R0054-R0058 — intel verdict cohort.
|
|
|
|
IntelLifter (E.3.10) reads ``AttackerIntel`` provider columns
|
|
(AbuseIPDB, GreyNoise, Feodo, ThreatFox) and emits per the per-
|
|
provider mapping tables in Appendix A.10. Per Appendix B every
|
|
intel rule tolerates absence silently — a null provider column is
|
|
"no tag from this rule", never an error. R0058 is the
|
|
confidence-bump-only meta-rule (no fresh tag emission); the
|
|
lifter inspects rule_id and bumps existing tags.
|
|
|
|
The v0 :class:`RuleEngine` cannot navigate the intel envelope —
|
|
the rules are inert under regex.
|
|
"""
|
|
from __future__ import annotations
|
|
|
|
from collections.abc import Callable
|
|
from pathlib import Path
|
|
|
|
import pytest
|
|
|
|
from decnet.ttp.impl.rule_engine import RuleEngine
|
|
from decnet.ttp.store.base import RuleState
|
|
from decnet.ttp.store.impl.filesystem import _parse_and_compile
|
|
from tests.ttp.rule_precision.conftest import CorpusRow, make_event
|
|
|
|
CohortLoader = Callable[[str], list[CorpusRow]]
|
|
|
|
_RULE_IDS = [f"R{n:04d}" for n in range(54, 59)]
|
|
|
|
|
|
@pytest.mark.parametrize("rule_id", _RULE_IDS)
|
|
def test_rule_yaml_present(rule_id: str) -> None:
|
|
path = Path("rules/ttp") / f"{rule_id}.yaml"
|
|
assert path.exists(), f"missing YAML: {path}"
|
|
compiled = _parse_and_compile(path, RuleState())
|
|
assert compiled.rule_id == rule_id
|
|
|
|
|
|
@pytest.mark.parametrize("rule_id", _RULE_IDS)
|
|
async def test_lifter_bound_inert_in_v0(
|
|
rule_id: str,
|
|
precision_engine: RuleEngine,
|
|
corpus_loader: CohortLoader,
|
|
) -> None:
|
|
fired: set[str] = set()
|
|
for row in corpus_loader("intel"):
|
|
tags = await precision_engine.evaluate(make_event(row))
|
|
fired.update(tag.rule_id for tag in tags)
|
|
assert rule_id not in fired
|
|
|
|
|
|
def test_r0058_is_bump_only() -> None:
|
|
"""R0058's only emit is a zero-confidence sentinel.
|
|
|
|
Per Appendix B the aggregate-malicious rule must not emit a fresh
|
|
tag — it bumps existing rule confidences. The repository drops
|
|
tags below 0.3 confidence, so even if the lifter accidentally
|
|
drove the engine fanout the tag would never persist. This test
|
|
pins that defense-in-depth property: any future edit pushing the
|
|
R0058 emit confidence above 0 would fire here.
|
|
"""
|
|
compiled = _parse_and_compile(
|
|
Path("rules/ttp/R0058.yaml"), RuleState(),
|
|
)
|
|
assert all(emit[3] == 0.0 for emit in compiled.emits), (
|
|
"R0058 must keep all emit confidences at 0.0 (bump-only rule)"
|
|
)
|
|
|
|
|
|
def _build_lifter() -> "IntelLifter":
|
|
from decnet.ttp.impl.intel_lifter import IntelLifter
|
|
from tests.ttp._stub_store import StubRuleStore
|
|
|
|
rules = [
|
|
_parse_and_compile(Path("rules/ttp") / f"{rid}.yaml", RuleState())
|
|
for rid in _RULE_IDS
|
|
]
|
|
lifter = IntelLifter(StubRuleStore(compiled=rules))
|
|
for rule in rules:
|
|
lifter._index.install(rule)
|
|
return lifter
|
|
|
|
|
|
@pytest.mark.parametrize("rule_id", _RULE_IDS)
|
|
def test_intel_rule_precision(
|
|
rule_id: str,
|
|
corpus_loader: CohortLoader,
|
|
) -> None:
|
|
"""E.3.10: drive IntelLifter over the labelled corpus and assert
|
|
per-rule precision. R0058 (bump-only) is excluded — it intentionally
|
|
never emits a tag, so vacuous precision is irrelevant.
|
|
"""
|
|
import asyncio
|
|
|
|
from tests.ttp.rule_precision.conftest import precision_for
|
|
|
|
if rule_id == "R0058":
|
|
pytest.skip("R0058 is bump-only; no precision target")
|
|
rows = corpus_loader("intel")
|
|
if not rows:
|
|
pytest.skip("no intel corpus available")
|
|
lifter = _build_lifter()
|
|
fired: dict[str, list[str]] = {}
|
|
for row in rows:
|
|
tags = asyncio.run(lifter.tag(make_event(row)))
|
|
fired[row.label] = [tag.rule_id for tag in tags]
|
|
precision, _tp, _fp = precision_for(rule_id, rows, fired)
|
|
# R0054/R0055/R0056/R0057 are H-band per Appendix C → ≥95%.
|
|
assert precision >= 0.95, (
|
|
f"{rule_id} precision {precision:.2f} < 0.95 on intel corpus"
|
|
)
|