From 4dc152619639fd7408d81ed4b1ae275e0846344e Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Thu, 4 Jun 2026 18:58:56 +0200
Subject: [PATCH] audit: cycle 0009 tidy (clean)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Architect drift review over 521a16e..80d7bfb (run-metrics-and-manifest):
no drift, no debt. The shipped report surface matches the ledger:

- Pure-additive as claimed: lib.rs gains only `mod report;` + one re-export
  line; harness.rs `run` signature is untouched (`-> ()`). No engine / Harness
  / node-contract change — the cycle-0006 sink mechanism (C8/C22) is consumed
  read-only, not altered.
- C1/C12: summarize is a total, pure, value-only reduction; the e2e test
  asserts bit-identical metrics + JSON across two runs.
- C18 sequencing: ships manifest + metrics "from day one", explicitly defers
  the registry/index to its later milestone. C14 structured face delivered as
  hand-rolled JSON; the zero-dependency stance is preserved (all four crates
  path-only deps).
- params-as-honest-precursor wording matches the 0008 typed-param-space
  deferral (node.rs); f64_field panic-as-wiring-bug matches the engine's
  existing "checked at wiring" convention.

Forward note (not drift, no contract speaks to it, spec documents it as an
accepted assumption): to_json renders f64 via `{}` and is valid JSON only under
the finite-value invariant — a NaN/Inf would emit bare NaN/inf tokens. The
invariant holds today (SimBroker integrates finite returns, Exposure clamps),
so C14 "machine-readable" is not breached. Worth a debug-assert or named
constant only if a future broker can produce non-finite equity — flag it then.

Regression gate: profile commands.regression is empty — no-op; architect is the
sole gate and is green. carry-on.