Skip to content

feat(t27f): live actors loop card, gap ledger and Pareto pick (Closes #12991) - #12992

Merged
gHashTag merged 4 commits into
masterfrom
claude/loving-kowalevski-4f8c5e
Oct 31, 2026
Merged

feat(t27f): live actors loop card, gap ledger and Pareto pick (Closes #12991)#12992
gHashTag merged 4 commits into
masterfrom
claude/loving-kowalevski-4f8c5e

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 31, 2026

Copy link
Copy Markdown
Collaborator

Closes #12991

Part of #12779. Anchor: #12988 (T27F Live Actors Map improvement loop), which this PR does not close.

What

Tick 1 of the loop: one new spec, specs/t27f/live_actors_loop.t27 (module T27fLiveActorsLoop), 8 test blocks.

  • A ledger of 7 gaps, each with an owner kind and label, impact, cost and the command behind the row.
  • la_pick: skips owned and landed gaps, takes the Pareto front of the rest, best impact per cost, ties to the lower index, LA_NO_GAP (stop) when none is left.
  • Petal rows read LP_LIVE and LP_SURFACES from specs/t27os/live_petal_plan.t27; no figure is copied. A test holds the card's honesty rule (no live petal without a surface).
  • At rest the card names the next unowned gap: G5, the t27.ai/t27f/live/ drawing naming its source (recorded log, never live; FR-007 of T27F Live Actors Map improvement loop (Part of #12779) #12988).

Reconciliation (read-only inventory, master 8255399)

Raw commands and output are in the receipt comment on #12988. Short form: 1 of 27 petals live, 15 of 27 with no surface; the existing lane lane/queen-band-graph is 22 behind and 17 ahead of master with 97 dirty files and no PR, so its gap (landing the Queen band tap ring) is skipped and reported as an owner request, not touched.

Not done, on purpose

Untouched

The t27os-live-12779 lane, the main checkout's staged inline work, PR 12961, glass_window.t27, every seal, the golden chain.

🤖 Generated with Claude Code

@gHashTag @claude
feat(t27f): live actors loop card, gap ledger and Pareto pick (Closes #…
4d66ae4 
…12991)

Tick 1 of the T27F Live Actors Map loop. One new spec with 8 test blocks; no seal, gen/ or glass_window.t27 edit. Refs #12988, Part of #12779.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag gHashTag mentioned this pull request Oct 31, 2026
Open
@github-actions

github-actions Bot commented Oct 31, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-31 08:34:34 UTC

Summary

Status Count
Total Open PRs 37
PRs with Failing Checks 36
PRs with All Checks Green 1
READY 0
FAILING 36
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 36 + 0 + 0 = 36, and there are 37 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 @claude
fix(t27f): drop the copied string-compare helper from the loop card (…
06b3325 
…Refs #12991)

duplicate-bodies flagged lal_eq as a copy of lpp_eq; the test compares the owner label by length instead. Refs #12988.

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

github-actions Bot commented Oct 31, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-31 08:37:11 UTC

Summary

Status Count
Total Open PRs 37
PRs with Failing Checks 36
PRs with All Checks Green 1
READY 0
FAILING 36
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 36 + 0 + 0 = 36, and there are 37 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).

This was referenced Oct 31, 2026
Merged
Merged
@github-actions

github-actions Bot commented Oct 31, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-31 08:55:44 UTC

Summary

Status Count
Total Open PRs 38
PRs with Failing Checks 38
PRs with All Checks Green 0
READY 0
FAILING 38
PENDING 0
NO CHECKS YET 0

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).

This was referenced Oct 31, 2026
Merged
Merged
Open
Merged
Merged
Merged
Merged
Merged
Closed
Merged
@github-actions

github-actions Bot commented Oct 31, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-31 13:17:50 UTC

Summary

Status Count
Total Open PRs 36
PRs with Failing Checks 34
PRs with All Checks Green 2
READY 0
FAILING 34
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 34 + 0 + 0 = 34, and there are 36 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).

@github-actions github-actions Bot mentioned this pull request Oct 31, 2026
Merged
@gHashTag
gHashTag marked this pull request as ready for review October 31, 2026 13:34
@gHashTag
gHashTag merged commit d460e72 into master Oct 31, 2026
38 checks passed
@gHashTag gHashTag mentioned this pull request Oct 31, 2026
Open
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.

T27F live actors loop: tick 1 card, the gap ledger and Pareto pick (Part of #12779)

1 participant

@gHashTag