Skip to content

Pin marker-mutated button control UI evidence#84

Merged
wolfiesch merged 1 commit intomainfrom
ui-interaction-marker-button-control-evidence
May 9, 2026
Merged

Pin marker-mutated button control UI evidence#84
wolfiesch merged 1 commit intomainfrom
ui-interaction-marker-button-control-evidence

Conversation

@wolfiesch
Copy link
Copy Markdown
Collaborator

Summary

  • add real Excel UI-interaction evidence for marker-cell-mutated stateless button-control click preservation
  • pin the raw probe and scoped interactive-evidence audit in the current evidence bundle
  • require the new scoped evidence in the current-supported completion guard while keeping the exhaustive no-gap claim open

Evidence

  • raw probe: /tmp/wolfxl-ui-interaction-marker-button-control-20260509/interactive-probe-report.json
    • completed=true, probe_kind=excel_ui_interaction, mutation=marker_cell
    • fixture=umya-control-props-basic.xlsx, probe=embedded_control_openability, status=passed
    • Excel clicked Button 1, saved active workbook, and embedded/control OOXML parts remained present after WolfXL marker-cell save
  • scoped audit: /tmp/wolfxl-ui-interaction-evidence-marker-button-control-20260509.json
    • ready=true, fixture_count=22, report_count=1, required_probes=[embedded_control_openability]
  • bundle audit: /tmp/wolfxl-current-evidence-bundle-audit-marker-button-control-ui-20260509.json
    • ready=true, report_count=181, producer_count=181, issue_count=0
  • completion guard: /tmp/wolfxl-completion-current-marker-button-control-ui-20260509.json
    • current_supported_claim_ready=true
    • exhaustive_claim_ready=false
    • missing_requirement_count=4

Validation

  • jq empty Plans/ooxml-current-evidence-bundle.json && git diff --check
  • uv run --no-sync python scripts/audit_ooxml_evidence_bundle.py Plans/ooxml-current-evidence-bundle.json --strict > /tmp/wolfxl-current-evidence-bundle-audit-marker-button-control-ui-20260509.json
  • uv run --no-sync python scripts/audit_ooxml_completion_claim.py Plans/ooxml-current-evidence-bundle.json --strict-current-evidence > /tmp/wolfxl-completion-current-marker-button-control-ui-20260509.json
  • uv run --no-sync pytest tests/test_ooxml_evidence_bundle.py tests/test_ooxml_completion_claim.py tests/test_ooxml_interactive_evidence.py -q
  • uv run --with ruff ruff check scripts/audit_ooxml_completion_claim.py tests/test_ooxml_completion_claim.py tests/test_ooxml_evidence_bundle.py tests/test_ooxml_interactive_evidence.py

Copilot AI review requested due to automatic review settings May 9, 2026 15:54
@chatgpt-codex-connector
Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, add credits to your account and enable them for code reviews in your settings.

Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Pins and requires new Microsoft Excel UI-interaction evidence showing that a marker-cell mutation preserves stateless button-control click persistence (embedded/control OOXML parts remain present after the click + save), strengthening the “current supported” completion-claim guard without upgrading the exhaustive claim.

Changes:

  • Add excel_ui_interaction_marker_button_control_evidence as a required report for the current-supported completion claim.
  • Pin new raw probe + scoped interactive-evidence audit artifacts into the current evidence bundle manifest.
  • Update the real-world fidelity discovery plan to reflect the new pinned evidence and updated bundle/report counts.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
scripts/audit_ooxml_completion_claim.py Requires the new marker-mutated button-control UI-interaction evidence for the “current supported” claim gate.
Plans/real-world-excel-fidelity-gap-discovery.md Updates the evidence narrative to include marker-mutated stateless button-control UI proof and refreshed bundle metrics.
Plans/ooxml-current-evidence-bundle.json Pins the new marker-mutated button-control UI probe report plus the corresponding scoped interactive-evidence audit report.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@wolfiesch wolfiesch merged commit be8412e into main May 9, 2026
13 checks passed
@wolfiesch wolfiesch deleted the ui-interaction-marker-button-control-evidence branch May 9, 2026 16:01
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.

2 participants