Skip to content

docs(cpex-ocsf-audit): record Fred's changes-requested review on PR #84 in the in-tree plan - #526

Merged
Levaj2000 merged 1 commit into
mainfrom
claude/awesome-galileo-s5w537
Sep 9, 2026
Merged

docs(cpex-ocsf-audit): record Fred's changes-requested review on PR #84 in the in-tree plan#526
Levaj2000 merged 1 commit into
mainfrom
claude/awesome-galileo-s5w537

Conversation

@Levaj2000

Copy link
Copy Markdown
Owner

Why

Fred requested changes on praxis-proxy/policy PR #84 on 2026-09-09 with five findings. The in-tree port plan is gated on that PR merging, so the plan should say which findings touch the seam this crate consumes and what the next push means for the gates.

What

PRAXIS-INTREE-PLAN.md, a status note under the gates:

  • Emit once after routing and assertions. Today emit_audit runs inside execute and apply_assertions runs on its result, so a sink can record allow for a request an assertion then denies, and a route-resolution failure returns a denial with no record. The fix is the order AID-EMIT-1 already assumes; nothing in this crate changes. Route denials gaining a record keeps the decision stream dense.
  • Sinks get a filtered view of Extensions. emit_audit and the effect sink pass the unfiltered extensions, transport and effect slot included. This crate reads only the typed fields (request, mcp, security, agent, completion, delegation), so a filtered view costs nothing, unless it lands as a new type rather than &Extensions with the slots detached, in which case AuditHandler::handle changes shape and the ppe build follows.
  • The other three findings (effect-log recovery on a torn final line, reconciliation results not reaching sinks, the delegator's idempotency key) sit behind on_effect, which this crate does not implement.
  • Teryl's next push moves the head: re-pin, re-run the bar, re-read the sink signature before gate 3 is called met.

CHANGELOG entry under Unreleased / Changed.

Verification

Docs only. Added lines checked for non-ASCII: zero.

🤖 Generated with Claude Code

https://claude.ai/code/session_019XNHGsnzrXrncvFnSSCZTF


Generated by Claude Code

… in the in-tree plan

Five findings on 2026-09-09; two touch the sink seam this crate consumes.
Audit records are emitted before apply_assertions and route-resolution
denials emit nothing, so a sink can record allow for a request the caller
saw denied; the fix is the order AID-EMIT-1 assumes and changes nothing
here. Sinks receive the unfiltered Extensions; this crate reads only the
typed fields, so a filtered view costs nothing unless it lands as a new
type, in which case the ppe build follows the new handle signature. The
other three sit behind on_effect, which this crate does not implement.

Teryl's next push moves the head: re-pin and re-run the bar before gate 3
is called met.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019XNHGsnzrXrncvFnSSCZTF
@vercel

vercel Bot commented Sep 9, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
ai-identity-landing Ready Ready Preview Sep 9, 2026 7:09pm UTC
dashboard Ready Ready Preview Sep 9, 2026 7:09pm UTC

@Levaj2000
Levaj2000 marked this pull request as ready for review September 9, 2026 19:11
@Levaj2000
Levaj2000 merged commit 55ea69e into main Sep 9, 2026
12 checks passed
@Levaj2000
Levaj2000 deleted the claude/awesome-galileo-s5w537 branch September 9, 2026 19:11
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