Skip to content

feat(port): scripts/aggregate-experience.sh to specs/port/scripts/aggregate-experience.t27 (Closes #5862) - #6582

Merged
dmitrii-f-t27 merged 1 commit into
masterfrom
port-aggregate-experience
Oct 5, 2026
Merged

dmitrii-f-t27 merged 1 commit into
masterfrom
port-aggregate-experience

Conversation

@dmitrii-f-t27

Copy link
Copy Markdown
Collaborator

Closes #5862

Adds specs/port/scripts/aggregate-experience.t27: main under its own name, decisions as pure helpers (verdict_class, next_last_ring, rings_open, queen_health, health_score). File reading, jq, date and the heredocs are plumbing (undefined;, not called by any test).

Local t27c checks: spec-status IMPLEMENTED; gen 83 lines, 0 'not yet implemented'; test-report 5/5, 0 BLOCKED (Zig 0.16.0). One file; original untouched.

🤖 Generated with Claude Code

…regate-experience.t27 (Closes #5862)

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

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-05 18:03:15 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 40
PRs with All Checks Green 10
READY 9
FAILING 40
PENDING 0
NO CHECKS YET 0

These columns do not partition: 9 + 40 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=9f2c8a4829f6 != 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).

@dmitrii-f-t27
dmitrii-f-t27 merged commit 9c59c51 into master Oct 5, 2026
24 of 26 checks passed
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.

Port scripts/aggregate-experience.sh (Shell, 1 function) to specs/port/scripts/aggregate-experience.t27

1 participant