feat: add lease and collision visibility to web UI (Closes #433) #454
Labels
Clear labels
allocator
anti-stomp
architecture
bug
chore
codex
concurrency
contamination
control-plane
dashboard
database
design
documentation
enhancement
gitea
glitchtip
important
incident
incident-bridge
integration
jenkins
labels
leases
mcp
mcp-health
mcp-menu
multi-project
mutating
nice-to-have
observability
portability
preflight
protected-branch
queue
read-only
reconnect
recovery
refactor
release
reliability
resumable-review
reviewer
roadmap
safety
security
self-hosted
sentry
stale-runtime
status:blocked
status:in-progress
status:pr-open
status:ready
terminal-lock
testing
tracker
type:bug
type:feature
type:feature
type:guardrail
visibility
workflow
workflow-hardening
workflow-hardening
Controller-owned work allocator
Prevent concurrent LLM session stomping
Architecture / structural design
OpenAI Codex client / workflow session surface
Concurrent session safety
Workflow or session contamination incident
MCP control-plane coordination and allocation authority
MCP operational dashboard/queue view
Internal coordination storage (SQLite/Postgres)
Design / investigation, no implementation
Docs / runbooks
New feature or improvement
Gitea MCP workflow
GlitchTip integration
Operational or process incident requiring durable audit trail
Sentry-to-Gitea incident bridging
Integration testing
Jenkins integration
Label taxonomy management
Lease adopt/release/expire lifecycle
MCP server / tooling
MCP namespace and runtime health
MCP menu surface
Work spanning multiple monitoring projects or Gitea repos
Mutating action; requires gating
Observability, metrics, traces, error reporting
Cross-platform / portability
Shared preflight gates before mutation
Protected branch / stable-branch policy concern
Work queue visibility and allocation
Read-only, no mutation
MCP client reconnect/reload recovery path
Recovery paths for stale/foreign leases
Code refactor / restructure
Release / versioning
Reliability / failure handling
Persist and resume prepared review verdicts across sessions
Reviewer workflow tooling
Roadmap / umbrella issue
Safety rails and fail-closed mutation guards
Security / trust boundary
Self-hosted infrastructure integration
Sentry error monitoring integration
Stale backend daemon / runtime-vs-master parity failures
Issue is blocked
Issue is being worked on
Issue has an open pull request
Issue is ready for work
Terminal review lock (#332) path
Tests / test coverage
Issue tracker hygiene / meta
Bug or defect
Feature or enhancement
Feature or enhancement
Safety gate or guardrail
Workflow state visibility for LLMs/operators
Cross-tool workflow
LLM workflow coordination hardening
LLM workflow coordination hardening
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: Scaled-Tech-Consulting/Gitea-Tools#454
Reference in New Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Summary
Closes #433. Child of tracker #425. Stacks on current
master(ee8e9a) with only #433 lease-visibility work.Adds read-only
/leasesand/api/leasesfor issue claim inventory, reviewer PR lease comments, duplicate PR/branch collision warnings, and local issue lock display — no acquire/release mutations.Base / head
master09e83fd09e83fd(feat #433)Changes (only #433)
webui/lease_loader.py— claim inventory (#268), reviewer lease parse (#407), duplicate detection (#400)webui/lease_views.py— HTML tables, collision warnings, history issue linkswebui/app.py—/leases,/api/leasesroutes (replaces stub)docs/webui-local-dev.md— lease section and pytest commandtests/test_webui_lease_visibility.py— 6 tests; skeleton tests updatedFeatures
build_claim_inventory<!-- mcp-review-lease:v1 -->PR comments when presentgitea_issue_lock.jsonsnapshotValidation
41 passed (9 subtests).
Worktree
branches/issue-433-lease-visibility@09e83fdrepo: Scaled-Tech-Consulting/Gitea-Tools
pr: #454
issue: #433
reviewer_identity: sysadmin
profile: prgs-reviewer
session_id: 97777-d879bae3ae23
worktree: /Users/jasonwalker/Development/Gitea-Tools/branches/review-pr454-lease-visibility
phase: claimed
candidate_head:
09e83fd034target_branch: master
target_branch_sha:
f89949cea9last_activity: 2026-07-08T07:54:36Z
expires_at: 2026-07-08T09:54:36Z
blocker: none
APPROVE — PR #454 @
09e83fd0342449622938b5c2816682b1a4805a51Reviewer: sysadmin / prgs-reviewer (author
jcwalker3; self-review check passed).Scope (#433 lease/collision visibility)
Read-only
/leasesand/api/leasesexposing issue claim inventory (#268), reviewer PR lease comments (#407), duplicate PR/branch collision warnings (#400), and local issue-lock snapshot. No acquire/release mutations — matches issue non-goals.Files reviewed
webui/lease_loader.py— claim inventory, reviewer lease parse, duplicate detectionwebui/lease_views.py— HTML/API rendering, collision warningswebui/app.py— route wiringdocs/webui-local-dev.md— operator docstests/test_webui_lease_visibility.py+ skeleton test updatesValidation (worktree
branches/review-pr454-lease-visibility@09e83fd)git diff --check prgs/master...HEADcleanDuplicate-PR note (lease/race cluster)
This PR is the sole open PR for issue #433. Preflight race duplicates #502/#490 analyzed separately — do not merge #490 until rebased; #502 already APPROVED at current head.
Merge: hand to merger-capable session pinned to reviewed head
09e83fd.repo: Scaled-Tech-Consulting/Gitea-Tools
pr: #454
issue: #433
reviewer_identity: sysadmin
profile: prgs-reviewer
session_id: 94309-d699c23671be
worktree: /Users/jasonwalker/Development/Gitea-Tools/branches/review-pr454-lease-visibility
phase: claimed
candidate_head:
09e83fd034target_branch: master
target_branch_sha: none
last_activity: 2026-07-09T02:22:07Z
expires_at: 2026-07-09T04:22:07Z
blocker: none
adopted_at: 2026-07-09T02:22:15Z
adopted_by_identity: sysadmin
adopted_by_profile: prgs-merger
adopted_from_session_id: 94309-d699c23671be
adopted_from_profile: prgs-reviewer
adopted_from_reviewer_identity: sysadmin
adopted_from_comment_id: 7415
adoption_reason: merger-handoff-approved-head
repo: Scaled-Tech-Consulting/Gitea-Tools
pr: #454
issue: #433
reviewer_identity: sysadmin
profile: prgs-merger
session_id: 94309-e08c727fd0ec
worktree: /Users/jasonwalker/Development/Gitea-Tools/branches/review-pr454-lease-visibility
phase: adopted
candidate_head:
09e83fd034target_branch: master
target_branch_sha: none
last_activity: 2026-07-09T02:22:15Z
expires_at: 2026-07-09T04:22:15Z
blocker: none