Skip to content

feat(self_consistent_trace_log): dose/actuator provenance on step stats - #59

Draft
quint-mbbdigital wants to merge 1 commit into
CalculatedContent:mainfrom
quint-mbbdigital:pr/rg-c1b-sc-trace-log-provenance
Draft

feat(self_consistent_trace_log): dose/actuator provenance on step stats#59
quint-mbbdigital wants to merge 1 commit into
CalculatedContent:mainfrom
quint-mbbdigital:pr/rg-c1b-sc-trace-log-provenance

Conversation

@quint-mbbdigital

Copy link
Copy Markdown

Type

  • A no-def
  • B docs-only
  • C embeds a definition choice (logging only)

Summary

Extend local_delta #34 provenance grammar to self_consistent_trace_log_tracker step stats (SC sibling of open collab #49 on midpoint trace_log_tracker):

  • actuator_id = self_consistent_trace_log_tracker
  • ecs_backend = self_consistent_F_m (bulk-effective (F(m)) / participation-ratio lineage — not a free-fit MP edge)
  • dose_definition = correction_frobenius_over_base_step_delta_frobenius
  • dose_value = correction ratio when applied; null on skipped / geometry_failed / geometry_skipped
  • is_first_apply = first successful correction per parameter
  • is_first_due = first schedule-due clock step (may have null dose)

Also add docs/PROVENANCE_INVENTORY.md listing package coverage (trace_log_tracker noted as pending open #49 if not yet on main).

Why

Joint tables need the same actuator/dose grammar across midpoint and SC backends so ECS lineage is comparable without inventing dose on no-ops (F1/F4).

Definition surface (C)

  • Choice: logging fields only; correction mathematics unchanged
  • Default: no change to apply cadence, support_policy, or correction mode
  • Open to change: yes (field names / dose_definition string)
  • Feedback filters: F1 scheduled≠applied; F4 null dose on no-op; F5 explicit definition; F6 distinct ecs_backend vs midpoint

Prior / SoT

Test plan

  • cd optimizers/self_consistent_trace_log_tracker && PYTHONPATH=. python -m unittest discover -s tests -v (15 tests)
  • no scientific efficacy claim

Out of scope

Other optimizers' provenance; SC ECS math changes; free-fit MP reimplementation; defaults; mega multi-package PR.

Logging-only CalculatedContent#34-style fields on self_consistent_trace_log_tracker:
actuator_id, ecs_backend=self_consistent_F_m, dose null on no-op,
is_first_apply (first successful apply per param) vs is_first_due.
Correction math unchanged. Inventory + tests included.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant