Skip to content

docs(analog): the sar_trace_raw and bench mutation gates passed -- accepted files, receipts (Closes #13093) - #13095

Merged
gHashTag merged 7 commits into
masterfrom
lane/analog-receipt-schema
Nov 2, 2026
Merged

docs(analog): the sar_trace_raw and bench mutation gates passed -- accepted files, receipts (Closes #13093)#13095
gHashTag merged 7 commits into
masterfrom
lane/analog-receipt-schema

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 2, 2026

Copy link
Copy Markdown
Collaborator

Follow-up to the merged #13092: closes #13093, and carries the post-merge commits of the same lane.

  1. Closes analog: mutation gates for sar_trace_raw and bench -- the two censused-and-not-gated specs (SC-002 of #12116) #13093 -- the two mutation gates ran and PASSED locally (2026-11-02, ~13:50 +07):
    • sar_trace_raw: exit 0; survivor gate 4 not killed (1 survived, 3 hung), 4 accepted; 0 accepted lines now killed;
    • bench: exit 0; survivor gate 3 not killed (3 survived, 0 hung), 3 accepted; 0 accepted lines now killed.
      FR-001 (the two accepted-mutants files, classes from the census note), FR-002 (the gate command with --accepted --fail-on-survived) and FR-003 (the clean-run control, 7/7 and 14/14, 0 vacuous) are all done; receipts in docs/analog/mutation-gates-sar-trace-raw-bench-2026-11-02.md. SC-002 of analog: mutation census of the 17 analog specs with no accepted-mutants file (Refs #10486) #12116 is met for these two specs.
  2. The receipt redaction (12d51cd): the hardcoded developer home path in docs/analog/reference-receipt-test-2026-11-02.md, caught by the scan gate on spec(analog): the reference receipt contract -- six mandatory fields, refusal rules, fixtures (Refs #12027) #13092 after its merge.
  3. Two docs receipts of the verification runs (the test-report and the two gate runs) -- no spec or code change in this PR beyond what spec(analog): the reference receipt contract -- six mandatory fields, refusal rules, fixtures (Refs #12027) #13092 already merged; no threshold or acceptance count changes.

Known reds, not this PR's: coverage and spec-guards fail on the master-wide own_language seal drift tracked in #13094; Corpus ratchet is the master-wide ledger conflict.

Binary of every run: the master-worktree t27c 0.5.2 (sha256 4dcd5cf240b4a4167a15f28850dd026ab7e64e977df593b89cb1f93069cfe467, commit unknown -- recorded in the receipt).

🤖 Generated with Claude Code

gHashTag and others added 7 commits November 2, 2026 12:09
@gHashTag @claude
spec(analog): the reference receipt contract -- six mandatory fields,…
863d179 
… refusal rules, fixtures (Refs #12027)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag @claude
spec(analog): reuse disclosure.t27 placeholders in the receipt contra…
ea09267 
…ct, add the receipt-specific gaps (Refs #12027)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag @claude
docs(analog): the test receipt of the reference receipt contract (Refs …
91822b2 
…#12027)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag @claude
spec(analog): edge tests for the receipt contract -- fault order, wro…
85048f8 
…ng-major masking, the 47 boundary (Refs #12027)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag @claude
docs(analog): redact the hardcoded home path from the test receipt (R…
12d51cd 
…efs #12027)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag @claude
docs(analog): accepted-mutant files for the sar_trace_raw and bench m…
cad7a4a 
…utation gates (Refs #13093)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag @claude
docs(analog): receipts of the sar_trace_raw and bench mutation gates …
81783e1 
…-- both passed (Refs #13093)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Nov 2, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-02 06:54:30 UTC

Summary

Status Count
Total Open PRs 45
PRs with Failing Checks 41
PRs with All Checks Green 4
READY 3
FAILING 41
PENDING 0
NO CHECKS YET 0

These columns do not partition: 3 + 41 + 0 + 0 = 44, and there are 45 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=e75b498e5e79 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit 0215bd7 into master Nov 2, 2026
35 of 38 checks passed
@gHashTag
gHashTag deleted the lane/analog-receipt-schema branch November 2, 2026 06:58
@gHashTag gHashTag mentioned this pull request Nov 14, 2026
Open
17 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

analog: mutation gates for sar_trace_raw and bench -- the two censused-and-not-gated specs (SC-002 of #12116)

1 participant

@gHashTag