Skip to content

feat(pi): add interactive leader lifecycle - #99

Open
Florious95 wants to merge 1 commit into
feature/pi-provider-a-corefrom
feature/pi-provider-b-leader
Open

feat(pi): add interactive leader lifecycle#99
Florious95 wants to merge 1 commit into
feature/pi-provider-a-corefrom
feature/pi-provider-b-leader

Conversation

@Florious95

@Florious95 Florious95 commented Aug 29, 2026

Copy link
Copy Markdown
Owner

Goal

Expose team-agent pi as the regular interactive Pi TUI leader path, using the shared P98 materializer, exact model and thinking inputs, bounded session capture, exact-path resume, one-Enter delivery, and honest lifecycle and doctor behavior.

0.5.68 replay identity

  • Base: feature/pi-provider-a-core @ 2b92feb433db38df0d60cef885b8598880c97dac
  • Head: feature/pi-provider-b-leader @ b1b85d373513e8a9648cf0f88fdeff1bc87dc780
  • Tree: d6af91acacdb774dcdf9d5431617ca12181d87b0
  • Dependency: PR feat(pi): add provider core and exact model catalog #98 at exact replay head 2b92feb433db38df0d60cef885b8598880c97dac
  • Old to new: 4f312a16d974a80578c504b79bcf054a6162b4f9..5e6606fb0e0b8fcf1cc86842413f0360d7641611 -> 2b92feb433db38df0d60cef885b8598880c97dac..b1b85d373513e8a9648cf0f88fdeff1bc87dc780
  • Delta: 12 paths, +676/-30

The replay preserves the old unique Leader Lifecycle delta while keeping the P98 materializer and published-base fresh_leader_state behavior.

Evidence status

Local replay records: frontier/replay/p99.md, frontier/replay/p99-review-grok.md, and frontier/replay/replay-manifest.md.

Historical evidence retained only for provenance:

The old checks and real-provider observations remain historical only; they do not accept the rewritten remote history.

Acceptance boundary

This update installs the reviewed local replay identity only. It does not claim taskbook sections 10-12 combined acceptance, a new real Pi campaign, repository-wide or full-suite green, merge readiness, release, or publish authorization. TeamMate dynamic lifecycle remains owned by dependent PR #100. Keep this PR open and unmerged.

@Florious95
Florious95 force-pushed the feature/pi-provider-b-leader branch from d0767ab to b1b85d3 Compare August 30, 2026 14:26
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