Complete #622: compile the UK target surface from Ledger facts at the 2024-25 line

changelog.d/622-ledger-artifact-pins.added.md

@@ -0,0 +1 @@
+Add shared Ledger consumer-artifact CLI helpers and wire UK national builds to record Ledger fact provenance.

changelog.d/622-ledger-compile-parity-gates.added.md

@@ -0,0 +1 @@
+Add UK Ledger compile-parity fixtures, signed difference resources, and preflight gate-battery entries.

changelog.d/622-ledger-materialization.added.md

@@ -0,0 +1 @@
+Add shared target-binding materialization helpers and UK Ledger target compilation/materialization adapters.

changelog.d/622-ledger-resolver-extensions.added.md

@@ -0,0 +1 @@
+Extend Ledger target resolution with UK period-token collapse, assertion-policy filtering, and narrow multi-fact sums.

changelog.d/622-uk-cgt-ledger-single-home.added.md

@@ -0,0 +1 @@
+Move UK CGT totals out of inline runtime constants and compile them from HMRC Ledger target references.

changelog.d/622-uk-ledger-2025-retarget.added.md

@@ -0,0 +1 @@
+Retarget the UK Ledger target-reference subset to period 2025 and expand the active set from the staged UK fact feed.

docs/gate-battery-contract.md

@@ -86,9 +86,10 @@ Three digests pin the declaration, all carried in every report:
   editing rationale does not move gate policy.
 - `gates_manifest_sha256` — over the full manifest including `notes` and
   the phase order.
-- `spec_fingerprint` — the composition fingerprint of the whole country
-  package. Adding or editing `gates.json` moves `CountrySpec.fingerprint`;
-  anything pinning it must be regenerated in the same change.
+- `spec_fingerprint` — the composition fingerprint of `gates.json` only.
+  Adding or editing a gate entry moves this value; unrelated country-package
+  resources do not. Anything pinning it must be regenerated in the same
+  change.
 
 ## Supplying evidence: `EvidenceContext` and bindings
 

packages/microcosm-build/src/microcosm/build/__init__.py

@@ -88,6 +88,8 @@ def _assert_frame_compatible(version: str, required: tuple[int, int]) -> None:
     formula_owned_export_gate,
     input_column_coverage_gate,
     input_mass_parity_gate,
+    ledger_compile_parity_gate,
+    ledger_compile_parity_signed_differences,
     macro_realism_gate,
     nonconstant_columns_gate,
     nonnegative_columns_gate,
@@ -109,7 +111,9 @@ def _assert_frame_compatible(version: str, required: tuple[int, int]) -> None:
 )
 from microcosm.build.ledger_artifact import (  # noqa: E402 - after the compat gate
     LedgerConsumerArtifact,
+    add_ledger_artifact_args,
     load_ledger_consumer_artifact,
+    resolve_ledger_artifact,
 )
 from microcosm.build.ledger_targets import (  # noqa: E402 - after the compat gate
     LedgerTargetMapping,
@@ -183,6 +187,7 @@ def _assert_frame_compatible(version: str, required: tuple[int, int]) -> None:
     "LedgerConsumerArtifact",
     "LedgerTargetMapping",
     "LedgerTargetSelection",
+    "add_ledger_artifact_args",
     "aggregate_admin_gate",
     "apply_ledger_target_profile",
     "default_valued_columns_gate",
@@ -192,13 +197,16 @@ def _assert_frame_compatible(version: str, required: tuple[int, int]) -> None:
     "formula_owned_export_gate",
     "input_column_coverage_gate",
     "input_mass_parity_gate",
+    "ledger_compile_parity_gate",
+    "ledger_compile_parity_signed_differences",
     "load_ledger_consumer_artifact",
     "macro_realism_gate",
     "nonconstant_columns_gate",
     "nonnegative_columns_gate",
     "parity_gate",
     "per_family_fit_gate",
     "relative_error_loss",
+    "resolve_ledger_artifact",
     "rotated_folds",
     "source_coverage_gate",
     "source_stage_input_coverage_gate",

packages/microcosm-build/src/microcosm/build/country_spec.py

@@ -113,6 +113,7 @@
         "exported_nonzero",
         "formula_owned_export",
         "input_mass_parity",
+        "ledger_compile_parity",
         "macro_realism",
         "nonconstant_columns",
         "nonnegative_columns",