Skip to content

docs(012): close the spec, live acceptance holds at app.statecraft.ing#58

Merged
bartekus merged 1 commit into
mainfrom
012-close
Jul 22, 2026
Merged

docs(012): close the spec, live acceptance holds at app.statecraft.ing#58
bartekus merged 1 commit into
mainfrom
012-close

Conversation

@bartekus

Copy link
Copy Markdown
Contributor

Flips spec 012 to implementation: complete with the §5.2 closure record: operator-verified Overview/Catalog/Traces on the live dashboard (including a real API-caller round trip appearing in Traces with its coreledger.read child span), the gate arms, Prometheus target UP with public /metrics 403, the model-posture record (and why its uncommitted-changes badge is a producer property, not drift), and green gates on PRs #55/#56. Same-day spec 011 trail: RAUTHY_API_KEY mounted (#57), auto_onboarding flipped by the operator.

The operator verified the deployed dashboard end to end: Overview
renders the model identity, observability posture, operator role,
trust, gate checks, and the verified attestation chain; Catalog lists
all twelve services and the inline caller completed a live GET /health
round trip; Traces shows it plus the probe traffic with correctly
parented coreledger.read child spans. Prometheus scrapes the pod
target UP while the public origin serves 403 on /metrics. Acceptance
1-5 hold; implementation flips to complete. The closure also records
why the Overview's uncommitted-changes badge is a producer property,
not prod drift.
@bartekus
bartekus merged commit 81ba16c into main Jul 22, 2026
2 checks passed
@bartekus
bartekus deleted the 012-close branch July 22, 2026 21:37
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