Skip to content

feat(observability): mount unmounted emitters and generation-bound joins - #515

Merged
ScriptedAlchemy merged 11 commits into
codex/tracedecay-total-redesign-planfrom
cursor/mount-observability-emitters-dd1c
Aug 19, 2026
Merged

feat(observability): mount unmounted emitters and generation-bound joins#515
ScriptedAlchemy merged 11 commits into
codex/tracedecay-total-redesign-planfrom
cursor/mount-observability-emitters-dd1c

Conversation

@ScriptedAlchemy

Copy link
Copy Markdown
Owner

Summary

Mounts the audit's unmounted observability emitters (A5–A9) and generation-bound joins (A4, in progress) with real production callers on the daemon/application path. No version bumps, no live-profile dogfood, no new telemetry DB — every emitter writes through the existing project-bound RegisteredGlobalDb / bounded BoundedObservabilityProducerV1 authorities.

Mounted production callers

Audit Symbols Production caller Producer test
A5 observability::record_index, emit_retrieval_pipeline Code-index scheduler reconcile worker records each terminal pass (src/daemon/code_index_scheduler/registry.rs); execute_query_search_on_latest emits observe_composition families per real query (query_runtime.rs), via a per-worktree CodeIndexObservabilityV1 lane installed by mount_code_index daemon::code_index_scheduler::tests::installed_observability_lane_records_index_and_retrieval_observations
A6 WorkConflictPredictionObservedV1, WorkConflictOutcomeLinkedV1 record_work_conflict_observation beside record_native_integration_transition in src/daemon/service/invocation/native_integration.rs: preflight tree-merge disposition → mechanical prediction; terminal apply receipt → NativeGit-adjudicated linked outcome sharing a deterministic prediction_ref observability::work_conflict_emit::tests (6, incl. persisted linked pair)
A7 record_adoption_eligibility, record_adoption_outcome Project open records a per-family catalog census (src/daemon/adoption_observation.rs from project_open_owners.rs); hint-outcome settlement records the linked funnel (src/hint_outcomes.rs, invoked from hook transcript ingest) daemon::adoption_observation::tests (3), hint_outcomes::tests (3 new)
A8 NoProgressObservedV1 Both live Work-attempt wall-timeout arms (src/daemon/service/invocation/work_attempt_exec.rs) offer the no-progress terminal at the kill, with registration-pinned topology-policy digest and owner-measured stall observability::no_progress_emit::tests (4) + end-to-end a_wall_exhausted_provider_seals_timed_out_and_emits_the_no_progress_terminal
A9 record_github_stack_drifts (+ record_github_stack_capability) GitHubReviewRuntimeOwnerV1::refresh offers every coordinator observation through a GitHubStackObservabilityV1 lane composed at project open (advisory/github_runtime/owner.rs, project_open_owners/advisory_runtime.rs) github_stack_drift_observability::review_owner_observability_lane_records_capability_and_drift_receipts
A4 GitReadAuthorityV1::join_generation, GenerationDiagnosticJoinV1::join In progress

Disciplines

  • Telemetry never changes the product path: every emit result is a typed outcome that is logged/discarded; uninstalled lanes record nothing.
  • Unknown is never zero: coverage weakens (Partial/Unknown) wherever a census or adjudication is provably incomplete; unadjudicated dispositions, empty families, and unevaluated preflights deliberately emit nothing.
  • Focused falsifiable tests assert the persisted envelopes (event kinds, payload fields, linkage identity, denial/absence cases) through the real registered store and bounded producer.
Open in Web Open in Cursor 

cursoragent and others added 5 commits August 19, 2026 04:06
The advisory GitHub review refresh owner now offers every coordinator
observation to the canonical bounded Observatory producer as one
capability receipt plus one receipt per exact drift interval
(record_github_stack_capability / record_github_stack_drifts), through a
GitHubStackObservabilityV1 lane composed at project open from the exact
probe owner, project producer, and project observation database.
Telemetry refusal is logged and never alters the refresh product path.

Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
The code-index scheduler registry carries a per-worktree Plan 26
observability lane (project session database plus bounded producer),
installed by mount_code_index after the project-open delivery mount.
The reconcile worker records each terminal pass through the canonical
record_index emitter beside its cadence receipt, and query search emits
the retrieval-pipeline families projected by observe_composition through
emit_retrieval_pipeline on the bounded producer. An uninstalled lane
records nothing; telemetry refusal never changes the product path.

Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
The native-integration invocation now records one mechanical conflict
prediction per completed preflight tree merge and one independently
adjudicated linked outcome per terminal apply receipt, through a new
record_work_conflict_observation producer on the bounded Observatory
outbox. Prediction and outcome share a deterministic prediction_ref
derived from the exact preview identity; reads, refusals,
already-integrated previews, and unevaluated preflights emit nothing,
and telemetry refusal never changes the owner's decided result.

Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
Both live Work attempt timeout arms (stdio provider and app-server) now
offer one operation.no_progress.terminal.v1 receipt through the bounded
producer when the armed wall budget elapses and the provider is killed:
the run-deadline reference is derived from the exact attempt identity,
the concurrency-policy revision is the registration-pinned work topology
digest, the frontier is the provably uncommitted zero, and the stall is
the owner-measured elapsed wall. A zero armed budget or unmeasured stall
is refused; emission never alters the timed-out product handling.

Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
Project open now records one adoption-eligibility census per composed
capability family (eligible/enabled/available derived from the exact
catalog composition stages, Known coverage) through the project-bound
observation authority, fire-and-forget. Hint-outcome settlement records
each pass's settled hints as one linked adoption-outcome funnel:
invoked/terminal = idempotently settled hints, independently_useful =
behaviorally verified acted hints only, with census coverage weakened to
Partial while unresolved hints remain. Families without a composed
capability and passes that settled nothing emit nothing.

Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
@changeset-bot

changeset-bot Bot commented Aug 19, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: 8af2f4a

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

cursoragent and others added 6 commits August 19, 2026 05:41
Compress refusal logging to single typed-outcome logs, trim narration
from module and function docs, and keep only invariant comments across
the A5-A9 emitter mounts. No behavior change; the generation-bound joins
stay unmounted seams because no Work/code-index join is advertised.

Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
Co-authored-by: Zack Jackson <ScriptedAlchemy@users.noreply.github.com>
@ScriptedAlchemy
ScriptedAlchemy marked this pull request as ready for review August 19, 2026 16:11
@ScriptedAlchemy
ScriptedAlchemy merged commit ac471d7 into codex/tracedecay-total-redesign-plan Aug 19, 2026
1 check 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.

2 participants