flowharness-core 0.1.0__py3-none-any.whl

core/__init__.py

@@ -0,0 +1,180 @@
+"""flowharness shared core (FLOWHARNESS_SPEC.md §6.1).
+
+Domain primitives shared by every bounded context. This facade re-exports the
+pure (stdlib-only) modules; SQL infrastructure (core.sql_unit_of_work,
+core.sqlite_engine, core.journal_store, core.rls) is imported by its submodule
+path, never from here. Kept true by tests/architecture/test_domain_purity.py.
+
+Two re-export tiers, split by the *published* public surface:
+
+  * The unconditional block is the OSS surface — the trust primitives the two
+    published CLIs (`flowharness`, `flowharness-ci`) and the published contexts
+    (inspection, portability, evaluation.domain) actually need.
+  * The guarded block below is PLATFORM-ONLY. Those modules are pruned out of the
+    `flowharness-core` wheel/sdist (see `[tool.uv.build-backend]` in
+    platform/core/pyproject.toml), so on a PyPI install the imports raise
+    ModuleNotFoundError and are swallowed — `import core` still works and the OSS
+    names still resolve. In the workspace every module is present, so dev
+    behaviour is byte-identical to before. `__all__` deliberately keeps listing
+    the platform-only names: it documents the *workspace* surface, and the
+    published surface is pinned separately by tests/packaging/test_public_surface_manifest.py.
+"""
+
+from core.actors import Actor, ActorKind, Money, actor_from_json, actor_to_json
+from core.aggregate import EventRecorder
+from core.candidate import CandidateKind, CandidateRef
+from core.cell import Cell
+from core.content_hash import ContentHashable
+from core.errors import DomainError
+from core.external_findings import (
+    EXTERNAL_SEVERITY_MAP_VERSION,
+    SeverityResolution,
+    canonical_tool_slug,
+    normalize_tool_slug,
+    resolve_external_severity,
+)
+from core.findings import EvidenceBundle, EvidenceRef, Finding, SourceAnchor
+from core.journal import (
+    GENESIS_HASH,
+    DomainEventEnvelope,
+    canonical_json,
+    ensure_json_canonical,
+    entry_hash,
+)
+from core.messages import Command, Event
+from core.ports import (
+    Check,
+    Corpus,
+    EvidenceSource,
+    Gate,
+    GateOutcome,
+    GatePolicy,
+    IndexReader,
+    SignalSink,
+    UnitOfWork,
+)
+from core.signing import sign_report, verify_signature
+from core.values import BasisPoints, Severity, Verdict
+
+# --- Platform-only re-exports (pruned from the published `flowharness-core` dist) ---
+# Provenance: public-surface decision 2026-07-30 (funnel-open / platform-closed). The
+# `as X` aliases are load-bearing: mypy runs with no_implicit_reexport=true, and inside a
+# try/except mypy cannot rely on `__all__`, so each name needs the PEP 484 explicit
+# re-export form. Do NOT collapse them.
+try:
+    from core.access import AccessDenied as AccessDenied
+    from core.access import AccessPolicy as AccessPolicy
+    from core.access import AccessRequest as AccessRequest
+    from core.access import Decision as Decision
+    from core.access_resolvers import DEFAULT_RESOLVERS as DEFAULT_RESOLVERS
+    from core.access_resolvers import ActorAccess as ActorAccess
+    from core.access_resolvers import GrantRecord as GrantRecord
+    from core.access_resolvers import SubjectContext as SubjectContext
+    from core.access_resolvers import grant_resolver as grant_resolver
+    from core.access_resolvers import namespace_can_use as namespace_can_use
+    from core.access_resolvers import namespace_resolver as namespace_resolver
+    from core.access_resolvers import project_link_resolver as project_link_resolver
+    from core.canonical_payload import CanonicalPayload as CanonicalPayload
+    from core.entitlements import Edition as Edition
+    from core.entitlements import Entitlement as Entitlement
+    from core.entitlements import EntitlementError as EntitlementError
+    from core.entitlements import EntitlementPolicy as EntitlementPolicy
+    from core.ids import ApiTokenId as ApiTokenId
+    from core.ids import AssetId as AssetId
+    from core.ids import MemberId as MemberId
+    from core.ids import OrgId as OrgId
+    from core.ids import ProjectId as ProjectId
+    from core.ids import TeamId as TeamId
+    from core.ids import TraceId as TraceId
+    from core.messagebus import MessageBus as MessageBus
+    from core.sharing import Grantee as Grantee
+    from core.sharing import GranteeKind as GranteeKind
+    from core.sharing import Namespace as Namespace
+    from core.sharing import NamespaceKind as NamespaceKind
+    from core.sharing import Permission as Permission
+    from core.sharing import ScopeKind as ScopeKind
+    from core.sharing import ScopeSelector as ScopeSelector
+    from core.sharing import SubjectRef as SubjectRef
+    from core.sharing import Visibility as Visibility
+    from core.sharing import permission_rank as permission_rank
+except ModuleNotFoundError:  # pragma: no cover — only on a pruned PyPI install
+    pass
+
+__all__ = [
+    "DEFAULT_RESOLVERS",
+    "EXTERNAL_SEVERITY_MAP_VERSION",
+    "GENESIS_HASH",
+    "AccessDenied",
+    "AccessPolicy",
+    "AccessRequest",
+    "Actor",
+    "ActorAccess",
+    "ActorKind",
+    "ApiTokenId",
+    "AssetId",
+    "BasisPoints",
+    "CandidateKind",
+    "CandidateRef",
+    "CanonicalPayload",
+    "Cell",
+    "Check",
+    "Command",
+    "ContentHashable",
+    "Corpus",
+    "Decision",
+    "DomainError",
+    "DomainEventEnvelope",
+    "Edition",
+    "Entitlement",
+    "EntitlementError",
+    "EntitlementPolicy",
+    "Event",
+    "EventRecorder",
+    "EvidenceBundle",
+    "EvidenceRef",
+    "EvidenceSource",
+    "Finding",
+    "Gate",
+    "GateOutcome",
+    "GatePolicy",
+    "GrantRecord",
+    "Grantee",
+    "GranteeKind",
+    "IndexReader",
+    "MemberId",
+    "MessageBus",
+    "Money",
+    "Namespace",
+    "NamespaceKind",
+    "OrgId",
+    "Permission",
+    "ProjectId",
+    "ScopeKind",
+    "ScopeSelector",
+    "Severity",
+    "SeverityResolution",
+    "SignalSink",
+    "SourceAnchor",
+    "SubjectContext",
+    "SubjectRef",
+    "TeamId",
+    "TraceId",
+    "UnitOfWork",
+    "Verdict",
+    "Visibility",
+    "actor_from_json",
+    "actor_to_json",
+    "canonical_json",
+    "canonical_tool_slug",
+    "ensure_json_canonical",
+    "entry_hash",
+    "grant_resolver",
+    "namespace_can_use",
+    "namespace_resolver",
+    "normalize_tool_slug",
+    "permission_rank",
+    "project_link_resolver",
+    "resolve_external_severity",
+    "sign_report",
+    "verify_signature",
+]

core/actors.py

@@ -0,0 +1,68 @@
+"""Actor and Money value objects (FLOWHARNESS_SPEC.md §6.0, §6.1).
+
+Every state transition records an Actor (no anonymous writes, §6.1 global invariants).
+Money is float-free: integer micro-units (1_000_000 == 1.00) at a single currency.
+"""
+
+from dataclasses import dataclass
+from enum import StrEnum
+
+from core.errors import DomainError
+
+
+class ActorKind(StrEnum):
+    HUMAN = "human"
+    AGENT = "agent"
+    SYSTEM = "system"
+
+
+@dataclass(frozen=True, slots=True)
+class Actor:
+    actor_id: str
+    kind: ActorKind
+    display_ref: str
+
+    def __post_init__(self) -> None:
+        if not self.actor_id:
+            raise DomainError("actor_id_blank")
+
+
+@dataclass(frozen=True, slots=True)
+class Money:
+    micro_units: int  # 1_000_000 == 1.00; may be negative for credits
+    currency: str  # ISO 4217 alpha-3
+
+    def __post_init__(self) -> None:
+        if not (len(self.currency) == 3 and self.currency.isalpha() and self.currency.isupper()):
+            raise DomainError("money_currency_not_iso_4217")
+
+
+# --- R05.3 (D-R5-4): the canonical Actor⇄dict codec ---
+#
+# The journal envelope contract is a THREE-KEY dict: {"actor_id", "kind", "display_ref"}.
+# Six modules had their own encode/decode helpers with subtly different names; this is
+# the one shape. `actor_to_json` is byte-identical to every prior helper.
+# `actor_from_json` is STRICT (no coercion of malformed input) — untrusted-input paths
+# (e.g. catalog closure restore) keep their local `str(...)` coercion before delegating.
+
+
+def actor_to_json(actor: Actor) -> dict[str, str]:
+    """Encode an Actor to the journal envelope's actor sub-dict."""
+    return {
+        "actor_id": actor.actor_id,
+        "kind": actor.kind.value,
+        "display_ref": actor.display_ref,
+    }
+
+
+def actor_from_json(value: object) -> Actor:
+    """Decode the journal envelope's actor sub-dict back to an Actor. Strict on
+    types — malformed input raises. Untrusted-input paths (air-gap bundles) MUST
+    coerce inputs BEFORE calling this."""
+    if not isinstance(value, dict):
+        raise DomainError("actor_from_json_not_a_dict")
+    return Actor(
+        actor_id=value["actor_id"],
+        kind=ActorKind(value["kind"]),
+        display_ref=value["display_ref"],
+    )

core/aggregate.py

@@ -0,0 +1,26 @@
+"""Aggregate-root event recording (FLOWHARNESS_SPEC.md §6.1, §8.1).
+
+`EventRecorder` is the mixin aggregate roots use to record past-tense events + a monotonic
+`sequence_no`, drained via `pull_events`. Extracted at the third aggregate (Organization, ApiToken,
+now Team/Project) so it lives once, in `core`, so any context reuses it without importing another.
+The concrete aggregate (a slotted dataclass) supplies `_events` + `sequence_no`; this mixin adds
+the methods (empty `__slots__` → no instance state, no layout conflict).
+"""
+
+from core.messages import Event
+
+
+class EventRecorder:
+    __slots__ = ()
+
+    _events: list[Event]
+    sequence_no: int
+
+    def _record(self, event: Event) -> None:
+        self._events.append(event)
+        self.sequence_no += 1  # type: ignore[misc]  # WHY: mixin contract — the concrete slotted dataclass supplies _events/sequence_no slots (module docstring)
+
+    def pull_events(self) -> list[Event]:
+        drained = self._events
+        self._events = []  # type: ignore[misc]  # WHY: mixin contract — the concrete slotted dataclass supplies _events/sequence_no slots (module docstring)
+        return drained

core/candidate.py

@@ -0,0 +1,26 @@
+"""CandidateRef — an opaque cross-context pointer to what an EvalRun evaluates (§6.6).
+
+`RELEASE` / `PROPOSAL` only in p1 (the `reranker_version` candidate arrives with the Selection
+context, phase 4). `ref` is an opaque id string — Evaluation never imports Catalog (§5), so it
+cannot (and must not) dereference it; the edge / gate resolve liveness when needed.
+"""
+
+from dataclasses import dataclass
+from enum import Enum
+
+from core.errors import DomainError
+
+
+class CandidateKind(Enum):
+    RELEASE = "release"
+    PROPOSAL = "proposal"
+
+
+@dataclass(frozen=True, slots=True)
+class CandidateRef:
+    kind: CandidateKind
+    ref: str
+
+    def __post_init__(self) -> None:
+        if not self.ref:
+            raise DomainError("candidate_ref_blank")

core/cell.py

@@ -0,0 +1,21 @@
+"""Cell — the (harness, model) comparison/routing coordinate (FLOWHARNESS_SPEC §6 glossary).
+
+The unit of honest comparison: an EvalRun (and, later, a GenerationTrace / MatrixCell) binds an
+exact `Cell` so two candidates are only ever compared within the same (harness, model) slot.
+"""
+
+from dataclasses import dataclass
+
+from core.errors import DomainError
+
+
+@dataclass(frozen=True, slots=True)
+class Cell:
+    harness: str
+    model: str
+
+    def __post_init__(self) -> None:
+        if not self.harness:
+            raise DomainError("cell_harness_blank")
+        if not self.model:
+            raise DomainError("cell_model_blank")

core/content_hash.py

@@ -0,0 +1,36 @@
+"""ContentHashable — the single canonical content-address algorithm (FLOWHARNESS_SPEC §7.4, D8-14).
+
+A content hash is a PROPERTY OF THE DATA, not a server-or-client computation: this mixin owns the
+one algorithm — sha256 over `core.canonical_json`, `sha256:`-prefixed — so any two parties (the
+platform, the CLI, the Rust port) holding the same content produce the same hash BY CONSTRUCTION. A
+subclass mixes it in and implements `_hash_payload()` — the canonical, JSON-safe projection it
+addresses (e.g. excluding identifiers it does not want in the content address). Centralizing the
+algorithm here gives one place for the cross-language byte-parity contract (and the float-free
+rule).
+
+The projection is validated with `ensure_json_canonical` BEFORE serialising, so the content address
+is canonical-by-construction for every subclass: a non-str dict key (which JSON silently coerces, so
+`{1: ...}` and `{"1": ...}` collide) or any float raises a stable-coded `DomainError` here
+rather than producing a colliding/ill-defined hash or a raw `TypeError`. Valid payloads pass through
+untouched, so the digest stays byte-identical to the unvalidated form.
+"""
+
+import hashlib
+
+from core.journal import canonical_json, ensure_json_canonical
+
+__all__ = ["ContentHashable"]
+
+
+class ContentHashable:
+    __slots__ = ()  # keep frozen/slotted dataclass subclasses fully slotted
+
+    def _hash_payload(self) -> object:
+        """The canonical, JSON-safe projection this VO addresses. Subclasses must implement."""
+        raise NotImplementedError
+
+    def content_hash(self) -> str:
+        payload = self._hash_payload()
+        # canonical-by-construction: reject non-str keys / any float before they collide or diverge
+        ensure_json_canonical(payload)
+        return "sha256:" + hashlib.sha256(canonical_json(payload).encode()).hexdigest()

core/errors.py

@@ -0,0 +1,27 @@
+"""Domain error type — exceptions express domain concepts (P&G ch.1)."""
+
+
+class DomainError(Exception):
+    """Raised when a domain invariant is violated.
+
+    `code` is a stable snake_case identifier suitable for wire contracts — the machine surface,
+    unchanged by any diagnostic. `detail` is an OPTIONAL, diagnostic-only enrichment: it never
+    participates in the contract (no consumer parses it structurally), it only makes `str(e)` and
+    the problem+json `detail` member more legible.
+
+    Diagnostic-not-contract convention for `detail`: space-separated ``key=value`` pairs, values
+    `!r`-quoted, in a deterministic fixed key order, and free of timestamps or memory addresses so
+    the string is byte-stable and diff-friendly (e.g. ``detail=f"entity=asset slug={slug!r}"``).
+
+    Hard no-secret rule: secret-adjacent sites — api-token / webhook / license / signing bytes —
+    MUST omit `detail` or carry only a sha256-prefix plus a coarse length-bucket fingerprint,
+    never the raw value and never the exact length. The precedent is `finding_fingerprint`
+    (`platform/inspection/src/inspection/domain/baseline.py:19-29`), which redacts to
+    ``sha256:`` + a truncated digest; `hashlib` is stdlib, so this redaction is honorable even
+    from pure domain code.
+    """
+
+    def __init__(self, code: str, *, detail: str | None = None) -> None:
+        super().__init__(code if detail is None else f"{code}: {detail}")
+        self.code = code
+        self.detail = detail

core/external_findings.py

@@ -0,0 +1,242 @@
+"""external_severity_map.v1 — third-party scanner signals → core.Severity (product/01 §4.7.3).
+
+THE single authority for external-finding severity. Shared by flowharness_ci `ingest-findings`
+(now) and platform_api evidence intake (docs/product/06, later): both may import `core`; neither
+may import the other (import-linter contracts), so `core` is the only non-forking home (decision
+M2). Ships as versioned policy data (M3): a change here moves the committed golden vectors + the
+version string — a review event by construction, not a data hot-edit.
+"""
+
+from __future__ import annotations
+
+import re
+from collections.abc import Callable
+from dataclasses import dataclass
+from decimal import Decimal, InvalidOperation
+
+from core.errors import DomainError
+from core.values import Severity
+
+EXTERNAL_SEVERITY_MAP_VERSION: str = "external_severity_map.v1"
+
+# SARIF `security-severity` (a STRING property) >= 9.0 lifts any level to CRITICAL (§4.7.3).
+# Compared as Decimal (never float): the value is used ONLY for this comparison and never enters
+# a hashed payload, so `core` hard-rule 2 (float-free canonical bytes) holds (decision M5).
+_SECURITY_SEVERITY_CRITICAL = Decimal("9.0")
+
+_TOOL_SLUG_RE = re.compile(r"[^a-z0-9]+")  # any run of non-[a-z0-9] → one underscore
+
+# Inverts inspection/domain/renderers/sarif.py `_SARIF_LEVEL`: CRITICAL and ERROR both render as
+# "error" there, so the security-severity override above is the ONLY way to recover CRITICAL
+# from a SARIF stream (§4.7.3).
+_SARIF_LEVEL_TO_SEVERITY: dict[str, Severity] = {
+    "none": Severity.INFO,
+    "note": Severity.INFO,
+    "warning": Severity.WARN,
+    "error": Severity.ERROR,
+}
+
+# Snyk agent-scan issue-code grammar (issue-codes.md): W-prefixed codes advise, E-prefixed codes
+# are defects. Prefix-anchored (no `$`) so a suffixed variant of a known code keeps its class.
+_SNYK_WARN_CODE_RE = re.compile(r"[Ww]\d+")
+_SNYK_ERROR_CODE_RE = re.compile(r"[Ee]\d+")
+# Snyk agent-scan curated-critical issue codes (tool-poisoning / injection-in-skill classes,
+# §4.7.3: https://github.com/snyk/agent-scan/blob/main/docs/issue-codes.md) — versioned HERE,
+# not hardcoded at a call site, so this set is the reviewable policy diff.
+_SNYK_CRITICAL_CODES = frozenset({"E001", "E004"})
+
+_AGUARA_SEVERITIES: dict[str, Severity] = {
+    "low": Severity.INFO,
+    "medium": Severity.WARN,
+    "high": Severity.ERROR,
+    "critical": Severity.CRITICAL,
+}
+# Identical to aguara's table TODAY, but an independently versioned policy row — the two tools'
+# scales may diverge in a future map version, so no aliasing (§4.7.3 keeps one row per tool).
+_MEDUSA_SEVERITIES: dict[str, Severity] = {
+    "low": Severity.INFO,
+    "medium": Severity.WARN,
+    "high": Severity.ERROR,
+    "critical": Severity.CRITICAL,
+}
+# Inkog's recognized structural cost-risk classes (§4.7.3: unbounded-loop / recursion /
+# token-bombing). Substring markers, so class-name variants (e.g. "INKOG-RECURSION-001") still
+# resolve; anything else falls through to unmapped.
+_INKOG_STRUCTURAL_MARKERS: tuple[str, ...] = ("loop", "recursion", "token")
+
+
+@dataclass(frozen=True, slots=True)
+class SeverityResolution:
+    """The mapped severity plus whether the source signal was unmapped (§4.7.3 last row).
+
+    `unmapped` drives the runner's `severity_unmapped` evidence marker AND the `[external]`
+    `unmapped_severities` gate key; the severity itself is WARN in the unmapped case.
+    """
+
+    severity: Severity
+    unmapped: bool
+
+
+def normalize_tool_slug(name: str) -> str:
+    """`tool.driver.name` / `--tool` → the `[a-z0-9_]+` slug shared with product/06 §4.3.
+
+    Lowercase, every non-[a-z0-9] run → one '_', strip leading/trailing '_'. Raises
+    DomainError("external_tool_slug_blank") when nothing survives (a slug is required).
+
+    >>> normalize_tool_slug("Snyk Agent Scan")
+    'snyk_agent_scan'
+    """
+    slug = _TOOL_SLUG_RE.sub("_", name.strip().lower()).strip("_")
+    if not slug:
+        raise DomainError(
+            "external_tool_slug_blank", detail=f"name={name!r} expected={'[a-z0-9_]+'!r}"
+        )
+    return slug
+
+
+def canonical_tool_slug(name: str) -> str:
+    """Resolve a SARIF `tool.driver.name` to the canonical registry slug it maps to (RV-1).
+
+    `normalize_tool_slug` yields the grammar-legal slug; but a driver name that is not verbatim
+    the registry key (the short "Snyk", the accented "Aguará" → "aguar") would miss its native
+    resolver, so the curated-critical `E001` would fall back to SARIF-level rating (a gate
+    under-rating). This consults the versioned `_DRIVER_ALIASES` table; a genuinely-unknown tool
+    is returned unchanged (SARIF-level mapping is the correct outcome there). Blank → DomainError.
+
+    >>> canonical_tool_slug("Snyk")
+    'snyk_agent_scan'
+    """
+    slug = normalize_tool_slug(name)
+    if slug in _CANONICAL_SLUGS:
+        return slug
+    return _DRIVER_ALIASES.get(slug, slug)
+
+
+def resolve_external_severity(
+    tool: str,
+    *,
+    sarif_level: str | None = None,
+    security_severity: str | None = None,
+    native_severity: str | None = None,
+    native_code: str | None = None,
+) -> SeverityResolution:
+    """Map one external result's raw signals to a `core.Severity` per the §4.7.3 table.
+
+    Precedence: security-severity >= 9.0 override → per-tool native code/severity → SARIF
+    level → unmapped (WARN + unmapped=True). The runner extracts the raw signals; this owns
+    the policy. A blank/non-normalizable `tool` raises DomainError("external_tool_slug_blank").
+
+    >>> resolve_external_severity("sarif_generic", sarif_level="warning")
+    SeverityResolution(severity=<Severity.WARN: 'warn'>, unmapped=False)
+    """
+    slug = canonical_tool_slug(tool)  # driver-name variant → registry key, so E001 isn't missed
+    if _security_severity_critical(security_severity):
+        return SeverityResolution(Severity.CRITICAL, unmapped=False)
+    mapped = _resolve_native(slug, native_severity, native_code) or _resolve_sarif(sarif_level)
+    if mapped is not None:
+        return SeverityResolution(mapped, unmapped=False)
+    return SeverityResolution(Severity.WARN, unmapped=True)  # §4.7.3 unknown/absent row
+
+
+def _security_severity_critical(security_severity: str | None) -> bool:
+    """True when `security-severity` orders at or above 9.0 as a Decimal (§4.7.3 override).
+
+    The guard spans BOTH the parse and the comparison: NaN raises InvalidOperation at `>=`,
+    not at construction (plan §12 R2). Any unparseable or unordered value is "no override" —
+    the caller falls through to the next precedence step. `Infinity` >= 9.0 is True
+    (conservative → CRITICAL, pinned by T3).
+    """
+    if security_severity is None:
+        return False
+    try:
+        return Decimal(str(security_severity)) >= _SECURITY_SEVERITY_CRITICAL
+    except (InvalidOperation, ValueError, TypeError):
+        return False
+
+
+def _resolve_native(
+    slug: str, native_severity: str | None, native_code: str | None
+) -> Severity | None:
+    """Dispatch to the tool's policy row; None when the tool or its signal is unrecognized."""
+    resolver = _NATIVE_RESOLVERS.get(slug)
+    if resolver is None:
+        return None
+    return resolver(native_severity, native_code)
+
+
+def _resolve_sarif(sarif_level: str | None) -> Severity | None:
+    """SARIF `level` → Severity per the §4.7.3 rows; unknown/absent level → None."""
+    if sarif_level is None:
+        return None
+    return _SARIF_LEVEL_TO_SEVERITY.get(sarif_level.strip().lower())
+
+
+def _resolve_snyk(native_severity: str | None, native_code: str | None) -> Severity | None:
+    """Snyk agent-scan issue code → Severity; curated-critical set beats the E-prefix rule.
+
+    Curated-critical is matched on the EXTRACTED leading ``E###`` token — the SAME prefix the
+    E-rule uses — so a suffixed variant (``E001-skill-poisoning``) still rates CRITICAL, not
+    ERROR (RV-2). An exact ``in`` over the whole ruleId would silently demote it past
+    ``max_error``.
+    """
+    if native_code is None:
+        return None
+    code = native_code.strip()
+    if _SNYK_WARN_CODE_RE.match(code):
+        return Severity.WARN
+    error = _SNYK_ERROR_CODE_RE.match(code)
+    if error is None:
+        return None
+    if error.group().upper() in _SNYK_CRITICAL_CODES:
+        return Severity.CRITICAL
+    return Severity.ERROR
+
+
+def _resolve_aguara(native_severity: str | None, native_code: str | None) -> Severity | None:
+    """Aguara low/medium/high/critical → Severity; unrecognized → None."""
+    if native_severity is None:
+        return None
+    return _AGUARA_SEVERITIES.get(native_severity.strip().lower())
+
+
+def _resolve_medusa(native_severity: str | None, native_code: str | None) -> Severity | None:
+    """Medusa low/medium/high/critical → Severity; unrecognized → None."""
+    if native_severity is None:
+        return None
+    return _MEDUSA_SEVERITIES.get(native_severity.strip().lower())
+
+
+def _resolve_inkog(native_severity: str | None, native_code: str | None) -> Severity | None:
+    """Inkog structural classes (loop/recursion/token markers in either signal) → ERROR."""
+    signal = " ".join(part for part in (native_code, native_severity) if part).lower()
+    if any(marker in signal for marker in _INKOG_STRUCTURAL_MARKERS):
+        return Severity.ERROR
+    return None
+
+
+# Open/closed per-tool policy registry (plan §12 R2): adding a tool is one row here plus its
+# resolver — no branch edits. `sarif_generic` deliberately has NO row: SARIF level +
+# security-severity are its only signals (§4.7.3).
+_NATIVE_RESOLVERS: dict[str, Callable[[str | None, str | None], Severity | None]] = {
+    "snyk_agent_scan": _resolve_snyk,
+    "aguara": _resolve_aguara,
+    "medusa": _resolve_medusa,
+    "inkog": _resolve_inkog,
+}
+
+# The canonical slug set = the native-resolver keys plus `sarif_generic` (which has no resolver
+# but IS a known tool identity). A slug already in here is authoritative — no alias lookup.
+_CANONICAL_SLUGS: frozenset[str] = frozenset({*_NATIVE_RESOLVERS, "sarif_generic"})
+
+# Known driver-name variants → canonical registry slug (versioned policy data alongside the map,
+# §4.7.3). EXPLICIT mapping, never fuzzy/substring: a near-name like "snyky" is a DIFFERENT tool
+# and must NOT be aliased to Snyk. A new driver spelling = one row here, a reviewable diff.
+_DRIVER_ALIASES: dict[str, str] = {
+    "snyk": "snyk_agent_scan",
+    "snyk_agent_scan": "snyk_agent_scan",
+    "aguara": "aguara",
+    "aguar": "aguara",
+    "medusa": "medusa",
+    "inkog": "inkog",
+    "inkog_io": "inkog",
+}

core/findings.py

@@ -0,0 +1,59 @@
+"""Finding and EvidenceBundle (FLOWHARNESS_SPEC.md §6.1).
+
+Finding is the universal output of every Check; EvidenceBundle is the
+universal input of every Gate.
+"""
+
+from dataclasses import dataclass
+
+from core.errors import DomainError
+from core.values import Severity
+
+
+@dataclass(frozen=True, slots=True)
+class SourceAnchor:
+    """File/line anchor for a Finding (CI governance spec §3.6) — 1-based, end-inclusive."""
+
+    path: str
+    line: int
+    end_line: int | None = None
+
+    def __post_init__(self) -> None:
+        if not self.path:
+            raise DomainError("anchor_path_blank")
+        if self.line <= 0:
+            raise DomainError("anchor_line_invalid")
+        if self.end_line is not None and self.end_line < self.line:
+            raise DomainError("anchor_end_line_before_start")
+
+
+@dataclass(frozen=True, slots=True)
+class Finding:
+    check_id: str
+    subject_ref: str
+    severity: Severity
+    dimension: str
+    evidence: str
+    suggested_action: str
+    anchor: SourceAnchor | None = None
+
+    def __post_init__(self) -> None:
+        if not self.check_id:
+            raise DomainError("finding_check_id_blank")
+        if not self.subject_ref:
+            raise DomainError("finding_subject_ref_blank")
+
+
+@dataclass(frozen=True, slots=True)
+class EvidenceRef:
+    kind: str
+    ref: str
+
+
+@dataclass(frozen=True, slots=True)
+class EvidenceBundle:
+    items: tuple[EvidenceRef, ...]
+
+    def __post_init__(self) -> None:
+        if not isinstance(self.items, tuple):
+            raise DomainError("evidence_bundle_items_not_a_tuple")

core/journal.py

@@ -0,0 +1,103 @@
+"""Event Journal envelope + tamper-evident hash chain (FLOWHARNESS_SPEC.md §6.1, §9.3).
+
+One envelope per domain event (one table, three roles: outbox, audit, projection feed —
+§9.3). The journal is never used for rehydration: aggregates stay state-stored. A
+deterministic `entry_hash` over (prev_hash, canonical envelope) chains the per-org log so
+any retroactive edit changes every subsequent hash. occurred_at is injected (the domain
+mints no timestamps — a clock is wired at the boundary).
+"""
+
+import hashlib
+import json
+import re
+from collections.abc import Mapping
+from dataclasses import dataclass
+
+from core.actors import Actor, actor_to_json
+from core.errors import DomainError
+
+# per-org chain seed: an all-zero digest, same shape as every entry hash
+GENESIS_HASH = "sha256:" + "0" * 64
+_EVENT_TYPE = re.compile(r"^[a-z][a-z0-9_]*\.[a-z][a-z0-9_]*\.v[0-9]+$")
+
+
+def ensure_json_canonical(value: object) -> None:
+    """Reject any payload shape that would make the entry hash non-deterministic or non-portable
+    across languages: non-str dict keys (json coerces `1` and `"1"` to the same key — a silent
+    collision), any float (the domain is float-free — hard rule 2; CPython float-repr is not
+    byte-portable to the Rust port), or types JSON cannot represent. Booleans, ints and None are
+    fine."""
+    if isinstance(value, Mapping):
+        for key, item in value.items():
+            if not isinstance(key, str):
+                raise DomainError("event_payload_key_not_str")
+            ensure_json_canonical(item)
+    elif isinstance(value, (list, tuple)):
+        for item in value:
+            ensure_json_canonical(item)
+    elif value is None or isinstance(value, (str, bool, int)):
+        return
+    elif isinstance(value, float):
+        # Float-free domain (hard rule 2): no float may enter a content hash, entry hash, or
+        # wire payload — CPython float-repr can diverge from serde_json (1e-07 vs 1e-7), which
+        # would break §7.4 byte-parity. Convert at the edge (BasisPoints / micro-units / str).
+        raise DomainError("event_payload_float_forbidden")
+    else:
+        raise DomainError("event_payload_value_not_json")
+
+
+@dataclass(frozen=True, slots=True)
+class DomainEventEnvelope:
+    event_id: str
+    org_id: str
+    occurred_at: str  # ISO-8601 UTC; injected, never minted in the domain
+    actor: Actor
+    aggregate_type: str
+    aggregate_id: str
+    sequence_no: int  # per aggregate, monotonic
+    event_type: str  # '<context>.<subject_verb_ed>.v<N>' (§4.2.3)
+    payload: Mapping[str, object]
+    causation_id: str | None
+    correlation_id: str | None
+
+    def __post_init__(self) -> None:
+        if not self.event_id:
+            raise DomainError("event_id_blank")
+        if not self.org_id:
+            raise DomainError("event_org_id_blank")
+        if self.sequence_no < 0:
+            raise DomainError("event_sequence_no_negative")
+        if not _EVENT_TYPE.match(self.event_type):
+            raise DomainError("event_type_malformed")
+        ensure_json_canonical(self.payload)
+
+    def canonical(self) -> dict:
+        return {
+            "event_id": self.event_id,
+            "org_id": self.org_id,
+            "occurred_at": self.occurred_at,
+            "actor": actor_to_json(self.actor),  # R05.3 (D-R5-4): the one codec
+            "aggregate_type": self.aggregate_type,
+            "aggregate_id": self.aggregate_id,
+            "sequence_no": self.sequence_no,
+            "event_type": self.event_type,
+            "payload": self.payload,
+            "causation_id": self.causation_id,
+            "correlation_id": self.correlation_id,
+        }
+
+
+def canonical_json(obj: object) -> str:
+    """The single canonical JSON form — compact, key-sorted, UTF-8, finite-only. Used both
+    for the hash chain and for the wire `payload_json` (governance-contract-v1 §3.3), so the
+    two can never drift: the bytes the entry hash is computed over ARE the bytes on the wire."""
+    return json.dumps(
+        obj, sort_keys=True, ensure_ascii=False, separators=(",", ":"), allow_nan=False
+    )
+
+
+def entry_hash(envelope: DomainEventEnvelope, prev_hash: str) -> str:
+    # One canonical byte string per (prev_hash, envelope) so the chain is reproducible here
+    # and byte-equal to the Rust port (§7.4).
+    body = {"prev_hash": prev_hash, "envelope": envelope.canonical()}
+    return "sha256:" + hashlib.sha256(canonical_json(body).encode()).hexdigest()

core/messages.py

@@ -0,0 +1,14 @@
+"""Command and Event base types (FLOWHARNESS_SPEC.md §8.1, P&G ch.10).
+
+Commands ≠ Events: commands are imperative with exactly one handler and propagate
+errors; events are past-tense with zero-to-many handlers whose failures are isolated.
+Concrete messages are frozen dataclasses subclassing these markers.
+"""
+
+
+class Command:
+    """Imperative request; exactly one handler; errors propagate to the caller."""
+
+
+class Event:
+    """Past-tense fact; zero-to-many handlers; handler failures are isolated."""

core/ports.py

@@ -0,0 +1,89 @@
+"""Shared ports (FLOWHARNESS_SPEC.md §6.1).
+
+Ports are capability nouns (§4.2.5), defined here as structural Protocols and
+implemented per context or in infrastructure. Findings are the universal Check
+output; EvidenceBundle the universal Gate input. Lifecycle and Repository are
+intentionally absent: the spec extracts Lifecycle at its second real instance, and
+Repository is defined per context's application layer (one per aggregate root).
+"""
+
+from collections.abc import Iterable, Sequence
+from dataclasses import dataclass
+from typing import Protocol, runtime_checkable
+
+from core.findings import EvidenceBundle, Finding
+from core.journal import DomainEventEnvelope
+from core.values import Verdict
+
+
+@runtime_checkable
+class GatePolicy(Protocol):
+    """A versioned policy document interpreted by a generic engine (§4.2.7)."""
+
+    version: str
+
+
+@dataclass(frozen=True, slots=True)
+class GateOutcome:
+    """A Gate's decision plus the journal envelopes the gate minted for it. The gate stays pure (it
+    opens no UoW); the caller stages `journal` into its OWN transaction, so the gate-decision event
+    commits atomically with the command that consumed the verdict (D9b-5/D9b-6). The envelopes are
+    opaque `core.DomainEventEnvelope`s, so a consumer (e.g. Catalog) need not import the gate's
+    context to stage them — context independence holds."""
+
+    verdict: Verdict
+    journal: tuple[DomainEventEnvelope, ...] = ()
+
+
+@runtime_checkable
+class Check(Protocol):
+    def run(self, subject: object, ctx: object) -> list[Finding]: ...
+
+
+@runtime_checkable
+class Gate(Protocol):
+    def evaluate(self, evidence: EvidenceBundle, policy: GatePolicy) -> GateOutcome: ...
+
+
+@runtime_checkable
+class SignalSink(Protocol):
+    """Accepts raw behavioural signals (usage, cost, latency) for later aggregation."""
+
+    def emit(self, signals: Sequence[object]) -> None: ...
+
+
+@runtime_checkable
+class IndexReader(Protocol):
+    """Reads an aggregated metric for a subject over a window (the signals projection)."""
+
+    def read(self, subject: str, metric: str, window: str) -> object: ...
+
+
+@runtime_checkable
+class EvidenceSource(Protocol):
+    """Yields evidence items (traces, transcripts, attestations) for an evaluation window.
+
+    First implementations land with the evidence-pack spec
+    (docs/product/04-evidence-and-attestation.md, D-P4-1 — per-context adapters in the
+    Compliance context; see also docs/back/07-rollout-progressive-delivery.md:904); the
+    port is their frozen vocabulary."""
+
+    def collect(self, window: str) -> Sequence[object]: ...
+
+
+@runtime_checkable
+class Corpus(Protocol):
+    """Provides the case specs an evaluation runs an asset against (§6.1)."""
+
+    def cases(self) -> Iterable[object]: ...
+
+
+@runtime_checkable
+class UnitOfWork(Protocol):
+    """Atomic transaction boundary (P&G ch.6): a context manager with an explicit
+    commit and a drain of the events its aggregates raised."""
+
+    def __enter__(self) -> "UnitOfWork": ...
+    def __exit__(self, *exc: object) -> object: ...
+    def commit(self) -> None: ...
+    def collect_new_events(self) -> Sequence[object]: ...

core/signing.py

@@ -0,0 +1,30 @@
+"""HMAC-SHA256 detached signing over canonical bytes, keyed by the runner's raw token (D9a-2).
+
+Pure + stdlib only, lifted here from evaluation.domain.signing (D3, SIG-1) so any context can
+sign or verify without depending on evaluation. The platform recomputes the tag with the raw
+token it already receives to authenticate the request, so there is no separate signing-key
+store; the raw key never leaves the edge boundary. Comparison is constant-time; a malformed or
+empty signature simply fails to verify. evaluation.domain.signing re-exports both names, keeping
+every existing caller byte-compatible.
+"""
+
+import hashlib
+import hmac
+
+
+def sign_report(canonical_payload: bytes, key: str) -> str:
+    """Return the lowercase hex HMAC-SHA256 tag of ``canonical_payload`` under ``key``.
+
+    Example: ``sign_report(b'{"pass_rate_bp":10000}', "tok_secret")`` -> a 64-char hex digest.
+    """
+    return hmac.new(key.encode("utf-8"), canonical_payload, hashlib.sha256).hexdigest()
+
+
+def verify_signature(canonical_payload: bytes, key: str, signature_hex: str) -> bool:
+    """Constant-time-check ``signature_hex`` against the tag recomputed from payload+key.
+
+    Tolerates surrounding whitespace and uppercase hex; a malformed/empty candidate returns False.
+    Example: ``verify_signature(payload, key, sign_report(payload, key))`` -> True.
+    """
+    expected = sign_report(canonical_payload, key)
+    return hmac.compare_digest(expected, signature_hex.strip().lower())

core/values.py

@@ -0,0 +1,28 @@
+"""Scalar value objects shared by every context (FLOWHARNESS_SPEC.md §6.0, §6.1)."""
+
+from dataclasses import dataclass
+from enum import StrEnum
+
+from core.errors import DomainError
+
+
+class Severity(StrEnum):
+    INFO = "info"
+    WARN = "warn"
+    ERROR = "error"
+    CRITICAL = "critical"
+
+
+class Verdict(StrEnum):
+    PASS = "pass"
+    FAIL = "fail"
+    NEEDS_HUMAN = "needs_human"
+
+
+@dataclass(frozen=True, slots=True)
+class BasisPoints:
+    value: int  # 10_000 == 100%
+
+    def __post_init__(self) -> None:
+        if not 0 <= self.value <= 10_000_000:  # allow >100% for ratios
+            raise DomainError("basis_points_out_of_range")

flowharness_core-0.1.0.dist-info/METADATA

@@ -0,0 +1,24 @@
+Metadata-Version: 2.4
+Name: flowharness-core
+Version: 0.1.0
+Summary: Shared core for flowharness — domain primitives, Finding, Check/Gate ports
+License-Expression: Apache-2.0
+License-File: LICENSE
+Classifier: Development Status :: 3 - Alpha
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Requires-Dist: sqlalchemy>=2.0
+Requires-Python: >=3.12
+Project-URL: Homepage, https://github.com/flowharness-ai
+Description-Content-Type: text/markdown
+
+# flowharness-core
+
+Shared core domain kernel for flowharness — provides canonical Finding objects, Check/Gate/UnitOfWork ports, canonical JSON serialization, HMAC signing/verification, and value objects (Severity, Verdict, BasisPoints) that every bounded context depends on.
+
+This is an **internal library package** of the FlowHarness toolchain, published to PyPI as a transitive dependency of [`flowharness`](https://github.com/flowharness-ai) (the scan CLI) and [`flowharness-ci-runner`](https://github.com/flowharness-ai). Install those packages instead of depending on `flowharness-core` directly.
+
+> **Note:** this package currently installs a top-level module named `core`. Prefer `uvx` (isolated environments) over `pip install` into a shared venv until the 0.2 module-namespace rename lands.
+
+**License:** Apache-2.0  
+**Homepage:** https://github.com/flowharness-ai

flowharness_core-0.1.0.dist-info/RECORD

@@ -0,0 +1,19 @@
+core/__init__.py,sha256=VtyP8-HKO6zzJTraHewriJERVCeOcDTDBaIEmaUEr4s,6351
+core/actors.py,sha256=YxJhIX6YooYpKO9pNYd0YOcULJS5MLaPryIqCCbyk7I,2244
+core/aggregate.py,sha256=3dWT4IakJY_pbhz5j4OETE4wyOzg4PKu86Sk7e5hxIQ,1161
+core/candidate.py,sha256=3eg3cTqSKIgjYJjSuq4901qL-qI2bgXvTE8omyvTNmk,756
+core/cell.py,sha256=sS07A2w0Dsqc8c_hIbYW91PFta9gyMZQ3QCWqS3nDnU,640
+core/content_hash.py,sha256=B-1_PE57It6Rb9gZmLxTkv--btAEhnFW25yiOJ77xpo,1852
+core/errors.py,sha256=txsDkILjwQ9ayIfRbxmVDvjZWZ4-2XU-3OsVkjNvPo0,1500
+core/external_findings.py,sha256=raH8sAgkSRL-0PAqts6dxMjxGYsIxmH6ImzrE-s0vNE,10579
+core/findings.py,sha256=ogcgQY9QZbKP0klPo703aiodFF9CI_dRTnShEZLCWmA,1573
+core/journal.py,sha256=RR88h4DoMf-EMRhBhCnmxrmF3ud_qZEhpxNLz-5xyDk,4457
+core/messages.py,sha256=oIbFylYkgpFt5NqvKx0CXbEgKN90eEhEmqpDw-_R2Ig,511
+core/ports.py,sha256=em5QjE037o6oSJY7Aunw4dAaroFVzZL4OgXUE_97mUk,3134
+core/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+core/signing.py,sha256=hRc7EBcDFzgIPjwK5cS74bjklUKy9sM3VItHv1rb2kE,1472
+core/values.py,sha256=wZsfOH2FFhEFJKpzoAAAaJaSqEOUKgQFeYDQoPoVaSM,646
+flowharness_core-0.1.0.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
+flowharness_core-0.1.0.dist-info/WHEEL,sha256=oy45bIW3ehK02fnLDUKD-FzeaR3VpJxY5Jdblkktnpw,80
+flowharness_core-0.1.0.dist-info/METADATA,sha256=km4VGLZzqqL7xFXGf663_KOhvEb4PZ-eXCf3k2yNaE4,1376
+flowharness_core-0.1.0.dist-info/RECORD,,

flowharness_core-0.1.0.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: uv 0.12.0
+Root-Is-Purelib: true
+Tag: py3-none-any

flowharness_core-0.1.0.dist-info/licenses/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.