04 — Gap Math Results

Identity: gap_after = baseline_gap − covered_inventory_rows (distinct (inventory_object, active_scope) pairs resolving to an accountable effective owner, direct or inherited).

Live in-transaction: baseline gap=210; gap_after=207; covered rows = 210−207 = 3.

Reconciliation of the 3 covered rows:

• agents / audit — direct, depth 0 (1)
• workflows / policy — inherited, depth 1 (2)
• workflow_steps / policy — inherited, depth 1 (3) = 1 direct + 2 inherited = 3, exactly 210−207. No duplicates (distinct objects/scopes). Group-node self-resolution (GRP-WORKFLOW, policy) excluded because the group is not an inventory object → confirms gap view is correctly inventory-scoped.

Post-negative re-assertion: own_post_negatives=2, gap_post_negatives=207 (failed negatives left no residue; gap held).

Verdict: Gap math VERIFIED — 210→207 from a 2-row seed delivering 3 distinct covered inventory rows; arithmetic closes exactly with no double-count or group-node leakage.